Abstract
For \(g>3\), we give two proofs of the fact that the Birman exact sequence for the Torelli group
does not split. This result was claimed by Mess (Unit tangent bundle subgroups of the mapping class groups, MSRI Pre-print, 1990), but his proof has a critical and unrepairable error which will be discussed in the introduction. Let \({\mathcal U\mathcal I}_{g,n}\xrightarrow {Tu'_{g,n}} {\mathcal B} {\mathcal I}_{g,n}\) (resp. \({\mathcal U}{\mathcal P}{\mathcal I}_{g,n}\xrightarrow {Tu_{g,n}}{\mathcal B}{\mathcal P}{\mathcal I}_{g,n}\)) denote the universal surface bundle over the Torelli space fixing n points as a set (resp. pointwise). We also deduce that \(Tu'_{g,n}\) has no sections when \(n>1\) and that \(Tu_{g,n}\) has precisely n distinct sections for \(n\ge 0\) up to homotopy.
Similar content being viewed by others
References
Birman, J., Lubotzky, A., McCarthy, J.: Abelian and solvable subgroups of the mapping class groups. Duke Math. J. 50(4), 1107–1120 (1983)
Brown, K.: Cohomology of Groups, Volume 87 of Graduate Texts in Mathematics. Springer, New York (1994). (Corrected reprint of the 1982 original)
Chen, L.: Section problems for configuration spaces of surfaces. Pre-print. https://arxiv.org/abs/1708.07921 (2017)
Chen, L.: The universal n-pointed surface bundle only has n sections. J. Topol. Anal. (2017). https://doi.org/10.1142/S1793525319500134
Chen, L., Salter, N.: The Birman exact sequence does not virtually split. Pre-print. https://arxiv.org/abs/1804.11235 (2018)
Fathi, A., Laudenbach, F., Poénaru, V.: Thurston’s Work on Surfaces, Volume 48 of Mathematical Notes. Princeton University Press, Princeton (2012). (Translated from the 1979 French original by Djun M. Kim and Dan Margalit)
Farb, B., Margalit, D.: A Primer on Mapping Class Groups. Princeton Mathematical Series, vol. 49. Princeton University Press, Princeton (2012)
Handel, M., Thurston, W.P.: New proofs of some results of Nielsen. Adv. Math. 56(2), 173–191 (1985)
Johnson, D.: An abelian quotient of the mapping class group \({\cal{I}}_{g}\). Math. Ann. 249(3), 225–242 (1980)
Johnson, D.: The structure of the Torelli group. I. A finite set of generators for \({\cal{I}}\). Ann. Math. (2) 118(3), 423–442 (1983a)
Johnson, D.: A survey of the Torelli group. In: Ddd, V. (ed.) Low-Dimensional Topology (San Francisco, Calif., 1981), Volume 20 of Contemp. Math., pp. 165–179. Amer. Math. Soc., Providence (1983b)
McCarthy, J.D.: Normalizers and centralizers of pseudo-Anosov mapping classes. Pre-print (1982)
Mess, G.: Unit tangent bundle subgroups of the mapping class groups. MSRI Pre-print (1990)
Mess, G.: The Torelli groups for genus \(2\) and \(3\) surfaces. Topology 31(4), 775–790 (1992)
Putman, A.: A note on the connectivity of certain complexes associated to surfaces. Enseign. Math. (2) 54(3–4), 287–301 (2008)
Acknowledgements
The author would like to thank Nick Salter and Jonathon Bowden for discussing the content of this paper. She thanks Matt Clay and Dan Margalit for reminding me of the fact that \({\mathcal I}_2\) is a free group. She would also like to extend her warmest thanks to Benson Farb for his extensive comments as well as for his invaluable support from start to finish. Lastly, she is also indebted to the anonymous referee for giving a complete and long list of corrections and suggestions, which makes the writing of the paper much better. The author is supported by NSF Grant DMS-2005409.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Chen, L. The universal surface bundle over the Torelli space has no sections. Math. Z. 298, 917–934 (2021). https://doi.org/10.1007/s00209-020-02625-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02625-2