Gromov hyperbolic space

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

hyperbolic space in the sense of Gromov

This notion provides a uniform "global" approach to such objects as the hyperbolic plane, simply-connected Riemannian manifolds with pinched negative sectional curvature, -spaces, and metric trees. Various "hyperbolic properties" introduced earlier (mostly in the context of group theory) [a1], [a2], [a3] were summed up and further developed by M. Gromov in his seminal paper [a4]. More detailed expositions of (some parts of) Gromov's work can be found in [a5] and [a6].

If is a metric space, then the Gromov product of two points with respect to a reference point is defined as

(when is a tree, this product coincides with the confluent of and , i.e., the length of the common part of the geodesic segments and ). The space is called -hyperbolic (with a constant ) if the Gromov product satisfies the -ultrametric inequality

for any points . If is -hyperbolic for some , it is called Gromov hyperbolic. Any metric tree is -hyperbolic, and, conversely, any -hyperbolic space isometrically imbeds into a tree. For Cartan–Hadamard manifolds, hyperbolicity is equivalent to the strong visibility property [a7].

Often one adds to the definition of Gromov hyperbolicity the following two requirements: 1) is geodesic (cf. also Geodesic manifold), i.e., any two points in can be joined by a path (a geodesic) whose length coincides with the distance between these points; and 2) is proper, i.e., all metric balls in are compact. Then hyperbolicity is equivalent to the following thin triangles condition: there exists a constant such that for any geodesic triangle in one can choose a point on each of the sides of the triangle in such a way that the pairwise distances between these points are all not greater than .

Yet another definition of hyperbolicity can be given in terms of exponential divergence of geodesic rays in , cf. [a8].

A sequence in is called convergent if . The hyperbolic boundary of a hyperbolic space is defined as the set of equivalence classes of convergent sequences with respect to the equivalence relation . Any geodesic ray in is convergent, and, conversely, for any class and any point there exists a geodesic ray (not necessarily unique!) joining and , i.e., starting from and belonging to the class . Equivalently, can be defined as the set of asymptotic classes of geodesic rays, with two rays being asymptotic if they are within bounded distance from each other.

The hyperbolic boundary is the boundary of the hyperbolic compactification of . For trees the hyperbolic compactification coincides with the end compactification, and for hyperbolic Cartan–Hadamard manifolds with the visibility compactification. The Gromov product naturally extends to , and , for sufficiently small , is uniformly equivalent to a metric on .

Hyperbolicity of a metric space is determined by its "global" structure only. If and are two metric spaces such that there exist mappings and and a constant with the property that and for all , and and for all (such metric spaces are called roughly isometric), then and are hyperbolic simultaneously, and the hyperbolic boundaries and are homeomorphic.

Isometries of hyperbolic spaces can be classified into elliptic, parabolic and hyperbolic ones in the same way as isometries of the usual hyperbolic plane. An important class of hyperbolic spaces is provided by finitely generated groups whose Cayley graphs are Gromov hyperbolic spaces (such groups are called word hyperbolic).