Margulis superrigidity

Margulis superrigidity
Name	Margulis superrigidity
Field	Ergodic theory, Lie group theory, Representation theory
Introduced	1970s
Creators	Grigory Margulis
Statement	Rigidity of linear representations of lattices in higher-rank simple Lie groups

Margulis superrigidity Margulis superrigidity is a central rigidity theorem about linear representations of lattices in higher-rank simple Lie groups, establishing that many homomorphisms from such lattices into linear groups extend to homomorphisms of the ambient Lie group. It sits at the crossroads of Ergodic theory, Lie group theory, Representation theory, and Arithmetic groups, with deep ties to the Mostow rigidity theorem, the Borel density theorem, and the Margulis arithmeticity theorem.

Introduction

The theorem concerns irreducible lattices in higher-rank simple Lie groups such as SL(n, R), Sp(2n, R), and certain real forms of E_8, linking discrete subgroups that arise from arithmetic constructions like SL(n, Z), SO(p,q; Z), and Sp(2n, Z) to algebraic and arithmetic structure in groups such as GL(m, C), GL(m, R), and GL(m, Q_p). It relies on tools developed by figures including Marcel Riesz, I. M. Gelfand, Hillel Furstenberg, George Mostow, Armand Borel, Harish-Chandra, Calderón, and Kazhdan, and it underpins subsequent results by Borel, Tits, Weil, Zimmer, Margulis, and Gromov.

Statement of the theorem

Roughly, for an irreducible lattice Γ in a connected higher-rank simple real Lie group G with finite center, any linear representation ρ: Γ → GL(n, K) (for a local field K such as R, C, or Q_p) either has relatively compact image or virtually extends to a continuous homomorphism of G into an algebraic group over K. The precise formulation invokes algebraic envelopes, Zariski closures, and conditions paralleling the Borel density theorem and Kazhdan's property (T), and often assumes G has rank at least two as in examples SL(3, R), SL(2, R), and excludes rank-one cases exemplified by SO(n,1) and SU(n,1).

Historical context and motivation

Motivation derived from rigidity phenomena exemplified by Mostow rigidity theorem for locally symmetric spaces and by the Borel density theorem for lattices. Early ergodic approaches were shaped by Furstenberg’s boundary theory and by superrigidity antecedents in the work of Selberg on arithmeticity of SL(2, Z). Margulis’s breakthrough in the 1970s, building on contributions from Kazhdan on property (T), provided the missing link between representation-theoretic constraints and arithmeticity results that culminated in the Margulis arithmeticity theorem. Influential contemporaries and students include Yakov Sinai, Robert Zimmer, David Ruelle, William Thurston, Pierre Deligne, Jean-Pierre Serre, Alexander Lubotzky, G. A. Margulis (Grigory Margulis), and Morris Newman.

Outline of proof and key ideas

Key inputs: ergodic theoretic boundary maps from Furstenberg boundaries, invariant measures on homogeneous spaces like G/Γ and K\G, and analysis of cocycles as in Zimmer cocycle superrigidity. The proof constructs measurable equivariant maps into projective spaces or flag varieties associated to algebraic groups such as PGL(n, R), then uses algebraic closure and superharmonicity techniques influenced by Harish-Chandra and structural results of Borel and Tits. Techniques borrow from harmonic analysis on symmetric spaces studied by E. Cartan and Élie Cartan, dynamics of unipotent flows developed by Marina Ratner, and structural classification via Dynkin diagrams and Cartan subalgebras. The argument frequently invokes the Howe–Moore theorem on decay of matrix coefficients, the Borel–Tits theorem on homomorphisms of algebraic groups, and sometimes Kazhdan’s property (T) for spectral gap estimates.

Applications and consequences

Margulis superrigidity implies the Margulis arithmeticity theorem that many irreducible lattices in higher-rank simple Lie groups are arithmetic, impacting classification of manifolds modeled on symmetric spaces like those arising from SO(p,q), SL(n,R), and Sp(2n,R). It has been applied to rigidity questions for locally symmetric spaces studied by Mostow and Prasad, influenced classification results of Gromov on groups of polynomial growth, and informed cocycle rigidity theorems by Zimmer relevant to measurable dynamics and measured group theory as investigated by Lewis Bowen and Alex Furman. Consequences reach into structural theorems for automorphism groups of Trees and buildings developed by Jacques Tits, and into expander constructions tied to Lubotzky–Phillips–Sarnak and Margulis.

Extensions and generalizations

Generalizations include cocycle superrigidity theorems by Robert Zimmer linking measurable cocycles for actions of higher-rank lattices to algebraic data, extensions to p-adic and S-arithmetic settings treated by Tomanov and Weisfeiler, and analogues for groups with property (T) developed by Bader, Furman, and Gelander. Work by Burger and Monod extended rigidity to bounded cohomology settings, while Benoist and Quint studied stationary measures and random walk analogues. Recent developments connect to the theory of Anosov representations studied by Labourie, Guichard, and Wienhard, and to superrigidity for actions on CAT(0) spaces by Caprace and Sageev.

Examples and counterexamples

Typical positive examples: lattices Γ = SL(n, Z) in G = SL(n, R) for n ≥ 3 satisfy the theorem and lead to arithmeticity results by Margulis and structural rigidity as in work of Stuck and Zimmer. Counterexamples in rank-one settings include lattices in SO(n,1) and SU(n,1), where phenomena like nonarithmetic lattices constructed by Gromov and Piatetski-Shapiro and flexible deformation spaces appearing in Teichmüller theory show superrigidity can fail; these are studied in the contexts of Kleinian groups, Fuchsian groups, and the deformation theory of hyperbolic manifolds investigated by Thurston and Sullivan.

Category:Mathematical theorems