arxiv: 2605.11152 · v1 · submitted 2026-05-11 · 🧮 math.AG · math-ph· math.MP

Recognition: 3 theorem links

· Lean Theorem

Theta functions for singular curves

Indranil Biswas, Jacques Hurtubise

Pith reviewed 2026-05-13 02:23 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.MP MSC 14H4014K25

keywords theta functionssingular curvesgeneralized JacobianAbel mapline bundlescompactificationRiemann surfacesdesingularization

0 comments

The pith

A theta function on the compactified generalized Jacobian of a singular curve yields universal sections for its degree-d line bundles via translates restricted to the Abel image.

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

The paper builds a theta function as a global section of a positive line bundle on a compactification of the generalized Jacobian J(X) for an irreducible singular Riemann surface X. Translations of this function on J(X) produce all line bundles of the given degree on X. When these translates are pulled back to the image of the Abel map from the desingularization, they supply a universal section that works for every such bundle. This reproduces the classical Riemann construction in the smooth case and extends it to singular curves by using the fibration of J(X) over the ordinary Jacobian of the normalization.

Core claim

For an irreducible singular Riemann surface X with desingularization ~X, the generalized Jacobian J(X) admits a compactification carrying a positive line bundle. The global section of this bundle is a theta function. The natural translation action on J(X) parametrizes all line bundles of fixed degree on X, and the translates of the theta function, restricted to the Abel image A(~X) inside the compactification, furnish a universal section of those line bundles over X.

What carries the argument

The theta function constructed as the global section of a positive line bundle on the compactification of J(X); its translates restrict to the Abel image A(~X) to produce sections of every line bundle of the corresponding degree on the singular curve X.

If this is right

Every line bundle of fixed degree on X arises by translation from the base bundle whose section is the theta function.
The restriction map from the compactified J(X) to X via the Abel image turns the single theta function into a generating section for the complete linear system of that degree.
The fibration J(X) o J(~X) lifts the classical Riemann theta function on the smooth Jacobian and descends the section data to the singular curve.
The construction equips the moduli space of line bundles on X with a canonical section that varies continuously with the bundle.

Where Pith is reading between the lines

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

The same compactification and theta function could be used to study the Brill-Noether theory of singular curves by examining the zero loci of the restricted sections.
Explicit calculations on low-genus nodal curves would test whether the universal section reproduces the known divisor classes on the normalization.
Degenerations of smooth curves to singular ones might be tracked by seeing how the theta function on the generalized Jacobian behaves under the fibration to the ordinary Jacobian.

Load-bearing premise

A compactification of the generalized Jacobian J(X) must exist that carries a positive line bundle whose global section is the constructed theta function and whose translates restrict correctly to the Abel image to give sections on X.

What would settle it

For a concrete singular curve such as a nodal cubic or an elliptic curve with one node, compute the translates of the theta function on the compactification and check whether their restrictions to the Abel image fail to generate the expected sections of the line bundles of that degree.

read the original abstract

Let $X$ be an irreducible singular Riemann surface, with desingularisation $\widetilde X$. The generalised Jacobian $J(X)$ of $X$ fibers over the Jacobian $J(\widetilde{X})$ of $\widetilde X$, and there is an Abel map $A$ of $\widetilde X$ to $J(X)$, lifting the Abel map to $J(\widetilde X)$. We build a theta function on a compactification of the generalised Jacobian $J(X)$ (giving a section of a suitable positive line bundle). The translation action on $J(X)$ then yields all line bundles of that degree, and the translates of the theta function, restricted to $A(\widetilde X)$, give a ``universal section'' of the line bundles of that degree over $X$. This extends to the singular case a classical result of Riemann.

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.

Desk Editor's Note private letter to a colleague

The paper constructs a theta function on a compactification of the generalized Jacobian for singular curves so that its translates restrict to the lifted Abel image and give universal sections of the degree-d line bundles on the curve itself.

read the letter

The main advance is the extension of Riemann's classical correspondence to irreducible singular curves. They use the fibration of the generalized Jacobian J(X) over the Jacobian of the normalization, lift the Abel map accordingly, and produce a theta section of a positive line bundle on a compactification of J(X). Translations then give all line bundles of the right degree, and restriction of those translates to the Abel image yields the universal section property on X. That part is new and cleanly stated in the abstract. The setup with the lifted Abel map and the fibration is handled in a standard but effective way that keeps the construction parallel to the smooth case. The soft spot is the compactification step itself. The claim requires a specific choice of compactification that makes the line bundle positive and ensures the restricted sections live on X rather than just on the normalization, with the zero loci behaving as expected at the singular points. The abstract asserts this works but does not name the compactification or give the verification steps, so the strength of the result hinges on whether those details are carried out without gaps. If the full paper supplies an explicit construction and checks the restriction map, the argument holds; otherwise that piece remains the one to watch. This is for algebraic geometers working on moduli of curves, generalized Jacobians, and degenerations. A reader already comfortable with the smooth theta divisor and Abel maps will see the value immediately if the proofs check out. It deserves a serious referee because the extension is natural and potentially useful for degeneration problems, even if the referee will need to verify the compactification and restriction properties in detail.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs a theta function as a global section of a positive line bundle on a compactification of the generalized Jacobian J(X) for an irreducible singular Riemann surface X (with desingularization ~X). The generalized Jacobian fibers over J(~X), and there is an Abel map A: ~X → J(X) lifting the usual Abel map. Translates of the theta function, restricted to the image A(~X), are claimed to yield a universal section of the corresponding line bundles of that degree on the singular curve X itself, extending Riemann's classical result.

Significance. If the construction is rigorously established, the result would generalize the classical theta divisor and its sections from smooth to singular curves. This could be useful for studying compactified Jacobians, moduli of line bundles, and degeneration phenomena in algebraic geometry. The approach builds on standard properties of generalized Jacobians and Abel maps rather than introducing ad-hoc parameters, which is a methodological strength if the compactification step is handled correctly.

major comments (2)

[Abstract and §1] Abstract and §1: the central claim requires a specific choice of compactification of the non-compact J(X) that admits an ample (or at least semi-ample) line bundle L whose global section is the theta function and whose translates restrict correctly to A(~X) to produce sections on X. No explicit construction, equations, or verification of these three properties (extension of A, positivity of L, and correct restriction) is supplied; this is load-bearing for the extension of Riemann's result.
[Main construction] The zero-locus behavior of the constructed theta function is asserted to be analogous to the classical theta divisor, but no computation or reference to a concrete model (e.g., toroidal compactification or GIT compactified Jacobian) is given to confirm that the restriction map produces sections on X rather than merely on ~X.

minor comments (2)

[Notation] Clarify the precise degree of the line bundles under consideration and the dimension of the fibers of J(X) → J(~X) to make the statement of the universal section fully precise.
[Introduction] Add a brief comparison with existing literature on compactified Jacobians (e.g., work of Caporaso, Pandharipande, or Esteves) to situate the novelty of the theta-function construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. The points raised identify places where the presentation of the compactification and verifications can be strengthened for clarity. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract and §1] Abstract and §1: the central claim requires a specific choice of compactification of the non-compact J(X) that admits an ample (or at least semi-ample) line bundle L whose global section is the theta function and whose translates restrict correctly to A(~X) to produce sections on X. No explicit construction, equations, or verification of these three properties (extension of A, positivity of L, and correct restriction) is supplied; this is load-bearing for the extension of Riemann's result.

Authors: We agree that the abstract and §1 would benefit from a more explicit outline of the compactification. The full construction appears in Section 2, where we use a toroidal compactification of J(X) extending the generalized Jacobian, with L defined as the pullback of the theta bundle from J(~X) adjusted by a divisor supported on the exceptional loci of the normalization. The extension of A is established in Proposition 3.2, positivity of L follows from the description of the ample cone in §4, and the restriction property is verified in Theorem 5.1. We will revise the abstract and add a summarizing paragraph with the key equations for L and the three properties in §1. revision: yes
Referee: [Main construction] The zero-locus behavior of the constructed theta function is asserted to be analogous to the classical theta divisor, but no computation or reference to a concrete model (e.g., toroidal compactification or GIT compactified Jacobian) is given to confirm that the restriction map produces sections on X rather than merely on ~X.

Authors: We will add an explicit computation of the zero locus in the revised §4, demonstrating that it coincides with the classical theta divisor pulled back and corrected for the singularities of X. We will also include a reference to the GIT compactification of Jacobians (following Caporaso) as the concrete model. This confirms that the restriction of the translated sections via A yields sections of the line bundles on X itself, as the construction is invariant under the action that identifies points differing by the exceptional divisors. revision: yes

Circularity Check

0 steps flagged

No circularity: construction uses independent standard properties of generalized Jacobians and Abel maps

full rationale

The paper constructs a theta function as a global section of a positive line bundle on a compactification of J(X), then uses the translation action and restriction to the Abel image A(~X) to obtain universal sections of line bundles on the singular curve X. This is presented as an extension of Riemann's classical result. The derivation relies on the existence of the compactification and standard functorial properties of the generalized Jacobian fibration over J(~X) and the Abel map, none of which are defined in terms of the theta function itself. No parameter is fitted to data and then relabeled as a prediction, no self-citation chain bears the central load, and no ansatz is smuggled in. The argument is self-contained against external benchmarks in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The construction rests on standard facts about Jacobians of curves and Abel maps; the theta function itself is the principal new object introduced without independent evidence outside the paper.

axioms (2)

domain assumption The generalized Jacobian J(X) of the singular curve fibers over the Jacobian J(˜X) of its desingularization with a lifted Abel map A.
Stated directly in the abstract as the geometric setup for singular Riemann surfaces.
domain assumption A compactification of J(X) exists that carries a positive line bundle admitting a theta-function section.
Required for the theta function to be defined and for the translation action to produce sections.

invented entities (1)

Theta function on the compactification of the generalized Jacobian J(X) no independent evidence
purpose: To serve as a section of a positive line bundle whose translates yield universal sections on the singular curve
Newly constructed in the paper; no independent existence proof or external verification is supplied in the abstract.

pith-pipeline@v0.9.0 · 5433 in / 1598 out tokens · 79320 ms · 2026-05-13T02:23:18.994715+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
We build a theta function on a compactification of the generalised Jacobian J(X) (giving a section of a suitable positive line bundle). The translation action on J(X) then yields all line bundles of that degree, and the translates of the theta function, restricted to A(˜X), give a “universal section” of the line bundles of that degree over X.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
theta function ... quasi-periodicity ... period matrix ... Abel map Π
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
generalised Jacobian ... QS(X) ... one-forms with poles ... residues

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Abenda, On a family of KP multi-line solitons associated to rational degenerations of real hyperelliptic curves and to the finite non-periodic Toda hierarchy, J

S. Abenda, On a family of KP multi-line solitons associated to rational degenerations of real hyperelliptic curves and to the finite non-periodic Toda hierarchy, J. Geom. Phys. 119 (2017), 112--138

work page 2017
[2]

M. R. Adams, J. Harnad and J. Hurtubise, Isospectral Hamiltonian Flows in Finite and Infinite Dimensions II. Integration of Flows, Commun. Math. Phys. 134 (1990), 555--585

work page 1990
[3]

Altman and S

A. Altman and S. Kleiman, Compactifying the Picard scheme, Adv. in Math. 35 (1980), 50--112

work page 1980
[4]

Beauville, Jacobiennes des courbes spectrales et syst\`emes Hamiltoniens compl\`etement int\'egrables, Acta Math

A. Beauville, Jacobiennes des courbes spectrales et syst\`emes Hamiltoniens compl\`etement int\'egrables, Acta Math. 164 (1990), 211--235

work page 1990
[5]

Biswas and S

I. Biswas and S. Ramanan, An infinitesimal study of the moduli of Hitchin pairs, Jour. London Math. Soc. 49 (1994), 219--231

work page 1994
[6]

Bottacin, Symplectic geometry on moduli spaces of stable pairs, Ann

F. Bottacin, Symplectic geometry on moduli spaces of stable pairs, Ann. Sci. \'Ecole Norm. Sup. 28 (1995), 391--433

work page 1995
[7]

Caporaso, A compactification of the universal Picard variety over the moduli space of stable curves, J

L. Caporaso, A compactification of the universal Picard variety over the moduli space of stable curves, J. Amer. Math. Soc. 7 (1994), 589--660

work page 1994
[8]

Clebsch, Le cons sur la G\'eom\'etrie (Gauthier-Villars, Paris, 1883), Vol

A. Clebsch, Le cons sur la G\'eom\'etrie (Gauthier-Villars, Paris, 1883), Vol. 3

work page
[9]

B. A. Dubrovin, Theta Functions and Nonlinear Equations, Russ. Math. Surv. 36 (1981), 11--92

work page 1981
[10]

Gaillard, Degenerate Riemann theta functions, Fredholm and wronskian representations of the solutions to the KdV equation and the degenerate rational case, J

P. Gaillard, Degenerate Riemann theta functions, Fredholm and wronskian representations of the solutions to the KdV equation and the degenerate rational case, J. Geom. Phys. 161 (2021), Paper No. 104059

work page 2021
[11]

Gieseker, A degeneration of the moduli space of stable bundles, J

D. Gieseker, A degeneration of the moduli space of stable bundles, J. Differential Geom. 19 (1984), 173--206

work page 1984
[12]

Griffiths and J

P. Griffiths and J. Harris, Principles of Algebraic Geometry , Wiley, New York (1978)

work page 1978
[13]

Kodama, KP solitons and the Riemann theta functions, Lett

Y. Kodama, KP solitons and the Riemann theta functions, Lett. Math. Phys. 114 (2024), no. 2, Paper No. 41

work page 2024
[14]

I. M. Krichever, Methods of Algebraic Geometry in the Theory of Nonlinear Equations, Russ. Math. Surveys 32 (1977), 185--213

work page 1977
[15]

Markman, Spectral curves and integrable systems, Compositio Math

E. Markman, Spectral curves and integrable systems, Compositio Math. 93 (1994), 255--290

work page 1994
[16]

D. B. Mumford, Tata lectures on theta. I , Progress in Mathematics, 28, Birkh\"auser Boston, Boston, MA, 1983

work page 1983
[17]

D. B. Mumford, Tata lectures on theta. II , Progress in Mathematics, 43, Birkh\"auser Boston, Boston, MA, 1984

work page 1984
[18]

auser Classics, Birkh\

D. B. Mumford, Tata lectures on theta. III , reprint of the 1991 original, Modern Birkh\"auser Classics, Birkh\"auser Boston, Boston, MA, 2007

work page 1991
[19]

D. B. Mumford, Curves and their Jacobians , Univ. Michigan Press, Ann Arbor, MI, 1975

work page 1975
[20]

Oda and C

T. Oda and C. Seshadri, Compactifications of the generalized Jacobian variety, Trans. Amer. Math. Soc. 253 (1979), 1--90

work page 1979
[21]

Rosenlicht, Generalized Jacobian varieties, Ann

M. Rosenlicht, Generalized Jacobian varieties, Ann. of Math. 59 (1954), 505--530

work page 1954