Hostname: page-component-848d4c4894-p2v8j Total loading time: 0 Render date: 2024-06-11T16:43:24.211Z Has data issue: false hasContentIssue false

ABELIAN CYCLES IN THE HOMOLOGY OF THE TORELLI GROUP

Published online by Cambridge University Press:  18 October 2021

Erik Lindell*
Affiliation:
Stockholm University, Roslagsvägen 101, Kräftriket 5-6, Matematik, 106 91, Stockholm, Sweden.

Abstract

In the early 1980s, Johnson defined a homomorphism $\mathcal {I}_{g}^1\to \bigwedge ^3 H_1\left (S_{g},\mathbb {Z}\right )$ , 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\left (\mathcal {I}_{g}^1,\mathbb {Q}\right )$ 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\left (\mathcal {I}_{g,1}\right )$ for $n\ge 2$ and g large enough.

Type
Research Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Church, T. and Farb, B., Parameterized Abel-Jacobi maps and abelian cycles in the Torelli group, J. Topol. 5(1) (2012), 1538.CrossRefGoogle Scholar
Church, T., Ellenberg, J. S. and Farb, B., FI-modules and stability for representations of symmetric groups, Duke Math. J. 164(9) (2015), 18331910.CrossRefGoogle Scholar
Farb, B. and Margalit, D., A Primer on Mapping Class Groups, Princeton Mathematical Series, 49 (Princeton University Press, Princeton, NJ, 2012).Google Scholar
Fulton, W. and Harris, J., Representation Theory, Graduate Texts in Mathematics, 129 (Springer-Verlag, New York, 1991).Google Scholar
Gaifullin, A. A., ‘On infinitely generated homology of Torelli groups’, Preprint, 2018, arXiv:1803.09311.Google Scholar
Hain, R., Infinitesimal presentations of the Torelli groups, J. Amer. Math. Soc. 10(3) (1997), 597651.CrossRefGoogle Scholar
Johnson, D., A survey of the Torelli group, in Low-Dimensional Topology (San Francisco, Calif., 1981), Contemporary Mathematics, 20, pp. 165179 (American Mathematical Society, Providence, RI, 1983).CrossRefGoogle Scholar
Johnson, D., An abelian quotient of the mapping class group, Math. Ann. 249(3) (1980), 225242.CrossRefGoogle Scholar
Johnson, D., The structure of the Torelli group. I. A finite set of generators for $\mathbf{\mathcal{I}}$ , Ann. of Math. (2) 118(3) (1983), 423442.CrossRefGoogle Scholar
Kawazumi, N. and Morita, S., The primary approximation to the cohomology of the moduli space of curves and cocycles for the stable characteristic classes, Math. Res. Lett. 3(5) (1996), 629641.CrossRefGoogle Scholar
Kupers, A. and Randal-Williams, O., On the cohomology of Torelli groups, Forum Math. Pi 8 (2020), e7.CrossRefGoogle Scholar
Mess, G., The Torelli groups for genus 2 and 3 surfaces, Topology 31(4) (1992), 775790.CrossRefGoogle Scholar
Morita, S., The extension of Johnson’s homomorphism from the Torelli group to the mapping class group, Invent. Math. 111(1) (1993), 197224.CrossRefGoogle Scholar
Sakasai, T., The Johnson homomorphism and the third rational cohomology group of the Torelli group, Topology Appl. 148(1-3) (2005), 83111.CrossRefGoogle Scholar