We prove that any weakly non-collapsed RCD space is actually non-collapsed, up to a renormalization of the measure. This confirms a conjecture raised by De Philippis and the second named author in full generality.
One of the auxiliary results of independent interest that we obtain is about the link between the properties
$\quad$- $\mathrm{tr}(\mathrm{Hess}f)=Δf$ on $U\subset\mathsf{X}$ for every $f$ sufficiently regular, $\quad$- $\mathfrak{m}=c\mathscr{H}^n$ on $U\subset\mathsf{X}$ for some $c>0$,
where $U\subset \mathsf{X}$ is open and $\mathsf{X}$ is a - possibly collapsed - RCD space of essential dimension $n$.
In this short note we provide several conjectures on the regularity of measured Gromov-Hausdorff limit spaces of Riemannian manifolds with Ricci curvature bounded below, from the point of view of the synthetic treatment of lower bounds on Ricci curvature for metric measure spaces.
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.
We provide a general theory for parallel transport on non-collapsed ${\sf RCD}$ spaces obtaining both existence and uniqueness results. Our theory covers the case of geodesics and, more generally, of curves obtained via the flow of sufficiently regular time dependent vector fields: the price that we pay for this generality is that we cannot study parallel transport along a single such curve, but only along almost all of these (in a sense related to the notions of Sobolev vector calculus and Regular Lagrangian Flow in the nonsmooth setting). The class of ${\sf ncRCD}$ spaces contains finite dim…
We establish topological regularity and stability of N-dimensional RCD(K,N) spaces (up to a small singular set), also called non-collapsed RCD(K,N) in the literature. We also introduce the notion of a boundary of such spaces and study its properties, including its behavior under Gromov-Hausdorff convergence.
We show that if a $CD(K,n)$ space $(X,d,f\mathcal{H}^n)$ with $n\geq 2$ has curvature bounded from above by $κ$ in the sense of Alexandrov then $f=const$.
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…
We consider weakly and strongly asymptotically mean value harmonic (amv-harmonic) functions on subriemannian and RCD settings. We demonstrate that, in non-collapsed RCD-spaces with vanishing metric measure boundary, Cheeger harmonic functions are weakly amv-harmonic and that, in Carnot groups, weak amv-harmonicity equivalently characterizes harmonicity in the sense of the sub-Laplacian. In homogeneous Carnot groups of step $2$, we prove a Blaschke-Privaloff-Zaremba type theorem. Similar results are discussed in the settings of Riemannian manifolds and for Alexandrov surfaces.
We prove that a compact $RCD^*(0,N)$ (or equivalently $RCD(0,N)$) metric measure space, $\left(X, d, m \right)$, with $\diam X \le d$ and its first (nonzero) eigenvalue of the Laplacian (in the sense of Ambrosio-Gigli-Savaré) , $λ_1 = \frac{π^2}{d^2}$, has to be a circle or a line segment with diameter, $π$. This completely characterizes the equality in Zhong-Yang type sharp spectral gap estimates in the metric measure setting with Riemannian lower Ricci bounds. Among such spaces, are the familiar Riemannian manifolds with $\Ric \ge 0$, $(0,N)-$ Bakry-Émery manifolds, $(0,n)-$ Ricci limit spac…
