[论文解读] Generalized Bochner formulas and Ricci lower bounds for sub-Riemannian manifolds of rank two

Fabrice Baudoin, Nicola Garofalo|ArXiv.org|Apr 10, 2009

Geometric Analysis and Curvature Flows参考文献 63被引用 24

一句话总结

本文提出了针对秩二子黎曼流形的广义里奇曲率张量与博赫纳型公式，实现了子黎曼几何中曲率-维数不等式的子黎曼类比。在下界曲率条件下，该研究建立了类似黎曼几何的几何与分析性结果——如直径上界、Li-Yau 估计以及 Lichnerowicz 型谱隙估计。

ABSTRACT

We study a new class of rank two sub-Riemannian manifolds encompassing Riemannian manifolds, CR manifolds with vanishing Webster-Tanaka torsion, orthonormal bundles over Riemannian manifolds, and graded nilpotent Lie groups of step two. These manifolds admit a canonical horizontal connection and a canonical sub-Laplacian. We construct on these manifolds an analogue of the Riemannian Ricci tensor and prove Bochner type formulas for the sub-Laplacian. As a consequence, it is possible to formulate on these spaces a sub-Riemannian analogue of the so-called curvature dimension inequality. Sub-Riemannian manifolds for which this inequality is satisfied are shown to share many properties in common with Riemannian manifolds whose Ricci curvature is bounded from below

研究动机与目标

• 为秩二子黎曼流形发展子黎曼里奇曲率及其曲率-维数不等式的类比。
• 将博赫纳型公式与梯度估计推广至具有标准水平联络的子黎曼几何设定中。
• 在下界里奇曲率条件下，推导出几何与分析性后果——如直径上界、等周不等式与谱隙估计。
• 建立此类流形上热半群的随机完备性与抛物型哈纳克不等式。
• 将 Yau 的 Liouville 定理与 Lichnerowicz 型特征值估计推广至子黎曼几何背景中。

提出的方法

• 在秩二子黎曼流形（包括黎曼、CR 以及二步幂零李群）上定义标准水平联络与次拉普拉斯算子。
• 通过涉及水平 Hessian 与二阶水平导数的曲率公式，构造广义里奇张量。
• 推导两个涉及水平 Hessian、其 carré du champ 及曲率项的次拉普拉斯算子的博赫纳型公式。
• 引入曲率-维数不等式（CD(ρ₁,ρ₂;κ,d)），将其作为黎曼几何中 CD 条件在子黎曼几何中的推广。
• 利用变分不等式与热半群估计，在曲率-维数条件下推导出 Li-Yau 与哈纳克型不等式。
• 应用曲率-维数不等式，通过热核与能量估计证明谱隙估计、体积增长上界与等周不等式。

实验结果

研究问题

• RQ1 能否为秩二子黎曼流形定义一个广义里奇曲率张量，使其支持博赫纳型公式？
• RQ2 子黎曼几何中是否存在一个曲率-维数不等式，可蕴含类似黎曼几何的几何与分析性质？
• RQ3 能否在该类流形上建立热半群的 Li-Yau 梯度估计与抛物型哈纳克不等式？
• RQ4 下界里奇曲率条件对子黎曼空间中谱隙与体积增长有何影响？
• RQ5 广义 Lichnerowicz 定理在具有非平凡水平曲率的子黎曼设定中如何推广？

主要发现

• 为秩二子黎曼流形构造了广义里奇曲率张量，从而支持曲率-维数不等式。
• 曲率-维数不等式 CD(ρ₁,ρ₂;κ,d) 蕴含热核的抛物型哈纳克不等式与随机完备性。
• 在曲率-维数条件下，热核满足与 Hausdorff 维数相关的指数的非对角高斯上界。
• 建立了子黎曼 Bonnet-Myers 定理：若 ρ₁ > 0 且 κ ≥ 0，则直径有界于 $ \frac{d}{\rho_1} $。
• 推导出次拉普拉斯算子第一非零特征值的 Lichnerowicz 型下界：$ \lambda_1 \geq \frac{\rho_1 \rho_2}{\frac{d-1}{d}\rho_2 + \kappa} $。
• 证明了依赖于 $ \sqrt{\frac{\kappa + \rho_2}{d \rho_1 \rho_2}} $ 的 $ L^1 $ Poincaré 不等式，建立了曲率与等周性的联系。