Abstract:Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link between optimal transport maps in the Euclidean space $\mathbb{R}^{2n}$ and the Heisenberg group $\mathbb{H}^n$. Then we use this link to understand isometric embeddings of $\mathbb{R}$ and $\mathbb{R}_+$ into $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$. That is, we characterize complete geodesics and geodesic rays in the Wasserstein space. Using these results we determine the metric rank of $\mathcal{W}_p(\mathbb{H}^n)$. Namely, we show that $\mathbb{R}^k$ can be embedded isometrically into $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$ if and only if $k\leq n$. As a consequence, we conclude that $\mathcal{W}_p(\mathbb{R}^k)$ and $\mathcal{W}_p(\mathbb{H}^k)$ can be embedded isometrically into $\mathcal{W}_p(\mathbb{H}^n)$ if and only if $k\leq n$. In the second part of the paper, we study the isometry group of $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$. We find that these spaces are all isometrically rigid meaning that for every isometry $\Phi:\mathcal{W}_p(\mathbb{H}^n)\to\mathcal{W}_p(\mathbb{H}^n)$ there exists a $\psi:\mathbb{H}^n\to\mathbb{H}^n$ such that $\Phi=\psi_{\#}$.

Isometric embedding of the n-point spaces into the space of spaces for $n \leq 4$

Isometric Immersions In Minkowski Spaces

Banach's isometric subspace problem in dimension four

Isometries and isometric embeddings of Wasserstein spaces over the Heisenberg group

Isometric Euclidean submanifolds with isometric Gauss maps

On Isometric Embeddability of $S_q^m$ into $S_p^n$ as non-commutative Quasi-Banach space

Coarse and bi-Lipschitz embeddability of subspaces of the Gromov-Hausdorff space into Hilbert spaces

The Andoni-Naor-Neiman inequalities and isometric embeddability into a $\mathrm{CAT}(0)$ space

Embeddings of symplectic balls into the complex projective plane

Isometric Spacelike Immersions of Space Forms in Indefinite Space Forms

Isometric Embedding of Riemannian Manifolds in Euclidean Spaces

Isometric embedding in<i>R</i><sup>3</sup> of complete noncompact nonnegatively curved surfaces

An Isometric Embedding of a Bounded Set in a Euclidean Space into the Gromov-Hausdorff Space

On the metric spaces of lattices and periodic point sets

On Isometric Embeddability of Sqm into Spn As Non-Commutative Quasi-Banach Spaces

On Isometric Embeddings into Anti-de Sitter Space-times

On the Reach of Isometric Embeddings into Wasserstein Type Spaces

The space of immersed polygons

(In)equality distance patterns and embeddability into Hilbert spaces

Homogeneous isosceles-free spaces

Geometric embeddings of spaces of persistence diagrams with explicit distortions