{"id":"1a50d815-47b7-4a5f-bfa4-8414b515f620","arxiv_id":"2608.10953","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new first-order visibility argument derives compactness, splitting, and Gaussian rigidity for complete Kähler-Ricci shrinkers from the weight structure of their polarized Fano fibrations.","lead":"This paper develops a spectral-algebraic tool called first-order visibility and uses it to prove rigidity theorems for Kähler-Ricci shrinkers, including compactness under positive Ricci curvature, splitting of noncompact toric shrinkers, and a rigidity result forcing Stein shrinkers to be the Gaussian model. The work is relevant for understanding singularity formation in the Kähler-Ricci flow and for the classification of complete shrinking solitons.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Toric first-order visibility rests on an unproved characterization from unpublished [Zha26]; without that bridge, toric rigidity is conditional, while Stein rigidity is independent and appears sound.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing concern: the toric proof depends on an unpublished characterization from [Zha26, §2.4] that is not proved in the manuscript. I agree that this makes the toric rigidity portion conditional. I do not see a fatal internal inconsistency in the Stein rigidity proof: the deduction that a Stein shrinker's canonical fibration has zero-dimensional fibers, hence is finite and then isomorphic to Spec R_X, is coherent, and Theorem 6.1 gives Gaussian splitting via the spectral-gap theorem. The concern about [Zha26] is therefore a missing-support issue, not a demonstrated counterexample. A conditional verdict is appropriate: the authors should supply the missing characterization or replace it with a direct proof before the toric results can be regarded as fully verified. Since the reader already recommended CONDITIONAL, no verdict adjustment is needed.","tokens_in":24149,"tokens_out":13421,"duration_ms":146534,"concrete_test":"Check the missing implication in §4.2: prove or disprove that every T_sol-finite holomorphic function on Y^an is algebraic when Y is a normal affine cone with positive T-weights. A direct route is to decompose ψ into characters, show each homogeneous component is holomorphic and extends regularly to the vertex, and then use normality to conclude regularity. If the implication is correct, add that proof to the paper and rerun Corollary 4.4 with the lemma stated explicitly; if it is false, Theorem 4.3 and Corollary 4.4 fail because χ^m cannot be guaranteed to lie in R_X.","verdict_should_be":"UNCHANGED","load_bearing_attack":"At the end of §4.2, the proof constructs a global holomorphic function φ=χ^m on X_Σ_P, descends it to ψ on Y^an, and shows that ψ is T_sol-finite. To feed φ into the spectral-gap machinery, the proof must place ψ in the algebraic coordinate ring Γ(Y,O_alg_Y). The only justification is the displayed equality Γ(Y,O_alg_Y)=Γ(Y^an,O_hol_Y)^{T_sol-finite}, cited to [Zha26, §2.4], an unpublished lecture note. This equality is doing essential work: it converts a holomorphic toric character into an algebraic regular function, thereby supplying the weight αβ, the eigenvalue equation, and access to Theorem 3.4 and Corollary 4.4. If the characterization is false or only valid under additional hypotheses, the toric character χ^m may not lie in R_X, and the toric rigidity theorem does not follow from the argument as written. This is a support gap rather than a demonstrated contradiction, but it is the weakest load-bearing point in the toric part of the paper. The Stein rigidity theorem in §6 is logically separate: it uses the proper-finite morphism argument and Theorem 6.1, not the toric first-order visibility section, and I did not find a comparable gap there.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a spectral-algebraic framework for complete Kähler-Ricci shrinkers, starting from the Sun-Zhang polarized Fano fibration. The main results are: a spectral gap theorem for homogeneous regular functions with Gaussian splitting in the equality case; a first-order visibility theorem for Kähler-Ricci shrinker surfaces and for toric shrinkers; compactness and splitting results under positive/nonnegative Ricci curvature; the detection of negative Ricci directions in the BCCD shrinker and in several bundle-type examples; and a rigidity theorem stating that a shrinker whose underlying complex manifold is Stein, or which is a smooth Fano cone, must be the Gaussian shrinker on C^n. The Stein rigidity proof is logically independent of the toric first-order visibility section.","tokens_in":24395,"tokens_out":25598,"duration_ms":259549,"significance":"If correct, the paper provides a unified spectral-algebraic mechanism for rigidity of shrinkers, gives compactness results that do not use curvature bounds, noncollapsing, or asymptotic analyses, and verifies the Sun-Zhang Fano cone conjecture in the smooth case. A notable strength is that the first-order visibility mechanism produces local Ricci-signature predictions, such as mixed Ricci signature at specified points of the BCCD shrinker, without an explicit formula for the metric. The overlap with the independent work of Conlon-Deruelle for Theorems 1.7 and 1.8 is disclosed and does not appear to create a circularity. The main risk is that the toric rigidity theorem depends on an unproved characterization cited to unpublished lecture notes; this is a support gap rather than a demonstrated contradiction.","major_comments":[{"comment":"The proof that the toric character χ^m lies in the canonical coordinate ring R_X rests entirely on the identity Γ(Y,O_alg^Y)=Γ(Y^an,O_hol^Y)^{T_sol-finite}, which is cited to the unpublished lecture notes [Zha26, §2.4] and not proved. This is load-bearing: without this bridge, φ=χ^m is only a global holomorphic function on X^an, and it cannot be fed into Theorem 3.4 or Corollary 4.4, so Theorem 4.3 and the toric rigidity theorem do not follow from the argument as written. Please either prove the characterization under the precise hypotheses needed here (Y a normal affine cone with a positive Reeb vector, T_sol-finite holomorphic functions) or replace the citation by a peer-reviewed reference with a clear statement of hypotheses; the claim in §2.4 that all algebraic preliminaries are proved makes the omission especially conspicuous. This is a support gap rather than a demonstrated contradiction, but it is the principal obstacle to the toric part of the paper.","section":"§4.2 (toric first-order visibility)"}],"minor_comments":[{"comment":"The phrase 'The first assertion follows from Theorem 4.2' is a mis-citation: Theorem 4.2 is the surface theorem, whereas the toric compactness assertion requires the same first-order visibility contradiction argument in arbitrary dimension, using Theorem 4.3, Proposition 3.3, and Theorem 3.4. The splitting assertion likewise follows from Theorem 3.4 rather than from the surface theorem.","section":"§4.2, Corollary 4.4 proof"},{"comment":"The two statements of the spectral gap theorem should be identical and should not contain the typo 'regualr' that appears in both places; the duplication currently risks confusion about which version is being used.","section":"Theorem 1.2 / Theorem 3.4"},{"comment":"The final step 'By our Theorem 3.4, we conclude X≅C^n' is terse: the proof should explicitly note that the n functions φ_i of weight one have differentials spanning T*_{1,0,q}X, hence generate an n-dimensional parallel distribution, so that dim_C E1≥n and Theorem 3.4(3) applies.","section":"§6, Theorem 6.1 proof"},{"comment":"The final sentence of Remark 5.6 is incomplete and syntactically garbled; the hypothesis H^0(B,L^{-m_j})≠0 also has the wrong sign compared with the global-generation criterion used in Propositions 5.3–5.5, and should be corrected or removed.","section":"§5.2, Remark 5.6"},{"comment":"In the BCCD application and in Propositions 5.3–5.5, the non-splitting of the underlying complex manifold is asserted rather than proved; Lemma 5.2 together with the normal bundle O(-1) or O(-k) provides the needed argument, but the application should be spelled out.","section":"§5.1 and §5.2"}],"recommendation":"major_revision","confidential_remarks":"I agree with the reader's assessment that the Stein rigidity part is logically independent and sound, while the toric part is conditional on the unproved [Zha26] characterization. If the authors supply a proof or a published reference for that identity, I would regard the remaining issues as minor and would be willing to accept the paper; without it, Theorem 4.3 and Corollary 4.4 are not established by the argument as written."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First-order visibility is a genuinely useful new idea, and it earns its keep. The paper uses it to get a spectral-algebraic proof of surface compactness under positive Ricci, a toric splitting theorem, and negative/mixed Ricci directions for BCCD and several total-space shrinkers. That is real content, not just repackaging. The Stein rigidity theorem (Theorem 1.8) is the strongest and cleanest result; I believe it is correct. The proof via finiteness of the Stein morphism followed by the affine rigidity argument at the torus-fixed point is coherent.\n\nWhat the paper does well: the weighted spectral gap (Theorem 1.2) is carefully proved, Proposition 3.3 is a simple but effective linearization trick, and the surface cases in §4.1 are worked out in detail with the central fiber possibilities handled honestly. The authors also disclose the overlap with Conlon–Deruelle and their proof is independent, so that is not a problem. The citation pattern looks fair; heavy reliance on SZ24 and LZ26 is stated up front.\n\nThe soft spot is exactly where the stress-test note points. In §4.2 the toric character χ^m is constructed as a holomorphic function, descended to Y^an, shown to be T_sol-finite, and then placed in the algebraic coordinate ring using the equality Γ(Y,O_alg_Y)=Γ(Y^an,O_hol_Y)^{T_sol-finite} from the unpublished lecture notes [Zha26, §2.4]. That equality is doing essential work: without ψ∈R_X, you cannot feed φ into the spectral-gap machinery and get the weight αβ. This is a support gap rather than a demonstrated error, but it is load-bearing. The authors should either prove this characterization or find a different bridge. The toric equivariance argument at the end of Corollary 4.4 is also a little quick, but that is minor.\n\nThe Stein part does not use the [Zha26] step. There the morphism is finite, so X≅Y, and the affine rigidity theorem applies directly. I do not see a comparable gap there.\n\nBottom line: this deserves review. I would send it to a strong referee, with guidance that the toric section must be tightened. Conditional accept is the right outcome, not reject.","headline":"A substantive spectral-algebraic approach to Kähler–Ricci shrinker rigidity; the toric section hinges on an unpublished characterization the authors should prove or replace, while the Stein rigidity theorem stands on its own.","tokens_in":24931,"tokens_out":2813,"would_cite":true,"duration_ms":26549,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C55","32Q20","14M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that any complete Kähler–Ricci shrinker on a Stein manifold is the Gaussian shrinker on $\\mathbb{C}^n$, and that the same algebraic mechanism yields rigidity for surfaces and toric shrinkers.","keywords":["Kähler–Ricci shrinkers","Stein manifolds","Gaussian shrinker","polarized Fano fibration","spectral gap","toric manifolds","Ricci curvature","rigidity"],"falsifier":"Construct a complete Kähler–Ricci shrinker whose underlying complex manifold is a Stein manifold other than $\\mathbb{C}^n$; this would directly contradict Theorem 1.8. A more local check is to compute the Ricci eigenvalues at the torus-fixed point of any candidate Stein shrinker: the proof forces all of them to be zero, so a single nonzero eigenvalue would falsify the rigidity claim.","tokens_in":23927,"feed_emoji":"📐","tokens_out":11643,"duration_ms":100538,"temperature":0.7,"pith_summary":"Complete Kähler–Ricci shrinkers are the self-similar models that appear when singularities of the Kähler–Ricci flow are blown up, and this paper aims to show that their global algebraic structure forces rigid geometry. The central claim is that any such shrinker whose underlying complex manifold is Stein — in particular any shrinker on a smooth Fano cone — must be holomorphically isometric to the standard Gaussian shrinker on $\\mathbb{C}^n$. The same mechanism proves that a Kähler–Ricci shrinker surface with positive Ricci curvature is compact, that a noncompact toric shrinker with nonnegative Ricci curvature splits as $\\mathbb{C}\\times N$, and that the BCCD shrinker carries points where the Ricci tensor has mixed signature. A sympathetic reader should care because the results extract local curvature information from purely algebraic data, without curvature bounds, noncollapsing assumptions, or asymptotic analysis.","feed_headline":"Every Stein Kähler-Ricci shrinker is the Gaussian model","feed_subtitle":"A spectral-algebraic argument forces any complete shrinker on a Stein manifold to be the flat Gaussian model.","key_machinery":"The central object is the polarized Fano fibration $\\pi:X\\to Y=\\operatorname{Spec} R_X$ and the torus weight decomposition $R_X=\\bigoplus_\\beta R_{X,\\beta}$. The paper calls a shrinker first-order visible when some nonconstant regular function $\\varphi$ satisfies $d\\varphi(q)\\neq 0$ at a zero $q$ of the soliton vector field $\\nabla f$; this condition is the bridge from algebraic weights to the local Ricci tensor. The load-bearing identities are $\\nabla f(\\varphi)=\\alpha_\\beta\\varphi$ and $-\\Delta_f\\varphi=\\alpha_\\beta\\varphi$, the spectral gap $\\alpha_\\beta\\ge 1$ obtained by integrating the Bakry–Émery Bochner formula, and the eigenvalue relation $(\\operatorname{Ric}_q^\\sharp)^*d\\varphi(q)=(1-\\alpha_\\beta)d\\varphi(q)$ at a fixed point. Equality in the spectral gap yields the Gaussian splittings $\\mathbb{C}^k\\times N$ used throughout.","core_discovery":"On the paper's own terms, the discovery is that the coordinate ring of a complete Kähler–Ricci shrinker, viewed through the canonical polarized Fano fibration to the affine cone $\\operatorname{Spec} R_X$, remembers enough of the metric to force rigidity. A homogeneous regular function $\\varphi$ of weight $\\alpha_\\beta$ is automatically square-integrable with respect to $e^{-f}\\,dV$, so the weighted spectral gap gives $\\alpha_\\beta\\ge 1$, with $\\alpha_\\beta=1$ forcing a holomorphic isometric splitting $\\mathbb{C}\\times N$. If at a zero $q$ of the soliton vector field some $\\varphi$ has $d\\varphi(q)\\neq 0$ — the first-order visibility condition — then $1-\\alpha_\\beta$ is a Ricci eigenvalue at $q$, linking algebraic weights to local curvature. When the underlying manifold is Stein, the canonical fibration must be an isomorphism, so the full cotangent space is spanned by weight-one functions; the scalar curvature at the fixed point is then forced to vanish, and the shrinker is the Gaussian shrinker on $\\mathbb{C}^n$. The smooth Fano cone rigidity follows as the case where the affine cone is smooth.","pith_inferences":["The first-order mechanism suggests a general prescription: whenever the central fiber of the Fano fibration has several components or contracts a divisor whose normal bundle has no trivial line subbundle, the shrinker should have a negative Ricci direction at a fixed point; the BCCD, FIK-type, and Futaki–Wang examples are special cases of this pattern.","Stein rigidity gives a purely complex-topological rigidity criterion: among complete Kähler–Ricci shrinkers, the Stein property is already enough to force flatness, so future searches for new noncompact examples can restrict attention to non-Stein underlying manifolds.","Because the toric argument leans on an unpublished characterization of algebraic functions by torus finiteness, a standalone proof of that characterization would complete the toric part and might extend the same rigidity to other Lie group actions with only finitely many fixed points on the central fiber.","One testable extension is whether the pair (spectral gap, first-order visibility) survives Gromov–Hausdorff limits of noncollapsed shrinkers; if it does, the rigidity and mixed-signature conclusions would pass to singular limits of the Kähler–Ricci flow."],"forward_implications":["If Theorem 1.8 is correct, no nontrivial complete Kähler–Ricci shrinker exists on any Stein manifold: the only one is the flat Gaussian shrinker on $\\mathbb{C}^n$.","The smooth case of the Fano cone conjecture is settled: every Kähler–Ricci shrinker on a smooth Fano cone is holomorphically isometric to the Gaussian shrinker on $\\mathbb{C}^n$.","Kähler–Ricci shrinker surfaces with $\\mathrm{Ric}>0$ are compact Fano surfaces, while noncompact ones with $\\mathrm{Ric}\\ge 0$ are exactly $\\mathbb{C}^2$ or $\\mathbb{P}^1\\times\\mathbb{C}$ with their standard shrinker metrics.","Noncompact toric shrinkers with $\\mathrm{Ric}\\ge 0$ split $\\mathbb{T}_{\\mathbb{C}}$-equivariantly as $\\mathbb{C}\\times N$, with $N$ a complete toric Kähler–Ricci shrinker.","The BCCD shrinker has points on both irreducible components of its reducible singular fiber where the Ricci tensor has a strictly negative eigenvalue, hence mixed signature, with no explicit formula for the metric needed."],"supporting_citations":[{"why":"Establishes the canonical polarized Fano fibration $\\pi:X\\to\\operatorname{Spec} R_X$ and the torus weight decomposition that the whole argument works with.","marker":"[SZ24]"},{"why":"Supplies the weighted $L^2$-integrability lemma (Lemma 3.1) that puts homogeneous regular functions into the domain of the spectral gap argument.","marker":"[LZ26]"},{"why":"Provides the equality case of the weighted Lichnerowicz estimate, used to turn $\\alpha_\\beta=1$ into a holomorphic isometric $\\mathbb{C}\\times N$ splitting.","marker":"[CZ17]"},{"why":"Gives the noncompact toric Delzant theorem and the equivariant biholomorphism to the toric variety of the moment polyhedron, used to construct the character $\\chi^m$.","marker":"[Cif22]"},{"why":"Supplies the intrinsic characterization of algebraic functions by torus finiteness, the load-bearing input for first-order visibility in the toric setting (cited as an unpublished lecture note).","marker":"[Zha26]"},{"why":"Constructs the BCCD shrinker $\\operatorname{Bl}_p(\\mathbb{P}^1\\times\\mathbb{C})$ whose reducible singular fiber is analyzed to detect mixed Ricci signature.","marker":"[BCCD24]"},{"why":"Independent work whose asymptotic-conical uniqueness results also imply the Stein and smooth Fano cone rigidity; the paper uses it as a comparison for its own local spectral proof.","marker":"[CD26]"}],"fun_headline_variants":["Stein Kähler–Ricci shrinkers are all Gaussian","Spectral gap forces Gaussian shrinkers on Stein manifolds","Weight-one functions pin down the Gaussian model","From Fano fibrations to flatness: shrinker rigidity","Algebraic weights make Stein shrinkers Gaussian"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the algebraic structure recovered by the polarized Fano fibration is complete: in the toric proof the paper adopts the unpublished characterization, cited to [Zha26, Section 2.4], that a holomorphic function on the analytification which is finite under the soliton torus action belongs to the algebraic coordinate ring $R_X$; if that characterization fails, the toric first-order visibility step and its splitting and compactness consequences collapse.","fun_headline_variants_meta":{"raw":{"variants":["Stein Kähler–Ricci shrinkers are all Gaussian","Spectral gap forces Gaussian shrinkers on Stein manifolds","Weight-one functions pin down the Gaussian model","From Fano fibrations to flatness: shrinker rigidity","Algebraic weights make Stein shrinkers Gaussian"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000697,"raw_usage":{"total_tokens":3079,"prompt_tokens":805,"completion_tokens":2274,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":421,"completion_tokens_details":{"reasoning_tokens":2196}},"tokens_in":421,"tokens_out":2274,"duration_ms":15475,"temperature":1.0,"reasoning_tokens":2196,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:35:13.249560+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a complete Kähler–Ricci shrinker whose underlying complex manifold is a Stein manifold other than $\\mathbb{C}^n$; this would directly contradict Theorem 1.8. A more local check is to compute the Ricci eigenvalues at the torus-fixed point of any candidate Stein shrinker: the proof forces all of them to be zero, so a single nonzero eigenvalue would falsify the rigidity claim.","supporting_citations":[],"review_version":1}