REVIEW 3 minor 19 references
A Liouville theorem for some asymptotically conical Calabi-Yau manifolds
T0 review · 0 major / 3 minor · reviewed 2026-06-28 · grok-4.3
Pith's one-line read A diffeomorphism from a Calabi-Yau cone that is asymptotic in complex structure and quasi-isometric in the Kähler form implies the manifold is asymptotically conical with that cone as tangent cone.
desk verdict The paper proves a conditional Liouville theorem that forces Ricci-flat Kähler manifolds to be asymptotically conical when they admit a quasi-isometry to a Calabi-Yau cone, and derives uniqueness for the Stenzel and Candelas-De la Ossa metrics under that hypothesis. 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 diffeomorphism $\Phi: C \setminus B_1(o) \to M \setminus K$ with asymptotic complex structure and quasi-isometric Kähler form conditions.
What would settle it
A counterexample would be a Ricci-flat Kähler manifold admitting such a diffeomorphism but whose metric is not asymptotically conical with the given tangent cone, or a quasi-isometric metric on $T^*S^n$ distinct from the Stenzel metric.
Extended reading notes
Core claim
If there exists a diffeomorphism $\Phi$ from the complement of the closed unit ball in the Calabi-Yau cone $C$ to the complement of a compact set $K$ in $M$ such that $\Phi^* J$ is asymptotic to $J_C$ and $C^{-1} \omega_C \leq \Phi^* \omega \leq C \omega_C$, then $(M, g)$ is asymptotically conical with tangent cone $(C, d_{g_C})$. Consequently, Ricci-flat Kähler metrics on $T^* S^n$ quasi-isometric to the Stenzel metric are equal to it up to scaling and diffeomorphism, and similarly for metrics on $O_{P^1}(-1)^{\oplus 2}$ quasi-isometric to the Candelas-De la Ossa metric.
Load-bearing premise
The existence of a diffeomorphism satisfying both the asymptotic complex-structure condition and the two-sided bound on the pulled-back Kähler form.
Editorial extensions
If this is right
- Ricci-flat Kähler metrics on T^*S^n that are quasi-isometric to the Stenzel metric must be the Stenzel metric up to scaling and diffeomorphism.
- Ricci-flat Kähler metrics on O_{P^1}(-1)^{⊕2} that are quasi-isometric to the Candelas-De la Ossa metric must be that metric up to scaling and diffeomorphism.
- These provide new examples of complete Calabi-Yau manifolds where a Liouville-type theorem holds.
Reading between the lines
- This rigidity may extend to other Calabi-Yau cones if similar diffeomorphisms can be constructed.
- The result suggests that the asymptotic behavior at infinity rigidly determines the metric under the quasi-isometry assumption.
- Such theorems could help classify complete Ricci-flat Kähler metrics on non-compact manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a conditional Liouville-type theorem: if an open Ricci-flat Kähler manifold (M, J, ω, g) admits a diffeomorphism Φ from the complement of a ball in a Calabi-Yau cone (C, J_C, ω_C, g_C) such that Φ^*J is asymptotic to J_C and the pulled-back Kähler form satisfies the two-sided bound C^{-1} ω_C ≤ Φ^*ω ≤ C ω_C, then (M, g) is asymptotically conical with tangent cone (C, d_{g_C}). As applications, any Ricci-flat Kähler metric on T^*S^n quasi-isometric to the Stenzel metric equals the Stenzel metric up to scaling and diffeomorphism, and likewise for the Candelas-De la Ossa metric on O_{P^1}(-1)^⊕2.
Significance. If the result holds, it supplies new examples of complete Calabi-Yau manifolds on which a Liouville theorem is valid, extending rigidity results beyond the standard asymptotically conical setting. The applications give explicit uniqueness statements for two well-known families under a quasi-isometry hypothesis that is natural for the problem.
minor comments (3)
- Abstract, last sentence: 'theroem' is a typographical error and should read 'theorem'.
- The precise meaning of 'Φ^*J is asymptotic to J_C' (rate of convergence, in which norm) should be stated explicitly in the main theorem statement, even if it is standard in the literature.
- Section 1 (introduction): the statement that the result 'provides new examples' would benefit from a brief comparison with existing Liouville theorems for AC Calabi-Yau manifolds (e.g., those of Tian-Yau or later works) to clarify the novelty.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, accurate summary of the main theorem and applications, and recommendation for minor revision. We are pleased that the result is viewed as providing new examples of Liouville-type theorems on complete Calabi-Yau manifolds.
Circularity Check
No significant circularity; theorem is conditional implication from explicit hypotheses
full rationale
The central result is a conditional statement: existence of diffeomorphism Φ with Φ^*J asymptotic to J_C and C^{-1} ω_C ≤ Φ^*ω ≤ C ω_C implies (M,g) is AC with the given tangent cone. This does not reduce the conclusion to the inputs by construction, as the bound on ω supplies quasi-isometry while the theorem derives the full asymptotic conicality (including metric asymptotics) under the Ricci-flat Kähler assumption. Applications to uniqueness on T^*S^n and O_{P^1}(-1)^⊕2 are direct consequences by fixing the complex structure and transferring Φ; they do not involve fitted parameters, self-definitional renaming, or load-bearing self-citations. The derivation chain is self-contained against the stated hypotheses with no reduction to prior author work or ansatz smuggling visible.
Assumptions & free parameters
assumptions (1)
- standard math Standard definitions and local properties of Calabi-Yau cones and Ricci-flat Kähler metrics hold.
Cite this review
Pith. "Pith review of A Liouville theorem for some asymptotically conical Calabi-Yau manifolds." pith.science (2026). https://pith.science/paper/TWO4JSVY
@misc{pith2026260604213,
author = {Pith},
title = {Pith review of: A Liouville theorem for some asymptotically conical Calabi-Yau manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/TWO4JSVY}},
note = {Machine review of arXiv:2606.04213}
}
abstract
Let $(\mathcal{C}, J_{\mathcal{C}}, \omega_{\mathcal{C}}, g_{\mathcal{C}})$ be a Calabi-Yau cone and $(M, J, \omega, g)$ an open Ricci-flat K\"ahler manifold. We show that, if there exists a diffeomorphism $\Phi: \mathcal{C} \setminus \overline{B_1(o)} \rightarrow M \setminus K$, for some compact $K \subset M$, such that $\Phi^{*}J$ is asymptotic to $J_{\mathcal{C}}$ and $C^{-1} \omega_{\mathcal{C}} \leq \Phi^{*} \omega \leq C \omega_{\mathcal{C}}$ for some $C \geq 1$, then $(M, g)$ is asymptotically conical (AC) with tangent cone at infinity given by $(\mathcal{C}, d_{g_{\mathcal{C}}})$. As a consequence, we obtain that any Ricci-flat K\"ahler metric on $T^{*}S^n$ which is quasi-isometric to the Stenzel metric must be equal to the Stenzel metric up to scaling and diffeomorphism. Similarly, any Ricci-flat K\"ahler metric on $\mathcal{O}_{\mathbb{P}^1}(-1)^{\oplus2}$ which is quasi-isometric to the Candelas-De la Ossa metric must be equal to the Candelas-De la Ossa metric up to scaling and diffeomorphism. This provides new examples of complete Calabi-Yau manifolds for which a Liouville-type theroem holds.
Reference graph
Works this paper leans on
-
[1]
E. Calabi. Métriques kählériennes et fibrés holomorphes. Annales scientifiques de l'École Normale Supérieure , 12(2):269--294, 1979. Publisher: Elsevier
1979
-
[2]
Jeff Cheeger and Tobias H. Colding. On the structure of spaces with R icci curvature bounded below. I . J. Differential Geom. , 46(3):406--480, 1997
1997
-
[3]
de la Ossa
Philip Candelas and Xenia C. de la Ossa. Comments on conifolds. Nuclear Physics B , 342(1):246--268, September 1990
1990
-
[4]
Conlon and Hans-Joachim Hein
Ronan J. Conlon and Hans-Joachim Hein. Asymptotically conical C alabi- Y au manifolds, I . Duke Math. J. , 162(15):2855--2902, 2013
2013
-
[5]
Conlon and Hans-Joachim Hein
Ronan J. Conlon and Hans-Joachim Hein. Asymptotically conical C alabi- Y au metrics on quasi-projective varieties. Geom. Funct. Anal. , 25(2):517--552, 2015
2015
-
[6]
Conlon and Hans-Joachim Hein
Ronan J. Conlon and Hans-Joachim Hein. Classification of asymptotically conical C alabi- Y au manifolds. Duke Math. J. , 173(5):947--1015, 2024
2024
-
[7]
Conlon and Hans-Joachim Hein
Ronan J. Conlon and Hans-Joachim Hein. Classification of asymptotically conical Calabi – Yau manifolds. Duke Mathematical Journal , 173(5):947--1015, April 2024. Publisher: Duke University Press
2024
-
[8]
Minicozzi, II
Tobias Holck Colding and William P. Minicozzi, II. On uniqueness of tangent cones for E instein manifolds. Invent. Math. , 196(3):515--588, 2014
2014
Show all 19 references
-
[9]
A F robenius- N irenberg theorem with parameter
Xianghong Gong. A F robenius- N irenberg theorem with parameter. J. Reine Angew. Math. , 759:101--159, 2020
2020
-
[10]
Calabi- Yau structures and Einstein - Sasakian structures on crepant resolutions of isolated singularities
Ryushi Goto. Calabi- Yau structures and Einstein - Sasakian structures on crepant resolutions of isolated singularities. Journal of the Mathematical Society of Japan , 64(3):1005--1052, July 2012. Publisher: Mathematical Society of Japan
2012
-
[11]
Elliptic partial differential equations of second order , volume 2
David Gilbarg, Neil S Trudinger, David Gilbarg, and NS Trudinger. Elliptic partial differential equations of second order , volume 2. Springer, 1998
1998
-
[12]
A liouville theorem for the complex monge-ampère equation on product manifolds
Hans-Joachim Hein. A liouville theorem for the complex monge-ampère equation on product manifolds. Communications on Pure and Applied Mathematics , 72(1):122--135, 2019
2019
-
[13]
A L iouville T heorem and C ^ - E stimate for C alabi- Y au C ones
Johan Jacoby Klemmensen. A L iouville T heorem and C ^ - E stimate for C alabi- Y au C ones. arXiv preprint arXiv:2502.02361 , 2025
2025
-
[14]
A mean value formula and a L iouville theorem for the complex M onge- A mp\`ere equation
Chao Li, Jiayu Li, and Xi Zhang. A mean value formula and a L iouville theorem for the complex M onge- A mp\`ere equation. Int. Math. Res. Not. IMRN , (3):853--867, 2020
2020
-
[15]
A priori estimates and a L iouville theorem for complex M onge- A mp\`ere equations
Dieter Riebesehl and Friedmar Schulz. A priori estimates and a L iouville theorem for complex M onge- A mp\`ere equations. Math. Z. , 186(1):57--66, 1984
1984
-
[16]
Matthew B. Stenzel. Ricci-flat metrics on the complexification of a compact rank one symmetric space. manuscripta mathematica , 80(1):151--163, December 1993
1993
-
[17]
No semistability at infinity for C alabi- Y au metrics asymptotic to cones
Song Sun and Junsheng Zhang. No semistability at infinity for C alabi- Y au metrics asymptotic to cones. Invent. Math. , 233(1):461--494, 2023
2023
-
[18]
Ricci-flat Kähler metrics on crepant resolutions of Kähler cones
Craig van Coevering. Ricci-flat Kähler metrics on crepant resolutions of Kähler cones. Mathematische Annalen , 347(3):581--611, July 2010
2010
-
[19]
Examples of asymptotically conical ricci-flat k \"a hler manifolds
Craig van Coevering. Examples of asymptotically conical ricci-flat k \"a hler manifolds. Mathematische Zeitschrift , 267(1):465--496, 2011
2011
Reviewed June 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.