arxiv: 2604.24445 · v1 · submitted 2026-04-27 · 🧮 math.AG · cs.CG

Recognition: unknown

Second gonality of smooth aCM curves on quartic surfaces in mathbb{P}³

Kenta Watanabe

Authors on Pith no claims yet

Pith reviewed 2026-05-08 02:06 UTC · model grok-4.3

classification 🧮 math.AG cs.CG MSC 14H5014J28

keywords second gonalityClifford indexarithmetically Cohen-Macaulay curvesquartic surfaceslinear seriesprojective three-spaceK3 surfaces

0 comments

The pith

The second gonality of a smooth aCM curve on a smooth quartic surface equals the degree of the net that computes its Clifford index.

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

The paper defines the second gonality d2 of a smooth irreducible curve C as the smallest integer d such that C carries a linear series of degree d and dimension 2. It then determines this number for curves that are arithmetically Cohen-Macaulay, lie on a smooth quartic surface in projective three-space, and have their Clifford index realized by a net on the curve itself. A reader cares because the value controls the lowest-degree map from the curve to the projective plane and therefore governs how the curve sits in its ambient space and how it deforms.

Core claim

For a smooth irreducible curve C, its second gonality d2 is defined to be the minimum integer d such that C admits a linear series g_d^2. In this paper, we compute the second gonality of a smooth aCM curve C lying on a smooth quartic surface in P^3, whose Clifford index is computed by a net on C.

What carries the argument

the net on C that realizes the Clifford index, i.e., the linear series g_d^2 whose Clifford number d-4 equals the Clifford index of C and thereby fixes the second gonality

If this is right

The minimal degree of any map from C to the projective plane is given directly by the degree of the net.
The Brill-Noether theory of C is constrained by the ACM condition on the quartic surface.
All such curves admit a plane model whose degree is determined by their Clifford index.
The result supplies an explicit formula linking second gonality to the geometry of the ambient K3 surface.

Where Pith is reading between the lines

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

The same method may produce explicit second-gonality values for curves on other K3 surfaces of higher degree.
Computational checks on low-degree examples (for instance degree-8 curves) would give immediate verification of the general statement.
The formula could be used to construct families of curves with prescribed second gonality inside the moduli space of curves.

Load-bearing premise

The curve is smooth, irreducible, arithmetically Cohen-Macaulay, lies on a smooth quartic surface, and its Clifford index is realized by a net on the curve.

What would settle it

A concrete counter-example would be an explicit smooth aCM curve of low degree on a smooth quartic surface whose Clifford index is given by a net yet whose minimal g_d^2 has degree strictly larger than the value obtained from that net.

read the original abstract

For a smooth irreducible curve $C$, its second gonality $d_2$ is defined to be the minimum integer $d$ such that $C$ admits a linear series $g_d^2$. In this paper, we compute the second gonality of a smooth aCM curve $C$ lying on a smooth quartic surface in $\mathbb{P}^3$, whose Clifford index is computed by a net on $C$.

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 computes an explicit value for d2 on smooth aCM curves on smooth quartics when the Clifford index is realized by a net.

read the letter

The main point is that the authors turn the geometry of aCM curves on smooth quartics into a concrete number for the second gonality. They show that under the stated hypotheses the minimal d for a g_d^2 equals the Clifford index plus four, using the resolution of the ideal sheaf and the fact that the surface is a quartic K3 to control possible linear series. The argument follows the expected path from the definition of Clifford index and the aCM condition, so the equality holds as anticipated from liaison or resolution theory. They deliver the computation cleanly without extra claims about generality. The work is useful because it gives an explicit invariant in a setting where the embedding and the surface supply enough structure to make the bound sharp. The hypotheses line up exactly with the conditions needed for the net to realize the Clifford index and for no lower-degree g_d^2 to exist. The soft spots are limited. The result applies only to curves satisfying the net condition, so readers must verify that separately; the paper does not appear to classify how often this happens among all aCM curves on quartics. The scope stays narrow by design, which is fine but means the formula will mainly interest people already working on curves in P^3 or on K3 surfaces. No circularity or missing cases show up in the setup. This is for readers who care about explicit Brill-Noether numbers for embedded curves rather than general theory. A specialist in curve theory on surfaces will find the concrete value worth checking. It deserves a serious referee because the computation is focused, the hypotheses are stated clearly, and the geometric tools are standard. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The paper computes the second gonality d_2 (minimum d such that C admits a g_d^2) for smooth irreducible arithmetically Cohen-Macaulay curves C lying on a smooth quartic surface in P^3, under the hypothesis that the Clifford index of C is realized by a net on C. The main result determines the explicit value of this invariant, confirming the general lower bound d_2 >= Cliff(C) + 4 with equality in this setting.

Significance. If the result holds, it verifies the expected equality d_2 = Cliff(C) + 4 for this class of curves by exploiting the aCM property, the resolution of the ideal sheaf of C, and the geometry of the ambient quartic surface. This provides a concrete contribution to Brill-Noether theory for space curves, with the hypotheses precisely matching the conditions under which the equality is predicted. The explicit computation strengthens the link between Clifford index and higher gonality invariants.

minor comments (2)

[Introduction] Introduction: A brief recall of the definitions of second gonality and the Clifford index (including the role of nets) would improve accessibility for readers outside the immediate subfield.
[Main result] Main result section: The proof relies on the exact sequence from the aCM resolution; adding one sentence reminding the reader of the relevant cohomology vanishing would clarify the key step without lengthening the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were raised in the report, so we interpret this as an endorsement of the main result with possible minor editorial adjustments to be handled in the revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines second gonality d2 as the minimal d admitting a g_d^2 and computes its value for smooth irreducible aCM curves on smooth quartics whose Clifford index is realized by a net. By standard definition, d2 is always at least Cliff(C)+4, with equality precisely when such a realizing net exists. The hypotheses match exactly the setting in which this equality is expected to hold via the geometry of the quartic surface and the resolution of the ideal sheaf; the paper's contribution is to confirm the equality and extract the explicit value. No equations, fitted parameters, self-citations, or ansatzes are visible that reduce the claimed result to its own inputs by construction. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.0 · 5358 in / 1090 out tokens · 29993 ms · 2026-05-08T02:06:50.592684+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references

[1]

Ciliberto., G

C. Ciliberto., G. Pareschi,Pencils of minimal degree on curves on a K3 surface, J. reine angew. Mathematik 460, 15-36 (1995)

1995
[2]

Donagi, R., D

R. Donagi, R., D. Morrison,Linear systems on K3 sections, J. Diff. Geom. 29, 49-64 (1989). 18

1989
[3]

Lange, Peter E

H. Lange, Peter E. Newstead,Clifford Indices for Vector Bundles on Curves, Affine Flag Manifolds and Principal Bundles, 165-202 (2010)

2010
[4]

Lange, G

H. Lange, G. Martens,On the gonality sequence of an algebraic curve, manuscripta math. 137, 457-473 (2012)

2012
[5]

Green, R

M. Green, R. Lazarsfeld,Special divisors on curves on K3 surfaces, Inv. Math. 89, 357-370 (1987)

1987
[6]

Johnsen, A

T. Johnsen, A. Knutsen,K3 Projective Models in Scrolls, Lecture Notes in Mathematics, 1842. Springer, Berlin (2004)

2004
[7]

Knutsen,Smooth curves on projective K3 surfaces, Math

A. Knutsen,Smooth curves on projective K3 surfaces, Math. Scand. 90, 215-231 (2002)

2002
[8]

Lelli-Chiesa,Margherita Generalized Lazarsfeld-Mukai bundles and a conjecture of Donagi and Morrison, Adv

M. Lelli-Chiesa,Margherita Generalized Lazarsfeld-Mukai bundles and a conjecture of Donagi and Morrison, Adv. Math. 268, 529- 563 (2015)

2015
[9]

Saint-Donat,Projective models of K3 surfaces, Am

B. Saint-Donat,Projective models of K3 surfaces, Am. J. Math. 96, 602-639 (1974)

1974
[10]

Watanabe,The classification of ACM line bundles on quartic hypersurfaces inP 3, Geom

K. Watanabe,The classification of ACM line bundles on quartic hypersurfaces inP 3, Geom. Dedic. 175, 347-353 (2015). 19

2015