REVIEW 1 major objections 4 minor 52 references
Non-collapsing of Ricci shrinkers with bounded curvature
T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that a simply connected Ricci shrinker with $|\mathrm{Rm}|\le A$ and finite second homotopy group has entropy $\mu(g)\ge -C(n,A)$, ruling out collapse under bounded curvature.
desk verdict A substantial non-collapsing theorem whose proof has one load-bearing convexity step that is asserted but not justified; worth refereeing if that gap can be closed. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $\mathbb{R}$-bundle $W$ over the collapsing limit $X$, constructed by unwrapping one circle factor of the torus action that realizes the collapse. Bounded curvature collapsing theory first gives a singular fibration of the manifolds over the limit, and the topological hypotheses turn the fibers into tori with a stable action; the paper then lifts the fibration to the frame bundle, unwraps a circle to a real line, and quotients back down to obtain $W$. On the regular part $R_W$, a density function $\mu$ built from the fiber metrics through O'Neill tensors (the tensors that measure the geometry of a Riemannian submersion) is added to the limiting potential, yielding the key inequality (4.16). The contradiction comes from the second variation formula: along a minimizing geodesic on a noncompact $\mathbb{R}$-orbit, the curvature lower bound forces an integral estimate whose left side grows linearly with the orbital distance while the right side remains bounded.
What would settle it
One concrete check: try to build a sequence of simply connected Ricci shrinkers with $|\mathrm{Rm}|\le A$, finite $\pi_2$, and $\operatorname{Vol}_g(B_g(p,1))\to 0$; the theorem says none exists. At the proof level, examine the regular set $R_W$ of the $\mathbb{R}$-bundle $W$ produced by the unwrapping and look for a minimizing geodesic between two regular points on the same $\mathbb{R}$-orbit that leaves $R_W$; exhibiting one would remove the contradiction argument's force.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for every Ricci shrinker $(M^n,g,f)$ with $|\mathrm{Rm}| \le A$, $M$ simply connected, and $\pi_2(M)$ finite, the entropy satisfies $\mu(g) \ge -C(n,A)$. By Lemma 2.3 this is equivalent to a uniform lower bound $\operatorname{Vol}_g(B_g(p,1)) \ge c(n,A)>0$, so the statement is genuinely non-collapsing. The proof is by contradiction: a sequence with $\mu(g_i)\to -\infty$ converges in the pointed Gromov-Hausdorff sense to a lower-dimensional orbifold, the collapse is realized by a stable $T^k$-action, and an unwrapping of one circle factor produces an $\mathbb{R}$-bundle $W$ over the limit. On the regular part of $W$ the limiting potential, augmented by a density function coming from the torus fibers, satisfies $\mathrm{Rc}(g_W)+\nabla^2 \bar{f}_W \ge \tfrac12 g_W$. The second variation formula for a minimizing geodesic joining two points on a noncompact $\mathbb{R}$-orbit then gives an inequality whose left side grows without bound while the right side stays finite. Theorem 1.4 extends the same conclusion to the class $\mathcal N(n,A,\kappa)$ defined by $|\mathrm{Rm}|\le A$, $|\nabla^2 f|\le A$, and $\mathrm{Rc}+\nabla^2 f\ge \kappa g$.
Load-bearing premise
The proof depends on the premise, stated in one sentence in Section 4 just before the second-variation estimate, that the regular part of the constructed $\mathbb{R}$-bundle $W$ is geodesically convex, so the minimizing geodesic between two regular points on the same orbit never enters the singular set; if that convexity fails for the metric produced by the unwrapping, the contradiction collapses.
Editorial extensions
If this is right
- Corollary 1.2: for fixed $n$ and $A$, only finitely many diffeomorphism types of simply connected $n$-manifolds with finite $\pi_2$ admit a Ricci shrinker metric with $|\mathrm{Rm}|\le A$.
- A uniform entropy lower bound is equivalent to a uniform lower bound on unit-ball volume, so the theorem is a non-collapsing statement in the usual geometric sense.
- The non-collapsing bound extends to all spaces in the class $\mathcal N(n,A,\kappa)$ satisfying only the Bakry-Émery inequality, after a Ricci-flow smoothing step.
- If the theorem is right, any sequence of such shrinkers with entropy tending to $-\infty$ is impossible, so the moduli space of these shrinkers has no collapsing boundary component.
Reading between the lines
- Not stated in the paper, but the unwrapping construction is probably reusable: any collapsing sequence with bounded curvature and a Bakry-Émery lower bound should produce an $\mathbb{R}$-bundle limit satisfying the same inequality, so the non-collapsing phenomenon may extend to other geometric flows.
- The proof's reliance on geodesic convexity of the regular set could be bypassed: if one proved directly that minimizing geodesics between regular points on the same $\mathbb{R}$-orbit stay regular for the specific quotient metric, the external isotropy lemma would not be needed.
- Since Ricci shrinkers have finite fundamental group, the simply-connected hypothesis may be replaceable by a condition on the universal cover, with the finite-second-homotopy assumption applied there.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a uniform lower bound for Perelman's entropy of n-dimensional simply connected Ricci shrinkers with bounded curvature and finite second homotopy group: if |Rm|≤A, then μ(g)≥−C(n,A). By Lemma 2.3 this is equivalent to a uniform non-collapsing bound Vol(B_g(p,1))≥c(n,A). The proof is by contradiction: assuming μ→−∞, the authors use Cheeger–Fukaya–Gromov collapsing theory to obtain T^k-invariant approximations and a stable limit, unwrap a circle factor to construct a noncompact R-bundle W over the collapsing limit, derive the Bakry–Emery inequality Rc(g_W)+Hess(\bar f_W)≥(1/2)g_W on the regular stratum RW, and reach a contradiction from the second variation of minimizing geodesics inside a single R-orbit. Section 5 extends the theorem to a class of smooth metric measure spaces satisfying only Rc+∇²f≥κg, after a Ricci-flow smoothing step.
Significance. If the main theorem is correct, it provides a new compactness/non-collapsing result for Ricci shrinkers under only curvature and topological assumptions, and it generalizes to the Bakry–Emery setting the Petrunin–Rong–Tuschmann non-collapsing strategy. The paper contains substantial technical content: the collapsing fibration, the use of finite π2 to obtain stable T^k-actions, the unwrapping construction, and the second-variation estimate are all developed with quantitative lemmas. The extension to metric measure spaces is an interesting and plausible strengthening. However, the proof currently rests on an unverified geodesic-convexity assertion for the regular set RW, so the central claim is plausible but not fully established in the version under review.
major comments (1)
- The contradiction argument requires that the minimizing geodesic γ from w0 to wl lie entirely in the regular stratum RW, since (4.16) and the second variation estimate (4.17) are established only on RW. The only justification supplied is the sentence 'Since RW is geodesically convex by Kleiner's isotropy lemma [32]'. This is a load-bearing assertion, and none of the hypotheses needed for the lemma are verified for the specific space W=Z/G constructed in this section. The paper does not establish a lower curvature bound on (Z,g_Z) or (W,g_W) outside RW; the only inequality available is the Bakry–Emery inequality (4.16) on RW itself. If Kleiner's lemma requires nonnegative sectional curvature or some special isotropy condition, those hypotheses are not shown to hold here; if it is intended as a general fact about orbit spaces, the authors should state it precisely, since in general finite-group orbit spaces can have minimizing geodesics between regular points passing through singular strata. Without geodesic convexity of RW, the application of (4.17) along γ is unjustified and the contradiction (4.19) does not follow. This gap must be repaired by proving the needed convexity for this W or by replacing the step with an argument that does not require the entire minimizing geodesic to avoid the singular part.
minor comments (4)
- In the final bound of (4.19), the notation 'B_gW(w,1)' should refer to a fixed ball around w0, and the second supremum is written over [d_l, d_l-1], which is reversed; it should be [d_l-1, d_l].
- The sentence 'The estimates for the potential function and its gradient are derived using Lemma 5.2 and Lemma 5.4' is misleading: after the smoothing step of Theorem 5.10, the relevant estimates are those of Lemmas 5.2 and 5.3 (and Proposition 5.7), not the Ricci-flow Lemma 5.4.
- Because the convexity of RW is cited to Kleiner's PhD thesis [32], the authors should quote the exact statement of the isotropy lemma and its hypotheses in the paper; the thesis is not readily accessible and the current one-sentence invocation is not verifiable by the reader.
- The text contains several typographical artifacts, for example 'Y u Li' in the author line and 'nelement' in Section 5; these should be cleaned before publication.
Circularity Check
No circular derivation: Theorem 1.1 is proved by contradiction with external collapsing machinery; self-citations are independent structural lemmas, and the Kleiner convexity assertion is a non-circular correctness caveat.
full rationale
The derivation chain assumes entropy tending to -infinity and obtains a contradiction through Cheeger-Fukaya-Gromov nilpotent structure, Rong's T^k-action stability, the unwrapping construction, inequality (4.16) obtained from O'Neill's formula, and the second variation estimate (4.17)-(4.19). No parameter is fitted and no output quantity is defined in terms of an input quantity. The cited results co-authored by the authors ([31], [33], [34]) supply the entropy-volume equivalence (Lemma 2.3), entropy identities, and Ricci-shrinker compactness; these are parameter-free prior results whose assumptions do not include the target uniform entropy bound, so they constitute independent support rather than circular premises. The only flagged step is the sentence immediately before (4.17), 'Since RW is geodesically convex by Kleiner's isotropy lemma [32]', which is load-bearing but external; whether it applies to the particular quotient W constructed in the paper is a verification gap, not a reduction of the theorem to its own assumptions. The paper therefore exhibits no significant circularity.
Assumptions & free parameters
assumptions (7)
- standard math Cheeger-Fukaya-Gromov collapsing theory: sequences with |Rm| <= A and collapsing entropy admit pure N-structures and singular fibrations over a lower-dimensional limit.
- standard math Local structure of the collapsing limit: X is an orbifold away from a singular set of codimension at least 3 and f_X is smooth in orbifold sense.
- standard math Rong's fibration/torus theorem: under the topological assumptions, the nilpotent fibers are tori T^k and the structure group reduces to T^k; the T^k-action commutes with SO(n) or Spin(n).
- standard math Topological stability lemma of Petrunin-Tuschmann: principal T^k-bundles over a simply connected base with finite pi_2 total space are weakly G-diffeomorphic up to GL(Z,k) automorphism.
- domain assumption Kleiner's isotropy lemma implies RW is geodesically convex in W.
- standard math Ricci flow existence, Shi estimates, and heat kernel estimates for complete noncompact manifolds with bounded curvature.
- standard math Second variation formula and index form inequality for minimizing geodesics.
Cite this review
Pith. "Pith review of Non-collapsing of Ricci shrinkers with bounded curvature." pith.science (2026). https://pith.science/paper/UYQAXLXR
@misc{pith2026241213546,
author = {Pith},
title = {Pith review of: Non-collapsing of Ricci shrinkers with bounded curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/UYQAXLXR}},
note = {Machine review of arXiv:2412.13546}
}
read the original abstract
We establish a uniform entropy bound for simply connected Ricci shrinkers with a finite second homotopy group and a uniform curvature bound. Additionally, we extend the non-collapsing result to a broader class of smooth metric measure spaces satisfying Bakry-\'Emery conditions.
Reference graph
Works this paper leans on
-
[32]
Kleiner, Riemannian four-manifolds with nonnegative curvature and continuous symmetry, Ph.D
B. Kleiner, Riemannian four-manifolds with nonnegative curvature and continuous symmetry, Ph.D. thesis, University of California, Berkeley, 1990
work page 1990
- [31]
-
[33]
H. Li, Y . Li, B. Wang, On the structure of Ricci shrinkers , J. Funct. Anal., 280(2021), no.9, 108955
work page 2021
-
[34]
Y . Li, B. Wang, Heat kernel on Ricci shrinkers , Calc. V ar. Partial. Di ffer. Equ. 59 (2020), article 194
work page 2020
- [1]
- [2]
- [3]
-
[4]
Bierstone, The equivariant covering homotopy property for di fferentiable G-fibre bundles , J
E. Bierstone, The equivariant covering homotopy property for di fferentiable G-fibre bundles , J. Differential Geom. 8 (1973), 615-622,
work page 1973
Show all 52 references
-
[5]
G. E. Bredon, Introduction to compact transformation groups, volume 46 of Pure and applied mathematics. Academic, New Y ork, 1972
1972
-
[6]
Buser, H
P . Buser, H. Karcher, Gromov’s almost flat manifolds , Ast´ erisque 81, Soc. Math. France, Paris (1981)
1981
-
[7]
Cao, B.-L
H.-D. Cao, B.-L. Chen, X.-P . Zhu, Recent developments on Hamilton’s Ricci flow , Surveys in differential geometry, V ol. XII. Geometric flows, 47-112, Surv. Differ. Geom., 12, Int. Press, Somerville, MA, 2008. 32
2008
-
[8]
H.-D. Cao, D. Zhou, On complete gradient shrinking Ricci solitons , J. Di ffer. Geom., 85(2010), no. 2, 175-186
2010
-
[9]
Carrillo, L
J. Carrillo, L. Ni, Sharp logarithmic Sobolev inequalities on gradient solito ns and applica- tions, Comm. Anal. Geom., 17 (4):721-753, 2009
2009
-
[10]
A. Chau, L. F. Tam, C. J. Y u, Pseudolocality for the Ricci flow and applications , Canad. J. Math., V ol. 63(1), 2011, 55-85
2011
-
[11]
Cheeger, K
J. Cheeger, K. Fukaya, M. Gromov, Nilpotent Structures and Invariant Metrics on Collapsed Manifolds, Journal of the American Mathematical Society V ol. 5, No. 2 ( Apr., 1992), pp. 327-372
1992
-
[12]
Cheeger, M
J. Cheeger, M. Gromov, Collapsing Riemannian manifolds while keeping their curva ture bounded. part I, J. Differential Geom. 23 (1986), 309–346
1986
-
[13]
Cheeger, M
J. Cheeger, M. Gromov, Collapsing Riemannian manifolds while keeping their curva ture bounded. part II, J. Di fferential Geom. 32 (1990), 269-298
1990
-
[14]
Chen, Strong uniqueness of the Ricci flow , J
B.-L. Chen, Strong uniqueness of the Ricci flow , J. Differ. Geom., 82(2009), no. 2, 363-382
2009
-
[15]
X. Chen, Y . Li, On the geometry of asymptotically flat manifolds , Geom. Topol., 25(5):2469- 2572, 2021
2021
-
[16]
B. Chow, P . Lu, L. Ni, Hamilton’s Ricci Flow , Lecture in Contemporary Mathematics, 3, Science Press and Graduate Studies in Mathematics, 77, meri can Mathematical Society, 2006
2006
-
[17]
Cifarelli, R
C. Cifarelli, R. J. Conlon, A. Deruelle, On finite time Type I singularities of the K¨ ahler–Ricci flow on compact K¨ ahler surfaces. J. Eur. Math. Soc. (2024)
2024
-
[18]
R. J. Conlon, A. Deruelle, S. Sun, Classification results for expanding and shrinking gradien t K¨ ahler–Ricci solitons, Geom. Topol., 28(1):267–351, 2024
2024
-
[19]
Dong, Three-manifolds with bounded curvature and uniformly posi tive scalar curvature , The Journal of Geometric Analysis 33.6 (2023): 169
C. Dong, Three-manifolds with bounded curvature and uniformly posi tive scalar curvature , The Journal of Geometric Analysis 33.6 (2023): 169
2023
-
[20]
F. Fang, X. Rong, Positive Pinching, V olume and Second Betti Number, Geom. funct. anal. 9, 641-674 (1999)
1999
-
[21]
Fukaya, Collapsing Riemannian manifolds to ones of lower dimension s, J
K. Fukaya, Collapsing Riemannian manifolds to ones of lower dimension s, J. Di fferential Geom. V olume 25, Number 1 (1987), 139-156
1987
-
[22]
Fukaya, A boundary of the set of the Riemannian manifolds with bounde d curvatures and diameters, J
K. Fukaya, A boundary of the set of the Riemannian manifolds with bounde d curvatures and diameters, J. Di fferential Geom. V olume 28, Number 1 (1988), 1-21
1988
-
[23]
Fukaya, Collapsing Riemannian manifolds to ones of lower dimension II, J
K. Fukaya, Collapsing Riemannian manifolds to ones of lower dimension II, J. Math. Soc. Japan 41 (1989), 333-356
1989
-
[24]
Fukaya, HausdorffConvergence of Riemannian Manifolds and Its Applications, Adv
K. Fukaya, HausdorffConvergence of Riemannian Manifolds and Its Applications, Adv. Stud. Pure Math., 1990: 143-238 (1990). 33
1990
-
[25]
Gigli, Lecture notes on di fferential calculus on RCD spaces , Publ
N. Gigli, Lecture notes on di fferential calculus on RCD spaces , Publ. Res. Inst. Math. Sci. 54 (2018), no. 4, 855-918
2018
-
[26]
Gromov, Almost flat manifolds , J
M. Gromov, Almost flat manifolds , J. Di fferential Geom. 13(2): 231-241 (1978)
1978
-
[27]
R. S. Hamilton, The formation of singularities in the Ricci flow , Surveys in Differential Geom., 2(1995), 7-136, International Press
1995
-
[28]
Haslhofer, R
R. Haslhofer, R. M¨ uller, A compactness theorem for complete Ricci shrinkers , Geom. Funct. Anal., 21(2011), 1091-1116
2011
-
[29]
Haslhofer and R
R. Haslhofer and R. M¨ uller, A note on the compactness theorem for 4d Ricci shrinkers , Proc. Amer. Math. Soc., 143(2015), 4433–4437
2015
-
[30]
Huang, ǫ-regularity and structure of four-dimensional shrinking R icci solitons, Int
S. Huang, ǫ-regularity and structure of four-dimensional shrinking R icci solitons, Int. Math. Res. Not. IMRN 5 (2020), 1511-1574
2020
-
[35]
Y . Li, B. Wang, On K¨ ahler Ricci shrinker surfaces, arXiv:2301.09784
-
[36]
A. I. Malcev, On a class of homogeneous spaces , Amer. Math. Soc. Transl. No. 39 (1951), 276-307
1951
-
[37]
Naber, Noncompact shrinking four solitons with nonnegative curva ture, J
A. Naber, Noncompact shrinking four solitons with nonnegative curva ture, J. Reine Angew. Math. 645(2010), 125-153
2010
-
[38]
Naber, G
A. Naber, G. Tian, Geometric structures of collapsing Riemannian manifolds I , Surveys in geometric analysis and relativity, 439-66, Adv. Lect. Math . (ALM), 20, Int. Press, Somerville, MA, 2011
2011
-
[39]
Naber, G
A. Naber, G. Tian, Geometric structures of collapsing Riemannian manifolds I I, J. Reine Angew. Math. 744 (2018), 103-132
2018
-
[40]
L. Ni, N. Wallach, On a classification of gradient shrinking solitons , Math. Res. Lett. 15(2008), no. 5, 941-955
2008
-
[41]
O’Neill, The fundamental equations of a submersion, Michigan Math
B. O’Neill, The fundamental equations of a submersion, Michigan Math. J. 13 (1966) 459-469
1966
-
[42]
Perelman, The entropy formula for the Ricci flow and its geometric appli cations, arXiv:math.DG/0211159
G. Perelman, The entropy formula for the Ricci flow and its geometric appli cations, arXiv:math.DG/0211159. 34
-
[43]
Petrunin, X
A. Petrunin, X. Rong, W. Tuschmann, Collapsing vs. Positive Pinching, Geom. funct. anal. 9, 699–735 (1999)
1999
-
[44]
Petrunin, W
A. Petrunin, W. Tuschmann, Diffeomorphism Finiteness, Positive Pinching, and Second Ho- motopy, Geom. funct. anal. 9, 736–774 (1999)
1999
-
[45]
Rong, On the Fundamental Groups of Manifolds of Positive Sectiona l Curvature, Ann
X. Rong, On the Fundamental Groups of Manifolds of Positive Sectiona l Curvature, Ann. of Math.143, p. 397-411 (1996)
1996
-
[46]
Rong, Convergence and Collapsing Theorems in Riemannian Geometry, Handbook of geo- metric analysis, No
X. Rong, Convergence and Collapsing Theorems in Riemannian Geometry, Handbook of geo- metric analysis, No. 2, Advanced Lectures in Mathematics, I nt. Press, Somerville, MA, 2010, 193-299
2010
-
[47]
Shi, Deforming the metric on complete Riemannian manifolds , J
W.-X. Shi, Deforming the metric on complete Riemannian manifolds , J. Di ffer. Geom., 30(1989), no. 2, 223-301
1989
-
[48]
Shi, Ricci deformation of the metric on complete noncompact Riem annian manifolds, J
W.-X. Shi, Ricci deformation of the metric on complete noncompact Riem annian manifolds, J. Differential Geom. 30(2): 303-394 (1989)
1989
-
[49]
Shi, Ricci flow and the uniformization on complete noncompact K¨ a hler manifolds , J
W.-X. Shi, Ricci flow and the uniformization on complete noncompact K¨ a hler manifolds , J. Differential Geom. 45(1): 94-220 (1997)
1997
-
[50]
Wylie, Complete shrinking Ricci solitons have finite fundamental g roup, Proc
W. Wylie, Complete shrinking Ricci solitons have finite fundamental g roup, Proc. Amer. Math. Soc.,136(5) (2007), 1803-1806
2007
-
[51]
Y okota, Perelman’s reduced volume and a gap theorem for the Ricci flow , Comm
T. Y okota, Perelman’s reduced volume and a gap theorem for the Ricci flow , Comm. Anal. Geom.,17 (2009), no. 2, 227-263
2009
-
[52]
Y okota, Addendum to ‘Perelman’s reduced volume and a gap theorem for the Ricci flow’ , Comm
T. Y okota, Addendum to ‘Perelman’s reduced volume and a gap theorem for the Ricci flow’ , Comm. Anal. Geom., 20 (2012), no. 5, 949-955. Conghan Dong, Simons Laufer Mathematical Sciences Institu te, 17 Gauss Way, Berkeley, CA 94720, United States, Email: conghan.dong@duke.edu. ...
2012
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.