Continuity, curvature, and the general covariance of optimal transportation (Q983897): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:49, 5 March 2024

scientific article
Language Label Description Also known as
English
Continuity, curvature, and the general covariance of optimal transportation
scientific article

    Statements

    Continuity, curvature, and the general covariance of optimal transportation (English)
    0 references
    0 references
    0 references
    13 July 2010
    0 references
    Summary: Let \(M\) and \(\overline M\) be \(n\)-dimensional manifolds equipped with suitable Borel probability measures \(\rho \) and \(\overline{\rho }\). For subdomains \(M\) and \(\overline M\) of \(\mathbb R^n\), Ma, Trudinger \& Wang gave sufficient conditions on a transportation cost \(c\in C^{4} (M \times \overline M)\) to guarantee smoothness of the optimal map pushing \(\rho \) forward to \(\overline{\rho }\); the necessity of these conditions was deduced by Loeper. The present manuscript shows the form of these conditions to be largely dictated by the covariance of the question; it expresses them via non-negativity of the sectional curvature of certain null-planes in a novel but natural pseudo-Riemannian geometry which the cost \(c\) induces on the product space \(M\times\overline M\). We also explore some connections between optimal transportation and space-like Lagrangian submanifolds in symplectic geometry. Using the pseudo-Riemannian structure, we extend Ma, Trudinger and Wang's conditions to transportation costs on differentiable manifolds, and provide a direct elementary proof of a maximum principle characterizing it due to Loeper, relaxing his hypotheses even for subdomains \(M\) and \(\overline M\) of \(\mathbb R^n\). This maximum principle plays a key role in Loeper's Hölder continuity theory of optimal maps. Our proof allows his theory to be made logically independent of all earlier works, and sets the stage for extending it to new global settings, such as general submersions and tensor products of the specific Riemannian manifolds he considered.
    0 references
    optimal transportation
    0 references
    regularity of optimal maps
    0 references
    Hölder continuity
    0 references
    curvature
    0 references
    covariance
    0 references
    pseudo-Riemannian
    0 references
    semi-Riemannian
    0 references
    para-Kähler
    0 references
    spacelike Lagrangian
    0 references
    lightlike submanifold
    0 references
    signature \((n,n)\)
    0 references
    Monge-Kantorovich
    0 references
    measure-preserving homeomorphism
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references