The parity of theta characteristics is preserved by infinitesimal deformations
Pith reviewed 2026-05-10 18:18 UTC · model grok-4.3
The pith
In a family of curves the parity of a relative theta characteristic on any multiple of a fiber equals its parity on a general fiber.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Given a family of relative dimension one over a smooth curve we determine the parity of the restriction of a relative theta characteristic to an arbitrary multiple of a fiber in terms of the parity of the restriction to a general fibre. This result can be regarded as a variant of the well-known theorem on the invariance of the parity of theta characteristics in families. As a corollary we obtain that the torsion subsheaf of the first higher direct image sheaf of a relative theta characteristic splits as a direct sum of two isomorphic sheaves.
What carries the argument
A relative theta characteristic (a line bundle L on the total space with L squared equal to the relative canonical bundle of the family) and the computation of its restriction parities to fiber multiples via the higher direct image.
Load-bearing premise
The family is flat of relative dimension one over a smooth curve and the theta characteristic is a relative line bundle whose square is the relative canonical bundle.
What would settle it
A flat family of curves over a smooth base curve together with a relative theta characteristic where the parity on a multiple of a special fiber differs from the parity on a general fiber.
read the original abstract
In this note, given a family of relative dimension one over a smooth curve, we determine the parity of the restriction of a relative theta characteristic to an arbitrary multiple of a fiber in terms of the parity of the restriction to a general fibre. This result can be regarded as a variant of the well-known theorem on the invariance of the parity of theta characteristics in families. As a corollary, we obtain that the torsion subsheaf of the first higher direct image sheaf of a relative theta characteristic splits as a direct sum of two isomorphic sheaves.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that, in a flat family of relative dimension one over a smooth curve, the parity of a relative theta characteristic (a line bundle L satisfying L² ≅ ω_{X/B}) restricted to an arbitrary multiple nF of a fiber equals the parity of its restriction to a general fiber. This is presented as a variant of the classical invariance theorem for the parity of theta characteristics in families. A corollary states that the torsion subsheaf of the first higher direct image sheaf R¹π_*L splits as a direct sum of two isomorphic sheaves.
Significance. If the result holds, it supplies a precise and useful refinement of the standard semicontinuity argument for parity invariance, clarifying behavior on special fibers (including multiples). The corollary on the torsion subsheaf decomposition adds concrete structural information that may be applied in the study of degenerations of spin curves or in computing global invariants. The argument relies on flatness, base change, and the fact that the restricted sheaf remains a theta characteristic on the fiber, all of which are standard in the field.
minor comments (2)
- The abstract and introduction should explicitly recall the definition of parity used (e.g., dim H⁰(L|_F) mod 2 or the quadratic form on the 2-torsion) to make the statement self-contained for readers outside the immediate area.
- Notation for the family (X → B, L) and the multiple fiber nF should be introduced once in a dedicated paragraph or diagram rather than scattered across the text.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, the clear summary of its main results, and the recommendation to accept.
Circularity Check
No significant circularity; result follows from standard semicontinuity in flat families
full rationale
The paper's central claim determines the parity of a relative theta characteristic on nF from its value on a general fiber. This follows directly from the given hypotheses (flat family of relative dimension 1 over a smooth curve, L a relative line bundle with L² ≅ ω_{X/B}) together with the classical fact that parity is locally constant under flat deformations. The argument invokes standard semicontinuity and base-change theorems rather than any self-definition, fitted input renamed as prediction, or load-bearing self-citation. The result is presented explicitly as a variant of the well-known invariance theorem, with no reduction of the new statement to the paper's own equations or prior results by the same authors. The corollary on the torsion subsheaf likewise follows from the same semicontinuity without circularity.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of relative theta characteristics and their direct images in flat families of curves
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1: h^0(kC_t, L|kC_t) ≡ k h^0(C_t, L_t) mod 2 for relative theta characteristic L with L_t^2 ≅ ω_{C_t}
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Lemma 2.3 on non-decreasing even sequence k q_1 - q_k for intersections of maximal isotropic subspaces
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.
Forward citations
Cited by 1 Pith paper
-
Surfaces with canonical map of odd degree
For smooth minimal surfaces of general type with pg >=4 and odd-degree canonical map onto a ruled surface, pg <= d+2, the image is a cone over a rational normal curve, and equality holds only for d=3,9,11; for d=5, pg...
Reference graph
Works this paper leans on
-
[1]
M. Cornalba, Moduli of curves and theta-characteristics , Lectures on Riemann surfaces (Trieste, 1987), 560--589. World Scientific Publishing Co., Inc., Teaneck, NJ, 1989
work page 1987
-
[2]
J. Harris, Theta-Characteristics on Algebraic Curves , Transactions of the American Mathematical Society, Jun., 1982, Vol. 271 , No. 2 (Jun., 1982), pp. 611--638
work page 1982
-
[3]
Hartshorne, Algebraic Geometry , G
R. Hartshorne, Algebraic Geometry , G. T. M. 52 , Springer--Verlag, New York (1977)
work page 1977
-
[4]
Surfaces with canonical map of odd degree
M. Mendes Lopes, R. Pardini, R. Pignatelli, Surfaces with canonical map of odd degree , arXiv 2604.09216
work page internal anchor Pith review Pith/arXiv arXiv
-
[5]
D. Mumford, Abelian varieties . Tata Inst. Fundam. Res. Stud. Math., 5 Published for the Tata Institute of Fundamental Research, Bombay; by Oxford University Press, London, 1970
work page 1970
-
[6]
Mumford, Theta characteristics of an algebraic curve
D. Mumford, Theta characteristics of an algebraic curve. Ann. Sci. \'Ecole Norm. Sup. (4) 4 (1971), 181--192
work page 1971
-
[7]
The Stacks Project , https://stacks.math.columbia.edu/
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.