The goal of the paper is to set the foundations and prove some topological results about moduli spaces of non-smooth metric measure structures with non-negative Ricci curvature in a synthetic sense (via optimal transport) on a compact topological space; more precisely, we study moduli spaces of RCD(0,N)-structures. First, we relate the convergence of RCD(0,N)-structures on a space to the associated lifts' equivariant convergence on the universal cover. Then we construct the Albanese and soul maps, which reflect how structures on the universal cover split, and we prove their continuity. Finally, we construct examples of moduli spaces of RCD(0,N)-structures that have non-trivial rational homotopy groups.
We show characterizations of non-collapsed compact $RCD(K, N)$ spaces, which in particular confirm a conjecture of De Philippis-Gigli on the implication from the weakly non-collapsed condition to the non-collapsed one in the compact case. The key idea is to give the explicit formula of the Laplacian associated to the pull-back Riemannian metric by embedding in $L^2$ via the heat kernel. This seems the first application of geometric flow to the study of RCD spaces.
The volume entropy of a compact metric measure space is known to be the exponential growth rate of the measure lifted to its universal cover at infinity. For a compact Riemannian $n$-manifold with a negative lower Ricci curvature bound and a upper diameter bound, it was known that it admits an almost maximal volume entropy if and only if it is diffeomorphic and Gromov-Hausdorff close to a hyperbolic space form. We prove the quantitative rigidity of almost maximal volume entropy for $\operatorname{RCD}$-spaces with a negative lower Ricci curvature bound and Riemannian manifolds with a negative …
We prove that if an RCD space has a regular isometric immersion in a Euclidean space, then the immersion is a locally bi-Lipschitz embedding map. This result leads us to prove that if a compact non-collapsed RCD space has an isometric immersion in a Euclidean space via an eigenmap, then the eigenmap is a locally bi-Lipschitz embedding map to a sphere, which generalizes a fundamental theorem of Takahashi in submanifold theory to a non-smooth setting. Applications of these results include a topological sphere theorem and topological finiteness theorems, which are new even for closed Riemannian m…
Since non-compact RCD(0, N) spaces have at least linear volume growth, we study noncompact RCD(0, N) spaces with linear volume growth in this paper. One of the main results is that the diameter of level sets of a Busemann function grow at most linearly on a noncompact RCD(0, N) space satisfying the linear volume growth condition. Another main result in this paper is a splitting theorem at the noncompact end for a RCD(0, N) space with strongly minimal volume growth. These results generalize some theorems on noncompact manifolds with nonnegative Ricci curvature to non-smooth settings.
Ambrosio, Honda, and Tewodrose proved that the regular Weyl's law is equivalent to a mild condition related to the infinitesimal behavior of the measure of balls in compact finite dimensional RCD spaces. Though that condition is seemed to always hold for any such spaces, however, Dai, Honda, Pan, and Wei recently show that for any integer n at least 2, there exists a compact RCD space of n dimension fails to satisfy the regular Weyl's law. In this short article we prove that one dimensional RCD spaces always satisfy the regular Weyl's law.
We prove an upper bound on the rank of the abelianised revised fundamental group (called "revised first Betti number") of a compact $RCD^{*}(K,N)$ space, in the same spirit of the celebrated Gromov-Gallot upper bound on the first Betti number for a smooth compact Riemannian manifold with Ricci curvature bounded below. When the synthetic lower Ricci bound is close enough to (negative) zero and the aforementioned upper bound on the revised first Betti number is saturated (i.e. equal to the integer part of $N$, denoted by $\lfloor N \rfloor$), then we establish a torus stability result stating th…
For $n$-dimensional Riemannian manifolds $M$ with Ricci curvature bounded below by $-(n-1)$, the volume entropy is bounded above by $n-1$. If $M$ is compact, it is known that the equality holds if and only if $M$ is hyperbolic. We extend this result to $\mathsf{RCD}^{\ast}(-(N-1),N)$ spaces. While the upper bound is straightforward, the rigidity case is quite involved due to the lack of a smooth structure in $\mathsf{RCD}^{\ast}$ spaces. As an application we obtain an almost rigidity result which partially recovers a result by Cheng-Rong-Xu for Riemannian manifolds.
In this paper we study the family of embeddings $Φ_t$ of a compact $RCD^*(K,N)$ space $(X,d,m)$ into $L^2(X,m)$ via eigenmaps. Extending part of the classical results by Bérard, Bérard-Besson-Gallot, known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics $Φ_t^*g_{L^2}$ in $L^2(X,m)$ induced by $Φ_t$. Moreover we discuss the behavior of $Φ_t^*g_{L^2}$ with respect to measured Gromov-Hausdorff convergence and $t$. Applications include the quantitative $L^p$-convergence in the noncollapsed setting for all $p<\infty$, a result new even for …
Given a metric measure space $(X,d,\mathfrak{m})$ that satisfies the Riemannian Curvature Dimension condition, $RCD^*(K,N),$ and a compact subgroup of isometries $G \leq Iso(X)$ we prove that there exists a $G-$invariant measure, $\mathfrak{m}_G,$ equivalent to $\mathfrak{m}$ such that $(X,d,\mathfrak{m}_G)$ is still a $RCD^*(K,N)$ space. We also obtain some applications to Lie group actions on $RCD^*(K,N)$ spaces. We look at homogeneous spaces, symmetric spaces and obtain dimensional gaps for closed subgroups of isometries.
In this paper, we generalize the finite generation result of Sormani to non-branching $RCD(0,N)$ geodesic spaces (and in particular, Alexandrov spaces) with full support measures. This is a special case of the Milnor's Conjecture for complete non-compact $RCD(0,N)$ spaces. One of the key tools we use is the Abresch-Gromoll type excess estimates for non-smooth spaces obtained by Gigli-Mosconii.
Let $(M,g)$ be a smooth Riemannian manifold and $\mathsf{G}$ a compact Lie group acting on $M$ effectively and by isometries. It is well known that a lower bound of the sectional curvature of $(M,g)$ is again a bound for the curvature of the quotient space, which is an Alexandrov space of curvature bounded below. Moreover, the analogous stability property holds for metric foliations and submersions. The goal of the paper is to prove the corresponding stability properties for synthetic Ricci curvature lower bounds. Specifically, we show that such stability holds for quotients of $\mathsf{RCD}^{…
The aim of this note is to provide regularity results for Regular Lagrangian flows of Sobolev vector fields over compact metric measure spaces verifying the Riemannian curvature dimension condition. We first prove, borrowing some ideas already present in the literature, that flows generated by vector fields with bounded symmetric derivative are Lipschitz, providing the natural extension of the standard Cauchy-Lipschitz theorem to this setting. Then we prove a Lusin-type regularity result in the Sobolev case (under the additional assumption that the m.m.s. is Ahlfors regular) therefore extendin…
We prove higher summability and regularity of Γ(f) for functions f in spaces satisfying the Bakry-Émery condition BE(K,\infty). As a byproduct, we obtain various equivalent weak formulations of BE(K,N) and we prove the Local-to-Global property of the RCD*(K,N) condition in locally compact metric measure spaces (X,d,m), without assuming a priori the non-branching condition on the metric space.
We prove that if $M$ is a closed $n$-dimensional Riemannian manifold, $n \ge 3$, with ${\rm Ric}\ge n-1$ and for which the optimal constant in the critical Sobolev inequality equals the one of the $n$-dimensional sphere $\mathbb{S}^n$, then $M$ is isometric to $\mathbb{S}^n$. An almost-rigidity result is also established, saying that if equality is almost achieved, then $M$ is close in the measure Gromov-Hausdorff sense to a spherical suspension. These statements are obtained in the ${\rm RCD}$-setting of (possibly non-smooth) metric measure spaces satisfying synthetic lower Ricci curvature bo…
Aim of this paper is to discuss convergence of pointed metric measure spaces in absence of any compactness condition. We propose various definitions, show that all of them are equivalent and that for doubling spaces these are also equivalent to the well known measured-Gromov-Hausdorff convergence. Then we show that the curvature conditions $CD(K,\infty)$ and $RCD(K,\infty)$ are stable under this notion of convergence and that the heat flow passes to the limit as well, both in the Wasserstein and in the $L^2$-framework. We also prove the variational convergence of Cheeger energies in the natura…
