pith. sign in

arxiv: 2606.09418 · v1 · pith:TZWHJJ65new · submitted 2026-06-08 · 🧮 math.AG

Seshadri constants and hyperelliptic curves on abelian varieties

Nelson Alvarado This is my paper

Pith reviewed 2026-06-27 14:50 UTC · model grok-4.3

classification 🧮 math.AG
keywords Seshadri constantsabelian varietieshyperelliptic curvesGauss-Wahl mapsCastelnuovo inequalitypolarized varietiesalgebraic curves
0
0 comments X

The pith

The Seshadri constant of a polarized abelian variety divided by the degree of any smooth curve on it is bounded by an invariant of the curve from its high-order Gauss-Wahl maps.

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

The paper proves that for a smooth curve C on a polarized abelian variety (A, θ), the ratio of the Seshadri constant ε(A, θ) to the degree of C is at most an intrinsic invariant of C. This invariant is built from the non-surjectivity of certain high-order Gauss-Wahl maps defined on C. The bound immediately gives a sharp Castelnuovo-type inequality on the genus of hyperelliptic curves lying on abelian varieties of any dimension, together with a characterization of the equality cases. The result extends the known statement that smooth hyperelliptic curves on abelian surfaces have genus at most five.

Core claim

Given a smooth curve C on a polarized abelian variety (A, θ), the quotient ε(A, θ)/deg(C) is bounded above by an intrinsic invariant of C defined in terms of the non-surjectivity of certain high-order Gauss-Wahl maps on the curve. This produces a sharp Castelnuovo-type inequality for hyperelliptic curves on abelian varieties of any dimension and identifies the equality cases.

What carries the argument

The intrinsic invariant of the curve C, defined via the non-surjectivity of high-order Gauss-Wahl maps on C, which supplies the upper bound on the ratio ε(A, θ)/deg(C).

If this is right

  • Hyperelliptic curves on abelian varieties of any dimension obey a sharp Castelnuovo-type genus bound.
  • The cases of equality in the genus bound are characterized explicitly in terms of the geometry of the curve and the polarization.
  • The surface result that smooth hyperelliptic curves have genus at most five extends to higher-dimensional abelian varieties.
  • The bound is compared directly to the conjectural picture for polarized abelian varieties that admit a small Seshadri constant.

Where Pith is reading between the lines

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

  • Abelian varieties carrying a very small Seshadri constant are expected to contain only low-genus hyperelliptic curves.
  • Explicit computation of the Gauss-Wahl invariant on known families of hyperelliptic curves on abelian varieties would test the tightness of the bound.

Load-bearing premise

The non-surjectivity properties of the high-order Gauss-Wahl maps on the curve control the global Seshadri constant of the ambient polarized abelian variety.

What would settle it

A smooth curve C on some polarized abelian variety (A, θ) for which ε(A, θ)/deg(C) exceeds the value of the Gauss-Wahl invariant constructed from C would falsify the stated bound.

read the original abstract

Given a smooth curve $C$ on a polarized abelian variety $(A,\theta),$ we show that that quotient between the Seshadri constant of $(A,\theta)$ and the degree of $C$ is bounded above by an intrinsic invariant of $C.$ This invariant is defined in terms of the (non) surjectivity of certain high order Gau\ss-Wahl maps on the curve. As a consequence, we prove a sharp Castelnuovo-type inequality for hyperelliptic curves on abelian varieties and characterize the cases in which we have equality. This is an extension to higher dimensions of the fact that smooth hyperelliptic curves on abelian surfaces have genus at most five. At the end, we compare this result to the conjectural picture about polarized abelian varieties with small Seshadri constant.

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 / 2 minor

Summary. The paper claims that for a smooth curve C on a polarized abelian variety (A, θ), the quotient ε(A, θ)/deg(C) is bounded above by an intrinsic invariant of C defined via the (non)surjectivity of certain high-order Gauss-Wahl maps on C. As a consequence, it establishes a sharp Castelnuovo-type inequality for hyperelliptic curves on abelian varieties (extending the genus ≤5 bound known for abelian surfaces) and characterizes equality cases. The work concludes by comparing the result to conjectures on polarized abelian varieties with small Seshadri constants.

Significance. If the central reduction holds, the result supplies a curve-local mechanism (via Gauss-Wahl maps) to bound global Seshadri constants on abelian varieties and yields new genus restrictions for hyperelliptic curves in higher dimensions. This would be a meaningful extension of surface results and could inform the conjectural classification of abelian varieties with small ε(A, θ).

major comments (1)
  1. [Main theorem / proof of the bound] The central claim (abstract and presumably the main theorem) asserts that non-surjectivity properties of high-order Gauss-Wahl maps on C control the global ratio ε(A, θ)/deg(C). The manuscript must exhibit the explicit chain of inequalities or lemmas establishing this control; without a verified reduction, the bound on the Seshadri constant remains unanchored to the curve-local data.
minor comments (2)
  1. [Introduction] Clarify the precise definition of the intrinsic invariant (which orders of Gauss-Wahl maps are used and how non-surjectivity is quantified) already in the introduction.
  2. [Final section] The comparison with the conjectural picture on small Seshadri constants at the end would benefit from explicit statements of the relevant conjectures being referenced.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thorough reading and for highlighting the need to clarify the logical structure of the central reduction. We agree that the connection between the curve-local Gauss-Wahl data and the global Seshadri ratio should be presented more explicitly, and we will revise the manuscript accordingly. Below we address the single major comment.

read point-by-point responses

  1. Referee: [Main theorem / proof of the bound] The central claim (abstract and presumably the main theorem) asserts that non-surjectivity properties of high-order Gauss-Wahl maps on C control the global ratio ε(A, θ)/deg(C). The manuscript must exhibit the explicit chain of inequalities or lemmas establishing this control; without a verified reduction, the bound on the Seshadri constant remains unanchored to the curve-local data.

    Authors: The reduction is carried out in Section 3. We first recall that ε(A,θ) is the infimum of (L·C')/mult_x(C') over curves C' through a general point x. For our fixed curve C we use the assumption that the k-th Gauss-Wahl map fails to be surjective for sufficiently large k (depending on the Clifford index of C). This failure implies, via the exact sequence relating the Wahl map to the normal bundle and the restriction of the polarization, that h^0(N_{C/A} ⊗ O_C(-k)) is positive. By the projection formula and the fact that θ restricts to a multiple of the hyperelliptic class on C, this yields the inequality ε(A,θ) ≤ γ(C) · deg(C), where γ(C) is the invariant measuring the first order of non-surjectivity. The chain is therefore: non-surjectivity of GW_k → non-vanishing of a certain cohomology group on C → lower bound on the minimal degree of a curve in |θ| through a point of C → upper bound on ε(A,θ)/deg(C). We will add a new subsection 3.1 that isolates this chain with a commutative diagram and explicit references to Lemmas 3.3 and 3.5, together with a short paragraph in the introduction that summarizes the same steps. This addresses the request for an explicit, verifiable reduction. revision: yes

Circularity Check

0 steps flagged

No circularity; invariant defined independently via Gauss-Wahl maps

full rationale

The paper defines an intrinsic invariant of C from the (non)surjectivity properties of high-order Gauss-Wahl maps on the curve itself. It then derives an upper bound on ε(A,θ)/deg(C) in terms of this independently defined invariant. No self-definitional reduction, no fitted input renamed as prediction, and no load-bearing self-citation chain appears in the abstract or described derivation. The central claim connects curve-local map data to the global Seshadri constant via explicit inequalities or lemmas without reducing to its own inputs by construction. This is the normal self-contained case.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the intrinsic invariant is defined from existing Gauss-Wahl maps rather than postulated anew.

pith-pipeline@v0.9.1-grok · 5659 in / 1224 out tokens · 18274 ms · 2026-06-27T14:50:04.072540+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

35 extracted references · 24 canonical work pages

  1. [1]

    Complex algebraic varieties (

    Demailly, Jean-Pierre , TITLE =. Complex algebraic varieties (. 1992 , MRCLASS =. doi:10.1007/BFb0094512 , URL =

    work page doi:10.1007/bfb0094512 1992

  2. [2]

    2004 , PAGES =

    Lazarsfeld, Robert , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-642-18808-4 , URL =

    work page doi:10.1007/978-3-642-18808-4 2004

  3. [3]

    Algebra Number Theory , FJOURNAL =

    Caucci, Federico , TITLE =. Algebra Number Theory , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/ant.2020.14.947 , URL =

    work page doi:10.2140/ant.2020.14.947 2020

  4. [4]

    Algebraic geometry (

    Bertram, Aaron and Ein, Lawrence and Lazarsfeld, Robert , TITLE =. Algebraic geometry (. 1991 , ISBN =. doi:10.1007/BFb0086260 , URL =

    work page doi:10.1007/bfb0086260 1991

  5. [5]

    Ito, Atsushi , TITLE =. Algebr. Geom. , FJOURNAL =. 2022 , NUMBER =

    2022

  6. [6]

    International Mathematics Research Notices , volume =

    Alvarado, Nelson , title =. International Mathematics Research Notices , volume =. 2025 , month =. doi:10.1093/imrn/rnaf107 , url =

    work page doi:10.1093/imrn/rnaf107 2025

  7. [7]

    Birkenhake and H

    Birkenhake, Christina and Lange, Herbert , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-662-06307-1 , URL =

    work page doi:10.1007/978-3-662-06307-1 2004

  8. [8]

    Debarre, Olivier , TITLE =. The. 2004 , MRCLASS =

    2004

  9. [9]

    Lazarsfeld, Robert , TITLE =. Math. Res. Lett. , FJOURNAL =. 1996 , NUMBER =. doi:10.4310/MRL.1996.v3.n4.a1 , URL =

    work page doi:10.4310/mrl.1996.v3.n4.a1 1996

  10. [10]

    Bauer, Thomas , TITLE =. Math. Ann. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002080050272 , URL =

    work page doi:10.1007/s002080050272 1999

  11. [11]

    Hyperelliptic curves on

    Bor\'. Hyperelliptic curves on. Math. Z. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00209-018-2174-2 , URL =

    work page doi:10.1007/s00209-018-2174-2 2019

  12. [12]

    Duke Math

    Pirola, Gian Pietro , TITLE =. Duke Math. J. , FJOURNAL =. 1989 , NUMBER =. doi:10.1215/S0012-7094-89-05931-0 , URL =

    work page doi:10.1215/s0012-7094-89-05931-0 1989

  13. [13]

    Voisin, Claire , TITLE =. Ann. H. Lebesgue , FJOURNAL =. 2018 , PAGES =. doi:10.1007/s42081-018-0017-3 , URL =

    work page doi:10.1007/s42081-018-0017-3 2018

  14. [14]

    Nakamaye, Michael , TITLE =. Amer. J. Math. , FJOURNAL =. 1996 , NUMBER =

    1996

  15. [15]

    Debarre, Olivier , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1994 , NUMBER =

    1994

  16. [16]

    Ran, Ziv , TITLE =. Invent. Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01394255 , URL =

    work page doi:10.1007/bf01394255 1981

  17. [17]

    Debarre, Olivier , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1995 , NUMBER =

    1995

  18. [18]

    Matsusaka, Teruhisa , TITLE =. Mem. Coll. Sci. Univ. Kyoto Ser. A. Math. , FJOURNAL =. 1959 , PAGES =. doi:10.1215/kjm/1250776695 , URL =

    work page doi:10.1215/kjm/1250776695 1959

  19. [19]

    van Geemen, Bert and van der Geer, Gerard , TITLE =. Amer. J. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.2307/2374657 , URL =

    work page doi:10.2307/2374657 1986

  20. [20]

    Liaison,

    Grushevsky, Samuel , TITLE =. Liaison,. 2010 , ISBN =. doi:10.1007/978-3-0346-0201-3\ _ 12 , URL =

    work page doi:10.1007/978-3-0346-0201-3 2010

  21. [21]

    Arithmetic of complex manifolds (

    Beauville, Arnaud and Debarre, Olivier , TITLE =. Arithmetic of complex manifolds (. 1989 , MRCLASS =. doi:10.1007/BFb0095966 , URL =

    work page doi:10.1007/bfb0095966 1989

  22. [22]

    Pareschi, Giuseppe and Popa, Mihnea , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S0894-0347-02-00414-9 , URL =

    work page doi:10.1090/s0894-0347-02-00414-9 2003

  23. [23]

    Pareschi, Giuseppe and Popa, Mihnea , TITLE =. Math. Ann. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00208-007-0146-7 , URL =

    work page doi:10.1007/s00208-007-0146-7 2008

  24. [24]

    Jiang, Zhi and Pareschi, Giuseppe , TITLE =. Ann. Sci. \'. 2020 , NUMBER =. doi:10.24033/asens.2435 , URL =

    work page doi:10.24033/asens.2435 2020

  25. [25]

    Matematiche (Catania) , FJOURNAL =

    Jow, Shin-Yao and Sauvaget, Adrien and Zelaci, Hacen , TITLE =. Matematiche (Catania) , FJOURNAL =. 2017 , NUMBER =. doi:10.4418/2017.72.2.7 , URL =

    work page doi:10.4418/2017.72.2.7 2017

  26. [26]

    Welters, G. E. , TITLE =. Nederl. Akad. Wetensch. Indag. Math. , FJOURNAL =. 1987 , NUMBER =

    1987

  27. [27]

    , TITLE =

    Kleiman, Steven L. , TITLE =. Compositio Math. , FJOURNAL =. 1974 , PAGES =

    1974

  28. [28]

    Ciliberto, Ciro and Lopes, Margarida Mendes and Pardini, Rita , TITLE =. Adv. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.aim.2014.02.024 , URL =

    work page doi:10.1016/j.aim.2014.02.024 2014

  29. [29]

    Compositio Math

    Debarre, Olivier and Fahlaoui, Rachid , TITLE =. Compositio Math. , FJOURNAL =. 1993 , NUMBER =

    1993

  30. [30]

    2025 , eprint=

    B\'ezout's theorem for abelian varieties , author=. 2025 , eprint=

    2025

  31. [31]

    Accola, Robert D. M. , TITLE =. 1994 , PAGES =. doi:10.1007/BFb0073575 , URL =

    work page doi:10.1007/bfb0073575 1994

  32. [32]

    Pure Appl

    Pareschi, Giuseppe , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2024 , NUMBER =. doi:10.4310/pamq.241105233715 , URL =

    work page doi:10.4310/pamq.241105233715 2024

  33. [33]

    1971 , PAGES =

    Illusie, Luc , TITLE =. 1971 , PAGES =

    1971

  34. [34]

    Mathematische Nachrichten , volume =

    Faro, Dario and Spelta, Irene , title =. Mathematische Nachrichten , volume =. doi:https://doi.org/10.1002/mana.202200287 , url =. https://onlinelibrary.wiley.com/doi/pdf/10.1002/mana.202200287 , abstract =

    work page doi:10.1002/mana.202200287

  35. [35]

    and Pareschi, G

    Alvarado, N. and Pareschi, G. , title =. Mathematische Annalen , volume =. 2026 , doi =

    2026