arxiv: 2605.10837 · v1 · submitted 2026-05-11 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

On an invariant curvature cone along 4-dimensional Ricci flow

Hongting Ding, Shaochuang Huang, Zhuo Peng

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

classification 🧮 math.DG

keywords Ricci flowcurvature conegap theoremsGromov-Hausdorff limits4-dimensional manifoldsvolume growthnon-compact manifoldscurvature operator

0 comments

The pith

Four-dimensional manifolds with curvature operators inside an invariant cone under Ricci flow satisfy topological and geometric gap theorems when volume growth is maximal.

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

The paper studies complete non-compact 4-manifolds whose curvature operator lies in the cone C_η,μ and remains there along the Ricci flow. Assuming maximal volume growth, it derives gap theorems that restrict the possible topology and geometry of the manifold. It also considers manifolds with a lower bound by the same cone and proves regularity statements for the Gromov-Hausdorff limits of volume non-collapsed sequences. A reader would care because these results give control over the structure of Ricci flows in dimension four without compactness assumptions.

Core claim

For a 4-dimensional complete non-compact manifold whose curvature operator stays inside the cone C_η,μ along the Ricci flow, maximal volume growth implies topological and geometric gap theorems; moreover, a uniform lower bound by C_η,μ yields regularity of Gromov-Hausdorff limits for volume non-collapsed sequences of such manifolds.

What carries the argument

The curvature cone C_η,μ, which is preserved by the Ricci flow in four dimensions and supplies a lower bound on the curvature operator that remains invariant under the evolution.

If this is right

Manifolds of maximal volume growth with curvature operator in C_η,μ are topologically constrained.
The same assumption forces geometric rigidity, such as controlled asymptotic behavior.
Gromov-Hausdorff limits of volume non-collapsed sequences with curvature bounded below by C_η,μ are regular.
The cone invariance supplies a uniform curvature control that survives the flow.

Where Pith is reading between the lines

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

The results may extend to statements about long-time existence or convergence of the flow on such manifolds.
Similar cone techniques could apply to other curvature conditions preserved in four dimensions.
The regularity for limits suggests a way to compactify the moduli space of complete 4-manifolds with this curvature bound.

Load-bearing premise

The curvature operator of the manifold remains inside or bounded below by the cone C_η,μ for the whole time of the Ricci flow.

What would settle it

A 4-dimensional manifold with maximal volume growth whose curvature operator lies in C_η,μ yet fails to obey the stated topological or geometric conclusions, or a volume non-collapsed sequence whose Gromov-Hausdorff limit develops a singularity while staying bounded below by the cone.

read the original abstract

In this paper, we study 4-dimensional complete non-compact manifold with its curvature operator in $\mathfrak{C}_{\eta,\mu}$ via Ricci flow. We obtain topological and geometric gap theorems assuming such manifold has maximal volume growth. We also study 4-dimensional complete manifold with lower bound of $\mathfrak{C}_{\eta,\mu}$ and obtain regularity results for Gromov-Hausdorff limit of complete volume non-collapsed manifolds with lower bound of $\mathfrak{C}_{\eta,\mu}$.

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.

Desk Editor's Note private letter to a colleague

They define an invariant cone under 4D Ricci flow and extract gap theorems and GH regularity from it, with no major internal problems visible.

read the letter

This paper introduces a specific curvature cone that is preserved by the 4-dimensional Ricci flow and then derives gap theorems and regularity results for Gromov-Hausdorff limits from that preservation. They do a solid job laying out the invariance of the cone C_η,μ under the flow. The gap theorems for manifolds with maximal volume growth give both topological and geometric conclusions, and the regularity for the limits of volume non-collapsed manifolds follows from the lower bound on the curvature operator. This fits into the existing literature on preserved curvature conditions without obvious contradictions in the setup. The main limitation is that everything hinges on the curvature operator staying inside or above the cone, and the maximal volume growth condition narrows the class of manifolds quite a bit. If the cone turns out to be small or the parameters are tuned tightly to get invariance, the results might not apply widely. The proofs would need careful checking for any hidden assumptions in the evolution equations. This is the kind of paper that specialists in 4D Ricci flow and geometric analysis would want to see. A reader interested in compactness and classification under curvature bounds would get some new statements to work with. It is worth sending to peer review so the invariance claim and the derivations can be verified by experts.

Referee Report

0 major / 2 minor

Summary. The paper studies 4-dimensional complete non-compact manifolds whose curvature operator lies in a cone C_η,μ under Ricci flow. It claims to prove topological and geometric gap theorems assuming maximal volume growth, and to obtain regularity results for Gromov-Hausdorff limits of volume non-collapsed manifolds with curvature operator bounded below by the same cone.

Significance. If the invariance of C_η,μ under the 4D Ricci flow is established without parameter tuning and the gap theorems hold, the work would extend known curvature-cone techniques to non-compact 4-manifolds, providing new rigidity and regularity statements that could be useful for classification problems and singularity analysis in geometric flows.

minor comments (2)

[Abstract and §1] The abstract and introduction should explicitly state the precise definition of the cone C_η,μ (including the ranges of η and μ) and the exact statement of the gap theorems (e.g., what topological or geometric conclusions are obtained).
[Introduction] Notation for the curvature operator and the cone should be introduced with a self-contained paragraph before the main theorems; the current presentation assumes familiarity that may not be universal.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of its contributions, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs an invariant curvature cone C_η,μ under 4D Ricci flow and derives topological/geometric gap theorems plus GH regularity results from the cone's invariance together with maximal volume growth. The derivation relies on standard Ricci flow evolution equations and cone preservation analysis rather than any self-definitional reduction, fitted parameters renamed as predictions, or load-bearing self-citations. No equations or steps in the provided abstract and description reduce the central claims to their inputs by construction, making the argument self-contained against external benchmarks in geometric analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities are stated. The cone C_η,μ is referenced but its definition, invariance proof, and any parameters are not provided.

pith-pipeline@v0.9.0 · 5367 in / 1153 out tokens · 27031 ms · 2026-05-12T04:04:44.575165+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking contradicts
Let C_{η,μ} be the curvature cone defined by (B₂ + B₃)² ≤ η(A₁ + A₂)(C₁ + C₂), A₂ + A₃ ≤ μ(A₁ + A₂), C₂ + C₃ ≤ μ(C₁ + C₂) … preserved by Ricci flow on compact manifolds [Hamilton 27]
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Theorem 5.2 … M is diffeomorphic to R⁴ … geometric gap theorem (Corollary 5.2) … isometric to flat Euclidean space

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages

[1]

Bamler, Esther Cabezas-Rivas, and Burkhard Wilking,The Ricci flow under almost non-negative curvature conditions, Invent

Richard H. Bamler, Esther Cabezas-Rivas, and Burkhard Wilking,The Ricci flow under almost non-negative curvature conditions, Invent. Math.217(2019), no. 1, 95–126. MR 3958792

work page 2019
[2]

Christoph B¨ ohm and Burkhard Wilking,Manifolds with positive curvature operators are space forms, Ann. of Math. (2)167(2008), no. 3, 1079–1097. MR 2415394

work page 2008
[3]

111, American Mathematical Society, Providence, RI, 2010

Simon Brendle,Ricci flow and the sphere theorem, Graduate Studies in Mathematics, vol. 111, American Mathematical Society, Providence, RI, 2010. MR 2583938

work page 2010
[4]

Simon Brendle and Richard Schoen,Sphere theorems in geometry, Handbook of geometric analysis, No. 3, Adv. Lect. Math. (ALM), vol. 14, Int. Press, Somerville, MA, 2010, pp. 41–75. MR 2743447

work page 2010
[5]

Z.305(2023), no

Huai-Dong Cao and Junming Xie,Four-dimensional complete gradient shrinking Ricci solitons with half positive isotropic curvature, Math. Z.305(2023), no. 2, Paper No. 25,

work page 2023
[6]

PDE10(2024), no

Pak-Yeung Chan, Shaochuang Huang, and Man-Chun Lee,Manifolds with small curvature concentration, Ann. PDE10(2024), no. 2, Paper No. 23, 31. MR 4804227

work page 2024
[7]

Math.482(2025), Paper No

Pak-Yeung Chan and Man-Chun Lee,Gap theorem on Riemannian manifolds using Ricci flow, Adv. Math.482(2025), Paper No. 110625, 40. MR 4978424

work page 2025
[8]

Peachey,Expanding Ricci solitons coming out of weakly PIC1 metric cones, 2024, arXiv:2404.12755

Pak-Yeung Chan, Man-Chun Lee, and Luke T. Peachey,Expanding Ricci solitons coming out of weakly PIC1 metric cones, 2024, arXiv:2404.12755

work page arXiv 2024
[9]

Colding,Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann

Jeff Cheeger and Tobias H. Colding,Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. (2)144(1996), no. 1, 189–237. MR 1405949

work page 1996
[10]

Differential Geometry17(1982), no

Jeff Cheeger, Mikhail Gromov, and Michael Taylor,Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds, J. Differential Geometry17(1982), no. 1, 15–53. MR 658471 ON AN INV ARIANT CUR V ATURE CONE ALONG 4-DIMENSIONAL RICCI FLOW 37

work page 1982
[11]

Differential Geom.82(2009), no

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

work page 2009
[12]

Differential Geom.74(2006), no

Bing-Long Chen and Xi-Ping Zhu,Ricci flow with surgery on four-manifolds with positive isotropic curvature, J. Differential Geom.74(2006), no. 2, 177–264. MR 2258799

work page 2006
[13]

Differential Geom.74(2006), no

,Uniqueness of the Ricci flow on complete noncompact manifolds, J. Differential Geom.74(2006), no. 1, 119–154. MR 2260930

work page 2006
[14]

Ann.387(2023), no

Jae Ho Cho and Yu Li,Ancient solutions to the Ricci flow with isotropic curvature conditions, Math. Ann.387(2023), no. 1-2, 1009–1041. MR 4631063

work page 2023
[15]

Part II, Mathematical Surveys and Monographs, vol

Bennett Chow, Sun-Chin Chu, David Glickenstein, Christine Guenther, James Isenberg, Tom Ivey, Dan Knopf, Peng Lu, Feng Luo, and Lei Ni,The Ricci flow: techniques and applications. Part II, Mathematical Surveys and Monographs, vol. 144, American Mathematical Society, Providence, RI, 2008, Analytic aspects. MR 2365237

work page 2008
[16]

77, American Mathematical Society, Providence, RI; Science Press Beijing, New York, 2006

Bennett Chow, Peng Lu, and Lei Ni,Hamilton’s Ricci flow, Graduate Studies in Mathematics, vol. 77, American Mathematical Society, Providence, RI; Science Press Beijing, New York, 2006. MR 2274812

work page 2006
[17]

Colding,Ricci curvature and volume convergence, Ann

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

work page 1997
[18]

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

work page 2017
[19]

Topping,PIC1 pinched manifolds are flat or compact, 2026, arXiv:2603.22086

Alix Deruelle, Man-Chun Lee, Felix Schulze, Miles Simon, and Peter M. Topping,PIC1 pinched manifolds are flat or compact, 2026, arXiv:2603.22086

work page arXiv 2026
[20]

Alix Deruelle, Felix Schulze, and Miles Simon,On the Hamilton-Lott conjecture in higher dimensions, 2024, arXiv:2403.00708

work page arXiv 2024
[21]

Daniel J. F. Fox,The commutative nonassociative algebra of metric curvature tensors, Forum Math. Sigma9(2021), Paper No. e79, 48. MR 4350139

work page 2021
[22]

Greene, Peter Petersen, and Shun-Hui Zhu,Riemannian manifolds of faster- than-quadratic curvature decay, Internat

Robert E. Greene, Peter Petersen, and Shun-Hui Zhu,Riemannian manifolds of faster- than-quadratic curvature decay, Internat. Math. Res. Notices (1994), no. 9, 363ff., approx. 16 pp. MR 1301436

work page 1994
[23]

152, Birkh¨ auser Boston, Inc., Boston, MA, 1999, Based on the 1981 French original [MR0682063 (85e:53051)], With appendices by M

Misha Gromov,Metric structures for Riemannian and non-Riemannian spaces, Progress in Mathematics, vol. 152, Birkh¨ auser Boston, Inc., Boston, MA, 1999, Based on the 1981 French original [MR0682063 (85e:53051)], With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates. MR 1699320

work page 1999
[24]

Hamilton,Three-manifolds with positive Ricci curvature, J

Richard S. Hamilton,Three-manifolds with positive Ricci curvature, J. Differential Geometry17(1982), no. 2, 255–306. MR 664497

work page 1982
[25]

Differential Geom.24(1986), no

,Four-manifolds with positive curvature operator, J. Differential Geom.24(1986), no. 2, 153–179. MR 862046

work page 1986
[26]

,A compactness property for solutions of the Ricci flow, Amer. J. Math.117 (1995), no. 3, 545–572. MR 1333936

work page 1995
[27]

,Four-manifolds with positive isotropic curvature, Comm. Anal. Geom.5(1997), no. 1, 1–92. MR 1456308

work page 1997
[28]

Fei He and Man-Chun Lee,Weakly PIC1 manifolds with maximal volume growth, J. Geom. Anal.31(2021), no. 11, 10868–10885. MR 4310158

work page 2021
[29]

thesis, Universit´ e de Bordeaux, Bordeaux, France, 2019

Rapha¨ el Hochard,Th´ eor` emes d’existence en temps court du flot de Ricci pour des vari´ et´ es non-compl` etes, non-´ effondr´ ees, ` a courbure minor´ ee, Ph.D. thesis, Universit´ e de Bordeaux, Bordeaux, France, 2019

work page 2019
[30]

Shaochuang Huang and Zhuo Peng,A note on a diffeomorphism criterion via long-time Ricci flow, Bull. Lond. Math. Soc.58(2026), no. 3, Paper No. e70321, 10. MR 5041203

work page 2026
[31]

Shaochuang Huang and Luen-Fai Tam,K¨ ahler-Ricci flow with unbounded curvature, Amer. J. Math.140(2018), no. 1, 189–220. MR 3749193

work page 2018
[32]

Math.343 (2019), 353–392

Yi Lai,Ricci flow under local almost non-negative curvature conditions, Adv. Math.343 (2019), 353–392. MR 3881661 38 H. DING, S. HUANG, AND Z. PENG

work page 2019
[33]

Man-Chun Lee and Luen-Fai Tam,Some curvature estimates of K¨ ahler-Ricci flow, Proc. Amer. Math. Soc.147(2019), no. 6, 2641–2654. MR 3951439

work page 2019
[34]

,Some local maximum principles along Ricci flows, Canad. J. Math.74(2022), no. 2, 329–348. MR 4410993

work page 2022
[35]

Topping,Manifolds with PIC1 pinched curvature, Geom

Man-Chun Lee and Peter M. Topping,Manifolds with PIC1 pinched curvature, Geom. Topol.29(2025), no. 9, 4767–4798. MR 5017757

work page 2025
[36]

Differential Geom.131(2025), no

,Three-manifolds with non-negatively pinched Ricci curvature, J. Differential Geom.131(2025), no. 3, 633–651. MR 4975490

work page 2025
[37]

Xiaolong Li, Lei Ni, and Kui Wang,Four-dimensional gradient shrinking solitons with positive isotropic curvature, Int. Math. Res. Not. IMRN (2018), no. 3, 949–959. MR 3801452

work page 2018
[38]

Lei Ni and Nolan Wallach,On four-dimensional gradient shrinking solitons, Int. Math. Res. Not. IMRN (2008), no. 4, Art. ID rnm152, 13. MR 2424175

work page 2008
[39]

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

work page Pith review arXiv 2002
[40]

Z.275(2013), no

Felix Schulze and Miles Simon,Expanding solitons with non-negative curvature operator coming out of cones, Math. Z.275(2013), no. 1-2, 625–639. MR 3101823

work page 2013
[41]

Differential Geom.30(1989), no

Wan-Xiong Shi,Deforming the metric on complete Riemannian manifolds, J. Differential Geom.30(1989), no. 1, 223–301. MR 1001277

work page 1989
[42]

Miles Simon,Local results for flows whose speed or height is bounded by c/t, Int. Math. Res. Not. IMRN (2008), Art. ID rnn 097, 14. MR 2439551

work page 2008
[43]

Topping,Local control on the geometry in 3D Ricci flow, J

Miles Simon and Peter M. Topping,Local control on the geometry in 3D Ricci flow, J. Differential Geom.122(2022), no. 3, 467–518. MR 4544560

work page 2022
[44]

Dedicata 133(2008), 169–179

Takumi Yokota,Curvature integrals under the Ricci flow on surfaces, Geom. Dedicata 133(2008), 169–179. MR 2390075 (Hongting Ding)College of Science, Shenzhen Campus of Sun Yat-sen Uni- versity, No. 66, Gongchang Road, Guangming District, Shenzhen, Guangdong 518107, P. R. China. Email address:dinght@mail2.sysu.edu.cn (Shaochuang Huang)College of Science, S...

work page 2008