Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Nonnegative Ricci Curvature, Euclidean Volume Growth, and the Fundamental Groups of Open $4$-Manifolds

T0 review · 4 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In dimension 4, Euclidean volume growth of the universal cover forces the fundamental group to be finitely generated.

desk verdict Dimension-4 Pan-Rong is settled with a structural upgrade; the conditional verdict is fair, and the main gap flagged by the stress-test is real but probably repairable. read the letter →

arxiv 2502.03259 v1 pith:7O2WA5ED submitted 2025-02-05 math.DG

Hongzhi Huang , Xian-Tao Huang This is my paper · ORCID
classification math.DG MSC 53C2153C23
keywords nonnegativeRiccicurvatureopen4-manifoldsfinitegenerationoffundamentalgroupsEuclideanvolumegrowthequivariantasymptoticconescrystallographicsphericalspaceformsvirtualabelianness
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that an open 4-manifold with nonnegative Ricci curvature whose Riemannian universal cover grows like Euclidean space must have a finitely generated fundamental group. This settles the dimension-4 case of a standing conjecture relating Euclidean volume growth to the finite-generation problem for fundamental groups. It also proves a structural refinement: if the fundamental group is infinite it is a crystallographic group of rank at most 3, and if finite it is a quotient of the fundamental group of a spherical 3-manifold; in both cases it contains an abelian subgroup whose index is bounded by a universal constant. The argument works through equivariant asymptotic cones, showing that the limiting group orbit is connected and therefore cannot come from an infinitely generated deck group.

What carries the argument

The load-bearing mechanism is a simply-connectedness lemma (Lemma 3.2) built on a recent topological regularity theorem for level sets of codimension-2 almost-splitting maps on noncollapsed Ricci limit spaces. The regularity result says that, in the relevant 4-dimensional limits, the cross-sections $Z$ are homeomorphic to $S^2$; the lemma upgrades this to: if an open $n$-manifold with nonnegative Ricci curvature has Euclidean volume growth and one asymptotic cone splits an $\mathbb{R}^{n-3}$-factor, then the manifold is simply connected. Around this, the authors assemble an equivariant asymptotic-cone analysis: a stability lemma for isotropy groups, a critical-scaling argument, and a classification of possible abelian limit actions $K\subset \operatorname{Isom}(\mathbb{R}^k)$, which together force the orbit $G(x_*)$ of the limiting deck group to be connected. A known observation then converts 'not finitely generated' into 'disconnected orbit', producing the contradiction that proves finite generation.

What would settle it

Find an open 4-manifold with nonnegative Ricci curvature whose universal cover has Euclidean volume growth but whose fundamental group is not finitely generated; this would directly falsify Theorem A. Alternatively, produce a sequence of normal coverings $(\check M_i,\check p_i,\Gamma_i)$ with $\mathrm{diam}(\Gamma_i(\check p_i))\to 0$ converging to $\mathbb{R}^{n-3}\times C(Z)$ with nontrivial $\Gamma_i$ for infinitely many $i$, which would refute Lemma 3.2.

Watch

Extended reading notes

Core claim

The central discovery is that in dimension 4 the combination of nonnegative Ricci curvature and Euclidean volume growth of the universal cover is enough to rule out infinitely generated fundamental groups. Specifically, Theorem A states: if $\tilde M$ has Euclidean volume growth, then $\pi_1(M)$ is finitely generated. Theorem B adds that there is a universal $C>0$ such that $\pi_1(M)$ contains a normal abelian subgroup of index at most $C$; in the infinite case $\pi_1(M)$ is a crystallographic group of rank $k\in\{1,2,3\}$, and in the finite case it is isomorphic to a quotient of the fundamental group of a spherical 3-manifold, hence virtually cyclic. The authors also obtain higher-dimensional versions under the extra assumption that every (or one) asymptotic cone splits an $\mathbb{R}^{n-4}$-factor, and derive that the reference point of every asymptotic cone is a pole and the escape rate vanishes.

Load-bearing premise

The load-bearing premise is that the recent regularity theorem for two-dimensional slices of noncollapsed Ricci limits continues to hold in the equivariant situation and implies the announced simply-connectedness lemma, which is only sketched in the paper.

Editorial extensions

If this is right

  • Theorem A verifies the Euclidean-volume-growth conjecture in dimension 4, the first new dimension beyond 3 in which the unrestricted finite-generation question remains open.
  • If $\pi_1(M)$ is infinite, it is a crystallographic group of rank $k\in\{1,2,3\}$, so it contains $\mathbb{Z}^k$ as a normal subgroup of index bounded by a universal constant independent of the manifold.
  • If $\pi_1(M)$ is finite, it is a quotient of the fundamental group of a spherical 3-manifold; combined with the classical finiteness theorem for manifolds with Euclidean volume growth, this makes the fundamental group finite and in fact virtually cyclic in dimension 4.
  • Every asymptotic cone of $M$ has the reference point as a pole, and $\pi_1(M)$ has vanishing escape rate; both are geometric criteria previously known to be sufficient for finite generation and virtual abelianness.
  • In higher dimensions, finite generation follows whenever the universal cover has Euclidean volume growth and every asymptotic cone splits an $\mathbb{R}^{n-4}$-factor, with the same virtual-abelian structure conclusions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof suggests that the obstruction to extending Theorem A to dimension 5 is exactly the topological-regularity input: if the same level-set regularity held for $n=5$, the equivariant-cone argument would likely yield finite generation under Euclidean volume growth alone. This is an inference, not a claim of the paper.
  • The universal index bound in Theorem B hints at a rigidity phenomenon: the geometric hypothesis of Euclidean volume growth of the universal cover may force fundamental groups in this class to lie in a finite list of virtually abelian groups, rather than merely in the larger class of virtually nilpotent groups allowed by general nonnegative Ricci curvature.
  • Because the finite case identifies $\pi_1(M)$ with a quotient of the fundamental group of a spherical 3-manifold, the argument constrains which finite groups can appear as fundamental groups of Ricci-flat ALE 4-manifolds; the paper's example of the cotangent bundle of $S^2$ shows the quotient can be trivial, but the proof allows nontrivial quotients only along the same lines.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper proves Theorem A: if M is an open 4-manifold with nonnegative Ricci curvature and its Riemannian universal cover has Euclidean volume growth, then π1(M) is finitely generated, confirming Pan–Rong's conjecture in dimension 4. Theorem B further asserts that if π1(M) is infinite then it is a crystallographic group of rank at most 3, and if it is finite then it is a quotient of the fundamental group of a spherical 3-manifold, with a universal index bound for a free abelian or cyclic subgroup. The proofs use equivariant Gromov–Hausdorff convergence, the topological regularity results of Brue–Pigati–Semola, several preparatory lemmas on asymptotic cones and isotropy groups, and a critical scaling argument.

Significance. If correct, these results are a major step in the study of fundamental groups of open manifolds with nonnegative Ricci curvature: they settle the Pan–Rong conjecture in dimension 4 and give a strong virtual-abelian structure theorem. The proof is genuinely novel in combining the recent BPS24 topological regularity theory with equivariant convergence and Pan's critical-scaling technique. The paper is also honest in labeling Lemma 3.2 as only sketched and in relying on the BPS24 preprint, which increases the risk but not the intrinsic value of the result.

major comments (4)
  1. [§3, Lemma 3.2] The proof of Lemma 3.2 is only a sketch, and the decisive identification 'According to [BPS24, Theorem 8.1], Z and \check Z are both homeomorphic to S^2' is not verified for the equivariant limit (Y,G) in diagram (3.1). One must check that the hypotheses of BPS24 Theorem 8.1 (or its relevant version) are satisfied by the limit of the normal covers \check M_i, not just by the base limit X. In particular, if the cross-section \check Z of Y were not S^2, the restriction \pi_i : \check\Sigma_i \to \Sigma_i would be a covering of a 2-sphere with more than one sheet, and the one-sheeted conclusion would fail. The authors should provide a complete proof of Lemma 3.2, or at least a precise statement of the BPS24 theorem being used and a verification of its hypotheses in the equivariant setting.
  2. [§3, claim (c2)] The proof of claim (c2) asserts that the lifted map (\check v_i, \check u_i) is an \epsilon_i-splitting map on B_s(q_{i,1}), citing [KW11, Lemma 1.6] without giving the argument. The condition diam(Γ_i(\check p_i)) \to 0 only bounds the deck action at the basepoint, whereas the splitting property is needed on a ball centered at q_{i,1}, which may be far from \check p_i. One must show that the covering is sufficiently trivial on that ball, or that every deck transformation moves points in the ball by a vanishing amount, before pulling back the splitting property of (v_i,u_i). Without this, the later application of [BPS24, Proposition 7.1(ii)] to connect q_{i,1} and q_{i,2} is not justified.
  3. [§2, Lemma 2.2] The proof of Lemma 2.2 imports [Hua24, Lemma 3.1] as a black box. This lemma is used to deduce that the tangent cone T_{y_*}Y splits an R-factor, which is the crucial step producing the R^{k+1}-splitting. Since [Hua24] is a paper by one of the authors, the lemma should be restated and its hypotheses checked in the present setting. In addition, the assertion that R^k × T_{y_*}Y equals R^{k+1} × Y_1 is not proved; the tangency and splitting arguments need to be written out.
  4. [§5, Lemma 5.4(2)] Lemma 5.4(2) states that in the case k(X)=2 the asymptotic cone is isometric to R^2 × C(S^1_r) with r ∈ (0,1), and that r 'only depends on the volume growth rate of \tilde M'. The appendix proof of Lemma 5.4 classifies the group K but does not establish the uniqueness of r or its dependence on the volume growth rate. This claim is used in Lemma 5.5 to conclude that a GH-close cone is isometric to (Z,z_*). If the uniqueness is essential, a proof should be supplied; if not, the claim should be removed or qualified.
minor comments (5)
  1. [§3, Lemma 3.2] In the statement of Lemma 3.2, condition (2) says 'diam(Γ_i(\check p_i)) \to 0 as i \to 0'; the limit should be i \to \infty.
  2. [§3, proof of Lemma 3.2] The passage 'By lifting the R^{n-3}-factor of X through π' needs justification: it is not automatic that a submetry from Y to a space splitting off an R^k-factor lifts that factor. This point should be clarified.
  3. [§5, Lemma 5.5 and Sublemma 5.6] The notation is inconsistent: S(x_*) appears in (5.1) and S(z_*) in the subsequent lines, and in Sublemma 5.6 the distance uses 'S(y*)' in the definition of A_i. Please standardize the notation for the reference point of the limit group S.
  4. [§5, Lemma 5.9] In the proof of Lemma 5.9, 'Let h ∈ Isom(G)' should be 'Let h ∈ G', since h is an element of the limit group G, not of its isometry group.
  5. [§7, proof of Lemma 2.1(2)] In the definition of x_s in the appendix, 'i = 0, 1, ..., k' should be 's = 0, 1, ..., k'; the index i is already used for the sequence.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: Theorem A and Theorem B are genuine consequences of external topological splitting and regularity results; the flagged sketch and the Hua24 self-citation are completeness and sourcing issues, not definitional or fitted-input circularity.

full rationale

No step of the derivation chain is equivalent to its own input by construction. Theorems A and B are structural conclusions about pi_1(M) derived from geometric hypotheses on M; no parameter is fitted to the target statement and no object is defined in terms of the theorem being proved. Lemma 3.2 uses [BPS24, Theorem 8.1] only to obtain the topological regularity of level sets and the S^2 structure of the cross-section; the conclusion that the covering groups Gamma_i are eventually trivial is then obtained by the covering-map argument, so the external theorem is not a restatement of the lemma. The paper itself says the proof of Lemma 3.2 is only sketched ('Consequently, we will only present a sketched proof here'), and the equivariant application of BPS24 plus the use of [KW11, Lemma 1.6] in step (c2) would need a full write-up; that is a correctness and completeness risk, not circularity. Lemma 2.2 and Sublemma 6.3 import [Hua24, Lemma 3.1] and [Hua24, Lemma A.1] as black boxes; [Hua24] is a separate published paper by one of the present authors, and the cited statements are general facts about orbits and splittings of equivariant asymptotic cones, not assumptions that contain Theorem A or Theorem B. This is legitimate self-citation rather than circular reduction. Consequently, the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

This is a pure mathematics paper, so no numerical parameters are fitted and no new entities are postulated. The proof depends on a network of external theorems in comparison geometry and RCD theory; the heaviest is BPS24, and one supporting lemma is Hua24 by a co-author. The listed axioms are the unproved background results that the central claim rests on.

assumptions (10)
  • standard math BPS24 Theorems 5.2, 7.1, 8.1, and 1.4: topological regularity of good level sets, cross-sections homeomorphic to S^2, and classification of spherical space forms in dimension 3.
    Used in Lemma 3.2 and Theorem 1.2(2) to construct level sets, identify cross-sections, and control covering maps.
  • standard math Cheeger-Colding theory: asymptotic cones exist, are metric cones, and satisfy splitting rigidity and codimension-2 rigidity.
    Foundational for defining equivariant asymptotic cones and obtaining R^k-splittings throughout Sections 2 through 6.
  • standard math Colding-Naber theorem: isometry groups of Ricci limit spaces are Lie groups.
    Used in Section 2 and Section 4 to analyze isotropy groups and limit group actions.
  • standard math Colding's maximal volume rigidity: if a manifold has Euclidean volume growth and an asymptotic cone is R^n, then the manifold is Euclidean.
    Used in Lemma 5.3 and Claim 6.4 to rule out k(X) >= 3 and R^n cones for non-flat M.
  • standard math Wilking reduction: a non-finitely-generated fundamental group of a nonnegatively curved manifold contains a non-finitely-generated abelian subgroup.
    Used in the proof of Theorem A to reduce to Theorem 5.1 for abelian groups.
  • standard math Pan's observation (Pan20b Lemma 2.5): a non-finitely-generated fundamental group yields an equivariant asymptotic cone with disconnected orbit.
    Used in the proof of Theorem A and Lemma 2.2 to obtain a contradiction from Theorem 5.1.
  • standard math Hua24 Lemma 3.1: tangent cones split an R-factor when a limit group fixes the cone vertex and has a disconnected orbit.
    Used in Lemma 2.2 and Sublemma 6.3; this lemma is by a co-author and is imported as a black box.
  • standard math PR18 Theorem 0.8 and MRW08 Lemma 3.2: stability of compact Lie group actions under equivariant Gromov-Hausdorff convergence.
    Used in Sublemma 4.5 and Lemma 6.6 to transfer isotropy groups between close equivariant cones.
  • standard math Bieberbach theorems and Wolf's classification: crystallographic groups contain a finite-index translation lattice, and spherical space form groups contain a normal cyclic subgroup of bounded index depending only on dimension.
    Used in Section 6 to derive the universal abelian-index bound and the cyclic-index bound.
  • standard math Kapovitch-Wilking Corollary 4: a finitely generated fundamental group of a manifold with nonnegative Ricci curvature is virtually nilpotent.
    Used in Step 2 of Theorem 1.2(1) to find a nilpotent normal subgroup of finite index.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonnegative Ricci Curvature, Euclidean Volume Growth, and the Fundamental Groups of Open $4$-Manifolds." pith.science (2026). https://pith.science/paper/7O2WA5ED

@misc{pith2026250203259,
  author       = {Pith},
  title        = {Pith review of: Nonnegative Ricci Curvature, Euclidean Volume Growth, and the Fundamental Groups of Open $4$-Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7O2WA5ED}},
  note         = {Machine review of arXiv:2502.03259}
}
abstract

Let $M$ be a 4-dimensional open manifold with nonnegative Ricci curvature. In this paper, we prove that if the universal cover of $M$ has Euclidean volume growth, then the fundamental group $\pi_1(M)$ is finitely generated. This result confirms Pan-Rong's conjecture \cite{PR18} for dimension $n = 4$. Additionally, we prove that there exists a universal constant $C>0$ such that $\pi_1(M)$ contains an abelian subgroup of index $\le C$. More specifically, if $\pi_1(M)$ is infinite, then $\pi_1(M)$ is a crystallographic group of rank $\le 3$. If $\pi_1(M)$ is finite, then $\pi_1(M)$ is isomorphic to a quotient of the fundamental group of a spherical 3-manifold.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Geometric transformation theorem, fundamental groups and monotone of numbers of almost Euclidean factors of geodesic balls

    math.DG 2026-07 conditional novelty 6.0 of 10

    A transformation theorem is proved under a non-decreasing monotonicity condition on almost-Euclidean factors, yielding finite generation and virtual abelianness of fundamental groups for certain nonnegatively Ricci-cu...

Reference graph

Works this paper leans on

40 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [1]

    M. T. Anderson. On the topology of complete manifolds of nonnegative R icci curvature. Topology , 29(1):41--55, 1990

    work page 1990

  2. [2]

    U ber die bewegungsgruppen der euklidischen r\

    L Bieberbach. \" U ber die bewegungsgruppen der euklidischen r\" a ume. Math. Ann. , 70:297--336, 1911

    work page 1911

  3. [3]

    Bru\` e , A

    E. Bru\` e , A. Naber, and D. Semola. Six dimensional counterexample to the M ilnor conjecture. arXiv:2311.12155 , 2023

    arXiv 2023

  4. [4]

    Bru\` e , A

    E. Bru\` e , A. Naber, and D. Semola. Fundamental groups and the M ilnor conjecture. Ann. of Math. (2) , 201(1):225--289, 2025

    work page 2025

  5. [5]

    Bru\` e , A

    E. Bru\` e , A. Pigati, and D. Semola. Topological regularity and stability of noncollapsed spaces with R icci curvature bounded below. arXiv:2405.03839 , 2024

    arXiv 2024

  6. [6]

    Cheeger and T

    J. Cheeger and T. H. Colding. Lower bounds on R icci curvature and the almost rigidity of warped products. Ann. of Math. (2) , 144(1):189--237, 1996

    work page 1996

  7. [7]

    Cheeger and T

    J. Cheeger and T. H. Colding. On the structure of spaces with R icci curvature bounded below. I . J. Differential Geom. , 45:406--480, 1997

    work page 1997

  8. [8]

    T. H. Colding and A. Naber. Sharp H \"older continuity of tangent cones for spaces with a lower R icci curvature bound and applications. Ann. of Math. (2) , 176(2):1173–1229, 2012

    work page 2012

Show all 40 references
  1. [9]

    Cheeger and A

    J. Cheeger and A. Naber. Regularity of E instein manifolds and the codimension 4 conjecture. Ann. of Math. (2) , 182:1093--1165, 2015

    2015

  2. [10]

    T. H. Colding. Ricci curvature and volume convergence. Ann. of Math. , 145:477--501, 1997

    1997

  3. [11]

    u rzeste wege und totalkr\

    S. Cohn-Vossen. K\" u rzeste wege und totalkr\" u mmung auf fl\" a chen. Compositio Math. , 2:69--133, 1935

    1935

  4. [12]

    De Philippis and N

    G. De Philippis and N. Gigli. Non-collapsed spaces with R icci curvature bounded from below. J. \'Ec. polytech. Math. , 5:613--650, 2018

    2018

  5. [13]

    Fukaya and T

    K. Fukaya and T. Yamaguchi. The fundamental groups of almost non-negatively curved manifolds. Ann. of Math. (2) , 136(2):253--333, 1992

    1992

  6. [14]

    Galaz-Garcia, M

    F. Galaz-Garcia, M. Kell, Mondino A., and G. Sosa. On quotients of spaces with R icci curvature bounded below. J. Funct. Anal. , 275:1368--1446, 2018

    2018

  7. [15]

    M. Gromov. Groups of polynomial growth and expanding maps. Inst. Hautes Études Sci. Publ. Math. , 53:53--73, 1981

    1981

  8. [16]

    M. Gromov. Volume and bounded cohomology. Inst. Hautes Études Sci. Publ. Math. , 56:5--99, 1982

    1982

  9. [17]

    H. Huang. Finite generation of fundamental groups for manifolds with nonnegative R icci curvature whose universal cover is almost k -polar at infinity. J. R eine A ngew. Math. , 2024

    2024

  10. [18]

    Ketterer

    C. Ketterer. Cones over metric measure spaces and the maximal diameter theorem. J. Math. Pures Appl. , 103:1228--1275, 2015

    2015

  11. [19]

    M. I. Kargapolov and Ju. I. Merzljakov. Fundamentals of the theory of groups. Grad. Texts in Math. , 62:xvii+203 pp, 1979

    1979

  12. [20]

    Kapovitch and B

    V. Kapovitch and B. Wilking. Structure of fundamental groups of manifolds with R icci curvature bounded below. arXiv:1105.5955v2 , 2011

    2011 arXiv

  13. [21]

    P. Li. Large time behavior of the heat equation on complete manifolds with non-negative R icci curvature. Ann. of Math. (2) , 124(1):1--21, 1986

    1986

  14. [22]

    G. Liu. 3-manifolds with nonnegative ricci curvature. Invent. Math. , 193:367--375, 2013

    2013

  15. [23]

    J. Milnor. A note on curvature and fundamental group. J. Differential Geom. , 2:1--7, 1968

    1968

  16. [24]

    Mazur, X

    M. Mazur, X. Rong, and Y. Wang. Margulis lemma for compact lie groups. Math. Z. , 258:395--406, 2008

    2008

  17. [25]

    Navarro, J

    D. Navarro, J. Pan, and X. Zhu. On the topology of manifolds with nonnegative R icci curvature and linear volume growth. arXiv:2410.15488 , 2024

    2024 arXiv

  18. [26]

    J. Pan. Nonnegative R icci curvature, almost stability at infinity, and structure of fundamental groups. arXiv:1809.10220v2 , 2019

    2019 arXiv

  19. [27]

    J. Pan. Nonnegative R icci curvature, stability at infinity and finite generation of fundamental groups. Geom. Topol. , 23:3203--3231, 2019

    2019

  20. [28]

    J. Pan. The fundamental groups of open manifolds with nonnegative R icci curvature. SIGMA Symmetry Integrability Geom. Methods Appl. , 16:78,16 pp, 2020

    2020

  21. [29]

    J. Pan. A proof of M ilnor conjecture in dimension 3. J. Reine Angew. Math. , 758:253--260, 2020

    2020

  22. [30]

    J. Pan. On the escape rate of geodesic loops in an open manifold with nonnegative R icci curvature. Geom. Topol. , 25:1059--1085, 2021

    2021

  23. [31]

    J. Pan. Nonnegative R icci curvature and escape rate gap. J. Reine Angew. Math. , 782:175--196, 2022

    2022

  24. [32]

    J. Pan. Nonnegative R icci curvature, metric cones, and virtual abelianness. Geom. Topol. , 28:1409--1436, 2024

    2024

  25. [33]

    Pan and X

    J. Pan and X. Rong. Ricci curvature and isometric actions with scaling nonvanishing property. arXiv:1808.02329 , 2018

    2018 arXiv

  26. [34]

    X. Rong. On the fundamental groups of manifolds of positive sectional curvature. Ann. of Math. (2) , 143:397--411, 1996

    1996

  27. [35]

    X. Rong. Fundamental groups of manifolds of positive sectional curvature and bounded covering geometry. J. Math. Study , 57:358--372, 2024

    2024

  28. [36]

    C. Sormani. Nonnegative R icci curvature, small linear diameter growth and finite generation of fundamental groups. J. Differential Geom. , 53:547--559, 1999

    1999

  29. [37]

    G. Wei. Examples of complete manifolds of positive R icci curvature with nilpotent isometry groups. Bull. Amer. Math. Soc. (N.S.) , 19:311--313, 1988

    1988

  30. [38]

    B. Wilking. On fundamental groups of manifolds of nonnegative curvature. Differential Geom. Appl. , 13(2):129--165, 2000

    2000

  31. [39]

    J. A. Wolf. Spaces of constant curvature. AMS Chelsea Publishing, Providence, RI, , Sixth edition:xviii+424 pp, 2011

    2011

  32. [40]

    S.-H. Zhu. A finiteness theorem for R icci curvature in dimension three. J. Differential Geom , 37:711–727, 1993

    1993

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.