Hyperbolic group

Hyperbolic group
Name	Hyperbolic group
Caption	Cayley graph of a finitely generated group with thin triangles
Field	Geometric group theory
Introduced	1987
Introduced by	Mikhail Gromov

Hyperbolic group A hyperbolic group is a finitely generated group whose large-scale geometry exhibits negative curvature-like behavior, defined via thin triangles in metric spaces or equivalent combinatorial conditions on presentations. Introduced by Mikhail Gromov in the late 20th century, hyperbolic groups connect ideas from Andrei Kolmogorov-era metric geometry, Poincaré's work on curvature, and later developments involving William Thurston and Grigori Perelman in low-dimensional topology. They underpin research in Geometric Group Theory, influencing studies by scholars at institutions such as Institute for Advanced Study, Princeton University, University of Cambridge, and Université Paris-Sud.

Definition and equivalent characterizations

Gromov's original definition uses the Cayley graph of a finitely generated group endowed with the word metric: triangles are δ-thin, a condition formalized by Mikhail Gromov and related to notions used by Henri Poincaré and Élie Cartan. Equivalent characterizations involve linear isoperimetric inequalities in van Kampen diagrams, a perspective developed in work at Steklov Institute and by researchers at University of Chicago and Harvard University. Combinatorial formulations appear in small cancellation theory associated with Oded Schupp and Graham Higman, while coarse geometric descriptions relate to quasi-isometry classes studied by teams at Massachusetts Institute of Technology and University of Oxford. Algebraic criteria, such as rapid decay of Dehn functions, were pursued by scholars at Columbia University and University of California, Berkeley.

Examples and non-examples

Basic examples include non-elementary word-hyperbolic groups like fundamental groups of closed negatively curved manifolds studied by William Thurston and Dennis Sullivan, free groups analyzed by J.H.C. Whitehead and Max Dehn, and cocompact lattices in rank-one Lie groups such as those investigated by Elie Cartan and George Mostow. Surface groups of closed surfaces of genus ≥2 studied by Henri Poincaré and Oswald Veblen are hyperbolic; many Kleinian groups considered by Ahlfors and Lars Ahlfors provide further examples. Non-examples include higher-rank lattices like SL(n,Z) for n≥3 explored by Gregory Margulis, groups containing Z × Z subgroups studied by Eberhard Frey, and solvable groups such as the Heisenberg group examined in work at University of Bonn and Max Planck Institute.

Geometric properties and Cayley graphs

Cayley graphs of hyperbolic groups exhibit δ-hyperbolicity, echoing properties of tessellations studied in H.S.M. Coxeter's work on polytopes and the curvature considerations of Carl Friedrich Gauss. Geodesic stability and Morse lemma analogues were developed in collaboration between researchers at Brown University and University of Chicago; these imply quasi-geodesics fellow-travel with geodesics, a theme present in studies by Michael Bestvina and Mark Feighn. Growth rates connect to entropy concepts explored by Ludwig Boltzmann and dynamical systems experts at ETH Zurich and Max Planck Institute for Mathematics. Rigidity phenomena relate to Mostow rigidity and Margulis superrigidity investigated at Princeton University and Yale University.

Boundary at infinity

The boundary at infinity of a hyperbolic group, defined topologically, shares features with boundaries studied by Henri Poincaré and Georg Cantor; its topological type can be a Cantor set, a Sierpiński carpet, or a sphere as in examples tied to work by William Thurston and Cannon's conjectures examined at University of Texas and University of California, Berkeley. Dynamics on the boundary, studied by researchers at Stanford University and IHES, connect to Patterson–Sullivan measures introduced by Sullivan and S.J. Patterson, and to ergodic theory work by Marcel Riesz and Anatole Katok. Connections to conformal dimension and quasisymmetric maps were pursued at Yale University and Rutgers University.

Algebraic properties and subgroup structure

Algebraic consequences include finite presentability, linear isoperimetric inequalities, and restrictions on subgroup types studied at University of Oxford and Imperial College London. Torsion phenomena and virtually cyclic subgroups are constrained by results related to work at University of Bonn and Max Planck Institute; quasiconvex subgroups with stability properties were analyzed by Martin Bridson and Daniel Wise at Oxford and McGill University. Combination theorems relating graphs of groups draw on developments by Jean-Pierre Serre and John Stallings and were extended by researchers at University of Warwick and University of Glasgow.

Algorithmic problems and decision properties

Hyperbolic groups have solvable word and conjugacy problems, with Dehn algorithms originating from Max Dehn's program and later formalized by groups at University of Michigan and University of California, Los Angeles. Automatic and biautomatic structures were studied at Georgia Tech and University of Illinois, while complexity bounds for decision problems were explored by computer scientists at Carnegie Mellon University and Stanford University. Undecidability phenomena in group theory linked to works at Princeton University and University of Chicago delineate limits for algorithmic generalizations beyond hyperbolic settings.

Applications and connections to other areas

Hyperbolic groups influence 3-manifold topology through links to William Thurston and Perelman’s geometrization, geometric topology at Princeton University, and dynamics on moduli spaces studied at Institute for Advanced Study. Connections to low-dimensional topology relate to Heegaard splittings researched at University of Texas and to mapping class groups studied by Hyman Bass and Benson Farb at Northwestern University. Interactions with theoretical computer science appear in formal language theory at Massachusetts Institute of Technology and complexity theory at University of Cambridge, while links to probability and random groups were pursued by teams at University of British Columbia and Université de Montréal. Further cross-disciplinary impact spans mathematical physics communities at CERN and Perimeter Institute.

Category:Geometric group theory