Integrality in the Steinberg module and the top-dimensional cohomology of SLn OK

DOI10.1353/AJM.2019.0036zbMath1453.20043arXiv1501.01307OpenAlexW1612946182MaRDI QIDQ5236962

Benson Farb, Andrew Putman, Thomas Church

Publication date: 16 October 2019

Published in: American Journal of Mathematics (Search for Journal in Brave)

Abstract: We prove a new structural result for the spherical Tits building attached to SL_n(K) for many number fields K, and more generally for the fraction fields of many Dedekind domains O: the Steinberg module St_n(K) is generated by integral apartments if and only if the ideal class group cl(O) is trivial. We deduce this integrality by proving that the complex of partial bases of O^n is Cohen-Macaulay. We apply this to prove new vanishing and nonvanishing results for H^{vcd}(SL_n(O_K); Q), where O_K is the ring of integers in a number field and vcd is the virtual cohomological dimension of SL_n(O_K). The (non)vanishing depends on the (non)triviality of the class group of O_K. We also obtain a vanishing theorem for the cohomology H^{vcd}(SL_n(O_K); V) with twisted coefficients V.

Full work available at URL: https://arxiv.org/abs/1501.01307

Mathematics Subject Classification ID

Cohomology of groups (20J06) Buildings and the geometry of diagrams (51E24) Groups with a (BN)-pair; buildings (20E42) Cohomology theory for linear algebraic groups (20G10)

Related Items (9)

Steinberg homology, modular forms, and real quadratic fields ⋮ The Steinberg representation is irreducible ⋮ Universal complexes in toric topology ⋮ Cohomology of congruence subgroups of \(\mathrm{SL}_3(\mathbb{Z})\), Steinberg modules, and real quadratic fields ⋮ On the top-dimensional cohomology of arithmetic Chevalley groups ⋮ On the codimension-two cohomology of \(\mathrm{SL}_{n}(\mathbb{Z})\) ⋮ Eisenstein series and the top degree cohomology of arithmetic subgroups of \(\operatorname{SL}_n/\mathbb{Q} \) ⋮ Stability in the high-dimensional cohomology of congruence subgroups ⋮ The dualizing module and top-dimensional cohomology group of \(\mathrm{GL}_n(\mathcal{O})\)

This page was built for publication: Integrality in the Steinberg module and the top-dimensional cohomology of SLn OK