Wasserstein Spaces: Geometry & Applications

• Wasserstein spaces are metric spaces comprised of probability measures defined via optimal transport and displacement interpolation.
• They exhibit intricate geometric structures, including complete geodesic properties, curvature characteristics, and finite moment conditions tied to the underlying space.
• Their study reveals a balance between isometric rigidity and flexible symmetries, with significant applications in statistical inference, PDEs, and multiscale data analysis.

A Wasserstein space is a metric space whose points are probability measures on a reference metric space, equipped with a distance derived from the theory of optimal transport. These spaces serve as a central structure in several domains of geometric analysis, probability theory, and the mathematics of data science. Classical Wasserstein spaces, as well as their generalizations and variants over non-Euclidean, singular, or hierarchical spaces, exhibit a diverse range of geometric, topological, and analytic properties that are deeply influenced by the geometry of the underlying space and the order of the Wasserstein metric.

1. Foundations: Definition, Metric, and Geodesic Structure

Let $(X,d)$ be a Polish metric space. For $p \geq 1$, the $p$-Wasserstein space $W_p(X)$ consists of all Borel probability measures $\mu$ on $X$ with finite $p$-th moment: $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$ The $p$-Wasserstein distance between $\mu, \nu \in W_p(X)$ is

$p \geq 1$0

where $p \geq 1$1 is the set of couplings (transport plans) with $p \geq 1$2 as marginals. Existence of an optimal plan $p \geq 1$3 minimizing the transport cost is standard under the given assumptions.

$p \geq 1$4 is a complete, separable (Polish) geodesic metric space. Constant-speed geodesics can be explicitly constructed via displacement interpolation: choose an optimal transference plan $p \geq 1$5 between $p \geq 1$6 and $p \geq 1$7, select measurable geodesics $p \geq 1$8 in $p \geq 1$9 for each pair $p$0, and push forward $p$1 along the evaluation at time $p$2 to construct $p$3.

In the case $p$4, the geometry of $p$5 exhibits especially rich structure, with connections to Riemannian geometry and curvature (see (Bachoc et al., 2024, Gomes et al., 2024)). If $p$6 is a Hadamard space (simply connected, complete, and globally nonpositively curved, i.e., CAT(0)), $p$7 inherits a geodesic structure and exhibits a form of displacement convexity paralleling the CAT(0)-inequality in $p$8 (Bertrand et al., 2010).

2. Geometry of Wasserstein Spaces and Curvature

The curvature properties of $p$9 are intimately linked to those of the base space $W_p(X)$0:

• Nonnegative curvature: When $W_p(X)$1 is Euclidean ($W_p(X)$2), $W_p(X)$3 possesses nonnegative Alexandrov curvature, exhibits nonunique geodesics, and admits "exotic" isometries beyond those induced by isometries of $W_p(X)$4 (Bertrand et al., 2014).
• Strict negative curvature: If $W_p(X)$5 is a strictly negatively curved Hadamard space (simply connected, nonpositively curved without flats), the Wasserstein space $W_p(X)$6 demonstrates isometric rigidity: every isometry of $W_p(X)$7 is induced by an isometry of $W_p(X)$8. This is in sharp contrast to the Euclidean case, where the isometry group of $W_p(X)$9 strictly contains the canonical push-forward isometries (Bertrand et al., 2014).

The proof of rigidity in negatively curved settings depends crucially on properties of transport geodesics—Dirac masses are mapped to Dirac masses, and measures supported on geodesics are rigidly characterized. Negative curvature eliminates the possibility of propagating the "exotic" one-dimensional isometries present in $\mu$0 to more general settings, as flat strips cannot exist (Bertrand et al., 2014).

Generalized curvature statements:

• $\mu$1 for $\mu$2 is not locally Busemann nonpositively curved or NPC (Busemann NPC) for any $\mu$3 (Adve et al., 2020).
• For ultrametric base spaces, $\mu$4 is affinely isometric to a convex subset of $\mu$5 with snow-flaking, and admits precise metric dimension-theoretic characterizations (Kloeckner, 2013).

3. Isometries, Flexibility, and Rigidity

The structure of the isometry group of $\mu$6 is a major theme:

• For general $\mu$7, push-forwards by isometries $\mu$8 define a subgroup of $\mu$9, but in many settings, $X$0 may admit nontrivial or "exotic" isometries.
• Rigidity results: For strictly negatively curved $X$1, the isometry group of $X$2 consists exactly of those induced by $X$3 (Bertrand et al., 2014). For suitable products $X$4 with specific metrics, $X$5 can be made isometrically rigid even when $X$6 is not (Balogh et al., 13 Feb 2025).
• Flexible constructions: There exist constructions where $X$7 admits mass-splitting isometries, i.e., isometries that do not preserve Dirac masses or the "shape" of measures. For example, $X$8 admits a nontrivial "flip" that sends Dirac masses to genuine mixtures, and such flexibility can be lifted to product spaces (Balogh et al., 13 Feb 2025).
• The dichotomy between rigidity and flexibility can be tuned by the geometry of the base space and the metric exponent parameter, as well as by passing to suitable ambient spaces.

Rigidity Regime	Example	Isometries
Strict negative curvature	$X$9, $p$0 CAT$p$1	Only from $p$2
Euclidean	$p$3	Push-forwards plus exotic
Product with flexible metric	$p$4, $p$5 with $p$6	Only from $p$7
Product with flexible metric	$p$8, $p$9 with $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$0	Mass-splitting isometries

4. Riemannian-Like and Metric Geometry

The Wasserstein space $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$1 for sufficiently regular $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$2 carries a formal infinite-dimensional Riemannian geometry:

• Tangent spaces: At an absolutely continuous measure $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$3, the tangent space consists of $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$4 vector fields with respect to $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$5, identified with closure of gradients of smooth functions (Bachoc et al., 2024, Gomes et al., 2024).
• Riemannian metric: The Otto metric defines

$$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$6

• Geodesics: Displacement interpolation gives constant-speed geodesics. For absolutely continuous measures, the initial velocity corresponds to the unique (Brenier) optimal transport map.
• Benamou-Brenier formula: The length of a curve $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$7 in $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$8 is defined via the minimal kinetic energy among velocity fields $$\int_X d(x_0, x)^p \, \mu(dx) < +\infty \quad \text{for some (hence any) } x_0 \in X.$$9 solving the continuity equation $p$0 (Gomes et al., 2024).
• Convexity: Many energy functionals are convex along Wasserstein geodesics, enabling the extension of gradient-flow and variational frameworks (Vauthier, 3 Dec 2025).

5. Large-Scale and Infinite-Dimensional Properties

Wasserstein spaces typically display infinite-dimensional geometric complexity:

• Dimension and "largeness": For a compact $p$1-manifold $p$2, the critical "power-exponential parameter" (a bi-Lipschitz invariant generalizing Hausdorff dimension) of $p$3 equals $p$4 (Kloeckner, 2011, Kloeckner, 2013). This reflects dimension-robustness.
• Effects of ultrametricity: For compact ultrametric $p$5, $p$6 is isometrically embeddable into a convex set of $p$7, making its geometry and dimension properties explicitly analyzable (Kloeckner, 2013).
• Embeddings and universality: $p$8 can embed any finite metric (after taking the $p$9 power for $\mu, \nu \in W_p(X)$0); $\mu, \nu \in W_p(X)$1 is universal for all finite metric spaces (Frogner et al., 2019).

6. Stability, Quotients, and Limits

Recent results show that Wasserstein spaces preserve or reflect many stability and convergence properties of their underlying metric spaces:

• Gromov-Hausdorff stability: For broad classes of spaces (e.g., compact Alexandrov spaces), Gromov–Hausdorff convergence of the base spaces is equivalent to convergence of the $\mu, \nu \in W_p(X)$2-spaces. This underpins an infinite-dimensional analogue of Perelman's topological stability and finiteness (Alattar, 2024).
• Quotients and group actions: If a compact group $\mu, \nu \in W_p(X)$3 acts isometrically on $\mu, \nu \in W_p(X)$4, Wasserstein spaces of $\mu, \nu \in W_p(X)$5-invariant measures are isometric (for generalized/unbalanced Wasserstein metrics) to the corresponding space over the metric quotient $\mu, \nu \in W_p(X)$6 (Chung et al., 2019).
• Functoriality and higher Wasserstein hierarchy: Iterated Wasserstein spaces ($\mu, \nu \in W_p(X)$7) admit a systematically lifted variational structure, with explicit gradient and geodesic characterizations at each level (Vauthier, 3 Dec 2025).

7. Application Directions and Open Problems

Applications of Wasserstein spaces range from statistics and probability to data science, PDEs, and stochastic processes:

• Statistical tools: Concepts such as Wasserstein spatial depth provide robust statistical depth measures on the space of distributions, crucial for order-based inference, clustering, and outlier detection in distributional data (Bachoc et al., 2024).
• Minimal surfaces: There is an active program in extending geometric measure theory to Wasserstein spaces, including minimal surface problems for families of distributions (Li et al., 2023).
• Stochastic processes: Variants like the adapted Wasserstein distance $\mu, \nu \in W_p(X)$8 are tailored for filtered processes, yielding a metric space of stochastic processes with optimal transport features (Bartl et al., 2021).
• Multiscale analysis: Hierarchical transforms and decompositions, such as those based on McCann interpolants and optimality numbers, allow for multiscale, wavelet-like analysis and anomaly detection in measure-valued data (Mattar et al., 12 Sep 2025).
• Current challenges: Key open problems include precise characterizations of rigidity/flexibility regimes for diverse $\mu, \nu \in W_p(X)$9 in $p \geq 1$00, general isometric rigidity conjectures, analytic and topological invariants of Wasserstein spaces over singular or branching spaces, and the extension of geometric analytic techniques to infinite-dimensional, non-linear metric geometries.

In summary, Wasserstein spaces encode a nonlinear, measure-theoretic extension of the geometry of their base spaces, featuring a wide tapestry of structures—ranging from infinite-dimensional Riemannian geometry to flexible and rigid isometry groups, refined large-scale dimension theory, and applications to both theory and practice at the intersection of analysis, geometry, and data science. Negative curvature rigidifies $p \geq 1$01 to encode exactly the metric structure of $p \geq 1$02, while Euclidean and product constructions allow for “wild” symmetries and universal embedding properties. The field remains rich with avenues for further exploration and generalization (Bertrand et al., 2014, Balogh et al., 13 Feb 2025, Kloeckner, 2013, Bachoc et al., 2024, Gomes et al., 2024, Vauthier, 3 Dec 2025, Mattar et al., 12 Sep 2025, Adve et al., 2020).