{"id":"arxiv/2608.17763","url":"https://arxiv.org/abs/2608.17763","tags":["math.KT"],"score":0,"title":"On the abelianization of congruence subgroups of $\\mathrm{SL}_2$ over $S$-integers","domain":"math.KT","source":"arxiv","authors":["Pedro H. Amorim","Isadora V. Picinini","Bruno R. Ramos","Thiago Verissimo"],"reviews":0,"subject":"math.KT","summary":"In this work, we compute the first integral homology, or abelianization, of the congruence subgroups $Γ(A, \\mathfrak{m}_A), Γ_1(A, \\mathfrak{m}_A)$, and $Γ_0(A, \\mathfrak{m}_A)$ for a local ring $A$ with maximal ideal $\\mathfrak{m}_A$, showing that $H_1(Γ(A, \\mathfrak{m}_A), \\mathbb{Z})$ is isomorphic to the additive group of $\\mathfrak{sl}_2(\\mathfrak{m}_A/\\mathfrak{m}_A^2)$. We then use these results to determine the structure of the groups $H_1(Γ(\\mathcal{O}_{K, S}, \\mathfrak{p}), \\mathbb{Z})$, $H_1(Γ_1(\\mathcal{O}_{K, S}, \\mathfrak{p}), \\mathbb{Z})$ and $H_1(Γ_0(\\mathcal{O}_{K, S},…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-18","reactions":{}}