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.

Functional Inequality on Path Space over a Non-Compact Riemannian Manifold

A Poincaré Inequality on Loop Spaces

Quasi-regular Dirichlet Forms on Riemannian Path and Loop Spaces

Quasi-Regular Dirichlet Forms On Free Riemannian Path Spaces

A Concrete Estimate for the Weak Poincaré Inequality on Loop Space

Weak Poincare inequalities on domains defined by Brownian rough paths

A generic functional inequality and Riccati pairs: an alternative approach to Hardy-type inequalities

Some Functional Inequalities and Their Applications on Finsler Measure Spaces

Functional inequalities on symmetric spaces of noncompact type and applications

Global Poincaré Inequalities on the Heisenberg Group and Applications

A Poincaré formula for differential forms and applications

Ornstein-Uhlenbeck Type Processes on Wasserstein Space

Wasserstein geometry and Ricci curvature bounds for Poisson spaces

Sharp Hardy inequalities involving distance functions from submanifolds of Riemannian manifolds

Stochastic Heat Equations with Values in a Manifold Via Dirichlet Forms.

Hess-Schrader-Uhlenbrock inequality for the heat semigroup on differential forms over Dirichlet spaces tamed by distributional curvature lower bounds

A general nonlinear characterization of stochastic incompleteness

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

Poincaré Inequalities in Weighted Sobolev Spaces