Mostow–Prasad rigidity

Mostow–Prasad rigidity
Name	Mostow–Prasad rigidity
Field	Topology; Differential geometry; Geometric group theory
Discovered by	George Mostow; Gopal Prasad
Year	1968; 1973
Notable for	Rigidity of hyperbolic manifolds; uniqueness of geometric structures

Mostow–Prasad rigidity is a rigidity theorem asserting that for finite-volume, complete, locally symmetric manifolds of noncompact type in higher rank or of hyperbolic type in dimension at least three, their geometry is uniquely determined by their fundamental group. The result bridges Soviet and Western developments in topology and geometry, connecting work from figures such as Elie Cartan, Henri Poincaré, William Thurston, Michael Gromov, and later contributors in arithmetic groups and ergodic theory.

Introduction

Mostow–Prasad rigidity states that, under suitable hypotheses, any isomorphism between the fundamental groups of two complete, finite-volume, locally symmetric manifolds of noncompact type is induced by a unique isometry between the manifolds. The theorem applies most famously to closed and finite-volume hyperbolic manifolds of dimension at least three and contrasts sharply with the flexibility present in two-dimensional Riemann surface theory studied by Bernhard Riemann, Henri Poincaré, Rolf Nevanlinna, and developed through the Teichmüller theory of Oswald Teichmüller, Lars Ahlfors, and Lipman Bers.

Statement of the theorem

Let M and N be complete, finite-volume, locally symmetric manifolds modeled on a simply connected, noncompact, rank-one symmetric space or higher-rank symmetric spaces associated to semisimple Lie groups. If π1(M) ≅ π1(N) as abstract groups, then there exists a unique isometry f: M → N inducing this isomorphism, provided the symmetric space is not the two-dimensional hyperbolic plane. In the hyperbolic case for dimensions ≥ 3 the theorem was proved by George Mostow; for finite-volume noncompact manifolds with cusps the extension was achieved by Gopal Prasad. The statement connects to rigidity phenomena proved earlier in contexts involving Margulis superrigidity, the Selberg trace formula of Atle Selberg, and measure rigidity results related to methods of Grigory Margulis and Yakov Sinai.

Historical development and contributors

The roots trace to classical work on discrete isometry groups of symmetric spaces by Elie Cartan, and to the study of Kleinian groups by Felix Klein and Henri Poincaré. Mid-20th century advances by Armand Borel, Harish-Chandra, and Atle Selberg on arithmetic groups and lattices in Lie groups prepared the setting. George Mostow published the seminal rigidity theorem for closed manifolds in 1968, building on ideas linked to André Weil and Hyman Bass. Gopal Prasad extended Mostow's result to finite-volume noncompact cases in the 1970s, interacting with work by Margulis, Serre, and Borel–Harish-Chandra results on arithmeticity. Subsequent refinements involved researchers such as William Thurston, Michael Gromov, David Kazhdan, Benson Farb, John Milnor, Shlomo Sternberg, and Grigory Margulis.

Proof ideas and techniques

Most proofs leverage analysis on boundaries at infinity, ergodic theory, and structural results about lattices in semisimple Lie groups. Mostow's approach used quasiconformal mappings on the sphere at infinity and a detailed analysis of volume and measure to show boundary maps are Möbius and hence extend to isometries; these techniques connect to work of Ahlfors, Beurling–Ahlfors, and Lars Ahlfors. Prasad's extension employed reduction theory for arithmetic lattices and structural results due to Armand Borel and Harish-Chandra. Alternative proofs and perspectives draw on Margulis superrigidity, Zimmer's cocycle superrigidity developed by Robert Zimmer, and rigidity via harmonic maps by William Goldman, Yves Benoist, and Mikhael Gromov. Analytic tools include Patterson–Sullivan measures, the Bowen–Margulis measure from Richard Bowen and Grigory Margulis, and compactification methods related to Satake.

Generalizations and related rigidity results

Generalizations include Mostow rigidity variants in noncompact settings via Prasad, Margulis superrigidity for higher-rank lattices, and local rigidity results by Calabi and Weil. Related rigidity phenomena appear in Kazhdan's property (T), Borel density theorem, and superrigidity theorems by Furstenberg, Zimmer, and Margulis. Connections exist with the geometrization program of William Thurston and the work of Perelman on Ricci flow which frames three-dimensional topology, as well as extension to measured equivalence relations and orbit equivalence studied by Hillel Furstenberg and Anatole Katok.

Applications and consequences

Consequences are wide-ranging: classification of hyperbolic manifolds up to isometry by their fundamental groups impacts the study of Kleinian groups, arithmeticity results of Margulis, and the theory of 3-manifolds initiated by Thurston. In number theory, rigidity constrains arithmetic lattices studied by Deligne and Weil, while in dynamical systems it informs ergodic properties of geodesic flows examined by Sinai and Bowen. Rigidity underlies uniqueness results in deformation spaces that contrast with the infinite-dimensional Teichmüller space studied by Teichmüller, Ahlfors, and Bers.

Examples and counterexamples

Examples include closed hyperbolic manifolds constructed from arithmetic lattices in SO(n,1) or PSL(2,C), such as Bianchi manifolds linked to Luca Bianchi and arithmetic examples related to Hilbert modular surfaces studied by Ernst Kummer and Heinrich Weber. Counterexamples occur in dimension two where moduli spaces (Teichmüller spaces) of Riemann surfaces admit nontrivial deformations discovered by Riemann and formalized by Teichmüller, and in other flexible geometric structures such as certain complex projective structures studied by Thurston and Goldman.

Category:Rigidity theorems