Parity of $k$-differentials in genus zero and one

Dawei Chen; Evan Chen; Jujian Zhang; Kenny Lau; Ken Ono

Parity of $k$-differentials in genus zero and one

T0 review · 0 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read The paper proves Conjecture 1.1, making spin-parity formulas for k-differentials in genus zero and one unconditional.

desk verdict Proves the Chen–Gendron parity conjecture; the number theory is correct and self-contained, with a Lean-checked core, though the geometric reduction is inherited from prior work. read the letter →

arxiv 2602.03722 v2 pith:X6VJZBCH submitted 2026-02-03 math.NT math.AGmath.GT

Dawei Chen , Evan Chen , Kenny Lau , Ken Ono , Jujian Zhang This is my paper · ORCID

classification math.NTmath.AGmath.GT MSC 11A0714H1032G15

keywords spinparityk-differentialsJacobisymbolsfloor-sumidentityEisenstein'slemmathetacharacteristicsmodulispaceofformalverification

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

This paper proves an open number-theoretic conjecture (Conjecture 1.1) that previous work on k-differentials had left conditional. The conjecture says: for odd k and n with gcd(n,k)=gcd(n+1,k)=1, the parity of N_k(n) — the number of pairs (b1,b2) with 1 ≤ b1,b2 ≤ (k−1)/2, b1+b2 ≥ (k+1)/2, and b2 ≡ n b1 (mod k) — is exactly floor((k+1)/4) mod 2. The proof works by observing that this parity can be rewritten through Jacobi symbols, reducing the claim to a floor-sum identity (Lemma 2.5) that is established by elementary counting. Because earlier geometric work had reduced the spin parity of even-order k-differentials in genus zero and one to this exact parity, the theorem removes the conditional and completes the spin-parity determination for all odd k in those genera.

What carries the argument

The load-bearing object is the floor-sum F_k(a) = Σ_{i=1}^{(k−1)/2} ⌊(ai+m)/k⌋, with m=(k−1)/2. Lemma 2.5 identifies N_k(n) with F_k(n+1) − F_k(n), converting the counting problem into a telescoping sum. Lemma 2.4 evaluates F_k(a) modulo 2 by matching Eisenstein's lemma and the Gauss–Schering residue-counting lemma for Jacobi symbols; it gives F_k(a) ≡ 0 for odd a and F_k(a) ≡ ⌊(k+1)/4⌋ for even a. The parity of ⌊(k+1)/4⌋ is then read off from k mod 8 via the supplementary law for (2/k). The appendix reports that an automated prover discovered this reformulation and that the combinatorial identity was formalized in the Lean proof assistant.

What would settle it

Compute N_k(n) by brute force for all odd k up to, say, 101 and all n with gcd(n,k)=gcd(n+1,k)=1; any k,n with N_k(n) not congruent to ⌊(k+1)/4⌋ mod 2 would falsify Theorem 1.2. Because N_k(n) is a finite count, the theorem is directly checkable this way, and the paper's own examples.py verifies small values.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: Conjecture 1.1 is true. Equivalently, for every odd k and every n coprime to both k and k+1, the counting function N_k(n) satisfies N_k(n) ≡ ⌊(k+1)/4⌋ (mod 2). The proof is short: Lemma 2.5 expresses N_k(n) as the difference F_k(n+1) − F_k(n) of a floor-sum, and Lemma 2.4 evaluates each F_k term modulo 2 using Eisenstein's lemma and the Gauss–Schering form of Jacobi symbols. Since n and n+1 have opposite parity, one term vanishes modulo 2 and the other is exactly ⌊(k+1)/4⌋. Consequently the spin-parity theorems of the earlier work, Theorem 1.3 (genus zero) and Theorem 1.4 (genus one), are now unconditional.

Load-bearing premise

The paper's conclusions for moduli spaces depend on the geometric reduction from earlier work — that spin parity in genus zero equals n_k(µ) mod 2 and in genus one equals n_k(µ)+d+1 mod 2 — which is imported without reproof; if that reduction were wrong, Theorems 1.3–1.4 could fail even though Theorem 1.2 is true.

Editorial extensions

If this is right

Theorem 1.3 now holds unconditionally: for genus zero and odd k, the spin parity of Ω^k M_0(2µ) is n_k(µ) mod 2.
Theorem 1.4 now holds unconditionally: for genus one and odd k, the spin parity of the component Ω^k M_1(2µ)_d of rotation number d is n_k(µ)+d+1 mod 2.
With the even-k case already resolved, the spin parity of every parity-type k-differential stratum in genus zero and one is now known.
The function n_k(µ) admits the Jacobi-symbol description n_k(µ) = #{i : (2/gcd(k,m_i)) ≠ (2/k)}, making the parity condition computable directly from µ.

Reading between the lines

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

A natural extension is to test whether the same floor-sum–Jacobi-symbol strategy evaluates N_k(n) for nearby congruence families or for higher-weight analogues of Jacobi symbols; the paper does not pursue these generalizations.
The formal verification covers only Lemma 2.5; the number-theoretic reduction through Eisenstein's and Gauss–Schering lemmas remains informal, so a fully machine-checked proof would still be needed to rule out slips there.
If the spin-parity formulas are used to distinguish connected components of Ω^k M_g(µ) for k ≥ 3, the now-unconditional parity may be combined with the hyperelliptic and low-genus invariants in future classification work.
The appendix's account of an automated discovery suggests a workflow where a conjectural parity statement can be handed to a prover to find an elementary reformulation; that is an observation about research process rather than a mathematical conclusion of the paper.

Share X Bluesky LinkedIn Reddit HN

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

Two things to know: this paper proves the open number-theoretic conjecture from Chen–Gendron's paper (Conjecture A.10) that makes their genus zero and one spin-parity theorems for k-differentials unconditional; and the proof is elementary but clean, with the key identity checked in Lean. I think the central math is correct.

The new content is the Jacobi-symbol reformulation of N_k(n) and, more importantly, Lemma 2.5: N_k(n)=F_k(n+1)-F_k(n). That identity is neat and lets the parity of N_k(n) drop out of Lemma 2.4, which computes F_k parity by standard Eisenstein/Gauss–Schering facts. The authors also note that the coprimality assumption is not used in Lemma 2.5, and they give a cleaner Jacobi-symbol description of n_k(μ) in Remark 3. All of that is genuinely new relative to [5].

What the paper does well: it is transparent about how the proof was found. The appendix describes the AxiomProver contribution and states plainly that only Lemma 2.5 was formalized in Lean, not Lemma 2.4. The formalization is a real plus, even if limited to the combinatorial core. The rest of the argument is standard number theory and I did not find a gap.

Soft spots are minor. The geometric reduction connecting N_k(n) to spin parity is imported from [5] and not reproved; if that appendix had an error, Theorems 1.3–1.4 would fail even though Theorem 1.2 is fine. That's the nature of a follow-up paper, and not a defect here. The other small thing is that Lemma 2.4 is stated for all integers a but the proof implicitly treats a as positive when invoking Eisenstein. You can shift a by a multiple of k to make the numerator positive while preserving the parity of F_k, so the proof works, but the WLOG is not spelled out.

So: a correct, well-scoped result that settles an open conjecture. It belongs in the literature. It's not a revolution—the methods are elementary—but the classification program needs this step. I would send it to a serious refereed journal. It deserves a referee who knows the geometry context, but the number theory is checkable by any number theorist.

Referee Report

0 major / 3 minor

Summary. The paper proves Conjecture 1.1, a number-theoretic conjecture of Chen–Gendron concerning the parity of N_k(n), the number of pairs (b_1,b_2) with 1 ≤ b_i ≤ (k−1)/2, b_1+b_2 ≥ (k+1)/2, and b_2 ≡ n b_1 (mod k). The proof reformulates the conjecture in terms of Jacobi symbols, reduces it to two lemmas: Lemma 2.4, a floor-sum evaluation for F_k(a), and Lemma 2.5, a combinatorial identity N_k(n)=F_k(n+1)−F_k(n). Lemma 2.5 is verified in Lean. Theorem 1.2 then follows by applying Lemma 2.4 to the unique even element of {n,n+1}. The paper also states that this removes the conditional from the geometric spin-parity results Theorems 1.3 and 1.4 of [5].

Significance. If correct, the paper settles a conjecture that was the last missing ingredient in the complete determination of spin parity for k-differentials in genus zero and one. The proof is self-contained, elementary, and reproducible: the key combinatorial identity is machine-checked, and the non-formalized part (Lemma 2.4) is a standard Jacobi-symbol computation. The AI-assisted provenance is described transparently. The number-theoretic core of Theorem 1.2 is independent of the geometric reductions in [5], so even a hypothetical error in those geometric arguments would not affect the proof of Conjecture 1.1.

minor comments (3)

[§2.1, Lemma 2.4] Lemma 2.4 is stated for any integer a, but the proof invokes Lemmas 2.1 and 2.2, which are stated for positive a. In Theorem 1.2, if n is allowed to be negative, the even element e of {n,n+1} can be negative. This is harmless: F_k(a+2tk) ≡ F_k(a) (mod 2) for every integer t, so one may shift a by an even multiple of k to make it positive, or alternatively reduce n modulo k before starting the proof. I recommend adding one sentence to this effect.
[Remark 3 and Eq. (6)] The expression (2/d_i) uses d_i = gcd(k,m_i), which can be 1. Please state the standard convention (2/1)=1 so that the Jacobi-symbol reformulation of n_k(µ) is unambiguous.
[Appendix] The appendix correctly states that Lemma 2.4 was not formalized in Lean. Since Lemma 2.4 is a short, standard calculation and the human proof is complete, this limitation does not reduce confidence in Theorem 1.2.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 1.2 is proved from an independent combinatorial identity and standard Jacobi-symbol lemmas.

full rationale

The central result, Theorem 1.2, is self-contained. Conjecture 1.1 is reduced to two lemmas: Lemma 2.5 expresses N_k(n) as the difference F_k(n+1)-F_k(n) by an explicit indicator-function argument using only the definition of N_k and floor functions; Lemma 2.4 computes the parity of F_k(a) using the classical Eisenstein lemma, the Gauss-Schering lemma, and the supplementary law for the Jacobi symbol (2/k). Neither lemma assumes the target parity. The final step combines the two parities of F_k on n and n+1, one odd and one even, with no hidden use of the conclusion. The congruence (k^2-1)/8 ≡ floor((k+1)/4) (mod 2) is checked directly modulo 8. No fitted parameter is relabeled as a prediction, and no defining equation for N_k incorporates the desired parity. The geometric applications Theorems 1.3-1.4 are inherited from the published work [5], but that citation supplies the geometric reduction only; it is not used in the proof of Theorem 1.2. The Appendix candidly notes that the Lean formalization covers Lemma 2.5 but not the standard number-theoretic reduction in Lemma 2.4; this is a limitation of formal verification, not an indication of circularity, since Lemma 2.4 is proved with standard classical lemmas. No step in the derivation chain reduces to its own input or to a self-citation.

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

The core proof of Conjecture 1.1 uses only standard number-theoretic lemmas; no free parameters or new objects are postulated. The advertised spin-parity application additionally relies on the prior geometric reduction in [5].

assumptions (4)

standard math Eisenstein's lemma for Jacobi symbols (Lemma 2.1)
Invoked in Lemma 2.4 to relate Σ floor(ai/k) to the Jacobi symbol for odd a; cited to [15].
standard math Gauss–Schering lemma (Lemma 2.2)
Relates the Jacobi symbol to the count m(a,k) of residues outside H_k; cited to [8].
standard math Supplementary law for (2/k) (Lemma 2.3)
Used to assert (2/p_i)=1 and (2/q_i)=-1 in Remark 3; standard quadratic reciprocity.
domain assumption Chen–Gendron geometric reduction [5, Appendix]
Theorems 1.3 and 1.4 depend on the geometric arguments in [5] that reduce spin parity to n_k(μ) once Conjecture 1.1 holds.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Parity of $k$-differentials in genus zero and one." pith.science (2026). https://pith.science/paper/X6VJZBCH

@misc{pith2026260203722,
  author       = {Pith},
  title        = {Pith review of: Parity of $k$-differentials in genus zero and one},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X6VJZBCH}},
  note         = {Machine review of arXiv:2602.03722}
}

abstract

Here we completely determine the spin parity of $k$-differentials with prescribed zero and pole orders on Riemann surfaces of genus zero and one. This result was previously obtained conditionally by the first author and Quentin Gendron assuming the truth of a number-theoretic hypothesis Conjecture A.10. We prove this hypothesis by reformulating it in terms of Jacobi symbols, reducing the proof to a combinatorial identity and standard facts about Jacobi symbols. The proof was obtained by AxiomProver and the system formalized the proof of the combinatorial identity in Lean/Mathlib (see the Appendix).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
math.FA 2026-07 conditional novelty 8.0 of 10

AI-generated, human-verified proofs of five open Banach-space problems, including primariness of Lp(L1) and a unital Banach algebra that is not any Calkin algebra.

Reference graph

Works this paper leans on

19 extracted references · 8 canonical work pages · cited by 1 Pith paper

[5]

Towards a classification of connected components of the strata ofk-differentials.Doc

Dawei Chen and Quentin Gendron. Towards a classification of connected components of the strata ofk-differentials.Doc. Math., 27:1031–1100, 2022. ISSN 1431-0635,1431-0643

2022
[1]

Michael F. Atiyah. Riemann surfaces and spin structures.Ann. Sci. ´Ecole Norm. Sup. (4), 4:47–62, 1971. ISSN 0012-9593. URLhttp://www.numdam.org/item?id=ASENS_1971_4_ 4_1_47_0

1971
[2]

Strata ofk-differentials.Algebr

Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Grushevsky, and Martin M¨ oller. Strata ofk-differentials.Algebr. Geom., 6(2):196–233, 2019. ISSN 2313-1691,2214-2584. doi: 10.14231/ag-2019-011. URLhttps://doi.org/10.14231/ag-2019-011

work page doi:10.14231/ag-2019-011 2019
[3]

Connected components of the strata of the moduli space of meromorphic differentials.Comment

Corentin Boissy. Connected components of the strata of the moduli space of meromorphic differentials.Comment. Math. Helv., 90(2):255–286, 2015. ISSN 0010-2571,1420-8946. doi: 10.4171/CMH/353. URLhttps://doi.org/10.4171/CMH/353

work page doi:10.4171/cmh/353 2015
[4]

Teichm¨ uller dynamics in the eyes of an algebraic geometer

Dawei Chen. Teichm¨ uller dynamics in the eyes of an algebraic geometer. InSurveys on recent developments in algebraic geometry, volume 95 ofProc. Sympos. Pure Math., pages 171–197. Amer. Math. Soc., Providence, RI, 2017. ISBN 978-1-4704-3557-8. doi: 10.1090/ pspum/095/01626. URLhttps://doi.org/10.1090/pspum/095/01626

work page doi:10.1090/pspum/095/01626 2017
[6]

Quadratic differentials in low genus: exceptional and non- varying strata.Ann

Dawei Chen and Martin M¨ oller. Quadratic differentials in low genus: exceptional and non- varying strata.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 47(2):309–369, 2014. ISSN 0012-9593,1873-

2014
[7]

The Lean theorem prover (system description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer. The Lean theorem prover (system description). InAutomated Deduction – CADE- 25, volume 9195 ofLecture Notes in Computer Science, pages 378–388. Springer, 2015. 10 DA WEI CHEN, EV AN CHEN, KENNY LAU, KEN ONO, AND JUJIAN ZHANG

2015
[8]

Morgan Jenkins. Proof of an arithmetical theorem leading, by means of Gauss’s fourth demonstration of Legendre’s law of reciprocity, to the extension of that law.Proceedings of the London Mathematical Society, 2:29–32, 1866

Show all 19 references

[9]

Spin structures and quadratic forms on surfaces.J

Dennis Johnson. Spin structures and quadratic forms on surfaces.J. London Math. Soc. (2), 22(2):365–373, 1980. ISSN 0024-6107,1469-7750. doi: 10.1112/jlms/s2-22.2.365. URL https://doi.org/10.1112/jlms/s2-22.2.365

1980 doi
[10]

Connected components of the moduli spaces of Abelian differentials with prescribed singularities.Invent

Maxim Kontsevich and Anton Zorich. Connected components of the moduli spaces of Abelian differentials with prescribed singularities.Invent. Math., 153(3):631–678, 2003. ISSN 0020-9910,1432-1297. doi: 10.1007/s00222-003-0303-x. URLhttps://doi.org/10. 1007/s00222-003-0303-x

2003 doi
[11]

Hyperelliptic components of the moduli spaces of quadratic differen- tials with prescribed singularities.Comment

Erwan Lanneau. Hyperelliptic components of the moduli spaces of quadratic differen- tials with prescribed singularities.Comment. Math. Helv., 79(3):471–501, 2004. ISSN 0010-2571,1420-8946. doi: 10.1007/s00014-004-0806-0. URLhttps://doi.org/10.1007/ s00014-004-0806-0

2004 doi
[12]

Parity of the Spin structure defined by a quadratic differential.Geom

Erwan Lanneau. Parity of the Spin structure defined by a quadratic differential.Geom. Topol., 8:511–538, 2004. ISSN 1465-3060,1364-0380. doi: 10.2140/gt.2004.8.511. URL https://doi.org/10.2140/gt.2004.8.511

2004 doi
[13]

Connected components of the strata of the moduli spaces of quadratic differentials.Ann

Erwan Lanneau. Connected components of the strata of the moduli spaces of quadratic differentials.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 41(1):1–56, 2008. ISSN 0012-9593,1873-2151. doi: 10.24033/asens.2062. URLhttps://doi.org/10.24033/asens.2062

2008 doi
[14]

Theta characteristics of an algebraic curve.Ann

David Mumford. Theta characteristics of an algebraic curve.Ann. Sci. ´Ecole Norm. Sup. (4), 4:181–192, 1971. ISSN 0012-9593. URLhttp://www.numdam.org/item?id=ASENS_ 1971_4_4_2_181_0

1971
[15]

Tangedal

Brett A. Tangedal. Eisenstein’s lemma and quadratic reciprocity for Jacobi symbols.Math- ematics Magazine, 73(2):130–134, April 2000. doi: 10.1080/0025570X.2000.11996820. URL https://doi.org/10.1080/0025570X.2000.11996820
[16]

The Lean mathematical library

The mathlib Community. The Lean mathematical library. InProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020). ACM, 2020

2020
[17]

Translation surfaces and their orbit closures: an introduction for a broad audience.EMS Surv

Alex Wright. Translation surfaces and their orbit closures: an introduction for a broad audience.EMS Surv. Math. Sci., 2(1):63–108, 2015. ISSN 2308-2151,2308-216X. doi: 10.4171/EMSS/9. URLhttps://doi.org/10.4171/EMSS/9

2015 doi
[18]

Flat surfaces

Anton Zorich. Flat surfaces. InFrontiers in number theory, physics, and geometry. I, pages 437–583. Springer, Berlin, 2006. ISBN 978-3-540-23189-9; 3-540-23189-7. Department of Mathematics, Boston College, Chestnut Hill, MA 02467 Email address:dawei.chen@bc.edu Axiom Math, 124...

2006
[2151]

URLhttps://doi.org/10.24033/asens.2216

doi: 10.24033/asens.2216. URLhttps://doi.org/10.24033/asens.2216

doi

Pith tools

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

[1] [5]

Towards a classification of connected components of the strata ofk-differentials.Doc

Dawei Chen and Quentin Gendron. Towards a classification of connected components of the strata ofk-differentials.Doc. Math., 27:1031–1100, 2022. ISSN 1431-0635,1431-0643

2022

[2] [1]

Michael F. Atiyah. Riemann surfaces and spin structures.Ann. Sci. ´Ecole Norm. Sup. (4), 4:47–62, 1971. ISSN 0012-9593. URLhttp://www.numdam.org/item?id=ASENS_1971_4_ 4_1_47_0

1971

[3] [2]

Strata ofk-differentials.Algebr

Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Grushevsky, and Martin M¨ oller. Strata ofk-differentials.Algebr. Geom., 6(2):196–233, 2019. ISSN 2313-1691,2214-2584. doi: 10.14231/ag-2019-011. URLhttps://doi.org/10.14231/ag-2019-011

work page doi:10.14231/ag-2019-011 2019

[4] [3]

Connected components of the strata of the moduli space of meromorphic differentials.Comment

Corentin Boissy. Connected components of the strata of the moduli space of meromorphic differentials.Comment. Math. Helv., 90(2):255–286, 2015. ISSN 0010-2571,1420-8946. doi: 10.4171/CMH/353. URLhttps://doi.org/10.4171/CMH/353

work page doi:10.4171/cmh/353 2015

[5] [4]

Teichm¨ uller dynamics in the eyes of an algebraic geometer

Dawei Chen. Teichm¨ uller dynamics in the eyes of an algebraic geometer. InSurveys on recent developments in algebraic geometry, volume 95 ofProc. Sympos. Pure Math., pages 171–197. Amer. Math. Soc., Providence, RI, 2017. ISBN 978-1-4704-3557-8. doi: 10.1090/ pspum/095/01626. URLhttps://doi.org/10.1090/pspum/095/01626

work page doi:10.1090/pspum/095/01626 2017

[6] [6]

Quadratic differentials in low genus: exceptional and non- varying strata.Ann

Dawei Chen and Martin M¨ oller. Quadratic differentials in low genus: exceptional and non- varying strata.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 47(2):309–369, 2014. ISSN 0012-9593,1873-

2014

[7] [7]

The Lean theorem prover (system description)

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer. The Lean theorem prover (system description). InAutomated Deduction – CADE- 25, volume 9195 ofLecture Notes in Computer Science, pages 378–388. Springer, 2015. 10 DA WEI CHEN, EV AN CHEN, KENNY LAU, KEN ONO, AND JUJIAN ZHANG

2015

[8] [8]

Morgan Jenkins. Proof of an arithmetical theorem leading, by means of Gauss’s fourth demonstration of Legendre’s law of reciprocity, to the extension of that law.Proceedings of the London Mathematical Society, 2:29–32, 1866