Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-03T02:38:45.483Z Has data issue: false hasContentIssue false

Torelli groups, extended Johnson homomorphisms, and new cycles on the moduli space of curves

Published online by Cambridge University Press:  01 May 2008

S. MORITA*
Affiliation:
Department of Mathematical Sciences, University of Tokyo, Komaba, Tokyo 153-8914, Japan. e-mail: [email protected]
R. C. PENNER
Affiliation:
Departments of Mathematics and Physics/Astronomy, University of Southern California, Los Angeles, CA 90089, U.S.A. e-mail: [email protected]
*
Partially supported by JSPS Grant 16204005.

Abstract

Infinite presentations are given for all of the higher Torelli groups of once-punctured surfaces. In the case of the classical Torelli group, a finite presentation of the corresponding groupoid is also given, and finite presentations of the classical Torelli groups acting trivially on homology modulo N are derived for all N. Furthermore, the first Johnson homomorphism, which is defined from the classical Torelli group to the third exterior power of the homology of the surface, is shown to lift to an explicit canonical 1-cocycle of the Teichmüller space. The main tool for these results is the known mapping class group invariant ideal cell decomposition of the Teichmüller space.

This new 1-cocycle is mapping class group equivariant, so various contractions of its powers yield various combinatorial (co)cycles of the moduli space of curves, which are also new. Our combinatorial construction can be related to former works of Kawazumi and the first-named author with the consequence that the algebra generated by the cohomology classes represented by the new cocycles is precisely the tautological algebra of the moduli space.

There is finally a discussion of prospects for similarly finding cocycle lifts of the higher Johnson homomorphisms.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 2008

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

REFERENCES

[1]Andreadakis, S.. On the automorphisms of free groups and free nilpotent groups. Proc. London Math. Soc. 15 (1965), 239268.CrossRefGoogle Scholar
[2]Arbarello, E. and Cornalba, M.. Calculating cohomology groups of moduli spaces of curves via algebraic geometry. Publ. Math. Inst. Hautes Etudes Sci. 88 (1998), 97127.CrossRefGoogle Scholar
[3]Biss, D. and Farb, B.. Kg is not finitely generated. Invent. Math. 163 (2006), 213226.CrossRefGoogle Scholar
[4]H, B.. Bowditch and B, D.. Epstein, A.. Natural triangulations associated to a surface. Topology 27 (1988), 91117.Google Scholar
[5]Eilenberg, S.. Homology of spaces with operators, I. Trans. Amer. Math. Soc. 61 (1947), 378417.CrossRefGoogle Scholar
[6]Hain, R.. Infinitesimal presentations of the Torelli groups. J. Amer. Math. Soc. 10 (1997), 597651.CrossRefGoogle Scholar
[7]Harer, J.. Stability of the homology of the mapping class group of an orientable surface. Ann. Math. 121 (1985), 215249.CrossRefGoogle Scholar
[8]Harer, J.. The virtual cohomological dimension of the mapping class group of an orientable surface. Invent. Math. 84 (1986), 157176.CrossRefGoogle Scholar
[9]Hua, L. K. and Reiner, I.. On the generators of the symplectic modular group. Trans. Amer. Math. Soc. 65 (1947), 415426.CrossRefGoogle Scholar
[10]Hubbard, J. H.. and Masur, H.. Quadratic differentials and foliations. Acta Math. 142 (1979), 221274.CrossRefGoogle Scholar
[11]Igusa, K.. Combinatorial Miller–Morita–Mumford classes and Witten cycles. Algebr. Geom. Topol. 4 (2004), 473520.CrossRefGoogle Scholar
[12]Igusa, K.. Graph cohomology and Kontsevich cycles. Topology 43 (2004), 14691510.CrossRefGoogle Scholar
[13]Igusa, K. and Kleber, M.. Increasing trees and Kontsevich cycles. Geom. Topol. 8 (2004), 9691012.CrossRefGoogle Scholar
[14]Johnson, D.. An abelian quotient of the mapping class group Ig. Math. Ann. 249 (1980), 225242.CrossRefGoogle Scholar
[15]Johnson, D.. A survey of the Torelli group. Contemp. Math. 20 (1983), 165179.CrossRefGoogle Scholar
[16]Johnson, D.. The structure of the Torelli group I: A finite set of generators for Ig. Ann. Math. 118 (1983), 423442.CrossRefGoogle Scholar
[17]Johnson, D.. The structure of the Torelli group II: A characterization of the group generated by twists on bounding simple closed curves. Topology 24 (1985), 113126.CrossRefGoogle Scholar
[18]Johnson, D.. The structure of the Torelli group III: The abelianization of Ig. Topology 24 (1985), 127144.CrossRefGoogle Scholar
[19]Kawazumi, N.. Cohomological aspects of the Magnus expansions, preprint.Google Scholar
[20]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 (1996), 629641.CrossRefGoogle Scholar
[21]Kawazumi, N. and Morita, S.. The primary approximation to the cohomology of the moduli space of curves and cocycles for the Mumford–Morita–Miller classes, preprint.Google Scholar
[22]Kontsevich, M.. Intersection theory on the moduli space of curves and the matrix Airy function. Comm. Math. Phys. 147 (1992), 123.CrossRefGoogle Scholar
[23]Labute, J.. On the descending central series of groups with a single defining relation. J. Algebra 14 (1970), 1623.CrossRefGoogle Scholar
[24]Malcev, A.. On a class of homogeneous spaces. Izv. Akad. Nauk. SSSR Ser. Mat. 13 (1949), 932. English translation: Amer. Math. Soc. Transl. 39 (1962), 775–790.Google Scholar
[25]Mess, G.. The Torelli groups for genus 2 and 3 surfaces. Topology 31 (1992), 775790.CrossRefGoogle Scholar
[26]J, R.. Milgram and Penner, R.. “Riemann's moduli space and the symmetric groups,” Mapping Class Groups and Moduli Spaces of Riemann Surfaces. Contemp. Math. 150 (1993), 247290.Google Scholar
[27]Mondello, G.. Combinatorial classes on Mg,n are tautological. Internat. Math. Res. Notes 44 (2004), 23292390.Google Scholar
[28]Morita, S.. Families of Jacobian manifolds and characteristic classes of surface bundles II. Math. Proc. Camb. Phil. Soc. 105 (1989), 79101.CrossRefGoogle Scholar
[29]Morita, S.. Abelian quotients of subgroups of the mapping class group of surfaces. Duke Math. J. 70 (1993), 699726.CrossRefGoogle Scholar
[30]Morita, S.. The extension of Johnson's homomorphism from the Torelli group to the mapping class group. Invent. Math. 111 (1993), 197224.CrossRefGoogle Scholar
[31]Morita, S.. A linear representation of the mapping class group of orientable surfaces and characteristic classes of surface bundles. In Proceedings of the Taniguchi Symposium on Topology and Teichmüller Spaces, held in Finland, July 1995 (World Scientific, 1996), 159–186.CrossRefGoogle Scholar
[32]Morita, S.. Structure of the mapping class groups of surfaces: a survey and a prospect. Geom. Topol. Monogr. 2 (1999), Proceedings of the Kirbyfest, 349406.CrossRefGoogle Scholar
[33]Morita, S.. Cohomological structure of the mapping class group and beyond, preprint.Google Scholar
[34]Penner, R.. The decorated Teichmüller space of punctured surfaces. Comm. Math. Phys. 113 (1987), 299339.CrossRefGoogle Scholar
[35]Penner, R.. Perturbative series and the moduli space of Riemann surfaces. J. Differential Geom. 27 (1988), 3553.CrossRefGoogle Scholar
[36]Penner, R.. Weil–Petersson volumes. J. Differential Geom. 35 (1992), 559608.CrossRefGoogle Scholar
[37]Penner, R.. The Poincaré dual of the Weil–Petersson Kähler two-form. Comm. Anal. Geom. 1 (1993), 4369.CrossRefGoogle Scholar
[38]Penner, R.. The simplicial compactification of Riemann's moduli space. In Proceedings of the Taniguchi Symposium on Topology and Teichmülller Spaces, held in Finland, July 1995 (World Scientific, 1996), 237–252.CrossRefGoogle Scholar
[39]Strebel, K.. Quadratic differentials. Ergeb. Math. Grenzgeb. 3:5 (1984).Google Scholar
[40]Sullivan, D.. On the intersection ring of compact 3-manifolds. Topology 14 (1975), 275277.CrossRefGoogle Scholar
[41]Sullivan, D.. Infinitesimal computations in topology. Publ. Math. Inst. Hautes Etudes Sci. 47 (1977), 269331.CrossRefGoogle Scholar