pith. sign in

arxiv: 2604.21661 · v1 · submitted 2026-04-23 · 🧮 math.AG

Normal Functions, Even Theta Characteristics and the Theta Divisor

Indranil Biswas , Lorenzo Fassina , Gian Pietro Pirola This is my paper

Pith reviewed 2026-05-09 20:30 UTC · model grok-4.3

classification 🧮 math.AG
keywords theta characteristicsJacobian varietytheta divisormoduli space of curvesnormal functionseven theta characteristicsreal subgroups
0
0 comments X

The pith

For a general curve, a real one-dimensional subgroup G of the Jacobian has no points where L twisted by the point has sections if and only if twisting L by the order-two point of G yields another even theta characteristic.

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

The paper proves an if-and-only-if statement for general points [C] in the moduli space M_g with g greater than 1. Given a connected compact real 1-dimensional subgroup G inside the Jacobian of C and an even theta characteristic L on C, the locus inside G where the twisted bundle L ⊗ ζ has nonzero global sections is empty precisely when L ⊗ ζ_G remains even, with ζ_G the unique nontrivial 2-torsion point of G. A reader cares because this equivalence ties the vanishing behavior of sections along real circles in the Jacobian directly to the parity of theta characteristics, clarifying how the theta divisor sits relative to such subgroups.

Core claim

Let [C] be a general point in M_g with g > 1. Let G ⊂ J(C) be a connected compact subgroup of real dimension 1, and let L be an even theta characteristic on C. We prove that {ζ ∈ G | H^0(C, L ⊗ ζ) ≠ 0} = ∅ if and only if L ⊗ ζ_G is an even theta characteristic on C, where ζ_G is the unique nontrivial point of G of order two.

What carries the argument

The unique nontrivial order-two point ζ_G inside the real 1-dimensional subgroup G, which serves as the pivot determining whether the translated theta divisor associated to the even theta characteristic L intersects G at all.

Load-bearing premise

The curve C must be a general point in the moduli space M_g for genus g greater than 1, G must be any connected compact real one-dimensional subgroup of its Jacobian, and L must be an even theta characteristic.

What would settle it

For an explicit general curve of genus 3 or 4, compute the 2-torsion point ζ_G in a chosen real circle G, twist an even theta characteristic L by it, check its parity, then verify directly whether any other point of G makes H^0(C, L ⊗ ζ) nonzero.

read the original abstract

Let $[C]$ be a general point in the moduli space of curves $M_g$ with $g > 1$. Let $G \subset J(C)$ be a connected compact subgroup of real dimension $1$ of the Jacobian, and let $L$ be an even theta characteristic on $C$. We prove that $\{\zeta \in G \mid H^0(C, L \otimes \zeta) \neq 0\} = \emptyset$ if and only if $L \otimes \zeta_G$ is an even theta characteristic on $C$, where $\zeta_G$ is the unique non-trivial point of $G$ of order two.

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 to prove the following statement: Let [C] be a general point in M_g for g > 1. Let G be a connected compact real 1-dimensional subgroup of the Jacobian J(C), and let L be an even theta characteristic on C. Then the set {ζ ∈ G | H^0(C, L ⊗ ζ) ≠ 0} is empty if and only if L ⊗ ζ_G is an even theta characteristic on C, where ζ_G is the unique non-trivial point of G of order two.

Significance. If the result holds, it would give a clean characterization of the intersection of a real 1-dimensional subgroup G with the theta divisor associated to an even theta characteristic, in terms of the parity of L ⊗ ζ_G. This could be useful for studying normal functions and the geometry of the theta divisor on Jacobians of general curves. The hypotheses (generality of [C] in M_g and the real structure on G) are standard devices to exclude extra intersections.

major comments (1)
  1. The manuscript as presented consists solely of the abstract statement of the theorem with no proof, no intermediate lemmas, no equations, and no verification details. This prevents any assessment of whether the claimed equivalence is actually established.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary of the main result and for highlighting the need for a complete presentation. We address the sole major comment below.

read point-by-point responses

  1. Referee: The manuscript as presented consists solely of the abstract statement of the theorem with no proof, no intermediate lemmas, no equations, and no verification details. This prevents any assessment of whether the claimed equivalence is actually established.

    Authors: The current arXiv version is indeed limited to the statement of the theorem. In the revised manuscript we will supply the full proof, including all intermediate steps, lemmas on the real structure of G, the relevant cohomology computations, and explicit verification for the parity condition on L ⊗ ζ_G. revision: yes

Circularity Check

0 steps flagged

No significant circularity; theorem stated from prior theory

full rationale

The paper presents its central result as a theorem to be proved: for general [C] in M_g (g>1), connected real 1-dimensional G ⊂ J(C), and even theta characteristic L, the set {ζ ∈ G | H^0(C, L ⊗ ζ) ≠ 0} is empty if and only if L ⊗ ζ_G is even, with ζ_G the unique nontrivial 2-torsion point in G. No equations, derivations, fitted parameters, self-definitions, or load-bearing self-citations appear in the provided statement or abstract. The result is framed as following from standard facts in algebraic geometry (theta characteristics, Jacobians, generality in moduli) without reducing any claimed prediction or uniqueness to its own inputs by construction. This is the expected honest non-finding for a pure existence/proof paper whose text does not exhibit the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests entirely on standard definitions and properties of Jacobians, theta characteristics, and the moduli space M_g; no new free parameters or invented entities appear in the abstract.

axioms (1)
  • standard math The Jacobian J(C) is an abelian variety of dimension g, theta characteristics are line bundles L satisfying L^2 ≅ K_C, and even/odd parity is determined by the dimension of H^0(C, L).
    The statement presupposes these classical objects and their basic properties from algebraic geometry.

pith-pipeline@v0.9.0 · 5406 in / 1270 out tokens · 33253 ms · 2026-05-09T20:30:20.463178+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

14 extracted references · 14 canonical work pages

  1. [1]

    Adve and V

    A. Adve and V. Giri. A spectral gap for spinors on hyper- bolic surfaces. Preprint, arXiv:2506.17092 [math.NT], 2025. URL: https://arxiv.org/abs/2506.17092

    work page arXiv 2025

  2. [2]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. A. Griffiths and J. Harris.Geometry of algebraic curves. Volume I. Springer, Cham, 1985. Grundlehren der Mathematischen Wissenschaften, vol. 267. ISSN 0072-7830. 10 I. BISW AS, L. F ASSINA, AND G. P. PIROLA

    work page 1985

  3. [3]

    M. F. Atiyah, Riemann surfaces and spin structures,Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure, vol. 4, pp. 47–62, 1971. 10.24033/asens.1205

    work page doi:10.24033/asens.1205 1971

  4. [4]

    Carlson, S

    J. Carlson, S. M¨ uller-Stach and C. Peters.Period mappings and pe- riod domains. Cambridge University Press, Cambridge, 2017. Cambridge Studies in Advanced Mathematics, vol. 168. ISBN 978-1-316-63956-6. doi:10.1017/9781316995846

    work page doi:10.1017/9781316995846 2017

  5. [5]

    Cornalba

    M. Cornalba. Moduli of curves and theta-characteristics. InProceedings of the first college on Riemann surfaces, Trieste, 1987, pp. 560–589. World Scientific Publishing, Teaneck (NJ), 1989. ISBN 9971-50-902-4

    work page 1987

  6. [6]

    Fassina and G

    L. Fassina and G. P. Pirola. A few remarks on sections of the Picard bundle of family of curves. Preprint, arXiv:2602.14888 [math.AG], 2026. Available at https://arxiv.org/abs/2602.14888

    work page arXiv 2026

  7. [7]

    Griffiths and J

    P. Griffiths and J. Harris.Principles of algebraic geometry. 2nd ed., John Wiley & Sons, New York, 1994. ISBN 0-471-05059-8

    work page 1994

  8. [8]

    R. Hain. The rank of the normal functions of the Ceresa and Gross– Schoen cycles.Forum of Mathematics, Sigma, 13:40, 2025. Id/No e141. doi:10.1017/fms.2025.10089

    work page doi:10.1017/fms.2025.10089 2025

  9. [9]

    R. Hain. Normal functions and the geometry of moduli spaces of curves. In Handbook of Moduli. Volume I, pp. 527–578. International Press, Somerville (MA); Higher Education Press, Beijing, 2015. ISBN 978-1-57146-257-2; 978- 1-57146-265-7

    work page 2015

  10. [10]

    Harris,Theta-characteristics on algebraic curves, Transactions of the American Mathematical Society271(1982), no

    J. Harris,Theta-characteristics on algebraic curves, Transactions of the American Mathematical Society271(1982), no. 2, 611–638. doi:10.2307/1998901

    work page doi:10.2307/1998901 1982

  11. [11]

    D. Mumford. Theta characteristics of an algebraic curve.Ann. Sci. ´Ecole Norm. Sup.4(1971), 181–192

    work page 1971

  12. [12]

    Mumford.Abelian varieties

    D. Mumford.Abelian varieties. Tata Institute of Fundamental Research. Stud- ies in Mathematics, vol. 5. Oxford University Press, Oxford, 1985. 2nd ed., reprint. With appendices by C. P. Ramanujam and Yuri Manin

    work page 1985

  13. [13]

    Mumford.Tata lectures on theta

    D. Mumford.Tata lectures on theta. II: Jacobian theta functions and differen- tial equations. Modern Birkh¨ auser Classics. Birkh¨ auser, Basel, 2007. Reprint of the 1984 edition. ISBN 978-0-8176-4569-4; 978-0-8176-4578-6

    work page 2007

  14. [14]

    Voisin.Hodge theory and complex algebraic geometry

    C. Voisin.Hodge theory and complex algebraic geometry. II. Cambridge Uni- versity Press, Cambridge, 2007. Cambridge Studies in Advanced Mathemat- ics, vol. 77. Transl. from the French by Leila Schneps. ISBN 978-0-521-71802- 8. Department of Mathematics, Shiv Nadar University, NH91, Tehsil Dadri, Greater Noida, Uttar Pradesh 201314, India Email address:ind...

    work page 2007