Pith. sign in

REVIEW 3 major objections 4 minor 20 references

Infinitely many non-collapsed steady Ricci solitons on complex line bundles

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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$.

desk verdict 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. read the letter →

arxiv 2412.16907 v3 pith:3E2LW4W2 submitted 2024-12-22 math.DG

Hanci Chi This is my paper · ORCID
classification math.DG MSC 53E2053C25
keywords RiccisolitongradientcohomogeneityonemetriccomplexlinebundleasymptoticallyconicalparaboloidalJensenspherenon-collapsed
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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.

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 (3)
  1. [§4.2, Lemma 4.11] 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.
  2. [§4-§5 (Lemmas 4.2, 5.1, 5.2, 5.4; Propositions 4.6, 5.5)] 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.
  3. [§4.2, Lemma 4.11, proof] 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.
minor comments (4)
  1. [§4.2, Lemma 4.11] 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).
  2. [§5, Proof of Theorem 1.1] Typo: 'We show that ach ξ(k, θ, s4, 0)' should read 'each'.
  3. [§1, Table 1 caption] The table contains 'the the Jensen S^{4m+3}/Z_k' and should read 'the Jensen S^{4m+3}/Z_k'.
  4. [§3, around (3.19)] 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.

Circularity Check

2 steps flagged · score 4.0 of 10

No definitional or fitted-input circularity; the main circularity risk is load-bearing reliance on the author's own unpublished preprint [Chi24] for invariance and asymptotic lemmas.

  1. self citation load bearing [Section 4.1, Lemma 4.2 (and Lemma 4.5)]
    "By [Chi24], we have the following lemma. Lemma 4.2. The set F is compact and invariant. ... By [Chi24, Proposition 3.2], the factor K is non-negative on RS ∩ { 1 − Z1 ≥ 0} ∩ {X3 ≥ 0} ∩ {Z2 − Z3 ≥ 0}."

    The compact invariant set F is the mechanism by which Lemma 4.4 proves completeness of the Theorem 1.1 family. Its invariance is not established in the present paper: the decisive non-negativity of K is quoted from [Chi24], a preprint by the same author that is not machine-checked or independently reproduced here. Thus a central premise of the completeness argument is imported by self-citation rather than derived from the paper's own equations.

  2. self citation load bearing [Section 5.1, Proposition 5.2 and Lemma 5.3]
    "Proposition 5.2. A ξ(k, θ, s4, s5) with s4 > 0 and s5 ≥ 0 converges to (0, 0, 0, µ2, 0, 0, 0, 0) for some µ ∈ [0, 1]. The function Q thus converges to −1. Proof. The proof of [Chi24, Proposition 4.1] applies verbatim to our case."

    This convergence statement is the key input for the AP asymptotics in Lemma 5.3, and together with [Chi24, Lemma 4.7] and [Chi24, Proposition 4.9] it identifies the paraboloid base as the Jensen S^{4m+3}/Z_k for θ ∈ (0, π). The present paper supplies no proof of these facts; they are asserted to carry over verbatim from the author's own unpublished preprint. The theorem's advertised asymptotic geometry therefore inherits its content from a same-author citation rather than from a derivation contained in this paper.

full rationale

The construction is not circular in the definitional or fitted-input sense: (θ, s4, s5) are free initial data of the cohomogeneity-one system, and the thresholds α_{k,θ}, β_{k,θ} are defined as infima over escape behavior, not fitted to the metrics whose existence is claimed. The infinite family in Theorem 1.4 is produced by a continuity/interpolation argument on these free parameters, so it is not forced by construction. However, the global analysis repeatedly quotes load-bearing results from the author's own unpublished preprint [Chi24]: the invariance of the compact set F (Lemma 4.2), the invariance of A (Lemma 4.5), the convergence of trajectories staying in B (Proposition 5.2), and the classification of possible asymptotic limits and exclusion of the round limit for θ > 0 (Lemma 5.3). These citations carry the asymptotic conclusions of Theorem 1.4 without being proved or independently verified in the paper. That is genuine self-citation load-bearing, but it is not a reduction of a prediction to its inputs, so the score is moderate rather than high. A separate correctness gap—Lemma 4.11 uses α := max_{θ∈[0,π]} α_{k,θ} without proving the maximum exists—is noted but is an omitted argument, not a circularity.

Assumptions & free parameters 4 free parameters · 4 assumptions · 0 invented entities

The construction uses a 3-parameter family of initial data (θ,s4,s5) plus the topological label k. The thresholds α_{k,θ} and β_{k,θ} are defined as infima over parameter sets in the proof; their numerical values are not computed. No constants are fitted to empirical data; the main external dependence is the author's companion preprint [Chi24].

free parameters (4)
  • θ (squash parameter) = θ ∈ [0,π]
    Controls the squash of CP^{m+1} as a twistor space over HP^m; θ=0 gives Fubini-Study and θ=π blows up the base. It is a free initial-data parameter of the ODE family, not fitted to data.
  • s4 (potential curvature parameter) = s4 ≥ 0
    Controls the initial second derivative of the soliton potential function; s4=0 corresponds to Einstein metrics. Free parameter of the family, not fitted.
  • s5 (mean curvature parameter) = s5 ≥ 0
    Controls the generalized mean curvature of the principal orbit; for steady solitons it is set to 0 since homothetic scaling absorbs it. Free parameter, not fitted.
  • b0, c0 (initial metric coefficients) = b0, c0 > 0
    Initial conditions at the singular orbit; the pair (b0/c0, product) is parameterized by θ and homothetic scaling. They are free choices in the construction, not fitted.
assumptions (4)
  • standard math Center manifold theorem and topological conjugacy for non-hyperbolic fixed points (Carr, Perko, Coddington-Levinson).
    Used in Section 3 to justify that local integral curves near p0 can be parameterized by the unstable eigenvectors (3.12).
  • standard math Conservation equation (2.3) and non-positivity of C+εf for non-Einstein solitons (Hamilton; B.-L. Chen).
    Used in Section 2 to derive the polynomial system (2.8) and the flow-invariant set RS.
  • domain assumption The full technical machinery of the author's prior preprint [Chi24] (compact invariant set F, asymptotic limits, monotone quantities) is valid and transfers to the squashed ansatz.
    Cited at Lemma 4.2 ('By [Chi24]'), Proposition 4.3, Lemma 5.1 and Proposition 5.2 ('applies verbatim'). The correctness of Theorems 1.1-1.4 depends on these results.
  • domain assumption The m=0 limit of the system represents the 4-dimensional steady soliton equation on O(k) over CP^1 (Appleton), justifying that θ=π curves model a different base.
    Used in Section 2, item (7), to identify degenerate integral curves with genuine 4-dimensional steady solitons.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Infinitely many non-collapsed steady Ricci solitons on complex line bundles." pith.science (2026). https://pith.science/paper/3E2LW4W2

@misc{pith2026241216907,
  author       = {Pith},
  title        = {Pith review of: Infinitely many non-collapsed steady Ricci solitons on complex line bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3E2LW4W2}},
  note         = {Machine review of arXiv:2412.16907}
}
abstract

We construct a continuous 3-parameter family of non-shrinking Ricci solitons complex line bundles $O(k)$ over $\mathbb{CP}^{2m+1}$, where the base space is not necessarily K\"ahler--Einstein. Each $O(k)$ with $k\in [3,2m+1]$ admits at least one asymptotically conical (AC) Ricci-flat metric in this family. For each $O(k)$ with $k\geq 3$, the family includes infinitely many asymptotically paraboloidal (AP) steady Ricci soliton.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 17 canonical work pages

  1. [1]

    Appleton

    A. Appleton. A family of non-collapsed steady Ricci solitons in even dimensions greater or equal to four. arXiv:1708.00161 , August 2017. arXiv: 1708.00161

    arXiv 2017

  2. [2]

    B \'e rard-Bergery

    L. B \'e rard-Bergery. Sur de nouvelles vari \'e t \'e s riemanniennes d' Einstein . In Institut \'E lie Cartan, 6 , volume 6 of Inst. \'E lie Cartan , pages 1--60. Univ. Nancy, Nancy , 1982

    work page 1982

  3. [3]

    M. Buzano. Initial value problem for cohomogeneity one gradient Ricci solitons. Journal of Geometry and Physics , 61(6):1033--1044, June 2011

    work page 2011

  4. [4]

    H.-D. Cao. Existence of gradient K \"a hler-- R icci solitons. Elliptic and parabolic methods in geometry (Minneapolis, MN, 1994) , 1:16, 1996

    work page 1994

  5. [5]

    Limits of solutions to the K \"a hler- R icci flow

    Huai-Dong Cao. Limits of solutions to the K \"a hler- R icci flow. Journal of Differential Geometry , 45(2):257--272, 1997

    work page 1997

  6. [6]

    Applications of centre manifold theory , volume 35

    Jack Carr. Applications of centre manifold theory , volume 35. Springer Science & Business Media, 2012

    work page 2012

  7. [7]

    B.-L. Chen. Strong uniqueness of the Ricci flow. Journal of Differential Geometry , 82(2), June 2009

    work page 2009

  8. [8]

    H. Chi. Einstein metrics of cohomogeneity one with S ^ 4m+3 as principal orbit. Communications in Mathematical Physics , 386(2):1011--1049, 2021

    work page 2021

Show all 20 references
  1. [9]

    H. Chi. Non-shrinking R icci solitons of cohomogeneity one from quaternionic H opf fibration. arXiv preprint arXiv:2411.00581 , 2024

    2024

  2. [10]

    E. A. Coddington and N. Levinson. Theory of Ordinary Differential Equations . McGraw-Hill Book Company, Inc., New York-Toronto-London , 1955

    1955

  3. [11]

    On the fundamental group of steady gradient ricci solitons with nonnegative sectional curvature

    Yuxing Deng and Yuehan Hao. On the fundamental group of steady gradient ricci solitons with nonnegative sectional curvature. arXiv preprint arXiv:2412.07452 , 2024

    2024 arXiv

  4. [12]

    A. S. Dancer and M. Y. Wang. Non- K \"a hler expanding Ricci solitons. International Mathematics Research Notices. IMRN , (6):1107--1133, 2009

    2009

  5. [13]

    A. S. Dancer and M. Y. Wang. On R icci solitons of cohomogeneity one. Annals of Global Analysis and Geometry , 39:259--292, 2011

    2011

  6. [14]

    Eschenburg and M

    J.-H. Eschenburg and M. Y. Wang. The initial value problem for cohomogeneity one Einstein metrics. The Journal of Geometric Analysis , 10(1):109--137, 2000

    2000

  7. [15]

    Feldman, T

    M. Feldman, T. Ilmanen, and D. Knopf. Rotationally symmetric shrinking and expanding gradient K \"a hler- R icci solitons. Journal of Differential Geometry , 65(2):169--209, 2003

    2003

  8. [16]

    Hamilton

    R. Hamilton. The formations of singularities in the Ricci Flow . Surveys in Differential Geometry , 2(1):7--136, 1993

    1993

  9. [17]

    The entropy formula for the Ricci flow and its geometric applications, November 2002

    Grisha Perelman. The entropy formula for the Ricci flow and its geometric applications, November 2002. arXiv:math/0211159

    2002 arXiv

  10. [18]

    Differential equations and dynamical systems , volume 7

    Lawrence Perko. Differential equations and dynamical systems , volume 7. Springer Science & Business Media, 2013

    2013

  11. [19]

    Stolarski

    M. Stolarski. Steady R icci solitons on complex line bundles. Communications in Analysis and Geometry , 32(4):977--1024, 2024

    2024

  12. [20]

    M. Wink. Cohomogeneity one R icci solitons from H opf fibrations. Communications in Analysis and Geometry , 31(3):625--676, 2023

    2023

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.