This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| S-arithmetic groups | |
|---|---|
| Name | S-arithmetic groups |
| Type | Arithmetic subgroup |
S-arithmetic groups are discrete subgroups arising from algebraic groups over global fields and their rings of S-integers. They generalize arithmetic subgroups associated to Évariste Galois-related number fields and link classical objects such as GL_n-type lattices, Dedekind arithmetic, and Adèle-based constructions. These groups play central roles in the work of Carl Ludwig Siegel, Armand Borel, Goro Shimura, and Grigory Margulis and connect to rigidity results of Mostow and Margulis as well as to reduction theory pioneered by Minkowski and Borel–Harish-Chandra.
An S-arithmetic group is formed from a linear algebraic group defined over a number field or global function field such as Q, a quadratic field like Q(√2), or a function field like F_q(t), together with a finite set S of places including all archimedean places like those of R or C. Typical examples include the groups obtained from SL_n over rings of S-integers such as SL_2(Z[1/p]), GL_n(O_K[S^{-1}), and unit groups of orders in quaternion algebras studied by Hamilton and Eichler. Other concrete instances arise from orthogonal groups attached to quadratic forms used by Gauss and Lagrange and from symplectic groups appearing in the theory of Siegel modular forms developed by Igor Shafarevich and Hermann Weyl.
Start with a connected linear algebraic group G defined over a global field K such as Q or a number field like Hilbert class field extensions. Choose a finite set S of places containing all archimedean places such as the real place and complex embeddings studied by Dedekind and Hecke. The ring of S-integers O_{K,S}, generalizing Z and rings like Z[1/p], produces the subgroup G(O_{K,S}) inside G(K). Classical constructions employ the adelic framework of John Tate and Chevalley to view S-arithmetic groups as projections of compact-open subgroups of G(A_f) modulo G(K), a perspective used by Bruhat–Tits theory and in the work of Weil and Langlands.
S-arithmetic groups inherit structural features from algebraic groups studied by Chevalley, Borel, and Tits. For reductive groups like SL_n, Sp_{2n}, and SO_n, properties such as Zariski-density, unipotent radicals considered by Kolchin, and Levi decompositions described by Levi control subgroup structure. Arithmetic invariants including class group aspects of O_{K,S}, local behavior at places connected to Hensel and Ostrowski valuations, and cohomological data from Galois cohomology governed by Shafarevich and Tate influence finite generation, torsion, and congruence phenomena analyzed by Serre and Weissauer.
Reduction theory for S-arithmetic groups generalizes Minkowski's lattice reduction and the Siegel domain approach developed by Borel and Harish-Chandra. For groups like SL_n(Z), fundamental domains and cusp decompositions akin to those used for modular groups enable proofs of finite covolume and finite generation results attributed to Borel–Harish-Chandra and refinements by Tamagawa. Techniques exploit symmetric space geometry from Cartan and Bruhat–Tits buildings introduced by Bruhat and Tits to deduce finite presentation for S-arithmetic lattices under hypotheses due to Grunewald and Platonov–Rapinchuk.
Superrigidity and arithmeticity theorems of Margulis and the geometric rigidity of Mostow apply to many higher-rank S-arithmetic groups. For lattices in higher-rank groups such as SL_n(R) with n≥3, Margulis superrigidity and the Zimmer program constrain homomorphisms and actions, linking to ergodic rigidity results pioneered by Furstenberg and measure classification by Ratner. These results yield arithmeticity criteria showing that many irreducible lattices arise from algebraic constructions over number fields as studied by Borel and Prasad.
The congruence subgroup problem, formulated by Bass–Milnor–Serre and developed by Serre, asks whether every finite-index subgroup of an S-arithmetic group contains a congruence subgroup defined via ideals of O_{K,S}. Connections to profinite completions, the congruence kernel, and work of Platonov, Rapinchuk, and Lubotzky relate to Galois representations studied by Grothendieck and Deligne. Results vary by group and field: positive answers occur for many classical groups studied by Bass and Milnor, while exotic counterexamples relate to deep cohomological obstructions explored by Raghunathan and Prasad–Rapinchuk.
S-arithmetic groups furnish lattices producing locally symmetric spaces studied by Borel–Wallach and Helgason; examples include arithmetic hyperbolic manifolds connected to Kleinian group theory of Ahlfors and Thurston and arithmetic locally symmetric varieties appearing in the work of Deligne and Mumford. They underpin the construction of arithmetic groups acting on Bruhat–Tits buildings used in Drinfeld's uniformization, the study of automorphic forms in the Langlands program, and explicit class field theory examples following Artin and Tate. S-arithmetic groups also provide testing grounds for growth questions related to Zaremba and Ellenberg–Venkatesh and for expander graphs studied by Lubotzky–Phillips–Sarnak.