[论文解读] Sub-Riemannian interpolation inequalities: ideal structures

Davide Barilari, Luca Rizzi|arXiv (Cornell University)|May 15, 2017

Geometric Analysis and Curvature Flows参考文献 11被引用 4

一句话总结

本文通过分析子黎曼 Jacobi 场与扭曲系数，建立了无非平凡异常极小化曲线的理想的子黎曼流形上的最优传输插值不等式——这些子黎曼流形与黎曼情形有本质不同。它将切点集表征为平方距离函数不满足半凸性的点集，并推导出精确的内在 Borell-Brascamp-Lieb 与测地线 Brunn-Minkowski 不等式，将先前结果推广至广义 H-型 Carnot 群及具有最优测度收缩性质的 Grushin 平面。

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 [Geom. Funct. Anal. (2010) 20: 124]. 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, Krist\'aly and Sipos in [arXiv:1605.06839], 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.

研究动机与目标

• 在无非平凡异常极小化曲线的子黎曼流形上建立最优传输插值不等式。
• 通过平方距离函数的半凸性失效来表征切点集。
• 在子黎曼设定下推导出 Borell-Brascamp-Lieb 与测地线 Brunn-Minkowski 不等式的精确、内在版本。
• 将近期关于 Heisenberg 群的结果推广至更广泛的 Carnot 群类，包括广义 H-型群。
• 在不假设分布具有常秩的条件下，为 Grushin 平面提供精确的测度收缩性质与 Brunn-Minkowski 不等式。

提出的方法

• 分析子黎曼 Jacobi 场及其在扭曲系数中的作用，其结构与黎曼情形显著不同。
• 运用几何控制理论，将理想子黎曼流形识别为不存非平凡异常极小化曲线的流形。
• 应用最优传输理论，通过适配子黎曼结构的曲率-维数条件推导插值不等式。
• 通过内在几何分析，将切点集识别为平方距离函数不满足半凸性的点集。
• 通过结构不变性与内在方法，将 Heisenberg 群的结果推广至广义 H-型 Carnot 群。
• 通过放松分布的常秩假设，推导出 Grushin 平面的精确测度收缩性质。

实验结果

研究问题

• RQ1 如何在缺乏非平凡异常极小化曲线的子黎曼流形上建立最优传输的插值不等式？
• RQ2 在子黎曼几何中，切点集的内在表征是什么？它与平方距离函数的半凸性有何关联？
• RQ3 能否在不依赖黎曼逼近的前提下，于子黎曼设定中推导出精确的 Borell-Brascamp-Lieb 与测地线 Brunn-Minkowski 不等式？
• RQ4 关于 Heisenberg 群的结果能在多大程度上推广至广义 H-型 Carnot 群类？
• RQ5 当分布不具有常秩时，Grushin 平面的精确测度收缩性质与 Brunn-Minkowski 不等式是什么？

主要发现

• 在理想子黎曼流形中，切点集正是平方距离函数不满足半凸性的点集，解决了 Figalli 与 Rifford 提出的问题。
• 子黎曼 Jacobi 场与扭曲系数的结构与黎曼情形有本质差异，这些差异在推导插值不等式中至关重要。
• 为理想子黎曼流形（包括广义 H-型 Carnot 群）建立了精确的内在 Borell-Brascamp-Lieb 与测地线 Brunn-Minkowski 不等式。
• 该框架以内在、几何自然的方式恢复并扩展了近期关于 Heisenberg 群的结果，无需依赖外部嵌入或逼近。
• 对于 Grushin 平面，尽管分布不具有常秩，本文仍推导出精确的测度收缩性质与精确的 Brunn-Minkowski 不等式。
• 该框架适用于一般子黎曼结构，无需假设分布具有常秩，从而显著扩展了这些不等式适用范围。