REVIEW 4 major objections 4 minor 20 references
A Gluing Theorem For Collapsing Warped-QAC Calabi-Yau Manifolds
T0 review · 4 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Under stated degree conditions, collapsing Calabi-Yau metrics are glued from scaled warped QAC models near colliding singular fibers, with error decaying as a negative power of the collapsing parameter.
desk verdict Serious gluing paper with real novelty; the §3 coordinate change that yields the local models is printed with the wrong exponent — fixable, but load-bearing. 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 parametrix P: an approximate right inverse for the scalar Laplacian on the collapsing space, assembled by gluing the Green operators P_0, P_1, P_{2,i}, and P_3 provided by the Laplacian theory on the model geometries C × V_0, C × V_1, and X_i. The relevant function spaces are t-dependent double-weighted Hölder spaces $C^{{k,α}}$_{δ,τ,t}, whose weights are adapted to four geometric regions: near infinity, near each colliding singular fiber, the semi-Ricci-flat middle region, and the transition between them. The Monge-Ampère equation is then solved by a Banach fixed-point argument, with the crucial input being an optimal decay estimate for the Ricci potential of the approximate metric, obtained by expanding the volume form and using the adjunction formula.
What would settle it
Check Proposition 2.6 by computing the indicial roots of the Laplacian on C × V_0 with its singular link: if any indicial root lies inside the interval (2(2q-p)/p, 2q/p), the asserted invertibility fails and the parametrix bound in Proposition 4.7 cannot hold. Alternatively, run the construction for degrees violating the inequality $\frac{p+4q_1}{5p-4q_1} > \frac{2q_d}{3p-2q_d}$ and test whether the Ricci-potential estimate in Proposition 3.2 still decays; a concrete counterexample would delimit the theorem.
Extended reading notes
Core claim
The central claim is Theorem 1.7. For a family of hypersurfaces X'_t defined by P(z~) + ∏_i ∏_j (z_{n+2} - s_i - $a_t^{{-θ_i}}$ s_{i,j}) = 0, with the degree conditions p > 2q_i and, when q_1 < p/4 < q_d, the additional inequality (p+4q_1)/(5p-4q_1) > (2q_d)/(3p-2q_d), the unique Calabi-Yau Kähler form is obtained by gluing the approximate semi-Ricci-flat metric to scaled warped QAC Calabi-Yau metrics on the local models X_i: P + Q_i = 0 near each collision point S_i. The construction produces biholomorphisms F_{i,t} whose images exhaust the models, and the scaled pulled-back Kähler forms $t^{{2θ_i}}$(F_{i,t}^{-1})^* i∂∂̄φ_t converge to the warped QAC Calabi-Yau forms on X_i. The same machinery gives a bubble-tree convergence theorem in which nonsingular pointed warped QAC Calabi-Yau manifolds converge to minimal bubbles modeled on C × V_0.
Load-bearing premise
The entire gluing argument rests on the quoted existence of bounded right inverses for the Laplacian on the model spaces C × V_0, C × V_1, and X_i for the stated weight ranges; if any of those mapping properties fails, the parametrix P and with it both main theorems collapse.
Editorial extensions
If this is right
- The gluing theorem verifies the conjecture in [15] in the regime where colliding is slower than collapsing, and it gives the explicit error rate t^{-(2-τ)(p-q)/p-a} for the difference between the true Calabi-Yau metric and the glued approximate metric.
- The construction produces warped QAC Calabi-Yau metrics on hypersurfaces X_{k,l}: z_1^2 + z_2^2 + z_3^k + z_4^l = 1 with 2k > l, including parameter ranges excluded by the numerical constraints in [7].
- It yields explicit non-collapsing complete Calabi-Yau manifolds whose pointed Gromov-Hausdorff limits are minimal bubbles C × V_0, with the limit depending sensitively on the chosen marked points and rescaling factors.
- The bubble-tree proposition provides a hierarchy of pointed limits indexed by a tree of colliding zeros of the fibration, with each node modeled on a warped QAC Calabi-Yau space.
- The uniqueness statement in Theorem 1.1 implies that any two Calabi-Yau potentials in the same asymptotic class that solve the same equation differ at most by a pluriharmonic function of slower-than-quadratic growth.
Reading between the lines
- The numerical inequalities in Theorem 1.7 are likely sufficient rather than necessary; a similar gluing construction may hold in a larger parameter range, and computing the relevant indicial roots would locate the true boundary of the method.
- The parametrix framework used here should adapt to higher-depth bubble trees and to fibrations whose model fibers are smoothings of more general Calabi-Yau cones, not just the affine quadrics treated in this paper.
- The explicit decay rate suggests a quantitative stability statement: the global Calabi-Yau metric is determined up to the stated negative power of t by the semi-Ricci-flat ansatz and the local warped QAC models, which could be probed numerically on the affine quadric examples.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a gluing construction for collapsing warped quasi-asymptotically-conical (QAC) Calabi-Yau manifolds. It first proves existence of warped QAC Calabi-Yau metrics on affine hypersurfaces P(z~)+Q(z_{n+2})=0 under a degree hypothesis p>q, improving the Ricci-potential decay estimate relative to earlier work. It then considers a one-parameter family X'_t in which q singular fibers of the fibration z_{n+2} collide, at a rate controlled by exponents θ_i, and claims that for large t the unique Calabi-Yau metric is obtained by gluing scaled copies of the warped QAC models X_i near the collision points. A bubble-tree convergence result is also stated in Section 5.
Significance. If correct, the paper would verify a conjecture of Yang Li in a noncompact setting and produce new examples of warped QAC Calabi-Yau metrics, including cases not covered by Conlon-Rochon's numerical constraints. The explicit numerical conditions in Proposition 3.2 and the gluing statement in Theorem 4.8 are concrete and falsifiable, and the bubble-tree discussion suggests a useful framework. The paper also makes a real technical contribution in Proposition 2.3, where the Ricci potential estimate is derived in a way that is optimized for the gluing argument. However, the central identification of the local model Xi contains a coordinate-scaling inconsistency that currently undermines the proof of Theorem 1.7, and several other load-bearing hypotheses and cut-off identities need correction.
major comments (4)
- [Section 3, coordinate change before 'Computation shows x=-θ_i'] The local model Xi is not obtained with the scaling printed in the manuscript. Substituting (z~, z_{n+2}-s_i)=(a_t^x v~, a_t v_{n+2}) into X_t gives cluster factors a_t v_{n+2}-a_t^{-θ_i}s_{i,j}=a_t(v_{n+2}-a_t^{-θ_i-1}s_{i,j}), so for fixed v_{n+2} the q_i roots collapse to 0. Balancing P(a_t^x v~) ~ a_t^{px}P(v~) with a_t^{q-p}Q_t(s_i+a_t v) ~ a_t^{q-p+q_i} v_{n+2}^{q_i} yields px=q-p+q_i, i.e. x=(q_i+q-p)/p, not x=-θ_i. The model Xi with the distinct shifts s_{i,j} and the t^{2θ_i} scaling in Theorem 1.7 follow only if z_{n+2}-s_i=a_t^{-θ_i}v_{n+2}; with that replacement the balancing computation indeed gives x=-θ_i. As printed, the biholomorphisms F_{i,t} and the scaled convergence in Theorem 1.7 are therefore not justified.
- [Theorem 1.7 and Section 3, hypotheses after (3.3)] The theorem statement assumes only p>2q_i, but the construction requires the stronger hypothesis p>q. The exponents θ_i=(p-q)/(p-q_i) are positive only when p>q, the gluing intervals in Section 3 are nonempty only when (q-p)/p<σ_i<0, and if q>p then the singular points s_i+a_t^{-θ_i}s_{i,j} do not accumulate at s_i. Since p>2q_i for all i does not imply p>q when d>1, this hypothesis must be added to Theorem 1.7 (and to Proposition 3.2 if stated independently).
- [Section 4.1, definitions of β3 and β4] For d>2 the cutoffs β3=β'_3(1-β_{2,1}-β_{2,2}) and β4=β'_4(1-β_{2,1}-β_{2,2}) do not subtract the neighborhoods of S_3,...,S_d. Since β'_3 is approximately 1 near those points, the decomposition f=f1+f3+f4+Σ f_{2,i} is not a partition of unity, and Lemma 4.5's domain U'_3 excludes exactly those neighborhoods. Consequently the parametrix identity in Proposition 4.7 has not been proved for d>2. The displayed formulas should contain a factor ∏_{k=1}^d(1-β_{2,k}) or the analogous expression.
- [Section 2.2 and Section 4.2, Propositions 2.5-2.8 and 2.11] The bounded inverses P0, P1, P2,i, P3 are load-bearing: the parametrix in Definition 4.2 is assembled from them. The paper imports these mappings with comments such as 'proof identical' or 'very similar' from [9] and [15]. However, [9] works in dimension 2n while the present manifolds have dimension 2n+2, so the indicial-root and weight-range computations are not literally identical, and Proposition 3.3 of [15] concerns a compact fibration rather than the noncompact warped-QAC setting. Please either state precisely which results in [9] and [15] imply the stated mapping properties, including the admissible δ and τ values, or provide the model computations in the paper. Without this, Definition 4.2 is not fully supported.
minor comments (4)
- [Proof of Proposition 3.2] The proof cites 'Lemma 3.12' for the region IV estimate, but the lemma containing that estimate is Lemma 3.10; there is no Lemma 3.12 in the paper.
- [Lemma 3.4] The index condition 'i>1' in the second assertion of Lemma 3.4 appears arbitrary; the same metric approximation should hold for every singular ray i=1,...,d.
- [References] References [6] and [7] are the same arXiv preprint (Conlon-Rochon, 'Warped quasi-asymptotically conical Calabi-Yau metrics') and should be merged or updated to the published version.
- [Throughout] There are numerous presentation slips, including 'paramatrix' for 'parametrix', the mixed indices j and i in the definition of P'_1 in (4.3), and the repeated use of κρ'_1 instead of κρ'_i in (3.5); these should be corrected before resubmission.
Circularity Check
No significant circularity found; the gluing proof is a genuine analytic construction and all load-bearing citations are independent external results.
full rationale
Surveying the derivation chain from Theorem 1.1 through Theorem 4.8, I find no step in which a claimed prediction or first-principles result is equivalent to an input by construction. The approximate Calabi-Yau metric on X_t is not fitted to the target metric: it is an explicit potential built from omega_SRF and the model pieces Xi, and Theorem 4.8 uses a Banach fixed-point argument with a parametrix assembled from genuinely external elliptic results (Székelyhidi [9], Conlon-Rochon [7], Yang Li [15]); none of these are by the present author, so the citation chain is not self-referential. The uniqueness argument imports Chiu's harmonic function theorem and Hein's weighted Sobolev theory, again external. The gluing conclusion is a genuine analytic estimate (4.9) rather than a rewriting of the ansatz. The reviewer-flagged Section 3 coordinate scaling issue, if real, would be a mathematical inconsistency in identifying the local models, not a circular reduction: the theorem's conclusion does not coincide with an input by definition. Heavy reliance on external theorems lowers self-containedness but does not constitute circularity, and no self-citation is load-bearing.
Assumptions & free parameters
free parameters (5)
- delta (global weight exponent) =
interval (2(2q-p)/p, 2q/p)
- tau (fiber weight exponent) =
tau in (2-2n, 0), close to 0
- delta_i and delta'_i (local weight exponents) =
delta_i near 2q_i/p; delta'_i near 2(2q_i-p)/p
- sigma_i and sigma'_i (gluing radius exponents) =
(q-p)/p < sigma_i < sigma'_i < 0
- a (decay margin) =
positive constant from intersection of intervals I_i
assumptions (4)
- domain assumption The cone V0 = {P(ztilde)=0} admits a Calabi-Yau cone metric and a weighted C* action with weights normalized so r^2(a.z)=|a|^2 r^2(z); P is homogeneous of degree p.
- domain assumption The smooth fiber V1 = {P(ztilde)+1=0} carries a Calabi-Yau Kähler form phi asymptotic to r^2, from Conlon-Hein [5].
- domain assumption The scalar Laplacian on the model spaces C x V0, C x V1, and Xi has the stated invertibility or bounded-right-inverse properties on the weighted Hölder spaces (Propositions 2.5-2.8 and 2.11).
- ad hoc to paper The weighted Hölder norms on overlap regions are uniformly equivalent with constants independent of t.
Cite this review
Pith. "Pith review of A Gluing Theorem For Collapsing Warped-QAC Calabi-Yau Manifolds." pith.science (2026). https://pith.science/paper/6ANIYA5W
@misc{pith2026241203742,
author = {Pith},
title = {Pith review of: A Gluing Theorem For Collapsing Warped-QAC Calabi-Yau Manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/6ANIYA5W}},
note = {Machine review of arXiv:2412.03742}
}
abstract
We carry out a gluing construction for collapsing warped-QAC (quasi-asymptotically-conical) Calabi-Yau manifolds in $\CC^{n+2}, n\geq 2$. This gluing theorem verifies a conjecture by Yang Li in \cite{li2019gluing} on the behavior of the warped QAC Calabi-Yau metrics on affine quadrics when two singular fibers of a holomorphic fibration go apart. We will also discuss a bubble tree structure for those collapsing warped-QAC Calabi-Yau manifolds.
Reference graph
Works this paper leans on
-
[9]
Sz´ ekelyhidi, Degenerations of Cn and Calabi-Yau metrics, Duke Math
G. Sz´ ekelyhidi, Degenerations of Cn and Calabi-Yau metrics, Duke Math. J. 168 (2019), no. 14, 2651–2700; MR4012345 A GLUING THEOREM FOR COLLAPSING WQAC-CY MANIFOLDS 41
work page 2019
-
[15]
Li, A gluing construction of collapsing Calabi-Yau m etrics on K3 fibred 3-folds, Geom
Y. Li, A gluing construction of collapsing Calabi-Yau m etrics on K3 fibred 3-folds, Geom. Funct. Anal. 29 (2019), no. 4, 1002–1047; MR3990193
work page 2019
-
[1]
B. J. Firester, Complete Calabi-Yau metrics from smooth ing Calabi-Yau complete intersections, Geom. Dedicata 218 (2024), no. 2, Paper No. 46, 18 pp.; MR4707313
work page 2024
-
[2]
Nonuniqueness of Calabi-Yau metrics with maxim al volume growth[J]
Chiu S K. Nonuniqueness of Calabi-Yau metrics with maxim al volume growth[J]. arXiv preprint arXiv:2206.08210, 2022
arXiv 2022
-
[3]
Chiu, Subquadratic harmonic functions on Calabi- Yau manifolds with maximal volume growth, Comm
S.-K. Chiu, Subquadratic harmonic functions on Calabi- Yau manifolds with maximal volume growth, Comm. Pure Appl. Math. 77 (2024), no. 6, 3080–3106; MR4733672
work page 2024
-
[4]
T. C. Collins and G. Sz´ ekelyhidi, Sasaki-Einstein metr ics and K-stability, Geom. Topol. 23 (2019), no. 3, 1339–1413; MR3956894
work page 2019
-
[5]
R. J. Conlon and H.-J. Hein, Asymptotically conical Cala bi-Yau manifolds, I, Duke Math. J. 162 (2013), no. 15, 2855–2902; MR3161306
work page 2013
-
[7]
Warped quasi-asymptotically conic al Calabi-Yau metrics[J]
Conlon R J, Rochon F. Warped quasi-asymptotically conic al Calabi-Yau metrics[J]. arXiv preprint arXiv:2308.02155, 2023
arXiv 2023
Show all 20 references
-
[8]
S. K. Donaldson and S. Sun, Gromov-Hausdorff limits of K¨ a hler manifolds and alge- braic geometry, II, J. Differential Geom. 107 (2017), no. 2, 327–371; MR3707646
2017
-
[10]
Sz´ ekelyhidi, Uniqueness of some Calabi-Yau metric s on Cn, Geom
G. Sz´ ekelyhidi, Uniqueness of some Calabi-Yau metric s on Cn, Geom. Funct. Anal. 30 (2020), no. 4, 1152–1182; MR4153912
2020
-
[11]
Hein, On gravitational instantons , ProQuest LLC, Ann Arbor, MI, 2010; MR2813955
H.-J. Hein, On gravitational instantons , ProQuest LLC, Ann Arbor, MI, 2010; MR2813955
2010
-
[12]
Hein, Weighted Sobolev inequalities under lower Ricci curvature bounds, Proc
H.-J. Hein, Weighted Sobolev inequalities under lower Ricci curvature bounds, Proc. Amer. Math. Soc. 139 (2011), no. 8, 2943–2955; MR2801635
2011
-
[13]
Hein and S
H.-J. Hein and S. Sun, Calabi-Yau manifolds with isolat ed conical singularities, Publ. Math. Inst. Hautes ´Etudes Sci. 126 (2017), 73–130; MR3735865
2017
-
[14]
Li, A new complete Calabi-Yau metric on C3, Invent
Y. Li, A new complete Calabi-Yau metric on C3, Invent. Math. 217 (2019), no. 1, 1–34; MR3958789
2019
-
[16]
R. R. Mazzeo, Elliptic theory of differential edge opera tors. I, Comm. Partial Differ- ential Equations 16 (1991), no. 10, 1615–1664; MR1133743
1991
-
[17]
Sun and J
S. Sun and J. Zhang, No semistability at infinity for Cala bi-Yau metrics asymptotic to cones, Invent. Math. 233 (2023), no. 1, 461–494; MR4602001
2023
-
[18]
Bubbling of K¨ ahler-Einstein metrics[J]
Sun S. Bubbling of K¨ ahler-Einstein metrics[J]. arXiv preprint arXiv:2303.11309, 2023
2023 arXiv
-
[19]
Tosatti, Adiabatic limits of Ricci-flat K¨ ahler metr ics, J
V. Tosatti, Adiabatic limits of Ricci-flat K¨ ahler metr ics, J. Differential Geom. 84 (2010), no. 2, 427–453; MR2652468
2010
-
[20]
Yau, On the Ricci curvature of a compact K¨ ahler ma nifold and the complex Monge-Amp` ere equation
S.-T. Yau, On the Ricci curvature of a compact K¨ ahler ma nifold and the complex Monge-Amp` ere equation. I, Comm. Pure Appl. Math. 31 (1978), no. 3, 339–411; MR0480350
1978
-
[21]
Complex analytic and differential geometr y[M]
Demailly J P. Complex analytic and differential geometr y[M]. Grenoble: Universit´ e de Grenoble I, 1997. Department of Mathematics, Stony Brook University, Stony B rook, NY 11794-3651 USA. E-mail: dashen.yan@math.stonybrook.edu
1997
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.