pith. sign in

arxiv: 2607.01112 · v1 · pith:ZDGCNOUXnew · submitted 2026-07-01 · 🧮 math.AG

An introduction to the intersection theory of the moduli space of curves

Hannah Larson This is my paper

Pith reviewed 2026-07-02 05:53 UTC · model grok-4.3

classification 🧮 math.AG
keywords moduli space of curvestautological ringChow ringintersection theoryalgebraic geometryopen questions
0
0 comments X

The pith

The tautological ring organizes intersection theory on the moduli space of curves, though whether it generates the full Chow ring remains open.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper introduces the intersection theory of the moduli space of curves by defining and exploring its tautological ring. It surveys open questions about the ring's structure and relations. The work sketches techniques for determining whether the Chow ring is generated entirely by tautological classes or contains additional elements.

Core claim

The tautological ring is the subring of the Chow ring generated by natural classes on the moduli space of curves, serving as the standard setting for intersection calculations, with techniques available to test its generation properties against the full Chow ring.

What carries the argument

The tautological ring, the subring generated by kappa and psi classes inside the Chow ring of the moduli space of curves.

If this is right

  • Intersection numbers on the moduli space can be computed via relations and generators in the tautological ring.
  • Existing techniques can decide in specific cases whether the Chow ring equals its tautological subring.
  • Open questions include the precise dimension of the tautological ring in each degree and the existence of additional relations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Resolving the generation question would allow systematic computation of all intersection numbers rather than only those in the tautological part.
  • The same generation-testing methods might apply to related spaces such as the moduli space of stable maps.
  • A complete description of the tautological ring would simplify many enumerative problems that reduce to curve moduli intersections.

Load-bearing premise

The tautological ring is a well-defined standard object whose properties can be surveyed without new derivation.

What would settle it

An explicit computation exhibiting a non-tautological class in some Chow ring of the moduli space would show the tautological ring does not generate the full ring.

read the original abstract

We introduce the intersection theory of the moduli space of curves and its tautological ring. We survey open questions about the tautological ring and sketch techniques for proving the Chow ring is or is not generated by tautological classes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces the intersection theory of the moduli space of curves and its tautological ring. It surveys open questions about the tautological ring and sketches techniques for proving the Chow ring is or is not generated by tautological classes.

Significance. As a purely expository survey of standard material in algebraic geometry (the tautological ring generated by κ and ψ classes on ar{M}_g), the paper has modest significance if the exposition is accurate and complete. It may serve as an entry point for students or researchers by collecting known definitions and open questions, but adds no new theorems, derivations, or predictions.

minor comments (3)
  1. [Abstract] The abstract and introduction should explicitly state the intended level (e.g., graduate students familiar with algebraic geometry but new to moduli spaces) and list the main references for each sketched technique.
  2. Notation for the tautological ring R^*(ar{M}_g) and the Chow ring A^*(ar{M}_g) should be introduced with a short comparison table or diagram to avoid ambiguity for readers.
  3. When sketching techniques for Chow-ring generation questions, include at least one concrete example (e.g., a low-genus computation) with a reference to the original source.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review and recommendation of minor revision. The manuscript is explicitly positioned as an expository survey collecting standard definitions, known results on the tautological ring, and open questions regarding generation of the Chow ring; it does not claim new theorems. We address the assessment of modest significance below and note that no specific major comments were raised requiring point-by-point rebuttal.

Circularity Check

0 steps flagged

No significant circularity; purely expository survey

full rationale

The paper is an explicit introductory survey whose central claim is to present the standard intersection theory on ar{M}_g and survey open questions about the tautological ring R^*(ar{M}_g). No new theorems, derivations, predictions, or fitted quantities are asserted. The exposition relies on the well-established definition of the tautological ring (generated by κ and ψ classes with the usual relations) that appears in the literature since Mumford. The sketched techniques for Chow-ring generation questions are presented as known methods rather than novel arguments. No load-bearing steps reduce by construction to inputs, self-citations, or ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As an introductory survey paper, there are no free parameters, axioms, or invented entities introduced by the authors; all content refers to established concepts in the field.

pith-pipeline@v0.9.1-grok · 5538 in / 948 out tokens · 26958 ms · 2026-07-02T05:53:45.309809+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 5 canonical work pages

  1. [1]

    Arbarello and M

    E. Arbarello and M. Cornalba,Calculating cohomology groups of moduli spaces of curves via algebraic geometry, Inst. Hautes ´Etudes Sci. Publ. Math. (1998), no. 88, 97–127

    1998

  2. [2]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. Griffiths,Geometry of algebraic curves. Volume II.With a contribution by Joseph Daniel Harris, Grundlehren Math. Wiss.,268, Springer, Heidelberg, 2011. 963 pp

    2011

  3. [3]

    Arena, S

    V. Arena, S. Canning, E. Clader, R. Haburcak, A. Li, S. Mok, C. Tamborini,Holomorphic forms and non-tautological cycles on moduli spaces of curves, 2024, to appear in Selecta Math., arXiv:2402.03874

    work page arXiv 2024

  4. [4]

    Belorousski,Chow rings of moduli spaces of pointed elliptic curves, ProQuest LLC, Ann Arbor, MI, 1998, Thesis (Ph.D.)–The University of Chicago

    P. Belorousski,Chow rings of moduli spaces of pointed elliptic curves, ProQuest LLC, Ann Arbor, MI, 1998, Thesis (Ph.D.)–The University of Chicago

    1998

  5. [5]

    Bergstr¨ om, C

    J. Bergstr¨ om, C. Faber and S. Payne,Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves, 2022, arXiv:2206.07759

    work page arXiv 2022

  6. [6]

    Canning,The tautological ring of Mg,n is rarely Gorenstein, to appear in Geometry and Topology

    S. Canning,The tautological ring of Mg,n is rarely Gorenstein, to appear in Geometry and Topology. arXiv:2406.10516

    work page arXiv

  7. [7]

    Canning and H

    S. Canning and H. Larson,The Chow rings of the moduli spaces of curves of genus7,8, and9, Journal of Algebraic Geometry,33, (2024), no. 1, 55–116, arXiv:2104.05820

    work page arXiv 2024

  8. [8]

    Canning, H

    S. Canning, H. Larson, and S. Payne,The eleventh cohomology group of Mg,n, Forum of Math., Sigma,11(2023), Paper No. e62, 18pp

    2023

  9. [9]

    Di Lorenzo,The Chow ring of the stack of hyperelliptic curves of odd genus

    A. Di Lorenzo,The Chow ring of the stack of hyperelliptic curves of odd genus. Int. Math. Res. Not. 2021, no. 4, 2642–2681

    2021

  10. [10]

    Di Lorenzo, D

    A. Di Lorenzo, D. Fulghesu, and A. Vistoli,The integral Chow ring of the stack of smooth non-hyperelliptic curves of genus three.Trans. Amer. Math. Soc. 374 (2021), no. 8, 5583–5622. 17

    2021

  11. [11]

    Edidin and D

    D. Edidin and D. Fulghesu,The integral Chow ring of the stack of hyperelliptic curves of even genusMath. Res. Lett.16 (2009), no. 1, 27–40

    2009

  12. [12]

    Edidin and W

    D. Edidin and W. Graham,Equivariant intersection theory. Invent. Math. 131 (1998), no. 3, 595–634

    1998

  13. [13]

    Eisenbud and J

    D. Eisenbud and J. Harris,3264 and all that — a second course in algebraic geometry. Cambridge University Press, Cambridge, 2016

    2016

  14. [14]

    C. Faber,A conjectural description of the tautological ring of the moduli space of curves, in Moduli of Curves and Abelian Varieties (The Dutch Intercity Seminar on Moduli), 109–129, Aspects of Mathematics E 33, Vieweg, Wiesbaden 1999

    1999

  15. [15]

    Faber,Chow rings of moduli spaces of curves

    C. Faber,Chow rings of moduli spaces of curves. I. The Chow ring of M 3, Ann. of Math. (2)132(1990), no. 2, 331–419

    1990

  16. [16]

    Faber,Chow rings of moduli spaces of curves

    C. Faber,Chow rings of moduli spaces of curves. II. Some results on the Chow ring of M 4, Ann. of Math. (2)132(1990), no. 3, 421–449

    1990

  17. [17]

    C. F. Faber and R. V. Pandharipande,Logarithmic series and Hodge integrals in the tautological ring, Michigan Math. J. 48(2000), 215–252

    2000

  18. [18]

    Faro and C

    D. Faro and C. Tamborini,Non-tautological cycles on moduli spaces of smooth pointed curves, arXiv:2410.04400, 2024

    work page arXiv 2024

  19. [19]

    Fulton,Intersection theory

    W. Fulton,Intersection theory. Ergeb. Math. Grenzgeb. (3), Springer-Verlag, Berlin, 1984

    1984

  20. [20]

    Getzler and R

    E. Getzler and R. V. Pandharipande,Virasoro constraints and the Chern classes of the Hodge bundle, Nuclear Phys. B 530(1998), no. 3, 701–714

    1998

  21. [21]

    Kresch, Cycle groups for Artin stacks, Invent

    A. Kresch, Cycle groups for Artin stacks, Invent. Math.138(1999), no. 3, 495–536

    1999

  22. [22]

    Graber and R

    T. Graber and R. Pandharipande,Constructions of nontautological classes on moduli spaces of curves. Michigan Math. J. 51(2003), no. 1, 93–109

    2003

  23. [23]

    Ionel,Relations in the tautological ring ofM g, Duke Math

    E. Ionel,Relations in the tautological ring ofM g, Duke Math. J. 129 (2005), 157–186

    2005

  24. [24]

    Izadi,The Chow ring of the moduli space of curves of genus5, The moduli space of curves (Texel Island, 1994), Progr

    E. Izadi,The Chow ring of the moduli space of curves of genus5, The moduli space of curves (Texel Island, 1994), Progr. Math., vol. 129, Birkh¨ auser Boston, Boston, MA, 1995, pp. 267–304. MR 1363060

    1994

  25. [25]

    Looijenga,On the tautological ring ofM g

    E. Looijenga,On the tautological ring ofM g. Invent. Math. 121 (1995), 411–419

    1995

  26. [26]

    Marian, D

    A. Marian, D. Oprea, R. Pandharipande,Segre classes and Hilbert schemes of points, Ann. Sci. ´Ec. Norm. Sup´ er. 50 (2017), 239 - 267

    2017

  27. [27]

    Mumford,Towards an enumerative geometry of the moduli space of curves, Arithmetic and geometry, Vol

    D. Mumford,Towards an enumerative geometry of the moduli space of curves, Arithmetic and geometry, Vol. II, Progr. Math., vol. 36 (1983) p. 271–328

    1983

  28. [28]

    Penev and R

    N. Penev and R. Vakil,The Chow ring of the moduli space of curves of genus six, Algebr. Geom.2(2015), no. 1, 123–136

    2015

  29. [29]

    Petersen,Tautological rings of spaces of pointed genus two curves of compact type, Compos

    D. Petersen,Tautological rings of spaces of pointed genus two curves of compact type, Compos. Math.152(2016), no. 7, 1398–1420

    2016

  30. [30]

    Petersen and O

    D. Petersen and O. Tommasi,The Gorenstein conjecture fails for the tautological ring of M2,n, Invent. Math.196(2014), no. 1, 139–161

    2014

  31. [31]

    Pandharipande,A calculus for the moduli space of curves

    R. Pandharipande,A calculus for the moduli space of curves. Algebraic geometry: Salt Lake City 2015, 459–487. Proc. Sympos. Pure Math., 97.1

    2015

  32. [32]

    Pandharipande and A

    R. Pandharipande and A. Pixton,Relations in the tautological ring of the moduli space of curves. Pure Appl. Math. Q. 17 (2021), no. 2, 717–771

    2021

  33. [33]

    Pixton,The tautological ring of the moduli space of curves, ProQuest LLC, Ann Arbor, MI, 2013, Thesis (Ph.D.), Princeton University

    A. Pixton,The tautological ring of the moduli space of curves, ProQuest LLC, Ann Arbor, MI, 2013, Thesis (Ph.D.), Princeton University

    2013

  34. [34]

    van der Geer,Cycles on the moduli space of abelian varieties, in Moduli of curves and abelian varieties, 65–89, Aspects Math., E33, Friedr

    G. van der Geer,Cycles on the moduli space of abelian varieties, in Moduli of curves and abelian varieties, 65–89, Aspects Math., E33, Friedr. Vieweg & Sohn, Braunschweig, 1999

    1999

  35. [35]

    Math.294(2018), no

    Jason van Zelm,Nontautological bielliptic cycles, Pacific J. Math.294(2018), no. 2, 495–504

    2018

  36. [36]

    Vistoli,The Chow ring ofM 2

    A. Vistoli,The Chow ring ofM 2. Appendix toEquivariant intersection theoryby D. Edidin and W. Graham. Invent. Math. 131 (1998), no. 3, 635–644. Department of Mathematics, University of California, Berkeley, Evans Hall 827, Berkeley, CA 94720 Email address:hlarson@berkeley.edu 18

    1998