In differential geometry, a subfield of mathematics, the Margulis lemma (named after Grigory Margulis) is a result about discrete subgroups of isometries of a non-positively curved Riemannian manifolds (e.g. the hyperbolic n-space). Roughly, it states that within a fixed radius, usually called the Margulis constant, the structure of the orbits of such a group cannot be too complicated. More precisely, within this radius around a point all points in its orbit are in fact in the orbit of a nilpotent subgroup (in fact a bounded finite number of such).
The Margulis lemma for manifolds of non-positive curvature
The Margulis lemma can be formulated as follows.
Let be a simply-connected manifold of non-positive bounded curvature. There exist constants with the following property. For any discrete subgroup of the group of isometries of and any , if is the set:
then the subgroup generated by contains a nilpotent subgroup of index less than . Here is the distance induced by the Riemannian metric.
An immediately equivalent statement can be given as follows: for any subset of the isometry group, if it satisfies that:
- there exists a such that ;
- the group generated by is discrete
then contains a nilpotent subgroup of index .
The optimal constant in the statement can be made to depend only on the dimension and the lower bound on the curvature; usually it is normalised so that the curvature is between -1 and 0. It is usually called the Margulis constant of the dimension.
One can also consider margulis constants for specific spaces. For example there has been an important effort to determine the Margulis constant of the hyperbolic spaces (of constant curvature -1). For example:
- the optimal constant for the hyperbolic plane is equal to ;
- In general the Margulis constant for the hyperbolic -space is known to satisfy the bounds:
- for some .
A particularly studied family of examples of negatively curved manifolds are given by the symmetric spaces associated to semisimple Lie groups. In this case the Margulis lemma can be given the following, more algebraic formulation which dates back to Hans Zassenhaus. 
- If is a semisimple Lie group there exists a neighbourhood of the identity in and a such that any discrete subgroup which is generated by contains a nilpotent subgroup of index .
Such a neighbourhood is called a Zassenhaus neighbourhood.
Let be a Riemannian manifold and . The thin part of is the subset of points where the injectivity radius of at is less than , usually denoted , and the thick part its complement, usually denoted . There is a tautological decomposition into a disjoint union .
When is of negative curvature and is smaller than the Margulis constant for the structure of the components of the thin part is very simple. Let us restrict to the case of hyperbolic manifolds of finite volume. Suppose that is smaller than the Margulis constant for and let be an hyperbolic -manifold of finite volume. Then its thin part has two sorts of components:
- Cusps: these are the unbounded components, they are diffeomorphic to a -torus times a line;
- Margulis tubes: these are neighbourhoods of closed geodesics of length on . They are bounded and diffeomorphic to a circle times a -disc.
The Margulis lemma is an important tool in the study of manifolds of negative curvature. Besides the thick-thin decomposition some other applications are:
- The collar lemma: this is a more precise version of the description of the compact components of the thin parts. It states that any closed geodesic of length on an hyperbolic surface is contained in an embedded cylinder of diameter of order .
- The Margulis lemma gives an immediate qualitatve solution to the problem of minimal covolume among hyperbolic manifolds: since the volume of a Margulis tube can be seen to be bounded below by a constant depending only on the dimension, it follows that there exists a positive infimum to the volumes of hyperbolic n-manifolds for any n.
- The existence of Zassenhaus neighbourhoods is a key ingredient in the proof of the Kazhdan-Margulis theorem.
- One can recover the Jordan–Schur theorem as a corollary to the existence of Zassenhaus neighbourhoods.
- Ballmann & Gromov Schroeder, Theorem 9.5.
- Yamada, A. (1981). "On Marden's universal constant of Fuchsian groups". Kodai Math. J. 4: 266–277.
- Belolipetsky, Mikhail. "Hyperbolic orbifolds of small volume". Proceedings of ICM 2014. Kyung Moon SA.
- Raghunatan & 1972 Definition 8.22.
- Thurston 1998, Chapter 4.5.
- Ratcliffe 2006, p. 666.
- Ballmann, Werner; Gromov, Mikhail; Schroeder, Viktor (1985). Manifolds of Nonpositive Curvature. Birkhâuser.
- Raghunathan, M. S. (1972). Discrete subgroups of Lie groups. Ergebnisse de Mathematik und ihrer Grenzgebiete. Springer-Verlag. MR 0507234.
- Ratcliffe, John (2006). Foundations of hyperbolic manifolds, Second edition. Springer. pp. xii+779. ISBN 978-0387-33197-3.
- Thurston, William (1997). Three-dimensional geometry and topology. Vol. 1. Princeton University Press.