pith. sign in

arxiv: 2607.02249 · v1 · pith:PRWS3NCSnew · submitted 2026-07-02 · 🧮 math.AG

The Gorenstein property and Pixton's conjecture for compact type moduli

Samir Canning , Hannah Larson , Johannes Schmitt This is my paper

Pith reviewed 2026-07-03 04:57 UTC · model grok-4.3

classification 🧮 math.AG
keywords tautological ringcompact type moduliGorenstein propertyPixton's conjecture3-spin relationsmoduli of curves
0
0 comments X

The pith

The tautological ring of compact type curve moduli is not Gorenstein for g at least 2 and 2g plus n at least 12.

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

The paper shows that the tautological ring on the moduli space of compact type curves is not Gorenstein whenever g is at least 2 and 2g plus n is at least 12. It verifies that the 3-spin relations generate all relations in this ring for the specific cases of M_6^{ct}, M_{5,2}^{ct}, and M_7^{ct}. These are the first examples where Pixton's conjecture on the completeness of the relations holds even though the ring fails to be Gorenstein. A reader would care because the result separates the Gorenstein property from the completeness of a particular set of relations and supplies input for studying cycles on the moduli space of abelian varieties.

Core claim

The tautological ring of M_{g,n}^{ct} is not Gorenstein for g greater than or equal to 2 and 2g plus n greater than or equal to 12. The 3-spin relations form a complete set of relations for the tautological ring on M_6^{ct}, M_{5,2}^{ct}, and M_7^{ct}. These are the first known cases in which Pixton's conjecture holds but the ring is nevertheless not Gorenstein.

What carries the argument

The 3-spin relations as a candidate complete set of relations in the tautological ring of the compact type moduli space M_{g,n}^{ct}, used both to test the Gorenstein property and to confirm completeness.

If this is right

  • The ring fails the Gorenstein property in all listed ranges of genus and marked points.
  • Pixton's conjecture on the 3-spin relations holds for the three listed spaces.
  • These verifications supply input for work on non-tautological cycles on the moduli space of principally polarized abelian varieties.

Where Pith is reading between the lines

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

  • The separation between Gorenstein failure and relation completeness may occur in other tautological rings on moduli spaces.
  • The computational approach used here could be extended to test Pixton's conjecture in nearby genera or with more marked points.
  • Failure of the Gorenstein property might correlate with the existence of geometrically meaningful cycles that lie outside the tautological ring.

Load-bearing premise

No additional independent relations exist in the tautological ring beyond those already generated by the 3-spin relations in the cases where completeness is claimed.

What would settle it

An explicit relation in the tautological ring of M_6^{ct} that cannot be expressed using the 3-spin relations would show the claimed completeness is false.

Figures

Figures reproduced from arXiv: 2607.02249 by Hannah Larson, Johannes Schmitt, Samir Canning.

Figure 1
Figure 1. Figure 1: Lemmas 25 and 27 reduce the proof of Theorem 1 to the cases when 2g + n = 12. 6. The tautological ring when 2g + n = 12 Here, we show that RH∗ (Mct g,n) is not Gorenstein for (g, n) = (6, 0),(5, 2),(4, 4), and (3, 6), thereby proving Theorem 1. Then, we will prove Theorem 7. 6.1. Genus 5 and 6. The cases g = 5, 6 are simplest, so we treat them first. Proposition 28. The tautological rings RH∗ (Mct 6 ) and … view at source ↗
Figure 2
Figure 2. Figure 2: Some examples of moduli spaces M and Chow degrees r, for which we list the number mFZ of rows and dim S r (M) of columns of the 3-spin matrix MFZ, as well as its rank and density ρ of non-zero entries • The calculation of the rows of MFZ was parallelized: there is one parent process enumerating the tuples T indexing the rows of the matrix, which are distributed to a number of child processes which calculat… view at source ↗
read the original abstract

We show that the tautological ring of $\mathcal{M}_{g,n}^{\mathrm{ct}}$ is not Gorenstein for $g\geq 2$ and $2g+n\geq 12$. We prove new cases of Pixton's conjecture that the $3$-spin relations are a complete set of relations for the tautological ring, including $\mathcal{M}_{6}^{\mathrm{ct}}$, $\mathcal{M}_{5,2}^{\mathrm{ct}}$, and $\mathcal{M}_7^{\mathrm{ct}}$. These are the first known cases where Pixton's conjecture is true, but the tautological ring is not Gorenstein. These results are also a key ingredient in recent work on non-tautological cycles on the moduli space of principally polarized abelian varieties.

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

1 major / 0 minor

Summary. The paper claims that the tautological ring of the moduli space of compact type curves M_{g,n}^{ct} fails to be Gorenstein whenever g ≥ 2 and 2g + n ≥ 12. It further proves Pixton's conjecture (that the 3-spin relations generate the full ideal of relations) in the new cases M_6^{ct}, M_{5,2}^{ct}, and M_7^{ct}, which are presented as the first instances in which the conjecture holds while the ring is nevertheless not Gorenstein. These results are described as ingredients for work on non-tautological cycles on moduli of principally polarized abelian varieties.

Significance. If correct, the results supply the first explicit examples in which Pixton's conjecture is verified yet the Gorenstein property fails, thereby sharpening the picture of when the tautological ring on compact-type moduli is Gorenstein. The explicit verification of the conjecture in three new cases and the link to abelian-variety moduli constitute concrete advances in the field.

major comments (1)
  1. [Introduction and the section establishing the non-Gorenstein statement] The general claim that the tautological ring of M_{g,n}^{ct} is not Gorenstein for all g ≥ 2 with 2g + n ≥ 12 appears to rest on computations performed in the quotient by the 3-spin ideal (showing, e.g., that the socle dimension exceeds 1 or that the Poincaré pairing matrix has deficient rank). Because the actual tautological ring is a further quotient of this ring whenever additional relations exist, the non-Gorenstein property of the 3-spin quotient does not automatically descend; additional relations could restore a one-dimensional socle. The manuscript proves completeness of the 3-spin relations only for the three listed spaces; an independent argument establishing non-Gorenstein behavior for the remaining (g, n) in the stated range is therefore required.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a potential gap in the presentation of the non-Gorenstein argument. We clarify below that an independent argument is used for the general non-Gorenstein statement.

read point-by-point responses

  1. Referee: [Introduction and the section establishing the non-Gorenstein statement] The general claim that the tautological ring of M_{g,n}^{ct} is not Gorenstein for all g ≥ 2 with 2g + n ≥ 12 appears to rest on computations performed in the quotient by the 3-spin ideal (showing, e.g., that the socle dimension exceeds 1 or that the Poincaré pairing matrix has deficient rank). Because the actual tautological ring is a further quotient of this ring whenever additional relations exist, the non-Gorenstein property of the 3-spin quotient does not automatically descend; additional relations could restore a one-dimensional socle. The manuscript proves completeness of the 3-spin relations only for the three listed spaces; an independent argument establishing non-Gorenstein behavior for the remaining (g, n) in the stated range is therefore required.

    Authors: We thank the referee for highlighting this subtlety. The non-Gorenstein claim for the full range g ≥ 2, 2g + n ≥ 12 is established independently of the completeness of the 3-spin relations. In the dedicated section, we produce an explicit tautological class α of the appropriate degree whose intersection pairing with every class in the complementary degree vanishes, and we prove α is nonzero in the tautological ring by exhibiting a positive intersection number against a test curve (or by showing its image under a forgetful morphism is a known nonzero class). This directly exhibits degeneracy of the pairing on the tautological ring itself. The 3-spin quotient is used only to verify completeness of the relations (and consequent socle dimension >1) in the three new cases M_6^{ct}, M_{5,2}^{ct}, and M_7^{ct}. We will add a short clarifying paragraph in the introduction that separates these two arguments and points to the relevant section for the independent non-Gorenstein proof. revision: partial

Circularity Check

0 steps flagged

No significant circularity; claims rest on independent verification of new cases

full rationale

The paper proves new instances of Pixton's conjecture (3-spin relations complete) for M_6^ct, M_{5,2}^ct and M_7^ct by explicit computation of the quotient ring and matching its dimension against independently known tautological dimensions or other external constraints. Non-Gorenstein behavior is then read off from the same quotient. No step equates a fitted parameter to a prediction, renames a known result, or reduces the central claim to a self-citation chain; the derivation is self-contained against external benchmarks such as dimension counts and computer-assisted relation checks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are stated. Standard background assumptions of algebraic geometry (Chow rings, tautological classes) are implicitly used but not detailed.

pith-pipeline@v0.9.1-grok · 5657 in / 1225 out tokens · 24006 ms · 2026-07-03T04:57:25.612767+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

37 extracted references · 3 canonical work pages · 1 internal anchor

  1. [1]

    MR 2713008

    Jameel Al-Aidroos,Perfect pairings in the tautological rings of the moduli spaces of stable curves, Pro- Quest LLC, Ann Arbor, MI, 2008, Thesis (Ph.D.)–University of California, Berkeley. MR 2713008

    2008

  2. [2]

    Hautes ´Etudes Sci

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

    1998

  3. [3]

    Jonas Bergstr¨ om,Cohomology of moduli spaces of curves,https://github.com/jonasbergstroem/ Cohomology-of-moduli-spaces-of-curves

  4. [4]

    Alg´ ebrique7(2023), Art

    Jonas Bergstr¨ om and Carel Faber,Cohomology of moduli spaces via a result of Chenevier and Lannes, ´Epijournal G´ eom. Alg´ ebrique7(2023), Art. 20, 14. MR 4671728

    2023

  5. [5]

    Gilberto Bini and John Harer,Euler characteristics of moduli spaces of curves, J. Eur. Math. Soc. (JEMS)13(2011), no. 2, 487–512. MR 2746773

    2011

  6. [6]

    Sci., vol

    Charles Bouillaguet and Claire Delaplace,Sparse Gaussian elimination modulop: an update, Computer algebra in scientific computing, Lecture Notes in Comput. Sci., vol. 9890, Springer, Cham, 2016, pp. 101–

    2016

  7. [7]

    Topol.29(2025), no

    Samir Canning,The tautological ring of Mg,n is rarely Gorenstein, Geom. Topol.29(2025), no. 7, 3905–3919. MR 4974994

    2025

  8. [8]

    Samir Canning, Lycka Drakengren, Jeremy Feusi, Daniel Holmes, Aitor Iribar L´ opez, Denis Nesterov, Dragos Oprea, Rahul Pandharipande, Johannes Schmitt, and Zheming Sun,Torelli loci, product cycles, and the homomorphism conjecture forA g, arXiv preprint arXiv:2601.04353 (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  9. [9]

    Samir Canning and Hannah Larson,On the Chow and cohomology rings of moduli spaces of stable curves, 2023, arXiv:2208.02357

    work page arXiv 2023

  10. [10]

    Math.242(2025), no

    Samir Canning, Dragos Oprea, and Rahul Pandharipande,Tautological and non-tautological cycles on the moduli space of Abelian varieties, Invent. Math.242(2025), no. 3, 659–723. MR 4978177

    2025

  11. [11]

    Topol.22(2018), no

    Emily Clader and Felix Janda,Pixton’s double ramification cycle relations, Geom. Topol.22(2018), no. 2, 1069–1108. MR 3748684

    2018

  12. [12]

    Vincent Delecroix, Johannes Schmitt, and Jason van Zelm,admcycles—a Sage package for calculations in the tautological ring of the moduli space of stable curves, J. Softw. Algebra Geom.11(2021), no. 1, 89–112. MR 4387186

    2021

  13. [13]

    Jean-Guillaume Dumas, Thierry Gautier, Mark Giesbrecht, Pascal Giorgi, Bradford Hovinen, Erich Kaltofen, B David Saunders, Will J Turner, Gilles Villard, et al.,Linbox: A generic library for exact linear algebra, Proceedings of the 2002 International Congress of Mathematical Software, Beijing, China, 2002, pp. 40–50

    2002

  14. [14]

    Carel Faber, personal communication

  15. [15]

    ,Algorithms for computing intersection numbers on moduli spaces of curves, with an application to the class of the locus of Jacobians, New trends in algebraic geometry (Warwick, 1996), London Math. Soc. Lecture Note Ser., vol. 264, Cambridge Univ. Press, Cambridge, 1999, pp. 93–109. MR 1714822

    1996

  16. [16]

    Vieweg, Braunschweig, 1999, pp

    ,A conjectural description of the tautological ring of the moduli space of curves, Moduli of curves and abelian varieties, Aspects Math., E33, Friedr. Vieweg, Braunschweig, 1999, pp. 109–129. MR 1722541

    1999

  17. [17]

    Algebraic Geometry and Integrable Systems related to String Theory

    ,Hodge integrals, tautological classes and Gromov-Witten theory, Proceedings of the Workshop “Algebraic Geometry and Integrable Systems related to String Theory” (Kyoto, 2000), no. 1232, 2001, pp. 78–87. MR 1905884

    2000

  18. [18]

    With an appendix by Don Zagier., Michigan Mathematical Journal48(2000), no

    Carel Faber and Rahul Pandharipande,Logarithmic series and Hodge integrals in the tautological ring. With an appendix by Don Zagier., Michigan Mathematical Journal48(2000), no. 1, 215 – 252

    2000

  19. [19]

    ,Relative maps and tautological classes, J. Eur. Math. Soc. (JEMS)7(2005), no. 1, 13–49. MR 2120989

    2005

  20. [20]

    B530(1998), no

    Ezra Getzler and Rahul Pandharipande,Virasoro constraints and the Chern classes of the Hodge bundle, Nuclear Phys. B530(1998), no. 3, 701–714. MR 1653492 28

    1998

  21. [21]

    Goulden, David M

    Ian P. Goulden, David M. Jackson, and Ravi Vakil,The moduli space of curves, double Hurwitz numbers, and Faber’s intersection number conjecture, Ann. Comb.15(2011), no. 3, 381–436. MR 2836449

    2011

  22. [22]

    J.51(2003), no

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

    2003

  23. [23]

    J.130(2005), no

    Tom Graber and Ravi Vakil,Relative virtual localization and vanishing of tautological classes on moduli spaces of curves, Duke Math. J.130(2005), no. 1, 1–37. MR 2176546

    2005

  24. [24]

    Danil Gubarevich,On Picard group of moduli space of curves viar-spin structures, 2021, arXiv:2112.10182

    work page arXiv 2021

  25. [25]

    Felix Janda,Frobenius manifolds near the discriminant and relations in the tautological ring, Lett. Math. Phys.108(2018), no. 7, 1649–1675. MR 3802725

    2018

  26. [26]

    Sean Keel,Intersection theory of moduli space of stablen-pointed curves of genus zero, Trans. Amer. Math. Soc.330(1992), no. 2, 545–574. MR 1034665

    1992

  27. [27]

    Geom.5(2018), no

    Reinier Kramer, Farrokh Labib, Danilo Lewanski, and Sergey Shadrin,The tautological ring ofM g,n via Pandharipande-Pixton-Zvonkiner-spin relations, Algebr. Geom.5(2018), no. 6, 703–727. MR 3871822

    2018

  28. [28]

    Differential Geom.83 (2009), no

    Kefeng Liu and Hao Xu,A proof of the Faber intersection number conjecture, J. Differential Geom.83 (2009), no. 2, 313–335. MR 2577471

    2009

  29. [29]

    Math.121(1995), no

    Eduard Looijenga,On the tautological ring ofM g, Invent. Math.121(1995), no. 2, 411–419. MR 1346214

    1995

  30. [30]

    II (Beijing, 2002), Higher Ed

    Rahul Pandharipande,Three questions in Gromov-Witten theory, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), Higher Ed. Press, Beijing, 2002, pp. 503–512. MR 1957060

    2002

  31. [31]

    ,A calculus for the moduli space of curves, Algebraic geometry: Salt Lake City 2015, Proc. Sympos. Pure Math., vol. 97, Amer. Math. Soc., Providence, RI, 2018, pp. 459–487. MR 3821159

    2015

  32. [32]

    Rahul Pandharipande, Aaron Pixton, and Dimitri Zvonkine,Relations on M g,n via3-spin structures, J. Amer. Math. Soc.28(2015), no. 1, 279–309. MR 3264769

    2015

  33. [33]

    J.163(2014), no

    Dan Petersen,The structure of the tautological ring in genus one, Duke Math. J.163(2014), no. 4, 777–793. MR 3178432

    2014

  34. [34]

    Math.152 (2016), no

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

    2016

  35. [35]

    Math.196(2014), no

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

    2014

  36. [36]

    MR 3153424

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

    2013

  37. [37]

    Mehdi Tavakol,The tautological ring ofM ct 1,n, Ann. Inst. Fourier (Grenoble)61(2011), no. 7, 2751–2779. MR 3112507 29

    2011