Margulis lemma

Margulis lemma The Margulis lemma is a foundational result in Riemannian geometry and Geometric group theory that gives a uniform local description of discrete isometry groups acting on manifolds with pinched curvature. It provides a quantitative threshold — the Margulis constant — below which the subgroup generated by very small displacements is virtually nilpotent, with strong consequences for the thin-thick decomposition of finite-volume manifolds such as hyperbolic manifolds studied by William Thurston and used in proofs by Michael Kapovich and Rick Canary. The lemma underpins structural results related to the Mostow rigidity theorem, the Kazhdan–Margulis theorem, and classification work by Grigory Margulis and collaborators.

Statement

In its customary form for complete Riemannian manifolds of pinched negative curvature, the lemma asserts: there exists an ε = ε(n, K) > 0 (the Margulis constant) depending only on the manifold dimension n and curvature bounds K, such that for any discrete subgroup Γ of isometries of a simply connected n-dimensional manifold with sectional curvature in a fixed pinched range, and for any point x, the subgroup generated by {γ in Γ | d(x, γ·x) < ε} is virtually nilpotent. This formulation connects to discrete subgroups of Isom(H^n), lattices in SO(n,1), and discrete subgroups of SL(2,C), and is applied to produce the thin part in the thick–thin decomposition used in the study of finite-volume quotients like those appearing in work of William Thurston and Jeffrey Brock.

Historical context and development

The lemma was proved by Grigory Margulis in the context of his groundbreaking work on discrete subgroups of Lie groups and arithmeticity of lattices, which earned him the Fields Medal. Its development paralleled earlier structural results such as Selberg's lemma on torsion-free subgroups and later influenced proofs of the Kazhdan–Margulis theorem and aspects of Mostow rigidity theorem. Margulis built on techniques from representatives like Herman Weyl and Élie Cartan in the classification of continuous symmetry, and his lemma became a key tool in the study of hyperbolic manifolds advanced by William Thurston, Gromov, and others working on finiteness theorems and geometric decomposition theorems used in the proof of the Geometrization Conjecture by Grigori Perelman.

Proof outline and techniques

Proofs combine compactness arguments, Lie group structure theory, and the theory of discrete subgroups of Lie groups such as SO(n,1), SU(n,1), and SL(2,C). One constructs a neighborhood of the identity in the ambient isometry group and applies a Zassenhaus-type neighborhood lemma (in the spirit of work by Hans Zassenhaus) to obtain control on discrete subgroups. Methods invoke the algebraic structure of nilpotent Lie algebras, Engel’s theorem from the work of Friedrich Engel, and conjugacy estimates akin to those used by Kazhdan and Margulis in proving the Kazhdan–Margulis theorem. Alternative proofs use coarse geometric techniques from Mikhael Gromov’s theory of almost flat manifolds and apply collapsing arguments related to results of Jeff Cheeger and Mikhail Gromov.

Applications and consequences

The lemma yields the thick–thin decomposition of finite-volume manifolds, central to the classification of hyperbolic manifolds studied by William Thurston and used in finiteness results by Colin Adams and Ian Agol. It implies local virtual nilpotency of small displacement groups, which constrains cusp structures in quotients by lattices in groups like SO(n,1), SU(n,1), and Sp(n,1), and underlies structural finiteness theorems in the work of Borel and Harish-Chandra. In Geometric group theory it provides lower bounds for injectivity radius in moduli problems studied by Maryam Mirzakhani and rigidity input for arithmeticity results by Margulis and G.A. Margulis. It also influences spectral geometry via bounds on short closed geodesics used by Peter Sarnak and Donnelly–Fefferman type estimates.

Variants and generalizations

Several variants adapt the constant and conclusion to settings like pinched nonpositive curvature, variable curvature, and discrete subgroups of general Lie groups. Zassenhaus neighborhood formulations (building on Hans Zassenhaus) yield algebraic generalizations to linear groups over local fields as used in the proof of arithmeticity by Margulis and later refinements by Gopal Prasad and Shah in S-arithmetic contexts. Coarse or quantitative analogues appear in Geometric group theory via Gromov’s almost flat manifold theorem and in relative settings for groups acting on CAT(0) spaces studied by Bridson and Haefliger. Further work extends Margulis-type control to discrete actions on Teichmüller space (connected to Richard Canary and Yair Minsky), and to combinatorial analogues in the theory of expander graphs explored by Salil Vadhan and László Babai.

Category:Riemannian geometry