Gromov hyperbolic groups

Gromov hyperbolic groups
Name	Gromov hyperbolic groups
Caption	Cayley graph illustration
Introduced	1987
Originator	Mikhail Gromov
Field	Geometric group theory
Notable	word-hyperbolic groups, negatively curved groups

Gromov hyperbolic groups are finitely generated groups whose large-scale geometry resembles the geometry of classical negatively curved spaces such as Hyperbolic plane, Real hyperbolic space, and certain Cayley graph models. Introduced by Mikhail Gromov in the 1980s, they unify geometric, algebraic, and dynamical viewpoints and have deep connections to the work of Hermann Minkowski, André Weil, Harvey Cohn, and later developments by Zlil Sela, Jean-Pierre Serre, and Grigori Perelman. These groups played a central role in the development of Geometric group theory and influenced research in Low-dimensional topology, Differential geometry, and Geometric topology.

Definition and basic properties

A finitely generated group is called hyperbolic when its Cayley graph (with respect to some finite generating set) is delta-thin in the sense of Gromov; this formalism relates to the thin-triangle condition used in the study of Hyperbolic plane, Hadamard manifold, and Cartan-Hadamard theorem contexts. The definition uses geodesic triangles, quasi-geodesics, and coarse notions of distance familiar from Metric space considerations invoked by John Milnor and Mikhail Gromov. Key basic properties include linear isoperimetric inequalities reminiscent of results by Max Dehn and stability of quasi-geodesics akin to work of Pierre Pansu and Dennis Sullivan. Gromov’s notion yields invariants under quasi-isometries, linking to the ideas of Jean Lafont and Wolfgang Pitsch about coarse geometry.

Examples and non-examples

Classic examples include fundamental groups of closed negatively curved Riemannian manifolds such as those studied by Eberhard Hopf and William Thurston, discrete isometry groups of Real hyperbolic space and uniform lattices in SO(n,1). Free groups on two or more generators, introduced by Niels Henrik Abel and studied by Jakob Nielsen, are canonical examples, as are certain small-cancellation groups arising from combinatorial methods of Martin Lyndon and Roger Lyndon. Surface groups of closed surfaces of genus at least two, studied by Bernhard Riemann and William P. Thurston, are hyperbolic. Non-examples include higher-rank lattices in SL(n,Z) for n≥3 studied by Grigory Margulis and groups with subgroups isomorphic to Z^2 such as fundamental groups of tori considered by Joseph Fourier research traditions; these fail the thin-triangle condition and related large-scale negative curvature axioms documented by Louis de Branges style rigidity observations.

Boundaries and topology at infinity

A salient feature is the Gromov boundary, a topological invariant encoding directions to infinity in the Cayley graph, paralleling boundaries studied by Henri Poincaré and Felix Klein in hyperbolic geometry. For free groups this boundary is a Cantor set related to combinatorial trees developed by Jean Leray themes, while for surface groups it is homeomorphic to the circle as in Poincaré disk model studies and connections to Geodesic flow theory by Sinai and Anatole Katok. The boundary carries a canonical family of visual metrics analogous to Patterson–Sullivan measures introduced by Samuel Patterson and Dennis Sullivan, and it supports dynamics of group actions akin to classical ergodic theory results by Marcel Riesz and John von Neumann. Topological properties of the boundary influence splittings studied by Jean-Pierre Serre and cut point structures reminiscent of work by R.L. Moore.

Algebraic and geometric consequences

Algebraically, hyperbolic groups satisfy the Tits alternative-like dichotomies in restricted forms studied by Jacques Tits and finite presentability results akin to those used by Max Dehn. They have solvable word and conjugacy problems owing to Dehn algorithm adaptations, connecting to algorithmic themes from Alan Turing and Emil Post. Geometrically, they admit linear isoperimetric inequalities and rapid decay of filling functions explored in the tradition of M. Gromov and Adrien Douady. Group-theoretic consequences include restrictions on subgroup structure (no Baumslag–Solitar subgroups as in Gilbert Baumslag and Donald Solitar), subgroup separability phenomena studied by Ian Agol and virtual specialness in the work of Daniel Wise and Frédéric Haglund. Growth rates and entropy links connect to studies by Maryam Mirzakhani and thermodynamic formalism from Ruelle.

Quasi-isometry and rigidity

Hyperbolicity is a quasi-isometry invariant introduced by Mikhail Gromov and is central to rigidity phenomena paralleling results by Mostow and Gromov-Thurston rigidity themes developed by William Thurston. Quasi-isometric classification of hyperbolic groups interacts with boundary homeomorphism rigidity results proved by Brian Bowditch and Ilya Kapovich, and with quasi-conformal mappings studied by Hermann Weyl and Charles Fefferman in complex analysis analogues. Notable rigidity theorems include work by G. A. Margulis on lattice rigidity and by Sela on rigidity for certain classes of hyperbolic groups and JSJ-decomposition techniques reflecting ideas of Klaus Johannson.

Applications and connections to other areas

Gromov hyperbolic groups have applications across Low-dimensional topology, notably in the study of 3-manifold groups following breakthroughs by William Thurston and the proof of the geometrization conjecture by Grigori Perelman. They inform dynamics of group actions on boundaries with ties to ergodic theory by Hillel Furstenberg and Patterson–Sullivan measure constructions by Samuel Patterson and Dennis Sullivan. Connections to algorithmic group theory echo computational themes from Alan Turing and Emil Post, while links to combinatorial group theory build on work of Max Dehn and Martin Lyndon. Interactions with Geometric topology and Differential geometry continue through collaborations and developments by researchers such as Mikhail Gromov, Ian Agol, and Daniel Wise.

Category:Geometric group theory