{"id":"1267ee3a-6c4d-4718-a180-8516727a60e0","arxiv_id":"1908.10091","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"K-stable smoothable Q-Fano varieties admit Kähler-Ricci solitons, extending the Yau-Tian-Donaldson correspondence for solitons from the smooth case to the singular smoothable case.","lead":"A mathematics paper proves that K-stable singular Fano varieties that can be smoothed by a family of smooth ones always admit a Kähler-Ricci soliton, a canonical metric with controlled curvature. The result extends the Yau-Tian-Donaldson correspondence, which links algebraic stability to the existence of canonical metrics, from smooth spaces to this singular class.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Endpoint λ=1 is not covered by the L∞ estimates; the closedness step in Theorem 6.1 lacks a compactness argument for the singular central fiber.","rationale":"The reader's weakest_assumption already identifies the GH-limit transfer at the endpoint λ=1 as load-bearing, and my reading confirms this is the most serious gap. The paper's own estimates degenerate precisely at λ=1: the coercivity constant δλ in §4.3 vanishes as λ→1, so the uniform L∞ bounds used in Proposition 4.6 and Theorem 5.1 are only available for λ bounded away from 1. The closedness proof in Theorem 6.1 nonetheless needs a limit of twisted solitons at λ_i→1, and then appeals to K-stability to identify the limit as M0. That identification is exactly where the singular structure of M0 matters, since the smooth approximation arguments of [15] and the algebraic compactness of [16] are invoked without a detailed check that they extend to Q-Fano varieties at the endpoint. This is not a fatal flaw: the statement is known to be true by later work, and the missing compactness is plausibly patchable. But as written, the proof does not cover the final step needed for Theorem 1.1. Since the reader's verdict is already CONDITIONAL and this concern supports that verdict without moving it, I recommend UNCHANGED.","tokens_in":28170,"tokens_out":10626,"duration_ms":103238,"concrete_test":"Re-derive the closedness step in Theorem 6.1 with λ∞=1, replacing the appeal to §4 estimates by an explicit statement of the compactness theorem used. Concretely, write down the diagonal sequence λ_i→1 and try to prove the claimed uniform bound on ||φ_{t_i,λ_i}||_{L∞} using only the inequalities displayed in §4.3; the constant δ_{λ_i} tends to 0, so this bound cannot follow from the displayed δλ inequality. Then check whether [15, P991-992] or [16] contains a theorem that applies verbatim to Q-Fano M0 at λ=1 and yields a Gromov-Hausdorff limit; if it does, the gap is patchable, and if not, the endpoint case is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.1 needs a Kähler-Ricci soliton on M0, i.e. the twisted soliton at λ=1, but all a priori bounds in §4 are proved only for λ in compact subintervals [1-m^-1+ε, λ̄-ε] with λ̄<1. In §4.3 the key constant is δλ = -r(λ̂)(λ-λ̄)/(λ̂-λ̄), which is strictly positive only for λ<λ̄; choosing λ̄=1 gives δλ = r(λ̂)(1-λ)/(1-λ̂), tending to 0 as λ→1. Hence Proposition 4.6 yields no uniform L∞ bound for the diagonal sequence λ_i→1 used in the closedness argument of Theorem 6.1. Theorem 5.1 is stated for λ∈(1-m^-1,1], but its hypothesis of uniformly bounded ||φt,λ||L∞ is never proved at λ=1. The closedness proof passes to a Gromov-Hausdorff limit (Y,...,(1-λ∞)β,ω) for λ_i→λ∞ and then uses K-stability to identify Y with M0; at λ∞=1 this requires a compactness theorem for twisted solitons on the singular Q-Fano variety M0 without the §4 bounds. The paper delegates this step to [15, P991-992] and [16], but the text does not verify that those results apply verbatim to singular Q-Fano central fibers at the endpoint λ=1. If such a compactness theorem is not available, the open-closed continuity argument stops short of the actual soliton.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a proof of the existence of Kähler-Ricci solitons on smoothable Q-Fano varieties under a K-stability hypothesis. Given a Q-Gorenstein smoothing π:M→Δ of a Q-Fano variety M0 and a reductive holomorphic vector field V on M preserving the fibers, the main theorem asserts that if (M0,V0) is K-stable, then M0 admits a Kähler-Ricci soliton with soliton vector field V0. The proof follows the Aubin continuity method: section 3 establishes existence of twisted Kähler-Ricci solitons for small r(λ) via properness of the Mabuchi functional, section 4 derives L∞ and higher-order estimates for λ in compact subintervals, section 5 studies Gromov-Hausdorff convergence of the twisted soliton metrics to the central fiber, and section 6 runs an open-closed continuity argument to reach λ=1, which is the untwisted soliton case.","tokens_in":28298,"tokens_out":6256,"duration_ms":57691,"significance":"If the proof is correct, the result would significantly extend the Datar-Székelyhidi existence theorem for Kähler-Ricci solitons on Fano manifolds and the Spotti-Sun-Yao theorem for Kähler-Einstein metrics on smoothable Q-Fano varieties, giving a K-stability criterion for solitons on singular central fibers. The paper has clear strengths: the variational framework is a coherent use of established pluripotential theory, the proof has no fitted parameters, and the overall architecture matches successful prior proofs. The main reservation is that the endpoint λ=1, which is precisely the case needed for Theorem 1.1, is not covered by the uniform estimates proved in section 4, and the compactness argument in section 6 relies on an unstated extension of known theorems to singular central fibers at that endpoint.","major_comments":[{"comment":"The uniform L∞ bound is proved only for λ in compact subintervals [1−m^{−1}+ε, λ̄−ε] with λ̄<1. In the closedness step of Theorem 6.1, a sequence λ_i∈Λ increasing to λ∞ is used, and when λ∞=1 the constant δ_λ = r(λ̂)(1−λ)/(1−λ̂) tends to zero as λ→1, so no uniform bound for the diagonal sequence is supplied. This is the exact step at which the continuity method must produce the Kähler-Ricci soliton, so the gap is load-bearing.","section":"§4.3, Proposition 4.6 and Theorem 4.2"},{"comment":"The proof asserts that (M0,V0,(1−λ_i)ω_FS,ω_{0,λ_i}) converges in the Gromov-Hausdorff topology to (Y,V~,(1−λ∞)β,ω), and then uses K-stability to identify Y with M0, citing [15, pp.991-992]. No compactness theorem for twisted solitons on the singular fixed Q-Fano variety M0 is proved or cited for the endpoint λ∞=1: [15] treats smooth Fano manifolds, while [16] gives algebraic compactness for GH limits of Kähler-Einstein metrics. If the limit were a proper degeneration of M0 rather than M0 itself, the K-stability identification and hence Theorem 6.1 would fail, so this step needs an explicit statement and proof.","section":"§6, Theorem 6.1 closedness argument"},{"comment":"Theorem 5.1 is stated for all λ∈(1−m^{−1},1], but section 5 proves Proposition 5.1 only under the explicit hypothesis that ||φ_{t,λ}||_{L∞} is uniformly bounded, and the subsequent statements do not supply that bound at λ=1. Remark 5.1 explicitly restricts the λ-varying convergence statement to [λ1,λ2] with λ2<1. The endpoint λ=1, which is the actual Kähler-Ricci soliton case of Theorem 1.1, is therefore not covered by the paper's own estimates and needs a separate argument.","section":"§5, Theorem 5.1 and Remark 5.1"}],"minor_comments":[{"comment":"The phrase 'Q-Gorestein smoothing' should presumably be 'Q-Gorenstein smoothing'.","section":"§1, Theorem 1.1"},{"comment":"The sentence 'Fix λ̂∈(0,1−m^{−1})' places λ̂ outside the range (1−m^{−1},1] used elsewhere; if this is intentional, the author should explain that r(λ̂) is negative and why the subsequent inequality remains valid.","section":"§4.2"},{"comment":"Theorem 5.1 is announced without a proof; the surrounding text gives ingredients but not a complete argument showing that the GH limit is the central fiber M0 with the twisted soliton ω_{0,λ}, especially for λ=1. Please add a proof or a precise reference that covers twisted solitons on singular Q-Fano central fibers.","section":"§5, Theorem 5.1"},{"comment":"The sentence 'By the definition of λ_t, we let λ tends to λ_t...' is unclear; since λ_t is defined as a supremum, the argument should explicitly take a sequence λ^k increasing to λ_t and then pass to the limit.","section":"§6, Proposition 6.1"},{"comment":"The notation in the twisted Futaki invariant is inconsistent: the induced vector field on X is denoted W_0 in the display but W in the surrounding text, which may confuse the reader about which object carries the C* action.","section":"§1, Definition 1.1"}],"recommendation":"major_revision","confidential_remarks":"The endpoint λ=1 issue is the central concern. The manuscript is quite telegraphic in Section 5 and would benefit from a clear statement of the compactness theorem being invoked for twisted solitons on singular Q-Fano varieties; if the author can supply that argument, the theorem would be convincing. I recommend sending the paper back for a revision that addresses the λ=1 gap explicitly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the quick take: this is the right theorem and the architecture is sound, but the proof has a real hole at the endpoint λ=1. I would send it to a serious referee, but the referee should ask for a fix.\n\nWhat's new: Theorem 1.1—K-stable smoothable Q-Fano varieties admit Kähler-Ricci solitons—is not in [15], [41], or [10]. The variational setup for twisted solitons on Q-Fano varieties, with properness via the α-invariant, is a genuine extension. The paper does careful work in §3–§4: subharmonicity of the Ding functional along the family, the lower bound for Mabuchi, and the local C^k estimates all look correct. No free parameters, no invented entities; the one self-citation [28] is tangential. The debt to Datar–Székelyhidi and Spotti–Sun–Yao is heavy but acknowledged and mostly legitimate.\n\nWhere it breaks: the closedness step in §6 needs uniform control of twisted solitons as λ→1, and §4 only delivers that for compact subintervals [1−m^{-1}+ε, λ̄−ε] with λ̄<1. The constant δλ = −r(λ̂)(λ−λ̄)/(λ̂−λ̄) in §4.3 goes to 0 at λ̄, so choosing λ̄=1 gives no bound. Theorem 5.1 is stated for λ∈(1−m^{-1},1], but its hypothesis—uniform L∞ bound on the potentials—is never proved at λ=1. In the diagonal argument of Theorem 6.1, the sequence λ_i→λ∞ (potentially 1) needs a compactness theorem for twisted solitons on the singular Q-Fano central fiber M0; delegating to [15, P991–992] and [16] does not fill that gap because those are smooth-manifold statements. This is load-bearing, not cosmetic.\n\nIs the theorem false? I don't think so. The statement was later proved in greater generality (Han–Li, arXiv:2008.00958), and the gap looks patchable—one needs either a uniform estimate at the endpoint using K-stability, or a different compactness argument. But the paper as written stops just short of its own main theorem. The stress-test note lands.\n\nWho this is for: people working on K-stability, singular Fano varieties, and the continuity method. It deserves a serious referee; the right outcome is major revision, not desk rejection.","headline":"The right theorem with a real proof gap at the endpoint λ=1; the result is likely true and later proved in more generality, but the closedness argument as written does not close.","tokens_in":29080,"tokens_out":3162,"would_cite":true,"duration_ms":30617,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","32Q20","14J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"K-stability guarantees the existence of a Kähler-Ricci soliton on every smoothable Q-Fano variety carrying a reductive vector field.","keywords":["Kähler-Ricci soliton","Q-Fano variety","K-stability","Gromov-Hausdorff convergence","smoothable varieties","twisted Kähler-Ricci soliton","continuity method","complex Monge-Ampère equation"],"falsifier":"One concrete observation: find a smoothable K-stable Q-Fano condition and a sequence of twisted solitons on its smoothings whose Gromov-Hausdorff limit is a proper degeneration of the central fiber, not the central fiber itself; or check the endpoint directly—at $\\lambda = 1$ the constant $\\delta_\\lambda = -r(\\hat{\\lambda})(\\lambda - \\bar{\\lambda})/(\\hat{\\lambda} - \\bar{\\lambda})$ vanishes, so if the $L^\\infty$ bound on soliton potentials fails as $\\lambda \\to 1$ on a K-stable example, the proof would need a new estimate.","tokens_in":27744,"feed_emoji":"","tokens_out":7247,"duration_ms":66919,"temperature":0.7,"pith_summary":"This paper proves that on a Q-Fano variety—a mildly singular complex projective variety whose anticanonical bundle is ample—the algebro-geometric condition of K-stability is sufficient for the existence of a Kähler-Ricci soliton, provided the variety is smoothable as a Q-Gorenstein degeneration of Fano manifolds. A Kähler-Ricci soliton is a canonical Kähler metric whose Ricci form differs from a Lie derivative along a holomorphic vector field; it is the natural steady-soliton analog of a Kähler-Einstein metric. The proof runs a continuity method through a smoothing family: it first solves twisted Kähler-Ricci soliton equations on the smooth fibers for small values of the twisting parameter, then shows the solutions have uniform estimates, converge in the Gromov-Hausdorff sense to the central singular fiber, and persist up to the endpoint where the twisting vanishes. If correct, this completes one half of a Yau-Tian-Donaldson-style equivalence for smoothable Q-Fano varieties: K-stability characterizes the existence of the soliton metric.","feed_headline":"K-stability forces solitons on smoothable Fano varieties","feed_subtitle":"A continuity argument through a smoothing family shows the algebraic stability condition alone is enough to produce the soliton metric.","key_machinery":"The load-bearing object is the twisted Kähler-Ricci soliton equation $e^{\\theta_M + V(\\varphi)}(\\omega_0 + \\sqrt{-1}\\partial\\bar{\\partial}\\varphi)^n = e^{-r(\\lambda)\\varphi}\\mu / \\int e^{-r(\\lambda)\\varphi} d\\mu$, a complex Monge-Ampère equation depending on a parameter $\\lambda \\in (1-m^{-1}, 1]$ with $r(\\lambda) = 1 - (1-\\lambda)m$, where $m$ is the integer making $K^{-m}$ relatively very ample. It is the continuity path interpolating between the known small-$r(\\lambda)$ regime and the desired soliton equation at $\\lambda = 1$. The proof couples this path with the twisted Ding and Mabuchi functionals: properness of the Mabuchi functional produces a minimizer, and the minimizer solves the equation. Uniform control comes from the $\\alpha$-invariant and a partial $C^0$ estimate, while the Gromov-Hausdorff limit of the family is identified with the algebraic central fiber through algebraic compactness of such limits. K-stability enters at the endpoint to rule out proper degenerations, making the continuity set open and closed.","core_discovery":"The central assertion is Theorem 1.1 and Theorem 6.1: let $\\pi: \\mathcal{M} \\to \\Delta$ be a Q-Gorenstein smoothing of a Q-Fano variety $M_0$ and let $V$ be a reductive holomorphic vector field on the total space preserving the fibers. If the pair $(M_0, V_0)$ is K-stable—meaning the twisted Futaki invariant is nonnegative for every $\\mathbb{C}^*$-degeneration commuting with $V_0$ and vanishes only for the trivial degeneration—then $M_0$ admits a Kähler-Ricci soliton whose soliton vector field is $V_0$. The proof shows more: for each twist parameter $\\lambda \\in (1-m^{-1}, 1]$, there is a unique twisted Kähler-Ricci soliton on almost every fiber, these metrics satisfy uniform $L^\\infty$ and higher-order estimates, and as $t \\to 0$ they Gromov-Hausdorff converge to the unique twisted soliton on $M_0$. An open-closed continuity argument then reaches $\\lambda = 1$, where the twisted equation becomes the genuine Kähler-Ricci soliton equation.","pith_inferences":["Beyond the paper, the smoothability assumption is used only to invoke smooth Riemannian convergence on the regular part; a natural test is whether the same assertion holds for arbitrary Q-Fano varieties, where the limit compactness would have to be replaced by a purely algebraic argument.","Beyond the paper, since the endpoint $\\lambda = 1$ is reached only through a limiting argument, one could try to extract explicit uniform estimates for the soliton potentials on the central fiber; if such estimates hold, the continuity method might run directly in the singular category.","Beyond the paper, the result suggests that moduli spaces of K-stable smoothable Q-Fano varieties carry natural soliton metrics with uniform geometric bounds, so the Gromov-Hausdorff compactness used here could provide a metric construction of moduli compactifications."],"forward_implications":["For any smoothable Q-Fano variety with a reductive vector field $V_0$ that is K-stable, a weak Kähler-Ricci soliton with soliton field $V_0$ exists, and it is unique in the appropriate energy class.","Twisted Kähler-Ricci solitons on the smooth fibers of a Q-Gorenstein smoothing persist to the central fiber, so existence is continuous both in the smoothing parameter and in the twist parameter.","Combined with the known converse direction, K-stability is necessary and sufficient for Kähler-Ricci solitons on smoothable Q-Fano varieties.","The open-closed continuity method implies that the set of twist parameters for which twisted solitons exist is an interval ending at $\\lambda = 1$, so the genuine soliton equation is reached as the limit of the twisted equations."],"supporting_citations":[{"why":"Supplies the Aubin continuity method for Kähler-Einstein metrics and Kähler-Ricci solitons on smooth Fano manifolds, the template for the parameter path used here.","marker":"[15]"},{"why":"Introduces the flat-family and conic continuity approach for Kähler-Einstein metrics on smoothable Q-Fano varieties that this paper adapts to solitons.","marker":"[41]"},{"why":"Provides the partial C^0 estimate along the continuity method, needed for uniform L-infinity bounds and for identifying Gromov-Hausdorff limits.","marker":"[42]"},{"why":"Gives the algebraic compactness of Gromov-Hausdorff limits of Kähler manifolds, used to identify the limit with the central fiber.","marker":"[16]"},{"why":"Supplies the convergence theory for spaces with Bakry-Émery Ricci curvature bounded below, controlling the regular part of the limit.","marker":"[50]"},{"why":"Develops pluripotential theory for Kähler-Ricci solitons, giving properness and uniqueness of the Ding-type functional and the converse K-stability implication.","marker":"[10]"},{"why":"Provides the variational approach and the alpha-invariant properness criterion for twisted soliton equations on log Fano varieties.","marker":"[4]"},{"why":"Supplies multiplier Hermitian structure estimates, including the Green function and diameter bounds used in the L-infinity and Gromov-Hausdorff arguments.","marker":"[30]"}],"fun_headline_variants":["K-stability alone yields solitons on smoothable Q-Fano","Solitons arise from K-stability on smoothable Q-Fano varieties","Stability forces solitons on smoothable Fano","K-stable smoothable Fano varieties admit Kähler-Ricci solitons"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof stands on the transfer step: the Gromov-Hausdorff limit of the twisted soliton metrics on the smooth fibers must be exactly the algebraic central fiber with its unique twisted soliton, uniformly up to $\\lambda = 1$; if that limit were a proper degeneration instead, the open-closed continuity argument could not pass existence to $M_0$.","fun_headline_variants_meta":{"raw":{"variants":["K-stability alone yields solitons on smoothable Q-Fano","Solitons arise from K-stability on smoothable Q-Fano varieties","Stability forces solitons on smoothable Fano","K-stable smoothable Fano varieties admit Kähler-Ricci solitons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000641,"raw_usage":{"total_tokens":2898,"prompt_tokens":842,"completion_tokens":2056,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":458,"completion_tokens_details":{"reasoning_tokens":1975}},"tokens_in":458,"tokens_out":2056,"duration_ms":15720,"temperature":1.0,"reasoning_tokens":1975,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:56:32.311296+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete observation: find a smoothable K-stable Q-Fano condition and a sequence of twisted solitons on its smoothings whose Gromov-Hausdorff limit is a proper degeneration of the central fiber, not the central fiber itself; or check the endpoint directly—at $\\lambda = 1$ the constant $\\delta_\\lambda = -r(\\hat{\\lambda})(\\lambda - \\bar{\\lambda})/(\\hat{\\lambda} - \\bar{\\lambda})$ vanishes, so if the $L^\\infty$ bound on soliton potentials fails as $\\lambda \\to 1$ on a K-stable example, the proof would need a new estimate.","supporting_citations":[{"cited_title":"and Sz´ ekelyhidi, G.K¨ ahler-Einstein metric along the smooth continuity method, Geometric And Functinal Analysis","cited_arxiv_id":null,"evidence_quote":"Supplies the Aubin continuity method for Kähler-Einstein metrics and Kähler-Ricci solitons on smooth Fano manifolds, the template for the parameter path used here."},{"cited_title":"165 (2016), no","cited_arxiv_id":null,"evidence_quote":"Introduces the flat-family and conic continuity approach for Kähler-Einstein metrics on smoothable Q-Fano varieties that this paper adapts to solitons."},{"cited_title":"29 (2016), no.2, 537-560","cited_arxiv_id":null,"evidence_quote":"Provides the partial C^0 estimate along the continuity method, needed for uniform L-infinity bounds and for identifying Gromov-Hausdorff limits."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the convergence theory for spaces with Bakry-Émery Ricci curvature bounded below, controlling the regular part of the limit."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the variational approach and the alpha-invariant properness criterion for twisted soliton equations on log Fano varieties."},{"cited_title":"T Multiplier Hermitian structures on K¨ ahler manifolds , Nagoya","cited_arxiv_id":null,"evidence_quote":"Supplies multiplier Hermitian structure estimates, including the Green function and diameter bounds used in the L-infinity and Gromov-Hausdorff arguments."}],"review_version":1}