Regularity of optimal transport maps on multiple products of spheres

Alessio Figalli ; Young-Heon Kim ; Robert J. McCann

Journal of the European Mathematical Society, Tome 15 (2013) no. 4, pp. 1131-1166

Résumé

This article addresses regularity of optimal transport maps for cost = “squared distance” on Riemannian manifolds that are products of arbitrarily many round spheres with arbitrary sizes and dimensions. Such manifolds are known to be non-negatively cross-curved. Under boundedness and non-vanishing assumptions on the transfered source and target densities we show that optimal maps stay away from the cut-locus (where the cost exhibits singularity), and obtain injectivity and continuity of optimal maps. This together with the result of Liu, Trudinger and Wang also implies higher regularity (C1,α/C∞) of optimal maps for smoother (Cα/C∞) densities. These are the first global regularity results which we are aware of concerning optimal maps on Riemannian manifolds which possess some vanishing sectional curvatures, beside the totally flat case of Rn and its quotients. Moreover, such product manifolds have potential relevance in statistics and in statistical mechanics (where the state of a system consisting of many spins is classically modeled by a point in the phase space obtained by taking many products of spheres). For the proof we apply and extend the method developed in [FKM1], where we showed injectivity and continuity of optimal maps on domains in Rn for smooth non-negatively cross-curved cost. The major obstacle in the present paper is to deal with the non-trivial cut-locus and the presence of flat directions.

Détail

DOI : 10.4171/jems/388

Classification : 49-XX, 35-XX, 53-XX, 00-XX
Keywords: Optimal transport, functional inequalities and Riemannian geometry