On split Steinberg modules and Steinberg modules

DOI10.1007/S40062-025-00370-ZMaRDI QIDQ6984984zbMATH OpenFDO

Authors Daniel Stefan Armeanu, Jeremy Miller

Publication date 14 May 2025

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S40062-025-00370-Z

zbMATH Keywords

Dedekind domainsplit buildingSteinberg representation

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Groups with a (BN)-pair; buildings (20E42) Homology and cohomology theories in algebraic topology (55N99) Simplicial sets and complexes in algebraic topology (55U10)

Review text

Soient \(\Lambda\) un anneau de Dedekind et \(M\) un \(\Lambda\)-module projectif de type fini. Il est classique (\textit{théorème de Solomon-Tits}) que la réalisation géométrique de l'ensemble ordonné des sous-modules facteurs directs non triviaux de \(M\) a le type d'homotopie d'un bouquet de sphères; l'homologie réduite de cet espace est une représentation \(\operatorname{St}(M)\) du groupe linéaire \(\operatorname{Aut}_\Lambda(M)\) appelée \textit{représentation de Steinberg}.\N\NUne variante, importante pour l'étude de la stabilité homologique des groupes linéaires sur \(\Lambda\), a été introduite par \textit{R. Charney} [Invent. Math. 56, 1--17 (1980; Zbl 0427.18013)]; elle est obtenue en considérant l'ensemble des couples \((U,V)\) de sous-modules non triviaux de \(M\) tels que \(U\oplus V=M\), muni de l'ordre défini par \((U,V)\le (U',V')\) si \(U\subset U'\) et \(V\supset V'\). L'homologie réduite de la réalisation géométrique de cet ensemble ordonné est appelée \textit{représentation de Steinberg scindée} et notée \(\widetilde{\operatorname{St}}(M)\).\N\NL'application d'ensembles ordonnés \((U,V)\mapsto U\) induit une application linéaire \(\operatorname{Aut}_\Lambda(M)\)-équivariante \(\widetilde{\operatorname{St}}(M)\to\operatorname{St}(M)\). \textit{O. Randal-Williams} a conjecturé que cette application est surjective, et l'a montré lorsque \(M\) est de rang au plus \(4\) [``Homological stability for general linear groups over Dedekind domains, Preprint, \url{arXiv:2405.07566}, théorème 3.3 et remarque 3.4].\N\NDans le court article sur lequel porte cette recension, les auteurs établissent la conjecture en toute généralité.

Cites work

• Corners and arithmetic groups (Appendice: Arrondissement des varietes a coins par A. Douady et L. Herault)
• Homology stability for \(GL_n\) of a Dedekind domain
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• scientific article; zbMATH DE number 3552752 (Why is no real title available?)
• scientific article; zbMATH DE number 3343019 (Why is no real title available?)
• Improved homological stability for certain general linear groups
• Integrality in the Steinberg module and the top-dimensional cohomology of \(\mathrm{SL}_n \mathcal{O} _{ K }\)
• Non-integrality of some Steinberg modules
• On the edge of the stable range
• PL Morse theory.
• The codimension-one cohomology of \(\mathrm{SL}_n\mathbb{Z}\)
• The modular symbol and continued fractions in higher dimensions

This page was built for publication: On split Steinberg modules and Steinberg modules

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