On the Kähler Geometry of Certain Optimal Transport Problems

Abstract

Let X and Y be domains of R n equipped with probability measures µ and ν, respectively. We consider the problem of optimal transport from µ to ν with respect to a cost function c : X×Y → R. To ensure that the solution to this problem is smooth, it is necessary to make several assumptions about the structure of the domains and the cost function. In particular, Ma, Trudinger, and Wang [25] established regularity estimates when the domains are strongly relatively c-convex with respect to each other and the cost function has non-negative MTW tensor. For cost functions of the form c(x, y) = Ψ(x − y) for some convex function Ψ, we find an associated Kähler manifold whose orthogonal anti-bisectional curvature is proportional to the MTW tensor. We also show that relative c-convexity geometrically corresponds to geodesic convexity with respect to a dual affine connection. Taken together, these results provide a geometric framework for optimal transport which is complementary to the pseudo-Riemannian theory of Kim and McCann [20].We provide several applications of this work. In particular, we find a complete Kähler surface with non-negative orthogonal anti-bisectional curvature that is not a Hermitian symmetric space or biholomorphic to C 2 . We also address a question in mathematical finance raised by Pal and Wong [32] on the regularity of pseudoarbitrages, or investment strategies which outperform the market.