Isometric rigidity of Wasserstein spaces over Euclidean spheres

Abstract

We study the structure of isometries of the quadratic Wasserstein space ${\mathcal{W}}_2\left({\mathbb{S}}^n,\Vert \cdot \Vert \right)$ over the sphere endowed with the distance inherited from the norm of ${\mathbb{R}}^{n+1}$. We prove that ${\mathcal{W}}_2\left({\mathbb{S}}^n,\Vert \cdot \Vert \right)$ is isometrically rigid, meaning that its isometry group is isomorphic to that of $\left({\mathbb{S}}^n,\Vert \cdot \Vert \right)$. This is in striking contrast to the non-rigidity of its ambient space ${\mathcal{W}}_2\left({\mathbb{R}}^n,\Vert \cdot \Vert \right)$ but in line with the rigidity of the geodesic space ${\mathcal{W}}_2\left({\mathbb{S}}^n,\sphericalangle \right)$. One of the key steps of the proof is the use of mean squared error functions to mimic displacement interpolation in ${\mathcal{W}}_2\left({\mathbb{S}}^n,\Vert \cdot \Vert \right)$. A major difficulty in proving rigidity for quadratic Wasserstein spaces is that one cannot use the Wasserstein potential technique. To illustrate its general power, we use it to prove isometric rigidity of ${\mathcal{W}}_p\left({\mathbb{S}}^1,\Vert \cdot \Vert \right)$ for $1\le p<2.$

arXiv commentv2: accepted manuscript version; 16 pages, 1 figure

References in corpus (5)

• Isometric study of Wasserstein spaces --- the real line
• On isometric embeddings of Wasserstein spaces -- the discrete case
• The isometry group of Wasserstein spaces: the Hilbertian case
• Maps on probability measures preserving certain distances --- a survey and some new results
• Isometric rigidity of Wasserstein tori and spheres

Cited by in corpus (1)

• Isometric rigidity of the Wasserstein space ${\mathcal{W}}_1(\mathbf{G})$ over Carnot groups