On the Steinberg module of Chevalley groups.

DOI10.1007/S00229-004-0524-3MaRDI QIDQ1772062zbMATH OpenOpenAlexFDO

Authors Árpád Tóth

Publication date 15 April 2005

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00229-004-0524-3

zbMATH Keywords

cyclic modulesgroup ringsmodular symbolssimple Chevalley groupsSteinberg modulesTits buildings

Mathematics Subject Classification ID

Cohomology of arithmetic groups (11F75) Representation theory for linear algebraic groups (20G05) Cohomology theory for linear algebraic groups (20G10) Linear algebraic groups over global fields and their integers (20G30)

Review text

Let \(G\) be a simple Chevalley group with root system \(\Phi\). If \(K\) is a field, then the Steinberg module \(S_K\) for \(G(K)\) is the top homology of the Tits building \(T_K\). It contains important cohomological information. By the Solomon-Tits theorem \(S\) is a cyclic module for the group ring \(K[G(K)]\). Now suppose \(\mathcal D\) is a Euclidean domain with field of fractions \(K\). It is then of interest to know that \(S_K\) is also cyclic as a \(K[G(\mathcal D)]\)-module. This has been shown by Ash and Rudolph for \(G=PSL_n\) and by Gunnells for the symplectic case. See \textit{A. Ash} and \textit{L. Rudolph} [Invent. Math. 55, 241-250 (1979; Zbl 0426.10023)] and \textit{P. E. Gunnells} [Duke Math. J. 102, No. 2, 329-350 (2000; Zbl 0988.11023)]. The author now gives new proofs, valid for all \(A\), \(B\), \(C\), \(D\) types and also for types \(E_6\), \(E_7\). What these types have in common is that there is a maximal parabolic subgroup with Abelian unipotent radical. First one needs a completely new presentation of \(S_K\) as a \(K[G(K)]\)-module. This presentation involves only \(SL_2\) relations and works for any \(\Phi\). To get to the main result requires extensive `word processing'. A representative in \(K[G(K)]\) of an element of \(S_K\) is modified repeatedly until it lies in \(K[G(\mathcal D)]\). Although this word processing is guided by the Euclidean norm amongst other things, the method probably extends to cases where \(\mathcal D\) is only a UFD.

Recommendations

• The Steinberg module and the cohomology of arithmetic groups
• On the structure of parabolic subgroups
• Steinberg characters for Chevalley groups over finite local rings.
• Another presentation for symplectic Steinberg groups
• scientific article; zbMATH DE number 2183403
• scientific article; zbMATH DE number 4190027
• Group actions on twin buildings
• scientific article; zbMATH DE number 4075389
• Flag-transitive subgroups of Chevalley groups with Abelian stabilizers
• On the homological construction of the Steinberg representation

Cites work

• A Note on Minimal Modular Symbols
• Cohomology of congruence subgroups of \(\text{SL}_4(\mathbb Z)\)
• Computing Heeke Eigenvalues Below the Cohomologieal Dimension
• Corners and arithmetic groups (Appendice: Arrondissement des varietes a coins par A. Douady et L. Herault)
• Experimental Indications of Three-dimensional Galois Representations from the Cohomology of SL(3, Z)
• Finiteness of minimal modular symbols for \(SL_n\)
• Groups with homological duality generalizing Poincaré duality
• Hecke operators and \({\mathbb Q}\)-groups associated to self-adjoint homogeneous cones.
• scientific article; zbMATH DE number 4190027 (Why is no real title available?)
• scientific article; zbMATH DE number 3699132 (Why is no real title available?)
• scientific article; zbMATH DE number 716515 (Why is no real title available?)
• scientific article; zbMATH DE number 5793093 (Why is no real title available?)
• scientific article; zbMATH DE number 3384173 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• Modular symbols for \(\mathbb{Q}\)-rank one groups and Voronoĭ reduction
• On some Bruhat decomposition and the structure of the Hecke rings of \(p\)-adic Chevalley groups
• On the homology and cohomology of congruence subgroups
• On the Homology of Congruence Subgroups and K ₃ (Z)
• On the torsion in \(K_4(\mathbb{Z})\) and \(K_5(\mathbb{Z})\)
• Parabolic subgroups with Abelian unipotent radical
• Prime Power Representations Of Finite Linear Groups
• Reductive groups over a local field
• Sur certains groupes simples
• Sur les groupes de Chevalley
• Symplectic modular symbols
• The group \(K_3(Z)\) is cyclic of order forty-eight
• The modular symbol and continued fractions in higher dimensions
• The Steinberg module and the cohomology of arithmetic groups
• Variational properties of steady fall in Stokes flow

Cited in

(7)

• The Steinberg module of a graph
• Steinberg characters for Chevalley groups over finite local rings.
• Divisibility of Projective Modules of Finite Chevalley Groups by the Steinberg Module
• The 2-Modular Reduction of the Steinberg Representation of a Finite Chevalley Group of Type C n
• On the generalized Bykovskiĭ presentation of Steinberg modules
• On the top-dimensional cohomology of arithmetic Chevalley groups
• Top-degree rational cohomology in the symplectic group of a number ring

This page was built for publication: On the Steinberg module of Chevalley groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1772062)