{"id":"ba8ae4a9-c424-448f-9dcf-32ccbf2494f9","arxiv_id":"2501.15205","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Fiber products of two rational elliptic fibrations admit complete Calabi-Yau metrics with ALG/ALH type asymptotics and compactifications with negative canonical class.","lead":"The authors construct complete Calabi-Yau metrics on certain noncompact abelian-fibered threefolds obtained as fiber products of two rational elliptic surfaces. These provide new model geometries with controlled growth at infinity, together with projective compactifications whose canonical bundle is negative.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The ALH branch of Theorem 4 is not established as written: the representative (III,III*) calculation in §4.3(1d) mixes coordinates from the k=12 case with a z=s^4 pullback, so the claimed ansatz and error decay are not verifiable.","rationale":"The reader identified the unverified extension to unlisted fiber-type combinations as the weakest assumption. I agree that this is a gap, but the sharper and more load-bearing problem is in the one ALH case that is actually written down: §4.3(1d) contains incompatible coordinates. Because the proof of Theorem 4(1d) depends on that calculation, the ALH branch is unsupported as written. The coordinate mismatch is not merely cosmetic: powers of s and the central fiber lattice determine the exponents in the ansatz and the error analysis, so the claimed ALH model could be wrong. A careful recomputation of (III,III*) and one additional pair would settle this. The Tian-Yau-Hein package hypotheses are also not fully checked for the glued metric, but those are standard fillable details if the ansatz is correct. I therefore keep the reader's CONDITIONAL verdict: the construction is plausible and the representative non-ALH computations are detailed, but the ALH branch and the 'largely analogous' cases need confirmation before the theorem can be accepted.","tokens_in":37149,"tokens_out":16813,"duration_ms":156769,"concrete_test":"Recompute §4.3(1d) from scratch: pull back by z=s^4, set v1=(1-s^{2m1})s^3w1 and v2=(1-s^{2m2})s w2, derive the four periods and Im(τ̄_iτ_j), then apply the change z=exp(-εα/(2√2|k(0)|)), v1=z^{3/4}β1, v2=z^{1/4}β2. Check whether the semi-flat metric becomes (i/2)(dα∧dbarα+dβ1∧dbarβ1+dβ2∧dbarβ2)(1+O(e^{-c Re α})) as stated. Separately repeat the same computation for one other α+β=k pair (e.g. II×II*) to test the 'largely analogous' assertion.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 4(1d) asserts ALH Calabi-Yau metrics when α+β=k, and its proof in §4.3 treats (III,III*) as the representative case. The text first says U|Δ* is pulled back under z=s^4 and defines Φ with v1=(1-s^{2m1})s^3w1, v2=(1-s^{2m2})s w2 and τ1,τ2≈z^{3/4}, τ3,τ4≈z^{1/4}; these are the correct order-4 coordinates. Two paragraphs later it states instead (z,v1,v2)=(s^{12},(1-s^{4m1})s^2w1,(1-s^{6m2})s^3w2) and that the central fiber is C^2/(Z+ζ3Z+Z+iZ); these are exactly the formulas from the preceding II*×III* case, which has common order k=12 and a ζ3 factor. Since the displayed ansatz in (1d) uses |z| powers consistent with z=s^4, the reader cannot tell which coordinate system was used for the ALH coordinate change z=exp(-εα/(2√2|k(0)|)) or for the claimed exponential error. This matters because (1d) is the only detailed proof for any ALH case; the remaining α+β=k pairs (II×II*, IV×IV*) are dismissed as 'largely analogous'. If the calculation was performed in the wrong coordinates, the ALH metric may not exist in the stated form; if it is a typo, the proof still leaves the other finite-monodromy pairs unchecked. The same reliance on unverified analogy also affects the ALG branch (1c), but the coordinate inconsistency gives a concrete reason to doubt the transfer.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs complete Ricci-flat Kähler metrics on noncompact threefolds obtained by deleting the common singular fiber from the fiber product of two rational elliptic fibrations over P^1. Three families are considered: (i) both singular fibers have finite monodromy, yielding ALG metrics when α+β>k and ALH metrics when α+β=k; (ii) both fibers are of type I*_b, yielding a complete Calabi-Yau metric with volume growth s^{3/2} and tangent cone R_+; (iii) one I*_b fiber paired with II*, III*, or IV*, yielding volume growth s^2 and a tangent cone of angle 2π/3, π/2, or π/3. The construction proceeds by writing a semi-flat ansatz at infinity, proving a ∂¯-lemma and gluing to a global metric, choosing parameters to satisfy the Tian–Yau–Hein integrability condition, and perturbing to a genuine Calabi-Yau metric. The paper also gives compactifications eX with K_eX a negative rational multiple of a fiber and discusses an isotrivial quotient construction.","tokens_in":37528,"tokens_out":31143,"duration_ms":248561,"significance":"If the results hold, this is a valuable contribution to the noncompact Calabi-Yau literature: it gives explicit higher-dimensional analogues of Hein's ALG/ALH constructions in a non-isotrivial setting, with precise asymptotic expansions, volume growth rates, and canonical-divisor computations. The representative computations in §4.3 are detailed and internally consistent, and the use of fiber products of rational elliptic surfaces is natural. The argument is not circular: the parameters α and t are determined by the integrability equation rather than by the desired existence conclusion. However, the theorem's scope exceeds the cases for which the package hypotheses are actually verified, and one block in the ALH computation is internally inconsistent; both issues are fixable.","major_comments":[{"comment":"In the ALH representative case (III,III*), the paragraph beginning 'Moreover, (z,v1,v2)=(s12,(1−s4m1)s2w1,(1−s6m2)s3w2)' repeats the coordinate system and the central fiber C^2/(Z+ζ3Z+Z+iZ) of the preceding II*×III* case. For (III,III*) with z=s^4, the correct coordinate map is (z,v1,v2)=(s^4,(1−s^{2m1})s^3w1,(1−s^{2m2})s w2) and the central fiber is C^2/(Z+iZ)^2. Since the displayed ansatz below uses powers |z|^{3/2} and |z|^{1/2} that are consistent with z=s^4, the error appears to be a copy-paste typo, but as written the proof of the ALH branch is not verifiable: the reader cannot tell which coordinate system was used for the ALH coordinate change and for the claimed exponential error. This matters because (1d) is the only detailed ALH computation; the other two ALH pairs, (II,II*) and (IV,IV*), are dismissed as 'largely analogous'.","section":"§4.3(1d)"},{"comment":"The theorem asserts existence for all finite-monodromy pairs in (1c)(1d), all I*_b×I*_b pairs in (2), and all I*_b×II*/III*/IV* pairs in (3), but the SOB(β), curvature decay, and C^{3,α} quasi-atlas verifications are performed only for the representatives II*×III*, III×III*, I*_b×I*_b, and I*_b×IV*, with the remaining cases justified by 'the analysis is largely analogous.' The exponents, periods, and error terms depend on the Kodaira types in an essential way: for example, (II,II*) has k=6 and coordinate exponents (5,1), and (IV,IV*) has k=3 and exponents (2,1), neither of which follows from the (III,III*) computation with k=4. Similarly, the ALG list includes pairs such as II*×II*, II*×III, III*×III*, III*×IV, and IV*×IV*, and in (3) the II* and III* variants are not computed. Since the Tian–Yau–Hein package requires these hypotheses for the actual glued metric, the theorem as stated exceeds the verified content. The authors should either provide a table of local data (deck exponents, coordinates, asymptotic forms, and error bounds) for every listed pair or restrict the theorem to the cases actually verified.","section":"Theorem 4 and §4.3"}],"minor_comments":[{"comment":"In the coordinate change displayed before equation (10), the new torus coordinates β1 and β2 are omitted: the formulas should read v1=(α/α0)^{-2/7}β1 and v2=(α/α0)^{-3/7}β2.","section":"§4.3(1c)"},{"comment":"In the deck transformation A for the (III,III*) case, the expression '1+26m2' in the w2-factor should presumably be '1+s^{2m2}'.","section":"§4.3(1d)"},{"comment":"The constant α0 is written as α0=−√6/ε; a negative value cannot serve as a radius for the sector |α|>α0. The sign appears to be a typo.","section":"§3, Lemma 5"},{"comment":"The definition of η2 as d¯v2/Im(τ1¯τ2) should use the denominator Im(τ3¯τ4); as written, both η1 and η2 have the same denominator.","section":"§5, Proposition 2"},{"comment":"The comparison metric g is displayed as i|k|^2|log|z||^2/(π^2ε^2|z|^2) dz∧d¯z, but the base part of ω_sf,ε in this situation is approximately i√3b|k|^2|log|z||/(πε^2|z|^{7/3}) dz∧d¯z; the subsequent distance estimates use the latter metric, so the displayed g should be corrected or identified as a different comparison metric.","section":"§4.3(3b)"},{"comment":"The statement of (1) begins 'If the monodromy of both F1,F2 are finite, then...' and then lists only the cases α+β>k and α+β=k. For finite-monodromy pairs with α+β<k (e.g., II×II, III×III, IV×IV), no claim is made, so the statement should be rephrased to indicate that it concerns only pairs with α+β≥k.","section":"Theorem 4(1)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious fit for the journal and the main idea appears sound. The required revision is to correct the coordinate inconsistency in §4.3(1d) and to close the gap between the verified representative cases and the full statement of Theorem 4, either by adding the missing computations or by restricting the theorem. No citation or novelty concerns were noticed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this paper constructs complete Calabi-Yau metrics on noncompact threefolds that fiber over C in abelian surfaces, by taking fiber products of rational elliptic surfaces. As far as I can tell, that's new. The construction deserves a serious referee, but the main theorem is stated more broadly than the proof verifies, and there's a clear copy-paste error in the ALH representative that needs fixing.\n\nWhat the paper does well: the fiber-product setup is a natural way to get non-isotrivial abelian surface fibrations with the right canonical bundle behavior. The semi-flat ansatz and the Poincaré-residue volume form are worked out in detail for the representative cases, and the asymptotic expansions (ALG angle, ALH, volume growth, tangent cone) are internally consistent. The compactification statements produce eX with negative canonical divisor, which is exactly what the Tian-Yau-Hein package needs. The paper is also honest that the gluing step largely adapts Hein's thesis.\n\nWhere the soft spots are: first, Theorem 4 claims all finite-monodromy pairs and all I*_b combinations, but Section 4.3 explicitly computes only (II*×III*), (III×III*), (I*_b×I*_b), and (I*_b×IV*). The rest are dispatched with 'the analysis is largely analogous.' That's a real gap: the SOB estimates and curvature decay could behave differently for, say, (III*×IV*) or (II×II*). It's likely true, but it isn't proved in the text. A referee should ask for the missing cases or a revised statement.\n\nSecond, there is a genuine textual inconsistency in §4.3(1d). After defining the correct order-4 coordinates (z=s^4, v1=(1-s^{2m1})s^3w1, v2=(1-s^{2m2})s w2), the text repeats the previous paragraph's (z,v1,v2)=(s^12,(1-s^{4m1})s^2w1,(1-s^{6m2})s^3w2) and central fiber C^2/(Z+ζ3Z+Z+iZ). That's from the II*×III* case. The actual ansatz formula in that section uses the correct |z| powers, so the ALH computation is recoverable, but the prose is wrong. The stress-test's stronger claim that the ALH branch is unverifiable doesn't hold up: the metric formula is consistent with z=s^4. Still, the copy-paste error is exactly the kind of thing that makes a reader stop trusting the 'largely analogous' statements.\n\nThird, the gluing and integrability arguments in Section 5 rely on estimates imported from Hein without full proof. That's acceptable if the adaptation is straightforward, but it contributes to the conditional feel.\n\nOverall: the core construction is novel and the demonstrated cases are coherent. The paper isn't ready as written, but the issues are fixable. I'd send it to peer review and let the referees push for completeness.","headline":"Genuinely new construction of noncompact Calabi-Yau metrics on abelian fibered threefolds, with a solid core computation but a main theorem that overreaches the verified cases and a clear copy-paste error in the ALH section.","tokens_in":38084,"tokens_out":12098,"would_cite":true,"duration_ms":97433,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53C55","32Q25","14J32"],"pacs":[],"model":"deepseek-v4-flash","headline":"Deleting a matched singular fiber from a fiber product of two elliptic fibrations yields complete Ricci-flat Kähler metrics on noncompact threefolds.","keywords":["Calabi-Yau metrics","ALG metrics","ALH metrics","abelian fibrations","fiber products of elliptic fibrations","semi-flat ansatz","complex Monge-Ampère equation","canonical bundle"],"falsifier":"Compute the semi-flat ansatz explicitly for a finite-monodromy pair other than the representative ones treated in Section 4.3, such as $II\\times IV$ or $IV\\times II^*$, and check the four SOB($\\beta$) inequalities together with the curvature-bound estimate used to produce the $C^{3,\\alpha}$ quasi-atlas; if any listed combination fails these bounds, the perturbation theorem cannot be applied and that case of Theorem 4 collapses.","tokens_in":36917,"feed_emoji":"📐","tokens_out":8497,"duration_ms":78763,"temperature":0.7,"pith_summary":"The paper aims to show that a natural class of noncompact threefolds—the complement of a matched singular fiber in the fiber product of two rational elliptic fibrations—admits complete Ricci-flat Kähler metrics, i.e., Calabi-Yau metrics. This would extend the known elliptic-surface constructions to abelian-surface fibrations in one higher dimension, where the lack of a simple canonical-bundle formula previously blocked progress. The main theorem describes several possible asymptotic geometries: ALG cone angles determined by monodromy exponents, an ALH cylindrical end, and slower-growing cones with volume growth of orders $s^{3/2}$ and $s^2$. It also produces compactifications of these threefolds whose canonical bundle is a negative rational multiple of a fiber.","feed_headline":"Matched singular fibers yield complete Calabi-Yau metrics","feed_subtitle":"Removing one matching singular fiber from a fiber product gives Ricci-flat metrics with explicit cone or cylinder ends.","key_machinery":"The engine is the semi-flat ansatz on the fiber product. On a punctured disk the abelian fibration is written as $(\\Delta^*\\times\\mathbb{C}^2)/\\Lambda(z)$, with period lattice generated by multi-valued functions inherited from the two elliptic fibrations; the ansatz $\\omega_{sf,\\varepsilon}$ is built from the flat fiber metrics and the induced base metric, and in suitable coordinates becomes a flat cone or cylinder metric with small error terms. Two ingredients carry the weight: the classification table of singular fiber types, which fixes the order of the holomorphic volume form along the deleted fiber and the exponents $\\alpha,\\beta,k$ of the deck action, and a $\\partial\\bar\\partial$-lemma on the punctured neighborhood that allows the infinite-end ansatz to be glued to a global Kähler form. A standard noncompact complex Monge-Ampère perturbation scheme then converts the glued background into an exact Ricci-flat metric and records the decay and cone asymptotics.","core_discovery":"The central statement is Theorem 4. Let $X_i \\to \\mathbb{P}^1$ be two rational elliptic fibrations, each with one distinguished singular fiber $F_i$, with $F_1$ and $F_2$ lying over the same point and no other singular fibers coinciding. Form the fiber product $X = X_1 \\times_{\\mathbb{P}^1} X_2$ and delete $F = F_1 \\times F_2$. If both monodromies are finite, the deck action on the punctured neighborhood has the local form $(s,w_1,w_2)\\mapsto(\\zeta_k s,\\zeta_k^\\alpha h_1(s)w_1,\\zeta_k^\\beta h_2(s)w_2)$; for $\\alpha+\\beta>k$, the threefold $M$ carries an ALG Ricci-flat Kähler metric with cone angle $\\theta = 2(\\alpha+\\beta-k)\\pi/k$, and for $\\alpha+\\beta=k$ it carries an ALH Ricci-flat Kähler metric. If the fibers are of $I_b^*$ type, $M$ carries a complete Calabi-Yau metric with volume growth $\\sim s^{3/2}$ and unique tangent cone $\\mathbb{R}_+$; if one fiber is $I_b^*$ and the other is $II^*$, $III^*$, or $IV^*$, the volume growth is $\\sim s^2$ and the tangent cone is a metric cone of angle $2\\pi/3$, $\\pi/2$, or $\\pi/3$. In all cases the smooth locus admits a holomorphic volume form with a pole along $F$, and the natural compactification $\\widetilde{X}$ has canonical class a negative rational multiple of a fiber.","pith_inferences":["Inference: The same fiber-product ansatz should work for any pair of singular fiber types whose deck action produces exponents $\\alpha,\\beta$ and order $k$ satisfying the stated inequalities; systematically enumerating the finite-monodromy fiber types could yield a wider family of ALG cone angles than the representative pairs treated explicitly.","Inference: The isotrivial quotient models suggest a classification of cyclic automorphisms of abelian surfaces as possible sources of complete Calabi-Yau metrics, but the non-isotrivial fiber-product construction sidesteps the gluing failures that arise in those quotients; testing the unlisted finite-monodromy combinations would reveal whether the analogy is complete.","Inference: The $s^{3/2}$ and $s^2$ volume-growth metrics are natural candidates for direct asymptotic comparison with known complete Ricci-flat metrics on quasiprojective threefolds; a matching at infinity would indicate whether these constructions are new or isometric on overlaps."],"forward_implications":["The matched-fiber deletion yields complete Ricci-flat metrics in four distinct asymptotic regimes: ALG cones of several angles, an ALH cylindrical end, volume growth of order $s^{3/2}$ with tangent cone $\\mathbb{R}_+$, and volume growth of order $s^2$ with tangent cones of angles $2\\pi/3$, $\\pi/2$, $\\pi/3$.","Each of these noncompact threefolds admits a compactification whose canonical class is a negative rational multiple of a fiber, so the compactified variety has negative canonical bundle in that fractional sense.","The construction provides explicit holomorphic volume forms with controlled pole orders along the deleted fiber, giving strong asymptotic data for the resulting Calabi-Yau metrics.","The $I_b^*\\times I_b^*$ case produces volume growth of order $3/2$, matching the growth order of the classical complement-of-anticanonical-divisor construction in complex dimension three."],"supporting_citations":[{"why":"Supplies the rational-elliptic-surface construction, the semi-flat ansatz formula, and the noncompact Monge-Ampère perturbation package with its SOB and quasi-atlas criteria.","marker":"[2]"},{"why":"Supplies the classification and local models of singular fibers used to write down monodromy deck actions, period coordinates, and pole orders.","marker":"[7]"},{"why":"Gives the underlying method for solving the noncompact complex Monge-Ampère equation on complements of anticanonical divisors, cited for the quasi-atlas lemma.","marker":"[12]"},{"why":"Gives minimal models and canonical-bundle behavior of abelian surface fibrations, used to justify the compactification and negative-rational-canonical statements.","marker":"[1]"},{"why":"Provides the constant-polarization lemma used in the semi-flat metric setup on torus fibrations.","marker":"[4]"},{"why":"Supplies the definition and basic lemma for abelian fibered threefolds used in the introduction.","marker":"[9]"}],"fun_headline_variants":["Matched singular fibers produce complete Calabi-Yau metrics","Fiber product deletion yields Calabi-Yau metrics","Matching singular fibers gives explicit Calabi-Yau metrics","Complete Calabi-Yau metrics via matched fiber deletion","Deleting one matched fiber yields Calabi-Yau metrics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction requires the gluing ansatz of Section 5 to satisfy the complete-metric hypotheses (growth, curvature decay, and a $C^{3,\\alpha}$ quasi-atlas) for every listed fiber-type pair; the paper verifies these by hand for a few representative pairs and states the rest are analogous.","fun_headline_variants_meta":{"raw":{"variants":["Matched singular fibers produce complete Calabi-Yau metrics","Fiber product deletion yields Calabi-Yau metrics","Matching singular fibers gives explicit Calabi-Yau metrics","Complete Calabi-Yau metrics via matched fiber deletion","Deleting one matched fiber yields Calabi-Yau metrics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001106,"raw_usage":{"total_tokens":4602,"prompt_tokens":929,"completion_tokens":3673,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":545,"completion_tokens_details":{"reasoning_tokens":3593}},"tokens_in":545,"tokens_out":3673,"duration_ms":25220,"temperature":1.0,"reasoning_tokens":3593,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T14:31:12.292726+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the semi-flat ansatz explicitly for a finite-monodromy pair other than the representative ones treated in Section 4.3, such as $II\\times IV$ or $IV\\times II^*$, and check the four SOB($\\beta$) inequalities together with the curvature-bound estimate used to produce the $C^{3,\\alpha}$ quasi-atlas; if any listed combination fails these bounds, the perturbation theorem cannot be applied and that case of Theorem 4 collapses.","supporting_citations":[{"cited_title":"Princeton University, 2010","cited_arxiv_id":null,"evidence_quote":"Supplies the rational-elliptic-surface construction, the semi-flat ansatz formula, and the noncompact Monge-Ampère perturbation package with its SOB and quasi-atlas criteria."},{"cited_title":"On compact analytic surfaces: Ii.Annals of Mathematics, 77(3):563–626, 1963","cited_arxiv_id":null,"evidence_quote":"Supplies the classification and local models of singular fibers used to write down monodromy deck actions, period coordinates, and pole orders."},{"cited_title":"Complete K¨ ahler manifolds with zero Ricci curvature I.Journal of the American Mathematical Society, 3(3):579–609, 1990","cited_arxiv_id":null,"evidence_quote":"Gives the underlying method for solving the noncompact complex Monge-Ampère equation on complements of anticanonical divisors, cited for the quasi-atlas lemma."},{"cited_title":"Minimal models and degenerations of surfaces with Kodaira number zero.Transactions of the American Mathematical Society, 343(2):525–558, 1994","cited_arxiv_id":null,"evidence_quote":"Gives minimal models and canonical-bundle behavior of abelian surface fibrations, used to justify the compactification and negative-rational-canonical statements."},{"cited_title":"Remarks on the collapsing of torus fibered Calabi–Yau manifolds","cited_arxiv_id":null,"evidence_quote":"Provides the constant-polarization lemma used in the semi-flat metric setup on torus fibrations."},{"cited_title":"A note on moderate abelian fibrations.Contemporary Mathematics, 207:101–118, 1997","cited_arxiv_id":null,"evidence_quote":"Supplies the definition and basic lemma for abelian fibered threefolds used in the introduction."}],"review_version":1}