Pith. sign in

REVIEW 4 major objections 6 minor 24 references

Rotationally symmetric Ricci Flow on $\mathbb{R}^{n+1}$

T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper establishes that every complete rotationally symmetric metric on $\mathbb{R}^{n+1}$ whose warping function stays bounded away from zero at infinity admits a complete rotationally symmetric Ricci flow up to some time $T_g$, with…

desk verdict Likely correct and genuinely new higher-dimensional short-time existence for Ricci flow from unbounded-curvature rotationally symmetric metrics, but the load-bearing pseudolocality lemma imports a 3D argument without a higher-dimensional proof. read the letter →

arxiv 2505.23157 v1 pith:YQUUI3KP submitted 2025-05-29 math.DG

Ming Hsiao This is my paper · ORCID
classification math.DG MSC 53E20
keywords Ricciflowrotationallysymmetricmetricsshort-timeexistenceunboundedcurvaturepseudolocalityvolumenoncollapsingdecayconesingularity
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

The central claim is a short-time existence theorem for complete Ricci flow on $\mathbb{R}^{n+1}$ in the rotationally symmetric class, with no bounded-curvature assumption on the initial metric. A complete rotationally symmetric metric $g = ds^2 + f(s)^2 g_{\mathrm{std}}$ with $\liminf_{s\to\infty} f(s) > 0$ is shown to admit a complete rotationally symmetric Ricci flow $g(t)$ on $[0,T_g]$ satisfying $|\mathrm{Rm}(g(t))| \le \Lambda_g/t$ for $t>0$. This matters because previous complete-flow existence results imposed global curvature control, while here the only global restriction is a mild noncollapsing condition at infinity on the warping function. A second version, for warping functions with $f_s \ge 0$, drops the local two-sided curvature condition near the origin, and a corollary produces a flow that smooths a cone-like singular metric while converging to it away from the singularity.

What carries the argument

The argument uses the rotationally symmetric ansatz $g(t)=ds_t^2+f(s_t,t)^2 g_{\mathrm{std}}$, which reduces Ricci flow to equations for the warping function $f$ and the radial coordinate, and whose Weyl tensor vanishes identically. The load-bearing mechanism is a pseudolocality lemma: under a Weyl-tensor bound $|W|\le c/t$ and a uniform lower bound on the volume ratio, the full curvature at a point obeys $|\mathrm{Rm}(x_0,t)|\le a/t$. Around this sit two a priori volume-ratio estimates showing that noncollapsing is preserved along the flow, a barrier construction that uses a thin neck at infinity to restrain the metric, and an extension procedure that restarts the flow whenever the curvature bound is about to fail. A limiting rotationally symmetric flow is extracted by an equivariant compactness theorem.

What would settle it

Take $n=3$ (so $\mathbb{R}^4$) and try to build a sequence of complete rotationally symmetric Ricci flows with vanishing Weyl tensor, uniform volume-ratio lower bound, and points $x_i$ with $|\mathrm{Rm}(x_i,t_i)|\,t_i \to \infty$ as $t_i \to 0$. The existence of even one such sequence is a direct counterexample to the pseudolocality lemma and therefore to Theorem 1; a positive check would be a written proof that the point-picking lemma used for the contradiction has a valid analogue in every dimension.

Watch

Extended reading notes

Core claim

The main result, Theorem 1, states that a complete rotationally symmetric metric $g = ds^2 + f(s)^2 g_{\mathrm{std}}$ on $\mathbb{R}^{n+1}$ with $\liminf_{s\to\infty} f(s) >0$ is the initial condition of a complete rotationally symmetric Ricci flow $( \mathbb{R}^{n+1}, g(t))_{t \in [0,T_g]}$ with $g(0)=g$ and curvature decay $|\mathrm{Rm}(g(t))| \le \Lambda_g/t$ on $\mathbb{R}^{n+1}\times(0,T_g]$. When the initial curvature is bounded near the origin, the constants $\Lambda_g$ and $T_g$ depend only on the dimension and the geometric data in that local bound. Under the additional monotonicity $f_s \ge 0$, the flow exists with only a scalar-curvature lower bound near the origin, and if $f_s \ge \delta >0$ and $\mathrm{scal}(g)\ge 0$, it exists for all $t\ge0$. The paper also constructs, by approximation, a complete Ricci flow starting from a rotationally symmetric metric with a cone-like singularity at the origin and no centered minimal hypersphere; that flow is smooth for positive time, converges smoothly to the initial metric away from the origin, and converges in the pointed Gromov-Hausdorff sense.

Load-bearing premise

The proof hinges on a pseudolocality lemma whose point-picking step is imported from a three-dimensional paper and asserted, but not proved, to work in every dimension; if that higher-dimensional import fails, the uniform estimate $|\mathrm{Rm}|\le \Lambda_g/t$ and both main theorems collapse.

Editorial extensions

If this is right

  • Theorem 1 gives complete Ricci flows for a broad class of noncompact initial metrics with unbounded curvature, with curvature instantaneously bounded by the sharp scale-invariant decay $\Lambda_g/t$.
  • Theorem 2 and Corollary 1 show that nondecreasing warping functions with a positive slope lower bound and nonnegative scalar curvature yield flows defined for all time, giving higher-dimensional examples that do not arise as products of two-dimensional flows.
  • Corollary 2 provides a Ricci-flow smoothing of a cone-like singular metric: the flow is smooth for positive time, converges smoothly away from the origin, and the metric spaces converge in the pointed Gromov-Hausdorff sense.
  • By the uniqueness theorem for flows with scaling-invariant estimates, the constructed flow is independent of the chosen approximating sequence.

Reading between the lines

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

  • The paper leaves the higher-dimensional validity of the pseudolocality point-picking step as the central unresolved check; Theorem 1 should be read as conditional on that import until it is supplied. This is the editor's inference, not a claim made in the paper.
  • If the barrier strategy is sound, it should extend to other symmetric initial geometries, for instance $U(n)$-invariant Kähler metrics on $\mathbb{C}^n$, yielding flows from unbounded-curvature data without global curvature bounds.
  • The cone-smoothing corollary suggests Ricci flow is a canonical desingularization of cone-like rotationally symmetric metrics whenever no minimal hyperspheres accumulate; a natural test is whether the no-minimal-hypersphere condition is necessary, in view of the cited example where infinitely many small minimal spheres prevent a $\kappa$-noncollapsed flow.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 6 minor

Summary. The paper claims a short-time existence theory for complete Ricci flows on rotationally symmetric manifolds (R^{n+1}, g = ds^2 + f(s)^2 g_std) under assumptions that do not include bounded curvature. Theorem 1 asserts existence of a complete rotationally symmetric Ricci flow with |Rm(g(t))| ≤ Λ_g/t when lim inf_{s→∞} f(s) > 0 and local two-sided curvature bounds hold near the origin. Theorem 2 removes the local curvature assumption when f_s ≥ 0, and Corollaries 1 and 2 derive a global flow under nonnegative scalar curvature and smooth out a cone-like singularity, respectively. The strategy is to approximate the initial metric by bounded-curvature rotationally symmetric metrics, apply Shi's existence theorem, obtain uniform curvature and volume-noncollapsing estimates via a pseudolocality lemma and a priori volume-ratio estimates, and then pass to a limit using equivariant compactness.

Significance. If the proof is completed, the result would be a significant step beyond Shi's bounded-curvature theory: it would give complete Ricci flows from rotationally symmetric initial data with unbounded curvature in arbitrary dimension, under mild noncollapsing-at-infinity assumptions. The paper also provides an explicit application to singular initial data with a cone-like vertex, which is an interesting and nontrivial consequence. The manuscript is generally well organized, and the strategy of combining Shi's flow, pseudolocality, and volume-ratio estimates is standard and plausible. However, the central pseudolocality lemma is not proved in the stated generality: it imports a point-picking lemma from a 3D-specific paper and invokes a 3D classification result. Because the uniform curvature bound |Rm| ≤ Λ_g/t in Theorems 1 and 2 rests entirely on that lemma, the main existence claims are not established as written.

major comments (4)
  1. [§3.1, Lemma 1] The proof of Lemma 1 applies [21, Lemma 5.1] to a Ricci flow in arbitrary dimension n without checking that the lemma is dimension-free. The cited paper is titled 'Local control on the geometry in 3D Ricci flow', and its point-picking argument relies on the 3D decomposition of the curvature operator and Perelman's 3D analysis. Since Lemma 1 is the only source of the uniform bound |Rm| ≤ Λ_g/t used in the proofs of Theorems 1 and 2, the central estimate is not established unless a dimension-free analogue of [21, Lemma 5.1] is stated and proved in this paper or shown to follow from a genuinely higher-dimensional reference.
  2. [§3.1, after (3.3)] The contradiction argument concludes that the limiting ancient solution has zero asymptotic volume ratio by citing [17, Proposition 11.4], but that proposition is a 3-dimensional statement about κ-solutions. In arbitrary dimension, nonnegative curvature operator together with κ-noncollapsing does not by itself imply zero asymptotic volume ratio. Therefore the limit (3.3) is not shown to contradict the lower bound AVR ≥ v_1, and the proof of Lemma 1 is incomplete even if the point-picking step were available.
  3. [§3.1, proof of Lemma 1] The sentence 'We may assume a_i t_i → 0' is not justified in the text. The existence of times t_i with |Rm(g_i(x_i,t))| < a_i/t for t < t_i and |Rm(g_i(x_i,t_i))| = a_i/t_i does not imply a_i t_i → 0; this condition is needed for the subsequent application of [21, Lemma 5.1]. The gap is repairable by choosing the original contradiction sequence with T_i = o(1/a_i), but the written proof must explicitly make that selection.
  4. [§4, Corollary 1] Corollary 1 asserts that the flows g_ℓ obtained from Theorem 2 coincide on their common time intervals, citing the uniqueness theorem [14, Theorem 1.1]. That theorem is from a 2025 preprint and is not proved in this paper, and the preceding phrase 'the solution comes from taking a subsequential limit of g_ℓ' is not by itself a construction of a global flow. Since the global existence statement of Corollary 1 depends on this uniqueness, the proof should either prove the needed uniqueness or state explicitly that the result depends on the as-yet-unpublished [14] and verify that its hypotheses apply.
minor comments (6)
  1. [§2, Proposition 1 proof] In the proof of Proposition 1, the sentence 'It remains to the case x /∈ B_g(x, 1/2)' should be 'It remains to consider the case x ∉ B_g(o, 1/2)'.
  2. [§3.2, Lemma 4] In the statement of Lemma 4, equation (3.8) writes 'φ(p,t) ≤ tℓ', which should presumably be 'φ(p,t) ≤ t^ℓ' for some ℓ > α+1; the proof later uses the exponent in this way.
  3. [§3.2, Lemma 5 proof] In the proof of Lemma 5, the phrase 'by Theorem 4' should refer to 'Lemma 4'.
  4. [§3.2, Lemma 6 proof] Equation (3.15) has a missing closing parenthesis in the displayed logarithmic expression; the formula should be written with careful bracketing.
  5. [§1, Introduction] There is a typo in the introduction: 'with anU (n)-invariant Kähler metric' should be 'with a U(n)-invariant Kähler metric'.
  6. [§4, Theorem 2 proof] In the proof of Theorem 2, the notation 'T3(n, max{Λ̂, a(Λ̂+Λ)}, δ) = T3(n,δ)' is misleading because Lemma 5's time constant depends on α; the intended meaning is that the constant is determined by n and δ once the dimension-dependent constants Λ and Λ̂ are fixed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main existence proof is an approximation argument whose inputs are external or independently derived, and no fitted parameter is relabeled as a prediction.

full rationale

The central derivation in Theorems 1 and 2 is an approximation-and-extension argument: the initial metric is approximated by bounded-curvature rotationally symmetric metrics, Shi's theorem supplies short-time flows with an initial |Rm| <= a*Lambda/t bound, Lemmas 5 and 6 use that already-available bound to propagate noncollapsing, and Lemma 1 then improves the curvature constant. The curvature bound used inside Lemmas 5 and 6 is the Shi bound, not the theorem's conclusion, so there is no self-feeding of the target estimate. Lemma 1 is imported from Simon-Topping [21], and its dimension dependence is a genuine correctness risk, but that is a gap in external support rather than a circular reduction: the paper does not derive Lemma 1 from the conclusion it is meant to prove. The uniqueness theorem [14] appears in Corollary 1 as an alternative viewpoint, while the existence claim is obtained by taking a subsequential limit of the flows g_l; thus [14] is not load-bearing. No equation defines a target quantity in terms of itself, and no fitted parameter is renamed as a prediction. The paper's own derived volume-ratio estimates and evolution equations are used as lemmas with independent content, so the derivation chain, modulo external-lemma validity, is self-contained rather than circular.

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

The central claim rests on many imported theorems. The most delicate imports are the point-picking lemma [21, Lemma 5.1] from a 3D paper, applied in all dimensions, and the 2025 uniqueness preprint [14] used in Corollary 1. No free parameters are fitted to data; the constants in the statements are universal or depend only on n and the named geometric quantities.

assumptions (9)
  • standard math Shi's existence theorem for complete noncompact Ricci flows under bounded curvature
    Used in Lemma 7 to get starting flows for approximating metrics.
  • standard math Chen-Zhu uniqueness for bounded curvature complete Ricci flows
    Used to extend flows and identify extensions in Section 4.
  • domain assumption Lee's uniqueness theorem for Ricci flows with scaling invariant estimates [14]
    arXiv:2503.20292, used in Corollary 1 to identify flows for different length scales; unrefereed preprint.
  • domain assumption Simon-Topping point-picking lemma [21, Lemma 5.1]
    Used in Lemma 1 to produce a blow-up point; from a 3D Ricci flow paper, applied here in arbitrary dimension.
  • standard math Zhang's generalized Hamilton-Ivey estimate for LCF flows [24]
    Used in Lemma 1 to conclude the blow-up limit has nonnegative curvature operator.
  • standard math Di Giovanni's preservation of f_s >= 0 and evolution equation for f_s [10, Lemma 3.1]
    Used in Lemma 5.
  • standard math Buttsworth-Hallgren-Zhang equivariant compactness for rotationally invariant Ricci flow [2, Prop 3.7]
    Used to pass to a limit of approximating RSRF.
  • standard math Deruelle-Schulze-Simon regularity of flows out of metric spaces [9, Thm 1.6]
    Used in Corollary 2 for smooth convergence outside the singular point.
  • standard math Lee-Tam local maximum principle [15]
    Used in Lemmas 4, 5, 6 and 9.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rotationally symmetric Ricci Flow on $\mathbb{R}^{n+1}$." pith.science (2026). https://pith.science/paper/YQUUI3KP

@misc{pith2026250523157,
  author       = {Pith},
  title        = {Pith review of: Rotationally symmetric Ricci Flow on $\mathbbR^n+1$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YQUUI3KP}},
  note         = {Machine review of arXiv:2505.23157}
}
abstract

We establish a short-time existence theory for complete Ricci flows under scaling-invariant curvature bounds, starting from rotationally symmetric metrics on $\mathbb{R}^{n+1}$ that are noncollapsed at infinity, without assuming bounded curvature. As a consequence, we construct a complete Ricci flow solution coming out of a rotationally symmetric metric, which has a cone-like singularity at the origin and no minimal hypersphere centered at the origin, using an approximation method.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 22 canonical work pages

  1. [14]

    M.-C. Lee. Uniqueness of Ricci flow with scaling invariant estimates. arXiv:2503.20292, 2025

    arXiv 2025

  2. [1]

    Angenent and Dan Knopf

    S. Angenent and Dan Knopf. An example of neckpinching for Ricci flow on Sn+1. Mathematical Research Letters, 11(4):493–518, 2004

    work page 2004

  3. [2]

    Buttsworth, M

    T. Buttsworth, M. Hallgren, Y. Zhang. Canonical surgeries in rotationally invariant Ricci flow. Transactions of the American Mathematical Society , 377(11):7877-7944, 2024

    work page 2024

  4. [3]

    Catino, C

    G. Catino, C. Mantegazza. The Evolution of the Weyl Tensor under the Ricci Flow. Annales- Institut Fourier , 61(4):1407-1435, 2009

    work page 2009

  5. [4]

    Chau, K.-F

    A. Chau, K.-F. Li, L.-F. Tam. Longtime existence of the K¨ ahler-Ricci flow on Cn. Transactions of the American Mathematical Society , 369(8):5747-5768, 2017. 20 Ming Hsiao

    work page 2017

  6. [5]

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

    work page 2009

  7. [6]

    Chen, H.-L

    B.-L. Chen, H.-L. Gu. An Example of Nonexistence of κ-Solutions to the Ricci Flow. Journal of Mathematical Study , 49(1):1-12, 2016

    work page 2016

  8. [7]

    Chen and X.-P

    B.-L. Chen and X.-P. Zhu. Uniqueness of the Ricci flow on complete noncompact manifolds. Journal of Differential Geometry , 74(1):119-154, 2006

    work page 2006

Show all 24 references
  1. [8]

    D. M. DeTurck. Deforming metrics in the direction of their Ricci tensors. Journal of Differential Geometry, 18(1):157-162, 1983

    1983

  2. [9]

    Deruelle, F

    A. Deruelle, F. Schulze, M. Simon. On the regularity of Ricci flows coming out of metric spaces. Journal of the European Mathematical Society , 24(7):2233–2277, 2022

    2022

  3. [10]

    Di Giovanni

    F. Di Giovanni. Rotationally symmetric Ricci flow on Rn+1. Advances in Mathematics, 381:107621, 2021

    2021

  4. [11]

    Giesen and P

    G. Giesen and P. M. Topping. Existence of Ricci flows of incomplete surfaces. Comm. Partial Differential Equations , 36(10):1860–1880, 2011

    2011

  5. [12]

    R. S. Hamilton. Three-manifolds with positive Ricci curvature. Journal of Differential Geometry, 17(2):255 – 306, 1982

    1982

  6. [13]

    Y. Lai. Ricci flow under local almost non-negative curvature conditions. Advances in Mathematics, 343:353–392, 2019

    2019

  7. [15]

    Lee and L.-F

    M.-C. Lee and L.-F. Tam. Some local maximum principles along Ricci flows. Canadian Journal of Mathematics , 74(2):329–348, 2022

    2022

  8. [16]

    Lee and P

    M.-C. Lee and P. Topping. Three-manifolds with non-negatively pinched Ricci curva- ture. arXiv:2204.00504, 2024

    2024

  9. [17]

    Perelman

    G. Perelman. The entropy formula for the Ricci flow and its geometric applications. arXiv:0211159, 2002

    2002

  10. [18]

    Perelman

    G. Perelman. Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. arXiv:0307245, 2003

    2003

  11. [19]

    Perelman

    G. Perelman. Ricci flow with surgery on three-manifolds. arXiv:0303109, 2003

    2003

  12. [20]

    W.-X. Shi. Deforming the metric on complete Riemannian manifolds. Journal of Dif- ferential Geometry, 30(1):223-301, 1989

    1989

  13. [21]

    Simon and P

    M. Simon and P. Topping. Local control on the geometry in 3D Ricci flow. Journal of Differential Geometry, 122(3):467-518, 2022

    2022

  14. [22]

    Topping and H

    P. Topping and H. Yin. Smoothing a measure on a Riemann surface using Ricci flow. arXiv:2107.14686, 2024

    2024 arXiv

  15. [23]

    Yang and F

    B. Yang and F. Zheng, U(n)-invariant K¨ ahler–Ricci flow with non-negative curvature. Communications in Analysis and Geometry , 21(2):251-294, 2013

    2013

  16. [24]

    Z.-H. Zhang. Generalization of the Hamilton–Ivey estimate to the higher-dimensional Ricci flow with a vanishing Weyl tensor. Journal of Mathematical Analysis and Ap- plications, 426(2):774–782, 2015. (Ming Hsiao) Department of Mathematics National Taiwan University and Nationa...

    2015

Pith tools

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