{"id":"93f09f2f-2c39-4176-8d7d-0770917fee67","arxiv_id":"2607.21457","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a generic wobbly rank-2 bundle, the restricted Hitchin map is dominant with degree 2^{3g−3} − 2^{2g−2k−λ+1}.","lead":"The paper proves that for most \"wobbly\" rank-2 vector bundles on an algebraic curve, the restricted Hitchin map — which assigns to each twisted endomorphism a quadratic differential — is dominant, and computes exactly how many preimages a general differential has. This settles the wobbly case of an open problem about the geometry of Higgs bundles and spectral curves.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.3 is applied without verifying h^0(L1∨⊗V)=1; for large k this hypothesis is false, so the codimension m entering the degree formula is not justified.","rationale":"The reader identified Lemma 2.3 as the weakest assumption, specifically the hypothesis h^0(L1∨⊗V)=1. My reading confirms this is the most load-bearing point in the proof of Theorem C(ii). The paper imports Lemma 2.3 from [2] and applies it in section 5 without checking the hypothesis for the bundles constructed in Lemma 4.4. A direct cohomological computation from the exact sequence defining L1∨⊗V shows that the hypothesis is not automatic and is in fact violated for large k, where h^0(L1∨⊗L2) exceeds 1. Since the codimension m enters Lemma 7.2 and determines the degree formula, the central numerical claim is not justified as written. The concern is substantive but potentially fixable: if Lemma 2.3's conclusion holds under weaker hypotheses, or if the author provides a different proof of the codimension, the degree formula could survive. Therefore the appropriate verdict remains CONDITIONAL, matching the reader's assessment. I did not find a more severe objection in the geometric constructions (Hecke modifications, blowups, Lemma 7.1), and the paper contains genuine new ideas and results (Theorem A, the uniqueness statement Theorem B) that are not invalidated by this gap. The concrete test would settle whether the concern is fatal or merely a missing verification.","tokens_in":17011,"tokens_out":35443,"duration_ms":289999,"concrete_test":"For a concrete case in the problematic range—say C of genus 4, λ=0, k=3, so deg(L1∨⊗L2)=4>g—compute h^0(L1∨⊗V) for a general extension in Lemma 4.4 via the long exact sequence 0→O_C→L1∨⊗V→L1∨⊗L2→0. If h^0(L1∨⊗V)>1, then directly compute dim im(c_ξ) from the exact sequence 0→Hom(L2,L1⊗K)→End0(V)⊗K→Hom(L1,L2⊗K)→Ext^1(L2,L1⊗K) and compare with h^0(L1∨⊗L2⊗K)−1. If the two differ, replace m in Lemma 7.2 by the actual value and recompute the degree in Theorem C(ii).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The degree formula in Theorem C(ii) rests on the computation m = codim ker(c_ξ) = g+2k+λ−4, which is obtained from Lemma 2.3 (imported from [2, eq. (2.5)]). Lemma 2.3 explicitly assumes h^0(L1∨⊗V)=1. In Lemma 4.4, V has L1∨⊗V sitting in the exact sequence 0→O_C→L1∨⊗V→L1∨⊗L2→0, with L1∨⊗L2 = L. The choice of L in Lemma 4.4 requires h^0(L∨⊗K_C)>0 (for a nilpotent endomorphism), and the proof also assumes H^0(L) is one-dimensional. But even when h^0(L)=1, the connecting map δ:H^0(L)→H^1(O_C) must be nonzero for h^0(L1∨⊗V) to equal 1. For k large (e.g., k close to g−λ), deg L = 2k+λ−2 exceeds g, so h^0(L) is generically >1; then h^0(L1∨⊗V)≥1+h^0(L)>1 regardless of δ. Thus the hypothesis of Lemma 2.3 is not satisfied for a substantial part of the range over which Theorem C(ii) is stated. If the conclusion of Lemma 2.3 also fails (for instance if c_ξ vanishes on the trace-free endomorphisms preserving L1), the value of m changes and the exponent 2g−2k−λ+1 in the degree formula is unsupported. The proof never supplies an alternative argument for the codimension, so the central numerical claim is not established as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the restricted Hitchin map h_V of a stable rank-2 vector bundle V on a smooth projective curve C. For a general wobbly bundle in the stratum W_k it claims that V has a unique bad line subbundle (Theorem B), that h_V is dominant and generically finite, and that its degree is 2^{3g-3} - 2^{2g-2k-\\lambda+1} (Theorem C). The proof resolves the indeterminacy of the projectivized map by a double blow-up and computes the degree by intersection theory. The paper also proves that every stable rank-2 bundle on a non-hyperelliptic curve admits a twisted endomorphism with smooth spectral curve (Theorem A).","tokens_in":17280,"tokens_out":25835,"duration_ms":241640,"significance":"If fully established, the main theorem would give the first general answer to the dominance question for the restricted Hitchin map on a dense open subset of each irreducible component of the wobbly locus, and it would produce a degree formula contrasting with the very stable case. The double-blown-up intersection-theoretic approach, the use of a unique bad subbundle, and the dimension counts for strata are promising ideas. However, the numerical claim currently rests on an unverified—and in part impossible—hypothesis about h^0(L_1^\\vee\\otimes V), so the significance is conditional on a substantive repair.","major_comments":[{"comment":"The application of Lemma 2.3 requires h^0(L_1^\\vee\\otimes V)=1, but this is never verified and is incompatible with the stated range. For V an extension of L_2 by L_1 with L_2=L_1\\otimes L, the sequence 0\\to O_C\\to L_1^\\vee\\otimes V\\to L\\to 0 gives h^0(L_1^\\vee\\otimes V)=1+\\dim\\ker\\delta, where \\delta:H^0(L)\\to H^1(O_C). Lemma 4.4 assumes H^0(L)=1, but deg L=2k+\\lambda-2, so for k>(g+2-\\lambda)/2 Riemann-Roch gives h^0(L)\\ge \\deg L+1-g\\ge 2; for k=g-\\lambda and g\\ge3 this is at least g-1. Thus such an L does not exist in most of the stated range. Even when h^0(L)=1 is possible, the proof never shows that \\delta is nonzero for the chosen extension. Consequently the codimension m=g+2k+\\lambda-4 used in Lemma 7.2 is not justified, and both Theorem C(ii) and the base-point-free argument using (10) in Theorem C(i) collapse.","section":"§4, Lemma 4.4 and §5, Theorem C(ii)"},{"comment":"The projective dimension is misstated. PE=P H^0(End_0(V)\\otimes K_C) has dimension 3g-4, not 3g-3 as written. In the special case (k,\\lambda)=(g,0) the computation \\int(2H-E_1)^{3g-4}=2^{3g-4}-1 uses the correct dimension. If Lemma 7.2 is applied with N=3g-3, one obtains deg h''=2^{3g-3}-2^{2g-2k-\\lambda+1}, and after the stated doubling this is not Theorem C(ii). With N=3g-4 the formula gives 2^{3g-4}-2^{2g-2k-\\lambda}, and doubling reproduces the theorem. This may be a typo, but as written the numerical derivation is internally inconsistent.","section":"§5/§7, proof of Theorem C(ii)"}],"minor_comments":[{"comment":"The definition of Z_k says Z_k\\subset Pic^{1-g}(C), but for a bad line subbundle of degree 1-k the correct degree is 1-k. This typo propagates and makes the parametrization of W^0_k hard to follow.","section":"§1, Definition 1.4 and following"},{"comment":"“Let V be a be a general element” should read “Let V be a general element.”","section":"§1, Theorem B statement"},{"comment":"The proof of Theorem C is said to be split between two occurrences of “section 7”; the second should refer to the analysis of the blowup (section 7) and the first presumably to section 5.","section":"§1, final paragraph"},{"comment":"The notation W^0_d(C) is used both for effective divisor loci and for line bundles with h^0>0; please clarify the convention at first use.","section":"§4, Lemma 4.4 proof"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the referee agrees with the stress-test concern. The main theorem is not established as written because the hypothesis of Lemma 2.3 is not verified and is actually impossible for a substantial part of the stated range. The dimension error in §7 is easily fixed, but the h^0(L_1^\\vee\\otimes V) issue requires a genuinely new argument. I recommend major revision rather than rejection, since the overall strategy and several auxiliary results are valuable and may be repairable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper has real content—Theorem A, Theorem B, and the overall strategy for Theorem C are worth taking seriously—but the central numerical claim is not established as written.\n\nWhat is genuinely new: Theorem A gives a smooth spectral curve for every stable rank-2 bundle on a non-hyperelliptic curve, and the proof via base-point analysis is convincing. Theorem B, the uniqueness of the bad line subbundle for general wobbly bundles, is a useful structural result and the dimension count is reasonable. The double-blowup setup and the intersection-theoretic degree computation are a credible framework; the special case (k,λ)=(g,0) comes out consistently.\n\nThe main soft spot: the proof of Theorem C(ii) applies Lemma 2.3 to the bundles constructed in Lemma 4.4 without verifying the hypothesis h^0(L1∨⊗V)=1. Lemma 4.4 as stated assumes h^0(L)=1, which is impossible for large k because deg L = 2k+λ−2 exceeds g. That looks like a typo—presumably h^0(L∨⊗K)=1 is meant—but even with that correction the hypothesis of Lemma 2.3 does not follow automatically. The bundle sits in 0→O→L1∨V→L→0, so h^0(L1∨V)=1 requires the connecting map δ:H^0(L)→H^1(O) to have rank h^0(L). For large k, h^0(L) can be as large as g, so a genericity argument is needed and none is given. The stress-test note overstates the point when it says the failure is independent of δ, since δ can indeed be injective in that range, but the burden is on the authors to prove it. This directly affects the codimension m that feeds into the degree formula, so Theorem C(ii) is not proved for the full stated range.\n\nSmaller issues: the inference in Theorem C(i) that finiteness implies dominance is actually valid for a morphism between equal-dimensional spaces, but the proof that h'' is finite needs the projection to have finite restriction, which requires the image to miss the center of projection; that is not shown. There are also mechanical errors—the dimension count N=3g−3 should be 3g−4 in the projectivized setting, and the section numbering conflicts—but these are easily fixed.\n\nWho it is for: people working on the Hitchin fibration, wobbly bundles, or Brill–Noether theory of spectral curves. It deserves a serious referee, but not acceptance as-is. The referee should focus on Lemma 4.4 and the verification of the Lemma 2.3 hypothesis, and on the finiteness argument in Theorem C(i). If those are repaired, this would be a solid paper.","headline":"Genuine new results on wobbly bundles and the restricted Hitchin map, but the degree formula in Theorem C(ii) currently rests on an unverified cohomology hypothesis.","tokens_in":17954,"tokens_out":11823,"would_cite":false,"duration_ms":103803,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H60","14D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a general wobbly rank-2 vector bundle, the restricted Hitchin map is dominant and generically finite, with an explicit degree formula depending on the stratum of the wobbly locus.","keywords":["restricted Hitchin map","wobbly vector bundles","bad line subbundle","nilpotent twisted endomorphism","very stable bundles","spectral curves","Brill-Noether theory","degree formula"],"falsifier":"Compute h⁰(L₁^∨⊗V) for a general extension in the stratum W_k: if it is greater than 1 on a dense open set, the equality im(c_ξ) = ker(ξ∪(−)) fails and the stated degree formula cannot hold. Equivalently, exhibit a wobbly bundle V satisfying the conditions of Lemma 4.4 for which some integral quadratic differential η has infinitely many preimages under h_V; Theorem C(i) would then be false.","tokens_in":16740,"feed_emoji":"📐","tokens_out":4015,"duration_ms":37112,"temperature":0.7,"pith_summary":"The paper studies the restricted Hitchin map of a stable rank-2 vector bundle on a smooth projective curve, which sends a trace-free twisted endomorphism to its determinant quadratic differential. Its central claim is that for a general wobbly bundle—one that admits a nonzero nilpotent twisted endomorphism—this map is dominant and generically finite, with degree 2^{3g−3} − 2^{2g−2k−λ+1}. This answers a long-open dominance question on a dense open subset of each irreducible component of the wobbly locus. The key structural input is that a general wobbly bundle has a unique bad line subbundle, which collapses the indeterminacy of the projectivized map to a single point and makes the blowup computation tractable.","feed_headline":"Wobbly bundles: restricted Hitchin map is dominant","feed_subtitle":"An explicit degree formula settles a long-open dominance question on a dense open subset of the wobbly locus.","key_machinery":"The central object is the differential of the restricted Hitchin map at a nilpotent twisted endomorphism φ. It factors as multiplication by the induced section φ₁₂ composed with the restriction map c_ξ from trace-free endomorphisms to Hom(L₁, L₂⊗K_C), where L₁ is the kernel of φ and L₂ = V/L₁. Lemma 2.3, imported from an earlier paper, identifies im(c_ξ) with the kernel of the cup product ξ∪(−) under the hypothesis h⁰(L₁^∨⊗V)=1; this determines the codimension m = 2k+g−4+λ that enters the degree formula. Two blowups of the projectivized map—first at the unique nilpotent class [φ], then along the residual indeterminacy P(ker c_ξ / ⟨φ⟩)—resolve the rational map, and the divisor class 2H−E₁−E₂","core_discovery":"The main discovery is that the restricted Hitchin map of a general wobbly vector bundle in the stratum W_k is not only dominant but generically finite of degree 2^{3g−3} − 2^{2g−2k−λ+1}; in the special case (k, λ) = (g, 0) this reads 2^{3g−3} − 2. The proof blows up the projectivized restricted Hitchin map twice, using the differential formula tr(ψφ) = φ₁₂ c_ξ(ψ) and a lemma identifying the image of c_ξ with the kernel of the cup-product map ξ∪(−). For a general wobbly bundle the unique nilpotent twisted endomorphism is the only source of indeterminacy, and the degree is computed from an intersection number on the second blowup. The paper also proves that on a non-hyperelliptic curve every s","pith_inferences":["The same blowup-and-intersection technique could plausibly extend to the remaining wobbly strata W_k with k below the range covered here, where the bad line subbundle may not be unique and the indeterminacy locus is larger.","The explicit degree formula gives a concrete enumerative prediction: the number of preimages of a general integral quadratic differential under the restricted Hitchin map of a general wobbly bundle is exactly the stated power-of-two expression, which could be checked computationally for low-genus curves.","If the result extends to higher-rank wobbly bundles, the structure of nilpotent twisted endomorphisms and the degree of the restricted Hitchin map would likely be governed by analogous cup-product kernels, suggesting a uniform pattern across ranks.","The link to Brill-Noether theory of spectral curves suggests one should test whether the isolated line bundles produced by the dominant restricted Hitchin map have the expected number of sections, potentially yielding new non-emptiness results for spectral curves over a general wobbly base."],"forward_implications":["Dominance of the restricted Hitchin map holds for general wobbly bundles in every irreducible component of the wobbly locus, resolving Question 1.1 on a dense open subset.","For an integral spectral curve η, the fiber h_V^{-1}(η) is finite, giving isolated line bundles on the spectral curve whose pushforward is V and hence non-emptiness of relevant Brill-Noether loci.","The degree 2^{3g−3} − 2^{2g−2k−λ+1} is strictly smaller than the very stable degree 2^{3g−3}, quantifying exactly how wobbliness lowers the degree of the restricted Hitchin map.","A general wobbly vector bundle has a unique bad line subbundle, a structural simplification that makes the geometry of the wobbly locus more tractable.","For non-hyperelliptic curves, every stable rank-2 bundle has a twisted endomorphism with smooth spectral curve, giving a nonzero quadratic differential with simple zeros in the image of h_V.","The reducible spectral curve fibers of a wobbly bundle are positive dimensional, confirming that the positive-dimensional fibers of h_V are concentrated over reducible spectral curves."],"fun_headline_variants":["Degree formula for restricted Hitchin map on wobbly bundles","Wobbly bundles: Hitchin map generically finite, degree computed","Restricted Hitchin map degree settled for wobbly vector bundles","Single nilpotent endomorphism fixes Hitchin map degree","Wobbly Hitchin map: finite and degree known"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The degree formula rests on Lemma 2.3, which assumes h⁰(L₁^∨⊗V)=1 for the extensions under consideration; if that dimension exceeds 1 on any of the bundles constructed in Lemma 4.4, the image of c_ξ is larger than claimed and the degree computation collapses.","fun_headline_variants_meta":{"raw":{"variants":["Degree formula for restricted Hitchin map on wobbly bundles","Wobbly bundles: Hitchin map generically finite, degree computed","Restricted Hitchin map degree settled for wobbly vector bundles","Single nilpotent endomorphism fixes Hitchin map degree","Wobbly Hitchin map: finite and degree known"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000201,"raw_usage":{"total_tokens":1201,"prompt_tokens":717,"completion_tokens":484,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":461,"completion_tokens_details":{"reasoning_tokens":411}},"tokens_in":461,"tokens_out":484,"duration_ms":5294,"temperature":1.0,"reasoning_tokens":411,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T07:23:15.788580+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute h⁰(L₁^∨⊗V) for a general extension in the stratum W_k: if it is greater than 1 on a dense open set, the equality im(c_ξ) = ker(ξ∪(−)) fails and the stated degree formula cannot hold. Equivalently, exhibit a wobbly bundle V satisfying the conditions of Lemma 4.4 for which some integral quadratic differential η has infinitely many preimages under h_V; Theorem C(i) would then be false.","supporting_citations":[],"review_version":1}