{"id":"1e07286e-8820-4237-a607-447358c939b9","arxiv_id":"2412.16907","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"For each k at least 3, the complex line bundle O(k) over CP^{2m+1} admits infinitely many non-collapsed steady Ricci solitons, and for 3 ≤ k ≤ 2m+1 it admits an asymptotically conical Ricci-flat metric.","lead":"This mathematics paper constructs new families of complete Ricci solitons, including infinitely many non-collapsed steady ones, on complex line bundles over complex projective space. These solitons are the candidate shapes for singularities that develop in the Ricci flow, so the construction expands the known zoo of possible singularity models.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.11 assumes a finite maximum over θ of α_{k,θ}, but the paper never proves θ↦α_{k,θ} is bounded or upper semicontinuous; without that, the 'infinitely many AP steady solitons' assertion in Theorem 1.4 is unsupported.","rationale":"The single-most load-bearing weakness is the unproved existence of a common threshold α for all θ; this is exactly the reader's weakest_assumption. The central claim of Theorem 1.4 has two parts. The AC Ricci-flat part (3≤k≤2m+1) is supported by Lemma 4.11's second half, which uses only continuity of the family {ξ(k,θ,0,0)} and the compactness of B; no global α is needed there. The 'infinitely many AP steady solitons' part, however, requires choosing one threshold α valid for every θ, and then for each θ either taking ξ(k,θ,α,0) if it stays in B or interpolating to a nearby trajectory that stays in B. If α does not exist (because α_{k,θ} is unbounded), the construction yields no common starting point and the dichotomy 'stays in B or enters A' is only available θ-by-θ with θ-dependent thresholds, which is not enough for the infinite family. The paper's citation of [Chi24] for several lemmas is a verifiability issue, not a correctness issue, and the other asymptotics arguments are plausible; thus the appropriate verdict remains CONDITIONAL, not REJECT. A numerical or analytic check of the θ-uniform boundedness of α_{k,θ} would settle the matter.","tokens_in":25575,"tokens_out":12435,"duration_ms":116029,"concrete_test":"Fix admissible (m,k), e.g., (m,k)=(1,3) and also a case with k≥2m+3. For a fine grid of θ∈[0,π], numerically integrate the ODE system (2.8) for a range of s4 and record the critical value s4*(θ) at which the trajectory switches from eventually entering C (as in (4.14)) to staying in B or entering A, using the set definitions (4.14) and the criterion from Lemma 4.5. If s4*(θ) remains bounded over the grid, the maximum exists and the gap is patchable by a compactness argument; if s4*(θ) grows without bound as θ approaches some point (notably π), Lemma 4.11 as written fails. Additionally, re-derive the estimates of Lemma 4.9 tracking θ-dependence to see whether a uniform bound can be proved analytically.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.4's 'infinitely many AP steady solitons' claim rests on Lemma 4.11, which sets α := max_{θ∈[0,π]} α_{k,θ}. However, α_{k,θ} is introduced in (4.27) as an infimum of thresholds, and the paper establishes only pointwise existence of a threshold for each fixed θ (Lemma 4.9). No argument is given that θ↦α_{k,θ} is bounded above on the compact interval [0,π], nor that it is upper semicontinuous, nor that the set of admissible thresholds is closed so that the infimum is attained. If sup_{θ} α_{k,θ}=∞, no finite α exists and the interpolation argument in Lemma 4.11 collapses. Even a finite supremum not attained would require an extra argument to show the common threshold α itself prevents entry into C. The AC Ricci-flat half of Theorem 1.4 (k∈[3,2m+1]) uses a different continuous-family argument and is not affected by this gap, but the 'infinitely many' statement is. This is a patchable gap, but it is load-bearing as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies cohomogeneity-one Ricci solitons on complex line bundles O(k) over CP^{2m+1} with Sp(m+1)Sp(1)-invariant ansatz. After rewriting the soliton equations as a polynomial dynamical system in new coordinates, the author uses center manifold theory to establish a local 4-parameter family of solutions emanating from the singular orbit. For k=1,2 a compact invariant set F is constructed, yielding complete expanding, Einstein, ALC Ricci-flat, and ACP steady solitons. For k≥3 the compact set argument fails, and the author instead generalizes Appleton's threshold method, defining parameters α_{k,θ} and β_{k,θ} and proving Theorem 1.4: for 3≤k≤2m+1 there is at least one AC Ricci-flat metric with Jensen sphere base, and for each k≥3 there are infinitely many AP steady Ricci solitons with Jensen sphere base.","tokens_in":25835,"tokens_out":6779,"duration_ms":61503,"significance":"If the main results are correct, the paper gives a substantial extension of known examples: non-collapsed steady Ricci solitons on every O(k), k≥3, with non-round asymptotic cone base, and new AC Ricci-flat metrics for 3≤k≤2m+1. The general dynamical-systems framework, in which the base space is not required to be Kähler-Einstein, is a useful contribution. The paper also gives a clear 3-parameter local family and identifies several invariant subsets. However, the proof of Theorem 1.4 relies on a maximum over a family of thresholds whose existence is not demonstrated, and many load-bearing steps are imported from the author's unpublished preprint [Chi24].","major_comments":[{"comment":"The proof defines α := max_{θ∈[0,π]} α_{k,θ}, but the existence of this maximum is not established. The quantities α_{k,θ} are introduced in (4.27) as infima over thresholds for each fixed θ, and Lemma 4.9 only gives a threshold for each fixed θ. No argument is given that θ ↦ α_{k,θ} is upper semicontinuous, bounded above, or that the infimum in (4.27) is attained; even a finite supremum not attained would require an additional argument to show that the single threshold α prevents entry into C for all θ. Since the interpolation argument producing the infinite family ξ⋆(k,θ) depends on this finite α, the proof of the 'infinitely many AP steady solitons' assertion in Theorem 1.4 is incomplete as written. This is a patchable gap but it is load-bearing.","section":"§4.2, Lemma 4.11"},{"comment":"Several central global-analysis statements are asserted to follow directly from the author's own unpublished preprint [Chi24], without stating the precise results or proofs. In particular, Lemma 4.2 (invariance of F), the non-negativity of K used in Lemma 4.2, Lemma 5.1 (AC/ACP asymptotics), Proposition 5.2 (convergence for curves staying in B), and Proposition 5.5 (critical points p1,p2) are imported from [Chi24]. Since [Chi24] is an arXiv preprint and not a published reference, the present manuscript does not provide sufficient support for these load-bearing claims. The author should either reproduce the required statements with proofs or state and prove the relevant [Chi24] results in an appendix.","section":"§4-§5 (Lemmas 4.2, 5.1, 5.2, 5.4; Propositions 4.6, 5.5)"},{"comment":"The proof contains the line 'the integral curve ξ(k, π, 0, 0) enters C, and thus α ≥ α_{k,0} > 0.' This is not correct in the stated range k ∈ [3, 2m+1], where Proposition 4.6 gives α_{k,0}=0 (since ξ(k,0,0,0) enters A). The intended quantity is likely α_{k,π}, which is positive for all k≥3 by the cited [App17, Theorem 5.1]. The argument can be repaired, but as written it is a factual error in a proof step used to show α>0.","section":"§4.2, Lemma 4.11, proof"}],"minor_comments":[{"comment":"The distinctness assertion 'Since ξ⋆(k,θ1) ≠ ξ⋆(k,θ2) if θ1 ≠ θ2' is not justified; the author should explain why different initial directions at p0 yield non-isometric metrics (e.g., via the limiting geometry of the singular orbit).","section":"§4.2, Lemma 4.11"},{"comment":"Typo: 'We show that ach ξ(k, θ, s4, 0)' should read 'each'.","section":"§5, Proof of Theorem 1.1"},{"comment":"The table contains 'the the Jensen S^{4m+3}/Z_k' and should read 'the Jensen S^{4m+3}/Z_k'.","section":"§1, Table 1 caption"},{"comment":"The sentence 'If integral curves with s4 represent cohomogeneity one Einstein metrics' is incomplete; it should state that s4=0 corresponds to the Einstein (Ricci-flat) case.","section":"§3, around (3.19)"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the dependence on [Chi24] and the unproved maximum in Lemma 4.11. Both are repairable, but the editor should decide whether reliance on the author's own unpublished preprint is acceptable for this journal. The paper's novelty is significant if the gaps are closed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The construction is real: a 3-parameter family of cohomogeneity-one solitons on O(k) over CP^{2m+1} with Sp(m+1)U(1) symmetry, giving squashed, non-Kähler bases. That is a genuine extension of Appleton/Wink/Stolarski. The AC Ricci-flat metrics on O(k) for 3 ≤ k ≤ 2m+1 with Jensen sphere cone seem new, and that half of the paper is the cleanest. But the proof of Theorem 1.4's 'infinitely many AP steady solitons' has a gap. Lemma 4.11 defines α := max_{θ∈[0,π]} α_{k,θ} and then uses a homotopy between θ and π with parameter τ α. The paper never shows the map θ ↦ α_{k,θ} is bounded above or upper semicontinuous, and α_{k,θ} is only introduced as an infimum of thresholds. For all Lemma 4.9 shows, those thresholds could blow up near θ = π, in which case no finite α exists. This is not fatal to the whole program—the threshold existence for each fixed θ and the AC Ricci-flat conclusion survive—but the 'infinitely many' assertion is unsupported as written.\n\nThe second soft spot is the dependence on the author's own unpublished preprint [Chi24]. Several lemmas are quoted or 'carried over' without proof: the invariance of F, the non-negativity of the factor K in Lemma 4.2, the convergence claims in Proposition 5.2, and more. That makes independent verification difficult. If [Chi24] is under review, a referee needs access; if not, the author should prove those statements here.\n\nWhat is good: the coordinate change to XZW variables is a real technical improvement over the older XY W coordinates; the center manifold analysis is careful and explicit; the invariant set F for k = 1, 2 is credible; and the asymptotics section cleanly distinguishes round vs Jensen bases via a geometric criterion. The paper is clearly written by someone who knows the field. The citation pattern is appropriate; new results are separated from old ones.\n\nWho this is for: anyone working on Ricci solitons, cohomogeneity-one metrics, or non-collapsed singularity models. It deserves peer review. A referee should ask for a proof of upper semicontinuity or boundedness of θ ↦ α_{k,θ}, or a different argument for the infinite family, and for self-contained proofs of the [Chi24] lemmas. The core construction is likely correct and worth publishing after revision.","headline":"Genuinely new symmetry ansatz and new AC Ricci-flat metrics on O(k), but the 'infinitely many AP steady solitons' claim rests on an unproved compactness step in Lemma 4.11.","tokens_in":26466,"tokens_out":3055,"would_cite":true,"duration_ms":60688,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C25"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs complete Ricci-soliton metrics on complex line bundles $O(k)$ with squashed base, proving infinitely many non-collapsed steady solitons for every $k\\ge 3$.","keywords":["Ricci soliton","gradient Ricci soliton","cohomogeneity one metric","complex line bundle","asymptotically conical","asymptotically paraboloidal","Jensen sphere","non-collapsed"],"falsifier":"For a fixed $k\\ge 3$ and fixed $m$, integrate the steady version of the dynamical system (2.8) numerically over a grid of squashing angles $\\theta\\in(0,\\pi)$, and for each $\\theta$ find the smallest initial parameter $s_4\\ge 0$ such that $\\xi(k,\\theta,s_4,0)$ never enters the region $C$ (the region in which the curve is known to leave the compact set $B$ and develop a different asymptotic behavior). If these thresholds are unbounded as $\\theta\\to\\pi$, the maximum of $\\alpha_{k,\\theta}$ used in the interpolation step does not exist, and the proof of infinitely many Jensen-base solitons would need a different argument. If they are bounded, the existence of the maximum is confirmed for those parameters.","tokens_in":25324,"feed_emoji":"🌀","tokens_out":12482,"duration_ms":102761,"temperature":0.7,"pith_summary":"This paper aims to construct complete Ricci-soliton metrics on the complex line bundles $O(k)$ over $\\mathbb{CP}^{2m+1}$ when the base is allowed to be squashed rather than Kähler–Einstein. Working with a cohomogeneity-one ansatz invariant under a smaller symmetry group, the author reduces the soliton equations to a polynomial dynamical system and proves that for $k=1,2$ a continuous three-parameter family of solutions exists, covering expanding, Einstein, Ricci-flat, and steady solitons with various asymptotic geometries. For every $k\\ge 3$ the same system yields threshold parameters such that large values of the initial acceleration parameter give complete expanding and steady solitons. The headline result is that for each $k\\ge 3$ the family contains infinitely many non-collapsed steady Ricci solitons asymptotic to a paraboloid with cross-section the Jensen sphere $S^{4m+3}/\\mathbb Z_k$, and for $3\\le k\\le 2m+1$ at least one asymptotically conical Ricci-flat metric with the same Jensen cross-section. If correct, this enlarges the known list of complete Ricci solitons on line bundles and provides new candidate models for Type II Ricci-flow singularities.","feed_headline":"Infinitely many non-collapsed steady Ricci solitons for every k≥3","feed_subtitle":"A squashed-sphere ansatz yields complete metrics with paraboloid cross-section the Jensen sphere, beyond Kähler–Einstein bases.","key_machinery":"The load-bearing mechanism is the reduction of the cohomogeneity-one Ricci-soliton equations to an eight-dimensional polynomial dynamical system in coordinates $X_1,X_2,X_3,Z_1,Z_2,Z_3,Z_4,W$, obtained by the change of variable $d\\eta=(\\operatorname{tr} L-\\dot f)dt$. The system has a conserved quantity $Q$, and the paper studies its flow on the invariant algebraic set $RS=\\{Q\\le 0,\\ H\\le 1,\\ W\\ge 0,\\ Z_1,Z_2,Z_3,Z_4\\ge 0,\\ Z_4^2=Z_2Z_3\\}$. For $k=1,2$ a compact flow-invariant set $F$ traps all relevant integral curves, proving completeness. For $k\\ge 3$, when the curves start outside $F$, the paper partitions the state space into regions $A$, $B$, and $C$ and proves that curves either stay in the compact set $B$ forever (giving non-collapsed AP or AC asymptotics), enter $A$ (giving ACP or ALC asymptotics), or enter $C$. The existence thresholds $\\alpha_{k,\\theta}$ and $\\beta_{k,\\theta}$ are defined as infima of parameters for which no curve enters $C$, and a continuous interpolation in $\\theta$ between known boundary cases produces the infinitely many distinct curves in $B$ that yield the Jensen-base solitons.","core_discovery":"The central discovery, stated as Theorem 1.4, is that the cohomogeneity-one framework with $\\mathrm{Sp}(m+1)U(1)$-symmetry produces complete metrics on each $O(k)$ that were not previously known. For each $k$ with $3\\le k\\le 2m+1$ there is at least one asymptotically conical Ricci-flat metric whose asymptotic cone has as its base the Jensen sphere $S^{4m+3}/\\mathbb Z_k$, a squashed non-round sphere quotient, and for each $k\\ge 3$ there are infinitely many asymptotically paraboloidal non-collapsed steady Ricci solitons with the same Jensen sphere as the cross-section of the asymptotic paraboloid. The proof works by defining threshold parameters $\\alpha_{k,\\theta}$ and $\\beta_{k,\\theta}$ for each squashing angle $\\theta$, showing that integral curves with parameter above the threshold remain in a compact invariant region or enter a region with known asymptotics, and then using continuity in $\\theta$ to interpolate between the known boundary cases $\\theta=0$ and $\\theta=\\pi$. Along the way the paper also establishes, for $k=1,2$, a continuous three-parameter family whose members are AC expanding solitons, AH negative Einstein metrics, ALC Ricci-flat metrics, or ACP steady solitons depending on the parameters.","pith_inferences":["If the threshold map $\\theta\\mapsto \\alpha_{k,\\theta}$ is continuous, which the paper does not prove, then the infinitely many distinct Jensen-base solitons would actually form a continuum; a numerical $\\theta$-grid computation of the escape threshold could test this directly.","The interpolation mechanism does not use Kählerity of the base, so the same threshold construction may produce analogous non-collapsed steady solitons on line bundles over other quaternionic or twistor-type base spaces obtained by cohomogeneity-one reductions.","The existence of AC Ricci-flat metrics with Jensen-sphere cone bases for $3\\le k\\le 2m+1$ suggests asking whether the same bundles admit such metrics for other $k$ values, possibly with different squashed cone bases.","One could investigate whether the Jensen-base solitons are isolated in the moduli space of complete steady solitons on $O(k)$ or persist under further symmetry breaking."],"forward_implications":["For each $k\\ge 3$ the same bundle $O(k)$ carries infinitely many distinct non-collapsed steady gradient Ricci solitons, all asymptotic to the same paraboloid over the Jensen sphere $S^{4m+3}/\\mathbb Z_k$.","For each $3\\le k\\le 2m+1$, $O(k)$ admits an asymptotically conical Ricci-flat metric whose asymptotic cone has a non-round Jensen sphere as its base, so the cone base is not forced to be the standard round sphere.","For $k=1,2$, the three-parameter family provides complete ALC Ricci-flat metrics with non-Kähler $\\mathbb{CP}^{2m+1}/\\mathbb Z_k$ base, AH Einstein metrics, and AC expanding solitons in a single continuous family.","For fixed $k\\ge 3$ and squashing angle $\\theta$, there is a critical value of the initial data below which the steady soliton changes its asymptotic geometry from a paraboloid over the Jensen sphere to a different ACP or ALC behavior, while above the threshold it is AP.","These non-collapsed steady solitons are candidates for Type II singularity models of the Ricci flow, complementing the known Kähler examples that have collapsed volume growth."],"supporting_citations":[{"why":"Supplies the threshold theorem (Theorem 5.1) and the prior non-collapsed AP steady solitons that the present paper generalizes to squashed bases.","marker":"[App17]"},{"why":"Provides the XZW coordinate system, the compact invariant set F, and asymptotic classifications used throughout Sections 3–5.","marker":"[Chi24]"},{"why":"Gives the Bérard-Bergery AC Ricci-flat metrics on O(n+1) and the boundary cases used to set up the θ=0 and θ=π comparisons.","marker":"[BB82]"},{"why":"Provides the convergence limits q1, q2, q0 for cohomogeneity-one Einstein integral curves used in the AH/ALC asymptotic lemma.","marker":"[Chi21]"},{"why":"Supplies the criterion for the limit of Z3/Z2 and the AP asymptotics used in Lemma 5.3.","marker":"[Win23]"},{"why":"Supplies the general cohomogeneity-one ansatz and the invariant subsets for Kähler–Ricci solitons that the paper embeds in its larger RS.","marker":"[DW11]"},{"why":"Gives the conservation law used to derive the algebraic invariant Q and the negative sign of C+εf for non-Einstein solitons.","marker":"[Ham93]"},{"why":"Provides the asymptotic ODE theorem used to analyze functions along integral curves near the non-hyperbolic point p0.","marker":"[CL55]"},{"why":"Supplies the center-manifold theorem used to justify the local expansion of integral curves near p0.","marker":"[Per13]"}],"fun_headline_variants":["Infinite steady solitons on O(k) for each k≥3","Squashed-sphere trick yields infinite Ricci solitons","Beyond Kähler–Einstein: infinite steady solitons","New non-collapsed steady Ricci solitons on line bundles","Infinitely many AC and AP metrics from Jensen sphere"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument that produces infinitely many distinct steady solitons assumes the threshold parameter $\\alpha_{k,\\theta}$, one for each squashing angle, has a largest value across all angles; the paper defines this maximum but does not show it is attained.","fun_headline_variants_meta":{"raw":{"variants":["Infinite steady solitons on O(k) for each k≥3","Squashed-sphere trick yields infinite Ricci solitons","Beyond Kähler–Einstein: infinite steady solitons","New non-collapsed steady Ricci solitons on line bundles","Infinitely many AC and AP metrics from Jensen sphere"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000201,"raw_usage":{"total_tokens":1372,"prompt_tokens":933,"completion_tokens":439,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":351}},"tokens_in":549,"tokens_out":439,"duration_ms":4465,"temperature":1.0,"reasoning_tokens":351,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:59:48.169020+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a fixed $k\\ge 3$ and fixed $m$, integrate the steady version of the dynamical system (2.8) numerically over a grid of squashing angles $\\theta\\in(0,\\pi)$, and for each $\\theta$ find the smallest initial parameter $s_4\\ge 0$ such that $\\xi(k,\\theta,s_4,0)$ never enters the region $C$ (the region in which the curve is known to leave the compact set $B$ and develop a different asymptotic behavior). If these thresholds are unbounded as $\\theta\\to\\pi$, the maximum of $\\alpha_{k,\\theta}$ used in the interpolation step does not exist, and the proof of infinitely many Jensen-base solitons would need a different argument. If they are bounded, the existence of the maximum is confirmed for those parameters.","supporting_citations":[],"review_version":1}