{"id":"00e9cc8a-4e4f-41e9-8b71-423d77204af5","arxiv_id":"2607.25644","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Noncollapsed Kähler–Ricci flows converge uniquely at the first singular time to a canonical time-zero slice, and Kähler–Ricci shrinkers with bounded scalar curvature plus S^1-symmetry or dimension four have unique tangent spaces at infinity.","lead":"This paper proves that volume-noncollapsed Kähler–Ricci flows have a unique Gromov–Hausdorff limit at their singular time, given by a canonical time-zero slice of the flow, and that broad classes of Ricci shrinkers have a unique tangent cone at infinity. It connects these limits to algebraic Fano fibrations and shows the singular set has codimension at least four.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorems 1.6, 1.8, and 1.9 rest on an asserted, not proved, extension of the FL25 spacetime-completion estimates to noncompact shrinker flows; the H-center/curvature-radius bounds at spatial infinity are the load-bearing point.","rationale":"The reader's weakest assumption—that the entire noncollapsed Ricci-flow spacetime-completion theory of [FL25a,b,c] extends verbatim to noncompact Ricci shrinker flows—is precisely the concern I identify, and it is load-bearing for the shrinker part of the paper. The compact flow theorems (Theorems 1.1 and 1.2) are less exposed, since the ambient flow is compact and [FL25a] applies directly; the risk is concentrated in the noncompact applications. The concern is real but not demonstrated fatal: the paper cites specific heat-kernel estimates and explicitly flags the one known modification (the polynomial growth condition), which is exactly the kind of dependency that a conditional acceptance should require verifying. I therefore do not change the reader's verdict: the paper should be accepted conditionally pending independent verification of the noncompact extension, but I see no internal contradiction or evidence that the main construction is wrong.","tokens_in":54282,"tokens_out":14066,"duration_ms":146063,"concrete_test":"Specialize to the Gaussian shrinker (R^n, g_euc, f=|x|^2/4), which has bounded scalar curvature. Compute explicitly the H-center constant in [FL25a, Lemma 3.13] and the curvature-radius estimate [FL25a, Theorem 1.12(b)] for the self-similar flow, with basepoints x_R at distance R from the origin. If these constants diverge as R→∞, the asserted noncompact extension fails and Proposition 5.7 lacks a necessary hypothesis. If they stay bounded, repeat the audit on the cylinder shrinker S^p × R^{n-p} to identify where the polynomial-growth condition from [LW24a, Theorem 4.20] enters and whether it is satisfied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proofs of Theorems 1.6, 1.8, and 1.9 all pass through the time-zero slice (Z0,d^Z0) of the self-similar flow of a noncompact Ricci shrinker. Section 5.1 asserts, rather than proves, that the structural theorems of [FL25a,b,c]—in particular the H-center estimate [FL25a, Lemma 3.13], the curvature-radius estimate [FL25a, Theorem 1.12(b)], and the quantitative stratification [FL25b, Corollary 4.24]—extend verbatim to this setting, citing heat-kernel estimates [LW20, LW24a]. The single most load-bearing point is the uniformity of these estimates at arbitrarily large spatial distance. Lemma 5.3 uses the H-center estimate to define Φ; Lemma 5.4(2) uses it to control d_{g_t} by d^{Z0}; Proposition 5.7 uses these to upgrade pointwise distance convergence to pointed Gromov–Hausdorff convergence. In the compact setting, [FL25a] uses a global diameter bound; for the noncompact shrinker flow no such bound exists. If the H-center constants or curvature-radius constants diverge at infinity, Φ may fail to be proper and Theorem 1.6 (and hence Theorems 1.8 and 1.9) collapses. The paper acknowledges only that [FL25a, Theorem 2.19] requires a polynomial growth condition; it does not audit the later spacetime-completion theorems for the same failure mode.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the metric geometry of finite-time singularities of noncollapsed Kähler–Ricci flows and the geometry at infinity of Ricci shrinkers. For a compact noncollapsed Kähler–Ricci flow approaching its first singular time, the authors prove that the time slices have a unique Gromov–Hausdorff limit, canonically isometric to the time-zero slice of the Ricci-flow spacetime completion, that the regular part is the complement of the null locus, and that the singular set has Hausdorff dimension at most 2n−4 (Theorems 1.1 and 1.2). For Kähler–Ricci shrinkers, they use the Fano fibration of Sun–Zhang to prove local smooth convergence to a Kähler cone metric on the isomorphism locus, characterize asymptotic conicality by biholomorphicity outside a compact set, and obtain uniqueness statements for asymptotically conical shrinkers (Theorems 1.3–1.5). They then develop a spacetime-completion approach for noncompact Ricci shrinkers with bounded scalar curvature, proving that local compactness of the time-zero slice implies pointed Gromov–Hausdorff convergence of the self-similar flow to that slice (Theorem 1.6). Applications include uniqueness of tangent spaces at infinity for Kähler–Ricci shrinkers with maximal volume growth, bounded scalar curvature, and an S^1 soliton action (Theorem 1.8), and for all four-dimensional Ricci shrinkers with bounded scalar curvature (Theorem 1.9).","tokens_in":54643,"tokens_out":9199,"duration_ms":97127,"significance":"If the results hold, they are substantial. Theorems 1.1 and 1.2 answer a global uniqueness question for singular-time limits of noncollapsed Kähler–Ricci flows and give the expected codimension-four bound. Theorem 1.4 gives a clean complex-analytic criterion for asymptotic conicality, and Theorems 1.8 and 1.9 establish unique tangent spaces at infinity in broad classes where no such uniqueness was previously known. The paper is carefully structured and follows a coherent strategy: it combines the null-locus picture for Kähler currents, the Fano fibration construction, Kähler reduction, and the spacetime-completion theory. A notable strength is that many of the new statements are precise, falsifiable, and backed by detailed arguments rather than vague expectation. The central limitation is the heavy importation of structural theorems from the authors' own preprints and the asserted, rather than proved, extension of those theorems to noncompact shrinker flows; this is not an issue of circularity, but it is a load-bearing gap that must be addressed before the main applications can be considered fully verified.","major_comments":[{"comment":"The extension of the entire FL25 spacetime-completion structure theory to noncompact shrinker flows is asserted, not proved. The text states that the heat kernel estimates in [LW20] and [LW24a] guarantee that the structure theory of [FL25a], [FL25b], and [FL25c] still holds in this setting, but the only explicit citation is [LW24a, Theorem 4.20] for [FL25a, Theorem 2.19]. The theorems actually used later include [FL25a, Lemma 3.13] (Lemma 5.3), [FL25a, Theorem 1.12(b)] (Propositions 5.11 and 8.9), [FL25b, Corollary 4.24] (Theorem 3.5 and Theorem 7.9), [FL25b, Theorem 6.31] (§8.4), and [FL25c, Theorems 1.2 and 8.15] (Theorems 3.2, 7.9, and 8.5). None of these are covered by the cited passage. In the compact setting, [FL25a] uses global diameter bounds; for a noncompact shrinker flow those bounds are absent, and the uniformity at spatial infinity of H-center constants, curvature-radius est","section":"§5.1, pp. 27–28"},{"comment":"Lemma 4.2 is load-bearing for Corollary 4.3 and therefore for Theorems 1.3, 1.4, and 1.5, but it is only sketched as 'well-known to experts.' The sketch invokes the weighted Sobolev inequality [MW12, Lemma 3.2] and κ-noncollapsing at scale r_x=(1+ρ(x))^{-1}, but it does not verify all hypotheses at that scale or justify the claimed point-independent constants as r_x→0. Since the radius r_x shrinks at infinity, the uniformity of the mean-value estimate is not automatic. Please either expand the proof to a complete argument or give a precise reference with all hypotheses checked.","section":"§4.2, Lemma 4.2"},{"comment":"The uniform L^1 scalar-curvature bound used in the generic-end packing argument is imported from [FL25b, Theorem 6.31], which is stated for four-dimensional closed Ricci flows. The text asserts 'the proof generalizes verbatim to four-dimensional Ricci flows with bounded curvature on each compact time interval' without giving the local version or its proof. This estimate controls the number of disjoint high-curvature regions of definite size, so it is a load-bearing step in Proposition 8.9 and hence in Theorem 1.9. Please include the local theorem with precise hypotheses and a proof, or a reference where the local statement appears.","section":"§8.4, equation (8.13)"}],"minor_comments":[{"comment":"There is a stray closing parenthesis in 'dimH(𝑍sing0 ))' ; the formula should read dimH(𝑍sing0) ≤ 2𝑛−4.","section":"Theorem 3.5, (3.12)"},{"comment":"The normalization of the soliton equation differs between sections: in §4.1, R_ω+|∇^{1,0}f|^2=f+n, while in §5.1, R+|∇f|^2=f. This makes comparisons such as F=1/4 d^2 in §5 versus r=√(2F_0) in Corollary 4.5 easy to misread. A short conversion table or a sentence reconciling the two conventions would improve readability.","section":"§4.1 vs §5.1"},{"comment":"The notation 'H^{2n}-center' appears without explanation; earlier the paper uses 'H-center' with H a constant. Presumably H^{2n} is the same constant enlarged to dimension 2n, but the notation should be defined or avoided.","section":"Proposition 2.4"},{"comment":"Remark 5.8 is a digression about compact type-I flows and is not used in the paper. It could be shortened or moved to a later section so as not to interrupt the noncompact shrinker discussion.","section":"Remark 5.8"}],"recommendation":"major_revision","confidential_remarks":"The main technical risk is the reliance on the authors' own preprints [FL25a,b,c] and the unproved assertion that the full spacetime-completion machinery works for noncompact shrinker flows. This is not circularity, but the referee cannot verify those preprints from the text alone. The editor may wish to ensure that [FL25a,b,c] are publicly available and that the noncompact extension is either proved in the paper or stated as a theorem with hypotheses matching its use in Theorems 1.6, 1.8, and 1.9."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth taking seriously. It gives a clean proof that the time slices of a compact noncollapsed Kähler–Ricci flow have a unique GH limit at the first singular time, identifies the regular part with the null-locus complement, and gets Hausdorff codimension at least four for the singular set. Those theorems are new, and the strategy is coherent: use FL25's spacetime completion as the canonical object, then rule out the C^{2n-2} cylinder tangent flow by a genuinely Kähler argument (holomorphic P^1 perturbations plus cohomological vanishing). That exclusion is the real contribution, and it works. The cone limit on the Fano-fibration isomorphism locus and the AC criterion for Kähler–Ricci shrinkers also look right and are backed by detailed analytic arguments; the polynomial growth estimate for homogeneous holomorphic functions is a nice piece of work.\n\nThe soft spot is exactly where the reader put it. Section 5.1 asserts, rather than proves, that the entire FL25 structure theory—H-center estimates, curvature-radius estimates, quantitative stratification, strong uniqueness—extends verbatim to noncompact self-similar shrinker flows, citing heat kernel bounds. That is load-bearing: Lemmas 5.3–5.4 and Proposition 5.7 define Φ and upgrade pointwise distance convergence to pointed GH convergence, and Theorems 1.6/1.8/1.9 all pass through them. In the compact setting FL25a uses a global diameter bound; no such bound exists here. If the H-center or curvature-radius constants blow up at spatial infinity, the map Φ could fail to be proper and the shrinker theorems lose their foundation. The paper does not audit the spacetime-completion theorems for this failure mode. I think the extension is probably true—the heat kernel estimates are strong—but \"probably\" is not a proof, and this is a preprint relying on three other preprints by the first author.\n\nSome smaller issues: Lemma 4.2 is sketched and leaned on, and the use of [GPSS23] and [FL25b, Thm 6.31] in the 4D argument is quick. None of these are fatal by themselves.\n\nBottom line: for the compact Kähler–Ricci results this is a serious, likely correct paper. For the shrinker results it is conditional on an unproved extension. It should go to peer review; the referee should ask the authors to either prove the noncompact version of the FL25 input or state it precisely as an assumption, and otherwise restrict the shrinker theorems accordingly.","headline":"Serious paper: the compact Kähler–Ricci uniqueness and codim-4 results likely hold, but Theorems 1.6/1.8/1.9 rest on an asserted, unproved noncompact extension of the FL25 structure theory.","tokens_in":55133,"tokens_out":2198,"would_cite":true,"duration_ms":25544,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C55","53C25","32Q20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For compact volume-noncollapsed Kähler–Ricci flows, the time slices converge to a unique Gromov–Hausdorff limit identified with the time-zero slice of the Ricci-flow spacetime completion; the same slice governs uniqueness of tangent spaces","keywords":["Kähler–Ricci flow","Gromov–Hausdorff limit","Ricci shrinker","spacetime completion","tangent space at infinity","Fano fibration","null locus","singular set"],"falsifier":"Compute the Gromov–Hausdorff limit of the time slices for an explicit noncollapsed Kähler–Ricci flow along two different time sequences and check whether the limits are isometric; if they differ, the uniqueness claim fails. Alternatively, find a tangent flow in the spacetime completion isometric to S2×R^{2n−2}, which the paper proves impossible by a holomorphic P1-deformation argument.","tokens_in":54158,"feed_emoji":"📐","tokens_out":7243,"duration_ms":61367,"temperature":0.7,"pith_summary":"This paper proves that the time slices of a compact volume-noncollapsed Kähler–Ricci flow approaching its first singular time converge in the Gromov–Hausdorff sense to a unique limit space, canonically identified with the time-zero slice of the Ricci-flow spacetime completion. The regular part of the limit is exactly the complement of the algebro-geometric null locus of the limiting Kähler class, and the singular set has Hausdorff dimension at most 2n−4. For Ricci shrinkers, the same time-zero slice is shown to be the unique tangent space at infinity under broad conditions: for Kähler–Ricci shrinkers with maximal volume growth and an S1-soliton action, and for all four-dimensional Ricci shrinkers with bounded scalar curvature. A companion result characterizes asymptotic conicality of a Kähler–Ricci shrinker by biholomorphicity of its Fano fibration outside a compact set.","feed_headline":"Noncollapsed Kähler–Ricci flows get unique singular-time limits","feed_subtitle":"A canonical time-zero slice from the spacetime completion identifies the limit and bounds the singular set dimension.","key_machinery":"The load-bearing object is the time-zero slice (Z0,dZ0) of the Ricci-flow spacetime completion, a canonical metric space built from conjugate heat-kernel measures and W1-Wasserstein distances, with a canonical radial function F(z)=dZ0(z,p̄)^2/4. For Kähler–Ricci shrinkers, the companion structure is the polarized Fano fibration π:X→Y, constructed from homogeneous holomorphic functions for the soliton vector field; a Schwarz-type estimate along this fibration yields local smooth convergence of the self-similar metrics to a Kähler cone metric. Kähler reduction by an S1-soliton action provides the volume noncollapsing estimates needed to establish local compactness of the time-zero slice.","core_discovery":"The central claim is that the singular-time limit of a noncollapsed Kähler–Ricci flow is not an arbitrary compact metric space but is canonically determined by the spacetime completion: the limit is isometric to the time-zero slice (Z0,dZ0) of the Ricci-flow spacetime completion, with regular part equal to X∖Null(α). The proof embeds Z0 isometrically into any sequential Gromov–Hausdorff limit and proves surjectivity using H-center estimates plus the quantitative curvature-radius bound. The potentially largest singular stratum, arising from the cylindrical tangent flow S2×R^{2n−2}, is excluded by a holomorphic P1-deformation argument, yielding the codimension-four bound. For shrinkers, the pa","pith_inferences":["The identification of singular-time limits with a time-zero slice suggests that spacetime completions may serve as canonical limit spaces for other degenerating geometric flows, not only Kähler–Ricci, wherever a comparable volume-noncollapsing estimate holds.","The codimension-four bound for the singular set matches the expected codimension behavior for shrinking solitons and may hold more generally if the cylindrical tangent flow can be excluded by non-Kähler mechanisms.","The asymptotic-conicality criterion gives a concrete algebraic check: a Kähler–Ricci shrinker is conical at infinity if and only if its Fano fibration is an isomorphism outside a compact set, a condition that can be verified from the fibration alone.","The principle that local compactness of the canonical slice upgrades pointwise distance limits to full GH convergence could be used as a general tool to prove uniqueness of tangent spaces for other self-similar flows."],"forward_implications":["Time slices of a compact volume-noncollapsed Kähler–Ricci flow converge to a unique Gromov–Hausdorff limit as the first singular time is approached.","The regular part of that limit is the complement of the null locus, and the singular set has Hausdorff dimension at most 2n−4.","A Kähler–Ricci shrinker is asymptotically conical exactly when its Fano fibration is biholomorphic outside a compact set.","For Ricci shrinkers with bounded scalar curvature, local compactness of the time-zero slice forces pointed Gromov–Hausdorff convergence of the self-similar flow to that slice, giving a unique tangent space at infinity.","Four-dimensional Ricci shrinkers with bounded scalar curvature, and Kähler–Ricci shrinkers with maximal volume growth, bounded scalar curvature, and an S1-soliton action, each have a unique Gromov–Hausdorff tangent space at infinity."],"fun_headline_variants":["Unique singular-time limit for noncollapsed Kähler–Ricci flows","Singular-time limit is the time-zero slice of the spacetime completion","Singular set in Kähler–Ricci limit has codimension at least four","Ricci shrinkers: geometry at infinity tied to Fano fibration"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the structure theory for noncollapsed Ricci flows—including weak compactness, center-distance estimates, and uniqueness of tangent flows—carries over unchanged to the noncompact self-similar flows generated by Ricci shrinkers with bounded scalar curvature.","fun_headline_variants_meta":{"raw":{"variants":["Unique singular-time limit for noncollapsed Kähler–Ricci flows","Singular-time limit is the time-zero slice of the spacetime completion","Singular set in Kähler–Ricci limit has codimension at least four","Ricci shrinkers: geometry at infinity tied to Fano fibration"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001344,"raw_usage":{"total_tokens":5334,"prompt_tokens":817,"completion_tokens":4517,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":4435}},"tokens_in":561,"tokens_out":4517,"duration_ms":30553,"temperature":1.0,"reasoning_tokens":4435,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T01:48:16.776511+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Gromov–Hausdorff limit of the time slices for an explicit noncollapsed Kähler–Ricci flow along two different time sequences and check whether the limits are isometric; if they differ, the uniqueness claim fails. Alternatively, find a tangent flow in the spacetime completion isometric to S2×R^{2n−2}, which the paper proves impossible by a holomorphic P1-deformation argument.","supporting_citations":[],"review_version":1}