[论文解读] Transverse Weitzenböck formulas and curvature dimension inequalities on Riemannian foliations with totally geodesic leaves

Fabrice Baudoin, Bumsik Kim+1 more|arXiv (Cornell University)|Aug 3, 2014

Geometric Analysis and Curvature Flows参考文献 14被引用 20

一句话总结

本文为具有全测地叶的黎曼 foliation 上的水平拉普拉斯算子建立了横向 Weitzenböck 公式，证明了在内在几何条件下的一般化曲率-维数不等式。这导致了 Li-Yau 估计、高斯热核界以及一个子黎曼 Bonnet-Myers 紧致性定理，所有结果均源自一个规范的一参数水平拉普拉斯算子族及新的 Bochner 型恒等式。

ABSTRACT

We prove a family of new Weitzenböck formulas on a Riemannian foliation with totally geodesic leaves. These Weitzenböck formulas are naturally parametrized by the canonical variation of the metric. As a consequence, under natural geometric conditions, the horizontal Laplacian satisfies a generalized curvature dimension inequality. Among other things, this curvature dimension inequality implies Li-Yau estimates for positive solutions of the horizontal heat equation and a sub-Riemannian Bonnet-Myers compactness theorem whose assumptions only rely on the intrinsic geometry of the horizontal distribution.

研究动机与目标

• 将几何分析工具（如 Li-Yau 估计与 Bonnet-Myers 定理）从黎曼几何推广至子黎曼几何，通过黎曼 foliation 实现。
• 在具有全测地叶的黎曼 foliation 设置下，为水平拉普拉斯算子建立一般化曲率-维数不等式。
• 简化并推广先前工作的方法，推导出一参数子拉普拉斯算子族在 1-形式上的新 Weitzenböck 型恒等式。
• 证明水平热半群的随机完备性可由新 Weitzenböck 恒等式推出，从而使得 Bakry-Émery 型方法得以应用。
• 证明内在几何假设（水平 Ricci 曲率的下界、挠率的上界、括号生成条件）足以导出精确的分析与几何估计。

提出的方法

• 通过度量的规范变体引入一参数水平拉普拉斯算子族，实现对曲率-维数行为的系统分析。
• 利用 Bott 联络与曲率项（包括水平 Ricci 曲率和与挠率相关的算子）推导出水平拉普拉斯算子的新横向 Weitzenböck 公式。
• 将 Bochner-Weitzenböck 形式化应用于 1-形式的水平与垂直分量，导出涉及二阶 carré du champ 算子 $\Gamma_2$ 与 $\Gamma_2^\mathcal{V}$ 的恒等式。
• 施加几何假设：完备性、一致括号生成条件、水平 Ricci 曲率的全局下界 $\rho_1$，以及 Bott 联络挠率的全局上界 $\kappa$。
• 利用推导出的 Weitzenböck 恒等式证明一般化曲率-维数不等式 $CD(\rho_1, \rho_2, \kappa, n)$，该不等式控制水平拉普拉斯算子的行为。
• 将曲率-维数不等式应用于推导 Li-Yau 估计、热核界、特征值估计以及具有显式直径界子黎曼 Bonnet-Myers 定理。

实验结果

研究问题

• RQ1 能否在具有全测地叶的黎曼 foliation 上为水平拉普拉斯算子建立一般化曲率-维数不等式？
• RQ2 对于一参数水平拉普拉斯算子族，是否存在横向 Weitzenböck 公式？这些公式能否用于推导曲率-维数估计？
• RQ3 在何种内在几何条件下（如曲率界、括号生成、挠率控制）水平拉普拉斯算子满足 $CD(\rho_1, \rho_2, \kappa, n)$ 不等式？
• RQ4 能否从本设定下的 Weitzenböck 型恒等式推导出水平热半群的随机完备性？
• RQ5 从该设定下的曲率-维数不等式可推出哪些子黎曼几何与分析性后果（如 Li-Yau 估计、特征值界、紧致性定理）？

主要发现

• 在完备性、一致括号生成条件、水平 Ricci 曲率的 $\rho_1$-下界以及 Bott 联络挠率的 $\kappa$-上界假设下，水平拉普拉斯算子满足一般化曲率-维数不等式 $CD(\rho_1, \rho_2, \kappa, n)$。
• 建立了正水平热方程解的 Li-Yau 型梯度估计，其显式依赖于 $\rho_1$、$\rho_2$、$\kappa$ 与 $n$。
• 获得了水平热核的高斯上界与下界，常数依赖于 $n$、$\kappa$、$\rho_2$ 与 $\varepsilon$，以及子黎曼距离 $d(x,y)$。
• 证明了子黎曼 Bonnet-Myers 紧致性定理，当 $\rho_1 > 0$ 时，直径界为 $\text{diam}\ \mathbb{M} \leq 2\sqrt{3}\pi\sqrt{\frac{\kappa + \rho_2}{\rho_1 \rho_2} \left(1 + \frac{3\kappa}{2\rho_2}\right)n}$。
• 水平拉普拉斯算子的第一特征值 $\lambda_1$ 满足 $\lambda_1 \geq \frac{\rho_1}{1 - \frac{1}{n} + \frac{3\kappa}{4\rho_2}}$，且该界由 Obata 定理表明是紧致的。
• 作为新 Weitzenböck 恒等式的结果，证明了水平热半群的随机完备性，从而使得 Bakry-Émery 方法可在该子黎曼设定中应用。