On the non-collapsed RCD spaces with local bounded covering geometry

Jikang Wang

REVIEW 4 major objections 5 minor 46 references

On the non-collapsed RCD spaces with local bounded covering geometry

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

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

Pith's one-line read Small-diameter RCD spaces with non-collapsing universal covers are infranil manifolds.

desk verdict Real biHölder rigidity in Theorem A, but the affine structure group in Theorem B is not proved. read the letter →

arxiv 2412.06131 v1 pith:XO5CWAPY submitted 2024-12-09 math.DG math.MG

Jikang Wang This is my paper · ORCID

classification math.DGmath.MG MSC 53C2353C2153C2422E25

keywords RCDspacesGromov-Hausdorffconvergencealmostflatmanifoldsinfranil-manifoldsnilprogressionsgeneralizedMargulislemmabi-Hölderhomeomorphismcollapsinggeometry

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

This paper proves a singular-space version of Gromov's almost flat manifold theorem. It shows that an $N$-dimensional non-collapsed RCD space—the singular analogue of a Riemannian manifold with Ricci curvature bounded below by $-(N-1)$—with diameter less than $\epsilon$, local bounded covering geometry, and a universal cover whose unit balls all have volume at least $v$, is biHölder homeomorphic to an infranil-manifold; the Hölder exponent and multiplicative constant tend to 1 as $\epsilon$ goes to 0. If the space is a smooth manifold with the same Ricci bound, the homeomorphism is a diffeomorphism. The same construction yields a regular fibration theorem for RCD spaces converging to a lower-dimensional manifold, with infranil-manifold fibers and affine structure group, and proves the RCD+CBA version of the almost flat theorem.

What carries the argument

The central object is the equivariant limit of the universal cover together with the groupification of a nilprogression in the deck-transformation group. The generalized Margulis lemma supplies a bounded-index nilpotent subgroup $G_i$; after rescaling, the pair $(\tilde{X}_i,G_i)$ converges equivariantly to $(\mathbb{R}^N,G)$, and Lemma 4.2 identifies $G$ with $\mathbb{R}^N$. Nilprogressions then turn a local generating set of $G_i$ into a lattice in a simply connected nilpotent Lie group $N_i$; a left-invariant metric on $N_i$ is almost flat, an extension lemma produces a global almost equivariant Gromov-Hausdorff approximation, and the canonical Reifenberg method converts the resulting almost splitting map into the biHölder homeomorphism.

What would settle it

Look directly at Lemma 4.2: either find a nilpotent Lie group acting freely and isometrically on $\mathbb{R}^N$ whose identity component is not transitive, or prove that no such action exists. If such a group can occur as the equivariant limit of the universal covers in the theorem's setting, the proof of Theorem A collapses at that step; otherwise the step stands.

Watch

Extended reading notes

Core claim

The central discovery is a construction of an infranil-manifold model for a small-diameter RCD space whose universal cover is non-collapsing. The proof proceeds by contradiction: one rescales the space, passes to an equivariant Gromov-Hausdorff limit $(\tilde{X}_i,\tilde{p}_i,G_i) \to (\mathbb{R}^N,\tilde{p},G)$, and uses the generalized Margulis lemma to find a bounded-index nilpotent subgroup $G_i$ of the fundamental group. The approximate-group structure theorem converts a small symmetric generating set of $G_i$ into a genuine lattice in a simply connected nilpotent Lie group $N_i$. A left-invariant metric on $N_i$ is chosen to be almost flat, an almost equivariant global Gromov-Hausdorff approximation is glued together, and the canonical Reifenberg method upgrades this map to a biHölder homeomorphism. In the smooth case the same map has nondegenerate differential and is a diffeomorphism.

Load-bearing premise

Everything rests on the claim that the limiting group of deck transformations is the full translation group of the Euclidean limit; in particular, the identity component of that limiting group is assumed to act transitively, and no detailed proof of this transitivity is given in Lemma 4.2.

Editorial extensions

If this is right

The homeomorphism in Theorem A satisfies $(1-\Phi(\epsilon|N,v))d(x,y)^{1+\Phi(\epsilon|N,v)} \le d(f(x),f(y)) \le (1+\Phi(\epsilon|N,v))d(x,y)$, so the distortion is controlled explicitly by the diameter.
In the smooth case the constructed map is a diffeomorphism, giving a new proof of the Ricci-covering almost-flat theorem that does not go through Ricci-flow smoothing.
Theorem B provides, for all large $i$, a Gromov-Hausdorff approximation $f_i : X_i \to K$ that is a fiber bundle with infranil-manifold fiber and affine structure group.
Theorem 1.9 says that in the limit of such spaces, $k$-regular points are genuine manifold points, with neighborhoods biHölder to $\mathbb{R}^k$ and a local product structure in the fibers.
Theorem 1.7 confirms the RCD+CBA version of Gromov's almost flat manifold theorem: small diameter, no boundary, and curvature bounds on both sides give a biLipschitz diffeomorphism to an infranil-manifold.

Reading between the lines

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

Beyond the paper's claims, the argument suggests that any class of singular spaces with a generalized Margulis lemma and a canonical Reifenberg theorem would admit the same infranil-model construction.
A natural testable extension is whether the biHölder exponent in Theorem A can be improved to $1$ under regularity assumptions short of CBA; the biLipschitz RCD+CBA theorem marks the current boundary.
The nilprogression-to-lattice mechanism also points toward a version of Theorem B whose limit $K$ is only a rectifiable singular space rather than a smooth manifold.

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.

Desk Editor's Note

read the letter

Read it. The headline result is real: Theorem A upgrades Zamora-Zhu's homeomorphism to biHölder and gives a proof of the almost-flat theorem in the RCD+CBA setting that bypasses Ricci flow. That is worth something. The proof architecture is coherent: Margulis, nilprogressions, groupification, Reifenberg. The author knows the machinery and the paper is mostly honest about where it relies on recent preprints.

Credit where due: the canonical Reifenberg method is applied carefully, the volume convergence argument in Lemma 4.1 is sound, and the global extension of the local GHA map is a useful trick. Theorem A's biHölder estimate is plausible and the proof has the right shape.

Soft spots, in order of concern. First, the affine structure group in Theorem B is not proved. Section 6.4 shows the nilpotent structure of the fiber is locally independent of the base point by comparing escape norms. That gives local constancy of the isomorphism type of the lattice, but not an affine structure group. In the smooth case you get affine clutching maps from the implicit function theorem and nondegenerate differential; here there is no implicit function theorem, and the biHölder trivializations are far from affine. The one-line 'by a connectedness argument... see [9,35]' does not do the work. This is load-bearing because affine structure group is a stated conclusion of Theorem B. Either the definition of 'affine structure group' needs to be changed for the RCD context, or the proof needs a real gluing construction. As written, I would not trust that part.

Second, Lemma 4.2: the transitivity of G0 from transitivity of G is standard for Lie group actions on connected spaces, so I don't share the reader's worry. But Lemma 4.5's jump from C4-closeness to injectivity radius lower bound is under-derived. It is probably fixable with a standard geodesic argument, but it needs to be written out.

Third, the paper relies heavily on very recent preprints by the author and collaborators, some of which are not yet public. That makes verification hard, but it is not a flaw by itself. The citation pattern is normal for this area.

Overall: the central Theorem A argument holds up in broad strokes, and the RCD+CBA application is a strong byproduct. The affine structure-group gap means Theorem B as stated is not fully supported. I'd send this to a serious referee, but with clear instruction that the affine structure-group claim needs either a proof or a downgrade.

Referee Report

4 major / 5 minor

Summary. The paper proves topological and geometric rigidity results for non-collapsed RCD(-(N-1),N) spaces with a local bounded covering geometry condition. Theorem A asserts that if the diameter is sufficiently small and the universal cover has a uniform lower volume bound on unit balls, then the space is bi-Hölder homeomorphic to an infranil-manifold, with an explicit quantitative bi-Hölder estimate; in the smooth case the map is claimed to be a diffeomorphism. Theorem B asserts that a sequence of such spaces converging to a smooth compact k-manifold admits, for large i, a Gromov-Hausdorff approximation fibration over the limit whose fibers are infranil-manifolds and whose structure group is affine. The paper also proves a mixed-curvature almost-flat theorem in the RCD+CBA setting (Theorem 1.7) and a regularity/fibration statement near k-regular points of limits (Theorem 1.9). The proof of Theorem A proceeds by contradiction, equivariant Gromov-Hausdorff convergence to Euclidean space, the generalized Margulis lemma, nilprogression theory, construction of approximating nilpotent Lie groups, and the canonical Reifenberg method.

Significance. If fully established, the main results would be significant: Theorem A gives a new proof of the almost-flat theorem in the RCD setting without Ricci flow, confirms the bi-Hölder conjecture of Zamora and Zhu, and Theorem 1.7 confirms a conjecture of Kapovitch in the RCD+CBA setting. Theorem B would extend the Huang-Rong fibration theorem to RCD spaces, a substantial step beyond the smooth Riemannian framework. The paper also introduces useful tools, such as the use of nilprogressions and local product structures in collapsing RCD spaces. However, the affine structure group claim in Theorem B is not actually proved in the present text, and several load-bearing steps in the proof of Theorem A are under-derived. The overall architecture is plausible, but the manuscript currently does not fully support all of its advertised conclusions.

major comments (4)

[Section 4, Lemma 4.2] The assertion "Since G is transitive, then G0 is also transitive" is stated without proof. This is a standard fact for Lie group actions on connected manifolds, but the key conclusion that G can be identified with R^N requires more: G is a closed subgroup of Isom(R^N), and one must show that a connected free transitive isometric action on Euclidean space is necessarily the translation action, not a nonabelian nilpotent group acting affinely. As written, the leap from freeness to G = R^N is under-derived. Since this identification is the basis for the entire nilpotent model construction, please supply the missing argument or a precise reference.
[Section 4, Lemma 4.5] The proof jumps from structure constants converging to zero and local C^4-closeness at the identity to the global bound inj(N_i) >= 1/epsilon. The left-invariance of the metric transfers local flatness to every point, but the injectivity radius bound requires excluding short closed geodesics and requires a global estimate on the exponential map. The sentence "B_{4/epsilon}(e) must be biLipschitz to B_{4/epsilon}(0^N)" is not justified by the preceding construction. This global estimate is needed later for the Reifenberg argument, so the gap is load-bearing. Please add the missing estimate or modify the construction so that the large-scale bi-Lipschitz control follows.
[Section 6.4, proof of Theorem B] The affine structure group conclusion is not proved. The paragraph after the construction of the fibration compares escape norms only for elements g in A1 ∩ A2 at base points in B^{ri}_1(p~i), and it concludes local constancy of the isomorphism type of the nilpotent group. This is a necessary condition, but it is not sufficient for an affine structure group: one must construct the bundle transition functions and prove that they act by affine automorphisms of the model infranil-manifold. In the smooth setting this is obtained via the implicit function theorem and nondegeneracy of the differential of a smooth GHA map, as in [9,35]. In the RCD setting the present paper only produces bi-Hölder local trivializations (Lemma 6.6, Theorem 3.5), and no affine compatibility is established. The sentence "by a connectedness argument ... the structure group is affine" is therefore an unsupported leap. Since "affine structure group" is an explicit claim of Theorem B, this point needs either a complete proof or removal of the affine claim from the statement.
[Section 3, proof of Theorem 3.3] The construction of the local maps h_j is asserted rather than proved. The text says: "Take a smaller radius if necessary, we can construct a Phi-GHA h_j ... such that exp^{-1}_{p_j} o h_j is a harmonic (k,Phi)-splitting map." No proof or precise reference is given for the existence of such harmonic almost-splitting maps on RCD spaces with the required Hessian bound. This is a load-bearing point because the averaging argument in Theorem 3.3, and therefore Theorem B and Theorem 1.9(b), depends on it. Remark 3.4 invokes [22], but the embedding argument must be stated with exact hypotheses and estimates, or a direct construction must be supplied.

minor comments (5)

[Throughout] There are numerous typos, including "ﬁberation", "ﬁbraion", "biHöder", and repeated occurrences of "epsilon_i -> 0 as i -> 0" where i -> infinity is meant. These should be corrected.
[Section 4, Lemma 4.6] In the proof of Lemma 4.6, the notation is inconsistent: a linear map is called psi_i, but then the coordinate map is written phi(x_1,...,x_N), and phi had already been used for the Malcev-coordinate diffeomorphism in Theorem 2.30. Please use distinct names.
[Section 6.4, Lemma 6.4] In the proof of Lemma 6.4, the text says "since Gi/G′_i converges to the trivial group"; this appears to be a typo for the finite quotient G′_i/G_i, which is uniformly bounded but not itself converging to the trivial group.
[Theorem 2.7] The statement says the space is RCD(-epsilon^2(N-1), N-1), but the splitting map is into R^N and the surrounding discussion concerns N-dimensional spaces; the dimension in the curvature bound appears to be a typo.
[Theorem B and Section 6] The notion of an "affine structure group" for a bundle whose fibers are only known to be homeomorphic to infranil-manifolds is never defined. Since the total space is only bi-Hölder, the meaning of "affine" in the RCD setting needs to be clarified, independently of the missing proof flagged above.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the target theorems are not assumed as inputs and the cited support is independent prior work.

full rationale

The paper's derivation chain is not circular. Theorem A is proved by contradiction: the RCD assumptions are used to produce an equivariant Gromov-Hausdorff limit (R^N, G), and the infranil model Ni/G'_i is constructed from the limiting deck-transformation data, not assumed as the conclusion. No parameter is fitted to the target statement; the biHoelder estimate follows from the canonical Reifenberg method (Theorems 2.7 and 3.5) applied to almost splitting maps, with the explicit error function Phi(epsilon|N,v) coming from the stability theorems rather than from the desired conclusion. Theorem B obtains the fibration by running the Theorem A mechanism on the collapsing directions; the fiber model is built from nilprogressions generated by short deck transformations, and is not selected to match the theorem. The affine-structure-group assertion is supported by a local-independence argument for escape norms plus a citation to the gluing arguments in [9,35]; whether that argument is fully justified is a mathematical correctness concern, not a circularity, because the conclusion is not fed back into the hypotheses. Similarly, Lemma 4.2's assertion that the identity component G0 is transitive is a proof gap needing a detailed argument, not circularity: transitivity of G is an input from the quotient diagram, and freeness is derived from nilpotence and compact-isotropy considerations, not from the theorem being proved. The self-citations ([32], [40], [41], [42], [44]) are used as prior theorems with their own arguments; they do not contain the target results and are not invoked to forbid alternatives. No equation in the paper reduces by construction to another equation, and no fitted quantity is renamed as a prediction. The skeptical concerns about the affine structure group and about Lemma 4.2 are substantive proof-completeness issues, but they do not constitute circularity under the specified criteria.

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

No numbers are fitted and no new entities are introduced. The constants epsilon, N, v, C are inputs or universal constants. All geometric and group-theoretic inputs are imported from cited prior work; the contribution is the combination and the new theorems.

assumptions (7)

domain assumption Generalized Margulis lemma for RCD(K,N) spaces (Theorem 2.4, [14])
Provides the normal nilpotent subgroup G_i of bounded index in the fundamental group; the bounded index C(N) is essential for the infranil and affine conclusions.
domain assumption Structure theorem for approximate groups and nilprogressions (Theorems 2.23 and 2.27, [3,44])
Converts near-identity deck transformations into generating sets of lattices in simply connected nilpotent Lie groups; this is the algebraic engine of Theorem A and Theorem B.
domain assumption Precompactness of relative covers of RCD spaces (Theorem 2.9, [43])
Ensures equivariant compactness of local universal covers, used for the blow-up diagrams in Theorems A, B and 1.9.
domain assumption Canonical Reifenberg method and transformation theorem (Theorems 2.6 and 2.7, [12,22])
Upgrades almost splitting maps to biHolder homeomorphisms; supplies the regularity estimates used in all main theorems.
domain assumption Rigidity of almost crystallographic groups (Lee-Raymond, [30])
Identifies finite extensions of nilpotent lattices with subgroups of N_i ⋊ Aut(N_i); this is what makes quotients infranil-manifolds and underlies the affine structure group in Theorem B.
domain assumption RCD universal cover and semi-local simple connectivity ([31,41,42])
Guarantees that the universal cover exists as an RCD space and that the fundamental group is the deck transformation group.
domain assumption RCD+CBA structure theorem ([27])
Used only in Theorem 1.7 to know that an RCD+CBA space with no boundary is a manifold with C1 metric and to apply strainer maps.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the non-collapsed RCD spaces with local bounded covering geometry." pith.science (2026). https://pith.science/paper/XO5CWAPY

@misc{pith2026241206131,
  author       = {Pith},
  title        = {Pith review of: On the non-collapsed RCD spaces with local bounded covering geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XO5CWAPY}},
  note         = {Machine review of arXiv:2412.06131}
}

abstract

We consider a RCD$(-(N-1),N)$ space $(X,d,\mathcal{H}^N)$ with local bounded covering geometry. The first result is related to Gromov's almost flat manifold theorem. Specifically, if for every point $\tilde{p}$ in the universal cover $\widetilde{X}$, we have $\mathcal{H}^N(B_1(\tilde{p})) \ge v > 0$ and the diameter of $X$ is sufficiently small, then $X$ is biH\"{o}lder homeomorphic to an infranil-manifold. Moreover, if $X$ is a smooth Riemannian $N$-manifold with $\mathrm{Ric} \ge -(N-1)$, then $X$ is biH\"{o}lder diffeomorphic to an infranil-manifold. An application of our argument is to confirm the conjecture that Gromov's almost flat manifold theorem holds in the $\mathrm{RCD}+\mathrm{CBA}$ setting. The second result concerns a regular fibration theorem. Let $(X_i,d_i,\mathcal{H}^N)$ be a sequence of RCD$(-(N-1),N)$ spaces converging to a compact smooth $k$-dimensional manifold $K$ in the Gromov-Hausdorff sense. Assume that for any $p_i \in X_i$, the local universal cover is non-collapsing, i.e., for any pre-image point $\tilde{p}_i$ of $p_i$ in the universal cover of the ball $B_3(p_i)$, we have $\mathcal{H}^N(B_{1}(\tilde{p}_i)) \ge v$ for some fixed $v>0$. Then for sufficiently large $i$, there exists a fibration map $f_i:X_i \to K$, where the fiber is an infra-nilmanifold and the structure group is affine.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 39 canonical work pages

[22]

Honda and Y

S. Honda and Y. Peng. A note on the topological stability theorem from spaces to Riemannian manifolds. Manuscripta Math. 172 (2023), no.3-4, 971-1007. , 2023

work page 2023
[1]

Ambrosio and S

L. Ambrosio and S. Honda. Local spectral convergence in R CD∗(K,N) spaces. Nonlinear Anal. 177 (2018), 1–23. , 2018

work page 2018
[2]

Anderson

Michael T. Anderson. Hausdorﬀ perturbations of Ricci-ﬂ at manifolds and the splitting theo- rem. Duke Mathematical Journal , 68(1):67 – 82, 1992

work page 1992
[3]

The structure of approxi mate groups

E Breuillard, B Green, and T Tao. The structure of approxi mate groups. Publ. Math. Inst. Hautes Etudes Sci. , 116:115–221, 2012

work page 2012
[4]

E. Brue, A. Naber, and D. Semola. Boundary regularity and stability for spaces with Ricci bounded below. Invent. Math. 228 (2022) no. 2, 777–891 , 2022

work page 2022
[5]

Brue and D

E. Brue and D. Semola. Constancy of the dimension in codim ension one and locality of the unitnormal on RCD(K,N) spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 24 (2023), no.3, 1765-1816., 2023

work page 2023
[6]

Gromovs almost ﬂat manifolds

Peter Buser and Hermann Karcher. Gromovs almost ﬂat manifolds . Société mathématique de France, 1981

work page 1981
[7]

Jeﬀ Cheeger and Tobias H. Colding. On the structure of spa ces with Ricci curvature bounded below. i. J. Diﬀerential Geom. , 46(3):406–480, 1997

work page 1997

Show all 46 references

[8]

Jeﬀ Cheeger and Tobias H. Colding. On the structure of spa ces with Ricci curvature bounded below. ii. J. Diﬀerential Geom. , 54(1):13–35, 2000

2000
[9]

Nilpoten t structures and invariant metrics on collapsed manifolds

Jeﬀ Cheeger, Kenji Fukaya, and Mikhael Gromov. Nilpoten t structures and invariant metrics on collapsed manifolds. Journal of the American Mathematical Society , 5(2):327–372, 1992

1992
[10]

Collapsing Riemannian manifolds while keeping their curvature bounded

Jeﬀ Cheeger and Mikhael Gromov. Collapsing Riemannian manifolds while keeping their curvature bounded. I. Journal of Diﬀerential Geometry , 23(3):309–346, 1986

1986
[11]

Collapsing Riemannian manifolds while keeping their curvature bounded

Jeﬀ Cheeger and Mikhael Gromov. Collapsing Riemannian manifolds while keeping their curvature bounded. II. Journal of Diﬀerential Geometry , 32(1):269– 298, 1990

1990
[12]

Rectiﬁab ility of singular sets of noncollapsed limit spaces with Ricci curvature bounded below

Jeﬀ Cheeger, W enshuai Jiang, and Aaron Naber. Rectiﬁab ility of singular sets of noncollapsed limit spaces with Ricci curvature bounded below. Annals of Mathematics , 193(2):407–538, 2021

2021
[13]

Regularity of Einstein man ifolds and the codimension 4 conjecture

Jeﬀ Cheeger and Aaron Naber. Regularity of Einstein man ifolds and the codimension 4 conjecture. Ann. of Math. , 182(3):1093–1165, 2015

2015
[14]

Q. Deng, J. Santos-Rodríguez, S. Zamora, and X. Zhao. Ma rgulis Lemma on RCD (K, N) spaces. arXiv preprint , 2023

2023
[15]

Theory of convergence for riemannian orb ifolds

Kenji Fukaya. Theory of convergence for riemannian orb ifolds. Japan. J. Math. (N.S.) , 12(1):121–160, 1986

1986
[16]

Collapsing Riemannian manifolds to ones of lower dimensions

Kenji Fukaya. Collapsing Riemannian manifolds to ones of lower dimensions. Journal of Diﬀerential Geometry , 25(1):139–156, 1987

1987
[17]

A boundary of the set of the Riemannian man ifolds with bounded curvatures and diameters

Kenji Fukaya. A boundary of the set of the Riemannian man ifolds with bounded curvatures and diameters. Journal of Diﬀerential Geometry , 28(1):1–21, 1988

1988
[18]

Collapsing Riemannian manifolds to ones with lower dimension II

Kenji Fukaya. Collapsing Riemannian manifolds to ones with lower dimension II. Journal of the Mathematical Society of Japan , 41(2):333–356, 1989

1989
[19]

The fundamental grou ps of almost nonnegatively curved manifolds

Kenji Fukaya and Takao Yamaguchi. The fundamental grou ps of almost nonnegatively curved manifolds. Annals of Mathematics , 136(2):253–333, 1992

1992
[20]

Almost ﬂat manifolds

Mikhael Gromov. Almost ﬂat manifolds. J. Diﬀ. Geom. , 13(2):231–241, 1978

1978
[21]

On the isome try group of RCD ∗(K,N)-spaces

Luis Guijarro and Jaime Santos-Rodríguez. On the isome try group of RCD ∗(K,N)-spaces. manuscripta mathematica , 158:441–461, 2019

2019
[23]

Fibrations, and stability for compact g roup actions on manifolds with local bounded Ricci covering geometry

Hongzhi Huang. Fibrations, and stability for compact g roup actions on manifolds with local bounded Ricci covering geometry. Front. Math. China , 15(1):69–89, 2020. 37

2020
[24]

Collapsed manifolds with Ricci bounded covering geometry

Hongzhi Huang, Lingling Kong, Xiaochun Rong, and Shich eng Xu. Collapsed manifolds with Ricci bounded covering geometry. Transactions of the American Mathematical Soci- ety, 373(11):8039–8057, 2022

2022
[25]

Lower Ricc i curvature and nonexistence of manifold structure

Erik Hupp, Aaron Naber, and Kai-Hsiang W ang. Lower Ricc i curvature and nonexistence of manifold structure. arXiv:2308.03909, 2023

2023 arXiv
[26]

Mixed curvature almost ﬂat manifold s

Vitali Kapovitch. Mixed curvature almost ﬂat manifold s. Geom. Topol. 25 (2021) 2017-2059 , 2021

2021
[27]

On the structure of RCD spaces with upper curvature bounds

Vitali Kapovitch, Martin Kell, and Christian Ketterer . On the structure of RCD spaces with upper curvature bounds. Mathematische Zeitschrift, 2022, No 4, p. 3469-3502 , 2022

2022
[28]

Structure of fu ndamental groups of manifolds with Ricci curvature bounded below

Vitali Kapovitch and Burkhard Wilking. Structure of fu ndamental groups of manifolds with Ricci curvature bounded below. arXiv:1105.5955, 2011

2011 arXiv
[29]

A suﬃcient condition to a regular set of po sitive measure on RCD spaces

Yu Kitabeppu. A suﬃcient condition to a regular set of po sitive measure on RCD spaces. Potential Anal. 51 (2019), no. 2, 179–196. , 2019

2019
[30]

Lee and F

K.B. Lee and F. Raymond. Rigidity of almost crystallogr aphic groups. Combinatorial methods in topology and algebraic geometry (Rochester, N.Y., 1982) , Contemp. Math., vol. 44, Amer. Math. Soc., Providence, RI, 1985, pp. 73-78. ISBN:0-8218-5 039-3., 1985

1982
[31]

On the universal cover a nd the fundamental group of an RCD∗(K, N)-space

Andrea Mondino and Guofang W ei. On the universal cover a nd the fundamental group of an RCD∗(K, N)-space. J. Reine Angew. Math. , 2019(753):211–237, 2019

2019
[32]

Some topological results of Ricci limit spaces

Jiayin Pan and Jikang W ang. Some topological results of Ricci limit spaces. Transactions of the American Mathematical Society , 375(12):8445–8464, 2022

2022
[33]

De Philippis and N

G. De Philippis and N. Gigli. Non-collapsed spaces with Ricci curvature bounded from below. J.Ec. polytech. Math. 5 (2018), 613-650. , 2018

2018
[34]

A new proof of the Gromov’s theorem on alm ost ﬂat manifolds

Xiaochun Rong. A new proof of the Gromov’s theorem on alm ost ﬂat manifolds. arXiv:1906.03377v2, 2019

1906 arXiv
[35]

Collapsed manifolds with local ricci bo unded covering geometry

Xiaochun Rong. Collapsed manifolds with local ricci bo unded covering geometry. arXiv:2211.09998, 2022

2022 arXiv
[36]

Ernst A. Ruh. Almost ﬂat manifolds. J. Diﬀerential Geom. , 17(1):1–14, 1982

1982
[37]

On fundamen tal groups of RCD spaces

Jaime Santos-Rodriguez and Sergio Zamora. On fundamen tal groups of RCD spaces. Journal für die reine und angewandte Mathematik (Crelles Journal), v ol. 2023, no. 799, 2023, pp. 249-286., 2023

2023
[38]

Universal covers fo r Hausdorﬀ limits of noncompact spaces

Christina Sormani and Guofang W ei. Universal covers fo r Hausdorﬀ limits of noncompact spaces. Transactions of the American Mathematical Society , 356(3):1233–1270, 2004

2004
[39]

The isometry group of an RCD ∗ space is Lie

Gerardo Sosa. The isometry group of an RCD ∗ space is Lie. Potential Analysis , 49:267–286, 2018

2018
[40]

On the limit of simply connected manifolds with discrete isometric cocompact group actions

Jikang W ang. On the limit of simply connected manifolds with discrete isometric cocompact group actions. arXiv:2307.07658, 2023

2023 arXiv
[41]

RCD ∗(K,N) spaces are semi-locally simply connected

Jikang W ang. RCD ∗(K,N) spaces are semi-locally simply connected. Journal für die reine und angewandte Mathematik (Crelles Journal), vol. 2024, no. 806, 2024, pp. 1-7. , 2024

2024
[42]

Ricci limit spaces are semi-locally simpl y connected

Jikang W ang. Ricci limit spaces are semi-locally simpl y connected. Journal of Diﬀerential Geometry, J. Diﬀerential Geom. 128(3), 1301-1314, (Novemb er 2024) , 2024

2024
[43]

Precompactness of domains with lower Ricc i curvature bound under Gromov- Hausdorﬀ topology

Shicheng Xu. Precompactness of domains with lower Ricc i curvature bound under Gromov- Hausdorﬀ topology. arXiv:2311.05140, 2023

2023
[44]

Limits of almost homogeneous spaces and their fundamental groups

Sergio Zamora. Limits of almost homogeneous spaces and their fundamental groups. Groups Geom. Dyn. 18 (2024), no. 3, pp. 761–798 , 2024

2024
[45]

Topological rigidity of s mall RCD(K,N) spaces with maximal rank

Sergio Zamora and Xingyu Zhu. Topological rigidity of s mall RCD(K,N) spaces with maximal rank. arXiv:2406.10189, 2024

2024
[46]

Examples of Ricci limit spaces with inﬁ nite holes

Shengxuan Zhou. Examples of Ricci limit spaces with inﬁ nite holes. arXiv:2404.00619, 2024. (Jikang W ang) UC Berkeley, Berkeley, CA, US Email address : jikangwang1117@gmail.com

2024 arXiv

Pith tools

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

[1] [22]

Honda and Y

S. Honda and Y. Peng. A note on the topological stability theorem from spaces to Riemannian manifolds. Manuscripta Math. 172 (2023), no.3-4, 971-1007. , 2023

work page 2023

[2] [1]

Ambrosio and S

L. Ambrosio and S. Honda. Local spectral convergence in R CD∗(K,N) spaces. Nonlinear Anal. 177 (2018), 1–23. , 2018

work page 2018

[3] [2]

Anderson

Michael T. Anderson. Hausdorﬀ perturbations of Ricci-ﬂ at manifolds and the splitting theo- rem. Duke Mathematical Journal , 68(1):67 – 82, 1992

work page 1992

[4] [3]

The structure of approxi mate groups

E Breuillard, B Green, and T Tao. The structure of approxi mate groups. Publ. Math. Inst. Hautes Etudes Sci. , 116:115–221, 2012

work page 2012

[5] [4]

E. Brue, A. Naber, and D. Semola. Boundary regularity and stability for spaces with Ricci bounded below. Invent. Math. 228 (2022) no. 2, 777–891 , 2022

work page 2022

[6] [5]

Brue and D

E. Brue and D. Semola. Constancy of the dimension in codim ension one and locality of the unitnormal on RCD(K,N) spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 24 (2023), no.3, 1765-1816., 2023

work page 2023

[7] [6]

Gromovs almost ﬂat manifolds

Peter Buser and Hermann Karcher. Gromovs almost ﬂat manifolds . Société mathématique de France, 1981

work page 1981

[8] [7]

Jeﬀ Cheeger and Tobias H. Colding. On the structure of spa ces with Ricci curvature bounded below. i. J. Diﬀerential Geom. , 46(3):406–480, 1997

work page 1997