Pith. sign in

REVIEW 3 minor 1 cited by

A curve and its abstract generalized Jacobian

T0 review · 0 major / 3 minor · reviewed 2026-05-12 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read The data of a smooth proper curve with a rational point and coprime effective divisor can be recovered from the abstract generalized Jacobian and its embedded curve points up to automorphism twist.

desk verdict This extends Zilber's reconstruction from ordinary Jacobians to the generalized case and proves the Booher-Voloch conjecture with a direct argument. read the letter →

arxiv 2605.09155 v1 submitted 2026-05-09 math.AG math.LO

Benjamin Castle , Ishai Dan-Cohen , Assaf Hasson This is my paper
classification math.AGmath.LO
keywords generalizedJacobianabstractcurverecoveryfunctionfieldsGaloistwistsBooher-VolochconjecturealgebraiccurvesZilbertheorem
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 that given a smooth proper curve C over a field k, together with a k-rational point c and an effective divisor m coprime to c, the group of algebraic closure points of the generalized Jacobian J_m together with the subset of those points coming from C minus the support of m determine the original triple (C, c, m) up to twisting by an automorphism of the algebraic closure. The argument generalizes Zilber's earlier recovery result for the ordinary Jacobian. A direct corollary, via prior work of Booher and Voloch, is that when k is finite the same data can be read off from L-functions attached to characters of certain Galois extensions of the function field of C. The result matters because it shows that the arithmetic structure of the generalized Jacobian encodes enough geometry to reconstruct the curve itself.

What carries the argument

The abstract generalized Jacobian J_m(k-bar) equipped with the natural subset of points coming from the curve minus the support of m.

What would settle it

Two distinct triples (C, c, m) and (C', c', m') whose generalized Jacobians over the algebraic closure are isomorphic as groups, with the curve-point subsets corresponding under the isomorphism, yet no automorphism of the algebraic closure maps one triple to the other.

Watch

Extended reading notes

Core claim

To a smooth proper curve C over a field k equipped with a k-point c and an effective divisor m coprime to c, one may associate the abstract group J_m(k-bar) of k-bar-points of the generalized Jacobian, as well as a subset (C minus Supp(m))(k-bar) inside J_m(k-bar). We show that the data (C, c, m) can be retrieved from this subset up to a twist by an automorphism of k-bar, proving a conjecture of Booher and Voloch.

Load-bearing premise

The curve must be smooth and proper over k with a k-rational point and the divisor must be effective and coprime to the point, with the argument using the standard construction and properties of the generalized Jacobian.

Editorial extensions

If this is right

  • When the base field is finite, the data (C, c, m) can also be recovered from L-functions of characters of certain Galois extensions of the function field of C.
  • The recovery result extends the classical case of the ordinary Jacobian treated by Zilber.
  • Arithmetic invariants attached to the generalized Jacobian suffice to reconstruct the underlying geometric curve, point, and modulus.

Reading between the lines

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

  • The result hints that anabelian-type information in the Jacobian can determine the curve up to isomorphism in a stronger sense than previously known.
  • Similar recovery statements might hold for other moduli problems or for curves over local fields.
  • The method could be tested computationally by checking whether small-genus curves over finite fields are distinguished by their generalized Jacobian data.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper proves a reconstruction theorem: given a smooth proper curve C over a field k with k-rational point c and effective divisor m coprime to c, the abstract group J_m(k-bar) of k-bar-points of the generalized Jacobian together with the embedded subset (C minus Supp(m))(k-bar) determines the triple (C, c, m) up to automorphism of k-bar. This generalizes Zilber's reconstruction theorem for ordinary Jacobians and proves a conjecture of Booher and Voloch; as a corollary, when k is finite the data can also be recovered from L-functions of characters of certain Galois extensions of the function field of C.

Significance. If the result holds, it provides a direct generalization of an important reconstruction theorem from algebraic geometry to the setting of generalized Jacobians, using the standard embedding via the divisor class map relative to c and m. The work credits the precedent of Zilber and the conjecture of Booher-Voloch, and the finite-field application via L-functions adds arithmetic interest. The hypotheses (smooth proper curve, k-point c, m coprime to c) are the minimal ones ensuring the generalized Jacobian is a smooth commutative group scheme with the stated generating subset.

minor comments (3)
  1. §1 (Introduction): the statement of the main theorem should explicitly cross-reference the section containing the proof of the reconstruction (currently only alluded to as a generalization of Zilber).
  2. Notation: the symbol frak m for the modulus is introduced in the abstract but its definition and coprimality condition with c should be restated at the beginning of §2 for readers who skip the abstract.
  3. The proof sketch in the abstract mentions 'the group law and linear equivalence relations that characterize the image'; the manuscript should add a sentence in §3 clarifying which exact relations are used to distinguish the image from other subsets.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment, which accurately describe the content and context of our manuscript, including the generalization of Zilber's theorem and the application to L-functions. The recommendation of minor revision is noted. Since the report lists no specific major comments, we have no point-by-point items to address.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper establishes a reconstruction theorem by generalizing Zilber's known result on ordinary Jacobians to the generalized Jacobian setting, using the standard embedding of the curve into its generalized Jacobian via the divisor class map relative to the point c and modulus m. All steps rely on the classical properties of smooth proper curves, effective divisors coprime to c, and the group law on J_m, which are external to the paper and not defined in terms of the target reconstruction. No fitted parameters, self-definitional reductions, or load-bearing self-citations appear; the argument is a direct algebraic proof that remains self-contained against the cited external benchmarks.

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

The paper relies on standard axioms and constructions of algebraic geometry for smooth proper curves and their generalized Jacobians; no free parameters, ad-hoc axioms, or invented entities are introduced.

assumptions (1)
  • standard math Standard properties of smooth proper curves over a field and the existence and functoriality of their generalized Jacobians
    The embedding of curve points into the generalized Jacobian and the recovery argument presuppose these foundational results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A curve and its abstract generalized Jacobian." pith.science (2026). https://pith.science/paper/2605.09155

@misc{pith2026260509155,
  author       = {Pith},
  title        = {Pith review of: A curve and its abstract generalized Jacobian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2605.09155}},
  note         = {Machine review of arXiv:2605.09155}
}
abstract

To a smooth proper curve $C$ over a field $k$ equipped with a $k$-point $c$ and an effective divisor $\mathfrak m$ coprime to $c$, one may associate the abstract group $J_{\mathfrak m}(\bar k)$ of $\overline k$-points of the generalized Jacobian, as well as a subset \[ \tag{*} \big(C\setminus \operatorname{Supp}(\mathfrak m)\big)(\bar k) \subset J_{\mathfrak m}(\bar k). \] We show that the data $(C,c,\mathfrak m)$ can be retrieved from (*) up to a twist by an automorphism of $\overline k$, proving a conjecture of Booher and Voloch. By a result of Booher and Voloch this shows that when $k$ is a finite field, the same data may also be retrieved from $L$-functions of characters of certain Galois extensions of the function field of $C$. The proof is a generalization of Zilber's well known work "A curve and its abstract Jacobian".

Discussion (0). Sign in 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

  1. Group Chunks in Model Theory and Algebraic Geometry

    math.AG 2026-07 conditional novelty 7.0 of 10

    A site-theoretic group chunk theorem unifies model-theoretic and algebro-geometric constructions, and an algebro-geometric analogue of Hrushovski's method builds groups from canonical families of rational maps over ge...

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · cited by 1 Pith paper

  1. [1]

    Recovering algebraic curves from L-functions of Hilbert class fields.Res

    Jeremy Booher and José Felipe V oloch. Recovering algebraic curves from L-functions of Hilbert class fields.Res. Number Theory, 6(4):Paper No. 43, 6, 2020

    work page 2020

  2. [2]

    Recovering affine curves over finite fields fromL- functions.Pacific J

    Jeremy Booher and José Felipe V oloch. Recovering affine curves over finite fields fromL- functions.Pacific J. Math., 314(1):1–28, 2021

    work page 2021

  3. [4]

    Very ampleness in strongly minimal sets.Model Theory, 3(2):213–258, 2024

    Benjamin Castle and Assaf Hasson. Very ampleness in strongly minimal sets.Model Theory, 3(2):213–258, 2024

    work page 2024

  4. [5]

    Reconstructing Abelian Varieties via Model Theory.arXiv e-prints, page arXiv:2504.04307, April 2025

    Benjamin Castle and Assaf Hasson. Reconstructing Abelian Varieties via Model Theory.arXiv e-prints, page arXiv:2504.04307, April 2025

    work page arXiv 2025

  5. [6]

    Zilber’s Trichotomy in Hausdorff Geometric Structures.arXiv e-prints, page arXiv:2405.02209, May 2024

    Benjamin Castle, Assaf Hasson, and Jinhe Ye. Zilber’s Trichotomy in Hausdorff Geometric Structures.arXiv e-prints, page arXiv:2405.02209, May 2024

    work page arXiv 2024

  6. [7]

    Springer-Verlag New York, 1977

    Robin Hartshorne.Algebraic Geometry, volume 52 ofGraduate Texts in Mathematics. Springer-Verlag New York, 1977

    work page 1977

  7. [8]

    Incidence systems on Cartesian powers of algebraic curves

    Assaf Hasson and Dmitry Sustretov. Incidence systems on Cartesian powers of algebraic curves. J. Eur. Math. Soc. (JEMS), 27(3):1055–1105, 2025

    work page 2025

  8. [9]

    A new strongly minimal set.Ann

    Ehud Hrushovski. A new strongly minimal set.Ann. Pure Appl. Logic, 62(2):147–166, 1993. Stability in model theory, III (Trento, 1991)

    work page 1993

Show all 16 references
  1. [10]

    Valued fields, metastable groups.Selecta Math

    Ehud Hrushovski and Silvain Rideau-Kikuchi. Valued fields, metastable groups.Selecta Math. (N.S.), 25(3):Paper No. 47, 58, 2019

    2019

  2. [11]

    Hrushovski and A

    U. Hrushovski and A. Pillay. Weakly normal groups. InLogic colloquium ’85 (Orsay, 1985), volume 122 ofStud. Logic Found. Math., pages 233–244. North-Holland, Amsterdam, 1987

    1985

  3. [12]

    Springer Science & Business Media, 2013

    Jürgen Neukirch.Algebraic number theory, volume 322. Springer Science & Business Media, 2013

    2013

  4. [13]

    Bruno Poizat. MM. Borel, Tits, Zil′ber et le Général Nonsense.J. Symbolic Logic, 53(1):124– 131, 1988

    1988

  5. [14]

    E. D. Rabinovich.Definability of a field in sufficiently rich incidence systems, volume 14 of QMW Maths Notes. Queen Mary and Westfield College School of Mathematical Sciences, Lon- don, 1993. With an introduction by Wilfrid Hodges

    1993

  6. [15]

    Springer-Verlag, New York, 1988

    Jean-Pierre Serre.Algebraic groups and class fields, volume 117 ofGraduate Texts in Mathe- matics. Springer-Verlag, New York, 1988. Translated from the French

    1988

  7. [16]

    Silverman.The Arithmetic of Elliptic Curves, volume 106 ofGraduate Texts in Math- ematics

    Joseph H. Silverman.The Arithmetic of Elliptic Curves, volume 106 ofGraduate Texts in Math- ematics. Springer New York, NY , 2nd edition, 2009

    2009

  8. [17]

    A curve and its abstract Jacobian.Int

    Boris Zilber. A curve and its abstract Jacobian.Int. Math. Res. Not. IMRN, (5):1425–1439, 2014. BC: DEPARTMENT OF MATHEMATICS, UNIVERSITY OFILLINOS ATURBANACHAMPAIGN Email address:btcastl2@illinois.edu ID: DEPARTMENT OFMATHEMATICS, BEN-GURIONUNIVERSITY OF THENEGEV. Email addre...

    2014

Pith tools

Reviewed May 12, 2026 · model on record in the stance chip above.