{"id":"arxiv/2606.13517","url":"https://arxiv.org/abs/2606.13517","tags":["math.GT","math.AT","math.GR","math.RT"],"score":0,"title":"Finite generation, algebraicity, and representation stability for homology of Torelli groups","domain":"math.GT","source":"arxiv","authors":["Alexander A. Gaifullin"],"reviews":0,"subject":"math.GT","summary":"We solve a long-standing problem of whether the homology groups of the Torelli subgroups $\\mathcal{I}_g\\le\\mathrm{Mod}_g$ are finitely generated in stable range. Namely, we prove that the group $H_k(\\mathcal{I}_g;\\mathbb{Z})$ is finitely generated, provided that $k\\le g-2$. Two main ingredients of our approach are as follows. First, we show that the action of any symplectic transvection $t_x\\in\\mathrm{Sp}_{2g}(\\mathbb{Z})$ on the homology of $\\mathcal{I}_g$ satisfies the following unipotency condition: $(t_x-1)^{k+1}H_k( \\mathcal{I}_g;\\mathbb{Z})=0$. The proof of this fact relies on the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-11","reactions":{}}