English

Decomposition of geodesics in the Wasserstein space and the globalization property

Metric Geometry 2013-08-21 v4 Functional Analysis

Abstract

We will prove a decomposition for Wasserstein geodesics in the following sense: let (X,d,m)(X,d,m) be a non-branching metric measure space verifying CDloc(K,N)\mathsf{CD}_{loc}(K,N) or equivalently CD(K,N)\mathsf{CD}^{*}(K,N). We prove that every geodesic μt\mu_{t} in the L2L^{2}-Wasserstein space, with μtm\mu_{t} \ll m, is decomposable as the product of two densities, one corresponding to a geodesic with support of codimension one verifying CD(K,N1)\mathsf{CD}^{*}(K,N-1), and the other associated with a precise one dimensional measure, provided the length map enjoys local Lipschitz regularity. The motivation for our decomposition is in the use of the component evolving like CD\mathsf{CD}^{*} in the globalization problem. For a particular class of optimal transportation we prove the linearity in time of the other component, obtaining therefore the global CD(K,N)\mathsf{CD}(K,N) for μt\mu_{t}. The result can be therefore interpret as a globalization theorem for CD(K,N)\mathsf{CD}(K,N) for this class of optimal transportation, or as a ``self-improving property'' for CD(K,N)\mathsf{CD}^{*}(K,N). Assuming more regularity, namely in the setting of infinitesimally strictly convex metric measure space, the one dimensional density is the product of two differentials giving more insight on the density decomposition.

Keywords

Cite

@article{arxiv.1209.5909,
  title  = {Decomposition of geodesics in the Wasserstein space and the globalization property},
  author = {Fabio Cavalletti},
  journal= {arXiv preprint arXiv:1209.5909},
  year   = {2013}
}

Comments

39 pages, 1 figure. to appear on GAFA