DR cycles and strata of differentials with spin parity

Adrien Sauvaget; David Holmes; Georgios Politopoulos

REVIEW 1 major objections 5 minor 16 references

DR cycles and strata of differentials with spin parity

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Spin-parity strata classes in the Chow ring of moduli spaces of curves are tautological and explicitly computable for odd k and odd a.

desk verdict Strong paper that proves the spin DR conjecture and computes spin strata classes, but the main theorem is conditional on an unpublished thesis; send it to referees and make the missing proof a condition. read the letter →

arxiv 2509.03650 v1 pith:QV3XQHPB submitted 2025-09-03 math.AG

David Holmes , Georgios Politopoulos , Adrien Sauvaget This is my paper · ORCID

classification math.AG MSC 14H1014C17

keywords spinstructuresstrataofdifferentialsdoubleramificationcyclestautologicalringmodulicurvesparityChowSegreclasses

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that, on moduli spaces of stable curves, the difference between the even and odd spin-parity components of a stratum of k-differentials is a tautological class and can be explicitly written in the standard tautological generators. This settles the computability question for the spin refinement of classes of strata of differentials when the order k and the vector a are odd. The route is a spin version of the double ramification cycle: one expression identifies it with an explicit graph-sum tautological class, and another expresses it as a star-graph sum whose summands are spin classes of strata of lower genus and fewer markings. These identities, together with a computation of signed Segre classes of cones of spin sections, feed an induction that gives the formula in every genus.

What carries the argument

The load-bearing mechanism is the spin double ramification cycle $DR^\pm_g(a,k)$, formed by capping the spin DR class with the parity cycle on the moduli space of spin curves and pushing forward. The argument uses two computable expressions for it: a graph-weighting tautological class $P^\pm_g(a,k)$ obtained as the constant term of a polynomial in $r$, and a star-graph expansion $H^\pm_g(a,k)$ indexed by $k$-simple star graphs with odd twists. The second engine is the cone of squares of spin sections; Theorem 1.10 packages its signed Segre classes in the series $L_g(t)=2^{g-1}\Lambda(2t)\Lambda(-t)-2^{2g-1}$, and a Möbius inversion converts that series into the cone Segre classes. Together these reduce parity-filtered stratum classes to finite sums of $\kappa$-, $\psi$- and $\lambda$-classes, making induction on genus and $|a|$ possible.

What would settle it

Directly enumerate the points of the double ramification locus over a generic point of its non-saturated model for a two-vertex $k$-simple star graph and compare with $\prod_e I(e)/\prod_v \mathrm{lcm}_{e\to v}(I(e))$. Alternatively, run the paper's algorithm for $(g,n,a,k)=(3,1,(5),1)$, push the resulting class of $[\mathcal{M}_3((5))]_\pm$ forward to $\mathcal{M}_3$, and compare with the independently known class of the even spin component in that genus; any mismatch would trace through the induction.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for odd $k$ and an odd vector $a$, the spin class $[\mathcal{M}_g(a,k)]_\pm := [\mathcal{M}_g(a,k)_+] - [\mathcal{M}_g(a,k)_-]$ lies in the tautological ring $A^*(\mathcal{M}_{g,n},\mathbb{Q})$ and is explicitly computable. The proof identifies the spin double ramification cycle $DR^\pm_g(a,k)$ with the explicit graph-sum spin class $P^\pm_g(a,k)$ (Proposition 1.4), and, for $a$ not in $(k\mathbb{N})^n$, with the star-graph expansion $H^\pm_g(a,k)$ whose coefficients are products of twist values and whose summands are spin classes of lower-complexity strata (Theorem 1.8). Theorem 1.10 then computes the signed Segre series of cones of spin sections as $L_g(t)=2^{g-1}\Lambda(2t)\Lambda(-t)-2^{2g-1}$, a quadratic Hodge symbol built from tautological $\lambda$-classes. Lemma 5.5 assembles these inputs into an induction on genus, number of markings and $|a|$, producing an explicit formula in the standard generators.

Load-bearing premise

The computation rests on an unpublished count: over a generic point of the non-saturated double ramification locus belonging to a $k$-simple star graph there are exactly $\prod_e I(e)/\prod_v \mathrm{lcm}_{e\to v}(I(e))$ points, a fact cited to a thesis that is not included; if that count is wrong, the star-graph coefficients fail.

Editorial extensions

If this is right

Every parity-refined stratum class $[\mathcal{M}_g(a,k)]_\pm$ is an explicit linear combination of $\kappa$-, $\psi$- and $\lambda$-classes in the tautological ring.
The spin double ramification cycle equals the star-graph expansion $H^\pm_g(a,k)$ for $a\notin(k\mathbb{N})^n$, and the polynomiality reduction handles the remaining cases.
All classes obtained by pushing forward powers of the tautological class on the projectivized cone of squares of spin sections, with spin signs and residue conditions, are tautological and computable.
A previously conditional spin-stratum algorithm for 1-differentials now runs in all genera, since Theorem 1.1 supplies the tautologicity it assumed.
The identity $L_g(t)=2^{g-1}\Lambda(2t)\Lambda(-t)-2^{2g-1}$ expresses the signed Segre generating series as a computable quadratic Hodge symbol.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the paper's conjectural relation to spin-refined $r$-spin classes holds, the same formulas would yield the first explicit values of those classes; the paper does not prove that relation.
The one unavailable input, the point count over the non-saturated double ramification locus, could plausibly be derived from the $\mu_2$-action constructed in Section 4, which would remove the dependence on the unpublished thesis.
The cone-of-sections mechanism is likely to extend to other locally constant refinements of strata, for example $r$-spin or weighted spin settings, whenever an analogous parity invariant exists.
Adding the even and odd classes should recover the ordinary stratum class $[\mathcal{M}_g(a,k)]$, giving a low-degree consistency check of the new formula.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The headline result is real. The paper proves the spin DR formula H± = DR± that was Conjecture 2.5 in CSS21, and from it gets the unconditional tautologicality and computability of spin-parity strata classes. Wong's earlier algorithm required those classes to be tautological as an input; here the induction goes through without that assumption. The Segre-class computation for cones of spin sections (Theorem 1.10) is also new and looks sound. The proof is mostly a careful chain through published results—BHP+23, HS21, Sau19—with new pieces around the parity action on DRL and the spin DR cycle. I did not find an internal contradiction.

The soft spot is the one the stress-test note identifies, and it is real. Remark 3.16 states the number of points of DRL over a generic point of DRL_f as ∏ I(e)/∏ lcm_{e→v}(I(e)), and says the proof is in the unpublished thesis [Pol25]. That count fixes the coefficients c_{Γ,I} in Theorem 4.14, which feeds Theorem 1.8 and then Lemma 5.5. So the main theorem is conditional on an input the reader cannot verify from the manuscript. The count is plausible—the gcd check in §3.3.3 fits—but the text itself says the proof is elsewhere. A secondary version of the same problem appears in Lemma 1.9: the a∈(kN)^n case leans on polynomiality results cited to [Spe24] and [Pix23], which are less public than one would like.

This is not a fatal flaw in the sense of an internal contradiction, but it is load-bearing. A referee should not have to take the author's thesis on faith. The path to a publishable version is clear: include the proof of Remark 3.16, or make [Pol25] available and have the referee verify it.

Who benefits: anyone working on spin-refined strata, DR cycles, Masur-Veech volumes, or Witten-class computations in FJRW theory. The paper is important enough to deserve a serious referee rather than a desk reject. I would send it out, with the missing proof as a condition.

Referee Report

1 major / 5 minor

Summary. The paper studies the Chow classes of spin-parity strata of k-differentials on M_g,n. For odd k and odd a it defines the signed class [M_g(a,k)]_± = [M_g(a,k)_+] - [M_g(a,k)_-] and proves (Theorem 1.1) that this class is tautological and explicitly computable. The proof has two main pillars: Theorem 1.8, which identifies the spin double ramification cycle DR^±_g(a,k) with the star-graph expression H^±_g(a,k), and Theorem 1.10, which expresses signed Segre classes of cones of spin sections in terms of quadratic Hodge symbols. The authors also prove Proposition 1.4 (DR^± = Pixton's spin class P^±) and develop an induction in Lemma 5.5 that reduces the computation of spin strata classes to the base cases supplied by Theorem 1.10.

Significance. If the main results are correct, the paper resolves a natural and long-standing problem: spin-parity refined strata classes are tautological and computable in all genera. It confirms Conjecture 2.5 of CSS21, provides the first general algorithm for these classes that does not rely on the full tautological ring, and yields a concrete route toward computing spin Hurwitz numbers and Witten-type classes in FJRW theory. The technical work is substantial: it combines Cornalba's spin curves, the logarithmic double ramification cycle, Pixton's formula, and incidence-variety compactifications. Many of the inputs are cited from published sources, and the paper contains extensive original arguments, including the parity-vanishing Proposition 2.10 and the µ2-action in Section 4. However, one load-bearing sign inconsistency in Theorem 1.10's proof (detailed below) needs to be resolved before the main theorem can be considered reliable.

major comments (1)

[§6.5, Proposition 6.5, Eq. (40); proof of Theorem 1.10] The statement of Proposition 6.5 and its proof are inconsistent. The proof ends with the equality ~s^±_g(t/2) = 2^g Λ(t)Λ(-t/2)/(1 - tψ_1/2), which after substituting t ↦ 2t gives ~s^±_g(t) = 2^g Λ(2t)Λ(-t)/(1 - tψ_1). Eq. (40), however, states ~s^±_g(t) = 2^g Λ(-2t)Λ(t)/(1 - tψ_1). These two expressions are not equal in general: for g = 1, for instance, they differ in the coefficient of λ_1 t unless λ_1^2 = 0 in the Chow ring, which is not the case on M_1,n. The subsequent proof of Theorem 1.10 multiplies Eq. (40) by (1-tψ_1) and compares the result with L_g(t) = 2^{g-1}Λ(2t)Λ(-t) - 2^{2g-1}; this comparison is valid for exactly one of the two sign conventions. The authors must determine the correct formula, correct either Eq. (40) or the derivation, and then re-verify the first identity of Theorem 1.10 and its use in the induction of Lemma 5.5, which is the final step in the proof of Theorem 1.1.

minor comments (5)

[§3.3.4, Remark 3.16] The point count over DRL_f is stated as provable in the unpublished thesis [Pol25]. I checked the dependency chain: the proof of Theorem 4.14 reduces the coefficients c_{Γ,I} directly to lengths at generic points of DRL_f via [HS21, Lemma 2.12], so Remark 3.16 appears not to be used in the main theorems. If that is correct, the remark should be removed or explicitly marked non-essential; if it is used anywhere, a proof must be supplied in the manuscript.
[§5.4, proof of Proposition 5.6] The sentence 'd(0, 3) = 1, d(1, 0) = -3, and d(1, 0) = 1' contains a typo: the second occurrence of d(1,0) should presumably be d(1,1).
[Introduction, Conjecture 1.2 discussion] The name Teleman is spelled 'Telemann' in the passage discussing the reconstruction theorem; the reference is to Teleman's theorem.
[§2.3, Definition 2.17 and Proposition 2.21] The notation P^{c,r,1/2}_g(a,k) is somewhat confusing because the superscript 1/2 appears together with the integer powers in the Pixton formula; a brief explanation of the notation would improve readability.
[§5.2, Definition 5.1] The definition of bi-colored graph uses 'non-trivial partition of the set of vertices V = V_0 ⊔ V_-1'; it would be helpful to state explicitly whether both sets are required to be non-empty, as suggested by 'non-trivial'.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation chain; one unpublished author-overlapping citation (Remark 3.16) is a correctness gap rather than a circular step.

full rationale

The claimed derivation is not circular. Theorem 1.1 is obtained in Lemma 5.5 from Theorem 1.8 and Theorem 1.10. Theorem 1.8 (spin star-graph equals spin DR cycle) is proved in Theorem 4.14 by writing DR± as a sum over star graphs with unknown coefficients c_{Γ,I} and computing those coefficients as Artin-local lengths; the proof invokes [HS21] for the lengths at generic points of DRL_f, not the identity being proved. Theorem 1.10 is proved from the geometry of cones of spin sections, using the spin Chiodo formula and the classical identity ϵ_*([±]·s^*(R^*π_*L)) = 2^{g−1}Λ(−1)Λ(1/2) from [GKL21, GKLS22]; no step sets the target class equal to its defining input. Proposition 1.4 is a computation of the combinatorial Pixton spin class P± via [BHP+23] and Propositions 2.10 and 2.11; P± is not defined as DR±. The only flagged passage is Remark 3.16, which cites the unpublished thesis [Pol25] for a point count over DRL_f: "It can be proven [Pol25], using the étale local picture of M^a_g and M^a_{g,f}, that over the generic point p of DRL_{(Γ,I)}^f there are exactly ∏_{e∈E(Γ)} I(e) / ∏_{v∈Vout} lcm_{e→v}(I(e)) points in DRL." This is an author-overlapping unpublished input and a potential correctness gap, but it does not enter the proof of Theorem 4.14, which uses [HS21] directly for the coefficients. Because the main derivations are self-contained against published external theorems, the circularity score is low.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

Pure mathematics: there are no data-fitted free parameters and no invented physical or geometric entities. The central claim rests on a chain of external theorems, and the most fragile input is the unpublished point count from [Pol25].

assumptions (6)

domain assumption Cornalba's moduli stack of spin curves is a smooth DM stack with locally constant parity and a finite flat morphism to M_{g,n}.
The spin parity splitting of strata depends on this compactification and on parity invariance; the paper cites Cor89 and does not reprove these foundational properties.
standard math Universal DR formula DR^op_{g,a} = P^g_{g,a} on the Picard stack, proved by Bae-Holmes-Pandharipande-Schmitt-Schwarz.
Used in Proposition 2.19 and Proposition 1.4 to identify the spin DR cycle with Pixton's spin class.
domain assumption Lengths of Artin local rings of DRL_f for k-simple star graphs equal product_e I(e) / k^{|V_out|}, from Holmes-Schmitt.
This is the main external input used to compute the coefficients c_{Gamma,I} in Theorem 4.14.
ad hoc to paper The point count over DRL_f in Remark 3.16 equals product_e I(e) / product_v lcm_{e to v}(I(e)).
This assertion is specific to the present argument and its proof is deferred to the unpublished thesis [Pol25]; it is load-bearing for the coefficient computation in Theorem 4.14.
domain assumption Polynomiality of DR and spin Pixton classes in r, used to handle the case a in (kN)^n in Lemma 1.9.
The paper cites Spe24 and Pix23 for this; Pix23 appears as an unpublished manuscript, so the statement is not independently verifiable from the preprint.
standard math Chiodo's formula for Chern characters of R pi_* of roots of omega_log on twisted curve moduli.
This is used in Proposition 6.5 to compute signed Segre classes of cones of spin sections, which is the heart of Theorem 1.10.

how reviews work

0 comments

Cite this review

Pith. "Pith review of DR cycles and strata of differentials with spin parity." pith.science (2026). https://pith.science/paper/QV3XQHPB

@misc{pith2026250903650,
  author       = {Pith},
  title        = {Pith review of: DR cycles and strata of differentials with spin parity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QV3XQHPB}},
  note         = {Machine review of arXiv:2509.03650}
}

read the original abstract

We study classes of strata of differentials with fixed spin parity in the Chow ring of moduli spaces of curves. We show that these classes are tautological and computable. Furthermore, we establish the refined DR cycle formula for these classes.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 11 canonical work pages

[10]

Polishchuk and A

[PV01] A. Polishchuk and A. Vaintrob. Algebraic construction of Witten’s top Chern class. In Advances in algebraic geometry motivated by physics. Proceedings of the AMS special session on enumerative geometry in physics, University of Massachusetts, Lowell, MA, USA, April 1–2, 2000, pages 229–249. Providence, RI: American Mathematical Society (AMS),

work page 2000
[11]

A flat perspective on moduli spaces of hyperbolic surfaces

[Sau24] A. Sauvaget. A flat perspective on moduli spaces of hyperbolic surfaces. Preprint, arXiv:2405.10869 [math.AG] (2024),

work page Pith review arXiv 2024
[13]

[vIS22] J. W. van Ittersum and A. Sauvaget. Cylinder counts and spin refinement of area Siegel-Veech constants. Preprint, arXiv:2210.17374 [math.AG] (2022),

work page Pith review arXiv 2022
[14]

[Wit93] E. Witten. Algebraic geometry associated with matrix models of two dimensional gravity. InTopological methods in modern mathematics. Proceedings of a symposium in honor of John Milnor’s sixtieth birthday, 65 held at the State University of New York at Stony Brook, USA, June 14-June 21, 1991, pages 235–269. Houston, TX: Publish or Perish, Inc.,

work page 1991
[1971]

[Mum83] D. Mumford. Towards an enumerative geometry of the moduli space of curves. Arithmetic and geometry, Pap. dedic. I. R. Shafarevich, Vol. II: Geometry, Prog. Math. 36, 271-328 (1983).,

work page 1983
[1989]

Costantini, A

[CSS21] M. Costantini, A. Sauvaget, and J. Schmitt. Integrals of ψ-classes on twisted double ramification cycles and spaces of differentials. Preprint, arXiv:2112.04238 [math.AG] (2021),

arXiv 2021
[1993]

[Won24] Y.M.Wong.Analgorithmtocomputethefundamentalclassesofspincomponentsofstrataofdifferentials. Int. Math. Res. Not., 2024(6):4893–4962,

work page 2024
[2002]

[Mul17] S. Mullane. Divisorial strata of abelian differentials. Int. Math. Res. Not., 2017(6):1717–1748,

work page 2017

Show all 16 references

[2007]

[CGH+22] D. Chen, S. Grushevsky, D. Holmes, M. Möller, and J. Schmitt. A tale of two moduli spaces: logarithmic and multi-scale differentials. Preprint, arXiv:2212.04704 [math.AG] (2022),

2022 arXiv
[2012]

[GKL21] A

Id/No 1250069. [GKL21] A. Giacchetto, R. Kramer, and D. Lewański. A new spin on Hurwitz theory and ELSV via theta charac- teristics. Preprint, arXiv:2104.05697 [math-ph] (2021),

2021 arXiv
[2018]

[Spe24] P. Spelier. Polynomiality of the double ramification cycle. Preprint, arXiv:2401.17421 [math.AG] (2024),

2024 arXiv
[2019]

Politopoulos and A

[PS22] G. Politopoulos and A. Sauvaget. Computation of λ-classes via strata of differentials. Preprint, arXiv:2206.00358 [math.AG] (2022),

2022 arXiv
[2020]

Cornalba

[Cor89] M. Cornalba. Moduli of curves and theta-characteristics. In Proceedings of the first college on Riemann surfaces held in Trieste, Italy, November 9-December 18, 1987, pages 560–589. Teaneck, NJ: World Sci- entific Publishing Co.,

1987
[2021]

Giacchetto, R

[GKLS22] A. Giacchetto, R. Kramer, D. Lewański, and A. Sauvaget. The Spin Gromov-Witten/Hurwitz correspon- dence for P1. Preprint, arXiv:2208.03259 [math.AG] (2022),

2022 arXiv
[2022]

Chiodo and D

[CH24] A. Chiodo and D. Holmes. Double ramification cycles within degeneracy loci via moduli of roots. Preprint, arXiv:2407.09086 [math.AG] (2024),

2024
[2024]

[Zor06] A. Zorich. Flat surfaces. In Frontiers in number theory, physics, and geometry I. On random matrices, zeta functions, and dynamical systems. Papers from the meeting, Les Houches, France, March 9–21, 2003, pages 437–583. Berlin: Springer,

2003

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [10]

Polishchuk and A

[PV01] A. Polishchuk and A. Vaintrob. Algebraic construction of Witten’s top Chern class. In Advances in algebraic geometry motivated by physics. Proceedings of the AMS special session on enumerative geometry in physics, University of Massachusetts, Lowell, MA, USA, April 1–2, 2000, pages 229–249. Providence, RI: American Mathematical Society (AMS),

work page 2000

[2] [11]

A flat perspective on moduli spaces of hyperbolic surfaces

[Sau24] A. Sauvaget. A flat perspective on moduli spaces of hyperbolic surfaces. Preprint, arXiv:2405.10869 [math.AG] (2024),

work page Pith review arXiv 2024

[3] [13]

[vIS22] J. W. van Ittersum and A. Sauvaget. Cylinder counts and spin refinement of area Siegel-Veech constants. Preprint, arXiv:2210.17374 [math.AG] (2022),

work page Pith review arXiv 2022

[4] [14]

[Wit93] E. Witten. Algebraic geometry associated with matrix models of two dimensional gravity. InTopological methods in modern mathematics. Proceedings of a symposium in honor of John Milnor’s sixtieth birthday, 65 held at the State University of New York at Stony Brook, USA, June 14-June 21, 1991, pages 235–269. Houston, TX: Publish or Perish, Inc.,

work page 1991

[5] [1971]

[Mum83] D. Mumford. Towards an enumerative geometry of the moduli space of curves. Arithmetic and geometry, Pap. dedic. I. R. Shafarevich, Vol. II: Geometry, Prog. Math. 36, 271-328 (1983).,

work page 1983

[6] [1989]

Costantini, A

[CSS21] M. Costantini, A. Sauvaget, and J. Schmitt. Integrals of ψ-classes on twisted double ramification cycles and spaces of differentials. Preprint, arXiv:2112.04238 [math.AG] (2021),

arXiv 2021

[7] [1993]

[Won24] Y.M.Wong.Analgorithmtocomputethefundamentalclassesofspincomponentsofstrataofdifferentials. Int. Math. Res. Not., 2024(6):4893–4962,

work page 2024

[8] [2002]

[Mul17] S. Mullane. Divisorial strata of abelian differentials. Int. Math. Res. Not., 2017(6):1717–1748,

work page 2017