{"id":"arxiv/2607.08600","url":"https://arxiv.org/abs/2607.08600","tags":["math.AT","math.GT","math.NT","math.RT"],"score":0,"title":"High-degree cohomology of congruence subgroups of $\\text{SL}_n(\\mathcal{O})$ via cohomology of $S$-arithmetic groups","domain":"math.AT","source":"arxiv","authors":["Matthew Scalamandre"],"reviews":0,"subject":"math.AT","summary":"If $\\mathfrak{p}$ is a prime ideal of a number ring $\\mathcal{O}$, then the top-degree cohomology of the principal congruence subgroup of level $\\mathfrak{p}$ is naturally a representation of $\\text{SL}_n(\\mathcal{O}/\\mathfrak{p}).$ We prove that the multiplicity of the Steinberg representation in this cohomology space is one. When $\\mathcal{O}$ is Euclidean and $\\mathfrak{p}$ is suitably small -- for example a universal side divisor -- then we prove that the multiplicity of the Steinberg representation in the next-highest-degree cohomology space is zero. Our proof relies on a computation of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}