{"id":"f6f3ab4e-9e80-4251-b436-7c28c232056c","arxiv_id":"2505.19890","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"General curves on elliptic K3 surfaces, and on Halphen surfaces, are the first known smooth k-gonal curves that satisfy the Hurwitz-Brill-Noether dimension theorem.","lead":"The paper develops a new way to study linear series on curves that come with a degree-k map to the projective line, using stability conditions on elliptic K3 surfaces. It proves these curves satisfy the Hurwitz-Brill-Noether dimension theorem and provides the first explicit smooth examples defined over number fields.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7.6's limit linear series has an impossible final aspect: the prescribed ramification on the last elliptic component exceeds the universal bound α_r ≤ d−r, so the base case ℓ=0 of the induction is not established as written.","rationale":"The reader identified Theorem 7.6 as the weakest assumption, focusing on the smoothing of the limit linear series. My stress-test agrees that Theorem 7.6 is load-bearing, but locates a more specific and elementary obstruction one step earlier: the limit series is not merely hard to smooth, it is not constructible as written, because the prescribed ramification on the last elliptic component violates the universal bound α_i ≤ d−r. This is a concrete numerical inconsistency, not a disagreement with a consensus or a stylistic objection. The chain construction in Theorem 7.6 is the base case ℓ=0 for the inductive dominance argument in Proposition 7.1, and that induction is what supplies the lower bound in Theorem 1.4 and the number-field statements in Theorem 1.7. If the last-block ramification is corrected, the rest of the framework may well go through; but as written, the proof has a gap in a central step. Therefore the appropriate verdict is CONDITIONAL: the paper's main existence results should be accepted only once the limit linear series construction in Theorem 7.6 is repaired and checked.","tokens_in":61575,"tokens_out":26882,"duration_ms":297571,"concrete_test":"Recompute the last block of the chain construction for the minimal case g=10, d=8, r=1 (any k≥3). Check whether the J_10-aspect can exist with the prescribed α(p^{(9)}) = (8,8): it would require a 2-dimensional subspace of H^0(O_{J_10}(8p)) contained in H^0(O_{J_10}), which has dimension 1, so the aspect does not exist. Equivalently, verify the universal necessary condition α_i ≤ d−r for every aspect appearing in (65)–(67); the final aspect violates it. If a corrected assignment (for this case, e.g. α=(5,7), sum 12) can be made preserving the total dimension ρ(g,r,d), the proof may be repairable.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The existence part of Theorem 1.4 rests on Theorem 7.6, which constructs a limit linear series ℓ on the elliptic chain Y = J_1 ∪ ... ∪ J_g. In the last ρ(g,r,d) components, the proof 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)) (r+1 times). For a = g this entry equals g−(g−d+r−1) = d−r+1. But in any g^r_d at a point p, the ramification sequence satisfies α_i ≤ d−r, because a_i = i + α_i ≤ d. Thus the prescribed value d−r+1 is impossible. Concretely, for g=10, d=8, r=1, the final aspect on J_10 is required to have both sections vanishing 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 only 1-dimensional. Hence the limit linear series ℓ in Theorem 7.6 does not exist as stated. Since Theorem 7.6 is the base case ℓ=0 used by Proposition 7.1 and Corollary 7.3 to prove the existence part of Theorem 1.4, the central claim is not established without correcting this construction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":61913,"tokens_out":9821,"duration_ms":105957,"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":[{"comment":"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.","section":"§7.2 (Theorem 7.6)"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about Theorem 7.6 is correct and lands on a central point. The reader's report did not flag this impossible ramification. The paper contains substantial correct-looking machinery, and the gap may be repairable, but the base case of the induction in Section 7 needs to be rewritten before the main existence claims can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThe 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.\n\nThis 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.\n\nWho 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.","headline":"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.","tokens_in":62423,"tokens_out":5754,"would_cite":false,"duration_ms":54700,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H51","14J28","14F05","14H10","14D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Hurwitz-Brill-Noether theory","Bridgeland stability conditions","elliptic K3 surfaces","Halphen surfaces","Brill-Noether loci","limit linear series","splitting types","number fields"],"falsifier":"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.","tokens_in":61411,"feed_emoji":"📐","tokens_out":10214,"duration_ms":89739,"temperature":0.7,"pith_summary":"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.","feed_headline":"Elliptic K3 curves satisfy Hurwitz-Brill-Noether","feed_subtitle":"Stability conditions pin down every linear series locus W^r_d and give number-field examples.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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)."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes the tropical upper bound dim W^r_d(C) ≤ ρ_k(g,r,d) that the paper re-proves and matches.","marker":"[Pfl17]"},{"why":"Establishes tropical existence and equality for general k-gonal curves, the statement the K3 proof recovers.","marker":"[JR21]"},{"why":"Introduces splitting types that motivate balanced stability types and the loci V^r_{d,ℓ}.","marker":"[Lar21]"},{"why":"Provides the degeneration description of irreducible components of W^r_d(C) that the refined existence result parallels.","marker":"[LLV25]"},{"why":"Supplies the classical input that pushed-forward line bundles on curves in |H| are stable sheaves, which the new proof generalizes.","marker":"[Laz86]"},{"why":"Provides the limit linear series machinery used to smooth the chain-of-elliptic-curves base case.","marker":"[EH86]"},{"why":"Shows how Halphen surfaces degenerate to polarized K3 surfaces and supplies explicit Brill-Noether-Petri general curves used for the number-field construction.","marker":"[ABFS16]"},{"why":"Establishes that Halphen surfaces appear as limits of elliptic K3 surfaces, used for the semicontinuity lower bound in the Halphen theorem.","marker":"[ABS17]"}],"fun_headline_variants":["Bridgeland stability on K3s proves Hurwitz-Brill-Noether theorems","Elliptic K3s yield first Hurwitz-Brill-Noether general k-gonal curves","K3 surfaces supply new proofs in Hurwitz-Brill-Noether theory","Stability conditions give number-field curves general for HBN theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Bridgeland stability on K3s proves Hurwitz-Brill-Noether theorems","Elliptic K3s yield first Hurwitz-Brill-Noether general k-gonal curves","K3 surfaces supply new proofs in Hurwitz-Brill-Noether theory","Stability conditions give number-field curves general for HBN theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000701,"raw_usage":{"total_tokens":3188,"prompt_tokens":993,"completion_tokens":2195,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":2108}},"tokens_in":609,"tokens_out":2195,"duration_ms":16042,"temperature":1.0,"reasoning_tokens":2108,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:04:50.187835+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}