Uniqueness of asymptotically conical K\"ahler-Ricci flow

Longteng Chen

REVIEW 3 major objections 3 minor 25 references

Uniqueness of asymptotically conical K\"ahler-Ricci flow

T0 review · 3 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The paper proves that any complete Kähler-Ricci flow emerging from a Kähler cone with a smooth canonical model must equal the self-similar flow of the unique expanding soliton, given cohomology, Killing, and curvature conditions.

desk verdict New time-dependent uniqueness theorem for Kähler-Ricci flow from Kähler cones, honest about its load-bearing global exactness assumption. read the letter →

arxiv 2505.00167 v1 pith:EQRIXPCV submitted 2025-04-30 math.DG

Longteng Chen This is my paper · ORCID

classification math.DG MSC 53E2053C55

keywords Kähler-RicciflowexpandinggradientsolitonKählerconesmoothcanonicalmodelcomplexMonge-Ampèreequationuniquenessenergymethodasymptoticallyconical

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 claims that a Kähler-Ricci flow emerging from a Kähler cone is unique when the cone admits a smooth canonical model: any complete flow that converges to the cone, stays in the same cohomology class as the self-similar soliton flow, preserves a Reeb Killing vector field, and obeys scale-invariant curvature bounds must equal the self-similar flow generated by the unique expanding gradient soliton. This would mean that, under those conditions, the Ricci flow gives a canonical desingularization of the cone with no room for a second smooth solution. The result is a partial answer to a uniqueness question on the flow after a conical singularity and extends earlier uniqueness theorems for asymptotically conical expanding solitons to the dynamical setting of flows coming out of the cone.

What carries the argument

The argument runs through the obstruction tensor $\partial\bar\partial u$, where $u=t\dot\varphi+\tfrac12 X\cdot\varphi-\varphi$; vanishing of this tensor is exactly agreement of the two flows, and $u$ solves the heat equation along the Kähler-Ricci flow and decays exponentially, with $|u|\le C t e^{-f_t}f_t^{-n-1}$ in the parabolic region. In normalized self-similar variables pulled back by the soliton vector field, the paper defines the energy $A(\tau)=\int_M \dot\psi^{2k}e^{f_\psi}\omega_\psi^n$ for large $k$, proves it is finite and uniformly bounded, and shows $\partial_\tau A\le -2kA$; letting $\tau\to-\infty$ forces $A=0$, hence $\dot\psi=0$, and the maximum principle gives $\psi=0$.

What would settle it

On a resolution whose exceptional divisor carries a nonzero Kähler class, attempt to build a complete Kähler-Ricci flow $\omega_1(t)$ with $\pi_*(\omega_1(t)-\omega(t))$ exact on the punctured cone but with the class of $\omega_1(t)-\omega(t)$ nonzero in $H^{1,1}(M)$; if such a flow satisfies the curvature and Killing conditions yet differs from the self-similar flow, then the global exactness hypothesis is necessary.

Watch

Extended reading notes

Core claim

Theorem 1.2 asserts the equality $g_\phi(t)=g(t)$ for all $t\in(0,T)$ under four hypotheses: conical convergence to the Kähler cone, global exactness of the Kähler form difference $\omega_\phi=\omega+i\partial\bar\partial\phi$, Killing of the Reeb vector field $JX$ at one time, and the curvature bounds that the full Riemann curvature is bounded at each time, $\mathrm{Ric}(g_\phi)\le A/t$, and scalar curvature $R_{g_\phi}\ge -A/t$. The discovery is that these hypotheses, together with the soliton's quadratic curvature decay, force the Killing symmetry to hold at all times and reduce the uniqueness problem to a scalar complex Monge-Ampère equation; an energy monotonicity then forces the normalized flow to be static, so the two metrics coincide.

Load-bearing premise

The entire reduction to a scalar Monge-Ampère equation depends on the Kähler form difference being globally exact, $\omega_\phi-\omega=i\partial\bar\partial\phi$ on all of $M$; conical convergence alone gives only exactness away from the exceptional divisor, so this may fail depending on the topology of that divisor.

Editorial extensions

If this is right

The self-similar expanding soliton flow is the only complete Kähler-Ricci flow satisfying the four hypotheses and emerging from the cone, so any different candidate flow must violate at least one of them.
The Reeb vector field being Killing at one time implies it is Killing at every time, by forward and backward uniqueness of complete Ricci flows with bounded curvature.
The Kähler potential and obstruction scalar decay exponentially in the region where $r^2\gg t$, with rate $t e^{-f_t}f_t^{-n-1}$, giving a quantitative statement of how quickly the geometry loses memory of the cone.
The theorem needs only bounded full curvature at each time together with the one-sided Ricci and scalar bounds $\mathrm{Ric}\le A/t$ and $R\ge -A/t$, rather than a global $C/t$ bound on the full curvature operator.

Reading between the lines

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

If global exactness could be derived from conical convergence plus the other hypotheses whenever the exceptional divisor has vanishing $H^{1,1}$, hypothesis (ii) would be redundant; the paper leaves exactly this as an open question.
The energy argument suggests a selection principle: among all flows emerging from the same cone, the self-similar one is characterized by the fastest exponential decay of the obstruction scalar, a criterion that may remain meaningful even where uniqueness fails.
A natural test is to drop the Killing condition on a resolution with a smaller symmetry group; the proof breaks at the Monge-Ampère reduction, so a counterexample there would show the Killing hypothesis is essential rather than technical.
The normalized-flow energy may adapt to non-Kähler Ricci flows out of Ricci-flat cones whenever an expanding soliton and a suitable relative entropy functional exist.

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.

Desk Editor's Note

read the letter

The two things to know about arXiv:2505.00167: it proves a genuinely new statement, and its main caveat is on the table. The theorem says that under explicit hypotheses, any complete Kähler-Ricci flow emerging from a Kähler cone with a smooth canonical model must coincide with the self-similar flow of the unique expanding gradient soliton. That is a time-dependent uniqueness result, not just the static soliton uniqueness from CD20 and CDS24. The hypothesis that matters most is (ii): the Kähler potential must be globally exact on M. The author concedes in Remark 1.3 that conical convergence only gives exactness on the punctured cone, and Question 7.4 leaves open when global exactness holds. The entire reduction to a complex Monge-Ampère equation and the energy argument collapse without this assumption, so the theorem is conditional on a hypothesis that is not automatic. That is a real limitation of scope, not a hidden flaw.

What the paper does well: the strategy is clear and the proof is substantial. The normalized flow, the reduction to a complex Monge-Ampère equation, the barrier estimates giving exponential decay at spatial infinity, and the energy method forcing ψ̇ = 0 are all serious pieces of work. The author also flags the exactness issue honestly and lists it as an open question. The reliance on deep cited results—Perelman pseudolocality via Siepmann, CDS24 classification, Chen-Zhu and Kotschwar uniqueness—is standard practice here, and the central argument is not circular.

Soft spots, in proportion. First, the global exactness hypothesis is load-bearing and the paper does not provide sufficient conditions for it; the main theorem is best read as a conditional uniqueness statement. Second, Proposition 3.4's Taylor expansion at the singular initial time is formal—the time-zero terms are defined through the cone limit, and the expansion is asserted rather than derived from a rigorous initial-value problem. This is a minor concern because the later estimates do not depend on the expansion in a delicate way, but a referee should check it. Third, the curvature hypotheses are strong, and the paper does not discuss how often they hold beyond the soliton itself. These are limitations of scope, not internal contradictions.

Who this is for: specialists in geometric flows, especially people working on uniqueness and singular Ricci flows. The paper deserves a serious referee. I would send it to a good differential geometry journal and let an expert referee check the exactness condition and the Taylor expansion carefully. I would not desk-reject it.

Referee Report

3 major / 3 minor

Summary. The paper proves a conditional uniqueness theorem for Kähler-Ricci flows emerging from a Kähler cone. Given the unique asymptotically conical expanding gradient Kähler-Ricci soliton supplied by Conlon-Deruelle-Sun, the author shows that any complete Kähler-Ricci flow satisfying a conical convergence condition, a global exactness condition on the Kähler class, a Killing-field symmetry condition, and certain curvature bounds must coincide with the self-similar soliton flow. The proof passes to normalized variables, reduces the flow to a complex Monge-Ampère equation, derives spatial decay estimates from Perelman pseudolocality and maximum-principle barriers, and then uses an energy functional to force the normalized flow to be static. The result is presented as a partial answer to the Feldman-Ilmanen-Knopf uniqueness question.

Significance. If the proof is completed, the result would be a substantial advance: it handles conical initial data and curvature bounds of size C/t, a scaling-critical regime where earlier uniqueness results do not apply. The paper is also valuable for its explicit use of the Killing symmetry to force a global Monge-Ampère reduction, and for the detailed spatial asymptotics near the cone. The author is honest about the main limitation: condition (ii), global exactness of the difference of Kähler forms, is not automatic from conical convergence, as Remark 1.3 and Question 7.4 explicitly state. The theorem is therefore a conditional uniqueness statement rather than a full answer to the FIK question. The central strategy is plausible and many of the intermediate estimates are substantial, but two load-bearing issues in the written proof prevent me from accepting the paper in its current form.

major comments (3)

[§6.2, Claims 6.9 and 6.10] The divergence identity in Claim 6.9 is incorrect as stated. For the operator Δ_{wψ,X} = Δ_{wψ} + (1/2)X and the measure e^{fψ}wψ^n, integrating V = ψ̇^m∇ψ̇ by parts yields div_{e^{fψ}wψ}(V) = mψ̇^{m-1}|∇ψ̇|² + ψ̇^m(Δψ̇ + Xψ̇), which equals mψ̇^{m-1}|∇ψ̇|² + ψ̇^m(Δ_{wψ,X}ψ̇ + (1/2)Xψ̇). Thus the asserted identity (6.7) is missing the term -(1/2)∫ ψ̇^m Xψ̇ e^{fψ} wψ^n (up to boundary terms). The same omission appears in the proof of Claim 6.10, where the divergence theorem is applied with m = 2k. The extra drift term is not shown to vanish, and it is not controlled by the estimates in the paper. Consequently the key differential inequality ∂τA ≤ -2kA is not established, and the conclusion ψ̇ ≡ 0 does not follow from the argument as written.
[§3, Proposition 3.4] The Taylor expansion formula is not rigorously justified. The Ricci flow g(t) is defined only for t ∈ (0,T) and is not known to be smooth down to t = 0; the quantities (∂^j/∂t^j g(t))|_{t=0} appearing in (3.4) and (3.5) are therefore not defined in the usual sense. The proof invokes Taylor's theorem with integral remainder on [0,t], which requires differentiability up to t = 0. This is not merely a cosmetic issue: Proposition 5.1 and all later polynomial and exponential decay estimates rely on Proposition 3.4. The author should either prove that the relevant time derivatives extend to t = 0 on compact subsets of the regular part of the cone, or reinterpret the displayed sums as formal expansions whose coefficients are defined by a limiting procedure, and then prove the remainder estimates directly from the curvature decay of Theorem 3.2.
[Theorem 1.2 and Remark 1.3] The global exactness hypothesis (ii) is load-bearing for the entire proof: Proposition 4.4 and the subsequent energy argument require a global Kähler potential φ on all of M. As the author correctly notes in Remark 1.3, conical convergence alone only gives exactness of π*(wφ−w) on C0 minus the vertex, and Question 7.4 explicitly leaves open whether global exactness follows from algebraic properties of the exceptional set. This is a scope limitation of the theorem rather than an internal inconsistency, but it should be weighed in assessing the paper's contribution: the main theorem is a conditional statement, and the conditions under which it applies to arbitrary conical flows remain open.

minor comments (3)

[§5.2, proof of Proposition 5.2] In the proof, the line bounding |Δ_{w(t)}φ| contains the expression C(n)A0B_k t^k/r(x)^k; consistent with Proposition 5.1, the denominator should be r(x)^{2k}.
[§5, notation after Corollary 5.10] The notation Ωλ is reused: originally Ωλ is the parabolic region r(x)² > λt, but after Corollary 5.10 it is redefined as {f_t ≥ λ}. The author should explicitly rename one of these sets to avoid confusion.
[Throughout] There are numerous minor typographical issues, including 'spacial' for 'spatial' and inconsistent rendering of 'Kähler'; a careful proofreading pass would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is an independent energy argument under explicit hypotheses, with a clearly acknowledged scope limitation.

full rationale

The paper's central theorem is a conditional uniqueness statement, not a derivation that reduces to its own inputs. The hypotheses in Theorem 1.2 — conical convergence, global exactness of the Kähler potential difference, the Killing condition, and curvature bounds — are stated as assumptions. In particular, the global exactness hypothesis (ii) is explicitly acknowledged in Remark 1.3 to be non-automatic; the paper proves exactness only on the punctured cone, and Question 7.4 leaves the topological obstruction open. This is a limitation of scope, not circularity. The reduction to a complex Monge-Ampère equation in Proposition 4.4 is a genuine derivation from the Killing and exactness hypotheses, using harmonic-function arguments on the cone rather than assuming the conclusion. The energy argument in Section 6 constructs A(τ) from the normalized flow, proves it is bounded and monotone, and deduces ˙ψ = 0 via an ODE obtained from integration by parts; this does not presuppose that the two flows agree. No parameters are fitted to data, and no 'prediction' is statistically forced by a fitted input. The cited uniqueness theorems [CDS24], [FIK03], [CZ06], and [Kot10] are external prior work by other authors, so there is no load-bearing self-citation chain. The paper is self-contained in the sense that its central claim is an independent energy-based proof under explicitly stated hypotheses, with the acknowledged global-exactness gap appearing only as a scope limitation. Score 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof introduces functions u, psi, and energy A(tau) as analytical tools, but these are not empirically postulated entities. There are no free parameters fitted to data. All input comes from the cited geometric theorems listed in the axioms.

assumptions (5)

standard math Perelman's pseudolocality theorem, including the non-compact version of Chau-Tam-Yu (CTY11)
Used in the proof of Theorem 3.2 to derive quadratic curvature decay for flows coming out of Riemannian cones.
standard math Chen-Zhu uniqueness theorem and Kotschwar backward uniqueness for Ricci flow with bounded curvature
Used in Lemma 4.2 to propagate the Killing property of JX from one time slice to all times.
domain assumption Conlon-Deruelle-Sun (CDS24) existence and classification theorem for expanding gradient Kähler-Ricci solitons with quadratic decay, and their Theorem 2.19 on properness of the soliton potential
Provides the reference soliton (M,g,X), the resolution map, and compactness of sub-level sets used throughout Sections 5 and 6.
standard math Weak and strong maximum principles for linear and quasilinear parabolic and elliptic operators on complete non-compact manifolds, including Hopf's boundary maximum principle
Used repeatedly in Section 5.4 and Section 6 for barrier estimates and lower bounds (Lemma 2.3, Proposition 6.4).
standard math Compactness of the isometry group fixing the exceptional set E and Arzelà-Ascoli theorem, together with existence of a torus action generated by the closure of the JX flow
Used in Lemma 4.3 to average the Kähler potential over a torus and preserve symmetries.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Uniqueness of asymptotically conical K\"ahler-Ricci flow." pith.science (2026). https://pith.science/paper/EQRIXPCV

@misc{pith2026250500167,
  author       = {Pith},
  title        = {Pith review of: Uniqueness of asymptotically conical K\"ahler-Ricci flow},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EQRIXPCV}},
  note         = {Machine review of arXiv:2505.00167}
}

read the original abstract

We study the uniqueness problem for the K\"ahler-Ricci flow with a conical initial condition. Given a complete gradient expanding K\"ahler-Ricci soliton on a non compact manifold with quadratic curvature decay, including its derivatives, we establish that any complete solution to the Kahler-Ricci flow emerging from the soliton's tangent cone at infinity--appearing as a K\"ahler cone--must coincide with the forward self-similar K\"ahler-Ricci flow associated with the soliton, provided certain conditions hold. Specifically, if its K\"ahler form remains in the same cohomology class as that of the soliton's self-similar K\"ahler-Ricci flow, its full Riemann curvature operator is bounded for each fixed positive time, its Ricci curvature is bounded from above by A/t, its scalar curvature is bounded from below by -A/t, and it shares a same Killing vector field with the soliton metric. This paper gives a partial answer to a question in paper of Feldman-Ilmanen-Knopf, and generalizes the earlier work of Conlon-Deruelle and the work of Conlon-Deruelle-Sun.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 23 canonical work pages

[1]

Aubin, Nonlinear analysis on manifolds

T. Aubin, Nonlinear analysis on manifolds. Monge-Amp\`ere equations , Grundlehren der mathematischen Wissenschaften, 252, Springer, New York, 1982; MR0681859

work page 1982
[2]

S. B. Angenent and D. Knopf, Ricci solitons, conical singularities, and nonuniqueness, Geom. Funct. Anal. 32 (2022), no. 3, 411--489; MR4431121

work page 2022
[3]

R. L. Bryant, Ricci flow solitons in dimension three with SO(3)-symmetries, unpublished notes available at https://services.math.duke.edu/ bryant/3DRotSymRicciSolitons.pdf

work page
[4]

Chen, Strong uniqueness of the Ricci flow, J

B.-L. Chen, Strong uniqueness of the Ricci flow, J. Differential Geom. 82 (2009), no. 2, 363--382; MR2520796

work page 2009
[5]

Chow et al., The Ricci flow: techniques and applications

B. Chow et al., The Ricci flow: techniques and applications. Part I , Mathematical Surveys and Monographs, 135, Amer. Math. Soc., Providence, RI, 2007; MR2302600

work page 2007
[6]

ahler-Ricci solitons coming out of K\

R. J. Conlon and A. Deruelle, Expanding K\"ahler-Ricci solitons coming out of K\"ahler cones, J. Differential Geom. 115 (2020), no. 2, 303--365; MR4100705

work page 2020
[7]

R. J. Conlon, A. Deruelle and S. Sun, Classification results for expanding and shrinking gradient K\"ahler-Ricci solitons, Geom. Topol. 28 (2024), no. 1, 267--351; MR4711837

work page 2024
[8]

Chau, L.-F

A. Chau, L.-F. Tam and C. Yu, Pseudolocality for the Ricci flow and applications, Canad. J. Math. 63 (2011), no. 1, 55--85; MR2779131

work page 2011

Show all 25 references

[9]

Chen and X.-P

B.-L. Chen and X.-P. Zhu, Uniqueness of the Ricci flow on complete noncompact manifolds, J. Differential Geom. 74 (2006), no. 1, 119--154; MR2260930

2006
[10]

Deruelle, Cours M2 : Une introduction au flot de Ricci, online unpublished notes available at https://www.imo.universite-paris-saclay.fr/fr/perso/alix-deruelle/notes-de-cours/

A. Deruelle, Cours M2 : Une introduction au flot de Ricci, online unpublished notes available at https://www.imo.universite-paris-saclay.fr/fr/perso/alix-deruelle/notes-de-cours/
[11]

Deruelle, Unique continuation at infinity for conical Ricci expanders, Int

A. Deruelle, Unique continuation at infinity for conical Ricci expanders, Int. Math. Res. Not. IMRN 2017 , no. 10, 3107--3147; MR3658133

2017
[12]

Deruelle and F

A. Deruelle and F. Schulze, A relative entropy and a unique continuation result for Ricci expanders, Comm. Pure Appl. Math. 76 (2023), no. 10, 2613--2692; MR4630599

2023
[13]

Feldman, T

M. Feldman, T. Ilmanen and D. Knopf, Rotationally symmetric shrinking and expanding gradient K\"ahler-Ricci solitons, J. Differential Geom. 65 (2003), no. 2, 169--209; MR2058261

2003
[14]

R. S. Hamilton, Three-manifolds with positive Ricci curvature, J. Differential Geometry 17 (1982), no. 2, 255--306; MR0664497

1982
[15]

Huang and L.-F

S. Huang and L.-F. Tam, K\"ahler-Ricci flow with unbounded curvature, Amer. J. Math. 140 (2018), no. 1, 189--220; MR3749193

2018
[16]

B. L. Kotschwar, Backwards uniqueness for the Ricci flow, Int. Math. Res. Not. IMRN 2010 , no. 21, 4064--4097; MR2738351

2010
[17]

B. L. Kotschwar, An energy approach to the problem of uniqueness for the Ricci flow, Comm. Anal. Geom. 22 (2014), no. 1, 149--176; MR3194377

2014
[18]

B. L. Kotschwar, Short-time persistence of bounded curvature under the Ricci flow, Math. Res. Lett. 24 (2017), no. 2, 427--447; MR3685279

2017
[19]

M.-C.Lee, Uniqueness of Ricci flow with scaling invariant estimates, arXiv:2503.20292 (2025)

2025 arXiv
[20]

Ozuch and I

T. Ozuch and I. M. Lopez Ancient and expanding spin ALE Ricci flows, arxiv:2407.18438 (2024)

2024 arXiv
[21]

G. Y. Perelman, The entropy formula for the Ricci flow and its geometric applications, arxiv:math/0211159 (2002)

2002 arXiv
[22]

Siepmann, Ricci flows of R icci flat cones , Ph.D

M. Siepmann, Ricci flows of R icci flat cones , Ph.D. thesis, ETH Z\"urich, 2013, available at http://e-collection.library.ethz.ch/eserv/eth:7556/eth-7556-02.pdf

2013
[23]

Shi, Deforming the metric on complete Riemannian manifolds, J

W.-X. Shi, Deforming the metric on complete Riemannian manifolds, J. Differential Geom. 30 (1989), no. 1, 223--301; MR1001277

1989
[24]

P. M. Topping, Ricci flow compactness via pseudolocality, and flows with incomplete initial metrics, J. Eur. Math. Soc. (JEMS) 12 (2010), no. 6, 1429--1451; MR2734348

2010
[25]

Z. H. Zhang, On the completeness of gradient Ricci solitons, Proc. Amer. Math. Soc. 137 (2009), no. 8, 2755--2759; MR2497489

2009

Pith tools

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

[1] [1]

Aubin, Nonlinear analysis on manifolds

T. Aubin, Nonlinear analysis on manifolds. Monge-Amp\`ere equations , Grundlehren der mathematischen Wissenschaften, 252, Springer, New York, 1982; MR0681859

work page 1982

[2] [2]

S. B. Angenent and D. Knopf, Ricci solitons, conical singularities, and nonuniqueness, Geom. Funct. Anal. 32 (2022), no. 3, 411--489; MR4431121

work page 2022

[3] [3]

R. L. Bryant, Ricci flow solitons in dimension three with SO(3)-symmetries, unpublished notes available at https://services.math.duke.edu/ bryant/3DRotSymRicciSolitons.pdf

work page

[4] [4]

Chen, Strong uniqueness of the Ricci flow, J

B.-L. Chen, Strong uniqueness of the Ricci flow, J. Differential Geom. 82 (2009), no. 2, 363--382; MR2520796

work page 2009

[5] [5]

Chow et al., The Ricci flow: techniques and applications

B. Chow et al., The Ricci flow: techniques and applications. Part I , Mathematical Surveys and Monographs, 135, Amer. Math. Soc., Providence, RI, 2007; MR2302600

work page 2007

[6] [6]

ahler-Ricci solitons coming out of K\

R. J. Conlon and A. Deruelle, Expanding K\"ahler-Ricci solitons coming out of K\"ahler cones, J. Differential Geom. 115 (2020), no. 2, 303--365; MR4100705

work page 2020

[7] [7]

R. J. Conlon, A. Deruelle and S. Sun, Classification results for expanding and shrinking gradient K\"ahler-Ricci solitons, Geom. Topol. 28 (2024), no. 1, 267--351; MR4711837

work page 2024

[8] [8]

Chau, L.-F

A. Chau, L.-F. Tam and C. Yu, Pseudolocality for the Ricci flow and applications, Canad. J. Math. 63 (2011), no. 1, 55--85; MR2779131

work page 2011