{"id":"b79e9625-4ebd-4a5e-b05e-59f1f4144964","arxiv_id":"2505.00167","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A complete Kähler-Ricci flow coming out of a Kähler cone must be the self-similar soliton flow when it shares the cohomology class, a Killing field, and curvature bounds.","lead":"The paper proves that, under a list of geometric conditions, the only complete Kähler-Ricci flow emerging from a conical singularity is the self-similar flow of the unique expanding Kähler-Ricci soliton. It matters because it gives a partial answer to a 2003 uniqueness question of Feldman-Ilmanen-Knopf and extends recent soliton uniqueness results to the time-dependent setting.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The global exactness hypothesis (Theorem 1.2(ii)) is load-bearing: without it the reduction to a complex Monge-Ampère equation and the energy argument collapse, and the paper only establishes exactness on the punctured cone.","rationale":"The paper proves a conditional uniqueness theorem: assuming global exactness, a Killing condition, and curvature bounds, any flow emerging from the Kähler cone with the same cohomology class must equal the self-similar flow. The proof is internally coherent: the pseudolocality-based decay estimates, the extension of the Killing condition via Chen–Zhu and Kotschwar, and the energy method all fit together, and I found no concrete algebraic or analytic error in the main chain of arguments. The weakest point is indeed the global exactness hypothesis, exactly as the Reader's verdict identified. The author flags it honestly in Remark 1.3 and returns to it in Question 7.4. This is a genuine restriction on the scope of the theorem: if the exactness condition fails, the reduction to a complex Monge-Ampère equation and all subsequent estimates do not apply. However, since the theorem states the condition as an explicit hypothesis rather than claiming it follows from the other assumptions, this does not invalidate the result as stated. It does mean the paper gives only a partial answer to the FIK uniqueness question, which the author also acknowledges. I therefore see no reason to change the Reader's ACCEPT verdict.","tokens_in":33411,"tokens_out":15183,"duration_ms":153376,"concrete_test":"Compute the restriction map H^{1,1}(M) → H^{1,1}(M\\E) for the canonical model M of a Kähler cone (e.g., M = O(−k) → CP^{n−1}) and determine its kernel. If there is a nonzero class α in the kernel, try to realize it by a smooth family ω_φ(t) = ω(t) + i∂∂̄φ(t) satisfying the conical, curvature, and Killing hypotheses of Theorem 1.2; if such a family exists with [ω_φ − ω] = α, then condition (ii) is genuinely restrictive and the theorem does not cover it. If the kernel is trivial for all such M, then exactness is automatic and the theorem is stronger than its caveat suggests.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central reduction in Proposition 4.4 requires a global Kähler potential φ with ω_φ = ω + i∂∂̄φ on all of M. This is exactly hypothesis (ii), and Remark 1.3 admits it is not automatic: conical convergence only gives exactness of π_*(ω_φ − ω) on C0 minus the vertex. Since [ω_φ − ω] is constant in time, the possibility remains that it has a nonzero component in H^{1,1}(M) supported on the exceptional set E; no argument in the paper rules this out. If such a component exists, the Monge-Ampère reduction, the estimates of Sections 5–6, and the energy proof do not go through. The author's Question 7.4 explicitly leaves this open. Thus the theorem is a conditional uniqueness statement: it does not, by itself, answer FIK Question 1.1 for all flows emerging from the cone, and the strength of the result depends on how often (ii) holds. This is a limitation of scope rather than an internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":33555,"tokens_out":15357,"duration_ms":159014,"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":[{"comment":"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.","section":"§6.2, Claims 6.9 and 6.10"},{"comment":"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.","section":"§3, Proposition 3.4"},{"comment":"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.","section":"Theorem 1.2 and Remark 1.3"}],"minor_comments":[{"comment":"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}.","section":"§5.2, proof of Proposition 5.2"},{"comment":"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.","section":"§5, notation after Corollary 5.10"},{"comment":"There are numerous minor typographical issues, including 'spacial' for 'spatial' and inconsistent rendering of 'Kähler'; a careful proofreading pass would improve readability.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The false divergence identity in §6.2 is the main technical obstacle; if it cannot be repaired by adding a drift term and estimating it, the energy proof collapses. The Taylor expansion issue in §3 is also serious but perhaps more readily fixable. I recommend major revision rather than rejection because the overall strategy is coherent and the paper contains substantial correct partial estimates, but the current version does not prove the main theorem as written."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat 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.\n\nSoft 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.\n\nWho 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.","headline":"New time-dependent uniqueness theorem for Kähler-Ricci flow from Kähler cones, honest about its load-bearing global exactness assumption.","tokens_in":34119,"tokens_out":1725,"would_cite":true,"duration_ms":19577,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C55"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Kähler-Ricci flow","expanding gradient Kähler-Ricci soliton","Kähler cone","smooth canonical model","complex Monge-Ampère equation","uniqueness","energy method","asymptotically conical"],"falsifier":"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.","tokens_in":33152,"feed_emoji":"🌀","tokens_out":11317,"duration_ms":99808,"temperature":0.7,"pith_summary":"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.","feed_headline":"A Kähler cone forces a unique Ricci flow out of the singularity","feed_subtitle":"The self-similar expanding soliton is the only flow emerging from the cone when cohomology, Killing, and curvature conditions hold.","key_machinery":"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$.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the existence and uniqueness of the expanding gradient Kähler-Ricci soliton with quadratic curvature decay and its tangent cone, which is the setup of Theorem 1.2.","marker":"[CDS24]"},{"why":"Constructs the model expanding solitons on line bundles and raises the uniqueness and selection question that this paper partially answers.","marker":"[FIK03]"},{"why":"Earlier uniqueness result for asymptotically conical expanding solitons that this paper generalizes to flows coming out of the cone.","marker":"[CD20]"},{"why":"Forward uniqueness for complete Ricci flows with bounded curvature, used to propagate the Killing property to later times.","marker":"[CZ06]"},{"why":"Backward uniqueness for complete Ricci flows, used to propagate the Killing property to earlier times.","marker":"[Kot10]"},{"why":"Quadratic curvature decay for Ricci flows coming out of Riemannian cones, which yields the Taylor expansion estimates in Proposition 3.4.","marker":"[Sie13]"},{"why":"Relative entropy and unique continuation results for Ricci expanders that motivate the exponential decay and energy estimates at infinity.","marker":"[DS20]"},{"why":"Pseudolocality theorem used to show the full curvature and its derivatives decay quadratically outside compact sets.","marker":"[Per02]"}],"fun_headline_variants":["Unique Kahler-Ricci flow from a cone with curvature bounds","Cone, cohomology, and Killing symmetry pin down the flow","Asymptotic cone dictates the Ricci flow uniquely","Expanding soliton is the sole flow from the Kahler cone","Curvature decay and symmetry ensure unique Ricci flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Unique Kahler-Ricci flow from a cone with curvature bounds","Cone, cohomology, and Killing symmetry pin down the flow","Asymptotic cone dictates the Ricci flow uniquely","Expanding soliton is the sole flow from the Kahler cone","Curvature decay and symmetry ensure unique Ricci flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000752,"raw_usage":{"total_tokens":3346,"prompt_tokens":945,"completion_tokens":2401,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":2316}},"tokens_in":561,"tokens_out":2401,"duration_ms":16694,"temperature":1.0,"reasoning_tokens":2316,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:49:54.829140+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}