pith. sign in

arxiv: 2606.15193 · v2 · pith:G2Z3WKBTnew · submitted 2026-06-13 · 🧮 math.AG

The Chow ring of mathcal{S}₅^- is tautological

Bogdan Carasca This is my paper

Pith reviewed 2026-06-30 11:25 UTC · model grok-4.3

classification 🧮 math.AG
keywords moduli of spin curvesChow ringstautological ringsgenus 5 curvescanonical embeddingstheta characteristicsalgebraic geometry
0
0 comments X

The pith

The Chow ring of the moduli space of odd spin curves of genus 5 equals its tautological subring.

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

The paper establishes that every class in the Chow ring of S_5^-, the moduli space parametrizing pairs of a smooth genus-5 curve and an odd theta-characteristic, is generated by the standard tautological classes pulled back from the universal curve. This identification is proved by examining the canonical embeddings of such curves into projective space and the geometry of hyperplanes that are totally tangent to the curve at four points. A reader would care because the result reduces all intersection-theoretic questions on this space to calculations inside the tautological ring, which is usually much smaller and better understood. Along the way the paper also shows that a related differential stratum in the moduli space of genus-5 curves with four marked points is rational.

Core claim

The Chow ring of S_5^- coincides with the tautological subring generated by the Chern classes of the Hodge bundle and the classes coming from the universal spin curve; the equality is obtained by showing that the classes of loci defined by totally tangent hyperplanes to canonical genus-5 curves generate the full ring and lie in the tautological part.

What carries the argument

Geometry of canonical genus-5 curves together with the divisor of totally tangent hyperplanes, which is shown to generate the Chow ring and to be tautological.

If this is right

  • All intersection numbers on S_5^- reduce to computations inside the tautological ring.
  • The differential stratum in M_{5,4} that dominates S_5^- is a rational variety.
  • The tautological ring of S_5^- is generated by the classes of the Hodge bundle and the spin structure.
  • Push-forwards and pull-backs between S_5^- and related moduli spaces preserve the tautological property.

Where Pith is reading between the lines

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

  • The same geometric technique might be tried on S_g^- for g near 5 to test whether the Chow ring remains tautological.
  • Rationality of the differential stratum suggests that enumerative counts on S_5^- can be lifted to counts on a rational parameter space.
  • If the result extends to higher genus, it would give a uniform description of Chow rings for all odd spin moduli spaces.

Load-bearing premise

The classes arising from the geometry of canonical genus-5 curves and their totally tangent hyperplanes are enough to generate the entire Chow ring of S_5^-.

What would settle it

Exhibiting an explicit cycle class on S_5^- that cannot be expressed as a polynomial in the tautological generators would disprove the claim.

read the original abstract

The moduli spaces $\mathcal{S}_g^-$ parametrise odd spin curves of genus $g$. These are pairs $[C, \eta]$ where $C$ is a smooth genus $g$ curve of and $\eta$ is a line bundle on $C$ such that $\eta^{\otimes 2} = \omega_C$ and $h^0(C, \eta)$ is odd. The main result of this work is the tautology of the Chow ring of $\mathcal{S}_5^-$. Our method of proof revolves around an analysis of the geometry of canonical genus 5 curves and totally tangent hyperplanes. In the course of establishing our main result, we also prove the rationality of the closely related differential stratum in $\mathcal{M}_{5, 4}$ dominating $\mathcal{S}_5^-$.

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 / 2 minor

Summary. The paper claims that the Chow ring A^*(S_5^-) of the moduli space of odd spin curves of genus 5 equals its tautological subring R^*(S_5^-). The proof proceeds by analyzing the geometry of canonical genus-5 curves and totally tangent hyperplanes to generate all classes and relations, while also establishing the rationality of a dominating differential stratum in M_{5,4}.

Significance. If the result holds, it furnishes an explicit description of the Chow ring for this spin moduli space, extending known tautological computations to genus 5. The geometric method via canonical curves and the auxiliary rationality result on the differential stratum constitute concrete strengths that could serve as a template for related spaces.

minor comments (2)
  1. The abstract and introduction would benefit from a brief statement of the dimension of S_5^- and the expected rank of the tautological ring to orient the reader before the geometric arguments begin.
  2. Notation for the differential stratum in M_{5,4} is introduced without an explicit reference to its definition in the literature; adding a short citation or self-contained definition would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the recognition of the geometric methods via canonical curves and totally tangent hyperplanes, and the recommendation to accept. We are gratified that the auxiliary rationality result on the differential stratum in M_{5,4} is viewed as a potential template for related spaces.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes that the Chow ring of S_5^- equals its tautological subring through explicit geometric analysis of canonical genus-5 curves, totally tangent hyperplanes, and rationality of a dominating differential stratum in M_{5,4}. No load-bearing steps reduce by definition, fitted parameters, or self-citation chains to the target claim; the method generates classes and relations from independent geometric constructions rather than renaming or presupposing the result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the proof is described only at the level of geometric analysis of curves and hyperplanes.

pith-pipeline@v0.9.1-grok · 5661 in / 1018 out tokens · 36502 ms · 2026-06-30T11:25:16.473231+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

38 extracted references

  1. [1]

    Faro, Dario and Tamborini, Carolina , title =. Bull. Lond. Math. Soc. , issn =

  2. [2]

    and Pandharipande, R

    Graber, T. and Pandharipande, R. , title =. Mich. Math. J. , issn =

  3. [3]

    Faber, Carel , title =. Ann. Math. (2) , issn =

  4. [4]

    Canning, Samir and Larson, Hannah , title =. J. Algebr. Geom. , issn =

  5. [5]

    1983 , howpublished =

    Mumford, David , title =. 1983 , howpublished =

    1983

  6. [6]

    Vistoli, Angelo , title =. J. Algebra , issn =

  7. [7]

    Penev, Nikola and Vakil, Ravi , title =. Algebr. Geom. , issn =

  8. [8]

    and Lascoux, A

    Jozefiak, T. and Lascoux, A. and Pragacz, P. , title =. Math. USSR, Izv. , issn =

  9. [9]

    Looijenga, Eduard , title =. Invent. Math. , issn =

  10. [10]

    Farkas, Gavril and Pandharipande, Rahul , title =. J. Inst. Math. Jussieu , issn =

  11. [11]

    Faber, Carel , title =. Ann. Math. (2) , volume =

  12. [12]

    Sauvaget, Adrien , title =. Geom. Topol. , issn =

  13. [13]

    Moduli of curves and abelian varieties

    Faber, Carel , title =. Moduli of curves and abelian varieties. The Dutch intercity seminar on moduli , isbn =. 1999 , publisher =

    1999

  14. [14]

    The moduli space of curves

    Izadi, Elham , title =. The moduli space of curves. Proceedings of the conference held on Texel Island, Netherlands during the last week of April 1994 , isbn =. 1995 , publisher =

    1994

  15. [15]

    Moduli of curves and abelian varieties

    van der Geer, Gerard , title =. Moduli of curves and abelian varieties. The Dutch intercity seminar on moduli , isbn =. 1999 , publisher =

    1999

  16. [16]

    2016 , publisher =

    Eisenbud, David and Harris, Joe , title =. 2016 , publisher =

    2016

  17. [17]

    , title =

    Dolgachev, Igor V. , title =. 2012 , publisher =

    2012

  18. [18]

    Bini, Gilberto and Fontanari, Claudio , title =. Collect. Math. , volume =

  19. [19]

    2022 , howpublished =

    Canning, Samir and Larson, Hannah , title =. 2022 , howpublished =

    2022

  20. [20]

    Bini, Gilberto , title =. Asian J. Math. , issn =

  21. [21]

    and Pandharipande, R

    Graber, T. and Pandharipande, R. , title =. Mich. Math. J. , volume =

  22. [22]

    Proceedings of the first college on Riemann surfaces held in Trieste, Italy, November 9-December 18, 1987 , pages =

    Cornalba, Maurizio , title =. Proceedings of the first college on Riemann surfaces held in Trieste, Italy, November 9-December 18, 1987 , pages =. 1989 , publisher =

    1987

  23. [23]

    Belorousski, Pavel , title =

  24. [24]

    Casnati, Gianfranco and Fontanari, Claudio , title =. J. Lond. Math. Soc., II. Ser. , volume =

  25. [25]

    and Del Centina, A

    Bardelli, F. and Del Centina, A. , title =. Indag. Math., New Ser. , issn =

  26. [26]

    Bardelli, Fabio and Del Centina, Andrea , title =. Pac. J. Math. , issn =

  27. [27]

    and Del Centina, A

    Casnati, G. and Del Centina, A. , title =. Bull. Lond. Math. Soc. , issn =

  28. [28]

    Farkas, Gavril and Verra, Alessandro , Title =. Ann. Math. (2) , ISSN =

  29. [29]

    Farkas, Gavril , title =. Adv. Math. , volume =

  30. [30]

    and Cornalba, M

    Arbarello, E. and Cornalba, M. and Griffiths, P. A. and Harris, J. , title =. 1985 , publisher =

    1985

  31. [31]

    Canning, Samir and Larson, Hannah , title =. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) , volume =

  32. [32]

    Krug, Sebastian , title =

  33. [33]

    Kresch, Andrew , title =. Invent. Math. , volume =

  34. [34]

    2025 , howpublished =

    Carasca, Bogdan-Petru , title =. 2025 , howpublished =

    2025

  35. [35]

    Wall, C. T. C. , title =. Philos. Trans. R. Soc. Lond., Ser. A , volume =

  36. [36]

    Nagoya Math

    Miyata, Takehiko , title =. Nagoya Math. J. , issn =

  37. [37]

    Mumford, David , title =. Ann. Sci

  38. [38]

    , title =

    Atiyah, Michael F. , title =. Ann. Sci