{"id":"a0b495c1-343b-4155-bee2-de79a91fc380","arxiv_id":"2607.26054","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Every complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone is asymptotically conical, which yields uniqueness up to pullback by biholomorphism.","lead":"The paper proves that on a resolution of a Kähler cone, every complete shrinking Kähler-Ricci soliton — a model for how a space shrinks under Ricci flow — is asymptotically conical, and therefore at most one such soliton can exist up to biholomorphism. The result settles a special case of the Song-Zhang uniqueness conjecture and removes bounded-curvature assumptions from earlier classifications.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop 4.25's final curvature-decay step is unverified: it invokes a missing 'standard' inequality and asserts |∇^{g_φ}Ψ|² = |Rm(g_φ)−Rm(g)|², which is not an identity; a gap here invalidates Theorem A.","rationale":"I read the paper as a serious attempt to prove that every shrinker on a resolution of a Kähler cone is asymptotically conical, with uniqueness following from Esparza's theorem. The Monge-Ampère setup in §3 is detailed and the strategy mirrors the authors' earlier work. However, the final curvature-decay proposition is the load-bearing step for Theorem A, and its proof is not complete in the manuscript: it is explicitly sketchy, cites a missing 'standard' inequality with a '[?]' placeholder, and appears to contain a false equality (|∇^{g_φ}Ψ|² = |Rm(g_φ)−Rm(g)|²). This is an internal correctness risk, not a dispute with consensus. The reader's weakest_assumption focused on Esparza's theorem and the compactness of the zero set of X; those are legitimate external dependencies, but I judge the internal gap in Prop 4.25 to be at least as load-bearing, since it directly supports Theorem A. The proposed concrete check—filling in the proof of Prop 4.25 and verifying the curvature inequality—would settle whether this concern lands. If the gap is closed, the paper's conditional acceptance should be upgraded; if not, Theorem A is unsupported. My agreement with the reader is partial because both of us flag Prop 4.25, but the reader's formal weakest_assumption is the Esparza scope, whereas I emphasize the unverified estimate chain in §4.4–4.5.","tokens_in":30577,"tokens_out":4993,"duration_ms":47783,"concrete_test":"Independently re-derive the curvature estimate in Prop 4.25: (a) locate or verify the 'standard' inequality ½Δ_{gφ,X}|Rm(g_φ)|² ≥ |∇Rm(g_φ)|² + 2|Rm(g_φ)|² − C|Rm(g_φ)|³ for gradient shrinking Kähler-Ricci solitons; (b) replace the asserted equality in (4.23) by the correct inequality |Rm(g_φ)−Rm(g)| ≤ C(|∇^{g_φ}Ψ| + |Ψ|²) and re-run the barrier argument with explicit constants. If either the inequality is false or the resulting (4.24) cannot be closed with the stated decay, Theorem A fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim Theorem A depends on Prop 4.25, whose proof is explicitly labeled 'sketchy' (p.26) and relies on a 'standard' differential inequality for |Rm(g_φ)| with citation placeholder '[?]'. The same proof states |∇^{g_φ}Ψ|²_{g_φ} = |Rm(g_φ)−Rm(g)|²_{g_φ}. But Ψ in (4.16) is the Christoffel-symbol difference; its covariant derivative controls the curvature difference only up to lower-order terms: |Rm(g_φ)−Rm(g)| ≤ C(|∇^{g_φ}Ψ| + |Ψ|²). The asserted equality is not generally true. If the intended inequality requires controlling |Ψ|² or an extra f_φ^{-2} term, then the constants in (4.23)–(4.24) must be re-verified. Because Prop 4.25 is the last step converting the Monge-Ampère estimates into quadratic curvature decay, any gap here would invalidate Theorem A and hence Corollary B. This is compounded by the missing reference for the curvature-evolution inequality and by the cross-reference error in Lemma 4.24 ('left-hand side of (4.4)' should be (4.22)).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that every complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone has quadratic curvature decay, hence is asymptotically conical (Theorem A). Relying on a theorem of Esparza, it then concludes that, up to pullback by biholomorphism, there is at most one such soliton on a given resolution (Corollary B), confirming a special case of a Song–Zhang conjecture. The proof proceeds by constructing a canonical asymptotically conical background metric (Prop. 3.4), reducing the soliton equation to the complex Monge–Ampère equation (3.6), and then deriving a long sequence of a priori estimates (§4) culminating in curvature decay. The structural logic is clear, and the reduction to (3.6) is carried out in detail, but the final curvature-decay step is sketchy and contains a false identity, and the application of Esparza's theorem is not documented.","tokens_in":30768,"tokens_out":19062,"duration_ms":152542,"significance":"If Theorem A is correct, it is a substantial result: it removes the bounded-curvature assumption from earlier classification work and establishes conical asymptotics for all shrinking gradient Kähler-Ricci solitons on resolutions of Kähler cones, thereby yielding the advertised uniqueness corollary. The strategy — deriving the asymptotic geometry from a Monge–Ampère equation with decaying data — is attractive and the background-metric construction is genuinely useful. However, the proof as written is not yet complete: Proposition 4.25, the last step proving quadratic curvature decay, contains an incorrect identity and cites a missing reference. The corollary also depends on an unstated hypothesis of an external uniqueness theorem. These are load-bearing issues for the central claims.","major_comments":[{"comment":"The final step proving quadratic curvature decay is not rigorous as written. First, the displayed identity |∇^{gφ}Ψ|²_{gφ} = |Rm(gφ)−Rm(g)|²_{gφ} is false in general: Ψ, defined in (4.16), is the tensor of Christoffel-symbol differences, and the curvature difference is controlled only up to lower-order terms, schematically |Rm(gφ)−Rm(g)| ≤ C(|∇^{gφ}Ψ| + |Ψ|²). Second, the \"standard\" differential inequality for |Rm(gφ)| is cited as \"[?]\" with no reference. Since Prop. 4.25 is precisely the step that converts the estimates of §4 into Theorem A, this gap is load-bearing. If the intended argument requires absorbing |Ψ|⁴ (equivalently S²) using the boundedness of S from Prop. 4.22, then the inequalities (4.23)–(4.24) must be re-derived with the correct error terms. The proof also ends with \"one can deduce\" and \"one can show\" in the key decay argument; these steps need to be written out.","section":"§4, Prop. 4.25 (eqs. (4.23)–(4.24))"},{"comment":"The deduction of Corollary B from [Esp25b, Theorem 1.1] is asserted without stating the hypotheses of Esparza's theorem. This matters because Theorem A proves that each soliton is asymptotically conical but, as the paper itself notes, does not determine the asymptotic cone. If Esparza's uniqueness theorem applies only to shrinkers sharing the same tangent cone, then two solitons on the same resolution M with different asymptotic cones would not be covered by the quoted result. Please state the precise theorem and explain how it applies to arbitrary pairs of shrinkers on a fixed resolution π:M→C₀. This is essential because Corollary B is the paper's main application.","section":"§1.2, Cor. B"}],"minor_comments":[{"comment":"Equation (3.12) does not follow from (3.11). The correct primitive obtained from the preceding display is φ + log((ω+i∂∂̄φ)ⁿ/ωⁿ) − ½X·φ − F = c, not −φ + log((ω+i∂∂̄φ)ⁿ/ωⁿ) + ½X·φ − F = c. Solving the printed equation would yield the wrong exponent in (3.6), although the correct (3.6) does follow from the equation just before (3.12). Please correct the sign.","section":"§3.2, eq. (3.12)"},{"comment":"The solution of dh/dt = λh is h(γ(t)) = h(x)e^{λt}, not h(γ(t)) = h(x)e^{-λt}. As printed, the convergence limits in the next display are reversed. The intended conclusion λ>0 survives after correcting this sign.","section":"§3.1, Claim 3.3"},{"comment":"The sentence \"An integration by parts then shows that the left-hand side of (4.4) is bounded from above\" appears to refer to (4.22), not (4.4). The scalar-curvature equation (4.4) is unrelated to the integral being estimated.","section":"§4.4, Lemma 4.24"},{"comment":"The statement of Proposition 4.22 only asserts the boundedness of |∇^g(ωφ−ω)|_g, but the proof actually establishes quadratic decay of S = |∇^g gφ|²_{gφ} at infinity. Since Proposition 4.25 uses this stronger decay, please include it in the statement.","section":"§4.4, Prop. 4.22"},{"comment":"Proposition 4.25 contains a citation placeholder \"[?]\" for the curvature evolution inequality; this needs to be a real reference or a proof. Also, [CE25a] and [CE25b] appear to have identical titles and arXiv numbers; please check whether these are distinct works.","section":"References / Prop. 4.25"},{"comment":"The proof of Proposition 2.9 cites [SZ24, Proposition 3.15] for compactness of the zero set of X, while Lemma 2.8 and Lemma 4.9 cite [SZ24, Proposition 3.5]. Please reconcile the numbering.","section":"§2.4, Prop. 2.9"}],"recommendation":"major_revision","confidential_remarks":"The core strategy is plausible and the reduction to the Monge–Ampère equation is a genuine strength, but the current text does not prove the central curvature-decay claim: Prop. 4.25 is explicitly sketchy, contains a false identity, and relies on an unreferenced estimate. The Esparza application should also be checked carefully: if uniqueness requires a fixed tangent cone, Corollary B may be too strong. These are repairable in principle, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper has a real result in it, but the proof as submitted has a hole at the exact point where Theorem A is concluded. The authors show that a shrinker on a resolution of a Kähler cone can be written as a solution of a complex Monge–Ampère equation, and they carry out a long chain of a posteriori estimates to get quadratic curvature decay. The structural reduction—replacing the bounded-Ricci assumption with compactness of the zero set of X—is the genuine new idea, and the Monge–Ampère setup in §3 is done carefully. I didn't see circular reasoning; the dependence on [SZ24] and on Esparza is explicit. If Theorem A stands, Corollary B and the applications to C^n and O(-k) follow cleanly.\n\nHowever, Proposition 4.25 is not a proof as written. It is explicitly labeled sketchy, it invokes a 'standard' inequality with a dangling '[?]' placeholder, and it asserts an equality—|∇^{g_φ} Ψ|² = |Rm(g_φ) − Rm(g)|²—that is false in general; the curvature difference involves ∇Ψ plus quadratic terms in Ψ. The needed lower bound might be obtained by combining the correct formula with the quadratic decay of S established in Proposition 4.22, so I suspect the gap is repairable. But the referee has to see the repair, not guess it. As it stands, Theorem A is conditional.\n\nSecond, Corollary B cites Esparza's theorem without stating its hypotheses. If Esparza's theorem compares shrinkers asymptotic to the same cone, then the fact that Theorem A does not identify the cone is a real issue; if it compares all AC shrinkers on a fixed complex manifold, that's fine. The paper owes the reader the statement. That is a small fix, but important.\n\nMinor items: the duplicated [CE25a]/[CE25b] entries and a couple of cross-reference slips suggest the manuscript needs a polish pass.\n\nVerdict: this is a serious paper by people who know what they are doing, and the main idea is good. Send it to a good referee, with instructions to read Proposition 4.25 line by line. I would not desk reject, and I would not accept without a rewritten final section.","headline":"The paper's structural insight is real, but Prop 4.25—the final step to quadratic curvature decay—is not proven as written, so Theorem A should be treated as conditional pending a complete proof.","tokens_in":31447,"tokens_out":6502,"would_cite":true,"duration_ms":61778,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","53E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone has quadratic curvature decay and is therefore asymptotically conical; an existing uniqueness theorem then implies at most one suc","keywords":["Kähler-Ricci soliton","shrinking gradient soliton","asymptotically conical","Kähler cone","resolution of singularities","complex Monge-Ampère equation","quadratic curvature decay","uniqueness"],"falsifier":"Exhibit a complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone for which the Riemann curvature does not decay like d(p, x)^(-2), for example curvature bounded below away from zero along a sequence going to infinity; Theorem A states that none exists.","tokens_in":30291,"feed_emoji":"🌀","tokens_out":9239,"duration_ms":76918,"temperature":0.7,"pith_summary":"Shrinking gradient Kähler-Ricci solitons are distinguished Kähler metrics that move by self-similar scaling under the Ricci flow and model finite-time singularities. The paper asks how many such solitons a resolution of a Kähler cone — a non-compact complex manifold obtained by smoothing out the apex of a cone — can carry. It proves that every complete one necessarily has quadratic curvature decay, hence is asymptotically conical, with the soliton vector field becoming the radial flow of the cone at infinity. Since a known uniqueness theorem applies to asymptotically conical shrinkers, at most one complete shrinking gradient Kähler-Ricci soliton exists on any given resolution, up to pullback by biholomorphism. The significance is that uniqueness no longer needs a bounded-Ricci-curvature assumption, and a special case of a broader uniqueness conjecture for polarised Fano fibrations follows.","feed_headline":"All shrinking solitons on cone resolutions are conical","feed_subtitle":"Quadratic curvature decay forces at most one soliton per resolution, confirming a special case of a conjecture.","key_machinery":"The heart of the argument is the complex Monge-Ampère equation (ω + i∂∂̄φ)^n = e^{F + (X·φ)/2 − φ}ω^n, where ω is a torus-invariant background Kähler metric asymptotic to the cone, X is the soliton vector field, and F is a known function with r^-2 decay. It encodes that ω + i∂∂̄φ is again a shrinking Kähler-Ricci soliton with the same vector field. The machinery consists of a posteriori estimates for this equation: an L² maximum principle with a drift term from X, a Schwarz lemma adapted to the drift Laplacian, and weighted barrier arguments that first control φ and X·φ linearly in the potential, then show the metrics are bi-Lipschitz, then control C³ norms, and finally force the curvature o","core_discovery":"The central claim, Theorem A, is that the asymptotic geometry of a complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone is forced: it must be asymptotically conical, i.e., its Riemann curvature decays like the inverse square of the distance from a fixed point. The proof begins with the observation that the cone metric itself, together with its radial vector field r∂_r, is a shrinking Kähler-Ricci soliton up to errors of order r^-2. A torus-invariant background metric is then built from the cone, and the actual soliton is written as a perturbation of that background by i∂∂̄φ, where φ solves a complex Monge-Ampère equation whose coefficients decay at rate r^-2. The","pith_inferences":["The asymptotic cone of a shrinker on a given resolution is not specified by Theorem A; if two solitons on the same resolution were ever found with different cones, uniqueness would force the cone to be a biholomorphism invariant of the resolution rather than a choice made when constructing the soliton.","The estimate chain uses compactness of the zero set of X. A natural test is whether the same Monge-Ampère strategy works for steady or expanding solitons on cone resolutions, where the zero set may not be compact.","The a posteriori bounds suggest a quantitative stability statement: any two shrinkers on the same resolution should be conjugate by a biholomorphism that approaches the identity at infinity with a definite rate, a property that could be checked in explicit toric examples.","If a resolution admits a continuous family of cone structures, uniqueness implies that soliton existence itself is a free-boundary problem: the soliton selects its own asymptotic cone. This is consistent with the paper's observation that the tangent cone cannot be determined in advance."],"forward_implications":["Every complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone is asymptotically conical; non-conical shrinkers cannot occur on such manifolds.","On a fixed resolution, all such solitons are the same up to pullback by biholomorphism; in particular, on C^n the only one is the flat Gaussian soliton, and on the total space of O(-k) → CP^(n-1) (0 < k < n) the only one is the standard U(n)-invariant example.","Earlier classification theorems for shrinking Kähler-Ricci solitons on C^n and on that line bundle no longer require a bounded-Ricci-curvature assumption.","Each such soliton admits a maximal torus of holomorphic isometries with the soliton vector field in its Lie algebra, and the soliton vector field uniquely minimizes the weighted volume functional; equivalently, the resolution is a K-polystable polarised Fano fibration.","The uniqueness conjecture for shrinkers on polarised Fano fibrations is confirmed in the special case where the fibration is a resolution of a Kähler cone."],"fun_headline_variants":["Cone resolutions: at most one shrinking soliton","Shrinking solitons on cone resolutions must be conical","Conical decay forces unique soliton on cone resolutions","Uniqueness proven for solitons on Kähler cone resolutions"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the zero set of the soliton vector field is compact — a fact taken from a companion paper — since without it the conical background metric and the whole estimate chain cannot be set up.","fun_headline_variants_meta":{"raw":{"variants":["Cone resolutions: at most one shrinking soliton","Shrinking solitons on cone resolutions must be conical","Conical decay forces unique soliton on cone resolutions","Uniqueness proven for solitons on Kähler cone resolutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000271,"raw_usage":{"total_tokens":1407,"prompt_tokens":625,"completion_tokens":782,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":369,"completion_tokens_details":{"reasoning_tokens":722}},"tokens_in":369,"tokens_out":782,"duration_ms":7686,"temperature":1.0,"reasoning_tokens":722,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T00:45:32.736096+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a complete shrinking gradient Kähler-Ricci soliton on a resolution of a Kähler cone for which the Riemann curvature does not decay like d(p, x)^(-2), for example curvature bounded below away from zero along a sequence going to infinity; Theorem A states that none exists.","supporting_citations":[],"review_version":1}