We study here limit spaces $(M_α,g_α,p_α)\stackrel{GH}{\rightarrow} (Y,d_Y,p)$, where the $M_α$ have a lower Ricci curvature bound and are volume noncollapsed. Such limits $Y$ may be quite singular, however it is known that there is a subset of full measure $\cR(Y)\subseteq Y$, called {\it regular} points, along with coverings by the almost regular points $\cap_ε\cup_r\cR_{ε,r}(Y)=\cR(Y)$ such that each of the {\it Reifenberg sets} $\cR_{ε,r}(Y)$ is bi-Hölder homeomorphic to a manifold. It has been an ongoing question as to the bi-Lipschitz regularity the Reifenberg sets. Our results have two parts in this paper. First we show that each of the sets $\cR_{ε,r}(Y)$ are bi-Lipschitz embeddable into Euclidean space. Conversely, we show the bi-Lipschitz nature of the embedding is sharp. In fact, we construct a limit space $Y$ which is even uniformly Reifenberg, that is, not only is each tangent cone of $Y$ isometric to $\RR^n$ but convergence to the tangent cones is at a uniform rate in $Y$, such that there exists no $C^{1,β}$ embeddings of $Y$ into Euclidean space for any $β>0$. Further, despite the strong tangential regularity of $Y$, there exists a point $y\in Y$ such that every pair of minimizing geodesics beginning at $y$ branches to any order at $y$. More specifically, given {\it any} two unit speed minimizing geodesics $γ_1$, $γ_2$ beginning at $y$ and {\it any} $0\leq θ\leq π$, there exists a sequence $t_i\to 0$ such that the angle $\angle γ_1(t_i)yγ_2(t_i)$ converges to $θ$.
It is known that a closed collapsed Riemannian $n$-manifold $(M,g)$ of bounded Ricci curvature and Reifenberg local covering geometry admits a nilpotent structure in the sense of Cheeger-Fukaya-Gromov with respect to a smoothed metric $g(t)$. We prove that a canonical nilpotent structure over a regular limit space that describes the collapsing of original metric $g$ can be defined and uniquely determined up to a conjugation, and prove that the nilpotent structures arising from nearby metrics $g_ε$ with respect to $g_ε$'s sectional curvature bound are equivalent to the canonical one.
We study collapsed manifolds with Ricci bounded covering geometry i.e., Ricci curvature is bounded below and the Riemannian universal cover is non-collapsed or consists of uniform Reifenberg points. Via Ricci flows' techniques, we partially extend the nilpotent structural results of Cheeger-Fukaya-Gromov, on collapsed manifolds with (sectional curvature) local bounded covering geometry, to manifolds with (global) Ricci boundedcovering geometry.
We study the existence and uniqueness of smooth mean curvature flow, in arbitrary dimension and co-dimension, emanating from so called $k$-dimensional $(\varepsilon,R)$ Reifenberg flat sets in $\mathbb{R}^n$. Our results generalize the ones from a previous paper by the author, in which the co-dimension one case (i.e. $k=n-1$) was studied. For $\varepsilon$ fixed, this class is general enough to include (i) all $C^2$ sub-manifolds (ii) all Lipschitz sub-manifolds with Lipschitz constant less than $\varepsilon$ (iii) some sets with Hausdorff dimension larger than $k$. The Reifenberg condition, r…
We prove a Lipschitz-Volume rigidity theorem for the non-collapsed Gromov-Hausdorff limits of manifolds with Ricci curvature bounded from below. This is a counterpart of the Lipschitz-Volume rigidity in Alexandrov geometry.
We show that the isoperimetric profile $h_{g(t)}(ξ)$ of a compact Riemannian manifold $(M,g)$ is jointly continuous when metrics $g(t)$ vary continuously. We also show that, when $M$ is a compact surface and $g(t)$ evolves under normalized Ricci flow, $h^2_{g(t)}(ξ)$ is uniform Lipschitz continuous and hence $h_{g(t)}(ξ)$ is uniform locally Lipschitz continuous.
We give a definition of convergence of differential of Lipschitz functions with respect to measured Gromov-Hausdorff topology. As their applications, we give a characterization of harmonic functions with polynomial growth on asymptotic cones of manifolds with nonnegative Ricci curvature and Euclidean volume growth, and distributional Laplacian comparison theorem on limit spaces of Riemannian manifolds.
Given any $d$-dimensional Lipschitz Riemannian manifold $(M,g)$ with heat kernel $\mathsf{p}$, we establish uniform upper bounds on $\mathsf{p}$ which can always be decoupled in space and time. More precisely, we prove the existence of a constant $C>0$ and a bounded Lipschitz function $R\colon M \to (0,\infty)$ such that for every $x\in M$ and every $t>0$, \begin{align*} \sup_{y\in M} \mathsf{p}(t,x,y) \leq C\min\{t, R^2(x)\}^{-d/2}. \end{align*} This allows us to identify suitable weighted Lebesgue spaces w.r.t. the given volume measure as subsets of the Kato class induced by $(M,g)$. In the …
Inspired by a recent work of Wang-Zhao, in this note we prove that for a fixed $n$-dimensional closed Riemannian manifold $(M^n, g)$, if an $\mathrm{RCD}(K, n)$ space $(X, \mathsf{d}, \mathfrak{m})$ is Gromov-Hausdorff close to $M^n$, then there exists a regular homeomorphism $F$ from $X$ to $M^n$ such that $F$ is Lipschitz continuous and that $F^{-1}$ is Hölder continuous, where the Lipschitz constant of $F$, the Hölder exponent and the Hölder constant of $F^{-1}$ can be chosen arbitrary close to $1$. This is sharp in the sense that in general such a map cannot be improved to being bi-Lipschi…
Motivated by the Lipschitz rigidity problem in scalar curvature geometry, we prove that if a closed smooth spin manifold admits a distance decreasing continuous map of non-zero degree to a sphere, then either the scalar curvature is strictly less than the sphere somewhere or the map is a distance isometry. Moreover, the property also holds for continuous metrics with scalar curvature lower bound in some weak sense. This extends a result in the recent work of Cecchini-Hanke-Schick and answers a question of Gromov. The method is based on studying the harmonic map heat flow coupled with the Ricci…
We prove a new kind of estimate that holds on any manifold with lower Ricci bounds. It relates the geometry of two small balls with the same radius, potentially far apart, but centered in the interior of a common minimizing geodesic. It reveals new, previously unknown, properties that all generalized spaces with a lower Ricci curvature bound must have and it has a number of applications. This new kind of estimate asserts that the geometry of small balls along any minimizing geodesic changes in a Hölder continuous way with a constant depending on the lower bound for the Ricci curvature, the dim…
Recently, in [49], a new definition for lower Ricci curvature bounds on Alexandrov spaces was introduced by the authors. In this article, we extend our research to summarize the geometric and analytic results under this Ricci condition. In particular, two new results, the rigidity result of Bishop-Gromov volume comparison and Lipschitz continuity of heat kernel, are obtained.
Discrete time random walks on a finite set naturally translate via a one-to-one correspondence to discrete Laplace operators. Typically, Ollivier curvature has been investigated via random walks. We first extend the definition of Ollivier curvature to general weighted graphs and then give a strikingly simple representation of Ollivier curvature using the graph Laplacian. Using the Laplacian as a generator of a continuous time Markov chain, we connect Ollivier curvature with the heat equation which is strongly related to continuous time random walks. In particular, we prove that a lower bound o…
We analyze both continuous and discrete-time Ollivier-Ricci curvatures of locally-finite weighted graphs $\G$ equipped with a given distance "$\dist$" (w.r.t. which $\G$ is metrically complete) and for general random walks. We show the continuous-time Ollivier-Ricci curvature is well-defined for a large class of Markovian and non-Markovian random walks and provide a criterion for existence of continuous-time Ollivier-Ricci curvature; the said results generalize the previous rather limited constructions in the literature. In addition, important properties of both discrete-time and continuous-ti…
We prove that, given an $RCD^{*}(K,N)$-space $(X,d,m)$, then it is possible to $m$-essentially cover $X$ by measurable subsets $(R_{i})_{i\in \mathbb{N}}$ with the following property: for each $i$ there exists $k_{i} \in \mathbb{N}\cap [1,N]$ such that $m\llcorner R_{i}$ is absolutely continuous with respect to the $k_{i}$-dimensional Hausdorff measure. We also show that a Lipschitz differentiability space which is bi-Lipschitz embeddable into a euclidean space is rectifiable as a metric measure space, and we conclude with an application to Alexandrov spaces.
We prove that if a geodesic metric measure space satisfies a comparison condition for isoperimetric profile and if the observable variance is maximal, then the space is foliated by minimal geodesics, where the observable variance is defined to be the supremum of the variance of 1-Lipschitz functions on the space. Our result can be considered as a variant of Cheeger-Gromoll's splitting theorem and also of Cheng's maximal diameter theorem. As an application, we obtain a new isometric splitting theorem for a complete weighted Riemannian manifold with a positive Bakry-Émery Ricci curvature.
In this paper, we study capillary graphs defined on a domain $Ω$ of a complete Riemannian manifold $M$, where a graph is said to be capillary if it has constant mean curvature and locally constant Dirichlet and Neumann conditions on $\partial Ω$. Our main result is a splitting theorem both for $Ω$ and for the graph function on a class of manifolds with nonnegative Ricci curvature. As a corollary, we classify capillary graphs over domains that are globally Lipschitz epigraphs or slabs in a product space $M = N \times \mathbb{R}$, where $N$ has slow volume growth and non-negative Ricci curvature…
This paper explores and ties together three themes. The first is to establish regularity of a metric tensor, on a manifold with boundary, on which there are given Ricci curvature bounds, on the manifold and its boundary, and a Lipschitz bound on the mean curvature of the boundary. The second is to establish geometric convergence of a (sub)sequence of manifolds with boundary with such geometrical bounds and also an upper bound on the diameter and a lower bound on injectivity and boundary injectivity radius, making use of the first part. The third theme involves the uniqueness and conditional st…
We give a new notion of angle in general metric spaces; more precisely, given a triple a points $p,x,q$ in a metric space $(X,d)$, we introduce the notion of angle cone ${\angle_{pxq}}$ as being an interval ${\angle_{pxq}}:=[\angle^-_{pxq},\angle^+_{pxq}]$, where the quantities $\angle^\pm_{pxq}$ are defined in terms of the distance functions from $p$ and $q$ via a duality construction of differentials and gradients holding for locally Lipschitz functions on a general metric space. Our definition in the Euclidean plane gives the standard angle between three points and in a Riemannian manifold …
