Isometric study of Wasserstein spaces --- the real line

Abstract

Recently Kloeckner described the structure of the isometry group of the quadratic Wasserstein space ${\mathcal{W}}_2\left({\mathbb{R}}^n\right)$. It turned out that the case of the real line is exceptional in the sense that there exists an exotic isometry flow. Following this line of investigation, we compute $\mathrm{Isom}\left({\mathcal{W}}_p(\mathbb{R})\right)$, the isometry group of the Wasserstein space ${\mathcal{W}}_p(\mathbb{R})$ for all $p\in [1,\infty )\setminus \{2\}$. We show that ${\mathcal{W}}_2(\mathbb{R})$ is also exceptional regarding the parameter $p$: ${\mathcal{W}}_p(\mathbb{R})$ is isometrically rigid if and only if $p\ne 2$. Regarding the underlying space, we prove that the exceptionality of $p=2$ disappears if we replace $\mathbb{R}$ by the compact interval $[0,1]$. Surprisingly, in that case, ${\mathcal{W}}_p\left([0,1]\right)$ is isometrically rigid if and only if $p\ne 1$. Moreover, ${\mathcal{W}}_1\left([0,1]\right)$ admits isometries that split mass, and $\mathrm{Isom}\left({\mathcal{W}}_1\left([0,1]\right)\right)$ cannot be embedded into $\mathrm{Isom}\left({\mathcal{W}}_1(\mathbb{R})\right).$

32 pages, 7 figures. Accepted for publication in Trans. Amer. Math. Soc

References in corpus (8)

• Spectral gaps in Wasserstein distances and the 2D stochastic Navier--Stokes equations
• Subgeometric rates of convergence of Markov processes in the Wasserstein metric
• Scalable Bayes via Barycenter in Wasserstein Space
• A geometric study of Wasserstein spaces: Hadamard spaces
• A generalization of Hausdorff dimension applied to Hilbert cubes and Wasserstein spaces
• A geometric study of Wasserstein spaces: ultrametrics
• On isometric embeddings of Wasserstein spaces -- the discrete case
• Maps on probability measures preserving certain distances --- a survey and some new results

Cited by in corpus (6)

• The isometry group of Wasserstein spaces: the Hilbertian case
• Quantum Wasserstein distance based on an optimization over separable states
• Isometric rigidity of Wasserstein tori and spheres
• Quantum Wasserstein isometries on the qubit state space
• Isometric rigidity of Wasserstein spaces over Euclidean spheres
• Isometric rigidity of the Wasserstein space ${\mathcal{W}}_1(\mathbf{G})$ over Carnot groups