Abelian varieties analogs of two results about algebraic curves
Pith reviewed 2026-05-23 02:33 UTC · model grok-4.3
The pith
Decomposable principally polarized abelian varieties of the form E×B are identified by failures in normal generation and second-order Gaussian map surjectivity, in direct analogy to hyperelliptic curves.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We characterize decomposable principally polarized abelian varieties of the form E×B, with E an elliptic curve, by the failure of the normal generation property of the graded module over the symmetric algebra on H^0(2Θ) and by the failure of surjectivity of the second order Gaussian maps for 6Θ, or equivalently by 3Θ failing to separate 2-jets. This is equivalent to an effective version of Nakamaye's theorem characterizing these varieties as those with minimal Seshadri constant.
What carries the argument
The normal generation property of the graded module over Sym(H^0(2Θ)) and the surjectivity of second-order Gaussian maps associated to 6Θ, together with their equivalence to the minimal Seshadri constant via Nakamaye's theorem.
If this is right
- The decomposable varieties E×B are exactly those failing the normal generation in degree zero.
- The same varieties are exactly those where the second Gaussian maps fail to be surjective.
- The jet separation failure for 3Θ is equivalent to the above.
- The characterizations provide an effective form of Nakamaye's theorem.
- Conjectural links exist between p-jet thresholds, Gaussian map thresholds, and Seshadri constants.
Where Pith is reading between the lines
- The analogy suggests that other classes of abelian varieties might admit similar characterizations based on higher-order properties.
- These results could be used to compute or bound Seshadri constants explicitly for products involving elliptic curves.
- Testing the conjectures on specific low-dimensional abelian varieties might reveal new patterns in jet separation behavior.
Load-bearing premise
That the described failures of normal generation and Gaussian map surjectivity occur precisely for the decomposable varieties E×B and not for others, relying on the fixed choice of polarization Θ.
What would settle it
Observing a principally polarized abelian variety that is not of the form E×B but still fails the normal generation property or the Gaussian map surjectivity, or conversely a variety of that form where the properties hold.
read the original abstract
We characterize decomposable principally polarized abelian varieties of the form $E\times B$, with $E$ an elliptic curve, in two different ways, which are, surprisingly, completely analogous to classical results of curve theory concerning hyperelliptic curves. The first one is by the failure of a normal generation property, namely the generation in degree zero of a certain graded module over the symmetric algebra over $H^0(2\Theta)$. This appears to be the first result of this type in the realm of p.p.a.v.'s. The second characterization is by the failure of surjectivity of second order gaussian maps associated to line bundles corresponding to $6\Theta$, or, equivalently, by the fact that at some point, the line bundle corresponding to $3\Theta$ fails to separate $2$-jets. We also show that this last result is equivalent to an effective version of a theorem of Nakamaye characterizing the above decomposable abelian varieties as those computing the minimal Seshadri constant. Finally we propose some conjectural generalizations relating $p$-jets separation thresholds, higher gaussian maps sujectivity thresholds, and Seshadri constants.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript characterizes decomposable principally polarized abelian varieties of the form E×B (E an elliptic curve) via two if-and-only-if statements analogous to classical results on hyperelliptic curves. The first states that such varieties are precisely those for which a certain graded module over Sym H^0(2Θ) fails to be generated in degree zero. The second states that they are precisely those for which the second Gaussian map associated to 6Θ fails to be surjective (equivalently, 3Θ fails to separate 2-jets at some point). These characterizations are shown equivalent to an effective form of Nakamaye’s theorem identifying the varieties that compute the minimal Seshadri constant; the paper also proposes conjectures relating p-jet separation thresholds, higher Gaussian map surjectivity thresholds, and Seshadri constants.
Significance. If the derivations hold, the work supplies the first results of this type for principally polarized abelian varieties, establishing precise parallels between syzygy failures on abelian varieties and the hyperelliptic case on curves. The explicit equivalence between the Gaussian-map/ jet-separation criterion and an effective Nakamaye statement is a substantive contribution that tightens the link between generation properties and positivity invariants. The conjectural generalizations indicate a coherent program for higher-order analogs.
major comments (2)
- [§4, Theorem 4.3] §4, Theorem 4.3 (equivalence to effective Nakamaye): the argument that the minimal Seshadri constant is achieved precisely on decomposable varieties appears to use the explicit form of the polarization Θ on E×B; it is not immediately clear whether the reduction step remains valid when the point at which the constant is computed lies on a translate of the theta divisor. A concrete verification that the inequality direction does not rely on an extra positivity assumption would strengthen the claim.
- [§3, Proposition 3.5] §3, Proposition 3.5 (normal generation failure): the graded module is defined over Sym H^0(2Θ), yet the proof that generation fails exactly when the variety is decomposable invokes a specific Koszul-type resolution whose exactness is asserted without an explicit reference to a prior result on the cohomology of the ideal sheaf of the theta divisor. If this exactness is new, it should be stated as a lemma.
minor comments (3)
- [Notation] The notation for the second Gaussian map (page 7) uses both G_2 and the explicit map symbol; a single consistent symbol would improve readability.
- [§5] Conjecture 5.1 is stated without a precise formulation of the expected threshold function; adding the conjectural equality relating the jet-separation threshold to the Seshadri constant would make the statement falsifiable.
- [Introduction] Several citations to classical results on Gaussian maps on curves (e.g., the hyperelliptic case) are given only by author name; adding the precise theorem numbers would help readers locate the exact statements being generalized.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive evaluation, and constructive suggestions. We address each major comment below. The revisions will be incorporated into the next version of the manuscript.
read point-by-point responses
-
Referee: [§4, Theorem 4.3] §4, Theorem 4.3 (equivalence to effective Nakamaye): the argument that the minimal Seshadri constant is achieved precisely on decomposable varieties appears to use the explicit form of the polarization Θ on E×B; it is not immediately clear whether the reduction step remains valid when the point at which the constant is computed lies on a translate of the theta divisor. A concrete verification that the inequality direction does not rely on an extra positivity assumption would strengthen the claim.
Authors: The reduction in the proof of Theorem 4.3 uses the translation-invariance of the Seshadri constant together with the product structure of E×B; any translate of the theta divisor can be absorbed by adjusting the origin without changing the numerical invariants. Nevertheless, to make the independence from the choice of translate fully explicit, we will insert a short verification paragraph immediately after the statement of the theorem, performing the inequality computation directly on a general translate using the seesaw theorem and the explicit form of the polarization. This addition does not alter the argument but addresses the referee’s request for concrete verification. revision: partial
-
Referee: [§3, Proposition 3.5] §3, Proposition 3.5 (normal generation failure): the graded module is defined over Sym H^0(2Θ), yet the proof that generation fails exactly when the variety is decomposable invokes a specific Koszul-type resolution whose exactness is asserted without an explicit reference to a prior result on the cohomology of the ideal sheaf of the theta divisor. If this exactness is new, it should be stated as a lemma.
Authors: The exactness of the Koszul complex follows from standard vanishing results for the ideal sheaf of the theta divisor (via the Fourier-Mukai transform and the seesaw theorem). To render the manuscript self-contained, we will extract the relevant exact sequence as a new lemma (Lemma 3.4) in Section 3, supplying a short proof that cites the classical vanishing statements. This change clarifies the argument without modifying its content. revision: yes
Circularity Check
No significant circularity; derivations are self-contained mathematical proofs
full rationale
The paper establishes two if-and-only-if characterizations of decomposable principally polarized abelian varieties E×B via failure of normal generation for a graded module over Sym H^0(2Θ) and via failure of 2-jet separation for 3Θ (equivalently, non-surjectivity of second Gaussian maps on 6Θ). These are proved directly from properties of line bundles and theta divisors, then shown equivalent to an effective form of Nakamaye’s theorem on minimal Seshadri constants. No parameters are fitted, no predictions reduce to inputs by construction, and the cited Nakamaye result is external (different authors). The work is self-contained against external benchmarks in algebraic geometry; no load-bearing self-citation or self-definitional steps appear.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of principally polarized abelian varieties, theta divisors, and associated line bundles hold as in classical algebraic geometry.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.