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.$

v2: accepted manuscript version; 16 pages, 1 figure

References in corpus (2)

• The isometry group of Wasserstein spaces: the Hilbertian case
• 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