Codimensions one and two cohomology of Hecke congruence subgroups
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$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.23519
curl -X POST /api/v1/records/arxiv/2606.23519/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.23519/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'