{"id":"arxiv/2605.23526","url":"https://arxiv.org/abs/2605.23526","tags":["math.AT","math.NT"],"score":0,"title":"Top-dimensional rational cohomology of the congruence subgroup $Γ_{0,n}^+(p)$","domain":"math.AT","source":"arxiv","authors":["Tatiana Abdelnaim"],"reviews":0,"subject":"math.AT","summary":"Let $Γ_{0,n}^+(p)\\subset \\mathrm{SL}_n(\\mathbb{Z})$ be the congruence subgroup of level-$p$ whose first column is of the form $(*,0,\\dots,0)^t\\bmod p$. We prove that the top-dimensional cohomology group $H^{\\binom{n}{2}}(Γ_{0,n}^+(p);\\mathbb{Q})$ vanishes for $p\\in\\{2,3,5,7,13\\}$ if $n \\geq 3$, as well as for $p \\leq 6n-14$. Additionally, we prove a non-vanishing result, showing that this cohomology group is nonzero for $n = 2$ for every prime $p$, and for $n=3$ for all primes $p \\notin \\{2,3,5,7,13\\}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-22","reactions":{}}