On the codimension-two cohomology of \mathrm{SL}_n(\mathbb{Z})

arXiv2204.11967MaRDI QIDQ6397448FDOQ6397448

Authors: Benjamin Brück, Jeremy Miller, Peter Patzt, Robin J. Sroka, Jennifer C. H. Wilson

Publication date: 25 April 2022

Abstract: Borel-Serre proved that

m a t h r m {S L}_{n} (m a t h b b Z)

is a virtual duality group of dimension

n c h o o s e 2

and the Steinberg module

m a t h r m {S t}_{n} (m a t h b b Q)

is its dualizing module. This module is the top-dimensional homology group of the Tits building associated to

m a t h r m {S L}_{n} (m a t h b b Q)

. We determine the "relations among the relations" of this Steinberg module. That is, we construct an explicit partial resolution of length two of the

m a t h r m {S L}_{n} (m a t h b b Z)

-module

m a t h r m {S t}_{n} (m a t h b b Q)

. We use this partial resolution to show the codimension-2 rational cohomology group

H^{n c h o o s e 2 - 2} (m a t h r m {S L}_{n} (m a t h b b Z); m a t h b b Q)

of

m a t h r m {S L}_{n} (m a t h b b Z)

vanishes for

n g e q 3

. This resolves a case of a conjecture of Church-Farb-Putman. We also produce lower bounds for the codimension-1 cohomology of certain congruence subgroups of

m a t h r m {S L}_{n} (m a t h b b Z)

.

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Cohomology of arithmetic groups (11F75) Computational methods for problems pertaining to algebraic topology (55-08)

This page was built for publication: On the codimension-two cohomology of $\mathrm{SL}_n(\mathbb{Z})$

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