REVIEW 2 major objections 3 minor 50 references
The paper establishes a sharp dichotomy for log Calabi-Yau manifolds: a smooth boundary divisor preserves compact-CY behavior, while two proportional boundary divisors break all four classical properties and make the universal cover of infi
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
For log Calabi-Yau pairs, a smooth boundary gives holonomy SU(n), Bochner principle, and stability, while two boundary components break all three and make the universal cover non-compactifiable.
T0 review reviewed 2026-08-04 challenge →
load-bearing objection A very solid paper on log CY manifolds; main theorems are new and well-proved, but the key non-compactifiability claim relies on an external local computation that is misstated for n≠4 and should be fixed before publication. the 2 major comments →
Log Calabi--Yau manifolds: holomorphic tensors, stability and universal cover
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The central discovery is a structural dichotomy. In the one-divisor case ($X$ Fano, $D$ smooth anticanonical), the complete Ricci-flat metric of Tian-Yau type behaves like a compact Calabi-Yau metric: the holonomy is the full special unitary group, every holomorphic tensor with logarithmic poles is parallel, and the logarithmic tangent bundle $T_X(-\log D)$ is stable with respect to $-K_X$. In the two-divisor case, with $D=D_1+D_2$ and the two components numerically proportional, the complete Ricci-flat metric of Collins-Li type also has $\mathrm{SU}(n)$ holonomy, yet each of the four classical consequences fails. The strongest statement is Theorem 4.14: for $n$ at least 3, if $D_1$ and $D_2$ are smooth transverse hype
What carries the argument
The two load-bearing constructions are the complete Ricci-flat metrics. For one smooth divisor, the metric has subquadratic volume growth and model asymptotics near the divisor; its asymptotics force any parallel intermediate-degree $p$-form on any finite cover to vanish, which yields full $\mathrm{SU}(n)$ holonomy and the Bochner principle. For two divisors, the metric is asymptotically a homogeneous optimal-transport solution on $(\mathbb{R}_{>0})^2$ with volume growth $R^{4n/(n+2)}$. The universal-cover result uses the quasi-Albanese fibration $f = s_1/s_2: M \to \mathbb{C}^*$, its infinite cyclic cover obtained by pulling back the exponential map $\mathbb{C} \to \mathbb{C}^*$, and the vanishing cycle in a Lefschetz pencil. The key mechanism is to
Load-bearing premise
The claim that the universal cover has infinite rank middle homology relies on an unpublished local asymptotic computation near an ordinary double point, namely that the integral of the volume form over the vanishing cycle behaves like a nonzero constant times $t$ as $t \to 0$; if that computation is wrong, the homological independence argument does not go through.
What would settle it
Compute directly, for the pencil of quadrics in $\mathbb{P}^3$ cut out by two smooth quadrics, the period integral $h(t) = $ integral over the vanishing cycle of the pulled-back holomorphic volume form as $t \to 0$. If the leading coefficient $\alpha$ in $h(t) \sim \alpha t$ were zero, the exponential-period integrals would no longer separate the cycles $L_k$, and the infinite-rank conclusion of Theorem 4.14 would fail.
If this is right
- For a smooth anticanonical divisor in a Fano manifold, every holomorphic section of a logarithmic tensor bundle is parallel for the complete Ricci-flat metric, and the space of such tensors is exactly the SU(n)-invariant subspace at a point.
- The logarithmic tangent bundle T_X(-log D) is stable with respect to -K_X when D is smooth, while for two proportional components it is only semistable and its Jordan-Hölder filtration can be described explicitly.
- The universal cover of P^n minus two transverse hypersurfaces of degrees summing to n+1 has infinite rank in middle homology, and therefore cannot be realized as a Zariski open set in any compact complex manifold.
- The asymptotic geometry of the universal cover is explicit: its tangent cone at infinity is (R_{>0})^2 times R with a warped product metric, and its volume growth is R^{6n/(n+2)}.
- The quasi-Albanese map in the two-component case is not locally trivial; for very general hypersurfaces of high degree, two general fibers need not even be birational to each other.
Where Pith is reading between the lines
- The dichotomy suggests that holonomy SU(n) alone is too coarse to define a non-compact analogue of an irreducible Calabi-Yau manifold: the two-divisor examples have full SU(n) holonomy yet violate the Bochner principle, stability, and compactifiability.
- The construction of homologically independent cycles by parallel transporting a vanishing cycle along an infinite cyclic cover may apply to other fibrations over C* with a degenerate fiber, as the paper itself notes that only one fiber with an ordinary double point is needed.
- The volume-growth distinction (subquadratic for one divisor, superquadratic for two) could serve as a testable heuristic: subquadratic growth may force the Bochner principle, while superquadratic growth permits non-parallel closed holomorphic forms.
- The exponential-period separation method used to prove independence of the cycles L_k resembles a period-integral argument that might be adapted to other complete Calabi-Yau metrics built from logarithmic pairs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies log Calabi-Yau pairs (X,D), i.e. log smooth pairs with K_X+D=0, in two configurations: D smooth (Tian-Yau metric) and D=D1+D2 with D1,D2 proportional (Collins-Li metric). In the smooth-divisor case it proves SU(n) holonomy for the complete Tian-Yau metric, a Bochner principle for logarithmic tensor bundles, and stability of T_X(-log D). In the two-divisor case it identifies the quasi-Albanese map with a Lefschetz pencil, shows non-local triviality and non-polystability of T_X(-log D), determines the asymptotic tangent cone and volume growth of the universal cover, and constructs examples (complements of two transverse hypersurfaces in P^n of degrees summing to n+1) whose universal cover has infinite topological type, in particular infinite-rank middle homology, hence cannot be a Zariski open set in a compact complex manifold.
Significance. If the main theorems hold, the paper draws a striking contrast between the two Log Calabi-Yau settings: the smooth-anticanonical case behaves like the compact Calabi-Yau case (Bochner, stability, finite fundamental group), while the two-component case violates all these properties and yields the first algebraic examples of Calabi-Yau universal covers of infinite topological type with complete Ricci-flat metrics. The proofs are largely self-contained and use established machinery: holonomy classification, Bochner techniques, Collins-Li asymptotics, and Lefschetz vanishing cycles. The paper also gives a useful description of the Riemannian geometry at infinity. However, one of the two families of examples in Theorem 4.14 rests on an unproven and dimensionally inconsistent local period estimate, and the statement of Theorem 4.14 is broader than what the proof actually establishes.
major comments (2)
- [§4.3, Claim 4.17] The nonvanishing integral ∫_L τΩ is load-bearing for Claim 4.18 and hence for Theorem 4.14. The proof invokes the asymptotic h(t)∼αt, α≠0, as t→0, with a reference to [Col25, Section 4]. For the standard local model f=Σ_{i=1}^n z_i^2 on C^n, with Ω=dz_1∧...∧dz_n and L_t={|x|^2=t, y=0}, the residue period ∫_{L_t} Ω/df scales as t^{(n-2)/2}; it is proportional to t only for n=4 (e.g. n=3 gives √t). Thus the estimate as stated is not scale-consistent for general n≥3. The contradiction argument in Claim 4.17 would still work with any nonzero leading term αt^p, p>0, so the theorem is likely repairable, but the central nonvanishing step is currently not established in the paper.
- [§4.3, Theorem 4.14] The theorem is stated for arbitrary smooth transverse D1,D2 in the cases (d1,d2)=(1,n) and d1=d2=(n+1)/2 with n odd. However, the proof of the equal-degree case begins 'Since D1,D2 are general, each fiber ... has a single ordinary double point singularity.' The statement does not include a generality assumption, and no degeneration argument is supplied. As written, the proof only covers general hypersurfaces; either the theorem statement must be amended to include 'general', or the proof must be extended to all smooth transverse pairs. This is a genuine gap between statement and proof.
minor comments (3)
- [Lemma 2.4] The hypothesis says 'assume additionally that k=1', but the statement concerns the two-divisor case; it should read k=2.
- [§3.2, proof of Theorem 3.4] There are stray symbols in the displayed integration after equation (3.3) ('2 Z X χR|∇f|^2'); the intended displayed equation should be cleaned up.
- [§4.3, Claim 4.18] The displayed identity for ∫_{L_k} e^{s bf} bΩ contains an apparent typo: the right-hand side has ε^{s bf} where it should be e^{s bf}. More importantly, the identity depends on the Galois action shifting bf by k, which is used to conclude that the holomorphic function Σ a_k e^{sk} vanishes; this should be spelled out for the reader.
Circularity Check
No circular reduction: central results derive from external existence theorems and standard topology; the only same-author citation is for a local period computation, not a target-equivalent input.
full rationale
The paper's derivation chain is self-contained modulo standard external theorems. Theorem A uses the Tian–Yau metric and its asymptotics to prove holonomy SU(n), then derives Bochner and stability; Theorem B uses the identification of the quasi-Albanese map with the pencil f=s1/s2, the existence of singular fibers, and Proposition 2.7; Theorem C uses the Collins–Li asymptotic model and standard holonomy arguments; Theorem 4.14 uses topological properties of Lefschetz pencils, Ehresmann triviality, and homological independence arguments. No fitted parameter is renamed as a prediction, and no quantity is defined in terms of the result it is supposed to establish. The one load-bearing same-author citation is in Claim 4.17, where the local period asymptotics h(t) ~ α t near an ordinary double point is delegated to [Col25, Section 4]. This is a standard local residue computation, not a statement equivalent to the theorem being proved; even if the printed exponent were scale-inconsistent for general n, the argument only needs h(t) nonzero near t=0, so the issue is a correctness risk, not circularity. The other self-citations ([CL24b], [CTY24]) supply external, parameter-free existence/asymptotic results, not the paper's own conclusions. Consequently, the circularity score is 0.
Axiom & Free-Parameter Ledger
axioms (6)
- standard math Existence of the complete Tian-Yau Ricci-flat Kähler metric omega_TY on X\D for X Fano and D smooth anticanonical, with the asymptotic model (3.1).
- standard math Existence of the complete Collins-Li Ricci-flat Kähler metric omega_CL on X\(D1 union D2) with the stated asymptotics (generic region (4.4), non-generic region (4.5), polynomial decay).
- standard math Local vanishing-cycle asymptotic: for the Lefschetz pencil, the period integral satisfies h(t) ~ alpha t as t approaches 0, with alpha nonzero.
- standard math Berger-Simons holonomy classification for Riemannian manifolds.
- standard math Nori's theorem on fundamental groups of complements of ample divisors.
- standard math Stable irrationality of very general hypersurfaces of degree d >= log_2(n-1)+2 in P^n (Schreieder [Sch19], Shinder [Shi22]).
Cite this review
Pith. "Pith review of Log Calabi--Yau manifolds: holomorphic tensors, stability and universal cover." pith.science (2026). https://pith.science/paper/TY66KYTJ
@misc{pith2026250907508,
author = {Pith},
title = {Pith review of: Log Calabi--Yau manifolds: holomorphic tensors, stability and universal cover},
year = {2026},
howpublished = {\url{https://pith.science/paper/TY66KYTJ}},
note = {Machine review of arXiv:2509.07508}
}
abstract
We study various geometric properties of log Calabi-Yau manifolds, i.e. log smooth pairs $(X,D)$ such that $K_X+D=0$. More specifically, we focus on the two cases where $X$ is a Fano manifold and $D$ is either smooth or has two proportional components. Despite the existence of a complete Ricci flat K\"ahler metric on $X\setminus D$ in both cases, we will show that the geometric properties of the pair $(X,D)$ are vastly different, e.g. validity of Bochner principle, local triviality of the quasi-Albanese map, polystability of $T_X(-\log D)$ and compactifiability of the universal cover of $X\setminus D$. When $D$ has two components we show that the universal cover of $X\setminus D$ is a Calabi-Yau manifold of infinite topological type, and we describe the geometry at infinity from a Riemannian point of view.
Reference graph
Works this paper leans on
-
[1]
M. T. Anderson, P. B. Kronheimer C. LeBrun -- Complete Ricci -flat K \"a hler manifolds of infinite topological type , Commun. Math. Phys. 125 (1989), no. 4, p. 637--642 (English)
work page 1989
-
[2]
Ambro -- The moduli b -divisor of an lc-trivial fibration , Compos
F. Ambro -- The moduli b -divisor of an lc-trivial fibration , Compos. Math. 141 (2005), no. 2, p. 385--403
work page 2005
-
[3]
Beauville -- Vari\' e t\' e s K \" a hleriennes dont la premi\` e re classe de C hern est nulle , J
A. Beauville -- Vari\' e t\' e s K \" a hleriennes dont la premi\` e re classe de C hern est nulle , J. Differential Geom. 18 (1983), no. 4, p. 755--782 (1984)
work page 1983
-
[4]
A. L. Besse -- Einstein manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 10, Springer-Verlag, Berlin, 1987, DOI:10.1007/978-3-540-74311-8 http://dx.doi.org/10.1007/978-3-540-74311-8
-
[5]
A strong counterexample to the log canonical Beauville--Bogomolov decomposition
F. Bernasconi, S. Filipazzi, Z. Patakfalvi N. Tsakanikas -- A strong counterexample to the log canonical Beauville -- Bogomolov decomposition (with an appendix by N. Müller ) , Preprint arXiv:2407.17260 http://arxiv.org/abs/2407.17260, 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
- [6]
-
[7]
S. Brendle -- Ricci flat K \"a hler metrics with edge singularities , International Mathematics Research Notices 24 (2013), p. 5727--5766
work page 2013
-
[8]
R. L. Bryant -- Some examples of special L agrangian tori , Adv. Theor. Math. Phys. 3 (1999), no. 1, p. 83--90
work page 1999
-
[9]
B. Claudon, P. Graf, H. Guenancia P. Naumann -- K\" a hler spaces with zero first C hern class: B ochner principle, A lbanese map and fundamental groups , J. Reine Angew. Math. 786 (2022), p. 245--275
work page 2022
-
[10]
F. Campana, H. Guenancia M. P a un -- Metrics with cone singularities along normal crossing divisors and holomorphic tensor fields , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 46 (2013), no. 6, p. 879--916
work page 2013
-
[11]
S.-K. Chiu Y.-S. Lin -- Special lagrangian submanifolds in K3 -fibered Calabi-Yau 3-folds , Preprint 2410.17662 https://arxiv.org/abs/2410.17662, 2024
Pith/arXiv arXiv 2024
-
[12]
T. C. Collins Y. Li -- Complete Calabi - Yau metrics in the complement of two divisors , Duke Math. J. 173 (2024), no. 18, p. 3559--3604 (English)
work page 2024
-
[13]
T. C. Collins -- An introduction to conifold transitions , Preprint arXiv:2509.01002 https://arxiv.org/abs/2509.01002, 2025
Pith/arXiv arXiv 2025
-
[14]
T. C. Collins, F. Tong S.-T. Yau -- A free boundary Monge-Amp\`ere equation and applications to complete Calabi-Yau metrics , Preprint arXiv:2402.10111 https://arxiv.org/abs/2402.10111, 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[15]
S. Druel -- A decomposition theorem for singular spaces with trivial canonical class of dimension at most five , Invent. Math. 211 (2018), no. 1, p. 245--296
work page 2018
-
[16]
P. Eyssidieux, V. Guedj A. Zeriahi -- Singular K \"a hler-Einstein metrics , J. Amer. Math. Soc. 22 (2009), p. 607--639
work page 2009
- [17]
-
[18]
O. Fujino -- On quasi- Albanese maps , Preprint arXiv:2402.04595 https://arxiv.org/abs/2402.04595, 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[19]
D. Greb, H. Guenancia S. Kebekus -- Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups , Geom. Topol. 23 (2019), p. 2051--2124
work page 2019
-
[20]
D. Greb, S. Kebekus T. Peternell -- Singular spaces with trivial canonical class , in Minimal Models and Extremal Rays, Kyoto, 2011, Adv. Stud. Pure Math., vol. 70, Mathematical Society of Japan, Tokyo, 2016, p. 67--113
work page 2011
-
[21]
Goto -- On hyper- K \"ahler manifolds of type A_ , Geom
R. Goto -- On hyper- K \"ahler manifolds of type A_ , Geom. Funct. Anal. 4 (1994), no. 4, p. 424--454
work page 1994
-
[22]
, On hyper- K \"ahler manifolds of type A_ and D_ , Comm. Math. Phys. 198 (1998), no. 2, p. 469--491
work page 1998
-
[23]
H. Guenancia M. P a un -- Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors , J. Differential Geom. 103 (2016), no. 1, p. 15--57
work page 2016
-
[24]
Grauert -- On Levi 's problem and the imbedding of real-analytic manifolds , Ann
H. Grauert -- On Levi 's problem and the imbedding of real-analytic manifolds , Ann. Math. (2) 68 (1958), p. 460--472 (English)
work page 1958
-
[25]
H. Guenancia B. Taji -- Orbifold stability and Miyaoka - Yau inequality for minimal pairs , Geom. Topol. 26 (2022), no. 4, p. 1435--1482 (English)
work page 2022
-
[26]
H. Guenancia -- Semistability of the tangent sheaf of singular varieties , Algebraic Geometry 3 (2016), no. 5, p. 508--542
work page 2016
-
[27]
Hattori -- The volume growth of hyper- K \"ahler manifolds of type A_ , J
K. Hattori -- The volume growth of hyper- K \"ahler manifolds of type A_ , J. Geom. Anal. 21 (2011), no. 4, p. 920--949
work page 2011
-
[28]
Hironaka -- Triangulations of algebraic sets , Algebraic Geom ., Proc
H. Hironaka -- Triangulations of algebraic sets , Algebraic Geom ., Proc . Symp . Pure Math . 29, Arcata 1974, 165-185 (1975)., 1975
work page 1974
- [29]
-
[30]
A. H\" o ring T. Peternell -- Algebraic integrability of foliations with numerically trivial canonical bundle , Invent. Math. 216 (2019), no. 2, p. 395--419
work page 2019
- [31]
-
[32]
Huybrechts -- The geometry of cubic hypersurfaces, Cambridge Studies in Advanced Mathematics, vol
D. Huybrechts -- The geometry of cubic hypersurfaces, Cambridge Studies in Advanced Mathematics, vol. 206, Cambridge University Press, Cambridge, 2023
work page 2023
-
[33]
T. Jeffres, R. Mazzeo Y. A. Rubinstein -- K\"ahler- E instein metrics with edge singularities , Ann. of Math. (2) 183 (2016), no. 1, p. 95--176, with an Appendix by C. Li and Y. Rubinstein
work page 2016
-
[34]
Kawamata -- Characterization of abelian varieties , Compositio Math
Y. Kawamata -- Characterization of abelian varieties , Compositio Math. 43 (1981), no. 2, p. 253--276
work page 1981
-
[35]
Libgober -- Homotopy groups of the complements to singular hypersurfaces
A. Libgober -- Homotopy groups of the complements to singular hypersurfaces. II , Ann. Math. (2) 139 (1994), no. 1, p. 117--144 (English)
work page 1994
-
[36]
M. V. Nori -- Zariski's conjecture and related problems , Ann. Sci. \'Ecole Norm. Sup. (4) 16 (1983), no. 2, p. 305--344
work page 1983
-
[37]
M. P a un -- Regularity properties of the degenerate Monge-Amp \`e re equations on compact K \"a hler manifolds. , Chin. Ann. Math., Ser. B 29 (2008), no. 6, p. 623--630
work page 2008
-
[38]
J. V. Pereira -- Closed meromorphic 1-forms , in Handbook of geometry and topology of singularities V: foliations, Cham: Springer, 2024, p. 447--499 (English)
work page 2024
-
[39]
Peternell -- Minimal varieties with trivial canonical classes
T. Peternell -- Minimal varieties with trivial canonical classes. I , Math. Z. 217 (1994), no. 3, p. 377--405 (English)
work page 1994
-
[40]
A. Putman -- Smith theory and Bredon homology , available on the author's website https://academicweb.nd.edu/ andyp/notes/SmithTheory.pdf at the address https://academicweb.nd.edu/ andyp/notes/SmithTheory.pdf
-
[41]
Schreieder -- Stably irrational hypersurfaces of small slopes , J
S. Schreieder -- Stably irrational hypersurfaces of small slopes , J. Amer. Math. Soc. 32 (2019), no. 4, p. 1171--1199
work page 2019
-
[42]
Shimada -- On the fundamental group of the complement of a divisor in a homogeneous space , Math
I. Shimada -- On the fundamental group of the complement of a divisor in a homogeneous space , Math. Z. 220 (1995), no. 3, p. 445--448 (English)
work page 1995
-
[43]
E. Shinder -- Variation of stable birational types of hypersurfaces , in Recent developments in algebraic geometry. To Miles Reid for his 70th birthday, Cambridge: Cambridge University Press, 2022, p. 296--313 (English)
work page 2022
-
[44]
J. Song X. Wang -- The greatest R icci lower bound, conical E instein metrics and C hern number inequality , Geom. Topol. 20 (2016), no. 1, p. 49--102
work page 2016
- [45]
-
[46]
, Complete K \" a hler manifolds with zero R icci curvature. II , Invent. Math. 106 (1991), no. 1, p. 27--60
work page 1991
-
[47]
S.-T. Yau -- On the R icci curvature of a compact K \"a hler manifold and the complex M onge- A mp \`e re equation. I , Comm. Pure Appl. Math. 31 (1978), no. 3, p. 339--411
work page 1978
-
[48]
, Problem section of the seminar in differential geometry at Tokyo , Semin. differential geometry, Ann . Math . Stud . 102, 669-706 (1982)., 1982
work page 1982
-
[49]
, Nonlinear analysis in geometry , Enseign. Math. (2) 33 (1987), p. 109--158 (English)
work page 1987
-
[50]
J. Zhang -- Hermitian- Yang - Mills connections on some complete non-compact K \"a hler manifolds , Math. Ann. 390 (2024), no. 3, p. 4535--4575 (English)
work page 2024
This paper was first reviewed by deepseek-v4-flash on August 4, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.