Quasi-isometry

Last updated December 04, 2023

In mathematics, a quasi-isometry is a function between two metric spaces that respects large-scale geometry of these spaces and ignores their small-scale details. Two metric spaces are quasi-isometric if there exists a quasi-isometry between them. The property of being quasi-isometric behaves like an equivalence relation on the class of metric spaces.

Definition

Suppose that $f$ is a (not necessarily continuous) function from one metric space $(M_{1},d_{1})$ to a second metric space $(M_{2},d_{2})$ . Then $f$ is called a quasi-isometry from $(M_{1},d_{1})$ to $(M_{2},d_{2})$ if there exist constants $A\geq 1$ , $B\geq 0$ , and $C\geq 0$ such that the following two properties both hold:^[2]

For every two points $x$ and $y$ in $M_{1}$ , the distance between their images is up to the additive constant $B$ within a factor of $A$ of their original distance. More formally:
$\forall x,y\in M_{1}:{\frac {1}{A}}\;d_{1}(x,y)-B\leq d_{2}(f(x),f(y))\leq A\;d_{1}(x,y)+B.$
Every point of $M_{2}$ is within the constant distance $C$ of an image point. More formally:
$\forall z\in M_{2}:\exists x\in M_{1}:d_{2}(z,f(x))\leq C.$

The two metric spaces $(M_{1},d_{1})$ and $(M_{2},d_{2})$ are called quasi-isometric if there exists a quasi-isometry $f$ from $(M_{1},d_{1})$ to $(M_{2},d_{2})$ .

A map is called a quasi-isometric embedding if it satisfies the first condition but not necessarily the second (i.e. it is coarsely Lipschitz but may fail to be coarsely surjective). In other words, if through the map, $(M_{1},d_{1})$ is quasi-isometric to a subspace of $(M_{2},d_{2})$ .

Two metric spaces M₁ and M₂ are said to be quasi-isometric, denoted $M_{1}{\underset {q.i.}{\sim }}M_{2}$ , if there exists a quasi-isometry $f:M_{1}\to M_{2}$ .

Examples

The map between the Euclidean plane and the plane with the Manhattan distance that sends every point to itself is a quasi-isometry: in it, distances are multiplied by a factor of at most ${\sqrt {2}}$ . Note that there can be no isometry, since, for example, the points $(1,0),(-1,0),(0,1),(0,-1)$ are of equal distance to each other in Manhattan distance, but in the Euclidean plane, there are no 4 points that are of equal distance to each other.

The map $f:\mathbb {Z} ^{n}\to \mathbb {R} ^{n}$ (both with the Euclidean metric) that sends every $n$ -tuple of integers to itself is a quasi-isometry: distances are preserved exactly, and every real tuple is within distance ${\sqrt {n/4}}$ of an integer tuple. In the other direction, the discontinuous function that rounds every tuple of real numbers to the nearest integer tuple is also a quasi-isometry: each point is taken by this map to a point within distance ${\sqrt {n/4}}$ of it, so rounding changes the distance between pairs of points by adding or subtracting at most $2{\sqrt {n/4}}$ .

Every pair of finite or bounded metric spaces is quasi-isometric. In this case, every function from one space to the other is a quasi-isometry.

Equivalence relation

If $f:M_{1}\mapsto M_{2}$ is a quasi-isometry, then there exists a quasi-isometry $g:M_{2}\mapsto M_{1}$ . Indeed, $g(x)$ may be defined by letting $y$ be any point in the image of $f$ that is within distance $C$ of $x$ , and letting $g(x)$ be any point in $f^{-1}(y)$ .

Since the identity map is a quasi-isometry, and the composition of two quasi-isometries is a quasi-isometry, it follows that the property of being quasi-isometric behaves like an equivalence relation on the class of metric spaces.

Use in geometric group theory

Given a finite generating set S of a finitely generated group G, we can form the corresponding Cayley graph of S and G. This graph becomes a metric space if we declare the length of each edge to be 1. Taking a different finite generating set T results in a different graph and a different metric space, however the two spaces are quasi-isometric.^[3] This quasi-isometry class is thus an invariant of the group G. Any property of metric spaces that only depends on a space's quasi-isometry class immediately yields another invariant of groups, opening the field of group theory to geometric methods.

More generally, the Švarc–Milnor lemma states that if a group G acts properly discontinuously with compact quotient on a proper geodesic space X then G is quasi-isometric to X (meaning that any Cayley graph for G is). This gives new examples of groups quasi-isometric to each other:

If G' is a subgroup of finite index in G then G' is quasi-isometric to G;
If G and H are the fundamental groups of two compact hyperbolic manifolds of the same dimension d then they are both quasi-isometric to the hyperbolic space H^d and hence to each other; on the other hand there are infinitely many quasi-isometry classes of fundamental groups of finite-volume.^[4]

Quasigeodesics and the Morse lemma

A quasi-geodesic in a metric space $(X,d)$ is a quasi-isometric embedding of $\mathbb {R}$ into $X$ . More precisely a map ${\displaystyle \phi$ such that there exists $C,K>0$ so that

\forall s,t\in \mathbb {R} :C^{-1}|s-t|-K\leq d(\phi (t),\phi (s))\leq C|s-t|+K

is called a $(C,K)$ -quasi-geodesic. Obviously geodesics (parametrised by arclength) are quasi-geodesics. The fact that in some spaces the converse is coarsely true, i.e. that every quasi-geodesic stays within bounded distance of a true geodesic, is called the Morse Lemma (not to be confused with the Morse lemma in differential topology). Formally the statement is:

Let $\delta ,C,K>0$ and $X$ a proper δ-hyperbolic space. There exists $M$ such that for any $(C,K)$ -quasi-geodesic $\phi$ there exists a geodesic $L$ in $X$ such that $d(\phi (t),L)\leq M$ for all $t\in \mathbb {R}$ .

It is an important tool in geometric group theory. An immediate application is that any quasi-isometry between proper hyperbolic spaces induces a homeomorphism between their boundaries. This result is the first step in the proof of the Mostow rigidity theorem.

Furthermore, this result has found utility in analyzing user interaction design in applications similar to Google Maps.^[5]

Examples of quasi-isometry invariants of groups

The following are some examples of properties of group Cayley graphs that are invariant under quasi-isometry:^[2]

Hyperbolicity

A group is called hyperbolic if one of its Cayley graphs is a δ-hyperbolic space for some δ. When translating between different definitions of hyperbolicity, the particular value of δ may change, but the resulting notions of a hyperbolic group turn out to be equivalent.

Hyperbolic groups have a solvable word problem. They are biautomatic and automatic.:^[6] indeed, they are strongly geodesically automatic, that is, there is an automatic structure on the group, where the language accepted by the word acceptor is the set of all geodesic words.

Growth

The growth rate of a group with respect to a symmetric generating set describes the size of balls in the group. Every element in the group can be written as a product of generators, and the growth rate counts the number of elements that can be written as a product of length n.

According to Gromov's theorem, a group of polynomial growth is virtually nilpotent, i.e. it has a nilpotent subgroup of finite index. In particular, the order of polynomial growth $k_{0}$ has to be a natural number and in fact $\#(n)\sim n^{k_{0}}$ .

If $\#(n)$ grows more slowly than any exponential function, G has a subexponential growth rate. Any such group is amenable.

Ends

The ends of a topological space are, roughly speaking, the connected components of the “ideal boundary” of the space. That is, each end represents a topologically distinct way to move to infinity within the space. Adding a point at each end yields a compactification of the original space, known as the end compactification.

The ends of a finitely generated group are defined to be the ends of the corresponding Cayley graph; this definition is independent of the choice of a finite generating set. Every finitely-generated infinite group has either 0,1, 2, or infinitely many ends, and Stallings theorem about ends of groups provides a decomposition for groups with more than one end.

If two connected locally finite graphs are quasi-isometric then they have the same number of ends.^[7] In particular, two quasi-isometric finitely generated groups have the same number of ends.

Amenability

An amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive invariant measure (or mean) on subsets of G, was introduced by John von Neumann in 1929 under the German name "messbar" ("measurable" in English) in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun.^[8]

In discrete group theory, where G has the discrete topology, a simpler definition is used. In this setting, a group is amenable if one can say what proportion of G any given subset takes up.

If a group has a Følner sequence then it is automatically amenable.

Asymptotic cone

An ultralimit is a geometric construction that assigns to a sequence of metric spaces X_n a limiting metric space. An important class of ultralimits are the so-called asymptotic cones of metric spaces. Let (X,d) be a metric space, let ω be a non-principal ultrafilter on $\mathbb {N}$ and let p_n ∈ X be a sequence of base-points. Then the ω–ultralimit of the sequence $(X,{\frac {d}{n}},p_{n})$ is called the asymptotic cone of X with respect to ω and $(p_{n})_{n}\,$ and is denoted $Cone_{\omega }(X,d,(p_{n})_{n})\,$ . One often takes the base-point sequence to be constant, p_n = p for some p ∈ X; in this case the asymptotic cone does not depend on the choice of p ∈ X and is denoted by $Cone_{\omega }(X,d)\,$ or just $Cone_{\omega }(X)\,$ .

The notion of an asymptotic cone plays an important role in geometric group theory since asymptotic cones (or, more precisely, their topological types and bi-Lipschitz types) provide quasi-isometry invariants of metric spaces in general and of finitely generated groups in particular.^[9] Asymptotic cones also turn out to be a useful tool in the study of relatively hyperbolic groups and their generalizations.^[10]

Related Research Articles

In mathematics, a metric space is a set together with a notion of distance between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry.

In mathematics, an isometry is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος isos meaning "equal", and μέτρον metron meaning "measure". If the transformation is from a metric space to itself, it is a kind of geometric transformation known as a motion.

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of $with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H 2, which was the first instance studied, is also called the hyperbolic plane.$

In mathematics, real trees are a class of metric spaces generalising simplicial trees. They arise naturally in many mathematical contexts, in particular geometric group theory and probability theory. They are also the simplest examples of Gromov hyperbolic spaces.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

In mathematics, a hyperbolic metric space is a metric space satisfying certain metric relations between points. The definition, introduced by Mikhael Gromov, generalizes the metric properties of classical hyperbolic geometry and of trees. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite groups called Gromov-hyperbolic groups.

In group theory, a word metric on a discrete group $is a way to measure distance between any two elements of . As the name suggests, the word metric is a metric on, assigning to any two elements, of a distance that measures how efficiently their difference can be expressed as a word whose letters come from a generating set for the group. The word metric on G is very closely related to the Cayley graph of G : the word metric measures the length of the shortest path in the Cayley graph between two elements of G .$

In mathematics, the Teichmüller space $of a (real) topological surface is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.$

In geometric topology, Busemann functions are used to study the large-scale geometry of geodesics in Hadamard spaces and in particular Hadamard manifolds. They are named after Herbert Busemann, who introduced them; he gave an extensive treatment of the topic in his 1955 book "The geometry of geodesics".

In group theory, more precisely in geometric group theory, a hyperbolic group, also known as a word hyperbolic group or Gromov hyperbolic group, is a finitely generated group equipped with a word metric satisfying certain properties abstracted from classical hyperbolic geometry. The notion of a hyperbolic group was introduced and developed by Mikhail Gromov (1987). The inspiration came from various existing mathematical theories: hyperbolic geometry but also low-dimensional topology, and combinatorial group theory. In a very influential chapter from 1987, Gromov proposed a wide-ranging research program. Ideas and foundational material in the theory of hyperbolic groups also stem from the work of George Mostow, William Thurston, James W. Cannon, Eliyahu Rips, and many others.

In differential geometry, the Margulis lemma is a result about discrete subgroups of isometries of a non-positively curved Riemannian manifold. Roughly, it states that within a fixed radius, usually called the Margulis constant, the structure of the orbits of such a group cannot be too complicated. More precisely, within this radius around a point all points in its orbit are in fact in the orbit of a nilpotent subgroup.

In the mathematical subject of geometric group theory, the Culler–Vogtmann Outer space or just Outer space of a free group F_n is a topological space consisting of the so-called "marked metric graph structures" of volume 1 on F_n. The Outer space, denoted X_n or CV_n, comes equipped with a natural action of the group of outer automorphisms Out(F_n) of F_n. The Outer space was introduced in a 1986 paper of Marc Culler and Karen Vogtmann, and it serves as a free group analog of the Teichmüller space of a hyperbolic surface. Outer space is used to study homology and cohomology groups of Out(F_n) and to obtain information about algebraic, geometric and dynamical properties of Out(F_n), of its subgroups and individual outer automorphisms of F_n. The space X_n can also be thought of as the set of F_n-equivariant isometry types of minimal free discrete isometric actions of F_n on F_n on R-treesT such that the quotient metric graph T/F_n has volume 1.

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In mathematics, an ultralimit is a geometric construction that assigns a limit metric space to a sequence of metric spaces $. The concept captures the limiting behavior of finite configurations in the spaces employing an ultrafilter to bypass the need for repeatedly consideration of subsequences to ensure convergence. Ultralimits generalize Gromov Hausdorff convergence in metric spaces.$

In the mathematical subject of geometric group theory, a Dehn function, named after Max Dehn, is an optimal function associated to a finite group presentation which bounds the area of a relation in that group in terms of the length of that relation. The growth type of the Dehn function is a quasi-isometry invariant of a finitely presented group. The Dehn function of a finitely presented group is also closely connected with non-deterministic algorithmic complexity of the word problem in groups. In particular, a finitely presented group has solvable word problem if and only if the Dehn function for a finite presentation of this group is recursive. The notion of a Dehn function is motivated by isoperimetric problems in geometry, such as the classic isoperimetric inequality for the Euclidean plane and, more generally, the notion of a filling area function that estimates the area of a minimal surface in a Riemannian manifold in terms of the length of the boundary curve of that surface.

In mathematics, the Gromov boundary of a δ-hyperbolic space is an abstract concept generalizing the boundary sphere of hyperbolic space. Conceptually, the Gromov boundary is the set of all points at infinity. For instance, the Gromov boundary of the real line is two points, corresponding to positive and negative infinity.

In the mathematical subject of geometric group theory, the Švarc–Milnor lemma is a statement which says that a group $, equipped with a "nice" discrete isometric action on a metric space, is quasi-isometric to .$

In metric geometry, asymptotic dimension of a metric space is a large-scale analog of Lebesgue covering dimension. The notion of asymptotic dimension was introduced by Mikhail Gromov in his 1993 monograph Asymptotic invariants of infinite groups in the context of geometric group theory, as a quasi-isometry invariant of finitely generated groups. As shown by Guoliang Yu, finitely generated groups of finite homotopy type with finite asymptotic dimension satisfy the Novikov conjecture. Asymptotic dimension has important applications in geometric analysis and index theory.

In the mathematical subject of group theory, a co-Hopfian group is a group that is not isomorphic to any of its proper subgroups. The notion is dual to that of a Hopfian group, named after Heinz Hopf.

In the mathematical subject of geometric group theory, an acylindrically hyperbolic group is a group admitting a non-elementary 'acylindrical' isometric action on some geodesic hyperbolic metric space. This notion generalizes the notions of a hyperbolic group and of a relatively hyperbolic group and includes a significantly wider class of examples, such as mapping class groups and Out(F_n).

References

↑ Bridson, Martin R. (2008), "Geometric and combinatorial group theory", in Gowers, Timothy; Barrow-Green, June; Leader, Imre (eds.), The Princeton Companion to Mathematics, Princeton University Press, pp. 431–448, ISBN 978-0-691-11880-2
1 2 P. de la Harpe, Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2000. ISBN 0-226-31719-6
↑ R. B. Sher and R. J. Daverman (2002), Handbook of Geometric Topology, North-Holland. ISBN 0-444-82432-4.
↑ Schwartz, Richard (1995). "The Quasi-Isometry Classification of Rank One Lattices". I.H.É.S. Publications Mathématiques. 82: 133–168. doi:10.1007/BF02698639. S2CID 67824718.
↑ Baryshnikov, Yuliy; Ghrist, Robert (2023-05-08). "Navigating the Negative Curvature of Google Maps". The Mathematical Intelligencer. doi:10.1007/s00283-023-10270-w. ISSN 0343-6993.
↑ Charney, Ruth (1992), "Artin groups of finite type are biautomatic", Mathematische Annalen, 292: 671–683, doi:10.1007/BF01444642, S2CID 120654588
↑ Stephen G.Brick (1993). "Quasi-isometries and ends of groups". Journal of Pure and Applied Algebra . 86 (1): 23–33. doi:10.1016/0022-4049(93)90150-R.
↑ Day's first published use of the word is in his abstract for an AMS summer meeting in 1949, Means on semigroups and groups, Bull. A.M.S. 55 (1949) 1054–1055. Many text books on amenability, such as Volker Runde's, suggest that Day chose the word as a pun.
↑ John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2
↑ Cornelia Druţu and Mark Sapir (with an Appendix by Denis Osin and Mark Sapir), Tree-graded spaces and asymptotic cones of groups. Topology, Volume 44 (2005), no. 5, pp. 959–1058.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Bridson, Martin R. (2008), "Geometric and combinatorial group theory", in Gowers, Timothy; Barrow-Green, June; Leader, Imre (eds.), The Princeton Companion to Mathematics, Princeton University Press, pp. 431–448, ISBN 978-0-691-11880-2

[Topics-2] 1 2 P. de la Harpe, Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 2000. ISBN 0-226-31719-6

[3] R. B. Sher and R. J. Daverman (2002), Handbook of Geometric Topology, North-Holland. ISBN 0-444-82432-4.

[4] Schwartz, Richard (1995). "The Quasi-Isometry Classification of Rank One Lattices". I.H.É.S. Publications Mathématiques. 82: 133–168. doi:10.1007/BF02698639. S2CID 67824718.

[5] Baryshnikov, Yuliy; Ghrist, Robert (2023-05-08). "Navigating the Negative Curvature of Google Maps". The Mathematical Intelligencer. doi:10.1007/s00283-023-10270-w. ISSN 0343-6993.

[charney-6] Charney, Ruth (1992), "Artin groups of finite type are biautomatic", Mathematische Annalen, 292: 671–683, doi:10.1007/BF01444642, S2CID 120654588

[7] Stephen G.Brick (1993). "Quasi-isometries and ends of groups". Journal of Pure and Applied Algebra . 86 (1): 23–33. doi:10.1016/0022-4049(93)90150-R.

[8] Day's first published use of the word is in his abstract for an AMS summer meeting in 1949, Means on semigroups and groups, Bull. A.M.S. 55 (1949) 1054–1055. Many text books on amenability, such as Volker Runde's, suggest that Day chose the word as a pun.

[Roe-9] John Roe. Lectures on Coarse Geometry. American Mathematical Society, 2003. ISBN 978-0-8218-3332-2

[10] Cornelia Druţu and Mark Sapir (with an Appendix by Denis Osin and Mark Sapir), Tree-graded spaces and asymptotic cones of groups. Topology, Volume 44 (2005), no. 5, pp. 959–1058.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]