arithmeticity theorem

arithmeticity theorem

The arithmeticity theorem asserts that certain lattices in semisimple Lie groups arise from arithmetic constructions linked to algebraic groups over number fields. It connects ideas from Grigory Margulis, André Weil, Armand Borel, Harish-Chandra, John Milnor and ties techniques from Ergodic theory, Algebraic number theory, Lie group theory and Representation theory, yielding deep consequences for Rigidity (mathematics), Hyperbolic geometry, Automorphic forms and Locally symmetric spaces.

Statement of the theorem

The theorem, proved by Grigory Margulis in the 1970s, states that irreducible lattices in higher-rank semisimple Lie groups are commensurable with arithmetic subgroups arising from algebraic groups over number fields. Margulis framed the result for groups such as SL(n, R), Sp(n, R), SO(p,q), linking them to arithmetic constructions from GL(n), Chevalley groups, Algebraic groups and Adelic groups. The statement is often formulated together with the superrigidity theorem and uses notions introduced by Armand Borel, Harish-Chandra, André Weil and Claude Chevalley to characterize lattices up to commensurability with S-arithmetic group constructions.

Historical context and development

The development traces through mid-20th century advances by A.M. Vinogradov, Hermann Weyl, Elie Cartan, Harish-Chandra and Armand Borel on structure and classification of Lie groups and algebraic groups. Early rigidity notions appeared in work of Mostow, whose Mostow rigidity theorem for locally symmetric spaces influenced Margulis; antecedents include Felix Klein and Henri Poincaré on discrete groups and Kleinian group studies. Margulis combined ideas from Ergodic theory as developed by George D. Birkhoff, Yakov Sinai and Marcel Riesz with arithmetic insights from Emil Artin, Helmut Hasse and Alexander Grothendieck to produce the definitive proof; subsequent refinements involved G.A. Margulis collaborators and researchers such as Gregory A. Margulis (students), David Kazhdan, Robert Langlands and Gopal Prasad.

Key examples and applications

Classic examples include arithmetic lattices in SL(2, Z), SL(n, Z), Sp(2g, Z), and lattices arising from quaternion algebras over number fields that give cocompact examples in SO(n,1). Applications span classification results for locally symmetric manifolds studied by William Thurston, Michael Gromov and Yves Benoist; consequences in the theory of Automorphic forms relate to work of Robert Langlands and James Arthur. In geometric topology, consequences inform rigidity phenomena for manifolds studied by Dennis Sullivan, Grigori Perelman and Richard Hamilton; in arithmetic geometry the theorem influences structures explored by Pierre Deligne and Gerd Faltings.

Sketch of proof and methods

Margulis proved arithmeticity by combining his superrigidity theorem with reduction theory from Armand Borel and ergodic methods rooted in George D. Birkhoff and Anatole Katok. The proof uses analysis on homogeneous spaces tied to Ergodic theory and mixing properties developed by Yakov Sinai, spectral techniques from Atle Selberg and representation-theoretic inputs shaped by Harish-Chandra and David Kazhdan. Key steps include establishing superrigidity for linear representations, applying reduction theory for S-arithmetic groups, constructing algebraic envelopes via ideas related to André Weil and identifying commensurability classes using adelic methods linked to John Tate.

Related results and generalizations

Related theorems include Mostow rigidity theorem, Margulis's superrigidity theorem, and classification results for rank-one lattices where exceptions occur as in Fuchsian group and Kleinian group settings. Generalizations consider S-arithmetic lattices studied by Armand Borel and Gopal Prasad, non-linear analogues explored by Boris Farb and Tadeusz Januszkiewicz, and p-adic analogues connected to Bruhat–Tits building theory developed by François Bruhat and Jacques Tits. Ongoing work relates arithmeticity to conjectures and structures in the programs of Robert Langlands, Curtis T. McMullen and researchers in Geometric group theory such as Mikhael Gromov and Cornelia Druţu.

Category:Theorems in number theory