{"id":"8d07c340-f95c-464d-a0d6-07b02cd091db","arxiv_id":"2608.08533","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"FIK blow-down singularities form from an open family of nearby Ricci flow initial data on any closed four-manifold, and nearby flows carry a local first-order asymptotic coordinate.","lead":"This paper proves that the Feldman-Ilmanen-Knopf (FIK) blow-down singularity forms from an open family of all nearby Riemannian metrics on a four-manifold, with no symmetry conditions. It matters because it turns previously isolated examples of finite-time singularity formation in Ricci flow into a robust, open phenomenon with detailed control over the singularity's shape.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The decisive hand-verified spectral exhaustion (Theorem 2.4, Appendix A) is the most load-bearing unverified premise: one missed nonnegative FIK mode outside Z would break exact modulation and invalidate the open-basin claim.","rationale":"The visible analytic skeleton is internally consistent: the drift-adapted cutoff identity (99), the slice-to-Gram reduction (127)-(130), and the adaptive-graft defect (155) check out, and the paper is unusually explicit about scope (no density assertion, marking-convention dependence, non-identification of gamma_1 and E_1). The single most load-bearing unverified input is the exact spectral exhaustion of Theorem 2.4. If it is correct, the nonlinear architecture - exact modulation, receding-domain trapping, and two-state scattering - has a coherent logical order; the ordered threshold bootstrap (Remark 11.4) appears designed to avoid circularity, though its constant order is delicate. I therefore do not move the reader's CONDITIONAL verdict: the unresolved spectral certification justifies conditional acceptance pending an independent certificate, not rejection, since no concrete error has been exhibited. The proposed check would settle the issue directly. I agree with the reader's identification of the spectral exhaustion as the primary risk, though I would not weight the ordered bootstrap as heavily.","tokens_in":66369,"tokens_out":10997,"duration_ms":116847,"concrete_test":"Independently verify Theorem 2.4: implement the Wigner/Peter-Weyl decomposition of Appendix A.2 in a computer algebra system and, for each block with 0 <= J <= 20, solve the radial ODE boundary-value problems with rigorous interval arithmetic or high-precision shooting to certify the number of nonnegative eigenvalues per block. In particular, confirm Lemma A.9's uniform J>=5 comparison and Corollary A.17's at-most-one exceptional-block count. If every block outside Z has only strictly negative spectrum with a uniform gap, the concern is resolved; if any block outside Z has a nonnegative eigenvalue, Theorem A fails at its spectral foundation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem A's open-basin claim rests on Theorem 2.4's certification that the weighted FIK operator A = \\bar\\Delta_{\\bar f}+2Rm has nonnegative space exactly Z = span{Z0,...,Z8}, with all remaining spectrum strictly negative and a fixed gap beta (Eq. 15). This gap is used throughout: the exact modulation system (130) cancels only the nine Z-components, Lemma 6.5 gives H^1_nu coercivity on Z^perp, and the three-region trapping (Theorem 10.7) and post-bootstrap spectral recovery (Prop. 10.9) rely on it. The certification is not machine-checked; Appendix A's decisive steps - Lemma A.9's uniform J>=5 comparison, Corollary A.17's exceptional-block counts, and the radial analysis in Propositions A.11/A.14 - are hand-verified, and the appendices were only partially available for review. A single additional nonnegative eigenmode outside Z would leave a growing direction that no slice condition can remove: the Gram system would not cancel it, coercivity on the slice would fail, and Theorem A's open full-metric formation basin would be invalidated. This is a correctness risk, not a disagreement with consensus; a missed mode is an internal failure of the proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims two main results for the Feldman–Ilmanen–Knopf (FIK) blowdown singularity on a closed four-manifold. Theorem A asserts that, after implanting an exact FIK core on the oriented blow-up, there is a relatively C^{2,\\alpha}-open neighborhood of smooth metrics whose Ricci flows all develop a localized FIK singularity within a prescribed time, with global Type-I curvature bounds, full-sequence marked convergence to the ancient FIK flow, and sharp exceptional-sphere collapse. Theorem B adds, on a smaller physical neighborhood and after one fixed positive-time restart, a marked first-order asymptotic coordinate A1 taking values in the first stable eigenspace E1, together with a local foliation by marked first-order asymptotic classes and quadratic response formulas for scale and phase. The proof is organized around a self-contained spectral certification, exact nine-dimensional modulation, receding-domain trapping, adaptive grafting, global continuation, and a two-state scattering comparison. The paper is unusually explicit about its scope: it does not assert density, quotient invariance, or continuation through the singularity, and it repeatedly separates the one-state formation branch from the two-state refinement.","tokens_in":66489,"tokens_out":5096,"duration_ms":61109,"significance":"If the results are correct, they constitute a major advance: the first open full-metric formation theorem for a finite-time singularity modeled on a noncompact, noncylindrical shrinker, on an arbitrary closed four-manifold and with no symmetry or Kähler hypothesis. The visible analytic core is coherent and carefully built: the drift-adapted cutoff identity (99), the exact Gram modulation system (127)-(130), the coercive slice Lemma 6.5, and the graft identities (155) and (158) are internally consistent. The paper also ships a self-contained spectral argument in Appendix A rather than importing the spectral input from prior work, and Theorem B's scope statement (Theorem B.IV) is commendably precise about what is not asserted. The central risk is the hand-verified spectral exhaustion: the negative gap of Theorem 2.4 is load-bearing for essentially every later estimate, and a missed nonnegative mode would invalidate the open-basin claim. The paper also has a complex multi-threshold bootstrap in Section 10 whose declared order of constants deserves a more formal dependency audit.","major_comments":[{"comment":"The nine-dimensional spectral exhaustion is the load-bearing input of the paper: the exact modulation system (127)-(130), the coercivity Lemma 6.5, the three-region trapping Theorem 10.7, and the post-bootstrap recovery Proposition 10.9 all use the fixed negative gap beta. The proof of Theorem 2.4 delegates the decisive steps to hand-verified inventories: the uniform J>=5 comparison in Lemma A.9, the exceptional-block counts in Corollary A.17, and the radial block analysis in Propositions A.11 and A.14. In the version under review these appendices were only partially available, and the decisive counts are asserted rather than displayed in full. A single additional nonnegative eigenmode outside Z would leave an uncancelled growing direction and invalidate the open-basin claim. I therefore request a complete, independently checkable certification: full Wigner block tables for J<=4, a complete proof of Lemma A.9, and machine-checked certificates of the finite-dimensional algebra and eigenvalue counts, or an equally explicit reproducible verification.","section":"Appendix A, Theorem 2.4 and Eq. (15)"},{"comment":"The three-region bootstrap depends on a declared order in which the package radius Gamma3reg is fixed before the thresholds epsilon_der, eta_der, delta_B, and epsilon_* are chosen, and later decreases of epsilon_K are claimed to enter no radius inequality. The current text states this order but does not provide a formal dependency lemma proving that the constants used in Lemma 10.4, particularly C0,bar, which is normalized after Gamma3reg, are independent of the later smallness choices. Since this bootstrap closes the continuation that underlies Theorem A, I recommend restructuring the proof as a staged lemma with an explicit dependency list showing that no later choice feeds back into an earlier inequality. This is a verifiability concern rather than a demonstrated error, but it is load-bearing for the central claim.","section":"Section 10.3, Theorem 10.7 and Remark 11.4"}],"minor_comments":[{"comment":"The title in the manuscript body reads 'OPEN FULL-METRIC FORMA TION' with an erroneous space in 'FORMATION'; this should be corrected.","section":"Title and Section 1"},{"comment":"The notation 'cU1' for the little-Hölder neighborhood is typographically confusing; I recommend using a distinct symbol such as \\widehat U_1 and defining it once in both the abstract and the theorem statement.","section":"Abstract and Section 1.2"},{"comment":"The dependency graph is informative but dense; a short caption spelling out the meaning of the solid, dashed, and dotted arrows would improve readability.","section":"Figure 1"},{"comment":"The tuple P_prep lists Kgr, Csc, crad, Crad, kappa_sep, kappa_Gram, kappa_map, kappa_har twice, once as entries and once as projections of P_prim_pre; using a distinct notation for the projections would eliminate a potential source of confusion.","section":"Equation (38)"}],"recommendation":"major_revision","confidential_remarks":"The paper is potentially a major contribution, and the visible analytic trunk is internally consistent. The decisive issue is the spectral certification of Theorem 2.4: because the entire formation theorem collapses if one nonnegative eigenmode is missed, the hand-verified status of the J<=4 inventories and the J>=5 comparison is not commensurate with the weight placed on them. I would recommend asking the authors to provide a fully detailed or machine-checked certification before publication. If the spectral input is independently confirmed, the paper is likely acceptable; the remaining issues are local presentation and dependency-formalization concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: Theorem A is the first open full-metric formation result for a noncompact noncylindrical shrinker, and the paper earns that claim. It is not a repackaging: the proof turns the nine FIK modes into exact modulation, builds a receding-domain continuation, and gets full-sequence marked convergence without symmetry assumptions. The comparison with Stolarski/Hughes and Maximo/Song is accurate, and the citation pattern is appropriate, not self-congratulatory. The scope discipline is also real: no density assertion is made, the marking convention is explicitly flagged, and the gap between prepared and physical statements is spelled out.\n\nWhat I would want checked before trusting it is the spectral certification in Appendix A. Theorem 2.4 carries the whole nonlinear argument: one missed nonnegative mode outside Z would leave a growing direction that the exact slice cannot cancel, and the open-basin claim collapses. The certification is a long hand calculation—uniform J>=5 comparison, exceptional block counts, radial block analysis—and the appendices were only partially available for review. That is a correctness risk, not a style complaint. The right referee assignment is someone willing to verify Appendix A carefully, ideally with computer assistance on the finite block inventory. A second, smaller soft spot is the ordered bootstrap in Theorem 10.7 and Remark 11.4; it looks carefully managed, but the constant ordering is intricate enough that a circulation error could propagate. That is ordinary for a project this size.\n\nThe visible derivations I spot-checked—the drift-adapted cutoff identity, the Gram system, the graft defect—are internally consistent. The paper is unusually honest about what it does not prove, and it does not overclaim. It is long and not easy to read, but the structure is explicit and the dependencies are mapped.\n\nVerdict: this deserves a serious referee. If the spectral exhaustion survives verification, it is a central result for finite-time singularity formation. My own confidence is conditional, not because I saw a flaw, but because so much rests on a hand-certified spectrum.","headline":"Genuinely new open full-metric FIK formation theorem, but the load-bearing spectral certification is hand-verified and needs a referee who will check it line by line.","tokens_in":67215,"tokens_out":2137,"would_cite":false,"duration_ms":24109,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C44","35K55"],"pacs":[],"model":"deepseek-v4-flash","headline":"FIK blowdown forms from every metric in an open full-metric neighborhood of an implanted exact core, with no symmetry or Kähler tuning, and a single restart-invariant amplitude governs its first-order asymptotics.","keywords":["FIK shrinker","Ricci flow","Type-I singularity","open formation basin","blowdown singularity","spectral certification","geometric modulation","marked asymptotic moduli"],"falsifier":"Recompute the spectrum of $A = \\Delta_{\\bar f} + 2\\,\\mathrm{Rm}$ on the FIK shrinker independently — numerically or analytically — and look for any eigenvalue $\\ge 0$ beyond the nine certified ones ($1$, four copies of $1 - 1/\\sqrt{2}$, four copies of $0$); a single additional nonnegative eigenvalue would be an unstable direction that no exact slice can cancel, and the open basin would not exist. A cheaper check targets the two hand-verified pillars of the exhaustion: the uniform $J \\ge 5$ coefficient comparison (Lemma A.9) and the exceptional-block counts (Corollary A.17), either of which, if wrong, would break the negative-gap assumption.","tokens_in":65929,"feed_emoji":"🌀","tokens_out":24500,"duration_ms":211252,"temperature":0.7,"pith_summary":"This paper establishes that the FIK blowdown — the finite-time Ricci-flow singularity, modeled on the noncompact asymptotically conical gradient Kähler–Ricci shrinker over the blow-up of $\\mathbb{C}^2$, whose self-similar flow collapses the exceptional $(-1)$-sphere — is an open singularity mechanism rather than a hand-built trajectory. On the oriented blow-up of an arbitrary closed connected oriented four-manifold at an arbitrary point, the author constructs a relatively $C^{2,\\alpha}$-open neighborhood of smooth metrics, centered at a metric containing an exact FIK core, such that every metric in the neighborhood develops, before any prescribed positive time, a localized FIK singularity with a global Type-I curvature bound, full-sequence marked convergence of parabolic rescalings to the ancient FIK flow, and sharp collapse asymptotics for the transported exceptional sphere. No symmetry, Kähler condition, or finite-dimensional tuning is imposed — to the author's knowledge, the first open full-metric formation theorem for a finite-time singularity modeled on a noncompact, noncylindrical shrinker. On a smaller neighborhood, a single restart-invariant amplitude $A_1 = \\lambda_\\infty^{-\\gamma_1} V_\\infty$ in the first stable eigenspace $E_1$ governs the first-order asymptotics: it is a split $C^1$ submersion, locally the projection onto $E_1$, and equality of amplitudes exactly characterizes marked first-order asymptotic agreement.","feed_headline":"Every nearby metric forms the same FIK singularity","feed_subtitle":"An open basin of Riemannian metrics all collapse like the FIK model, with sharp asymptotics and no symmetry assumption.","key_machinery":"The argument is carried by the weighted FIK operator $A = \\Delta_{\\bar f} + 2\\,\\mathrm{Rm}$ on symmetric two-tensors over the shrinker, self-adjoint with respect to the Gaussian measure $d\\nu = (4\\pi)^{-2}e^{-\\bar f}\\,dV_{\\bar g}$. A self-contained spectral certification — an $\\mathrm{SU}(2)$ Peter–Weyl decomposition with highest-weight index $J$, an exact block inventory for $J \\le 4$, and a uniform comparison for $J \\ge 5$ — proves that the nonnegative spectral space $Z$ is exactly nine-dimensional: eigenvalue $1$ (the scaling/Ricci direction), eigenvalue $1 - 1/\\sqrt{2}$ four times, eigenvalue $0$ four times (the pure diffeomorphism directions), and all remaining spectrum strictly negative with a fixed gap $\\beta > 0$. Exact modulation turns those nine modes into feedback rather than tunable parameters: the slice conditions $\\langle H, Z_\\mu\\rangle_{L^2_\\nu} = 0$ determine the scale and gauge velocities $(a, b_1, \\ldots, b_8)$ through a uniformly invertible $9 \\times 9$ Gram system, and self-adjointness of $A$ cancels the entire nonnegative spectrum from the right-hand side. Receding-domain trapping closes a weighted energy estimate on domains $\\{\\bar f < 4e^\\tau\\}$ receding into the conical end, using the drift-adapted cutoff $\\rho_\\tau = \\rho(e^{-\\tau}\\bar f)$, whose drift identity $(\\partial_\\tau - \\Delta_{\\bar f})\\rho_\\tau$ cancels the moving-boundary term, and corrected barriers $B = \\exp(K\\int^\\tau q)\\,B_0 - K_0 P_{\\tau_1}(\\tau)$ that absorb the modulation through the future phase tail. A controlled harmonic-map gauge $\\partial_t F = \\Delta_{\\hat G, S} F$ factors the geometric phase out of the perturbation, and two-state comparison produces the restart-invariant amplitude $A_1 = \\lambda_\\infty^{-\\gamma_1} V_\\infty \\in E_1$ in the first stable eigenspace.","core_discovery":"The central claim, stated at the level of the paper's own theorems, is that FIK blowdown occurs from an open set of all nearby metrics, not merely along selected trajectories. Theorem A asserts that on the oriented blow-up $\\hat X \\cong X \\# \\mathbb{CP}^2$ of any closed connected oriented Riemannian four-manifold, given an implantation point and any $\\varepsilon_T > 0$, there is a relatively $C^{2,\\alpha}$-open neighborhood $\\mathcal{U}$ of smooth metrics around an exact-FIK-core metric $G_*$ such that every $G_0 \\in \\mathcal{U}$ has singular time $0 < T(G_0) < \\varepsilon_T$, obeys the Type-I bound $c \\le (T(G_0)-t)\\,\\|\\mathrm{Rm}_{G(t)}\\|_{L^\\infty} \\le C$ near the singular time, keeps curvature uniformly bounded outside the implantation region, and has fixed-convention marked parabolic rescalings converging to the ancient FIK flow in $C^\\infty_{\\mathrm{loc}}$ along the full singular-time sequence, without passing to a subsequence; the transported exceptional sphere collapses with sharp FIK asymptotics for area, intrinsic diameter, and curvature. Theorem B refines this near a distinguished center $G_{ss}$: after one fixed positive-time restart, the marked first-profile coordinate $A_1 = \\lambda_\\infty^{-\\gamma_1} V_\\infty \\in E_1$ is a split $C^1$ submersion and locally the projection onto $E_1$, its fibers form a local $C^1$ foliation whose leaves are exactly the marked first-order asymptotic classes, and the same amplitude determines the first quadratic corrections to the scale law and the phase.","pith_inferences":["If other noncompact asymptotically conical shrinkers admit the same certified spectral picture — a nonnegative space consisting exactly of the scaling and diffeomorphism modes, with a negative gap beyond — the same trunk of spectral certification, exact modulation, and receding-domain trapping could plausibly yield open full-metric formation basins for other singularity models.","The paper proves openness but, by its own statement, no density in the space of all metrics; whether the basin is large in any measure-theoretic or topological sense is a natural question left open.","Because $A_1$ is invariant under transported forward restarts and depends on the marking convention rather than on a time slice, it behaves like a scattering coordinate; a testable extension would be to track its transformation under equivariant re-marking by small diffeomorphisms and to ask whether it can serve as a coordinate on a moduli space of blowdown singularities across different host mani"],"forward_implications":["FIK blowdown is an open singularity mechanism: every metric in an open full-metric neighborhood of an implanted exact core forms the same localized singularity, so no symmetry ansatz, Kähler condition, or finite-dimensional tuning is needed to realize it.","The singular time can be prescribed arbitrarily small, and all curvature blow-up is confined to the prescribed implantation region, with the flow converging smoothly outside it.","Marked parabolic rescalings converge to the ancient FIK flow along the full singular-time sequence without subsequence selection, and the transported exceptional sphere collapses with sharp FIK asymptotics for area, intrinsic diameter, and ambient curvature.","Locally, marked first-order asymptotic agreement is an equivalence relation controlled by one coordinate: $A_1$ is a split $C^1$ submersion projecting onto $E_1$, its fibers form a local $C^1$ foliation, and the zero fiber is the marked strong-stable leaf.","The amplitude $A_1$ determines the first quadratic response of the singularity — the leading corrections to $\\lambda(t)/(T(G)-t)$ and to the phase — so first-order asymptotic data fix the leading nonlinear scale and phase behavior."],"supporting_citations":[{"why":"Supplies the FIK shrinker $(\\bar g, \\bar f)$, its ancient self-similar flow, and the explicit coordinates used throughout the spectral and grafting calculations.","marker":"[13]"},{"why":"The realization argument that selected individual FIK trajectories; its gauge-fixed expansion, exit selection, and barrier trapping are the methodological baseline the paper converts into an open basin.","marker":"[32]"},{"why":"The tensor-mode decomposition that first exposed the nine-mode geometric spectrum of the FIK operator, the spectral input that Appendix A re-derives and certifies in its own normalization.","marker":"[25]"},{"why":"The earlier open FIK-forming family within a symmetry-restricted metric class, the prior openness result that Theorem A extends to the full space of Riemannian metrics.","marker":"[24]"},{"why":"The Type-I blow-up theory showing that parabolic rescalings admit shrinking-soliton limits subsequentially, the subsequential statement the paper sharpens to full-sequence marked convergence.","marker":"[12]"},{"why":"The shrinker-stability framework in which the spectral analysis is organized.","marker":"[6]"},{"why":"The classification of Kähler–Ricci shrinker surfaces identifying the FIK model as the nonflat asymptotically conical model on the blow-up of $\\mathbb{C}^2$.","marker":"[22]"},{"why":"The entropy-Hessian nonpositivity principle, cited as insufficient by itself to imply dynamic stability and thereby motivating the finer spectral control developed here.","marker":"[26]"},{"why":"A selected-trajectory FIK formation via compact perturbation of a noncompact background, an individual realization the open basin generalizes.","marker":"[18]"}],"fun_headline_variants":["Open basin of metrics all form FIK singularity","Every nearby metric yields FIK blowdown","FIK singularity from an open set of metrics","First open formation theorem for FIK collapse","No symmetry needed: open metrics form FIK"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction stands on the hand-verified spectral certification that the nine scaling and diffeomorphism modes are the only nonnegative modes of the weighted FIK operator, with a strictly negative gap behind them: if even one additional unstable mode existed, the exact-modulation slice could not cancel it and the open-basin claim would collapse; a second fragile premise is the ordered threshold bootstrap whose constants must be fixed in a declared order so that later decreases never enter earlier radius inequalities.","fun_headline_variants_meta":{"raw":{"variants":["Open basin of metrics all form FIK singularity","Every nearby metric yields FIK blowdown","FIK singularity from an open set of metrics","First open formation theorem for FIK collapse","No symmetry needed: open metrics form FIK"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000595,"raw_usage":{"total_tokens":2945,"prompt_tokens":1262,"completion_tokens":1683,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":878,"completion_tokens_details":{"reasoning_tokens":1614}},"tokens_in":878,"tokens_out":1683,"duration_ms":12665,"temperature":1.0,"reasoning_tokens":1614,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:35:23.128343+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the spectrum of $A = \\Delta_{\\bar f} + 2\\,\\mathrm{Rm}$ on the FIK shrinker independently — numerically or analytically — and look for any eigenvalue $\\ge 0$ beyond the nine certified ones ($1$, four copies of $1 - 1/\\sqrt{2}$, four copies of $0$); a single additional nonnegative eigenvalue would be an unstable direction that no exact slice can cancel, and the open basin would not exist. A cheaper check targets the two hand-verified pillars of the exhaustion: the uniform $J \\ge 5$ coefficient comparison (Lemma A.9) and the exceptional-block counts (Corollary A.17), either of which, if wrong, would break the negative-gap assumption.","supporting_citations":[{"cited_title":"Stolarski,Closed Ricci flows with singularities modeled on asymptotically conical shrinkers, Geom","cited_arxiv_id":null,"evidence_quote":"The realization argument that selected individual FIK trajectories; its gauge-fixed expansion, exit selection, and barrier trapping are the methodological baseline the paper converts into an open basin."},{"cited_title":"M´ aximo,On the blow-up of four-dimensional Ricci flow singularities, J","cited_arxiv_id":null,"evidence_quote":"The earlier open FIK-forming family within a symmetry-restricted metric class, the prior openness result that Theorem A extends to the full space of Riemannian metrics."},{"cited_title":"Li and B","cited_arxiv_id":null,"evidence_quote":"The classification of Kähler–Ricci shrinker surfaces identifying the FIK model as the nonflat asymptotically conical model on the blow-up of $\\mathbb{C}^2$."},{"cited_title":"L^2-instability of the Taub-Bolt metric under the Ricci flow","cited_arxiv_id":"2408.15269","evidence_quote":"A selected-trajectory FIK formation via compact perturbation of a noncompact background, an individual realization the open basin generalizes."}],"review_version":1}