-
Cohomogeneity one RCD-spaces
Authors:
Diego Corro,
Jaime Santos-Rodríguez,
Jesús Núñez-Zimbrón
Abstract:
We study $\mathsf{RCD}$-spaces $(X,d,\mathfrak{m})$ with group actions by isometries preserving the reference measure $\mathfrak{m}$ and whose orbit space has dimension one, i.e. cohomogeneity one actions. To this end we prove a Slice Theorem asserting that each slice at a point is homeomorphic to a non-negatively curved $\mathsf{RCD}$-space. Under the assumption that $X$ is non-collapsed we furth…
▽ More
We study $\mathsf{RCD}$-spaces $(X,d,\mathfrak{m})$ with group actions by isometries preserving the reference measure $\mathfrak{m}$ and whose orbit space has dimension one, i.e. cohomogeneity one actions. To this end we prove a Slice Theorem asserting that each slice at a point is homeomorphic to a non-negatively curved $\mathsf{RCD}$-space. Under the assumption that $X$ is non-collapsed we further show that the slices are homeomorphic to metric cones over homogeneous spaces with $\mathrm{Ric} \geq 0$. As a consequence we obtain complete topological structural results and a principal orbit representation theorem. Conversely, we show how to construct new $\mathsf{RCD}$-spaces from a cohomogeneity one group diagram, giving a complete description of $\mathsf{RCD}$-spaces of cohomogeneity one. As an application of these results we obtain the classification of cohomogeneity one, non-collapsed $\mathsf{RCD}$-spaces of essential dimension at most $4$.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Margulis Lemma on $\text{RCD}(K,N)$ spaces
Authors:
Qin Deng,
Jaime Santos-Rodríguez,
Sergio Zamora,
Xinrui Zhao
Abstract:
We extend the Margulis Lemma for manifolds with lower Ricci curvature bounds to the $\text{RCD}(K,N)$ setting. As one of our main tools, we obtain improved regularity estimates for Regular Langrangian flows on these spaces.
We extend the Margulis Lemma for manifolds with lower Ricci curvature bounds to the $\text{RCD}(K,N)$ setting. As one of our main tools, we obtain improved regularity estimates for Regular Langrangian flows on these spaces.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
On the reach of isometric embeddings into Wasserstein type spaces
Authors:
Javier Casado,
Manuel Cuerno,
Jaime Santos-Rodríguez
Abstract:
We study the reach (in the sense of Federer) of the natural isometric embedding $X\hookrightarrow W_p(X)$ of $X$ inside its $p$-Wasserstein space, where $(X,\operatorname{dist})$ is a geodesic metric space. We prove that if a point $x\in X$ can be joined to another point $y\in X$ by two minimizing geodesics, then $\operatorname{reach}(x, X\subset W_p(X)) = 0$. This includes the cases where $X$ is…
▽ More
We study the reach (in the sense of Federer) of the natural isometric embedding $X\hookrightarrow W_p(X)$ of $X$ inside its $p$-Wasserstein space, where $(X,\operatorname{dist})$ is a geodesic metric space. We prove that if a point $x\in X$ can be joined to another point $y\in X$ by two minimizing geodesics, then $\operatorname{reach}(x, X\subset W_p(X)) = 0$. This includes the cases where $X$ is a compact manifold or a non-simply connected one. On the other hand, we show that $\operatorname{reach}(X\subset W_p(X)) = \infty$ when $X$ is a CAT(0) space. The infinite reach enables us to examine the regularity of the projection map. Furthermore, we replicate these findings by considering the isometric embedding $X\hookrightarrow W_\vartheta(X)$ into an Orlicz--Wasserstein space, a generalization by Sturm of the classical Wasserstein space. Lastly, we establish the nullity of the reach for the isometric embedding of $X$ into $\operatorname{Dgm}_\infty$, the space of persistence diagrams equipped with the bottleneck distance.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
On fundamental groups of RCD spaces
Authors:
Jaime Santos-Rodriguez,
Sergio Zamora
Abstract:
We obtain results about fundamental groups of $RCD^{\ast}(K,N)$ spaces previously known under additional conditions such as smoothness or lower sectional curvature bounds. For fixed $K \in \mathbb{R}$, $N \in [1,\infty )$, $D > 0 $, we show the following,
$\bullet$ There is $C>0$ such that for each $RCD^{\ast}(K,N)$ space $X$ of diameter $\leq D$, its fundamental group $π_1(X)$ is generated by a…
▽ More
We obtain results about fundamental groups of $RCD^{\ast}(K,N)$ spaces previously known under additional conditions such as smoothness or lower sectional curvature bounds. For fixed $K \in \mathbb{R}$, $N \in [1,\infty )$, $D > 0 $, we show the following,
$\bullet$ There is $C>0$ such that for each $RCD^{\ast}(K,N)$ space $X$ of diameter $\leq D$, its fundamental group $π_1(X)$ is generated by at most $C$ elements.
$\bullet$ There is $\tilde{D}>0$ such that for each $RCD^{\ast}(K,N)$ space $X$ of diameter $\leq D$ with compact universal cover $\tilde{X}$, one has diam$(\tilde{X})\leq \tilde{D}$.
$\bullet$ If a sequence of $RCD^{\ast}(0,N)$ spaces $X_i$ of diameter $\leq D$ and rectifiable dimension $n$ is such that their universal covers $\tilde{X}_i$ converge in the pointed Gromov--Hausdorff sense to a space $X$ of rectifiable dimension $n$, then there is $C>0$ such that for each $i$, the fundamental group $π_1(X_i)$ contains an abelian subgroup of index $\leq C$.
$\bullet$ If a sequence of $RCD^{\ast}(K,N)$ spaces $X_i$ of diameter $\leq D$ and rectifiable dimension $n$ is such that their universal covers $\tilde{X}_i$ are compact and converge in the pointed Gromov--Hausdorff sense to a space $X$ of rectifiable dimension $n$, then there is $C>0$ such that for each $i$, the fundamental group $π_1(X_i)$ contains an abelian subgroup of index $\leq C$.
$\bullet$ If a sequence of $RCD^{\ast}(K,N)$ spaces $X_i$ with first Betti number $\geq r$ and rectifiable dimension $ n$ converges in the Gromov--Hausdorff sense to a compact space $X$ of rectifiable dimension $m$, then the first Betti number of $X$ is at least $r + m - n$.
The main tools are the splitting theorem by Gigli, the splitting blow-up property by Mondino--Naber, the semi-locally-simple-connectedness of $RCD^{\ast}(K,N)$ spaces by Wang, and the isometry group structure by Guijarro and the first author.
△ Less
Submitted 13 April, 2023; v1 submitted 13 October, 2022;
originally announced October 2022.
-
Isometric Rigidity of compact Wasserstein spaces
Authors:
Jaime Santos-Rodríguez
Abstract:
Let $(X,d,\mathfrak{m})$ be a metric measure space. The study of the Wasserstein space $(\mathbb{P}_p(X),\mathbb{W}_p)$ associated to $X$ has proved useful in describing several geometrical properties of $X.$ In this paper we focus on the study of isometries of $\mathbb{P}_p(X)$ for $p \in (1,\infty)$ under the assumption that there is some characterization of optimal maps between measures, the so…
▽ More
Let $(X,d,\mathfrak{m})$ be a metric measure space. The study of the Wasserstein space $(\mathbb{P}_p(X),\mathbb{W}_p)$ associated to $X$ has proved useful in describing several geometrical properties of $X.$ In this paper we focus on the study of isometries of $\mathbb{P}_p(X)$ for $p \in (1,\infty)$ under the assumption that there is some characterization of optimal maps between measures, the so called Good transport behaviour $GTB_p$. Our first result states that the set of Dirac deltas is invariant under isometries of the Wasserstein space. Additionally we obtain that the isometry groups of the base Riemannian manifold $M$ coincides with the one of the Wasserstein space $\mathbb{P}_p(M)$ under assumptions on the manifold; namely, for $p=2$ that the sectional curvature is strictly positive and for general $p\in (1,\infty)$ that $M$ is a Compact Rank One Symmetric Space.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
Invariant measures and lower Ricci curvature bounds
Authors:
Jaime Santos-Rodríguez
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
On the isometry group of $RCD^*(K,N)$-spaces
Authors:
Luis Guijarro,
Jaime Santos-Rodríguez
Abstract:
We prove that the group of isometries of a metric measure space that satisfies the Riemannian curvature condition, $RCD^*(K,N),$ is in fact a Lie group. We obtain an optimal upper bound on its dimension and classify the spaces where this maximal dimension is achieved.
We prove that the group of isometries of a metric measure space that satisfies the Riemannian curvature condition, $RCD^*(K,N),$ is in fact a Lie group. We obtain an optimal upper bound on its dimension and classify the spaces where this maximal dimension is achieved.
△ Less
Submitted 25 July, 2018; v1 submitted 23 August, 2016;
originally announced August 2016.