Codimensions one and two cohomology of Hecke congruence subgroups

Abstract

For $n\geq 1$ and $p$ a prime, the Hecke congruence subgroup $Γ_{0,n}(p)\leq \mathrm{SL}_n(\mathbb{Z})$ is the subgroup of matrices whose first column is of the form $(*,0,\dots,0)^t\bmod p$. Borel--Serre showed that $Γ_{0,n}(p)$ has virtual cohomological dimension $\binom{n}{2}$. The first author proved that the rational cohomology in this top degree $\binom{n}{2}$ vanishes for $n$ sufficiently large compared to $p$. We prove analogous results in codimension $1$ and $2$.