On the codimension-two cohomology of $\mathrm{SL}_n(\mathbb{Z})$
Abstract
Borel-Serre proved that $\mathrm{SL}_n(\mathbb{Z})$ is a virtual duality group of dimension $n \choose 2$ and the Steinberg module $\mathrm{St}_n(\mathbb{Q})$ is its dualizing module. This module is the top-dimensional homology group of the Tits building associated to $\mathrm{SL}_n(\mathbb{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 $\mathrm{SL}_n(\mathbb{Z})$-module $\mathrm{St}_n(\mathbb{Q})$. We use this partial resolution to show the codimension-2 rational cohomology group $H^{{n \choose 2} -2}(\mathrm{SL}_n(\mathbb{Z});\mathbb{Q})$ of $\mathrm{SL}_n(\mathbb{Z})$ vanishes for $n \geq 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 $\mathrm{SL}_n(\mathbb{Z})$.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.11967
- arXiv:
- arXiv:2204.11967
- Bibcode:
- 2022arXiv220411967B
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Group Theory;
- Mathematics - Geometric Topology;
- Mathematics - Number Theory;
- 11F75;
- 55U10;
- 55-08
- E-Print:
- 69 pages, 13 figures