REVIEW 3 major objections 4 minor 2 cited by
Gromov-Hausdorff limits of collapsing Calabi-Yau fibrations
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Calabi-Yau collapse limit is the base, singular locus codimension 2
desk verdict Proves the Tosatti conjecture modulo an unproved analytic transfer in Section 3; Proposition 13 needs a real proof before Theorem 2 is fully established. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the metric completion $\hat X$ of $(X^\circ,\omega_{\mathrm{can}})$ equipped with the measure $\omega_{\mathrm{can}}^n$. The load-bearing mechanism is the RCD$(K,2n)$ condition, a synthetic Riemannian Ricci-curvature lower bound for metric measure spaces; the paper transfers this structure from the Ricci-flat manifolds $(M,\omega_t)$ to $\hat X$ via measured Gromov-Hausdorff convergence. Once RCD is available, the proof uses a strict positivity result to approximate the singular metric $\omega$ locally by smooth Kähler metrics with Ricci curvature bounded below, and then uses a theorem on Gromov-Hausdorff limits of such metrics (Proposition 9) to produce holomorphic charts around almost regular points. These charts separate points of $\hat X$ and control which tangent cones can occur, yielding both the homeomorphism and the dimension bounds.
What would settle it
A reader could settle the weakest step by taking an explicit collapsing fibration, such as an elliptic fibration over a singular surface, and checking whether the $W^{1,2}$ eigenfunctions on $(X^\circ,\omega_{\mathrm{can}})$ are Lipschitz; if a non-Lipschitz eigenfunction appears, the RCD bridge to Theorem 2 breaks. A more direct falsifier would be any semiample fibration whose Gromov-Hausdorff limit has Hausdorff dimension of $X\setminus X^\circ$ larger than $2n-2$ or is not homeomorphic to $X$.
Extended reading notes
Core claim
The central claim is Theorem 2: the Gromov-Hausdorff limit $(Z,d_Z)$ of a collapsing family of Calabi-Yau metrics is homeomorphic to the base $X$ of the fibration, and the Hausdorff dimensions of the singular loci satisfy $\dim_H(X\setminus X_{\mathrm{reg}})\le 2n-4$ and $\dim_H(X\setminus X^\circ)\le 2n-2$, where $n=\dim_{\mathbb C}X$. The proof passes through a more general statement, Theorem 3: for any singular Kähler space $X$ satisfying three analytic conditions on its smooth open set, if the metric completion $\hat X$ is an RCD$(K,2n)$ space, then $\hat X$ is homeomorphic to $X$ and the same dimension estimates hold. The paper then shows the collapsing Calabi-Yau setting satisfies these hypotheses by proving the completion of $(X^\circ,\omega_{\mathrm{can}})$ is an RCD$(0,2n)$-space, and it obtains the same conclusions for the canonical-model and continuity-method setting in Theorem 15.
Load-bearing premise
The proof depends on the claim that the eigenfunctions used to define the synthetic Ricci-bound structure on the smooth part extend to Lipschitz functions on the whole limit, a transfer from the limit space back to the incomplete smooth part that the paper states follows from standard convergence results but does not write out.
Editorial extensions
If this is right
- The long-standing collapse-limit conjecture is true in full generality: the Gromov-Hausdorff limit is the base variety itself, not an exotic quotient.
- The same homeomorphism and dimension conclusions hold for any singular Kähler space satisfying the paper's three conditions together with the RCD assumption.
- The dimension bounds describe the singular set precisely: $X\setminus X_{\mathrm{reg}}$ has Hausdorff dimension at most $2n-4$ and $X\setminus X^\circ$ at most $2n-2$ in the limit metric.
- The canonical-model and continuity-method setting (Theorem 15) inherits the same conclusions, so the result applies beyond Ricci-flat collapsing to Kähler-Ricci flow degenerations.
Reading between the lines
- Beyond the paper: the RCD hypothesis in Theorem 3 may be removable; the paper states this as its Conjecture 4 but does not prove it.
- Beyond the paper: if the RCD bridge were replaced by a direct argument for Lipschitz eigenfunctions, the homeomorphism statement would follow without passing through measured Gromov-Hausdorff convergence of the collapsing family.
- Beyond the paper: explicit examples with singular base strata should realize the dimension bounds, though the paper does not compute such examples, providing a test of sharpness.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Ricci-flat Kähler metrics on a projective Calabi-Yau manifold M as their Kähler classes degenerate to the semiample class c_1(L) of a fibration f: M -> X. The main result, Theorem 2, states that the Gromov-Hausdorff limit (Z,d_Z) of the collapsing metrics is homeomorphic to the base X, with Hausdorff dimension bounds dim_H(X\X_reg) <= 2n-4 and dim_H(X\X^circ) <= 2n-2, where n = dim_C X. This is presented as resolving conjectures of Tosatti. The proof reduces Theorem 2 to a general statement, Theorem 3, about singular Kähler spaces (X,ω) whose metric completion is an RCD(K,2n)-space. The main analytic work in Section 2 proves the homeomorphism and dimension bounds under the RCD hypothesis, using a new approximation argument (Proposition 9) and tools from the author's prior work and Donaldson-Sun/Liu-Szekelyhidi. Section 3 then attempts to establish the RCD(0,2n) condition for the collapsing Calabi-Yau setting via the limit measure and spectral arguments, culminating in Proposition 13 and the proof of Theorem 2.
Significance. If correct, this result would resolve a long-standing conjecture of Tosatti and complete the program begun by Song-Tian-Zhang on collapsing Calabi-Yau fibrations. The dimension bounds and the homeomorphism statement are sharp and expected. The paper introduces a potentially useful new technique, Proposition 9, for handling points where the metric is regular in tangent cones but the underlying complex structure is singular along a divisor. The reliance on prior work, especially the author's own framework, is substantial but the chain of citations is credible. However, the central RCD bridge in Section 3 is currently supported by an unproved transfer statement, which is a load-bearing gap that must be fixed before the result can be considered fully established.
major comments (3)
- [Section 3, Proof of Theorem 2]
- [Section 3, Proposition 13]
- [Section 3, Proposition 14 and the identification of ν with ω_can^n]
minor comments (4)
- [Section 2, Proposition 7]
- [Section 2, around equation (9)]
- [Throughout]
- [Section 2, Proposition 12]
Circularity Check
No circular derivation; the core reduction is not definitional, though the RCD bridge relies on the author's prior framework and contains an asserted spectral transfer that is unproved.
full rationale
No step in the paper reduces to its own conclusion by construction. Theorem 2 is reduced to Theorem 3 via the RCD(0,2n) property of the metric completion. That property is obtained from Proposition 14, which identifies the renormalized limit measure with a constant multiple of \omega_{can}^n by explicit asymptotic volume computations (equations (44)-(51)), and from Proposition 13, a criterion imported from the author's [38]. Proposition 13 is a general hypothesis-to-conclusion statement (Lipschitz W^{1,2} eigenfunctions on X^\circ imply RCD), not a restatement of the target homeomorphism or dimension claims, so invoking it is a self-citation but not a circular reduction. The proof also cites [32], [8], and [31] for strict positivity, holomorphic chart construction, and tangent cone structure; these are prior theorems whose assumptions do not include Theorem 2. The main weakness is that the proof of Theorem 2 asserts "It follows by Cheeger-Colding [5] that the W^{1,2} eigenfunctions of the Laplacian on (X^\circ,\omega_{can}) are Lipschitz" without proving that the Dirichlet form/eigenfunction problem on the GH limit (Z,d_Z,\nu) coincides with that on the incomplete smooth locus (X^\circ,\omega_{can}). This is a potentially serious gap in the transfer, but it is a missing argument rather than an equivalence of input and output. No fitted parameter is renamed as a prediction and no known result is repackaged as new, so the circularity score remains low.
Assumptions & free parameters
assumptions (6)
- standard math Yau's solution of the Calabi conjecture: every Kähler class on a compact Kähler manifold with trivial first Chern class admits a unique Ricci-flat Kähler metric.
- domain assumption Song-Tian-Zhang [36] identify the Gromov-Hausdorff limit of (M,omega_t) with the metric completion of (X^circ,omega_can).
- domain assumption Canonical metric properties from Song-Tian [35], Guo-Song [23]: omega_can = omega_X + i d dbar u, omega_can^n = e^F omega_X^n with e^F in L^p for some p>1, F bounded below, and Ric(omega_can) >= 0 on X^circ.
- standard math Honda [27] and Guo-Phong-Song-Sturm [22] imply Proposition 13: Lipschitz W^{1,2} eigenfunctions on (X^circ,omega_can) force Xhat to be an RCD(0,2n) space.
- standard math Cheeger-Colding [5] implies that W^{1,2} eigenfunctions on a measured Gromov-Hausdorff limit are Lipschitz.
- domain assumption Theorem 3 assumes the metric completion Xhat, with volume measure omega^n, is an RCD(K,2n) space.
Cite this review
Pith. "Pith review of Gromov-Hausdorff limits of collapsing Calabi-Yau fibrations." pith.science (2026). https://pith.science/paper/XUGDA6BV
@misc{pith2026250514939,
author = {Pith},
title = {Pith review of: Gromov-Hausdorff limits of collapsing Calabi-Yau fibrations},
year = {2026},
howpublished = {\url{https://pith.science/paper/XUGDA6BV}},
note = {Machine review of arXiv:2505.14939}
}
read the original abstract
We study Calabi-Yau metrics on a projective manifold in K\"ahler classes converging to a semiample class given by a fibration. We show that the Gromov-Hausdorff limit of the metrics is homeomorphic to the base of the fibration and in addition the discriminant locus has Hausdorff codimension at least 2. This resolves conjectures of Tosatti.
Forward citations
Cited by 2 Pith papers
-
Gromov-Hausdorff Limits of Noncollapsed K\"ahler-Ricci Flows and the Geometry of Ricci Shrinkers
Noncollapsed Kähler–Ricci flows converge uniquely at the first singular time to a canonical time-zero slice, and Kähler–Ricci shrinkers with bounded scalar curvature plus S^1-symmetry or dimension four have unique tan...
-
Ricci-flat metrics on Calabi-Yau manifolds
A survey of the degeneration theory of Ricci-flat Kahler metrics on Calabi-Yau manifolds: smooth limits for semiample and nef-and-big classes, path-dependent counterexamples at the boundary, and a list of open conjectures.
Reference graph
Works this paper leans on
-
[5]
Jeff Cheeger and Tobias H. Colding. On the structure of spaces with Ricci curvature bounded below. III. J. Differential Geom. , 54(1):37–74, 2000
work page 2000
-
[1]
Metric measure spaces with Riemannian Ricci curvature bounded from below
Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e. Metric measure spaces with Riemannian Ricci curvature bounded from below. Duke Math. J. , 163(7):1405–1490, 2014
work page 2014
-
[2]
On regularization of plurisubharmonic functions on manifolds
Zbigniew B/suppress locki and S/suppress lawomir Ko/suppress lodziej. On regularization of plurisubharmonic functions on manifolds. Proc. Amer. Math. Soc. , 135(7):2089–2093, 2007
work page 2007
-
[3]
J. Cheeger, T. H. Colding, and G. Tian. On the singulariti es of spaces with bounded Ricci curvature. Geom. Funct. Anal. , 12(5):873–914, 2002
work page 2002
-
[4]
Jeff Cheeger and Tobias H. Colding. On the structure of spaces with Ricci curvature bounded below. I. J. Differential Geom. , 46(3):406–480, 1997
work page 1997
-
[6]
Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below
Jeff Cheeger, Wenshuai Jiang, and Aaron Naber. Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below. Ann. of Math. (2) , 193(2):407–538, 2021
work page 2021
-
[7]
K¨ ahler-Einstein metrics on Fano manifolds
Xiuxiong Chen, Simon Donaldson, and Song Sun. K¨ ahler-Einstein metrics on Fano manifolds. II: Limits with cone angle less than 2 π. J. Amer. Math. Soc. , 28(1):199–234, 2015
work page 2015
-
[8]
On K¨ ahler-Einstein currents.arXiv:2502.09825, 2025
Yifan Chen, Shih-Kai Chiu, Max Hallgren, G´ abor Sz´ ekelyhidi, Tat Dat Tˆ o, and Freid Tong. On K¨ ahler-Einstein currents.arXiv:2502.09825, 2025
arXiv 2025
Show all 47 references
-
[9]
Ved V. Datar. On convexity of the regular set of conical K¨ahler-Einstein metrics. Math. Res. Lett., 23(1):105–126, 2016
2016
-
[10]
Non-collapsed spa ces with Ricci curvature bounded from below
Guido De Philippis and Nicola Gigli. Non-collapsed spa ces with Ricci curvature bounded from below. J. ´Ec. polytech. Math. , 5:613–650, 2018
2018
-
[11]
Estimations L2 pour l’op´ erateur¯∂ d’un fibr´ e vectoriel holomorphe semi-positif au-dessus d’une vari´ et´ e k¨ ahl´ erienne compl` ete.Ann
Jean-Pierre Demailly. Estimations L2 pour l’op´ erateur¯∂ d’un fibr´ e vectoriel holomorphe semi-positif au-dessus d’une vari´ et´ e k¨ ahl´ erienne compl` ete.Ann. Sci. ´Ecole Norm. Sup. (4) , 15(3):457–511, 1982. GROMOV-HAUSDORFF LIMITS OF COLLAPSING CALABI-YAU FIBRATI ONS 17
1982
-
[12]
Gromov-Hausdorff limits o f K¨ ahler manifolds and algebraic geometry
Simon Donaldson and Song Sun. Gromov-Hausdorff limits o f K¨ ahler manifolds and algebraic geometry. Acta Math., 213(1):63–106, 2014
2014
-
[13]
Gromov-Hausdorff limits o f K¨ ahler manifolds and algebraic geometry, II
Simon Donaldson and Song Sun. Gromov-Hausdorff limits o f K¨ ahler manifolds and algebraic geometry, II. J. Differential Geom. , 107(2):327–371, 2017
2017
-
[14]
On the equivalence of the entropic curvature-dimension condition and Bochner’s ine quality on metric measure spaces
Matthias Erbar, Kazumasa Kuwada, and Karl-Theodor Stu rm. On the equivalence of the entropic curvature-dimension condition and Bochner’s ine quality on metric measure spaces. Invent. Math. , 201(3):993–1071, 2015
2015
-
[15]
Singular K¨ ahler-Einstein metrics
Philippe Eyssidieux, Vincent Guedj, and Ahmed Zeriahi . Singular K¨ ahler-Einstein metrics. J. Amer. Math. Soc. , 22(3):607–639, 2009
2009
-
[16]
Geometric estimates for c omplex Monge-Amp` ere equations
Xin Fu, Bin Guo, and Jian Song. Geometric estimates for c omplex Monge-Amp` ere equations. J. Reine Angew. Math. , 765:69–99, 2020
2020
-
[17]
RCD structures on singula r K¨ ahler spaces of complex dimension three
Xin Fu, Bin Guo, and Jian Song. RCD structures on singula r K¨ ahler spaces of complex dimension three. arXiv:2503.08865, 2025
2025 arXiv
-
[18]
Collapsing of abelian fibered Calabi-Yau manifolds
Mark Gross, Valentino Tosatti, and Yuguang Zhang. Collapsing of abelian fibered Calabi-Yau manifolds. Duke Math. J. , 162(3):517–551, 2013
2013
-
[19]
Gromov-Hausdorff collapsing of Calabi- Yau manifolds
Mark Gross, Valentino Tosatti, and Yuguang Zhang. Gromov-Hausdorff collapsing of Calabi- Yau manifolds. Comm. Anal. Geom. , 24(1):93–113, 2016
2016
-
[20]
Mark Gross and P. M. H. Wilson. Large complex structure l imits of K3 surfaces. J. Differ- ential Geom., 55(3):475–546, 2000
2000
-
[21]
Vincent Guedj and Chinh H. Lu. Degenerate complex Hessi an equations on compact Hermit- ian manifolds. Pure Appl. Math. Q. , 21(3):1171–1194, 2025
2025
-
[22]
Phong, Jian Song, and Jacob Sturm
Bin Guo, Duong H. Phong, Jian Song, and Jacob Sturm. Sobo lev inequalities on K¨ ahler spaces. arXiv:2311.00221, 11 2023
2023 arXiv
-
[23]
Positivity of Weil-Petersson cur rents on canonical models
Bin Guo and Jian Song. Positivity of Weil-Petersson cur rents on canonical models. Pure Appl. Math. Q. , 17(3):1045–1059, 2021
2021
-
[24]
Nash entropy, Calabi energy and geometric regularization of singular K¨ ahler metrics.arXiv:2502.02041, 2025
Bin Guo and Jian Song. Nash entropy, Calabi energy and geometric regularization of singular K¨ ahler metrics.arXiv:2502.02041, 2025
2025 arXiv
-
[25]
Higher-orde r estimates for collapsing Calabi-Yau metrics
Hans-Joachim Hein and Valentino Tosatti. Higher-orde r estimates for collapsing Calabi-Yau metrics. Camb. J. Math. , 8(4):683–773, 2020
2020
-
[26]
Smooth asymp totics for collapsing Calabi-Yau metrics
Hans-Joachim Hein and Valentino Tosatti. Smooth asymp totics for collapsing Calabi-Yau metrics. Comm. Pure Appl. Math. , 78(2):382–499, 2025
2025
-
[27]
Bakry- ´Emery conditions on almost smooth metric measure spaces
Shouhei Honda. Bakry- ´Emery conditions on almost smooth metric measure spaces. Anal. Geom. Metr. Spaces , 6(1):129–145, 2018
2018
-
[28]
Cheeger-harmonic functions in metric measure spaces revisited
Renjin Jiang. Cheeger-harmonic functions in metric measure spaces revisited. J. Funct. Anal., 266(3):1373–1394, 2014
2014
-
[29]
A continuity method to construct canonical metrics
Gabriele La Nave and Gang Tian. A continuity method to construct canonical metrics. Math. Ann., 365(3-4):911–921, 2016
2016
-
[30]
On the collapsing of Cala bi-Yau manifolds and K¨ ahler-Ricci flows
Yang Li and Valentino Tosatti. On the collapsing of Cala bi-Yau manifolds and K¨ ahler-Ricci flows. J. Reine Angew. Math. , 800:155–192, 2023
2023
-
[31]
Gromov-Hausdorff limits of K¨ ahler manifolds with Ricci curvature bounded below II
Gang Liu and G´ abor Sz´ ekelyhidi. Gromov-Hausdorff limits of K¨ ahler manifolds with Ricci curvature bounded below II. Comm. Pure Appl. Math. , 74(5):909–931, 2021
2021
-
[32]
Gromov-Hausdorff limits of K¨ ahler manifolds with Ricci curvature bounded below
Gang Liu and G´ abor Sz´ ekelyhidi. Gromov-Hausdorff limits of K¨ ahler manifolds with Ricci curvature bounded below. Geom. Funct. Anal. , 32(2):236–279, 2022
2022
-
[33]
Ricci curvature for metric-measure spaces via optimal transport
John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math. (2) , 169(3):903–991, 2009
2009
-
[34]
Riemannian geometry of K¨ ahler-Einstein currents
Jian Song. Riemannian geometry of K¨ ahler-Einstein currents. arXiv:1404.0445, 04 2014
2014 arXiv
-
[35]
Canonical measures and K¨ ahler-Ricci flow
Jian Song and Gang Tian. Canonical measures and K¨ ahler-Ricci flow. J. Amer. Math. Soc. , 25(2):303–353, 2012
2012
-
[36]
Collapsing beh avior of Ricci-flat K¨ ahler metrics and long time solutions of the K¨ ahler-Ricci flow.arXiv:1904.08345, 2019
Jian Song, Gang Tian, and Zhenlei Zhang. Collapsing beh avior of Ricci-flat K¨ ahler metrics and long time solutions of the K¨ ahler-Ricci flow.arXiv:1904.08345, 2019
1904 arXiv
-
[37]
On the geometry of metric measure s paces
Karl-Theodor Sturm. On the geometry of metric measure s paces. I. Acta Math. , 196(1):65– 131, 2006
2006
-
[38]
Singular K¨ ahler-Einstein metrics and RCD spaces
G´ abor Sz´ ekelyhidi. Singular K¨ ahler-Einstein metrics and RCD spaces. arXiv:2408.10747, 2024
2024 arXiv
-
[39]
Limits of Calabi-Yau metrics when t he K¨ ahler class degenerates.J
Valentino Tosatti. Limits of Calabi-Yau metrics when t he K¨ ahler class degenerates.J. Eur. Math. Soc. (JEMS) , 11(4):755–776, 2009
2009
-
[40]
Adiabatic limits of Ricci-flat K¨ ah ler metrics
Valentino Tosatti. Adiabatic limits of Ricci-flat K¨ ah ler metrics. J. Differential Geom. , 84(2):427–453, 2010. 18 G ´ABOR SZ ´EKELYHIDI
2010
-
[41]
Degenerations of Calabi-Yau metrics
Valentino Tosatti. Degenerations of Calabi-Yau metrics. In Geometry and Physics in Cracow , volume 4 of Acta Phys. Polon. B Proc. Suppl. , pages 495–505. 2011
2011
-
[42]
Collapsing Calabi-Yau manifolds
Valentino Tosatti. Collapsing Calabi-Yau manifolds. In Surveys in differential geometry 2018. Differential geometry, Calabi-Yau theory, and general rela tivity, volume 23 of Surv. Differ. Geom., pages 305–337. Int. Press, Boston, MA, [2020] ©2020
2018
-
[43]
TheK¨ ahler-Ricci flow, Ricci-flat metrics and collapsing limits
Valentino Tosatti, Ben Weinkove, and Xiaokui Yang. TheK¨ ahler-Ricci flow, Ricci-flat metrics and collapsing limits. Amer. J. Math. , 140(3):653–698, 2018
2018
-
[44]
Collapsing Hyper k¨ ahler manifolds.Ann
Valentino Tosatti and Yuguang Zhang. Collapsing Hyper k¨ ahler manifolds.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 53(3):751–786, 2020
2020
-
[45]
On the Ricci curvature of a compact K¨ ahl er manifold and the complex Monge-Amp` ere equation
Shing Tung Yau. On the Ricci curvature of a compact K¨ ahl er manifold and the complex Monge-Amp` ere equation. I.Comm. Pure Appl. Math. , 31(3):339–411, 1978
1978
-
[46]
Open problems in geometry
Shing-Tung Yau. Open problems in geometry. In Differential geometry: partial differential equations on manifolds (Los Angeles, CA, 1990) , volume 54 of Proc. Sympos. Pure Math. , pages 1–28. Amer. Math. Soc., Providence, RI, 1993
1990
-
[47]
Convergence of K¨ ahler manifolds and ca librated fibrations
Yuguang Zhang. Convergence of K¨ ahler manifolds and ca librated fibrations. PhD Thesis , 2006. Department of Mathematics, Northwestern University, Evanst on, IL, USA Email address : gaborsz@northwestern.edu
2006
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.