Gromov hyperbolicity

Gromov hyperbolicity
Name	Gromov hyperbolicity
Field	Geometric group theory
Introduced	1987
Introduced by	Mikhail Gromov

Gromov hyperbolicity is a coarse geometric notion capturing negative curvature behavior in metric spaces, introduced by Mikhail Gromov in the late 20th century and central to modern Geometric group theory and Geometric topology. It formalizes the idea that triangles are thin, providing a robust framework linking groups such as word-hyperbolic groups and spaces arising in Riemannian geometry, Teichmüller theory, and the study of discrete groups like Kleinian groups and Coxeter groups. The concept interacts with structures studied by researchers at institutions including IHÉS, Princeton University, University of Chicago, and Steklov Institute of Mathematics.

Definition and equivalent formulations

The standard definition uses the delta-thin triangle condition: for a geodesic metric space X there exists delta ≥ 0 such that every geodesic triangle in X is contained in the delta-neighborhood of its two sides, a formulation appearing in work of Mikhail Gromov, and discussed in texts by authors associated with European Mathematical Society, American Mathematical Society, and researchers at MPI MiS. Equivalent formulations include the four-point condition, which compares sums of pairwise distances as in classical statements linked historically to Alexandrov curvature bounds and to comparison geometry studied at Brown University and University of Cambridge. Alternate coarse formulations use Rips complexes and the slim triangle property, each used in expositions by groups at MSRI, Clay Mathematics Institute, and by authors affiliated with École normale supérieure.

Examples and non-examples

Classical examples include proper geodesic spaces with negative sectional curvature such as complete simply connected Riemannian manifolds of pinched negative curvature studied in the tradition of Hadamard and Cartan, and symmetric spaces of noncompact type like real hyperbolic spaces related to Lobachevsky and investigated by scholars at Harvard University and Yale University. Combinatorial examples include Cayley graphs of word-hyperbolic finitely generated groups such as small-cancellation groups, fundamental groups of closed hyperbolic manifolds studied by teams at MIT and Stanford University, and certain Coxeter group actions on complexes examined at University of Oxford. Non-examples include Euclidean spaces studied by René Descartes-influenced schools and higher-rank symmetric spaces like SL(n,R)/SO(n) for n ≥ 3 investigated in work from Institut des Hautes Études Scientifiques and by researchers from ETH Zurich, as well as solvable Lie groups such as the Heisenberg group analyzed at University of Geneva and Tel Aviv University.

Basic properties and invariants

Hyperbolicity is preserved under quasi-isometries, a principle used in classification efforts by scholars at University of California, Berkeley and Columbia University; it implies linear isoperimetric inequalities studied by researchers connected to Society for Industrial and Applied Mathematics workshops. Invariants include the hyperbolicity constant delta, growth rate or volume entropy related to work by Andersson and Sullivan-inspired groups, and algebraic consequences for group properties such as the existence of automatic structures investigated at Carnegie Mellon University and University of Warwick. Results on subgroup structure, boundary amenability, and the Tits alternative reflect themes appearing in seminars at Max Planck Society and collaborations involving Dmitry A. Kazhdan and others.

Quasi-isometry and stability

Quasi-isometries between metric spaces induce equivalences central to rigidity phenomena explored by teams at Princeton University and IHES; the stability of quasigeodesics in hyperbolic spaces underlies the Morse lemma, a result with origins tied to work by scholars at University of Illinois and University of Bonn. Quasi-convex subgroups in hyperbolic groups are quasi-isometrically embedded, a fact leveraged in studies by investigators from University of Cambridge and University of Warwick to analyze subgroup distortion, boundary maps, and Cannon–Thurston maps related to research at Université Paris-Sud.

Boundaries and compactifications

The Gromov boundary of a proper hyperbolic space is a topological invariant capturing asymptotic geometry and features in theorems by researchers from University of Michigan and University of Texas at Austin; it admits a visual metric whose quasi-Möbius structure is studied in the literature of Charles Epstein and Dennis Sullivan. Compactifications include the hyperbolic compactification and Bowditch boundary constructions used by authors associated with University of Warwick and Durham University for analyzing convergence group actions, Cannon–Thurston phenomena studied in collaborations involving William Thurston's school, and Patterson–Sullivan measures connecting to ergodic theory work at Institute for Advanced Study.

Applications and connections to other fields

Gromov hyperbolicity appears in the study of Kleinian groups and 3-manifold topology stemming from the work of William Thurston and later developments at Princeton University and Cambridge University Press publications, in the algorithmic theory of groups linked to results from Alan Turing-inspired computational group theory at University of Warwick, and in dynamics via Patterson–Sullivan theory influenced by Dennis Sullivan and Grigori Margulis. It intersects theoretical computer science in network analysis and metric embeddings researched by teams at Google Research and Microsoft Research, with further ties to geometric analysis, probability on groups, and the study of random walks as pursued at Courant Institute and INRIA.

Category:Geometric group theory