{"id":"26cebebb-45dc-4bc2-91d7-0a67971cdd98","arxiv_id":"2509.14812","paper_version":5,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Compactifying certain Hitchin systems via orbifold Hilbert schemes yields four rational elliptic surfaces, all obtained by blowing up the second Hirzebruch surface.","lead":"The paper uses orbifold Hilbert schemes to build explicit compactifications for a family of two-dimensional integrable systems, the Hitchin systems attached to certain elliptic curves. It shows these compactifications are rational elliptic surfaces obtained by blowing up the second Hirzebruch surface.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 6.17 (E8 case) lacks a proof: it refers to itself, so the claim that \\tilde{X}_6 is obtained by blow-ups of F2 is unsubstantiated.","rationale":"The reader's weakest_assumption focuses on the [Jia25]/[Go14] compatibility. I agree that is a risk, but it is a dependence on external results; the missing proof of Proposition 6.17 is an internal gap that can be checked from the manuscript itself. Theorem 1.5's 'Each \\tilde{X}_i is obtained by blowing up F2' is explicitly supported for the first three cases by Propositions 6.8, 6.11, and 6.14, whose proofs give contraction sequences. For E8, the proof is a self-reference, so the strong claim is incomplete. I am not claiming the result is false; the figure and the lemmas are suggestive. But as written, the central claim lacks support in one of its four cases. Hence the verdict should remain conditional pending a completed proof, which is why I recommend no change to the reader's verdict.","tokens_in":34696,"tokens_out":5215,"duration_ms":50019,"concrete_test":"Complete the E8 verification: starting from Figure 13, write down the contraction sequence (blow down D1, D2, D3, then each resulting (-1)-curve) and compute self-intersections and intersection numbers at each step; verify the surface becomes F2 and that reversing the sequence reproduces exactly the blow-up steps defining H_2^(6). If the configuration does not contract to F2 or the intersection numbers do not match, Proposition 6.17 is false; if it does, the gap is filled.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The strongest claim includes the E8 row of Table 1: \\tilde{X}_6 is a rational elliptic surface obtained by blowing up F2 (Proposition 6.17). The proof of Proposition 6.17 consists of the sentence 'As in the proof of Proposition 6.17, this figure illustrates the configuration of the curves, from which the proposition follows.' This is a self-reference: there is no earlier proof to imitate, and the proposition is the one being proved. Consequently the entire E8 case of the blow-up classification is unproved. The surrounding Lemmas 6.15 and 6.16 compute the singular fibers and identify the fiber over 0 as II* and over infinity as a chain that can be blown down to type II, but they do not establish that the global surface is the iterated blow-up H_2^(6) of F2 described in the text: that requires checking that the exceptional curves introduced in the six blow-up steps have exactly the intersection pattern of Figure 13 and that no other curves are present. Without this, the central theorem is incomplete for one of the four cases.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines orbifold Hilbert schemes Hilb^n(X) for projective orbifold surfaces with codimension-two stacky locus, proves smoothness, connectedness, and a Hilbert–Chow minimal-resolution theorem, and applies this to compactify the two-dimensional Hitchin systems of affine types D4, E6, E7, E8 as Hilb^1(P(T^∨X_i ⊕ O_{X_i})). The main geometric claim, Theorem 1.5, is that each compactification is a rational elliptic surface with a C*-action, has only singular fibers over 0 and ∞ with the fiber types listed in Table 1, and is obtained by an explicit sequence of blow-ups of the second Hirzebruch surface. The D4, E6, and E7 cases are supported by detailed curve configurations and blow-down arguments; the E8 case is asserted in Proposition 6.17 via a self-referential proof.","tokens_in":34825,"tokens_out":4348,"duration_ms":50610,"significance":"If the results are correct, the paper gives a concrete and uniform description of the compactified Hitchin systems for the affine Dynkin types D4, E6, E7, E8, connecting them to rational elliptic surfaces and to explicit blow-up constructions on H_2. This is a valuable contribution to the explicit study of Hitchin systems and orbifold Hilbert schemes. The general smoothness and connectedness statements for orbifold Hilbert schemes are also potentially useful beyond the application. However, the central claim currently rests on several incompletely proved steps, most importantly the E8 blow-up classification, so the contribution is not yet fully established.","major_comments":[{"comment":"The proof of Proposition 6.17 consists of the sentence \"As in the proof of Proposition 6.17, this figure illustrates the configuration of the curves, from which the proposition follows.\" This is a self-reference, not a proof. Lemmas 6.15 and 6.16 identify the local singular fibers over p_1, p_2, p_3 and over 0, ∞, but they do not prove that the global surface eX_6 is isomorphic to the iterated blow-up H_2^(6) of the second Hirzebruch surface described in the text. One must check that the exceptional curves introduced in the six blow-up steps have exactly the intersection pattern of Figure 13 and that no other curves are present. As written, the E8 row of Table 1 and the corresponding part of Theorem 1.5 are unsubstantiated.","section":"§6.4, Proposition 6.17"},{"comment":"The statement that the natural C*-action and Poisson structure on Hilb^1(P(T^∨X_i ⊕ O_{X_i})) are compatible with, and extend, the C*-action and symplectic structure on the Hitchin system M(i) is load-bearing: it is what identifies the Hilbert scheme compactification with the Hitchin-system compactification. The justification in Remark 6.2 says Groechenig proved the C*-action assertion 'although this is not stated explicitly in his paper', and cites [Jia25] for the symplectomorphism. This is not sufficient as a proof. If the C*-action compatibility fails, or if [Jia25] does not cover the present setting, Theorem 1.4(1) collapses. A precise proof or an exact quotation of the relevant statements is needed.","section":"Theorem 1.4(1) and Remark 6.2"},{"comment":"The proof of Lemma 3.3 cites \"[?, Theorem A.0.6]\" with a literal placeholder, so the reference is missing. More importantly, the proof asserts without derivation that a Gieseker semistable sheaf satisfying the displayed slope inequality is µ_H-stable. This implication is the key point of the lemma, and it is not immediate from the preceding lines. Lemma 3.3 is foundational for Proposition 3.4, Corollary 4.3, and hence for the smoothness and connectedness of the Hilbert schemes used in Section 6. The proof must be completed or replaced by a precise reference.","section":"§3.2, Lemma 3.3"},{"comment":"The proof of Corollary 4.3 says that 'the proof of this corollary can be completed by following the proof of Corollary 10 in [Ma07]' and gives no details. This is especially delicate in the K_X ≅ O_X case, where Lemma 4.2 and the three-term locally free complex are invoked but the necessary rank, vanishing, and degeneracy-locus computations are omitted. Since connectedness of Hilb^n(X) is used in Theorem 5.9 and hence in the compactification theorem, this step should be written out or the cited argument should be adapted explicitly to the orbifold setting.","section":"§4, Corollary 4.3"}],"minor_comments":[{"comment":"In the E7 case, the two displayed diagrams are both labelled 'eX4'; the first should presumably be X_4 and the second eX_4. This typo makes the notation confusing.","section":"§6.4, paragraph before Lemma 6.15"},{"comment":"The text writes 'en_i = D_0 · E_i' and then concludes 'en_1 = en_2 = en_3 = en_4 = -1'. Since the en_i are natural numbers, the intended statement must involve squares or absolute values; please correct the notation.","section":"§6.1, Lemma 6.7 proof"},{"comment":"In the sentence 'Analogously, let eD_∞ ⊂ X_2 be the smooth rational curve...', the symbol X_2 should presumably be X_3. Also 'em_i = D_∞ · F_i' followed by 'em_1 = em_2 = em_3 = 1' has the same sign/notation issue as in Lemma 6.7.","section":"§6.2, Lemma 6.10 proof"},{"comment":"There is a literal placeholder '[?]' in the proof of Lemma 3.3. Also, the reference [ACL] appears in the bibliography but does not seem to be cited in the text; please add citations or remove the entry.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript contains a genuinely promising construction, and the D4, E6, and E7 cases are worked out in convincing detail. The E8 case, however, is currently unproved due to a self-referential proof, and the compatibility of the C*-action with the Hitchin system rests on an assertion attributed to [Go14] that is not stated there plus a very recent preprint [Jia25]. These are not merely cosmetic issues: they concern the main theorem. The heavy reliance on [Jia25] and on [Go14] for facts not explicitly proved should be addressed before publication. I would recommend major revision rather than rejection, because the missing E8 proof and the compatibility issue appear fixable within the manuscript's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper delivers real content. The general results on orbifold Hilbert schemes — connectedness, smoothness, the Hilbert–Chow morphism as a minimal resolution, and the Poisson structure — are nontrivial and reusable beyond this application. The explicit blow-up descriptions of the D4, E6, and E7 surfaces are worked out in detail with local computations that look credible, and those three cases support the main claim convincingly.\n\nThe soft spot is real and it is in a load-bearing place. Proposition 6.17, the E8 case, has no proof. The sentence \"As in the proof of Proposition 6.17\" is a literal self-reference; there is no earlier proof to imitate. Figure 13 is a diagram, not an argument. So the claim that \\tilde{X}_6 is the second Hirzebruch surface blown up six times is unsubstantiated as written. The pattern from the other cases makes it plausible, and a referee could likely fill the gap, but it is not there now. That is not a minor typo; it is one of the four cases in the central classification.\n\nA second, structurally separate issue is the identification of the Hilbert scheme compactification with the Hitchin system compactification. Theorem 1.4(1) rests on Remark 6.2, which cites a very recent arXiv preprint for the symplectomorphism and asserts without detail that Groechenig's paper contains the C*-action compatibility. If that compatibility fails, the word \"Hitchin\" in the geometric classification is not justified — the Hilbert scheme geometry stands, but the connection to integrable systems collapses. This needs to be pinned down with a verifiable reference or a short proof.\n\nMinor but symptomatic: Lemma 3.3 contains a literal \"[?]\" instead of a citation, and the manuscript has numerous typos. The paper is not in final form.\n\nWho gets value from this: algebraic geometers working on Hitchin systems, elliptic surfaces, or orbifold Hilbert schemes will want to see the construction and the general theorems. It deserves peer review, not desk rejection, but the referee should be asked to verify the E8 proof and to force the author to clarify the external dependencies before acceptance.","headline":"A genuinely useful construction for the D4, E6, and E7 cases, with general orbifold Hilbert scheme theorems that stand on their own; the E8 case is missing its proof, and the Hitchin-system identification leans on an unverified preprint, so it is a conditional accept rather than a finished paper.","tokens_in":35410,"tokens_out":1873,"would_cite":true,"duration_ms":22874,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J27","14C05","14A20","14D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The four affine Dynkin Hitchin systems are compactified by orbifold Hilbert schemes to rational elliptic surfaces with C*-actions, each a blow-up of the second Hirzebruch surface.","keywords":["Hitchin systems","orbifold Hilbert schemes","rational elliptic surfaces","C*-actions","Hirzebruch surfaces","affine Dynkin diagrams","Higgs bundles","Poisson resolutions"],"falsifier":"Compute the $C^*$-action on a generic fiber of $\\pi_i:\\tilde{X}_i\\to P^1$ and compare its weights with the known scaling action on the corresponding Higgs bundles; a mismatch in the weights, or a mismatch in the fixed-point loci over the singular fibers, would disprove the compatibility claim (Theorem 1.4(1)) and thus the identification of the compactification with the Hitchin system's compactification.","tokens_in":34447,"feed_emoji":"📐","tokens_out":6487,"duration_ms":62893,"temperature":0.7,"texified_at":"2026-08-05T20:31:15.310030+00:00","pith_summary":"This paper claims that the two-dimensional Hitchin systems associated with the affine Dynkin diagrams $\\tilde{D}_4$, $\\tilde{E}_6$, $\\tilde{E}_7$, and $\\tilde{E}_8$ admit natural compactifications given by Hilbert schemes of one point on orbifold projective bundles, and that these compactifications are rational elliptic surfaces with $C^*$-actions. Concretely, each compactification is obtained by a finite sequence of blow-ups of the second Hirzebruch surface, with the elliptic fibration having singular fibers only over $0$ and $\\infty$; removing the fiber over $\\infty$ recovers the original Hitchin system. The paper also proves that, under suitable conditions, Hilbert schemes of orbifold surfaces are smooth connected projective schemes, and that the Hilbert-Chow morphism gives the minimal resolution of the coarse moduli space. The upshot is an explicit geometric model for these integrable systems, with the singular fibers and relative minimal models tabulated.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":7166,"prompt_tokens":871,"completion_tokens":6295,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":871,"completion_tokens_details":{"reasoning_tokens":5446}},"feed_headline":"Four Hitchin systems compactify to rational elliptic surfaces","feed_subtitle":"Orbifold Hilbert schemes realize each compactification as an explicit blow-up of the second Hirzebruch surface.","key_machinery":"The central object is the orbifold Hilbert scheme $\\mathrm{Hilb}^1(P(T^\\vee_{X_i}\\oplus O_{X_i}))$, where $X_i=[E_i/\\mu_i]$ is the quotient stack of an elliptic curve by a cyclic group; this scheme is the compactification of the Hitchin system $M(i)$. The Hilbert-Chow morphism $h_i$ maps it to the GIT quotient $P(T^\\vee E_i\\oplus O_{E_i})/\\mu_i$ and provides a minimal Poisson resolution. The identification of each $\\tilde{X}_i$ with a blow-up of the second Hirzebruch surface is carried out case-by-case by tracking strict transforms and exceptional curves under a sequence of blow-downs, using the configuration of curves determined by the singular fibers of the two natural fibrations.","core_discovery":"The central result is Theorem 1.5: for $i = 2,3,4,6$, the compactification $\\tilde{X}_i = \\mathrm{Hilb}^1(P(T^\\vee_{X_i}\\oplus O_{X_i}))$ is a rational elliptic surface with $C^*$-action, whose fibration $\\pi_i:\\tilde{X}_i\\to P^1$ has singular fibers only over $0$ and $\\infty$, of types summarized in Table 1. Each $\\tilde{X}_i$ is isomorphic to an iterated blow-up of the second Hirzebruch surface (Propositions 6.8, 6.11, 6.14, 6.17), and the Hitchin system $M(i)$ is isomorphic to $\\tilde{X}_i$ with the fiber over $\\infty$ removed. In addition, the paper proves that $\\mathrm{Hilb}^n(X)$ for an orbifold surface $X$ is a smooth connected projective scheme, and that the Hilbert-Chow morphism $\\mathrm{Hilb}^1(X)\\to X$ is the minimal resolution of singularities and a Poisson r...","pith_inferences":["If the compatibility of the C*-action and Poisson structure with the Hitchin system's structures holds, then the fixed-point loci of the C*-action on these rational elliptic surfaces should match the fixed-point loci of the scaling action on Higgs bundles; this is a concrete check that could be done locally on the fibers over 0 and ∞.","The explicit blow-up descriptions may make it possible to compute enumerative invariants (e.g., Gromov-Witten or Donaldson-Thomas invariants) of these Hitchin compactifications by reducing them to computations on the second Hirzebruch surface.","The pattern of relative minimal models obtained by blowing down curves over ∞ suggests that each Hitchin system carries a hierarchy of elliptic compactifications, parameterized by which (−1)-curves one contracts; these may correspond to different stability conditions or different choices of compactification.","The four cases treated are exactly the non-elliptic one-dimensional Calabi-Yau orbifolds; the same orbifold-Hilbert-scheme construction might, with suitable modifications, compactify higher-dimensional Hitchin systems or Hitchin systems for other orbifold curves."],"forward_implications":["The Hitchin fibrations for D̃4, Ẽ6, Ẽ7, Ẽ8 are now described explicitly by the elliptic fiber types I*_0 over 0 and ∞ for D̃4, IV* and IV for Ẽ6 (after one blow-down), III* and III for Ẽ7 (after two blow-downs), and II* and II for Ẽ8 (after three blow-downs).","Since the compactification is a blow-up of the second Hirzebruch surface, the rational elliptic surfaces inherit concrete coordinates and intersection forms from that model.","Removing the fiber over ∞ recovers the Hitchin system, so the compactification is a natural one-point (in the base) compactification, with boundary consisting of s+1 copies of P^1.","The Hilbert-Chow morphism being a Poisson resolution means the compactification is compatible with the symplectic/Poisson geometry, not just the underlying complex structure.","The smoothness and connectedness results for orbifold Hilbert schemes extend the standard Hilbert scheme theory to orbifold surfaces, providing tools for further moduli problems."],"fun_headline_variants":["Orbifold Hilbert schemes compactify Hitchin systems","Hitchin systems become rational elliptic surfaces","Four Hitchin systems yield rational elliptic surfaces","Hirzebruch blow-ups give Hitchin compactifications"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The identification of the Hilbert-scheme compactification with the Hitchin system's own compactification assumes that the natural $C^*$-action and Poisson structure on the Hilbert scheme agree with the $C^*$-action and symplectic structure on the Hitchin system; this compatibility is attributed to a very recent preprint and to an unstated assertion in the earlier construction it builds on.","fun_headline_variants_meta":{"raw":{"variants":["Orbifold Hilbert schemes compactify Hitchin systems","Hitchin systems become rational elliptic surfaces","Four Hitchin systems yield rational elliptic surfaces","Hirzebruch blow-ups give Hitchin compactifications"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002236,"raw_usage":{"total_tokens":8473,"prompt_tokens":721,"completion_tokens":7752,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":465,"completion_tokens_details":{"reasoning_tokens":7690}},"tokens_in":465,"tokens_out":7752,"duration_ms":54341,"temperature":1.0,"reasoning_tokens":7690,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T16:13:34.669347+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the $C^*$-action on a generic fiber of $\\pi_i:\\tilde{X}_i\\to P^1$ and compare its weights with the known scaling action on the corresponding Higgs bundles; a mismatch in the weights, or a mismatch in the fixed-point loci over the singular fibers, would disprove the compatibility claim (Theorem 1.4(1)) and thus the identification of the compactification with the Hitchin system's compactification.","supporting_citations":[],"review_version":1}