Abstract:Let $\varUpsilon$ be the configuration space over a complete and separable metric base space, endowed with the Poisson measure $\pi$. We study the geometry of $\varUpsilon$ from the point of view of optimal transport and Ricci-lower bounds. To do so, we define a formal Riemannian structure on $\mathscr{P}_{1}(\varUpsilon)$, the space of probability measures over $\varUpsilon$ with finite first moment, and we construct an extended distance $\mathcal{W}$ on $\mathscr{P}_{1}(\varUpsilon)$. The distance $\mathcal{W}$ corresponds, in our setting, to the Benamou--Brenier variational formulation of the Wasserstein distance. Our main technical tool is a non-local continuity equation defined via the difference operator on the Poisson space. We show that the closure of the domain of the relative entropy is a complete geodesic space, when endowed with $\mathcal{W}$. We establish non-local infinite-dimensional analogues of results regarding the geometry of the Wasserstein space over a metric measure space with synthetic Ricci curvature bounded below. In particular, we obtain that: (a) the Ornstein--Uhlenbeck semi-group is the gradient flow of the relative entropy; (b) the Poisson space has a Ricci curvature, in the entropic sense, bounded below by $1$; (c) the distance $\mathcal{W}$ satisfies an HWI inequality.

A finiteness principle for distance functions on Riemannian surfaces with Hölder continuous curvature

Some Dirichlet Problems Arising from Conformal Geometry

Removable Singularity of Positive Mass Theorem with Continuous Metrics

Positivity of Ma-Trudinger-Wang Curvature on Riemannian Surfaces

On Positive Scalar Curvature and Moduli of Curves

The Riemannian geometry of the space of compact spacelike Cauchy hypersurfaces

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Wasserstein geometry and Ricci curvature bounds for Poisson spaces

On E-curvature of homogeneous Finsler manifolds

Computing distances on Riemann surfaces

Derivatives of Sub-Riemannian Geodesics are $L_p$-Hölder Continuous

Mean Curvature Flow and Heegaard Surfaces in Lens Spaces

From bounds to Gromov–Hausdorff convergence of Riemannian manifolds

A Class of Finsler Measure Spaces of Constant Weighted Ricci Curvature

Surfaces of genus $g\geq 1$ in 3D contact sub-Riemannian manifolds

Finiteness of totally geodesic hypersurfaces

Completeness and Geodesic Distance Properties for Fractional Sobolev Metrics on Spaces of Immersed Curves

An Integral Formula for Lipschitz-Killing Curvature and the Critical Points of Height Functions

The Weyl principle on the Finsler frontier

The Riemannian geometry of Sinkhorn divergences