arxiv: 2604.14537 · v1 · submitted 2026-04-16 · 🧮 math.DG

Recognition: unknown

Complete manifolds with nonnegative Ricci curvature and slow relative volume growth

Dimitri Navarro, Jiayin Pan, Xingyu Zhu

Authors on Pith no claims yet

Pith reviewed 2026-05-10 10:39 UTC · model grok-4.3

classification 🧮 math.DG

keywords nonnegative Ricci curvaturerelative volume growthfundamental groupalmost abelian groupscomplete manifoldsdiameter growthRicci curvature

0 comments

The pith

If RV(s) grows slower than s squared, the fundamental group of a complete manifold with nonnegative Ricci curvature is almost abelian.

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

The paper defines a relative volume growth function RV(s) for complete noncompact manifolds with Ric ≥ 0, given by the limsup of the ratio of volumes of balls scaled by s at large radii. It proves that slow growth of RV(s), together with sublinear diameter growth, implies strong restrictions on the fundamental group. Specifically, RV(s) much smaller than s squared forces π₁ to be almost abelian, while even slower growth plus positive Ricci curvature at one point forces π₁ to be finite. A reader cares because these conditions control the topology at infinity using only metric growth data, extending earlier results that required linear volume growth.

Core claim

The central claim is that for a complete noncompact manifold M with Ric ≥ 0, if RV(s) ≪ s² as s → ∞, then π₁(M) is almost abelian; moreover, if RV(s) ≪ s^{1+δ} for some δ ∈ (0,1) and Ric > 0 at a point, then π₁(M) is finite. These conclusions are proved under the additional assumption of sublinear diameter growth and generalize the authors' prior work on the case of linear (minimal) volume growth.

What carries the argument

The relative volume growth function RV(s) = limsup_{r→∞} vol(B_{rs}(p)) / vol(B_r(p)), which measures asymptotic volume scaling at infinity and is used to bound the possible deck transformations of the universal cover.

If this is right

π₁(M) admits a finite-index abelian subgroup whenever RV(s) ≪ s².
π₁(M) is finite when RV(s) ≪ s^{1+δ} for δ ∈ (0,1) and Ric is positive at least at one point.
The conclusions apply directly to the minimal-volume-growth case where RV(s) remains bounded.
The results give topological control on the ends of Ricci-nonnegative manifolds using only volume and diameter growth rates.

Where Pith is reading between the lines

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

The growth thresholds suggest a possible hierarchy of algebraic restrictions on π₁ that sharpen as the volume growth exponent decreases.
Similar techniques might extend to control on the homology of large spheres or on the structure of the soul in the noncompact case.

Load-bearing premise

The manifold must also satisfy sublinear diameter growth, and the limsup in the definition of RV(s) must capture the true asymptotic scaling without pathological oscillations.

What would settle it

A counterexample would be a complete manifold with Ric ≥ 0, sublinear diameter growth, RV(s) ≪ s², yet with π₁(M) containing a nonabelian free subgroup.

read the original abstract

For any complete and noncompact manifold $M$ with $\mathrm{Ric}\ge 0$, we define a function $\mathrm{RV}(s)$ that describes the growth of relative volume asymptotically $$\mathrm{RV}(s)=\limsup_{r\to\infty} \dfrac{\mathrm{vol} B_{rs}(p)}{\mathrm{vol} B_r(p)},\quad s\ge 1.$$ Then we study the fundamental groups of such manifolds with slow relative volume growth and sublinear diameter growth. We show that if $\mathrm{RV}(s)\ll s^2$ as $s\to\infty$, then $\pi_1(M)$ is almost abelian; if $\mathrm{RV}(s)\ll s^{1+\delta}$ for some $\delta\in (0,1)$ and the Ricci curvature is positive at a point, then $\pi_1(M)$ is finite. These results generalize our previous work on complete manifolds with $\mathrm{Ric}\ge 0$ and linear (minimal) volume growth.

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

This paper defines a relative volume function RV(s) via limsup ratios and shows slow growth yields almost abelian or finite fundamental groups for Ric >=0 manifolds, extending the authors' linear growth work.

read the letter

The main point is that by introducing RV(s) as the limsup of vol(B_rs)/vol(B_r) as r goes to infinity, the authors prove that if this grows slower than s squared then the fundamental group is almost abelian, and if even slower than s to the 1+delta with positive Ricci at one point then it is finite. This is a direct generalization of their earlier linear volume growth results, using the same comparison geometry toolkit for complete noncompact manifolds with nonnegative Ricci curvature plus the extra sublinear diameter growth hypothesis.

Referee Report

0 major / 3 minor

Summary. The manuscript defines a relative volume growth function RV(s) = limsup_{r→∞} vol(B_{rs}(p))/vol(B_r(p)) for s ≥ 1 on complete noncompact manifolds M with Ric ≥ 0. Under the additional hypothesis of sublinear diameter growth, it proves that RV(s) ≪ s² as s→∞ implies π₁(M) is almost abelian, while RV(s) ≪ s^{1+δ} for some δ ∈ (0,1) together with Ric > 0 at a point implies π₁(M) is finite. These statements generalize the authors' prior results on the linear (minimal) volume growth case.

Significance. If the proofs hold, the results provide a natural extension of known structure theorems for fundamental groups of Ric ≥ 0 manifolds by weakening the volume growth hypothesis from linear to sub-quadratic relative growth. The limsup definition of RV(s) is a standard, robust choice that controls asymptotic behavior without permitting persistent oscillations, and the work explicitly isolates the sublinear diameter growth hypothesis rather than claiming it follows from RV(s). This contributes to the literature on asymptotic geometry and comparison techniques in Riemannian geometry.

minor comments (3)

The abstract and introduction should explicitly recall the definition of sublinear diameter growth (e.g., diam(M)/r → 0 or equivalent) and state precisely how it is invoked in the proofs of the two main theorems, since it is listed as an independent hypothesis.
Clarify the precise meaning of the notation RV(s) ≪ s² (i.e., lim_{s→∞} RV(s)/s² = 0) and RV(s) ≪ s^{1+δ} in the statements of the theorems, and confirm that the limsup is taken uniformly in the sense that for every ε > 0 there exists R such that the ratio is bounded by RV(s) + ε for all r > R.
The paper should include a brief comparison paragraph in the introduction or §1 that highlights the new range of growth rates covered relative to the authors' previous linear-volume-growth results, including any new technical ingredients required for the sub-quadratic case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, accurate summary of our results, and positive recommendation for minor revision. The significance assessment correctly identifies the extension of our prior work on linear volume growth to the sub-quadratic relative volume growth setting under the sublinear diameter growth hypothesis. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper independently defines RV(s) via limsup of volume ratios under Ric ≥ 0 and completeness, then derives fundamental group conclusions from geometric comparison techniques plus the explicit additional hypothesis of sublinear diameter growth. The generalization reference to prior linear-growth work is a standard citation and does not serve as a load-bearing premise for the new theorems; the central claims remain self-contained against external geometric benchmarks without reduction to self-definition, fitted inputs, or ansatz smuggling.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard background axioms of Riemannian geometry with no free parameters or newly invented entities.

axioms (1)

standard math Standard axioms of smooth Riemannian manifolds including completeness, the definition of Ricci curvature, and the Bishop-Gromov-type volume comparison theorems that hold under Ric ≥ 0.
These are the usual background assumptions invoked throughout the field of geometric analysis for nonnegative Ricci curvature.

pith-pipeline@v0.9.0 · 5481 in / 1413 out tokens · 50439 ms · 2026-05-10T10:39:24.150412+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 4 canonical work pages

[1]

[AG90] Uwe Abresch and Detlef Gromoll,On complete manifolds with nonnegative Ricci curvature, J. Amer. Math. Soc.3(1990), no. 2, 355–374. MR1030656 [AGS14a] L. Ambrosio, N. Gigli, and G. Savar´ e,Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Mathematical Journal163(2014), no. 7, 1405–1490 (English). [AGS14b] Luigi Ambrosio...

1990
[2]

MR2039660 [BNS23] Elia Bru` e, Aaron Naber, and Daniele Semola,Six dimensional counterexample to the Milnor conjecture, arXiv:2311.12155, to appear in J. Eur. Math. Soc. (2023). [BNS25] ,Fundamental groups and the Milnor conjecture, Ann. of Math. (2)201(2025), no. 1, 225–289. MR4848671 [BS20] Elia Bru´ e and Daniele Semola,Constancy of the dimension for R...

work page arXiv 2023
[3]

[CG71] Jeff Cheeger and Detlef Gromoll,The splitting theorem for manifolds of nonnegative Ricci cur- vature, J. Differ. Geom.6(1971), 119–128 (English). [Che99] J. Cheeger,Differentiability of Lipschitz Functions on Metric Measure Spaces, Geometric & Func- tional Analysis GAFA9(June 1999), no. 3, 428–517. [CM21] Fabio Cavalletti and Emanuel Milman,The glo...

work page arXiv 1971
[4]

MR188387 [Ket25] Christian Ketterer,Rigidity of mean convex subsets in non-negatively curved RCD spaces and stability of mean curvature bounds, J. Topol. Anal.17(2025), no. 2, 259–294. MR4899935 [Kit19] Yu Kitabeppu,A sufficient condition to a regular set being of positive measure onRCDspaces, Potential Anal.51(2019), no. 2, 179–196. MR3983504 [KKL23] Chr...

2025
[5]

1, 187–215

MR4526556 [KL16] Yu Kitabeppu and Sajjad Lakzian,Characterization of low dimensional RCD ∗(K, N)spaces, Analysis and Geometry in Metric Spaces4(2016), no. 1, 187–215. [KW11] Vitali Kapovitch and Burkhard Wilking,Structure of fundamental groups of manifolds with Ricci curvature bounded below, arXiv:1105.5955 (2011). [LV09] J. Lott and C. Villani,Ricci curv...

work page arXiv 2016
[6]

[Oht09] Shin-ichi Ohta,Finsler interpolation inequalities, Calculus of Variations and Partial Differential Equations36(2009), no

MR4903405 [NPZ24] Dimitri Navarro, Jiayin Pan, and Xingyu Zhu,On the topology of manifolds with nonnegative Ricci curvature and linear volume growth, arXiv:2410.15488 (2024). [Oht09] Shin-ichi Ohta,Finsler interpolation inequalities, Calculus of Variations and Partial Differential Equations36(2009), no. 2, 211–249 (eng). [Pan19] Jiayin Pan,Nonnegative Ric...

work page arXiv 2024
[7]

MR5027808 [RS23] Luca Rizzi and Giorgio Stefani,Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries, J. Funct. Anal.285(2023), no. 9, Paper No. 110099,

2023
[8]

MR4623954 46 DIMITRI NAVARRO, JIAYIN PAN, AND XINGYU ZHU [Sor00a] Christina Sormani,The almost rigidity of manifolds with lower bounds on Ricci curvature and minimal volume growth, Comm. Anal. Geom.8(2000), no. 1, 159–212. MR1730892 [Sor00b] ,Nonnegative Ricci curvature, small linear diameter growth and finite generation of fun- damental groups, J. Differ...

2000