A Curve of Secants to the Kummer Variety from Degenerate Points

Jos\'e Alejandro Aburto

arxiv: 2603.12393 · v2 · submitted 2026-03-12 · 🧮 math.AG

A Curve of Secants to the Kummer Variety from Degenerate Points

Jos\'e Alejandro Aburto This is my paper

Pith reviewed 2026-05-15 11:22 UTC · model grok-4.3

classification 🧮 math.AG

keywords Kummer varietysecant planestheta functionsdegenerate secantsabelian varietiescurve of secantsinductive construction

0 comments

The pith

m-1 non-degenerate (m+2)-secant m-planes plus one degenerate one imply a curve of secants to the Kummer variety under geometric conditions

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

This paper shows that, assuming certain geometric conditions hold, the presence of precisely m-1 distinct non-degenerate (m+2)-secant m-planes along with a single degenerate (m+2)-secant m-plane to the Kummer variety guarantees the existence of an entire curve made up of (m+2)-secants. The proof proceeds by building a collection of equations expressed using theta functions, derived from the local germ of a curve at the specified points. These equations are related in a way that the initial hypothesis corresponds to the first equation, allowing inductive steps to construct the remaining points on the curve.

Core claim

We prove that under certain geometric conditions, only m-1 different non-degenerate (m+2)-secant m-planes plus one degenerate (m+2)-secant m-plane to the Kummer variety implies the existence of a curve of (m+2)-secants to the Kummer variety. This is done by constructing a set of equations in terms of theta functions from the germ of a curve on the described points. The relation between those equations allows to proceed by induction to get the entire desired curve since the first of them is equivalent to the hypothesis that we ask.

What carries the argument

The system of theta function equations constructed from the germ of the curve on the secant planes, whose relations permit inductive extension to the full curve

Load-bearing premise

The geometric conditions must hold to allow deriving the theta function equations from the germ of the curve at the given points

What would settle it

For a concrete Kummer variety exhibiting the m-1 non-degenerate and one degenerate secant planes, verify whether the derived theta equations hold for additional points generated by the inductive step along the candidate curve

read the original abstract

We prove that, under certain geometric conditions, that only $m-1$ different non-degenerate $(m+2)$-secant $m$-planes plus one degenerate $(m+2)$-secant $m$-plane to the Kummer variety implies the existence of a curve of ${(m+2)}$-secants to the Kummer variety. This is done by constructing a set of equations in terms of theta functions from the germ of a curve on the described points. The relation between those equations allows to proceed by induction to get the entire desired curve since the first of them is equivalent to the hypothesis that we ask.

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 sketches an inductive construction via theta equations that turns m-1 non-degenerate plus one degenerate (m+2)-secant m-planes into a full curve on the Kummer variety, but the base equivalence at the degenerate point rests on unverified vanishing conditions.

read the letter

The core claim is that a specific finite configuration of secants—one degenerate (m+2)-secant m-plane together with m-1 non-degenerate ones—implies a whole curve of such secants, proved by building theta-function equations from the germ through those points and inducting on their relations. The first equation is asserted to match the input hypothesis exactly, after which the rest follows formally. This inductive route from local germ data to a global curve is the main new piece; prior work on Kummer secants has not used this theta-equation induction in quite this way. The setup is clean enough that a reader already comfortable with theta functions on abelian varieties can follow the logic once the base step is granted. The paper earns credit for keeping the argument organized around explicit equations rather than abstract existence. The soft spot sits in the base case. At the degenerate plane the intersection multiplicity with the Kummer variety is higher, so the germ imposes extra vanishing orders on the theta functions. The stated geometric conditions do not obviously guarantee those orders, and the abstract does not derive the precise form of the first equation from the germ in enough detail to confirm equivalence. If those extra conditions are needed but not automatically satisfied, the induction has no starting point. The rest of the argument is then formal but conditional on a step that still needs explicit checking. This is aimed at algebraic geometers who work with Kummer varieties, secant varieties, and theta characteristics; someone already reading papers on these topics would find the construction worth testing. The thinking is coherent on its own terms and the method is reproducible in principle, so the paper deserves a serious referee to verify the base equivalence and the precise vanishing statements. I would send it out rather than desk-reject.

Referee Report

2 major / 1 minor

Summary. The paper claims to prove that, under certain geometric conditions, the existence of only m-1 different non-degenerate (m+2)-secant m-planes plus one degenerate (m+2)-secant m-plane to the Kummer variety implies the existence of a curve of (m+2)-secants. This is done by constructing a family of theta-function equations from the germ of a curve through these points; the relations among the equations permit an inductive argument to produce the full curve, with the first equation asserted to be equivalent to the input secant hypothesis.

Significance. If the result holds, it would provide an inductive mechanism for producing curves of secants on Kummer varieties from a mixed configuration of non-degenerate and degenerate planes, using theta-function equations to encode the geometry. This could be useful for studying secant varieties of abelian varieties, but the absence of an explicit base-case derivation limits the immediate impact.

major comments (2)

The load-bearing claim that the first theta-function equation is equivalent to the given secant hypothesis (only m-1 non-degenerate plus one degenerate (m+2)-secant m-plane) is asserted in the abstract but not derived explicitly from the germ at the degenerate point. At that point the intersection multiplicity with the Kummer variety is higher, so the germ may impose extra vanishing conditions on the theta functions that are not automatically satisfied by the stated geometric conditions; without this identification the induction has no verified base.
The inductive step relies on relations among the constructed theta-function equations, but the manuscript does not supply the explicit verification that these relations follow from the geometric configuration without additional assumptions on the germ.

minor comments (1)

The precise statement of the 'certain geometric conditions' that allow the theta-function equations to be written down should be isolated in a separate lemma or proposition with clear hypotheses.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for greater explicitness in the base case and inductive step. We address each major comment below.

read point-by-point responses

Referee: The load-bearing claim that the first theta-function equation is equivalent to the given secant hypothesis (only m-1 non-degenerate plus one degenerate (m+2)-secant m-plane) is asserted in the abstract but not derived explicitly from the germ at the degenerate point. At that point the intersection multiplicity with the Kummer variety is higher, so the germ may impose extra vanishing conditions on the theta functions that are not automatically satisfied by the stated geometric conditions; without this identification the induction has no verified base.

Authors: We agree that the base-case equivalence requires an explicit local derivation. In the revision we will add a new subsection that expands the theta functions in local coordinates centered at the degenerate point, computes the orders of vanishing imposed by the germ, and verifies that these orders coincide exactly with the conditions coming from the single degenerate (m+2)-secant m-plane together with the m-1 non-degenerate ones. No further vanishing conditions arise beyond those already encoded in the geometric hypothesis. revision: yes
Referee: The inductive step relies on relations among the constructed theta-function equations, but the manuscript does not supply the explicit verification that these relations follow from the geometric configuration without additional assumptions on the germ.

Authors: We will supply the missing verification. The revised manuscript will contain a direct computation, based on the addition formulas for theta functions and the incidence conditions satisfied by the family of secant m-planes, showing that the required algebraic relations among the theta-function equations hold identically once the geometric configuration is imposed. The argument uses only the stated assumptions on the germ and does not invoke extra conditions. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained with no circular reduction

full rationale

The paper constructs theta-function equations from the germ of a curve at the m-1 non-degenerate and one degenerate (m+2)-secant m-planes, then uses relations among the equations to proceed by induction, with the first equation stated to be equivalent to the input hypothesis. No step reduces the claimed implication to an input by definition, a fitted parameter renamed as prediction, or a self-citation chain; the equivalence is presented as following from the geometric construction under the stated conditions rather than being tautological. The derivation therefore retains independent content from the theta-function relations and induction step.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard properties of theta functions and the definition of the Kummer variety, plus an unspecified set of geometric conditions on the points and planes.

axioms (2)

standard math Standard properties of theta functions on abelian varieties and their Kummer quotients
Invoked to construct the system of equations from the germ of the curve.
domain assumption Existence of the described geometric conditions on the secant planes and points
The hypothesis requires these conditions to initiate the equation construction and induction.

pith-pipeline@v0.9.0 · 5402 in / 1318 out tokens · 32536 ms · 2026-05-15T11:22:22.527832+00:00 · methodology

A Curve of Secants to the Kummer Variety from Degenerate Points

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)