Hurwitz-Brill-Noether theory via K3 surfaces and stability conditions

Andr\'es Rojas; Gavril Farkas; Soheyla Feyzbakhsh

Hurwitz-Brill-Noether theory via K3 surfaces and stability conditions

T0 review · 1 major / 0 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that general curves on elliptic K3 surfaces with a degree-k elliptic pencil satisfy the Hurwitz-Brill-Noether theorem, fixing dim W^r_d(C)=ρ_k(g,r,d), and constructs explicit such curves over number fields.

desk verdict The stability-type formalism is genuinely new and the non-existence side looks solid, but the proof of the main existence theorem rests on a limit linear series construction that is impossible as written. read the letter →

arxiv 2505.19890 v2 pith:WG3TFMNZ submitted 2025-05-26 math.AG

Gavril Farkas , Soheyla Feyzbakhsh , Andrés Rojas This is my paper · ORCID

classification math.AG MSC 14H5114J2814F0514H1014D20

keywords Hurwitz-Brill-NoethertheoryBridgelandstabilityconditionsellipticK3surfacesHalphenBrill-Noetherlocilimitlinearseriessplittingtypesnumberfields

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 aims to prove that smooth curves equipped with a degree-k map to the projective line can satisfy the Hurwitz-Brill-Noether theorem: the Brill-Noether loci W^r_d(C) then have dimension exactly ρ_k(g,r,d) = max_{0≤ℓ≤r} (ρ(g,r−ℓ,d) − ℓk), and are empty when that number is negative. The setting is an elliptic K3 surface X whose Picard group is generated by an ample class H and an elliptic pencil E with H·E = k, so that every curve C ∈ |H| carries the degree-k pencil A = O_C(E). The main theorem states that a general such C has dim W^r_d(C) = ρ_k(g,r,d) for every d ≤ g−1, while no integral curve in |H| carries a linear system when ρ_k(g,r,d)<0. A second theorem shows that a general curve in the du Val linear system on a degree-k Halphen surface is Hurwitz-Brill-Noether general, giving the first explicit smooth k-gonal curves with this property, defined over number fields of degree at most k²−1 for prime k. The reason this matters is that the Hurwitz-Brill-Noether theory had previously been developed through tropical and degeneration arguments, but no single smooth k-gonal curve was known to realize the predicted dimensions.

What carries the argument

The central object is the Bridgeland stability type of an object in the derived category of an elliptic K3 surface. For a fixed polarization H_ε = E + εH, the paper considers a ray of stability conditions σ_w and records, as w decreases, the successive destabilizing subobjects O_X(e_iE)^{⊕m_i}; the list ((e_1,m_1),...,(e_p,m_p)) is the stability type of the object. The inequalities Σm_i ≤ h⁰(X,F) ≤ Σm_i(e_i+1) and m_1(e_1+1) ≤ h⁰(X,F) convert stability types into a stratification of Brill-Noether loci, and the balanced types ((e+1,m_1),(e,m_2)) are shown to be non-empty precisely when the relevant expected dimension is non-negative. The base case ℓ=0 of the inductive dominance proof uses a different mechanism: a limit linear series on a chain of g elliptic curves whose gluing points differ by k-torsion, paired with a degree-k pencil of ramification profile (0,k−1), which deforms to a line bundle on a smooth nearby curve.

What would settle it

Take a curve C in the du Val linear system on a degree-k Halphen surface in a range of parameters with ρ_k(g,r,d)<0 and check whether W^r_d(C) contains any line bundle; a single nonempty locus would refute the theorem. Equivalently, for a general curve on an elliptic K3 surface in a range where ρ_k(g,r,d)≥0, exhibit a component of W^r_d(C) of dimension strictly larger than ρ_k(g,r,d), or show that a limit linear series on the chain of elliptic curves used in Theorem 7.6 fails to smooth.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes Theorem 1.4: for a general curve C in |H| on a degree-k elliptic K3 surface with Pic(X)=Z·H⊕Z·E, H²=2g−2 and H·E=k, one has dim W^r_d(C)=ρ_k(g,r,d) for all d≤g−1, and W^r_d(C)=∅ for every integral C∈|H| whenever ρ_k(g,r,d)<0. The existence part is obtained by proving that the moduli space of Bridgeland stable sheaves of Mukai vector (0,H,1+d−g) with a balanced stability type ((e+1,m_1),(e,m_2)) is non-empty, smooth, irreducible and of dimension g+ρ(g,r−ℓ,d)−ℓk, and that its natural support map to |H| is dominant. Dominance is proved inductively by specializing to reducible curves C+J and, at the base case ℓ=0, by constructing a limit linear series on a chain of elliptic curves glued at k-torsion points and smoothing it to a nearby Halphen curve. The paper further shows, as Theorem 1.7, that a general curve in the du Val linear system on a degree-k Halphen surface satisfies the same equality, and uses this to write down Hurwitz-Brill-Noether general k-gonal curves over number fields of degree at most k²−1 for prime k.

Load-bearing premise

The load-bearing premise is that a suitably ramified linear series on a chain of elliptic curves glued at k-torsion points can be smoothed to a line bundle on a smooth nearby Halphen curve; if this smoothing fails, the non-emptiness half of the main theorem does not follow.

Editorial extensions

If this is right

General curves in |H| on a degree-k elliptic K3 surface are the first known smooth k-gonal curves that are Hurwitz-Brill-Noether general, with dim W^r_d(C)=ρ_k(g,r,d) for all d≤g−1.
The refined loci V^r_{d,ℓ}(C,A) are smooth of the expected dimension ρ(g,r−ℓ,d)−ℓk for a general pair [C,A] in the Hurwitz space, giving new proofs of the main non-existence and existence theorems in Hurwitz-Brill-Noether theory.
When ρ_k(g,r,d)<0, the locus W^r_d(C) is empty not just for a general curve but for every integral curve C∈|H| on the corresponding elliptic K3 surface.
For every prime k there exist Hurwitz-Brill-Noether general k-gonal curves of genus g defined over a number field K with [K:Q]≤k²−1.
The balanced stability-type moduli spaces M_{H_ε}(v,e) are non-empty, smooth, irreducible, quasi-projective varieties of dimension g+ρ(g,r−ℓ,d)−ℓk, so the Brill-Noether strata inside them have exactly the predicted dimension.

Reading between the lines

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

If the equality between stability type and splitting type, proved here only for balanced types, holds for all stability types, then the stratification of W^r_d(C) by stability types would coincide with the splitting-type stratification of [Lar21], yielding an entirely algebraic proof of the refined Brill-Noether theory over Hurwitz spaces.
The wall-crossing analysis for elliptic K3 surfaces may extend to higher-rank Brill-Noether loci on k-gonal curves, since the moduli spaces involved are hyperkähler of dimension v²+2 and the same stability-type inequalities could constrain higher-rank vector bundles.
The number-field construction suggests a testable question: whether the degree bound k²−1 is sharp, and whether Hurwitz-Brill-Noether general curves can be defined over Q; the paper's Halphen construction cannot answer this because rational elliptic curves have torsion of bounded prime order.
A direct check of the dominance of the support map for non-balanced stability types would tell whether every stability type, not just balanced ones, contributes a component of the expected dimension to W^r_d(C).

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Two things to know about arXiv:2505.19890. The stability-type framework for elliptic K3 surfaces is genuinely new and well executed, and the paper is honest about what was already known. But the proof of the main existence theorem has a specific, load-bearing error: the limit linear series constructed in Theorem 7.6 contains an aspect whose ramification exceeds the universal bound for a g^r_d.

The new material is real. The wall-crossing analysis of Section 4, the iterated Grassmann bundle structure in Theorem 5.3, the non-emptiness criterion for balanced types, and the use of Halphen surfaces to get curves over number fields are all substantial. The non-existence part of Theorem 1.4 (empty W^r_d when rho_k < 0) and the upper bound on dimensions appear to be proven correctly; they only use the stratification and don't touch the limit linear series. The citations to Pflueger, Jensen-Ranganathan, and H. Larson are accurate, and the paper doesn't oversell the dimension theorem itself as new.

The problem is in Section 7. In Theorem 7.6, for the final rho(g,r,d) elliptic components of the chain Y = J_1 cup ... cup J_g, the ramification at the node p^{(a-1)} is set to (a-(g-d+r-1), ..., a-(g-d+r-1)) repeated r+1 times. On the last component (a=g) this equals d-r+1. But every aspect of a g^r_d satisfies alpha_i <= d-i, so alpha_r <= d-r. A prescribed value of d-r+1 is impossible. Concretely, for (g,d,r)=(10,8,1), the J_10 aspect would need a 2-dimensional space of sections vanishing to order 8 at the node, which doesn't exist in any degree-8 line bundle on an elliptic curve. So the limit linear series in Theorem 7.6 does not exist as stated.

This isn't a cosmetic defect. Theorem 7.6 is the ell=0 base case for the inductive dominance argument in Proposition 7.1, which underpins the existence part of Theorem 1.4 and, through it, Corollary 1.6 and the Halphen examples over number fields. The non-existence and upper-bound results still stand, but the existence part is unproven without a corrected construction. Possibly the intended ramification was a-1, or the last few components need a different profile; I can't tell from the text, but a referee could explore that.

Who should read this: people working on Brill-Noether theory or stability conditions will find the formalism useful and the paper worth engaging with despite the flaw. My recommendation is to send it to review, but with the expectation of major revision on the limit linear series. I would not accept the current version, and I wouldn't cite it until the construction is fixed.

Referee Report

1 major / 0 minor

Summary. The paper develops a new approach to Hurwitz-Brill-Noether theory through Bridgeland stability conditions on elliptic K3 surfaces with Picard lattice Z·H ⊕ Z·E. It introduces the notion of Bridgeland stability type, classifies wall-crossing for the relevant Mukai vectors, proves a stratification theorem for moduli spaces of stable objects, and establishes non-emptiness for balanced stability types. These tools are then applied to linear systems on curves C ∈ |H|, yielding the Hurwitz-Brill-Noether dimension formula dim W^r_d(C) = ρ_k(g,r,d) and emptiness when ρ_k(g,r,d) < 0. A further degeneration to Halphen surfaces is used to prove that general curves in du Val linear systems are Hurwitz-Brill-Noether general, and to construct such curves over number fields of degree at most k^2 − 1.

Significance. If the main theorems are correct, this is a significant new method: it gives the first known smooth k-gonal curves that are Hurwitz-Brill-Noether general, and it re-proves the main results of Pflueger and Jensen–Ranganathan by an independent stability-condition approach. The wall-crossing classification in Section 4, the iterated Grassmann-bundle structure in Theorem 5.3, and the existence result for balanced stability types in Theorem 5.8 are substantial technical achievements. The number-field construction in Section 8 is also interesting and is well connected to existing work on explicit Brill-Noether-Petri general curves.

major comments (1)

[§7.2 (Theorem 7.6)] The limit linear series ℓ constructed in Theorem 7.6 cannot exist as stated. For the last ρ(g,r,d) components, the paper prescribes, for a = 1+(r+1)(g−d+r), ..., g, the ramification α^{ℓ_{J_a}}(p^{(a−1)}) = (a−(g−d+r−1), ..., a−(g−d+r−1)) with r+1 repeated entries. For a = g this entry equals g−(g−d+r−1) = d−r+1. But in any g^r_d, the ramification sequence at a point satisfies α_i ≤ d−r for every i, because a_i = i+α_i ≤ d and i ≤ r; this bound is even stated in the paper's own definition of Schubert index immediately before Theorem 7.6. Concretely, for g=10, d=8, r=1, the final aspect on J_10 would need both sections to vanish to order 8 at p, i.e. a 2-dimensional subspace of H^0(O_{J_10}(8p)) contained in H^0(O_{J_10}), which is impossible. Thus the limit linear series ℓ of Theorem 7.6 does not exist as constructed. Since Theorem 7.6 is the ℓ=0 base case on which Proposition 7.1 and therefore the dominance of the support maps and Theorem 1.5 rest, this is a load-bearing gap in the manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation is self-contained; the flagged Theorem 7.6 concern is a correctness issue, not a definitional reduction.

full rationale

The paper's central chain—Theorem 1.4 via Corollary 6.2 (upper bound) and Corollary 7.3 (existence)—does not reduce to its inputs. The Bridgeland stability type (Definition 5.1) is defined by successive destabilization by O_X(e_i E) along walls, independent of any Brill-Noether conclusion, and the inequalities of Theorem 5.5 relating the multiplicities m_i to h^0(O_X,F) are derived from the destabilizing sequences via hom-vanishing, not imposed by the target statement. The upper bound dim W^r_d(C) ≤ ρ_k(g,r,d) follows from Theorem 6.1(b)(i): for each stratum M(v,e), the dimension is computed exactly from Theorem 5.3 as 2g-(Σm_i e_i)k-s(g-d-1)-s^2 and bounded above by g+ρ(g,r-ℓ_e,d)-ℓ_e k using only the type inequalities r+1 ≤ Σm_i(e_i+1) and the necessary non-emptiness condition v_p^2 ≥ -2; since ℓ_e = r+1-Σm_i ranges over {0,...,r}, the maximum is ρ_k by definition (1). The existence direction is independent of the upper bound: Theorem 5.8 constructs objects of balanced stability type by explicit extensions via Proposition 5.9 (no ansatz imported from prior work—the balanced form is matched to H. Larson's splitting type only after the fact, via the proven correspondence in Proposition 6.13); Proposition 7.1 reduces dominance of the support map to the base case ℓ=0, handled by Theorem 7.6 using Eisenbud-Harris limit linear series on an elliptic chain, with the k-torsion gluing used only to realize the chain as a limit of du Val curves, and smoothability argued through the external machine-checkable dimension theory of [EH86, Theorem 3.4]. Theorem 8.2 combines the elliptic-K3 existence via the Halphen-to-K3 smoothing (cited to [ABS17], which has no author overlap) with Pflueger's tableau upper bound (external). Self-citations ([ABFS16] for du Val linear system structure and the classical Petri result, [FT17] as methodological inspiration, [BF18]/[FL21]/[Fey22] as future-work pointers) are background structural facts that are externally falsifiable and do not contain the HBN conclusion. The reviewer-flagged issue in Theorem 7.6—the prescribed ramification on the final components exceeding the universal bound α_i ≤ d-r—is a potential correctness gap in the base-case construction, not a circularity: the ramification is prescribed from the Brill-Noether count and the proof fails (if the skeptic is right) without any parameter being fitted to the conclusion or any assertion being equivalent to the hypothesis by construction.

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

The central claim rests on standard theorems in K3 geometry, derived categories, and Brill-Noether theory; no empirical or fitted parameters are used. The new stability-type invariant is a mathematical definition, not an independently observable entity.

assumptions (9)

standard math Existence of degree k elliptic K3 surfaces with Pic(X) = Z.H + Z.E and prescribed intersection numbers (Proposition 3.1).
Invoked in Section 3.1 to create the curves C in |H| with pencil O_C(E); relies on the period map and [Knu03].
standard math Bridgeland stability conditions and the support property on K3 surfaces along the slice U_epsilon.
Basis for all stability arguments, citing [Bri07], [Bri08], [Bay19], and [MS17].
standard math Projectivity and smoothness of moduli spaces M_sigma(v) for primitive v and generic sigma, with dimension v^2 + 2.
Used in Proposition 4.6 and Theorem 5.3 via [BM14].
standard math Classical Brill-Noether theorem and Fulton-Lazarsfeld non-emptiness of W^r_d.
Used in Proposition 2.1 and throughout for expected dimensions; [FL81], [ACGH85].
standard math Limit linear series theory: refined aspects, additivity of adjusted Brill-Noether numbers, and dimension bounds for eG^r_d.
Required for Theorem 7.6 and Theorem 8.2; [EH86].
standard math Saint-Donat results on elliptic pencils: |qE| consists of unions of elliptic curves and Sym^q H^0(E) is isomorphic to H^0(qE).
Used in Lemma 3.2 and Proposition 5.9 for extensions of line bundles O_X(eE).
domain assumption Halphen surfaces appear as limits or deformations of degree-k elliptic K3 surfaces, and general Halphen curves satisfy Petri.
Underpins transfer of results from elliptic K3 to Halphen surfaces in Sections 7.2 and 8; cited from [ABS17] and [ABFS16].
standard math Pflueger's k-uniform displacement tableau bound for dimensions of limit linear series.
Used in Theorem 8.2 to bound dim W^r_d(C) for Halphen surfaces; cited from [Pfl17, Section 3].
standard math Lozano-Robledo bound on the field of definition of p-torsion points on elliptic curves.
Used in Theorem 8.3 to bound [K : Q] by k^2 - 1; cited from [LR13].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hurwitz-Brill-Noether theory via K3 surfaces and stability conditions." pith.science (2026). https://pith.science/paper/WG3TFMNZ

@misc{pith2026250519890,
  author       = {Pith},
  title        = {Pith review of: Hurwitz-Brill-Noether theory via K3 surfaces and stability conditions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WG3TFMNZ}},
  note         = {Machine review of arXiv:2505.19890}
}

read the original abstract

We develop a novel approach to the Brill-Noether theory of curves endowed with a degree k cover of the projective line via Bridgeland stability conditions on elliptic K3 surfaces. We first develop the Brill-Noether theory on elliptic K3 surfaces via the notion of Bridgeland stability type for objects in their derived category. As a main application, we show that curves on elliptic K3 surfaces serve as the first known examples of smooth k-gonal curves which are general from the viewpoint of Hurwitz-Brill-Noether theory. In particular, we provide new proofs of the main non-existence and existence results in Hurwitz-Brill-Noether theory. Finally, using degree-k Halphen surfaces, we construct explicit examples of curves defined over number fields which are general from the perspective of Hurwitz-Brill-Noether theory.

Figures

Figures reproduced from arXiv: 2505.19890 by the authors.

**Figure 1.** Actual walls Wv i for v when v0 = 0 and v0 ̸= 0 It follows that if σ varies within a chamber, the set of σ-semistable objects with Mukai vector v remains unchanged. Indeed, for any stability condition σ := σb,w, the moduli stack Mσ(v) of flat families of σ-semistable objects in Cohb (X) of Mukai vector v is an Artin stack of finite type over C [Tod08, Theorem 1.4 and Section 3]. In cases where a coarse moduli space … view at source ↗

Discussion (0). Continue with ORCID 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

Brill--Noether loci in genus $\leq 12$
math.AG 2025-07 conditional novelty 7.0 of 10

For every genus g ≤ 12, the paper identifies exactly which Brill–Noether loci are contained in which, yielding a complete relative-position classification.

Reference graph

Works this paper leans on

42 extracted references · 39 canonical work pages · cited by 1 Pith paper

[1]

Explicit B rill- N oether- P etri general curves

Enrico Arbarello, Andrea Bruno, Gavril Farkas, and Giulia Sacc\`a. Explicit B rill- N oether- P etri general curves. Comment. Math. Helv. , 91(3):477--491, 2016

work page 2016
[2]

On hyperplane sections of K 3 surfaces

Enrico Arbarello, Andrea Bruno, and Edoardo Sernesi. On hyperplane sections of K 3 surfaces. Algebr. Geom. , 4(5):562--596, 2017

work page 2017
[3]

Arbarello, M

E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris. Geometry of algebraic curves. V ol. I , volume 267 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, New York, 1985

work page 1985
[4]

M. Aprodu. Lazarsfeld- M ukai bundles and applications. In Commutative algebra , pages 1--23. Springer, New York, 2013

work page 2013
[5]

A remark on du V al linear systems

Enrico Arbarello. A remark on du V al linear systems. Rend. Circ. Mat. Palermo (2) , 73(5):2161--2174, 2024

work page 2024
[6]

E. Ballico. A remark on linear series on general k -gonal curves. Boll. Un. Mat. Ital. A (7) , 3(2):195--197, 1989

work page 1989
[7]

A. Bayer. Wall-crossing implies B rill- N oether: applications of stability conditions on surfaces. In Algebraic geometry: S alt L ake C ity 2015 , volume 97 of Proc. Sympos. Pure Math. , pages 3--27. Amer. Math. Soc., Providence, RI, 2018

work page 2015
[8]

A short proof of the deformation property of B ridgeland stability conditions

Arend Bayer. A short proof of the deformation property of B ridgeland stability conditions. Math. Ann. , 375(3-4):1597--1613, 2019

work page 2019

Show all 42 references

[9]

The M ercat conjecture for stable rank 2 vector bundles on generic curves

Benjamin Bakker and Gavril Farkas. The M ercat conjecture for stable rank 2 vector bundles on generic curves. Amer. J. Math. , 140(5):1277--1295, 2018

2018
[10]

Brill- N oether theory for curves on generic abelian surfaces

Arend Bayer and Chunyi Li. Brill- N oether theory for curves on generic abelian surfaces. Pure Appl. Math. Q. , 13(1):49--76, 2017

2017
[11]

Bayer and E

A. Bayer and E. Macr \` . Projectivity and birational geometry of B ridgeland moduli spaces. J. Amer. Math. Soc. , 27(3):707--752, 2014

2014
[12]

Bayer, E

A. Bayer, E. Macr\` , and P. Stellari. The space of stability conditions on abelian threefolds, and on some C alabi- Y au threefolds. Invent. Math. , 206(3):869--933, 2016

2016
[13]

Bridgeland

T. Bridgeland. Stability conditions on triangulated categories. Ann. of Math. (2) , 166(2):317--345, 2007

2007
[14]

Bridgeland

T. Bridgeland. Stability conditions on K3 surfaces. Duke Math. J. , 141(2):241--291, 2008

2008
[15]

Rational surfaces with a large group of automorphisms

Serge Cantat and Igor Dolgachev. Rational surfaces with a large group of automorphisms. J. Amer. Math. Soc. , 25(3):863--905, 2012

2012
[16]

Coppens and G

M. Coppens and G. Martens. Linear series on a general k -gonal curve. Abh. Math. Sem. Univ. Hamburg , 69:347--371, 1999

1999
[17]

The cohomology of the general stable sheaf on a K 3 surface

Izzet Coskun, Howard Nuer, and Kota Yoshioka. The cohomology of the general stable sheaf on a K 3 surface. Adv. Math. , 426:Paper No. 109102, 85, 2023

2023
[18]

Weak B rill-- N oether on abelian surfaces

Izzet Coskun, Howard Nuer, and Kota Yoshioka. Weak B rill-- N oether on abelian surfaces. Selecta Math. (N.S.) , 31(3):Paper No. 48, 2025

2025
[19]

A picture of the irreducible components of w^r_d(c) for a general k -gonal curve c , 2025, arXiv:2504.21141

Marc Coppens. A picture of the irreducible components of w^r_d(c) for a general k -gonal curve c , 2025, arXiv:2504.21141

2025 arXiv
[20]

Components of B rill- N oether loci for curves with fixed gonality

Kaelin Cook-Powell and David Jensen. Components of B rill- N oether loci for curves with fixed gonality. Michigan Math. J. , 71(1):19--45, 2022

2022
[21]

Eisenbud and J

D. Eisenbud and J. Harris. A simpler proof of the G ieseker- P etri theorem on special divisors. Invent. Math. , 74(2):269--280, 1983

1983
[22]

Limit linear series: basic theory

David Eisenbud and Joe Harris. Limit linear series: basic theory. Invent. Math. , 85(2):337--371, 1986

1986
[23]

An effective restriction theorem via wall-crossing and M ercat's conjecture

Soheyla Feyzbakhsh. An effective restriction theorem via wall-crossing and M ercat's conjecture. Math. Z. , 301(4):4175--4199, 2022

2022
[24]

Fulton and R

W. Fulton and R. Lazarsfeld. On the connectedness of degeneracy loci and special divisors. Acta Math. , 146(3-4):271--283, 1981

1981
[25]

Higher rank C lifford indices of curves on a K 3 surface

Soheyla Feyzbakhsh and Chunyi Li. Higher rank C lifford indices of curves on a K 3 surface. Selecta Math. (N.S.) , 27(3):Paper No. 48, 34, 2021

2021
[26]

Du V al curves and the pointed B rill- N oether theorem

Gavril Farkas and Nicola Tarasca. Du V al curves and the pointed B rill- N oether theorem. Selecta Math. (N.S.) , 23(3):2243--2259, 2017

2017
[27]

On the variety of special linear systems on a general algebraic curve

Phillip Griffiths and Joseph Harris. On the variety of special linear systems on a general algebraic curve. Duke Math. J. , 47(1):233--272, 1980

1980
[28]

Gieseker

D. Gieseker. Stable curves and special divisors: P etri's conjecture. Invent. Math. , 66(2):251--275, 1982

1982
[29]

Huybrechts and M

D. Huybrechts and M. Lehn. The geometry of moduli spaces of sheaves . Cambridge Mathematical Library. Cambridge University Press, Cambridge, second edition, 2010

2010
[30]

Brill- N oether theory for curves of a fixed gonality

David Jensen and Dhruv Ranganathan. Brill- N oether theory for curves of a fixed gonality. Forum Math. Pi , 9:Paper No. e1, 33, 2021

2021
[31]

A.L. Knutsen. Gonality and C lifford index of curves on K3 surfaces. Arch. Math. (Basel) , 80(3):235--238, 2003

2003
[32]

Hannah K. Larson. A refined B rill- N oether theory over H urwitz spaces. Invent. Math. , 224(3):767--790, 2021

2021
[33]

Brill- N oether- P etri without degenerations

Robert Lazarsfeld. Brill- N oether- P etri without degenerations. J. Differential Geom. , 23(3):299--307, 1986

1986
[34]

On the B rill- N oether theory for K 3 surfaces

Maxim Leyenson. On the B rill- N oether theory for K 3 surfaces. Cent. Eur. J. Math. , 10(4):1486--1540, 2012

2012
[35]

Global B rill- N oether theory over the H urwitz space

Eric Larson, Hannah Larson, and Isabel Vogt. Global B rill- N oether theory over the H urwitz space. Geom. Topol. , 29(1):193--257, 2025

2025
[36]

On the field of definition of p -torsion points on elliptic curves over the rationals

\'Alvaro Lozano-Robledo. On the field of definition of p -torsion points on elliptic curves over the rationals. Math. Ann. , 357(1):279--305, 2013

2013
[37]

Brill- N oether duality for moduli spaces of sheaves on K3 surfaces

Eyal Markman. Brill- N oether duality for moduli spaces of sheaves on K3 surfaces. J. Algebraic Geom. , 10(4):623--694, 2001

2001
[38]

B. Mazur. Rational isogenies of prime degree (with an appendix by D . G oldfeld). Invent. Math. , 44(2):129--162, 1978

1978
[39]

Lectures on B ridgeland stability

Emanuele Macr\`i and Benjamin Schmidt. Lectures on B ridgeland stability. In Moduli of curves , volume 21 of Lect. Notes Unione Mat. Ital. , pages 139--211. Springer, Cham, 2017

2017
[40]

Brill- N oether varieties of k -gonal curves

Nathan Pflueger. Brill- N oether varieties of k -gonal curves. Adv. Math. , 312:46--63, 2017

2017
[41]

Saint-Donat

B. Saint-Donat. Projective models of K-3 surfaces. Amer. J. Math. , 96:602--639, 1974

1974
[42]

Moduli stacks and invariants of semistable objects on K3 surfaces

Yukinobu Toda. Moduli stacks and invariants of semistable objects on K3 surfaces. Adv. Math. , 217(6):2736--2781, 2008

2008

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Explicit B rill- N oether- P etri general curves

Enrico Arbarello, Andrea Bruno, Gavril Farkas, and Giulia Sacc\`a. Explicit B rill- N oether- P etri general curves. Comment. Math. Helv. , 91(3):477--491, 2016

work page 2016

[2] [2]

On hyperplane sections of K 3 surfaces

Enrico Arbarello, Andrea Bruno, and Edoardo Sernesi. On hyperplane sections of K 3 surfaces. Algebr. Geom. , 4(5):562--596, 2017

work page 2017

[3] [3]

Arbarello, M

E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris. Geometry of algebraic curves. V ol. I , volume 267 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, New York, 1985

work page 1985

[4] [4]

M. Aprodu. Lazarsfeld- M ukai bundles and applications. In Commutative algebra , pages 1--23. Springer, New York, 2013

work page 2013

[5] [5]

A remark on du V al linear systems

Enrico Arbarello. A remark on du V al linear systems. Rend. Circ. Mat. Palermo (2) , 73(5):2161--2174, 2024

work page 2024

[6] [6]

E. Ballico. A remark on linear series on general k -gonal curves. Boll. Un. Mat. Ital. A (7) , 3(2):195--197, 1989

work page 1989

[7] [7]

A. Bayer. Wall-crossing implies B rill- N oether: applications of stability conditions on surfaces. In Algebraic geometry: S alt L ake C ity 2015 , volume 97 of Proc. Sympos. Pure Math. , pages 3--27. Amer. Math. Soc., Providence, RI, 2018

work page 2015

[8] [8]

A short proof of the deformation property of B ridgeland stability conditions

Arend Bayer. A short proof of the deformation property of B ridgeland stability conditions. Math. Ann. , 375(3-4):1597--1613, 2019

work page 2019