Optimal Transport and Ricci curvature

Introduction and Motivation

This article provides a brief introduction into a connection of optimal transport and the curvature tensor of a Riemannian manifold. In fact, we are going to study the transport map $T_{t}(x):={\text{exp}}_{x}(t\xi (x)),$ where $\xi$ denotes a $C^{1}$ vector field on the manifold $(M,g).$

These kind of maps appear very naturally in the context of optimal transport. Recall that in optimal transport one is particularly interested in the Monge Problem, being the following optimization problem: Let $(M,g)$ be a compact and connected Riemannian manifold. Let furthermore, $\mu =fdV,\nu =gdV$ denote two probability measures on $M$ which are absolutely continuous with respect to the measure on the manifold, induced by the metric. the Monge Problem is then given by

               $\inf _{T\#\mu =\nu }\int d(x,T(x))^{2}\,dV,$

where the infimum is taken among all measurable maps $T:M\rightarrow M$ and $d$ denotes the Metric on $(M,g)$ induced by $g.$ Then the Monge Problem admits a unique solution $T.$ Moreover, in that case

         $T(x)=\exp _{x}(\nabla \psi (x))$

for some $\psi$ (see for more details of this).

To conclude the introductory part of this article, let us also mention that these kind of transport maps, turned out to be useful in the area of geometric analysis. In fact, Simon Brendle could prove a Sobolev inequality on non compact Riemannian manifolds with nonnegative Ricci curvature, the proof of which makes use of defining a map which is of the type $T(x)=\exp _{x}(\nabla u(x))$ ( see proof of Theorem 1.1 in for more details).

Curvature and Optimal Transport

Let $(M,g)$ be a Riemannian manifold. In this article we assume basic knowledge about the notions of curvature and geodesics on a manifold. For some background information on these topics, we refer the reader to Chapter three to five in .

As above, we let$T_{t}(x)=\exp _{x}(t\xi (x)),$ where $\xi$ denotes a $C^{1}$ vector field on $M$. Then notice that the mapping Failed to parse (unknown function "\maptso"): {\displaystyle t \maptso T_t(x)} is a geodesic, so that for any $i=1,\dots ,n$