Abelian Cycles in the Homology of the Torelli group

Abstract

In the early 1980's, Johnson defined a homomorphism $\mathcal{I}_{g}^1\to\bigwedge^3 H_1(S_{g},\mathbb{Z})$, where $\mathcal{I}_{g}^1$ is the Torelli group of a closed, connected and oriented surface of genus $g$ with a boundary component and $S_g$ is the corresponding surface without a boundary component. This is known as the Johnson homomorphism. We study the map induced by the Johnson homomorphism on rational homology groups and apply it to abelian cycles determined by disjoint bounding pair maps, in order to compute a large quotient of $H_n(\mathcal{I}_{g}^1,\mathbb{Q})$ in the stable range. This also implies an analogous result for the stable rational homology of the Torelli group $\mathcal{I}_{g,1}$ of a surface with a marked point instead of a boundary component. Further, we investigate how much of the image of this map is generated by images of such cycles and use this to prove that in the pointed case, they generate a proper subrepresentation of $H_n(\mathcal{I}_{g,1})$ for $n\ge 2$ and $g$ large enough.