Pith. sign in

REVIEW 2 major objections 6 minor 16 references

Complete Calabi-Yau metrics on noncompact abelian fibered threefolds

T0 review · 2 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Deleting a matched singular fiber from a fiber product of two elliptic fibrations yields complete Ricci-flat Kähler metrics on noncompact threefolds.

desk verdict 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. read the letter →

arxiv 2501.15205 v2 pith:UQQKEFKQ submitted 2025-01-25 math.DG math.AG

Ruiming Liang , Yang Zhang This is my paper · ORCID
classification math.DGmath.AG MSC 53C2553C5532Q2514J32
keywords Calabi-YaumetricsALGALHabelianfibrationsfiberproductsofellipticsemi-flatansatzcomplexMonge-Ampèreequationcanonicalbundle
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

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.

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 (2)
  1. [§4.3(1d)] 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'.
  2. [Theorem 4 and §4.3] 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.
minor comments (6)
  1. [§4.3(1c)] 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.
  2. [§4.3(1d)] In the deck transformation A for the (III,III*) case, the expression '1+26m2' in the w2-factor should presumably be '1+s^{2m2}'.
  3. [§3, Lemma 5] 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.
  4. [§5, Proposition 2] 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.
  5. [§4.3(3b)] 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.
  6. [Theorem 4(1)] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction uses external PDE package and free parameters chosen to satisfy its hypotheses; the noted inconsistencies are correctness issues, not circularity.

full rationale

The derivation chain is not circular. Local singular-fiber models are taken from Kodaira's classification and Hein's thesis; the semi-flat ansatz (6) is computed from the period data τ_i(z); the holomorphic volume form is obtained by Poincaré residue from the fiber-product structure; and the global gluing in Section 5 produces ω0(α,t) via the ∂∂-lemma. The parameters are not fitted to the claimed conclusions: t is chosen large enough to ensure positivity, and α is chosen by a monotonicity argument to satisfy the integrability condition ∫(ω0(α,t)^3 − α iΩ∧Ω̄)=0. Neither parameter is set equal to the asymptotic angle or volume growth appearing in Theorem 4; those asymptotics are instead read off from the constructed ansatz and transferred to the PDE solution by the external Tian–Yau–Hein package (Theorems 6 and 7). There are no self-citations by the authors, and no uniqueness theorem is imported from their own prior work. The main caveats are completeness concerns rather than circularity: Section 4.3 states that 'the analysis is largely analogous across all these cases' without individually verifying every fiber-type combination, and the (III,III*) ALH calculation in §4.3(1d) appears to mix the z=s^{12} coordinate formulas from the preceding II*×III* case with order-four exponents z^{3/4}, z^{1/4}. These are potential proof gaps or typographical inconsistencies, but they do not make any claimed result identical to an input by construction; the existence of the Calabi-Yau metrics still depends on the external PDE theorem applied to an explicitly constructed ansatz.

Assumptions & free parameters 4 free parameters · 6 assumptions · 0 invented entities

The construction imports substantial prior machinery: Kodaira's elliptic fibration classification, Hein's semi-flat ansatz, and the Tian-Yau-Hein nonlinear PDE package. These are external benchmarks, not self-referential inputs, so they do not add circularity burden. The new ingredients are the fiber-product setup, the Poincaré-residue volume form, and the parametrized gluing in Section 5. The main unverified structural assumptions are the extension from representative cases to all cases in Theorem 4 and the trivial-normal-bundle assertion in Lemma 6.

free parameters (4)
  • ε = arbitrary positive real
    Volume scale of the torus fibers in the semi-flat ansatz (Corollary 2). The construction produces a metric for any ε; it is not fitted to a target.
  • α = chosen via I(α,t(α))=0
    Scaling of the volume form in the glued ansatz ω0(α,t) in Section 5. It is adjusted to satisfy the integrability condition, not fitted to external data.
  • t = chosen sufficiently large, t>t_α
    Base-scaling parameter in ω0(α,t) used to maintain positivity in the gluing annulus. It is chosen by hand; no external target.
  • a = sufficiently small
    Smoothing parameter in the cutoff Eguchi-Hanson potentials in Lemma 6; chosen small to preserve the Kähler condition after gluing.
assumptions (6)
  • standard math Kodaira's classification of elliptic singular fibers, including local models, monodromy actions, and the canonical bundle formula.
    Invoked throughout Section 4.2 and used to set up the local ansatz and to compute the multiplicity of the holomorphic volume form.
  • domain assumption The Tian-Yau-Hein package (Theorems 6 and 7): existence and asymptotic regularity for the noncompact complex Monge-Ampere equation under SOB(β) and HMG conditions.
    Used as a black box in Section 5 and Appendix A to perturb the ansatz into an exact Calabi-Yau metric. Imported from [2] and [12].
  • domain assumption The fiber product X = X1 ×_{P1} X2 has a natural relatively minimal compactification eX with a well-defined canonical divisor computed by the pole order of the Poincaré-residue volume form, despite X being non-normal in the II*, III*, IV*, I*_b cases.
    Central to the compactification statements in Theorem 4; the paper explicitly notes in Remark 6 that X may be non-normal and that K_X is not defined.
  • domain assumption For non-isolated fixed loci arising in Lemma 6, all one-dimensional fixed loci have trivial normal bundles, allowing local product gluing.
    Stated in Lemma 6: 'A similar argument applies to other cases because all the dimension 1 fixed loci have trivial normal bundles.' Not proved in detail.
  • standard math H^2(T^4,Z) ≅ Z^6 and the Leray spectral sequence identification H^1(X|Δ*,O) ≅ H^0(Δ*,R^1 f_* O) used in the ∂∂-lemma.
    Used in Section 5 to reduce ∂∂-exactness to choosing holomorphic sections; relies on Δ* being Stein and Cartan's Theorem B.
  • domain assumption The estimates from Hein's thesis (Lemma 7 and Chapter 5 Claims 2-4) transfer to the abelian fibered case 'after modifications'.
    Stated in Section 5: 'Hein's proof ... applies to our example after modifications.' These estimates control positivity and integrability of the glued metric.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Complete Calabi-Yau metrics on noncompact abelian fibered threefolds." pith.science (2026). https://pith.science/paper/UQQKEFKQ

@misc{pith2026250115205,
  author       = {Pith},
  title        = {Pith review of: Complete Calabi-Yau metrics on noncompact abelian fibered threefolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UQQKEFKQ}},
  note         = {Machine review of arXiv:2501.15205}
}
abstract

In this article, we construct complete Calabi-Yau metrics on abelian fibrations $X$ over $\mathbb{C}$. We also provide compactification for $X$ so that the compactified variety has negative canonical bundle.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

  1. [1]

    Minimal models and degenerations of surfaces with Kodaira number zero.Transactions of the American Mathematical Society, 343(2):525–558, 1994

    Bruce Crauder and David R Morrison. Minimal models and degenerations of surfaces with Kodaira number zero.Transactions of the American Mathematical Society, 343(2):525–558, 1994

    work page 1994

  2. [2]

    Princeton University, 2010

    Hans-Joachim Hein.On gravitational instantons. Princeton University, 2010

    work page 2010

  3. [3]

    Asymptotically Calabi metrics and weak Fano manifolds

    Hans-Joachim Hein, Song Sun, Jeff Viaclovsky, and Ruobing Zhang. Asymptotically Calabi metrics and weak Fano manifolds.arXiv preprint arXiv:2111.09287, 2021

    work page Pith review arXiv 2021

  4. [4]

    Remarks on the collapsing of torus fibered Calabi–Yau manifolds

    Hans-Joachim Hein and Valentino Tosatti. Remarks on the collapsing of torus fibered Calabi–Yau manifolds. Bulletin of the London Mathematical Society, 47(6):1021–1027, 2015

    work page 2015

  5. [5]

    Dominic D. Joyce. Quasi-ALE metrics with holonomy SU(m) and Sp(m).Annals of Global Analysis and Ge- ometry, 19:103–132, 2001

    work page 2001

  6. [6]

    Fiber products of elliptic surfaces with section and associated Kum- mer fibrations.International Journal of Mathematics, 20(04):401–426, 2009

    Grzegorz Kapustka and Micha l Kapustka. Fiber products of elliptic surfaces with section and associated Kum- mer fibrations.International Journal of Mathematics, 20(04):401–426, 2009

    work page 2009

  7. [7]

    On compact analytic surfaces: Ii.Annals of Mathematics, 77(3):563–626, 1963

    Kunihiko Kodaira. On compact analytic surfaces: Ii.Annals of Mathematics, 77(3):563–626, 1963

    work page 1963

  8. [8]

    PhD thesis, Dissertation, Universit¨ at Freiburg, 2019, 2019

    Jørgen Olsen Lye.Stable geodesics on a K3 surface. PhD thesis, Dissertation, Universit¨ at Freiburg, 2019, 2019. COMPLETE CALABI-YAU METRICS ON NONCOMPACT ABELIAN FIBERED THREEFOLDS 41

    work page 2019

Show all 16 references
  1. [9]

    A note on moderate abelian fibrations.Contemporary Mathematics, 207:101–118, 1997

    Keiji Oguiso. A note on moderate abelian fibrations.Contemporary Mathematics, 207:101–118, 1997

    1997

  2. [10]

    Minimal resolutions of Gorenstein orbifolds in dimension three.Topology, 35(2):489–508, 1996

    Shi-Shyr Roan. Minimal resolutions of Gorenstein orbifolds in dimension three.Topology, 35(2):489–508, 1996

    1996

  3. [11]

    On fiber products of rational elliptic surfaces with section.Mathematische Zeitschrift, 197:177– 199, 1988

    Chad Schoen. On fiber products of rational elliptic surfaces with section.Mathematische Zeitschrift, 197:177– 199, 1988

    1988

  4. [12]

    Complete K¨ ahler manifolds with zero Ricci curvature I.Journal of the American Mathematical Society, 3(3):579–609, 1990

    Gang Tian and Shing-Tung Yau. Complete K¨ ahler manifolds with zero Ricci curvature I.Journal of the American Mathematical Society, 3(3):579–609, 1990

    1990

  5. [13]

    On fiber spaces of normally polarized abelian varieties of dimension 2, I.Journal of the Faculty of Science

    Kenji Ueno. On fiber spaces of normally polarized abelian varieties of dimension 2, I.Journal of the Faculty of Science. University of Tokyo, 17:37–95, 1971

    1971

  6. [14]

    On fiber spaces of normally polarized abelian varieties of dimension 2, II.Journal of the Faculty of Science

    Kenji Ueno. On fiber spaces of normally polarized abelian varieties of dimension 2, II.Journal of the Faculty of Science. University of Tokyo, 17:163–199, 1972

    1972

  7. [15]

    Ricci-flat manifolds of generalized ALG asymptotics.arXiv preprint arXiv:2212.11267, 2022

    Yuanqi Wang. Ricci-flat manifolds of generalized ALG asymptotics.arXiv preprint arXiv:2212.11267, 2022

    2022 arXiv

  8. [16]

    On the ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp´ ere equa- tion, i.Communications on pure and applied mathematics, 31(3):339–411, 1978

    Shing-Tung Yau. On the ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp´ ere equa- tion, i.Communications on pure and applied mathematics, 31(3):339–411, 1978. (R. Liang)Peking University Email address:2201110017@stu.pku.edu.cn (Y. Zhang)Nanjing Univers...

    1978

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.