2018
DOI: 10.1007/s00222-018-0840-y
|View full text |Cite
|
Sign up to set email alerts
|

Sub-Riemannian interpolation inequalities

Abstract: We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients, whose properties are remarkably different with respect to the Riemannian case. As a byproduct, we characterize the cut locus as the set of points where the squared sub-Riemannian distance fails to be semiconvex, answering to a question raised by Figalli and Rifford in [FR10].A… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

2
49
0

Year Published

2018
2018
2022
2022

Publication Types

Select...
9

Relationship

4
5

Authors

Journals

citations
Cited by 35 publications
(51 citation statements)
references
References 55 publications
2
49
0
Order By: Relevance
“…In particular, it is twice differentiable almost everywhere. Also, from Corollary 32 in [9], x = x 0 is in Cut 0 (x 0 ) if and only if r 0 fails to be semi-convex at x. Therefore, Cut 0 (x 0 ) has µ measure 0.…”
Section: Horizontal and Vertical Hessian And Laplacian Comparison Thementioning
confidence: 95%
“…In particular, it is twice differentiable almost everywhere. Also, from Corollary 32 in [9], x = x 0 is in Cut 0 (x 0 ) if and only if r 0 fails to be semi-convex at x. Therefore, Cut 0 (x 0 ) has µ measure 0.…”
Section: Horizontal and Vertical Hessian And Laplacian Comparison Thementioning
confidence: 95%
“…Recently, interpolation inequalitiesà la Cordero-Erausquin-McCann-Schmuckenshläger [25] have been obtained, under suitable modifications, by Barilari and Rizzi [10] in the ideal sub-Riemannian setting and by Balogh, Kristly and Sipos [8] for the Heisenberg group. As a consequence, an increasing number of examples of spaces verifying MCP and not CD is at disposal, e.g.…”
Section: Isoperimetric Inequality Under Measure-contraction Propertymentioning
confidence: 99%
“…As a consequence, an increasing number of examples of spaces verifying MCP and not CD is at disposal, e.g. the Heisenberg group, generalized H-type groups, the Grushin plane and Sasakian structures (for more details, see [10]). In all the previous examples a sharp isoperimetric inequality is not at disposal yet; due to lack of regularity of minimizers, sharp isoperimetric inequality has been proved for subclasses of competitors having extra regularity or additional symmetries; in particular, Pansu Conjecture [43] is still unsolved.…”
Section: Isoperimetric Inequality Under Measure-contraction Propertymentioning
confidence: 99%
“…Since complete MCP (K,N) spaces with K>0 are bounded, the Grushin plane or half‐planes can only satisfy MCP (K,N) for K0. The following fact was proved in [, Theorem 10]. Theorem The Grushin plane double-struckG, equipped with the Lebesgue measure, satisfies the MCP (K,N) if and only if K0 and N5.…”
Section: Proof Of the Main Resultsmentioning
confidence: 99%