---
title: Quasi-Isometric Invariants
url: https://www.emergentmind.com/topics/quasi-isometric-invariants
type: topic
---

# Quasi-Isometric Invariants

A quasi-isometric invariant is a property or structure of a metric space (group, complex, graph, manifold, etc.) that is preserved under quasi-isometry: a map distorting distances only up to uniform multiplicative and additive constants. These invariants provide the main tools for the large-scale classification of spaces and groups up to coarse geometry, and underlie the theory of quasi-isometric rigidity. Their nature and computation vary across geometric group theory, low-dimensional topology, and geometric analysis.

## 1. Rigorous Definition and Basic Examples

Two metric spaces $(X, d_X)$, $(Y, d_Y)$ are quasi-isometric if there exists $f: X \to Y$ and constants $L \geq 1$, $C \geq 0$ such that
\[
\frac{1}{L} d_X(x,x') - C \leq d_Y(f(x), f(x')) \leq L d_X(x,x') + C
\]
for all $x, x' \in X$, and such that $Y$ is contained in the $C$-neighborhood of $f(X)$. A quasi-isometric invariant is any property $P$ such that $X$ has $P$ if and only if $Y$ has $P$ whenever $X$ and $Y$ are quasi-isometric.

Fundamental examples include:

- Number of ends of a finitely generated group or space.
- Asymptotic dimension and Assouad–Nagata dimension.
- Growth rate of balls.
- Divergence function, Dehn function (for groups), and various notions of accessibility.
- Existence (and data) of splittings: e.g., the graph-of-groups decomposition or JSJ decomposition for 3-manifold groups [1602.02603, 2404.16628].

## 2. Invariants in Group-Theoretic and Geometric Topology Contexts

### Group Pairs and Peripheral Structures

For pairs $(G, \mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ is a finite collection of subgroups (typically reflecting a peripheral structure or decomposition), the quasi-isometry of pairs is defined using the induced Hausdorff geometry on coset spaces. In this framework, the concept of a **qi-characteristic collection** is central: $\mathcal{P}$ is qi-characteristic if for every quasi-isometry of $G$, cosets of $\mathcal{P}$ are permuted up to bounded Hausdorff distance [2012.10494, 2112.15046]. Invariants in this setting include:

- The quasi-isometry types of the peripheral subgroups.
- The filtered ends $\tilde{e}(G, P)$ for $P \leq G$, encoding the large-scale connectedness of $G$ relative to $P$.
- The relative Dehn function $\Delta_{G, \mathcal{P}}$, whose growth type is a quasi-isometry invariant [2112.15046].
- The relative hyperbolicity of $G$ with respect to $\mathcal{P}$ [2112.15046, 2012.10494].

### JSJ Decompositions and Piecewise Geometric Manifolds

In the context of 3-manifolds and other nonpositively curved spaces, the **JSJ decomposition** (splitting the group or space along certain subgroups or flats) yields invariants:

- The coarse structure of the Bass-Serre tree underlying the splitting [1602.02603].
- The quasi-isometry types of vertex (piece) groups.
- Patterns of peripheral subgroups and how quasi-isometries act on them.
- Asymptotic cone structure (tree-graded spaces, presence of flat subspaces) [1602.02603].

These are encoded combinatorially for group pairs $(G, \mathcal{P})$ or via trees of cylinders and related constructions [1403.2865, 2404.16628].

## 3. Combinatorial and Homotopical Encodings: Intersection Complexes and Coset Intersection Complexes

A powerful unifying method is to use simplicial complexes or complexes of groups encoding intersection patterns among distinguished subgroups or subspaces. Two key constructions:

- **Intersection complex $I(\widetilde{Y})$**: For the universal cover of a weakly special square complex $Y$, the intersection complex $I(\widetilde{Y})$ records maximal standard product subcomplexes and their intersections. Its semi-isomorphism class is a quasi-isometry invariant, sufficient to classify 2-dimensional RAAGs in several cases [2009.03865].

- **Coset intersection complex $\mathcal{K}(G, \mathcal{P})$**: For group pairs, $\mathcal{K}(G, \mathcal{P})$ is the flag simplicial complex with vertices the left cosets $G/\mathcal{P}$ and simplices corresponding to cosets with infinite mutual intersection. Properties of $\mathcal{P}$ (height, width, almost malnormality, networks) correspond to coarse geometric or topological properties of $\mathcal{K}(G, \mathcal{P})$. Both the metric type and homotopy type of $\mathcal{K}(G, \mathcal{P})$ are quasi-isometry invariants of the pair [2404.16628].

Such complexes provide a dictionary translating algebraic or geometric features to purely combinatorial invariants, all preserved under quasi-isometry by construction.

## 4. Quantitative and Analytic Invariants

Several invariants are defined analytically or via metric measure theory:

- **Poincaré Constants and LP Cohomology**: $L^p$ Poincaré inequalities (and associated best constants $C_p(X)$) are preserved under quasi-isometry up to uniform multiplicative change [1401.7315]. The critical LP exponent for first cohomology, $p_0(X)$, is a quasi-isometry invariant in Gromov-hyperbolic settings.

- **Volume Growth and Distortion-Growth Functions**: Ball-volume growth type and quantitative lower bounds for distortion under quasi-isometric embeddings are preserved; sharp lower bounds are derived from differences in LP-exponents or exponential versus polynomial growth [1401.7315].

- **Homotopy Distortion**: Lower and upper bounds for quasi-isometric distortion growth (measured by $DhG_{X,Y}(R)$) are sharp and depend linearly on the difference of certain LP-exponents in classes of twisted product spaces. Sublinear growth can occur in certain Gromov-hyperbolic spaces for suitable boundary maps [1401.7315].

## 5. Classification of Specific Classes and Algebraic Characterizations

### Right-angled Artin Groups and Graph Products

- For RAAGs, the extension graph $\Gamma^e$, and its induced-subgraph embedding relations, serve as the primary quasi-isometry invariant in several classes (trees, atomic graphs, etc.). For atomic RAAGs, graph isomorphism and the co-Hopfian property of the $\mathbb{Q}$–completion are both quasi-isometry invariants [1803.00416].

- For 2-dimensional RAAGs, intersection complexes derived from the universal cover of the Salvetti complex, and their combinatorial type, encode the quasi-isometry classification in the tree and finite outer automorphism cases [2009.03865].

### Solvable and Nilpotent Lie Groups (Heintze Groups)

- In purely real Heintze groups $N \rtimes_\alpha \mathbb{R}$, the characteristic polynomial (spectrum) of $\alpha$ (up to positive scaling) and, in the Heisenberg case, the full Jordan form (up to scaling), are quasi-isometry invariants [1605.01743].

- Further invariants are described by the associated Carnot-graded Lie algebra (Pansu's asymptotic cone), $\ell^p$-cohomology, reachability sets $R(s)$ defined via Hausdorff dimension of curves, and the chain of normalizers derived from these sets. The topological dimension of the asymptotic cone and the isomorphism class of the real-shadow are also quasi-isometry invariants (in low dimensions the real shadow coincides with the QI class) [2104.00368].

## 6. Comprehensive Table of Quasi-Isometric Invariants by Context

| Context                               | Invariant Example                            | Source arXiv id(s)     |
|----------------------------------------|----------------------------------------------|------------------------|
| All groups/spaces                      | Number of ends, growth, asymptotic dim       | 1602.02603, 2510.19602 |
| Group pairs $(G, \mathcal{P})$         | Filtered ends, peripheral QI types, Dehn fn. | 2012.10494, 2112.15046 |
| 3-manifold groups                      | JSJ/Bass–Serre tree, piece QI types          | 1602.02603             |
| RAAGs                                  | Extension graph embeddings, intersection cx. | 1803.00416, 2009.03865 |
| CAT(0) cube complexes/square complexes | Intersection complex $I(\widetilde{Y})$      | 2009.03865             |
| Coset-peripheral pairs                 | Coset intersection complex $\mathcal{K}$     | 2404.16628             |
| Heintze/Solv. Lie groups               | Char. polynomial/Jordan, Carnot cone         | 1605.01743, 2104.00368 |
| Gromov–hyperbolic spaces               | LP-critical exponent $p_0(X)$                | 1401.7315              |
| General graphs                         | Accessibility, planarity, group type         | 2510.19602             |

## 7. Open Problems and Future Directions

Central open conjectures include:

- Whether the quasi-isometry classification of purely real Heintze groups reduces to isomorphism ($\alpha$ up to scaling and conjugacy), i.e., whether spectrum, Carnot-graded algebra, and reachability sets suffice in all dimensions [2104.00368, 1605.01743].
- Characterization of qi-characteristic collections beyond current classes; unified coarse-invariants for Artin and Coxeter pairs [2112.15046].
- Coarse classification of general solvable and nilpotent groups up to quasi-isometry, conjecturally via Carnot-type structure [2104.00368].
- Precise relationships between filtered ends, Dehn functions, and other homological or cohomological invariants for higher complexity pairs [2112.15046].
- In extended setups (e.g., general metric complexes or groupoids), the search for new combinatorial or analytic invariants that detect quasi-isometry type in previously inaccessible cases.

Quasi-isometric invariants remain the foundational machinery enabling large-scale structural classification, geometric rigidity, and the transfer of local-to-global geometric phenomena in geometric group theory and beyond.

Source: https://www.emergentmind.com/topics/quasi-isometric-invariants