Regularity and structure of spaces with synthetic Ricci bounds and positive injectivity radius

Abstract: In the paper, we develop a structure theory for metric measure spaces with synthetic lower Ricci curvature bounds, known as RCD spaces. Under a positive injectivity-radius assumption, we recover a smooth differential structure and prove a regularity result: such spaces are $$W^{{1,p}_{\mathrm{loc}}\cap} C<sup>{0,α}_{\mathrm{loc}}$$-Riemannian manifolds whose weight functions also belong to $$W^{{1,p}_{\mathrm{loc}}\cap} C<sup>{0,α}_{\mathrm{loc}}$$, in both distance and harmonic charts for all $p&lt;\infty$ and $α\in (0,1)$. We also establish a quantitative lower bound for the harmonic radius, together with compactness theorems and quantitative geometric bounds. As a byproduct, we develop a comprehensive elliptic regularity theory in this setting. These results apply, in particular, to smooth weighted Riemannian manifolds and to RCD spaces satisfying a synthetic curvature upper bound, or CBA condition. Even in these settings, the resulting regularity statements are new. In the latter case, both the Riemannian metric and the weight function are shown to be locally Lipschitz. As further applications, we establish fibration theorems and use metric smoothing to confirm, in a synthetic framework, a conjecture of V. Kapovitch concerning almost flat manifolds with mixed curvature bounds.

• The paper proves that an RCD(K,N) space with essential dimension n and locally positive injectivity radius is a smooth n-manifold whose metric and measure density lie in W^{1,p}_{loc} ∩ C^{0,α}_{loc} for all finite p and α<1.
• The authors connect synthetic calculus with classical elliptic theory through chart-based Laplacian formulas, obtaining harmonic-radius bounds, local elliptic estimates, and global Calderón–Zygmund inequalities under uniform injectivity-radius control.
• The paper establishes fibration and smoothing theorems for collapsing spaces with bounded covering geometry, showing that sufficiently small spaces are infranilmanifolds and confirming a synthetic version of Kapovitch’s almost-flat conjecture.

Overview

This paper by Shouhei Honda and Ruobing Zhang develops a structure theory for $\RCD(K,N)$ spaces under a purely metric hypothesis: positivity of the injectivity radius. The central result is that an $\RCD(K,N)$ space of essential dimension $n$ whose injectivity radius is locally uniformly positive is, in fact, a smooth $n$-manifold whose canonical Riemannian metric and measure density belong to $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$ for every finite $p$ and every $\alpha\in(0,1)$, in both distance and harmonic charts (2608.16021). No non-collapsing assumption is imposed, which distinguishes the setting from the Reifenberg-flatness theory of non-collapsed spaces due to De Philippis–Gigli and Kapovitch–Mondino.

The significance of the hypothesis being purely metric should be emphasized: it involves no differentiability or manifold structure a priori, yet it forces the recovery of the full differential-geometric apparatus — coordinate systems, metric regularity, elliptic PDE theory, and quantitative estimates — simultaneously.

The main regularity theorem

The first main theorem answers three questions posed in the introduction: when does a point admit a topological manifold neighborhood (Q1), a bi-Lipschitz chart (Q2), and a chart of sufficient regularity to support elliptic regularity theory (Q3). For general Ricci limit spaces all three fail: Honda–Naber–Wei constructed four-dimensional Ricci limit spaces with no topological manifold points, and Zhou gave three-dimensional examples. Moreover, building on De Philippis–Zimbro and the Otsu–Shioya example, Honda–Sire showed that bi-Lipschitz harmonic charts cannot in general be chosen with better regularity on non-collapsed RCD spaces.

Under $\Injrad(A)>0$ for every compact $A$, the paper proves:

1. Manifold structure: $X$ is a smooth $\RCD(K,N)$0-manifold; $\RCD(K,N)$1 and the density of $\RCD(K,N)$2 with respect to $\RCD(K,N)$3 are both $\RCD(K,N)$4 for all $\RCD(K,N)$5, $\RCD(K,N)$6, in distance and harmonic charts.
2. Compactness: the class of compact $\RCD(K,N)$7 spaces with $\RCD(K,N)$8, $\RCD(K,N)$9, and unit mass is $n$0-compact; consequently there are at most finitely many diffeomorphism types, bounded by a constant depending only on $n$1.

The authors stress that these statements are new even for smooth weighted Riemannian manifolds, where the regularity of the metric and that of the weight are coupled and must be established simultaneously. Previously only $n$2-regularity was known for Alexandrov spaces (Berestovskii; Otsu–Shioya).

A key technical ingredient is the Laplacian formula on a chart: if $n$3 is a bi-Lipschitz chart with $n$4 and $n$5, then

$n$6

with the first-order term vanishing for harmonic charts. This bridges synthetic calculus and classical elliptic theory, yielding $n$7 and $n$8 estimates via the Chiarenza–Frasca–Longo machinery, and the equivalence $n$9 for $n$0. A global $n$1 Calderón–Zygmund inequality holds for all $n$2 under uniform positive injectivity radius — a notable contrast with the failure of $n$3 for $n$4 on general Alexandrov spaces, as demonstrated by the Otsu–Shioya example.

The mechanism also yields quantitative lower bounds for the harmonic radius, giving a new proof of the Anderson–Cheeger estimate even in the smooth unweighted setting, where the original argument relied on a priori smoothness.

Mixed curvature bounds

For $n$5 spaces whose metric structure satisfies a synthetic upper curvature bound $n$6 without boundary, the paper proves a substantial upgrade over the $n$7 Riemannian structure established by Kapovitch–Kell–Ketterer: both $n$8 and the density of $n$9 are locally Lipschitz in distance charts. The proof combines the $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$0-concavity of the volume density from KKK, the weighted Laplacian formula $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$1, and the Hessian lower bound implied by the $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$2 condition to obtain $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$3. An analogous Lipschitz regularity result is obtained for Alexandrov spaces.

The injectivity-radius assumption is genuinely necessary: the metric cone over a sufficiently small circle is a non-collapsed $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$4 space satisfying the Bochner identity but not smooth, showing that Bochner rigidity fails without it. On the positive side, the paper proves that local positive injectivity radius together with the Bochner identity is equivalent to being a smooth (not necessarily complete) Ricci soliton.

Collapsing structure and fibration theorems

Introducing $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$5-bounded covering geometry ($W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$6-BCG), meaning $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$7 on the universal cover, the paper proves two fibration theorems. If compact $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$8 spaces with $W^{1,p}_{\loc}\cap C^{0,\alpha}_{\loc}$9-BCG converge in measured Gromov–Hausdorff topology to a compact limit, then for large indices there exist fibrations onto the limit whose fibers are infranilmanifolds; if the limit is smooth, the fibration is a smooth fiber bundle map. Consequently, any compact $p$0 space with diameter below an explicit threshold $p$1 and $p$2-BCG is diffeomorphic to an infranilmanifold. A parallel statement holds under mixed curvature bounds, where BCG need not hold globally but a globalization argument via pseudo-covering maps supplies uniform covering regularity scales.

These results rest on a quantitative estimate for the covering regularity scale and on metric smoothing: the regularity theory permits adapting the embedding-based smoothing of Pan–Wang–Zhu to the RCD setting, producing smooth metrics $p$3 with $p$4 and uniformly bounded curvature derivatives. Ricci-flow smoothing via Simon's theorem is also available.

As an application, the paper confirms, via smoothing, Kapovitch's conjecture generalizing Gromov's almost flat manifold theorem: for each $p$5 there exists $p$6 such that any boundaryless $p$7 space of diameter at most $p$8 is diffeomorphic to an infranilmanifold of dimension at most $p$9. The proof reduces the smoothed curvature bound below Gromov's almost-flat threshold. An independent proof not using smoothing has been announced elsewhere.

Supporting technical results

Several results of independent interest are established along the way. These include continuity of Hausdorff measures under pmGH convergence for collapsed RCD spaces satisfying equi-local Ahlfors regularity, generalizing De Philippis–Gigli; stability of density functions in $\alpha\in(0,1)$0; a characterization of regular points through non-degeneracy of splitting maps; a canonical Reifenberg theorem giving bi-Hölder charts from quantitative Laplacian control; and upper and lower semicontinuity properties of harmonic radii under pmGH convergence, with lower semicontinuity requiring a stronger $\alpha\in(0,1)$1-strong harmonic convergence assumption. The appendix also proves compactness of $\alpha\in(0,1)$2-harmonic charts along convergent sequences.

Limitations and open questions

The paper is explicit about several boundaries of its results. The injectivity-radius hypothesis cannot be dropped, as the cone examples and the Colding–Naber example (where angles between geodesics fail to be well-defined at a regular point) demonstrate. The fibration and smoothing results are stated under global BCG; the authors note that extension to locally bounded covering geometry (LBCG) is known for smooth sequences but remains open in the non-smooth framework. Lower semicontinuity of harmonic radii requires the strengthened $\alpha\in(0,1)$3-strong harmonic convergence rather than pmGH convergence alone. Finally, whether the Cheeger–Colding conjecture that every regular point of a non-collapsed space admits a bi-Lipschitz chart extends beyond the injectivity-radius regime remains untouched here.

Conclusion

The paper identifies positive injectivity radius as a purely metric condition that upgrades the infinitesimal and measure-theoretic structure theory of RCD spaces to genuine manifold structure with quantitative $\alpha\in(0,1)$4 regularity of both metric and weight. Its Laplacian formula on charts provides a systematic bridge between synthetic differential calculus and classical elliptic regularity, and its applications — Calderón–Zygmund inequalities, fibration theorems for collapsing sequences, metric and Ricci-flow smoothing, and the confirmation of Kapovitch's almost-flat conjecture in the synthetic category — establish a comprehensive analytic and structural toolkit for this class of spaces.