{"id":"arxiv/2606.23519","url":"https://arxiv.org/abs/2606.23519","tags":["math.AT","math.NT"],"score":0,"title":"Codimensions one and two cohomology of Hecke congruence subgroups","domain":"math.AT","source":"arxiv","authors":["Tatiana Abdelnaim","Jeremy Miller"],"reviews":0,"subject":"math.AT","summary":"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$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}