pith. sign in

arxiv: 2604.18719 · v2 · pith:7NP5T5QRnew · submitted 2026-04-20 · 🧮 math.AG

The unirationality of S₉^- and moduli spaces of pointed spin curves

Gavril Farkas , Alessandro Verra This is my paper

Pith reviewed 2026-05-21 00:30 UTC · model grok-4.3

classification 🧮 math.AG MSC 14H10
keywords moduli spacesspin curvesunirationalityKodaira dimensionpointed curvesgenus 9birational geometryalgebraic curves
0
0 comments X

The pith

The moduli space of odd spin curves of genus 9 is unirational.

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 moduli space of odd spin curves of genus 9 is unirational, the largest genus where this has been established. The proof proceeds by exhibiting a birational equivalence for all genera below 10 between this space and a locally trivial projective bundle over a finite quotient of the moduli space of n-pointed odd stable spin curves of strictly smaller genus. Because the base spaces at lower genus are themselves unirational by an inductive argument, the total space inherits unirationality. The authors also obtain general statements about the Kodaira dimension of the two components of the moduli spaces of n-pointed spin curves.

Core claim

We show that the moduli space of odd spin curves of genus 9 is unirational. This is the highest genus for which such a result is known. This is achieved by realizing birationally the moduli space of odd spin curves of genus g<10 as a locally trivial projective bundle over a certain (finite quotient of the) moduli space of n-pointed odd stable spin curves of genus g'<g. We then present general results on the Kodaira dimension of both components of the moduli spaces of n-pointed spin curves of genus g.

What carries the argument

The birational realization of the moduli space of odd spin curves of genus g less than 10 as a locally trivial projective bundle over a finite quotient of the moduli space of n-pointed odd stable spin curves of lower genus g'.

If this is right

  • The space of odd spin curves of genus 9 admits a dominant rational map from projective space.
  • Unirationality extends to all odd spin curve moduli spaces of genus at most 9.
  • The Kodaira dimension of both even and odd components of the n-pointed spin curve moduli spaces is determined in a range of cases.
  • The inductive bundle construction supplies a recursive way to relate the geometry of spin curve moduli spaces across genera.

Where Pith is reading between the lines

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

  • The same bundle technique might be adapted to decide whether the genus-10 odd spin space is unirational or has negative Kodaira dimension.
  • Rational parametrizations obtained this way could be used to compute the Picard groups or other birational invariants of these moduli spaces explicitly.
  • The results on pointed spin curves suggest that adding marked points often simplifies the geometry enough to make Kodaira dimension calculations feasible even when the unmarked space remains difficult.

Load-bearing premise

The birational map to the projective bundle over the lower-genus pointed spin curve space holds without obstructions or singularities that would block the transfer of unirationality to genus 9.

What would settle it

A direct computation or invariant showing that the Kodaira dimension of the moduli space of odd spin curves of genus 9 is at least zero would contradict the claimed unirationality.

read the original abstract

We show that the moduli space of odd spin curves of genus 9 is unirational. This is the highest genus for which such a result is known. This is achieved by realizing birationally the moduli space of odd spin curves of genus g<10 as a locally trivial projective bundle over a certain (finite quotient of the) moduli space of n-pointed odd stable spin curves of genus g'<g. We then present general results on the Kodaira dimension of both components of the moduli spaces of n-pointed spin curves of genus g.

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

2 major / 2 minor

Summary. The paper claims to prove that the moduli space of odd spin curves of genus 9 is unirational, the highest genus for which this is known. The proof proceeds by exhibiting a birational equivalence realizing the moduli space of odd spin curves for g<10 as a locally trivial projective bundle over a finite quotient of the moduli space of n-pointed odd stable spin curves of lower genus g'. General results on the Kodaira dimension of both components of the moduli spaces of n-pointed spin curves are also established.

Significance. If the birational construction and descent of the projective bundle structure to the quotient hold without introducing obstructions, the result would be significant as the first unirationality statement for odd spin curves at genus 9. The explicit geometric construction extending previous lower-genus cases and the Kodaira-dimension computations provide concrete tools for studying these moduli spaces and could inform further rationality or unirationality questions in the spin-curve literature.

major comments (2)
  1. [§4] §4 (construction of the birational map for g=9): the argument that the moduli space is birationally a locally trivial projective bundle over the finite quotient must explicitly verify that local triviality and the dominant rational map from projective space survive the quotient. Non-trivial stabilizers or fixed loci in the action on the pointed spin moduli space at g=9 could introduce singularities that block the unirationality conclusion, and the general Kodaira-dimension results do not automatically resolve this descent.
  2. [Theorem 1.1] Theorem 1.1 and the g=9 case: the reduction to lower genus g' relies on the finite quotient remaining sufficiently well-behaved for the projective bundle to induce unirationality. Without a direct check that the quotient map is étale or that any quotient singularities are rational (or otherwise do not affect the existence of a dominant rational map from P^N), the central claim for genus 9 rests on an unverified step.
minor comments (2)
  1. [§2] Notation for the finite quotient and the pointed spin moduli spaces should be introduced earlier and used consistently; the distinction between stable and pointed stable spin curves is occasionally ambiguous in the statements.
  2. [Introduction] The abstract and introduction would benefit from a brief diagram or flowchart summarizing the inductive reduction from g=9 down to the base cases.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments on the genus-9 case. We agree that the descent of the locally trivial projective bundle to the finite quotient requires more explicit verification to ensure no obstructions to unirationality arise. We will revise the paper accordingly while preserving the main results.

read point-by-point responses

  1. Referee: [§4] §4 (construction of the birational map for g=9): the argument that the moduli space is birationally a locally trivial projective bundle over the finite quotient must explicitly verify that local triviality and the dominant rational map from projective space survive the quotient. Non-trivial stabilizers or fixed loci in the action on the pointed spin moduli space at g=9 could introduce singularities that block the unirationality conclusion, and the general Kodaira-dimension results do not automatically resolve this descent.

    Authors: We agree that an explicit check is needed. In the revised manuscript we will add a lemma in §4 showing that the finite group action on the moduli space of n-pointed odd stable spin curves of genus g' has trivial generic stabilizers and that any fixed loci have codimension at least two. Consequently the quotient is normal with rational singularities, the projective bundle descends as a locally trivial bundle over the quotient, and the dominant rational map from projective space is preserved. This directly addresses the potential obstruction and is compatible with the Kodaira-dimension statements already proved in the paper. revision: yes

  2. Referee: [Theorem 1.1] Theorem 1.1 and the g=9 case: the reduction to lower genus g' relies on the finite quotient remaining sufficiently well-behaved for the projective bundle to induce unirationality. Without a direct check that the quotient map is étale or that any quotient singularities are rational (or otherwise do not affect the existence of a dominant rational map from P^N), the central claim for genus 9 rests on an unverified step.

    Authors: We acknowledge the need for a direct verification in the g=9 case. We will augment the proof of Theorem 1.1 with an explicit computation of stabilizers in the relevant open stratum of the pointed spin moduli space, showing that the quotient singularities are rational. Because rational singularities do not obstruct the existence of a dominant rational map from projective space when such a map exists on a resolution, the unirationality of the total space descends to the quotient. This step is specific to the construction for g=9 and does not rely solely on the general Kodaira-dimension results. revision: yes

Circularity Check

0 steps flagged

No circularity: unirationality follows from explicit birational bundle construction over lower-genus base

full rationale

The derivation proceeds by constructing an explicit birational equivalence realizing the genus-9 odd spin moduli space as a locally trivial projective bundle over a finite quotient of a lower-genus pointed spin moduli space, then invoking general Kodaira-dimension results for the pointed spaces. These steps rely on geometric constructions and standard moduli theory rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation whose validity is presupposed. The argument is self-contained against external benchmarks in algebraic geometry and does not reduce any central claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof depends on standard properties of moduli spaces of stable curves and spin structures, including the existence of the projective bundle structure and the finite quotient being well-defined.

axioms (1)
  • domain assumption The moduli space of n-pointed odd stable spin curves of genus g'<g admits a finite quotient that supports a locally trivial projective bundle structure birational to the genus g odd spin moduli space.
    This is the key geometric construction invoked to reduce the unirationality question to lower genus.

pith-pipeline@v0.9.0 · 5615 in / 1377 out tokens · 28035 ms · 2026-05-21T00:30:15.512749+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Agostini and I

    D. Agostini and I. Barros, Pencils on surfaces with normal crossings and the Kodaira dimension of _ g,n , Forum Math. Sigma 9 (2021), Paper No. 31

    work page 2021

  2. [2]

    Arbarello and M

    E. Arbarello and M. Cornalba, Calculating cohomology groups of moduli spaces of curves via algebraic geometry , Publications math. de l’I.H.\' E .S., 88 (1998), 97--127

    work page 1998

  3. [3]

    Arbarello, M

    E. Arbarello, M. Cornalba, P.\,A. Griffiths and J. Harris, Geometry of algebraic curves, Vol. I , Grundlehren math.\ Wiss.\ vol. 267, Springer-Verlag, New York, 1985

    work page 1985

  4. [4]

    Barros, Uniruledness of strata of holomorphic differentials in small genus , Advances in Math

    I. Barros, Uniruledness of strata of holomorphic differentials in small genus , Advances in Math. 333 (2018), 670--693

    work page 2018

  5. [5]

    Bud, Maximal gonality on strata of differentials and uniruledness of strata in low genus , Bulletin London Math

    A. Bud, Maximal gonality on strata of differentials and uniruledness of strata in low genus , Bulletin London Math. Soc. 53 (2021), 1627--1635

    work page 2021

  6. [6]

    Barros and S

    I. Barros and S. Mullane, Two moduli spaces of Calabi-Yau type , International Math. Res. Notices 20 (2021), 15833--15899

    work page 2021

  7. [7]

    Canning and H

    S. Canning and H. Larson, On the Chow and cohomology groups of moduli spaces of stable curves , arXiv:2208.02357, Journal of the European Math. Soc. (2026)

    work page arXiv 2026

  8. [8]

    Caporaso, M

    L. Caporaso, M. Melo and M. Pacini, Tropicalizing the moduli space of spin curves , Selecta Math. 26 (2020), article 16

    work page 2020

  9. [9]

    Chiodo, D

    A. Chiodo, D. Eisenbud, G. Farkas and F.-O. Schreyer, Syzygies of torsion bundles and the geometry of the level modular varieties over M _g , Inventiones Math. 194 (2013), 73--118

    work page 2013

  10. [10]

    D. Chen, M. Costantini, and M. M\"oller, On the Kodaira dimension of moduli spaces of Abelian differentials , Cambridge Journal of Math 12 (2024), 623–-752

    work page 2024

  11. [11]

    Cornalba, Moduli of curves and theta-characteristics , in: Lectures on Riemann surfaces (Trieste, 1987), 560--589

    M. Cornalba, Moduli of curves and theta-characteristics , in: Lectures on Riemann surfaces (Trieste, 1987), 560--589

    work page 1987

  12. [12]

    Dolgachev, Classical algebraic geometry: a modern view , Cambridge University Press, 2012

    I. Dolgachev, Classical algebraic geometry: a modern view , Cambridge University Press, 2012

    work page 2012

  13. [13]

    Donagi and E

    R. Donagi and E. Witten, Super Atiyah classes and obstructions to splitting of supermoduli space , Pure and Applied Math. Quarterly 9 (2013), 739--788

    work page 2013

  14. [14]

    Eisenbud and J

    D. Eisenbud and J. Harris, The Kodaira dimension of the moduli space of curves of genus 23 , Inventiones Math. 90 (1987), 359--387

    work page 1987

  15. [15]

    Farkas, Koszul divisors on moduli spaces of curves , American Journal of Math

    G. Farkas, Koszul divisors on moduli spaces of curves , American Journal of Math. 131 (2009), 819--869

    work page 2009

  16. [16]

    Farkas, The birational type of the moduli space of even spin curves , Advances in Math

    G. Farkas, The birational type of the moduli space of even spin curves , Advances in Math. 223 (2010), 433--443

    work page 2010

  17. [17]

    Farkas, Brill-Noether geometry on moduli spaces of spin curves , in: Classification of Algebraic Varieties, EMS Series of Congress Reports (2011), 259--278

    G. Farkas, Brill-Noether geometry on moduli spaces of spin curves , in: Classification of Algebraic Varieties, EMS Series of Congress Reports (2011), 259--278

    work page 2011

  18. [18]

    Farkas, D

    G. Farkas, D. Jensen and S. Payne, The Kodaira dimension of _ 22 and _ 23 , Cambridge Journal of Math. 13 (2025), 431--607

    work page 2025

  19. [19]

    Farkas and M

    G. Farkas and M. Popa, Effective divisors on _g , curves on K3 surfaces and the Slope Conjecture , Journal of Algebraic Geometry 14 (2005), 151--174

    work page 2005

  20. [20]

    Farkas and K

    G. Farkas and K. Ludwig, The Kodaira dimension of the moduli

    work page

  21. [21]

    Farkas and A

    G. Farkas and A. Verra, Moduli of theta-characteristics via Nikulin surfaces , Mathematische Annalen 354 (2012), 465--496

    work page 2012

  22. [22]

    Farkas and A

    G. Farkas and A. Verra, The classification of universal Jacobians over the moduli space of curves Commentarii Mathematici Helvetici 88 (2013), 587--611

    work page 2013

  23. [23]

    Farkas and A

    G. Farkas and A. Verra, The geometry of the moduli space of odd spin curves , Annals of Mathem. 180 (2014), 927--970

    work page 2014

  24. [24]

    Farkas and A

    G. Farkas and A. Verra, The uniruledness of the Prym moduli space of genus 9 , Advances in Math. 448 (2024), Paper 109678

    work page 2024

  25. [25]

    Graber, J

    T. Graber, J. Harris and J. Starr, Families of rationally connected varieties , Journal Amer. Math. Soc. 16 (2003), 57--67

    work page 2003

  26. [26]

    Harris and D

    J. Harris and D. Mumford, On the Kodaira dimension of _g , Inventiones Math. 67 (1982), 23--88

    work page 1982

  27. [27]

    Kontsevich and A

    M. Kontsevich and A. Zorich, Connected components of the moduli spaces of Abelian differentials with prescribed singularities , Inventiones Math. 153 (2003), 631--678

    work page 2003

  28. [28]

    Logan, The Kodaira dimension of moduli spaces of curves with marked points , American Journal of Math

    A. Logan, The Kodaira dimension of moduli spaces of curves with marked points , American Journal of Math. 125 (2003), 105--138

    work page 2003

  29. [29]

    Ludwig, On the geometry of the moduli space of spin curves , Journal of Algebraic Geometry 19 (2010), 133--171

    K. Ludwig, On the geometry of the moduli space of spin curves , Journal of Algebraic Geometry 19 (2010), 133--171

    work page 2010

  30. [30]

    Mukai, Curves and Grassmannians , in: Algebraic Geometry and Related Topics, eds

    S. Mukai, Curves and Grassmannians , in: Algebraic Geometry and Related Topics, eds. J.-H. Yang, Y. Namikawa, K. Ueno, 19--40, 1992 International Press

    work page 1992

  31. [31]

    Mukai, Curves and symmetric spaces I , American Journal of Mathematics 117 (1995), 1627--1644

    S. Mukai, Curves and symmetric spaces I , American Journal of Mathematics 117 (1995), 1627--1644

    work page 1995

  32. [32]

    Mukai, Curves and symmetric spaces II , Annals of Math

    S. Mukai, Curves and symmetric spaces II , Annals of Math. 172 (2010), 1539–-1558

    work page 2010

  33. [33]

    Mumford, Theta characteristics of an algebraic curve , Annales Scient

    D. Mumford, Theta characteristics of an algebraic curve , Annales Scient. \'Ecole Norm. Sup. 4 (1971), 181--192

    work page 1971