2bba5cb9fe80c013.tex
1: \begin{abstract} 
2:   Let $\config$ be the configuration space over a complete and separable metric base space, endowed with the Poisson measure $\pi$.
3:   We study the geometry of $\config$ from the point of view of optimal transport and Ricci-lower bounds.
4:   To do so, we define a formal Riemannian structure on $\mathscr{P}_{1}(\config)$, the space of probability measures over $\config$ with finite first moment, and we construct an extended distance $\mathcal{W}$ on $\mathscr{P}_{1}(\config)$.
5:   The distance $\mathcal{W}$ corresponds, in our setting, to the Benamou--Brenier variational formulation of the Wasserstein distance.
6:   Our main technical tool is a non-local continuity equation defined via the difference operator on the Poisson space.
7:   We show that the closure of the domain of the relative entropy is a complete geodesic space, when endowed with $\mathcal{W}$.
8:   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.
9:   In particular, we obtain that:
10:   \begin{itemize}[wide]
11:     \item the Ornstein--Uhlenbeck semi-group is the gradient flow of the relative entropy;
12:     \item the Poisson space has a Ricci curvature, in the entropic sense, bounded below by $1$;
13:     \item the distance $\mathcal{W}$ satisfies an HWI inequality.
14:   \end{itemize}
15: \end{abstract}
16: