Pith. sign in

REVIEW 4 minor 25 references

Gradient Ricci solitons with scalar curvature bounds and harmonic coordinate lower bounds are compact, with smooth regular parts in limits and asymptotic cylindricality for steady cases under L1 Ricci decay.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-05-09 23:49 UTC

load-bearing objection This paper gives a compactness theorem for gradient Ricci solitons by bootstrapping regularity in harmonic coordinates from the soliton equation, then applies it to smoothness of noncollapsed limits and conditional asymptotic cylindricality under L1 Ricci decay.

arxiv 2604.20224 v1 submitted 2026-04-22 math.DG

Steady soliton with mathcal{L}¹ decay curvature

Ming Hsiao This is my paper
classification math.DG
keywords gradient Ricci solitonscompactness theoremharmonic coordinatesasymptotic cylindricalityL1 decayRicci curvature boundsnoncollapsed limitsscalar curvature
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes a compactness theorem for gradient Ricci solitons that satisfy bounds on scalar curvature and have a uniform lower bound on the size of harmonic coordinate charts. It achieves this by using the soliton equation to bootstrap higher regularity from these assumptions. As an application, the regular parts of noncollapsed limits of gradient Ricci solitons with bounded Ricci curvature turn out to be smooth. The authors also prove that steady gradient Ricci solitons must be asymptotically cylindrical if their Ricci curvature decays sufficiently in the L1 sense.

Core claim

In this paper, we establish a compactness theorem for gradient Ricci solitons with scalar curvature bounds and uniform lower bounds of harmonic coordinates. Our approach is to bootstrap regularity in harmonic coordinates by exploiting the soliton equation. As an application, we show that the regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is smooth. Further, we show that a steady gradient Ricci soliton is asymptotically cylindrical under an L1-decay assumption on its Ricci curvature.

What carries the argument

Bootstrapping of regularity in harmonic coordinates by exploiting the gradient Ricci soliton equation together with scalar curvature bounds and a uniform lower bound on the harmonic radius.

Load-bearing premise

The L1 integrability of the Ricci curvature is assumed as an input for the asymptotic cylindricality result rather than derived from the soliton structure.

What would settle it

A steady gradient Ricci soliton with bounded scalar curvature whose Ricci curvature fails to decay in L1 but is not asymptotically cylindrical would disprove the asymptotic claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is smooth.
  • A steady gradient Ricci soliton is asymptotically cylindrical under an L1-decay assumption on its Ricci curvature.
  • Compactness holds for gradient Ricci solitons under scalar curvature bounds and uniform lower bounds on the harmonic radius.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The regularity bootstrap via the soliton equation may extend to other geometric flows sharing similar structural equations.
  • The L1 decay condition could be compared to other integrability or decay rates to classify a broader family of steady solitons.
  • This smoothness control on limits supports analysis of singularity formation in the Ricci flow.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper establishes a compactness theorem for gradient Ricci solitons equipped with scalar curvature bounds and uniform lower bounds on the harmonic radius. Regularity is bootstrapped in harmonic coordinates by exploiting the gradient soliton equation Ric + Hess f = 0. As an application, the regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is shown to be smooth. Additionally, any steady gradient Ricci soliton satisfying an L^1-decay assumption on its Ricci curvature is proved to be asymptotically cylindrical.

Significance. If the bootstrap estimates hold, the compactness and smoothness results supply useful control on limits of Ricci solitons, which are central to the analysis of Ricci-flow singularities and ancient solutions. The conditional asymptotic cylindricality statement under L^1 integrability of |Ric| provides a concrete criterion that may be verifiable in examples and complements existing decay results in the literature.

minor comments (4)
  1. §2.2, Definition 2.3: the precise normalization of the harmonic radius lower bound (e.g., whether it is scale-invariant) should be stated explicitly to clarify compatibility with the subsequent rescaling arguments.
  2. Theorem 1.1: the statement of the compactness theorem would benefit from an explicit list of the constants that depend only on the dimension and the given bounds, rather than leaving the dependence implicit.
  3. §4, proof of asymptotic cylindricality: the passage from L^1 integrability of |Ric| to the decay of the curvature tensor at infinity would be clearer if the integration-by-parts identity used to control the potential function f were displayed as a separate lemma.
  4. References: several recent works on L^1 curvature decay for Ricci solitons (e.g., papers by Bamler–Zhang or Deruelle–Schulze) are not cited; adding them would situate the new hypothesis more precisely.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary accurately captures the main contributions, including the compactness theorem via regularity bootstrapping in harmonic coordinates and the application to asymptotic cylindricality under L^1 decay of the Ricci curvature.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's compactness theorem bootstraps C^infty regularity on the regular part of noncollapsed limits directly from the gradient soliton equation Ric + Hess f = 0 together with scalar curvature bounds and uniform lower bounds on harmonic radius; these inputs are independent of the output estimates. The asymptotic cylindricality result for steady solitons is explicitly conditional on an external L1 integrability hypothesis for |Ric| and does not derive or redefine that decay from the conclusion. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling appear in the derivation chain. The argument is self-contained against the stated external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results in Riemannian geometry and the definition of gradient Ricci solitons; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math Existence and regularity properties of harmonic coordinates with uniform lower bounds on the harmonic radius.
    Invoked to set up the bootstrap argument in the compactness theorem.
  • domain assumption The gradient Ricci soliton equation holds pointwise.
    Used to exploit the equation for regularity improvement.

pith-pipeline@v0.9.0 · 5359 in / 1333 out tokens · 50149 ms · 2026-05-09T23:49:08.736832+00:00 · methodology

0 comments
read the original abstract

In this paper, we establish a compactness theorem for gradient Ricci solitons with scalar curvature bounds and uniform lower bounds of harmonic coordinates. Our approach is to bootstrap regularity in harmonic coordinates by exploiting the soliton equation. As an application, we show that the regular part of any noncollapsed limit of gradient Ricci solitons with bounded Ricci curvature is smooth. Further, we show that a steady gradient Ricci soliton is asymptotically cylindrical under an $\mathcal{L}^{1}$-decay assumption on its Ricci curvature.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Anderson

    M.T. Anderson. Convergence and rigidity of manifolds under Ricci curvature bounds. Invent Math 102, 429–445 (1990)

    work page 1990

  2. [2]

    Bamler, Entropy and heat kernel bounds on a Ricci flow background, arXiv:2009.11754

    R. Bamler, Entropy and heat kernel bounds on a Ricci flow background, arXiv:2009.11754

    work page arXiv 2009

  3. [3]

    Bamler, Structure theory of non-collapsed limits of Ricci flows, arXiv preprint, 2020

    R. Bamler, Structure theory of non-collapsed limits of Ricci flows, arXiv preprint, 2020

    work page 2020

  4. [4]

    Bamler, Compactness theory of the space of Super Ricci flows, Invent

    R. Bamler, Compactness theory of the space of Super Ricci flows, Invent. Math. 233 (2023), 1121–1277

    work page 2023

  5. [5]

    Brendle, Ancient solutions to the Ricci flow in dimension 3, Acta Math

    S. Brendle, Ancient solutions to the Ricci flow in dimension 3, Acta Math. 225 (2020), no. 1, 1–102

    work page 2020

  6. [6]

    Cao and H

    X. Cao and H. Tran, Geometry and analysis of gradient Ricci solitons in dimension four, in: Surveys in Differential Geometry, Vol. 27, no. 1, 2022, pp. 213–233

    work page 2022

  7. [7]

    Chan, Curvature estimates for steady Ricci solitons , Trans

    P.-Y. Chan, Curvature estimates for steady Ricci solitons , Trans. Am. Math. Soc., 371, no. 12, 8985-9008 (2019)

    work page 2019

  8. [8]

    Chan and M

    P.-Y. Chan and M. Hsiao, Curvature estimates for steady and expanding solitons in higher dimensions, arXiv:2512.05625 (2025)

    work page arXiv 2025

  9. [9]

    P.-Y. Chan, Z. Ma and Y. Zhang, Volume growth estimates of gradient Ricci solitons, J. Geom. Anal. 32 (2022), Paper No. 291, 36 pp

    work page 2022

  10. [10]

    Cheeger and A

    J. Cheeger and A. Naber, Regularity of Einstein manifolds and the codimension 4 conjecture, Ann. of Math. (2) 182 (2015), no. 3, 1093–1165

    work page 2015

  11. [11]

    Chen, Strong uniqueness of the Ricci flow, J

    B.-L. Chen, Strong uniqueness of the Ricci flow, J. Differential Geom. 82 (2009), 363–382

    work page 2009

  12. [12]

    C.-W. Chen. Shi-type estimates of the Ricci flow based on Ricci curvature. Ann. Sc. Norm. Super. Pisa Cl. Sci. 20, 1553–1580 (2020)

    work page 2020

  13. [13]

    T. H. Colding, Ricci curvature and volume convergence, Ann. of Math. (2) 145 (1997), no. 3, 477–501

    work page 1997

  14. [14]

    Deruelle

    A. Deruelle. Steady gradient Ricci soliton with curvature in L1. Commun. Anal. Geom. 20, no. 1, 31-53 (2012)

    work page 2012

  15. [15]

    Deruelle, Asymptotic estimates and compactness of expanding gradient Ricci solitons, Ann

    A. Deruelle, Asymptotic estimates and compactness of expanding gradient Ricci solitons, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), 485–530

    work page 2017

  16. [16]

    R. S. Hamilton, Three-manifolds with positive Ricci curvature, J. Differential Geom. 17 (1982), no. 2, 255–306

    work page 1982

  17. [17]

    R. S. Hamilton, The formation of singularities in the Ricci flow, Surveys in Differential Geometry (Cambridge, MA, 1993), 2, 7-136, International Press, Cambridge, MA, 1995

    work page 1993

  18. [18]

    Haslhofer and R

    R. Haslhofer and R. Müller, A compactness theorem for complete Ricci shrinkers, Geom. Funct. Anal. 21 (2011), 1091–1116

    work page 2011

  19. [19]

    Huang, A note on existence of exhaustion functions and its applications, J

    S. Huang, A note on existence of exhaustion functions and its applications, J. Geom. Anal. 29 (2019), no. 2, 1649-1659

    work page 2019

  20. [20]

    Li and B

    Y. Li and B. Wang, Heat kernel on Ricci shrinkers (II), Acta Math. Sci. 44 (2024), 1639–1695

    work page 2024

  21. [21]

    Munteanu and J

    O. Munteanu and J. Wang, Smooth metric measure spaces with non-negative curvature, Commun. Anal. Geom. 19 (2011), no. 3, 451–486

    work page 2011

  22. [22]

    Munteanu, C.-J

    O. Munteanu, C.-J. A. Sung, and J. Wang, Poisson equation on complete manifolds, Adv. Math. 348 (2019), 81–145

    work page 2019

  23. [23]

    Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv preprint, 2002

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

    work page 2002

  24. [24]

    Wu, Curvature estimates for gradient steady Ricci solitons, Period

    L. Wu, Curvature estimates for gradient steady Ricci solitons, Period. Math. Hungar. 92 (2026), 46–56

    work page 2026

  25. [25]

    Zhang, Compactness theorems for gradient Ricci solitons, J

    X. Zhang, Compactness theorems for gradient Ricci solitons, J. Geom. Phys. 56 (2006), no. 12, 2481–2499

    work page 2006