pith. machine review for the scientific record. sign in

arxiv: 2605.08884 · v1 · submitted 2026-05-09 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Rigidity and gap theorems for Ricci shrinkers

Pak-Yeung Chan, Yongjia Zhang

Pith reviewed 2026-05-12 01:42 UTC · model grok-4.3

classification 🧮 math.DG
keywords Ricci shrinkersgap theoremsRicci curvatureentropyRicci flowType I singularitieslocal rigidityremovable singularities
0
0 comments X

The pith

Ricci shrinkers satisfy local gap theorems for curvature and entropy that depend only on dimension.

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

The paper establishes local versions of gap theorems that provide lower bounds on Ricci curvature and upper bounds on ν-entropy for Ricci shrinkers. These local bounds hold with constants determined solely by the dimension of the manifold. The results extend earlier global gap statements and supply a local criterion for deciding when Type I singularities of the Ricci flow can be removed by a smooth continuation. A reader cares because the theorems reduce the information required to analyze these self-similar solutions to purely local data.

Core claim

The authors prove local gap theorems for Ricci curvature and ν-entropy on Ricci shrinkers whose constants depend only on dimension and not on global entropy or other geometric quantities of the shrinker. This localization generalizes prior global results and yields an application giving a local criterion for removable Type I singularities in the Ricci flow.

What carries the argument

Localized gap theorems for Ricci curvature and ν-entropy whose constants depend only on dimension

If this is right

  • Curvature and entropy controls on shrinkers can be verified using only local data.
  • A local condition suffices to conclude that a Type I singularity is removable.
  • Global entropy values become irrelevant for applying the gap statements in local neighborhoods.
  • Previous global rigidity results extend directly to local settings on any shrinker.

Where Pith is reading between the lines

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

  • Local analysis may help classify shrinkers by examining neighborhoods without full manifold knowledge.
  • The dimension-only dependence could support numerical checks of singularity removal on truncated domains.
  • Similar localization arguments might apply to other parabolic curvature flows.

Load-bearing premise

The process of localizing the gap theorems can be carried out without introducing dependence on global entropy or other non-dimensional quantities.

What would settle it

A Ricci shrinker on which a local lower bound for Ricci curvature fails to hold when the constant is chosen depending only on dimension, or where the local singularity criterion misclassifies a non-removable Type I singularity.

read the original abstract

We prove local versions of the Ricci curvature and $\nu$-entropy gap theorems for Ricci shrinkers, which respectively generalize a previous result of Munteanu-Wang and a prior result of the authors with Ma. The key point is that these local gaps depend only on the dimension and not on the global entropy or any other geometric information of the Ricci shrinker. As an application, we provide a local criterion for removable Type~I singularities of 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. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proves local versions of the Ricci curvature and ν-entropy gap theorems for Ricci shrinkers. These respectively generalize a global result of Munteanu-Wang and a prior global result of the authors with Ma. The central claim is that the local gap constants depend only on the dimension and are independent of the global entropy or any other geometric information of the Ricci shrinker. An application is given to a local criterion for removable Type I singularities of the Ricci flow.

Significance. If the derivations hold, the results are significant for geometric analysis and Ricci flow theory. Localizing the gap theorems while retaining dimension-only dependence allows local control on shrinkers without global data, which is useful for singularity analysis. The independence from global entropy is a genuine strengthening over prior global theorems and improves applicability to local questions.

minor comments (1)
  1. The introduction would benefit from a short paragraph explicitly contrasting the new local statements with the cited global theorems of Munteanu-Wang and the authors with Ma, to highlight the dimension-only feature for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for the positive assessment of its significance. The referee's summary accurately reflects the main results: local Ricci curvature and ν-entropy gap theorems for Ricci shrinkers whose constants depend only on dimension, generalizing the global theorems of Munteanu-Wang and of the authors with Ma, together with the application to a local removable-singularity criterion for Type I singularities of the Ricci flow. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes new local versions of Ricci curvature and ν-entropy gap theorems for Ricci shrinkers by generalizing prior global results (Munteanu-Wang and the authors' earlier work with Ma). The central claim of dimension-only dependence is derived via localization arguments that introduce independent analytic content without reducing to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. Prior results serve as external baselines rather than unverified premises internal to this derivation; the localization step preserves the stated independence without circular reduction to global entropy or other inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information available from the abstract to identify free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5359 in / 1006 out tokens · 31489 ms · 2026-05-12T01:42:36.567223+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Convergence and rigidity of manifolds under Ricci curvature bounds

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

    work page 1990

  2. [2]

    On complete gradient shrinking Ricci solitons

    Cao, Huai-Dong; Zhou, De-Tang. On complete gradient shrinking Ricci solitons. J. Differential Geom. 85 (2010), 175--186

    work page 2010

  3. [3]

    Carrillo, Jos\'e A.; Ni, Lei Sharp logarithmic Sobolev inequalities on gradient solitons and applications. Comm. Anal. Geom. 17 (2009), no. 4, 721–753

    work page 2009

  4. [4]

    A local gap theorem for Ricci shrinkers

    Chan, Pak-Yeung; Ma, Zilu; Zhang, Yongjia. A local gap theorem for Ricci shrinkers. Comm. Anal. Geom. 2025, to appear

    work page 2025

  5. [5]

    Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below

    Cheeger, Jeff; Jiang, Wenshuai; Naber, Aaron. Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below. Ann. of Math. 193(2021), no. 2, 407–538

    work page 2021

  6. [6]

    Lower Bounds on Ricci Curvature and the Almost Rigidity of Warped Products Annals of Mathematics, 144.1(1996),189-237

    Cheeger, Jeff; Colding, Tobias H. Lower Bounds on Ricci Curvature and the Almost Rigidity of Warped Products Annals of Mathematics, 144.1(1996),189-237

    work page 1996

  7. [7]

    On the structure of spaces with Ricci curvature bounded below

    Cheeger, Jeff; Colding, Tobias H. On the structure of spaces with Ricci curvature bounded below. I. Journal of Differential Geometry 46.3 (1997): 406-480

    work page 1997

  8. [8]

    On the structure of spaces with Ricci curvature bounded below

    Cheeger, Jeff; Colding, Tobias H. On the structure of spaces with Ricci curvature bounded below. II. Journal of Differential Geometry 54.1 (2000): 13-35

    work page 2000

  9. [9]

    On the structure of spaces with Ricci curvature bounded below

    Cheeger, Jeff; Colding, Tobias H. On the structure of spaces with Ricci curvature bounded below. III. Journal of Differential Geometry 54.1 (2000): 37-74

    work page 2000

  10. [10]

    Degeneration of Riemannian metrics under Ricci curvature bounds

    Cheeger, Jeff. Degeneration of Riemannian metrics under Ricci curvature bounds. Scuola Normale Superiore, 2001

    work page 2001

  11. [11]

    Chen, Bing-Long, Strong uniqueness of the Ricci flow. J. Differential Geom. 82 (2009), 363--382

    work page 2009

  12. [12]

    On local rigidity theorems with respect to the scalar curvature

    Cheng, Liang. On local rigidity theorems with respect to the scalar curvature. arXiv preprint arXiv:2310.05011

    work page arXiv

  13. [13]

    Ricci curvature and volume convergence

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

    work page 1997

  14. [14]

    Singularities of Ricci flow and diffeomorphisms

    Colding, Tobias Holck; Minicozzi, William P. Singularities of Ricci flow and diffeomorphisms. Publications mathématiques de l'IHÉS 142.1 (2025): 75-152

    work page 2025

  15. [15]

    On type-I singularities in Ricci flow

    Enders, Joerg; M\"uller, Reto; Topping, Peter M. On type-I singularities in Ricci flow. Comm. Anal. Geom. 19 (2011), no. 5, 905–922

    work page 2011

  16. [16]

    A compactness theorem for complete Ricci shrinkers, Geom

    Haslhofer, Robert; M\"uller, Reto. A compactness theorem for complete Ricci shrinkers, Geom. Funct. Anal. 21 (2011), no. 5, 1091–1116, DOI 10.1007/s00039-011-0137-4. MR2846384

    work page doi:10.1007/s00039-011-0137-4 2011

  17. [17]

    Huang, Shaosai; Li, Yu; Wang, Bing On the regular-convexity of Ricci shrinker limit spaces. J. Reine Angew. Math. 771 (2021), 99–136

    work page 2021

  18. [18]

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

    work page 2019

  19. [19]

    Lectures on Cheeger-Colding Theory, unpublished

    Jiang, Wenshuai. Lectures on Cheeger-Colding Theory, unpublished

    work page

  20. [20]

    Heat kernel on Ricci shrinkers

    Li, Yu; Wang, Bing. Heat kernel on Ricci shrinkers. Calc. Var. Partial Differential Equations 59 (2020), no. 6, Paper No. 194, 84 pp

    work page 2020

  21. [21]

    On the structure of Ricci shrinkers J

    Li, Haozhao; Li, Yu; Wang, Bing. On the structure of Ricci shrinkers J. Funct. Anal. 280 (2021), no. 9, Paper No. 108955, 75 pp

    work page 2021

  22. [22]

    Rigidity of the round cylinders in Ricci shrinkers

    Li, Yu; Wang, Bing. Rigidity of the round cylinders in Ricci shrinkers. Journal of Differential Geometry 127.2 (2024): 817-897

    work page 2024

  23. [23]

    On the rigidity of Ricci shrinkers

    Li, Yu; Zhang, Wenjia. On the rigidity of Ricci shrinkers. arXiv preprint arXiv:2305.06143 (2023)

    work page arXiv 2023

  24. [24]

    The curvature of gradient Ricci solitons

    Munteanu, Ovidiu; Wang, Mu-Tao. The curvature of gradient Ricci solitons. Math. Res. Lett. 18 (2011), no. 6, 1051–1069

    work page 2011

  25. [25]

    Noncompact shrinking four solitons with nonnegative curvature

    Naber, Aaron. Noncompact shrinking four solitons with nonnegative curvature. Journal für die reine und angewandte Mathematik, vol. 2010, no. 645, 2010, pp. 125-153. https://doi.org/10.1515/crelle.2010.062

    work page doi:10.1515/crelle.2010.062 2010

  26. [26]

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

    work page arXiv 2002

  27. [27]

    Rigidity and -regularity theorems of Ricci shrinkers Calc

    Wang, Jie; Wang, Youde. Rigidity and -regularity theorems of Ricci shrinkers Calc. Var. Partial Differential Equations 64 (2025), no. 2, Paper No. 42, 27 pp

    work page 2025

  28. [28]

    Addendum to ‘Perelman’s reduced volume and a gap theorem for the Ricci flow’

    Yokota, Takumi. Addendum to ‘Perelman’s reduced volume and a gap theorem for the Ricci flow’. Comm. Anal. Geom. 20 (2012): 949-955

    work page 2012

  29. [29]

    A gap theorem on complete shrinking gradient Ricci solitons

    Zhang, Shijin. A gap theorem on complete shrinking gradient Ricci solitons. Proc. Amer. Math. Soc. 146 (2018), no. 1, 359–368

    work page 2018

  30. [30]

    A gap theorem of four-dimensional gradient shrinking solitons

    Zhang, Zhuhong. A gap theorem of four-dimensional gradient shrinking solitons. Comm. Anal. Geom. 28 (2020), no. 3, 729–742

    work page 2020