superrigidity theorem

superrigidity theorem Superrigidity theorems assert that homomorphisms or cocycles from discrete subgroups (lattices) of certain Lie groups into other algebraic groups are, up to finite factors, induced by homomorphisms of the ambient Lie group itself. These results, originating in the work of Grigory Margulis and extended by Robert Zimmer, underpin major classifications like the Margulis arithmeticity theorem and connect with rigidity phenomena such as Mostow rigidity and the Kazhdan's property (T) framework.

Statement

Margulis's original superrigidity theorem considers an irreducible lattice Γ in a higher-rank, center-free, noncompact semisimple Lie group G with no compact factors, for instance SL(3,R), Sp(2n,R), or SO(p,q) with suitable parameters. Given a homomorphism ρ: Γ → H into an algebraic group H over a local field (e.g. GL(n,R), GL(n,C), GL(n,Q_p)), Margulis shows that, under natural hypotheses (e.g. Zariski density of ρ(Γ) or nonprecompact image), ρ virtually extends to a continuous homomorphism of G into H, possibly after composing with projection onto a factor and modulo a compact subgroup. Variants include Zimmer's cocycle superrigidity for measurable cocycles over ergodic actions of Γ or G on probability spaces, asserting that measurable cocycles are cohomologous to algebraic cocycles coming from homomorphisms of G or from actions of algebraic groups such as SL(2,Z), Sp(2n,Z), or SO(n,1). Many formulations require hypotheses involving Property (T), ergodic actions of groups like SL(n,Z), and algebraic structure of target groups such as GL(n,Q_p).

Historical context and motivation

The superrigidity program arose from attempts to generalize the pioneering rigidity results of Herbert Mostow, whose Mostow rigidity for hyperbolic manifolds and lattices in rank-one Lie groups (e.g. SO(n,1), SU(n,1)) showed that isomorphisms of fundamental groups come from isometries of associated symmetric spaces. Grigory Margulis introduced superrigidity in the 1970s while studying discrete subgroups of higher-rank groups such as SL(n,R), building on earlier work of George Mostow and influenced by developments in Ergodic theory by Marina Ratner and others. The motivation included classification of lattices, the Margulis arithmeticity theorem showing arithmeticity of many lattices in higher-rank groups, and applications to classification problems in topology and dynamics involving manifolds modeled on symmetric spaces like those for SO(n,1) and SL(n,R).

Proof ideas and techniques

Proofs combine tools from representation theory of Lie groups, harmonic analysis on symmetric spaces like those for SL(n,R), and ergodic theory of group actions pioneered by figures such as Hillel Furstenberg and Yakov Sinai. A key ingredient is the study of boundary maps from a Poisson or Furstenberg boundary of G (e.g. flag varieties associated to SL(n,R)) to homogeneous spaces of the target algebraic group H; such boundary maps arise via amenability techniques of Furstenberg and use properties like proximality and Zariski density. Another central tool is cocycle reduction and Zimmer's measurable selection methods in the setting of ergodic actions of lattices on probability spaces, invoking superergodicity and the use of cocycle cohomology. Representation-theoretic constraints, including use of Kazhdan's property (T), nonexistence of almost invariant vectors, and analysis of invariant measurable structures, force algebraicity of the boundary maps and thereby extension of homomorphisms from Γ to G. Margulis's original proof exploited arithmeticity and reduction theory in groups like SL(n,Z), while later proofs streamlined arguments using Ratner-type measure classification and structural results for algebraic groups such as Borel subgroups and parabolic subgroup geometry.

Variants and generalizations

Beyond Margulis's superrigidity for higher-rank lattices, Zimmer developed cocycle superrigidity for actions of higher-rank lattices and groups like SL(n,Z), with consequences for measured group theory and classification of group actions on manifolds, connecting to conjectures by Robert Zimmer about actions of higher-rank lattices on low-dimensional manifolds. Extensions include arithmetic superrigidity for lattices in products of groups (e.g. G_1 × G_2), local-field valued superrigidity into groups like GL(n,Q_p), and boundary and measurable rigidity results applied to groups with Kazhdan's property (T) such as Sp(n,1). Further generalizations involve relative superrigidity in the presence of normal subgroups, Zimmer’s program linking to the Zimmer conjecture proved in special cases by teams including Aaron Brown, Sebastian Hurtado, and David Fisher, and statements for nonuniform lattices in groups like SO(n,1) under additional hypotheses by researchers following Margulis.

Applications and consequences

Superrigidity underlies the celebrated Margulis arithmeticity theorem which classifies many irreducible lattices as arithmetic subgroups of algebraic groups like SL(n,Z), Sp(2n,Z), and SO(p,q;Z). It has influenced rigidity phenomena in geometry via Mostow rigidity and in dynamics via classification of invariant measures in works by Marina Ratner and orbit closure results. Zimmer's cocycle superrigidity yields constraints on measurable actions of lattices such as those by SL(n,Z) on compact manifolds and informs the solution of instances of the Zimmer conjecture by teams including A. Brown, D. Fisher, and S. Hurtado. Consequences reach into number theory through relations with adelic structures and arithmetic groups, into topology via classification of locally symmetric spaces associated to groups like SO(n,1), and into operator algebras and measured group theory with applications to von Neumann algebras associated to lattices in groups such as SL(2,R) and Sp(2n,R).

Category:Mathematical theorems