pith. sign in

arxiv: 2510.25728 · v2 · pith:N4SGJL5Znew · submitted 2025-10-29 · 🧮 math.GT · math.GR

On torsion in the homology of the Torelli group

classification 🧮 math.GT math.GR
keywords groupmathcalabelianclassclosedhomologymappingmathbb
0
0 comments X
read the original abstract

Let $S_g$ be a closed, oriented surface of genus $g$, and let $\operatorname{Mod}(S_g)$ denote its mapping class group. The Torelli group $\mathcal{I}_g$ is the subgroup of $\operatorname{Mod}(S_g)$ consisting of mapping classes that act trivially on $H_1(S_g)$. For any collection of pairwise disjoint, separating simple closed curves on $S_g$, the corresponding Dehn twists pairwise commute and determine a homology class in $H_k(\mathcal{I}_g)$, which is called an abelian cycle. We prove that the subgroup of $H_k(\mathcal{I}_g)$ generated by such abelian cycles is a $\mathbb{Z}/2\mathbb{Z}$-vector space for all $k$, and that it is finite-dimensional for $k = 2$ and $g \geq 4$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Finite generation, algebraicity, and representation stability for homology of Torelli groups

    math.GT 2026-06 unverdicted novelty 8.0

    Proves finite generation of H_k(I_g; Z) for k ≤ g-2 and that rational homology is an algebraic Sp(2g,Z)-representation, turning conditional cohomology computations into theorems and proving Morita's conjecture.