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.
Similar content being viewed by others
References
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.
R. Bieri, Homological Dimension of Discrete Groups, Queen Mary College Mathematical Notes, Queen Mary College, Department of Pure Mathematics, London, 1981.
G. Bini and J. Harer, Euler characteristics of moduli spaces of curves, Journal of the European Mathematical Society 13 (2011), 487–512.
J. S. Birman, Mapping class groups and their relationship to braid groups, Communications in Pure and Applied Mathematics 22 (1969), 213–238.
K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, Vol. 87, Springer, New York, 1994.
M. Chan, Topology of the tropical moduli spaces M2,n, Beiträge zur Algebra und Geometrie 63 (2022), 69–93.
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.
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.
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.
M. Ershov and S. He, On finiteness properties of the Johnson filtrations, Duke Mathematical Journal 167 (2018), 1713–1759.
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.
B. Farb and D. Margalit, A Primer on Mapping Class Groups, Princeton Mathematical Series, Vol. 49, Princeton University Press, Princeton, NJ, 2012.
C. Fontanari and S. Pascolutti, An affine open covering of Mg for g ≤ 5, Geometirae Dedicata 158 (2012), 61–68.
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.
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.
J. L. Harer, The virtual cohomological dimension of the mapping class group of an orientable surface, Inventiones Mathematicae 84 (1986), 157–176.
J. Harer and D. Zagier, The Euler characteristic of the moduli space of curves, Inventiones Mathematicae 85 (1986), 457–485.
R. Hartshorne, Cohomological dimension of algebraic varieties, Annals of Mathematics 88 (1968), 403–450.
R. Hartshorne, Algebraic Geometry, Springer, New York, 1977.
A. Hatcher, On triangulations of surfaces, Topology and its Applications 40 (1991), 189–194.
A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2002.
A. Hatcher and K. Vogtmann, Tethers and homology stability for surfaces, Algebraic & Geometric Topology 17 (2017), 1871–1916.
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.
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.
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.
M. Kontsevich, Formal (non)commutative symplectic geometry, in The Gelfand Mathematical Seminars, 1990–1992, Birkhäuser, Boston, MA, 1993, pp. 173–187.
R. Lazarsfeld, Positivity in Algebraic Geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 48, Springer, Berlin, 2004.
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.
I. Madsen and M. Weiss, The stable moduli space of Riemann surfaces: Mumford’s conjecture, Annals of Mathematics 165 (2007), 843–941.
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.
S. Payne and T. Willwacher, Weight two compactly supported cohomology of moduli spaces of curves, https://arxiv.org/abs/2110.05711.
A. Putman, Cutting and pasting in the Torelli group, Geometry & Topology 11 (2007), 829–865.
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.
A. Putman, The second rational homology group of the moduli space of curves with level structures, Advances in Mathematics 229 (2012), 1205–1234.
A. Putman, The Picard group of the moduli space of curves with level structures, Duke Mathematical Journal 161 (2012), 623–674.
A. Putman, The stable cohomology of the moduli space of curves with level structures, https://arxiv.org/abs/2209.06183.
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.
M. Sato, The abelianization of the level d mapping class group, Journal of Topology 3 (2010), 847–882.
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
Corresponding author
Additional information
Supported in part by NSF grant DMS-1811210.
Rights and permissions
About this article
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
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s11856-023-2566-9