Let $(X,d)$ be a complete and separable metric space and, for $1\leq p<\infty$, let $(\mathcal{P}\_p(X,d),W\_p)$ be the $p$-Wasserstein space on $(X,d)$. For which $p$ and $(X,d)$ is $(\mathcal{P}\_p(X,d),W\_p)$ a $CAT(\kappa)$ space?




---


I know that for $p=2$ and $(X,d)$ a Banach space, $(\mathcal{P}\_2(X,d),W\_2)$ is a Hadamard ($CAT(0)$) space; but there must be other cases...



When are Wasserstein spaces $CAT(\kappa)$?
Almost never...


Note that there is an isometric embedding $X\to W\_p(X)$, so $X$ has to be CAT(κ). Second the space $W\_p(X)$ contains symmetric $p$-product $S^n(X)=X^{\times n}/S\_n$ so $p=2$, or $X$ is one a point-space.
Now if $\dim X>1$, then you get into trouble with extending geodesic thru a $\delta$-measure in $S^2(X)$, so you get $\dim X\le1$.


