This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Mostow rigidity theorem | |
|---|---|
| Name | Mostow rigidity theorem |
| Field | Geometric topology; Differential geometry; Geometric group theory |
| Named after | George Mostow |
| First published | 1973 |
| Key people | Gromov; Thurston; Margulis; Kazhdan |
Mostow rigidity theorem The Mostow rigidity theorem is a landmark result in twentieth-century mathematics linking topology, Lie group theory, and Riemannian geometry. It asserts that for many closed manifolds modeled on symmetric spaces of noncompact type, the large-scale topological structure determines the precise geometric structure, up to isometry, removing continuous deformation freedom. The theorem influenced work by Thurston, Gromov, Margulis, and others on rigidity phenomena in hyperbolic geometry and arithmetic groups.
In its classical form, Mostow proved that any two closed, connected, locally symmetric Riemannian manifolds of dimension at least three, with isomorphic fundamental groups, are isometric. More concretely, let M and N be closed manifolds locally modeled on the symmetric space associated to a semisimple Lie group G of noncompact type; if π1(M) ≅ π1(N) as abstract groups, then M and N are isometric after appropriate normalization. The statement applies in particular to closed hyperbolic manifolds of dimension n ≥ 3, linking group isomorphism with geometric isometry and rigidity of the corresponding discrete subgroups of SO(n,1) or Isom(H^n).
The theorem grew from threads in mid-twentieth-century work on rigidity and group actions. Early rigidity phenomena appeared in the work of Calabi and Bochner, while structural results about discrete subgroups came from Borel and Harish-Chandra. George Mostow announced and proved the result for closed manifolds in the late 1960s and published a comprehensive treatment in 1973, building on ideas from Margulis's later work on arithmeticity and superrigidity. William Thurston's programs in three-dimensional topology and hyperbolic geometry popularized applications to 3-manifold theory, relating Mostow's result to Thurston's geometrization conjecture and to work by Perelman. Subsequent developments by Gromov and Pansu placed Mostow rigidity within the broader context of quasi-isometric rigidity and coarse geometry.
Mostow's proof combines analytic, algebraic, and dynamical techniques centered on boundary maps and ergodic theory. Starting with an isomorphism of fundamental groups, one studies the corresponding discrete, torsion-free lattices Γ ⊂ G and Γ' ⊂ G' in semisimple Lie groups, constructs equivariant homeomorphisms of the visual boundaries (ideal boundaries) of the symmetric spaces, and then promotes boundary maps to isometries of the interiors. Key inputs include unique extension properties for quasiconformal maps on sphere boundaries (in the hyperbolic case), measurable rigidity results linked to Zimmer-type cocycle superrigidity, and the use of ergodic theorems pioneered by Borel and Moore. The argument also draws on structural facts about parabolic subgroups from Cartan and decomposition theorems for semisimple Lie algebras developed by Weyl.
Mostow rigidity has profound consequences across several named topics. For closed hyperbolic manifolds of dimension ≥3, it implies that volume, lengths of closed geodesics, and the full Riemannian metric are topological invariants; this connects to volume rigidity results studied by Gromov and Thurston. In the theory of discrete subgroups, it yields rigidity for lattices in SO(n,1), SU(n,1), Sp(n,1), and other rank-one groups, informing Margulis's superrigidity and Zimmer program. Applications appear in classification problems for 3-manifolds, in constraints on deformation spaces studied by Teichmüller theory and Fuchsian group deformations, and in insights into arithmeticity of lattices as in work by Borel and Prasad.
Several generalizations and sister results extend Mostow's paradigm. Margulis superrigidity strengthens group-representation rigidity for higher-rank lattices in SL(n,R) and Sp(n,R), leading to Margulis arithmeticity theorems. Local rigidity results of Weil and deformation theory in the context of Teichmüller theory contrast with Mostow's global rigidity. Gromov's quasi-isometry rigidity and Pansu's version for Carnot groups provide coarse geometric analogues. In rank-one settings, work by Corlette and Gromov–Schoen handles superrigidity for certain nonarithmetic lattices, while Sullivan's ergodic theory contributions link boundary behavior to conformal dynamics. Recent interactions involve the Langlands program and relations to automorphic spectra studied by Selberg and Arthur.
Category:Rigidity theorems