Skip to main content
Log in

The high-dimensional cohomology of the moduli space of curves with level structures II: punctures and boundary

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

We give two proofs that appropriately defined congruence subgroups of the mapping class group of a surface with punctures/boundary have enormous amounts of rational cohomology in their virtual cohomological dimension. In particular we give bounds that are super-exponential in each of three variables: number of punctures, number of boundary components, and genus, generalizing work of Fullarton–Putman. Along the way, we give a simplified account of a theorem of Harer explaining how to relate the homotopy type of the curve complex of a multiply-punctured surface to the curve complex of a once-punctured surface through a process that can be viewed as an analogue of a Birman exact sequence for curve complexes.

As an application, we prove upper and lower bounds on the coherent cohomological dimension of the moduli space of curves with marked points. For g ≤ 5, we compute this coherent cohomological dimension for any number of marked points. In contrast to our bounds on cohomology, when the surface has n ≥ 1 marked points, these bounds turn out to be independent of n, and depend only on the genus.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. C. Bibby, M. Chan, N. Gadish and C. H. Yun, Homology representations of compactified configurations on graphs applied to M2,n, https://arxiv.org/abs/2109.03302.

  2. R. Bieri, Homological Dimension of Discrete Groups, Queen Mary College Mathematical Notes, Queen Mary College, Department of Pure Mathematics, London, 1981.

    MATH  Google Scholar 

  3. G. Bini and J. Harer, Euler characteristics of moduli spaces of curves, Journal of the European Mathematical Society 13 (2011), 487–512.

    Article  MathSciNet  MATH  Google Scholar 

  4. J. S. Birman, Mapping class groups and their relationship to braid groups, Communications in Pure and Applied Mathematics 22 (1969), 213–238.

    Article  MathSciNet  MATH  Google Scholar 

  5. K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, Vol. 87, Springer, New York, 1994.

    Google Scholar 

  6. M. Chan, Topology of the tropical moduli spaces M2,n, Beiträge zur Algebra und Geometrie 63 (2022), 69–93.

    Article  MathSciNet  MATH  Google Scholar 

  7. M. Chan, S. Galatius and S. Payne, Tropical curves, graph complexes, and top weight cohomology of \({{\cal M}_g}\), Journal of the American Mathematical Society 34 (2021), 565–594.

    Article  MathSciNet  MATH  Google Scholar 

  8. T. Church, B. Farb and A. Putman, The rational cohomology of the mapping class group vanishes in its virtual cohomological dimension, International Mathematics Research Notices 2012 (2012), 5025–5030.

    Article  MathSciNet  MATH  Google Scholar 

  9. T. Church, B. Farb and A. Putman, A stability conjecture for the unstable cohomology of SLnℤ, mapping class groups, and Aut(Fn), in Algebraic Topology: Applications and New Directions, Contemporary Mathematics, Vol. 620, American Mathematical Society, Providence, RI, pp. 55–70.

  10. M. Ershov and S. He, On finiteness properties of the Johnson filtrations, Duke Mathematical Journal 167 (2018), 1713–1759.

    Article  MathSciNet  MATH  Google Scholar 

  11. C. Faber and E. Looijenga, Remarks on moduli of curves, in Moduli of Curves and Abelian Varieties, Aspects of Mathematics, Vol. E33, Friedrich Vieweg & Sohn, Braunschweig, 1999, pp. 23–45.

    Chapter  MATH  Google Scholar 

  12. B. Farb and D. Margalit, A Primer on Mapping Class Groups, Princeton Mathematical Series, Vol. 49, Princeton University Press, Princeton, NJ, 2012.

    MATH  Google Scholar 

  13. C. Fontanari and S. Pascolutti, An affine open covering of Mg for g ≤ 5, Geometirae Dedicata 158 (2012), 61–68.

    Article  MATH  Google Scholar 

  14. N. Fullarton and A. Putman, The high-dimensional cohomology of the moduli space of curves with level structures, Journal of the European Mathematical Society 22 (2020), 1261–1287.

    Article  MathSciNet  MATH  Google Scholar 

  15. R. M. Hain, Torelli groups and geometry of moduli spaces of curves, in Current Topics in Complex Algebraic Geometry (Berkeley, CA, 1992/93), Mathematical Sciences Research Institute Publications, Vol. 28, Cambridge University Press, Cambridge, 1995, pp. 97–143.

    Google Scholar 

  16. J. L. Harer, The virtual cohomological dimension of the mapping class group of an orientable surface, Inventiones Mathematicae 84 (1986), 157–176.

    Article  MathSciNet  MATH  Google Scholar 

  17. J. Harer and D. Zagier, The Euler characteristic of the moduli space of curves, Inventiones Mathematicae 85 (1986), 457–485.

    Article  MathSciNet  MATH  Google Scholar 

  18. R. Hartshorne, Cohomological dimension of algebraic varieties, Annals of Mathematics 88 (1968), 403–450.

    Article  MathSciNet  MATH  Google Scholar 

  19. R. Hartshorne, Algebraic Geometry, Springer, New York, 1977.

    Book  MATH  Google Scholar 

  20. A. Hatcher, On triangulations of surfaces, Topology and its Applications 40 (1991), 189–194.

    Article  MathSciNet  MATH  Google Scholar 

  21. A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002.

    MATH  Google Scholar 

  22. A. Hatcher and K. Vogtmann, Tethers and homology stability for surfaces, Algebraic & Geometric Topology 17 (2017), 1871–1916.

    Article  MathSciNet  MATH  Google Scholar 

  23. N. V. Ivanov, Fifteen problems about the mapping class groups, in Problems on Mapping Class Groups and Related Topics, 71–80, Proceedings of Symposia in Pure Mathematics, Vol. 74, American Mathematical Society, Providence, RI, 2006, pp. 71–80.

    Chapter  Google Scholar 

  24. J. P. Jouanolou, Une suite exacte de Mayer-Vietoris en K-théorie algebrique, in Algebraic K-Theory, I: Higher K-Theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Lecture Notes in Mathematics, Vol. 341, Springer, Berlin-New York, 1973, pp. 293–316.

    Google Scholar 

  25. A. Kent, C. J. Leininger and S. Schleimer, Trees and mapping class groups, Journal für die Reine und Angewandte Mathematik 637 (2009), 1–21.

    Article  MathSciNet  MATH  Google Scholar 

  26. M. Kontsevich, Formal (non)commutative symplectic geometry, in The Gelfand Mathematical Seminars, 1990–1992, Birkhäuser, Boston, MA, 1993, pp. 173–187.

    Chapter  Google Scholar 

  27. R. Lazarsfeld, Positivity in Algebraic Geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 48, Springer, Berlin, 2004.

    Book  MATH  Google Scholar 

  28. E. Looijenga, Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map, Journal of Algebraic Geometry 5 (1996), 135–150.

    MathSciNet  MATH  Google Scholar 

  29. I. Madsen and M. Weiss, The stable moduli space of Riemann surfaces: Mumford’s conjecture, Annals of Mathematics 165 (2007), 843–941.

    Article  MathSciNet  MATH  Google Scholar 

  30. S. Morita, T. Sakasai and M. Suzuki, Abelianizations of derivation Lie algebras of the free associative algebra and the free Lie algebra, Duke Mathematical Journal 162 (2013), 965–1002.

    Article  MathSciNet  MATH  Google Scholar 

  31. S. Payne and T. Willwacher, Weight two compactly supported cohomology of moduli spaces of curves, https://arxiv.org/abs/2110.05711.

  32. A. Putman, Cutting and pasting in the Torelli group, Geometry & Topology 11 (2007), 829–865.

    Article  MathSciNet  MATH  Google Scholar 

  33. A. Putman, A note on the abelianizations of finite-index subgroups of the mapping class group, Proceedings of the American Mathematical Society 138 (2010), 753–758.

    Article  MathSciNet  MATH  Google Scholar 

  34. A. Putman, The second rational homology group of the moduli space of curves with level structures, Advances in Mathematics 229 (2012), 1205–1234.

    Article  MathSciNet  MATH  Google Scholar 

  35. A. Putman, The Picard group of the moduli space of curves with level structures, Duke Mathematical Journal 161 (2012), 623–674.

    Article  MathSciNet  MATH  Google Scholar 

  36. A. Putman, The stable cohomology of the moduli space of curves with level structures, https://arxiv.org/abs/2209.06183.

  37. A. Putman and B. Wieland, Abelian quotients of subgroups of the mappings class group and higher Prym representations, Journal of the London Mathematical Society 88 (2013), 79–96.

    Article  MathSciNet  MATH  Google Scholar 

  38. M. Sato, The abelianization of the level d mapping class group, Journal of Topology 3 (2010), 847–882.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

We thank Joan Birman for her contributions to an earlier collaboration, funded in part by the Simons Foundation, which helped to lay the groundwork for this paper. We additionally thank MSRI for its support for the first and second authors in this early phase. We would also like to thank Benson Farb and the University of Chicago for support and funding; much of the work on this paper was completed while the first author was a visitor there. Finally, we would like to thank Eric Riedl and Chris Schommer-Pries for helpful conversations.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nathan Broaddus.

Additional information

Supported in part by NSF grant DMS-1811210.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Brendle, T., Broaddus, N. & Putman, A. The high-dimensional cohomology of the moduli space of curves with level structures II: punctures and boundary. Isr. J. Math. (2023). https://doi.org/10.1007/s11856-023-2566-9

Download citation

  • Received:

  • Revised:

  • Published:

  • DOI: https://doi.org/10.1007/s11856-023-2566-9

Navigation