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

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

Publication date 25 April 2022

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

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)

.

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)