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 (Geom Funct Anal 20(1):124–159, 2010). As an application, we deduce sharp and intrinsic Borell–Brascamp–Lieb and geodesic Brunn–Minkowski inequalities in the aforementioned setting. For the case of the Heisenberg group, we recover in an intrinsic way the results recently obtained by Balogh et al. (Calc Var Part Differ Equ 57(2):61, 2018), and we extend them to the class of generalized H-type Carnot groups. Our results do not require the distribution to have constant rank, yielding for the particular case of the Grushin plane a sharp measure contraction property and a sharp Brunn–Minkowski inequality.

Sub-Riemannian interpolation inequalities

Barilari D.;
2019

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 (Geom Funct Anal 20(1):124–159, 2010). As an application, we deduce sharp and intrinsic Borell–Brascamp–Lieb and geodesic Brunn–Minkowski inequalities in the aforementioned setting. For the case of the Heisenberg group, we recover in an intrinsic way the results recently obtained by Balogh et al. (Calc Var Part Differ Equ 57(2):61, 2018), and we extend them to the class of generalized H-type Carnot groups. Our results do not require the distribution to have constant rank, yielding for the particular case of the Grushin plane a sharp measure contraction property and a sharp Brunn–Minkowski inequality.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3368975
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 21
  • ???jsp.display-item.citation.isi??? 16
social impact