Mostow rigidity

Mostow rigidity
Name	Mostow rigidity
Field	Mathematics
Subfield	Geometric topology, Differential geometry, Algebraic topology
Introduced	1968
Introduced by	George Mostow
Important results	Mostow rigidity theorem, superrigidity
Related	Margulis superrigidity, Thurston geometrization conjecture, Mostow–Prasad rigidity, Gromov norm

Mostow rigidity is a rigidity phenomenon in Mathematics asserting that for certain closed locally symmetric spaces the large-scale geometry is determined uniquely by fundamental group data. It states that complete finite-volume locally symmetric manifolds of noncompact type and higher rank have their geometric structures fixed up to isometry by their fundamental groups, with deep connections to Ergodic theory, Lie groups, Representation theory, and Low-dimensional topology. The theorem has shaped research linking George Mostow, Grigory Margulis, William Thurston, Gopal Prasad, and others in studies of discrete subgroups of semisimple Lie groups.

Statement of the theorem

The classical formulation, proved by George Mostow for closed manifolds and extended by Gopal Prasad to finite-volume cases, says: if M and N are complete finite-volume locally symmetric manifolds of dimension n≥3 modeled on the same irreducible symmetric space of noncompact type and if π1(M) ≅ π1(N) as abstract groups, then M and N are isometric. This statement ties together discrete subgroups of Isometry groups of symmetric spaces such as SO(n,1), SU(n,1), Sp(n,1), and exceptional groups like F4(-20), and implies uniqueness of locally symmetric metrics in dimensions where the hypothesis applies. Variants replace closed by finite-volume and require irreducibility to exclude product decompositions related to De Rham decomposition theorem.

Historical background and contributors

The theorem originated in work of George Mostow in the 1960s and was announced in 1968. Earlier influence came from rigidity phenomena studied by Hermann Weyl, Élie Cartan, and classifications by Élie Cartan and Harish-Chandra on symmetric spaces and representation theory of semisimple Lie groups. Grigory Margulis developed superrigidity in the 1970s, leading to arithmeticity results and links to Galois cohomology and Kazhdan's property (T). Extensions and clarifications involved Gopal Prasad, William Thurston, Michael Gromov, Dennis Sullivan, Yves Benoist, Benedict Gross, Robert Zimmer, Gregori A. Margulis, and others working on structural, ergodic, and dynamical aspects. The interplay with three-dimensional topology drew input from William Thurston and later proofs and applications involved mathematicians at institutions such as Institute for Advanced Study, Princeton University, Harvard University, and Massachusetts Institute of Technology.

Key ideas and outline of proof

Mostow's original proof combines techniques from Differential geometry, Hyperbolic geometry, Ergodic theory, and Representation theory of Lie groups. Central steps include constructing a boundary map between ideal boundaries of symmetric spaces, using quasi-conformal or measurable boundary maps studied earlier by Lars Ahlfors and Lipman Bers in the context of Teichmüller theory and Kleinian groups. The argument uses ergodicity results related to Moore ergodicity theorem and mixing properties of geodesic flows on locally symmetric spaces as developed by Sinai, Anatole Katok, and Yakov Sinai. Measure-class preserving properties and the Patterson–Sullivan construction, influenced by Sullivan, connect limit sets of discrete subgroups to invariant measures. Algebraic rigidity inputs employ structure theory from Armand Borel, Harish-Chandra, and cohomological vanishing theorems related to Matsushima's formula. The culmination shows boundary map regularity upgrades to conformal or smooth maps, producing an isometry realized by an element of the ambient Isometry group.

Extensions and generalizations

Margulis superrigidity generalized Mostow rigidity by constraining representations of lattices in higher-rank semisimple Lie groups and led to Margulis arithmeticity theorem classifying lattices as arithmetic in many cases. Prasad extended Mostow to finite-volume noncompact manifolds; the combined statement is often called Mostow–Prasad rigidity. Gromov introduced ideas of volume and simplicial volume (the Gromov norm) yielding rigidity consequences and connections with bounded cohomology developed by Mikhail Gromov and Jean-Michel Bismut. Zimmer's program extended rigidity perspectives to actions of higher-rank lattices on manifolds, influenced by work of Robert J. Zimmer. Further generalizations involve superrigidity for representations into noncompact targets by Yves Benoist, geometric superrigidity by Kaimanovich, and measure equivalence rigidity studied by Furman.

Applications and consequences

Mostow rigidity has decisive consequences in Low-dimensional topology and the study of moduli: it implies uniqueness of hyperbolic structures in dimensions n≥3, contrasting with the flexible deformation theory in dimension 2 exemplified by Moduli space of Riemann surfaces and Teichmüller space. It underpins arithmeticity results of Grigory Margulis and rigidity of locally symmetric orbifolds considered by John Milnor and Curtis T. McMullen. Volume rigidity consequences are used in comparisons involving the Besson–Courtois–Gallot entropy rigidity theorem, which relates volume and entropy and involves contributors Gilles Courtois and Sylvestre Gallot. In geometric group theory, Mostow rigidity constrains quasi-isometry classes of lattices in rank-one Lie groups and informs classification problems studied by Mikhael Gromov and Cornelia Druţu. It also affects the theory of discrete subgroups and deformation spaces considered by William Thurston and Richard Canary.

Examples and counterexamples

Examples satisfying hypotheses include closed hyperbolic n-manifolds coming from lattices in SO(n,1), complex hyperbolic manifolds from lattices in SU(n,1) in appropriate settings, and quaternionic and exceptional cases from lattices in Sp(n,1) and F4(-20). Classical counterexamples show failure in dimension 2: surfaces of genus g>1 admit non-isometric hyperbolic structures parameterized by Teichmüller space and deformations via Fenchel–Nielsen coordinates. Product manifolds and reducible lattices evade irreducibility hypotheses, as illustrated by examples related to the De Rham decomposition theorem and nontrivial self-homeomorphisms studied in Freedman–Quinn contexts. Margulis provided counterexamples to naive rigidity expectations in rank-one versus higher-rank distinctions, emphasizing the necessity of hypotheses.

Category:Rigidity theorems