{"id":"f45ce9e6-b9c7-4101-b247-da913d07fb34","arxiv_id":"2509.07467","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New moduli stacks for marked rational elliptic surfaces of index m and a list of slc surfaces that smooth to Dolgachev surfaces when a multiple fiber degenerates.","lead":"Researchers construct compact moduli for rational elliptic surfaces without a section and identify singular limit surfaces that appear when a multiple fiber degenerates. The construction is plausible but several key steps are conditional or only sketched.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2's (2,1,3)-stability claim fails numerically for index m≥2: A^2 = 4m−1 and A·F = m, not 3.","rationale":"The reader's verdict is CONDITIONAL, with weakest_assumption being the flat deformability of the pq-multisection in Section 3. That is a legitimate gap, but it concerns a construction already explicitly labeled conditional ('when such a multi-section ... admits a flat deformation'), so it is not the most load-bearing issue for the paper's stated theorems. A more direct and more central problem is the numerical verification in Theorem 3.2: the claim that the marked rational elliptic surfaces of index m are (2,1,3)-stable Calabi–Yau pairs is false as written for m≥2 because the volume parameter v is not 3. This is not a matter of missing proof—it is an arithmetic inconsistency that can be checked immediately. The existence of a compact moduli space may survive if v is corrected, but the theorem statement and its proof need revision. I therefore agree with the overall CONDITIONAL verdict but disagree that the flatness hypothesis is the primary weak point; the volume mismatch is more fundamental and more easily settled. No ad hominem is intended; the critique targets the mathematical content.","tokens_in":13693,"tokens_out":13354,"duration_ms":142183,"concrete_test":"Take an explicit marked rational elliptic surface of index 2 (e.g., a Halphen pencil of index 2 obtained as the blow-up of P^2 at nine points with an m-multisection ¯A as the ninth exceptional divisor). Compute A = ¯A + 2F_m and evaluate A^2 and A·F for a general fiber F. If the computed values are 7 and 2 respectively (as predicted), then the (2,1,3)-stability claim in Theorem 3.2 fails. Then re-run the Birkar moduli construction with v = A^2 = 4m−1 (or v = A·F = m, depending on the intended fibration) and verify that the moduli stack P_{2,1,v} is nonempty and proper for the family—if the corrected v works, the theorem is salvageable but needs restatement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 3.2 the authors assert that a marked rational elliptic surface of index m, with B = F_m (the reduced support of the multiple fiber) and A = ¯A + 2F_m, forms a (2,1,3)-stable Calabi–Yau pair. According to Birkar's definition quoted in Section 3, in the CY case K_X+B ∼ 0 the fibration f is trivial, so the volume condition is vol(A|_F) = vol(A) = A^2; alternatively, if one interprets F as the general elliptic fiber, the volume is A·F. For a rational elliptic surface of index m, |−mK_X| defines the fibration, so F ∼ −mK_X and F ∼ mF_m, hence K_X + F_m ∼ 0, so B = F_m is the right choice. But a direct intersection computation gives A^2 = (¯A+2F_m)^2 = ¯A^2 + 4¯A·F_m + 4F_m^2 = −1 + 4m, and A·F = m for a general fiber F. For m ≥ 2, neither quantity equals 3 (m=3 gives A·F=3 but A^2=11). Therefore the family does not satisfy the (2,1,3)-volume condition. The proof of Theorem 3.2 is only an assertion of this verification, so the induced morphism to P_{2,1,3} is not justified as written. The construction may be repairable by replacing 3 with the correct v (e.g., 4m−1 or m), but the statement as given is numerically false for all m≠3 (and even m=3 is inconsistent for vol(A)). This is a concrete, checkable flaw in the central compactification theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes compact moduli constructions for elliptic surfaces with a multiple fiber, focusing on rational elliptic surfaces of index m and Dolgachev surfaces. The main theorem (Theorem 3.2) asserts that marked rational elliptic surfaces of index m form a proper Deligne–Mumford stack with projective coarse space, realized as (2,1,3)-stable Calabi–Yau pairs in Birkar's formalism. Section 4 reviews Kawamata's classification of moderate degenerations, and Section 5 identifies slt boundary surfaces obtained by gluing two rational elliptic surfaces along twisted I_0^*, II|II^*, III|III^*, and IV|IV^* fibers; these are claimed to admit Q-Gorenstein smoothings to rational elliptic surfaces of index 1 (Theorem 5.2) and, after logarithmic transforms, to Dolgachev surfaces (Corollary 5.3). The paper is concise and often refers to prior work for key steps.","tokens_in":14062,"tokens_out":12958,"duration_ms":158770,"significance":"If the main theorems are correct, the paper provides the first Birkar-style compact moduli stack for marked rational elliptic surfaces without a section for all indices m, complementing Miranda's GIT construction for index 1 and Zanardini's treatment of index 2. The explicit slt surfaces in Section 5 give a concrete conjectural boundary description for degenerations in which a multiple fiber becomes an additive fiber, and the connection to Dolgachev surfaces via Q-Gorenstein smoothings is a useful contribution. The paper also demonstrates a plausible route to using Birkar's recent moduli theory in elliptic surface settings. However, the manuscript is largely a sketch: several load-bearing verifications are asserted rather than proved, and the Dolgachev moduli construction is explicitly conditional. The central numerical check in Theorem 3.2 does work, but the proof as written is too terse.","major_comments":[{"comment":"The proof says it is 'straightforward' that the pairs (X,F_m), A form (2,1,3)-stable Calabi–Yau pairs, but the required verification is not given. Since K_X+F_m ~ 0, the contraction f in Birkar's definition is trivial, so v = vol(A|_F) = A^2. One computes A^2 = (\\bar A+2F_m)^2 = \\bar A^2 + 4\\bar A·F_m + 4F_m^2 = -1 + 4·1 + 0 = 3, using \\bar A·F_m = 1 (because \\bar A·F_o = m and F_o = mF_m) and F_m^2 = 0. Thus the stated v=3 is correct; the numerical objection in the evaluation is based on the incorrect value \\bar A·F_m=m. Nevertheless, the paper should contain this computation and also check that (X,F_m+tA) is slc for some t>0 and that the coefficient condition holds. As written, the central compactification theorem depends on an unproved assertion.","section":"§3, Theorem 3.2 and the volume condition"},{"comment":"The proposed compactification of marked Dolgachev surfaces is conditional. Proposition 3.3 shows the existence of an abstract pq-multi-section, but the transition to a moduli space requires that such a multi-section be 'not too singular' and 'admit a flat deformation in a family of Dolgachev surfaces.' No proof of these properties is supplied. The sentence in the introduction — 'Hence ... one obtains a compact moduli space of marked Dolgachev surfaces' — overstates what is established. This needs to be rephrased as a conjecture or open condition, or the deformation condition must be proved for the natural families.","section":"§3, Proposition 3.3 and Remark 3.4"},{"comment":"The smoothing argument is too compressed for the claims made. In particular, the assertion T^1_{QG,X} = i_*O_{P^1}(4) is stated uniformly for all four cases, despite the differing local groups (Z/2, Z/3, Z/6, Z/4) and weight choices; the Diff computation is not shown. The application of Hacking's lemma [14, Lemma 9.4] also requires hypotheses (such as d-semistability and Q-Gorensteinness) that are not checked. In Corollary 5.3, the step from a smoothing of the Jacobian union Y to a smoothing of X by logarithmic transforms is not justified: one needs to know that the total space remains Q-Gorenstein and that the logarithmic transforms can be performed compatibly in the family. These are load-bearing for the claimed boundary interpretation.","section":"§5, Theorem 5.2 and Corollary 5.3"},{"comment":"The log resolutions used for the lct computations are not described in the text, and Figure 1 is unreadable in the current version. Since the stated lct values are used for the wall-crossing remark, the paper should provide a clear description of each resolution (or at least the dual graph and discrepancies) and the computation of the minimum (b_j+1)/r_j.","section":"§5, Lemma 5.1"}],"minor_comments":[{"comment":"There are several typographical issues: 'Dolagchev' in Remark 3.4; the garbled text and figure in Section 4; inconsistent use of script and roman P for the moduli functor. Please proofread carefully.","section":"Throughout"},{"comment":"The notions 'twisted I_0^*, II|II^*, III|III^*, IV|IV^*' are used without a definition or reference. A precise reference to Kodaira's notation or to the relevant smoothing literature would help the reader.","section":"§5"},{"comment":"The proof says 'The closure of the image of U_m provides the desired proper Deligne–Mumford stack.' Since U_m maps to the coarse moduli space or to the stack P_{2,1,3}, the stack-theoretic closure should be specified explicitly, and the isomorphism of marked surfaces versus isomorphic stable pairs should be stated as a separate lemma.","section":"§3, Theorem 3.2"},{"comment":"In the displayed definition of a family of (d,c,v,σ)-stable minimal models, the notation B=cD and A=cN is confusing when c=1 and A has coefficient 2. Clarify the convention for 'coefficients in cZ_{\\ge0}'.","section":"§2, Definition of families"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about Theorem 3.2 does not land: the numerical computation actually gives A^2=3 because \\bar A·F_m=1, not m. The real weakness of the paper is that many proofs are only sketched, especially the verification of Birkar's conditions, the conditional Dolgachev moduli construction, and the smoothing arguments in Section 5. These are fixable but require real additions, not just wording changes. The paper would be suitable for the journal if the authors supply the missing details and clearly separate established results from conjectural/conditional statements."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper addresses a real gap, namely compact moduli for rational elliptic surfaces with a multiple fiber of index m and for Dolgachev surfaces, and the four slc gluing patterns in Theorem 5.2 look like the right boundary objects. But the written proof falls short of the claims in a few load-bearing places. One external stress-test I ran against it does not land: the alleged failure of the (2,1,3)-stability computation uses A^2=4m-1, but with \\bar A^2=-1, \\bar A·F_m=1, and F_m^2=0, you get A^2=3. And in the CY case K+B~0 the fibration f is trivial, so Birkar's volume condition is A^2, not A·F. So Theorem 3.2 is not numerically false on that ground.\n\nWhat is genuinely new: Theorem 5.2's classification of four twisted gluing types, and Corollary 5.3's route from them to Dolgachev surfaces, are not in Ascher-Bejleri or Miranda. Combining Birkar's moduli theorem with Kawamata's classification is a sensible and promising strategy. The authors also honestly flag their own limitations, for instance the conditional nature of the Dolgachev moduli space in Remark 3.4.\n\nThe soft spots: Theorem 3.2's proof says 'straightforward to see' and does not actually verify slc-ness, the local-stability condition, or the volume parameter. That is load-bearing even if the numerics work. Theorem 5.2 (2)-(4) are deferred as 'similar', but those cases have different quotient singularities and the uniform T^1 computation needs to be shown. Corollary 5.3 assumes family-level logarithmic transforms without proof, and the compactification of marked Dolgachev surfaces depends on an unproved flat-deformability hypothesis for the pq-multisection. These are fixable in principle, but they are real gaps.\n\nCitation practice looks fine; the self-citations to [8], [21], [22] are legitimate references to the authors' published smoothing methods, not circularity.\n\nWho is this for? People working on moduli of elliptic surfaces, slc compactifications, and Dolgachev surfaces. It deserves a serious referee: the project is worthwhile and the main claims are plausible, but the paper is currently closer to a research announcement. I would send it to peer review, not desk reject, and I would not cite it in its current form.","headline":"The boundary-list idea and the four gluing types are new and plausible, but the write-up is a sketch; the stress-test's numerical objection misses that A^2=3, so the real issue is missing details, not a false theorem.","tokens_in":14615,"tokens_out":3534,"would_cite":false,"duration_ms":40559,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J10","14J27"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs projective compact moduli spaces for marked rational elliptic surfaces of index m and identifies the boundary surfaces arising when a multiple fiber degenerates to an additive fiber.","keywords":["rational elliptic surface","Dolgachev surface","moduli space","Q-Gorenstein smoothing","semi-log-canonical pair","multiple fiber","stable Calabi–Yau pair","log canonical threshold"],"falsifier":"Take a one-parameter family of Dolgachev surfaces of type $(2,3)$ from the smooth deformation space supplied in Proposition 1.1 and try to extend the $6$-multi-section $C\\subset S_t$ to a relative divisor over the base; if the limit of $C$ is not flat—for instance if the Hilbert polynomial of the relative multi-section jumps—then the Section 3 compactification fails for that family, while Theorem 5.2's smoothing statements would still stand independently.","tokens_in":13542,"feed_emoji":"📐","tokens_out":13697,"duration_ms":138543,"temperature":0.7,"texified_at":"2026-08-05T20:27:01.333003+00:00","pith_summary":"Elliptic surfaces without a section—rational elliptic surfaces of index $m$ and Dolgachev surfaces—are hard to fit into compact moduli spaces because a multiple fiber can degenerate into an additive singular fiber, and the structure of the resulting limit surfaces was unknown. This paper proves that marked rational elliptic surfaces of index $m$ form a proper Deligne–Mumford stack with projective coarse space for every $m\\ge 2$, realized as $(2,1,3)$-stable Calabi–Yau pairs. It also shows that every Dolgachev surface carries a $pq$-multi-section, so that—provided the multi-section deforms flatly—a projective moduli space for marked Dolgachev surfaces follows from the same moduli theorem. The paper then identifies the boundary objects: four types of two-component semi-log-canonical surfaces, glued along twisted $I_0^*$, $II|II^*$, $III|III^*$, or $IV|IV^*$ fibers, admit Q-Gorenstein smoothings to rational elliptic surfaces of index $1$, and after logarithmic transforms to Dolgachev surfaces of type $(m_1,m_2)$. If correct, these are exactly the stable limits that appear when a multiple fiber degenerates into an additive fiber, completing the boundary description of the relevant moduli spaces.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5884,"prompt_tokens":967,"completion_tokens":4917,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":967,"completion_tokens_details":{"reasoning_tokens":3991}},"feed_headline":"Four glued surfaces appear when multiple fibers degenerate","feed_subtitle":"Each pair smooths to a rational elliptic surface, then to a Dolgachev surface by log transforms.","key_machinery":"The load-bearing machinery is the theory of $(d,c,v,\\sigma)$-stable minimal models and stable Calabi–Yau pairs: for the rational elliptic surface of index $m$, the pair is $(X, F_m)$ with $A = \\bar{A} + 2F_m$, where $F_m$ is the reduced support of the multiple fiber and $\\bar{A}$ the $m$-multi-section, giving a $(2,1,3)$-stable Calabi–Yau pair that maps into a proper Deligne–Mumford stack. On the degeneration side, the key objects are the four semi-log-terminal (slt) surfaces $X = X_1 \\cup_{\\mathbb{P}^1} X_2$ glued along twisted fibers of types $I_0^*$, $II|II^*$, $III|III^*$, $IV|IV^*$; the proof that they smooth Q-Gorensteinly runs through the vanishing $H^1(T^1_{QG,X})=0$ and $H^2(T_X)=0$, the latter via non-zero sections of $\\omega_{X_i}^{-1}$.","core_discovery":"The paper's central assertion is that the natural moduli problem for rational elliptic surfaces of index $m$—and, under a flatness hypothesis, for Dolgachev surfaces—has a projective compactification with explicitly known boundary. Theorem 3.2 states that for every integer $m\\ge 2$, marked rational elliptic surfaces of index $m$ (a rational elliptic surface together with an $m$-multi-section) form a proper Deligne–Mumford stack with projective coarse moduli space, realized inside the moduli of $(2,1,3)$-stable Calabi–Yau pairs. Proposition 3.3 establishes that every Dolgachev surface of coprime type $(p,q)$ has a $pq$-multi-section; with a recent moduli theorem for stable minimal models, this yields a projec","pith_inferences":["If the pq-multi-section's flat-deformation hypothesis fails on a single Dolgachev surface family, the Section 3 compactification would be empty for that family; testing this on the smooth deformation space of Dolgachev surfaces of type (2,3) would settle the main open gap.","The rational log canonical thresholds in Lemma 5.1 (1/2, 2/3, 3/4, 4/5, 1) predict that the stable-pair compactifications for indices 2 through 5 have chambers at these values; identifying the flipped surfaces at each wall would make the wall-crossing picture explicit and parallel to the known section case.","The same four gluing patterns should appear on the boundary of moduli of other pg=q=0 elliptic surfaces, such as Enriques surfaces, whose moderate degenerations have different multiplicity data; adapting the smoothing argument with multiplicities (2,2) would test whether these slt types are universal.","The construction suggests that the entire moduli problem for rational elliptic surfaces of index m could be rephrased purely as stability of Halphen pencils of degree 3m with marked base points, potentially connecting the (2,1,3)-stable pairs to GIT for plane curves of higher degree."],"forward_implications":["For every m≥2 the moduli of marked rational elliptic surfaces of index m is a proper Deligne–Mumford stack with projective coarse space, so the space of these surfaces has a natural compactification in the stable-Calabi–Yau category.","The boundary of the classical compactification of pencils of cubics becomes stable-geometric: the four two-component slt surfaces of Theorem 5.2 are the limits of a multiple fiber degenerating to an additive fiber, and each smooths to an index-1 rational elliptic surface.","Applying logarithmic transforms to those smoothings produces Dolgachev surfaces of every coprime type (m1,m2), so the same boundary surfaces lie in the closure of the moduli of Dolgachev surfaces of each type.","For multiple fiber multiplicity at most 5, the log canonical thresholds of Lemma 5.1 imply a genuine wall-crossing structure: as the coefficient c of (X, cB) moves below the threshold, the compact moduli space changes by a birational contraction.","Because the construction uses Q-Gorenstein smoothings rather than complex-analytic logarithmic transforms, the boundary description works in arbitrary characteristic, at least for surfaces built from pencils over Spec Z."],"supporting_citations":[{"why":"Supplies the moduli theorem for (d,c,v,σ)-stable minimal models and stable Calabi–Yau pairs used to build the proper Deligne–Mumford stack of Theorem 3.2.","marker":"[6]"},{"why":"Provides the Halphen-pencil description of rational elliptic surfaces of index m and the torsor facts (multi-section degree equals torsor order) behind Proposition 3.3.","marker":"[10]"},{"why":"Establishes the degree-one del Pezzo compactification and proves the twisted I0* gluing case, which is Case (1) of Theorem 5.2.","marker":"[4]"},{"why":"Classifies moderate degenerations of elliptic surfaces and lists the central fiber types (mI_d, II, III, IV) whose log-canonical thresholds Lemma 5.1 computes.","marker":"[17]"},{"why":"Gives the local-to-global criterion H^1(T^1_{QG,X})=0 used in Theorem 5.2 to show the slt surfaces admit Q-Gorenstein smoothings.","marker":"[16]"},{"why":"Supplies Lemma 9.4, the obstruction-vanishing criterion for H^2(T_X)=0 via sections of O(-K_X-E), used in the smoothing proof.","marker":"[14]"},{"why":"Provides the adjunction/different computation showing T^1_{QG,X} = i_*O_{P^1}(4) on the double curve.","marker":"[9]"},{"why":"Gives the canonical bundle formula on the components used to produce the non-zero sections that kill the H^2 obstruction in Theorem 5.2.","marker":"[2]"}],"fun_headline_variants":["Multiple fiber degenerations produce four glued surfaces","Four glued surfaces from multiple fiber degeneration","Compact moduli for elliptic surfaces with multiple fiber","Degenerate multiple fibers produce Dolgachev surfaces"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"In Section 3, the compactification of marked Dolgachev surfaces is introduced conditionally: the $pq$-multi-section whose existence is proved in Proposition 3.3 is assumed to be sufficiently non-singular and to deform flatly in every family of Dolgachev surfaces, and no proof of that flatness is given; if the assumption fails for some family, the proposed projective moduli space of marked Dolgachev surfaces does not exist as constructed.","fun_headline_variants_meta":{"raw":{"variants":["Multiple fiber degenerations produce four glued surfaces","Four glued surfaces from multiple fiber degeneration","Compact moduli for elliptic surfaces with multiple fiber","Degenerate multiple fibers produce Dolgachev surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000656,"raw_usage":{"total_tokens":2774,"prompt_tokens":612,"completion_tokens":2162,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":356,"completion_tokens_details":{"reasoning_tokens":2106}},"tokens_in":356,"tokens_out":2162,"duration_ms":17742,"temperature":1.0,"reasoning_tokens":2106,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T22:11:38.708415+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a one-parameter family of Dolgachev surfaces of type $(2,3)$ from the smooth deformation space supplied in Proposition 1.1 and try to extend the $6$-multi-section $C\\subset S_t$ to a relative divisor over the base; if the limit of $C$ is not flat—for instance if the Hilbert polynomial of the relative multi-section jumps—then the Section 3 compactification fails for that family, while Theorem 5.2's smoothing statements would still stand independently.","supporting_citations":[{"cited_title":"Cossec, I","cited_arxiv_id":null,"evidence_quote":"Provides the Halphen-pencil description of rational elliptic surfaces of index m and the torsor facts (multi-section degree equals torsor order) behind Proposition 3.3."},{"cited_title":"Ascher and D","cited_arxiv_id":null,"evidence_quote":"Establishes the degree-one del Pezzo compactification and proves the twisted I0* gluing case, which is Case (1) of Theorem 5.2."},{"cited_title":"Kawamata,Moderate degenerations of algebraic surfaces, Complex algebraic varieties (Bayreuth, 1990), 113–132, Lecture Notes in Math., 1507, Springer, Berlin, 1992","cited_arxiv_id":null,"evidence_quote":"Classifies moderate degenerations of elliptic surfaces and lists the central fiber types (mI_d, II, III, IV) whose log-canonical thresholds Lemma 5.1 computes."},{"cited_title":"Hassett,Stable log surfaces and limits of quartic plane curves, Manuscripta Math.100(1999), no","cited_arxiv_id":null,"evidence_quote":"Gives the local-to-global criterion H^1(T^1_{QG,X})=0 used in Theorem 5.2 to show the slt surfaces admit Q-Gorenstein smoothings."},{"cited_title":"Hacking,Compact moduli of plane curves, Duke Math","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 9.4, the obstruction-vanishing criterion for H^2(T_X)=0 via sections of O(-K_X-E), used in the smoothing proof."},{"cited_title":"Corti,Adjunction of log divisors","cited_arxiv_id":null,"evidence_quote":"Provides the adjunction/different computation showing T^1_{QG,X} = i_*O_{P^1}(4) on the double curve."},{"cited_title":"Ascher and D","cited_arxiv_id":null,"evidence_quote":"Gives the canonical bundle formula on the components used to produce the non-zero sections that kill the H^2 obstruction in Theorem 5.2."}],"review_version":1}