Towards the smoothness of optimal maps on Riemannian submersions and Riemannian products (of round spheres in particular)

Abstract

The key condition A3w of Ma, Trudinger and Wang for regularity of optimal transportation maps is implied by the nonnegativity of a pseudo-Riemannian curvature -- which we call cross-curvature -- induced by the transportation cost. For the Riemannian distance squared cost, it is shown that (1) cross-curvature nonnegativity is preserved for products of two manifolds; (2) both A3w and cross-curvature nonnegativity are inherited by Riemannian submersions; and (3) the $n$-dimensional round sphere satisfies cross-curvature nonnegativity. From these results, a large new class of Riemannian manifolds satisfying cross-curvature nonnegativity (thus A3w) is obtained, including many whose sectional curvature is far from constant. All known obstructions to the regularity of optimal maps are absent from these manifolds, making them a class for which it is natural to conjecture that regularity holds. This conjecture is confirmed for complex projective space CP^n.

arXiv comment23 pages, no figure

References in corpus (4)

• Counterexamples to continuity of optimal transportation on positively curved Riemannian manifolds
• Continuity, curvature, and the general covariance of optimal transportation
• On strict convexity and $C^1$ regularity of potential functions in optimal transportation
• On the second boundary value problem for Monge-Ampere type equations and optimal transportation

Cited by in corpus (5)

• The Ma-Trudinger-Wang curvature for natural mechanical actions
• Regularity of optimal transport maps on multiple products of spheres
• When is multidimensional screening a convex program?
• A Jacobian inequality for gradient maps on the sphere and its application to directional statistics
• On optimal stationary couplings between stationary processes