[论文解读] Curvature-dimension estimates for the Laplace-Beltrami operator of a totally geodesic foliation

Fabrice Baudoin, Michel Bonnefont|arXiv (Cornell University)|Dec 11, 2014

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

一句话总结

本文建立了在具有全测地叶的黎曼 foliation 上拉普拉斯-贝尔特拉米算子的曲率-维数估计，表明即使完整的 $Γ_2$ 算子不从下方有界，只要水平 Bakry-Émery 曲率有下界——并结合括号生成条件——仍能推出关键的函数不等式，如 Wang-Harnack 不等式和对数 Sobolev 不等式。此外，本文进一步证明了 Baudoin-Garofalo 的广义曲率-维数不等式，作为一参数族黎曼度量收敛至子黎曼极限时的统一极限而出现。

ABSTRACT

We study Bakry-Emery type estimates for the Laplace-Beltrami operator of a totally geodesic foliation. In particular, we are interested in situations for which the $\\Gamma_2$ operator may not be bounded from below but the horizontal Bakry-Emery curvature is. As we prove it, under a bracket generating condition, this weaker condition is enough to imply several functional inequalities for the heat semigroup including the Wang-Harnack inequality and the log-Sobolev inequality. We also prove that, under proper additional assumptions, the generalized curvature dimension inequality introduced by Baudoin-Garofalo is uniformly satisfied for a family of Riemannian metrics that converge to the sub-Riemannian one.

研究动机与目标

• 在完整的 $Γ_2$ 算子不从下方有界时，推导出在具有全测地叶的黎曼 foliation 上拉普拉斯-贝尔特拉米算子的曲率-维数估计。
• 研究当仅水平 Bakry-Émery 曲率有下界——且对垂直曲率无假设——时，是否仍能推出热半群的重要函数不等式。
• 证明 Baudoin-Garofalo 的水平拉普拉斯算子的广义曲率-维数不等式，作为一参数族黎曼度量收敛至子黎曼度量时的统一极限而出现。
• 通过度量的规范变体，建立经典 Bakry-Émery 估计与子黎曼曲率-维数条件之间的联系。

提出的方法

• 推导出新的博赫纳型恒等式，将全测地 foliation 上拉普拉斯-贝尔特拉米算子的 Bakry-Émery 曲率分解为水平与垂直分量。
• 引入一参数族黎曼度量 $g_\varepsilon = g_\mathcal{H} \oplus \frac{1}{\varepsilon}g_\mathcal{V}$，即规范变体，以在黎曼与子黎曼情形之间插值。
• 使用适配于 foliation 结构的 Bott 联络，表达涉及水平 Ricci 曲率 $\mathbf{Ricci}_\mathcal{H}$、垂直 Ricci 曲率 $\mathfrak{Ric}_\mathcal{V}$ 及与曲率张量相关的自伴算子 $J_Z$ 的曲率项。
• 应用 Monge-Kantorovich 对偶性，通过 $L^2$-Wasserstein 距离有界半群的熵，将概率量与几何量联系起来。
• 建立形式为 $\Gamma_{2,\varepsilon}(f) + \nu \Gamma^{\mathcal{V}}_{2,\varepsilon}(f) \geq \cdots$ 的广义曲率-维数不等式，该不等式在经典 Bakry-Émery 与 Baudoin-Garofalo 条件之间插值。
• 利用柯西-施瓦茨不等式与迹不等式控制混合二阶导数，以 $\Delta_\varepsilon f$、$\Gamma_\varepsilon(f)$ 及 $\Gamma^{\mathcal{V}}(f)$ 表示下界。

实验结果

研究问题

• RQ1 当完整的 $Γ_2$ 算子不从下方有界，但仅水平 Bakry-Émery 曲率有下界时，是否仍可建立如 Wang-Harnack 不等式与对数 Sobolev 不等式等函数不等式？
• RQ2 水平分布的括号生成条件是否足以在弱曲率假设下确保关键函数不等式的有效性？
• RQ3 Baudoin-Garofalo 的水平拉普拉斯算子的广义曲率-维数不等式是否可作为一维里曼度量族的曲率-维数估计的极限而恢复？
• RQ4 在 $\varepsilon \to 0$ 时，广义曲率-维数不等式是否在单参数族度量 $g_\varepsilon$ 上一致成立？

主要发现

• 在水平 Bakry-Émery 曲率有下界假设下，即使完整的 $Γ_2$ 算子不从下方有界，Wang-Harnack 不等式仍成立。
• 在相同的水平曲率条件下，对数 Sobolev 不等式由 Wang-Harnack 不等式推出。
• 通过 Monge-Kantorovich 对偶性，热半群的熵被 $L^2$-Wasserstein 距离有界，从而建立了几何与熵之间的联系。
• Baudoin-Garofalo 的广义曲率-维数不等式作为 $\varepsilon \to 0^+$ 时拉普拉斯-贝尔特拉米算子曲率估计的极限被恢复。
• 曲率-维数估计对所有 $\varepsilon > 0$ 和 $\nu \geq -\varepsilon$ 一致成立，插值于经典 Bakry-Émery（$\nu = 0$）与 Baudoin-Garofalo（$\varepsilon = 0$）条件之间。
• $\Gamma_{2,\varepsilon}(f) + \nu \Gamma^{\mathcal{V}}_{2,\varepsilon}(f)$ 的下界包含涉及 $\rho_1 - \frac{\kappa}{2\varepsilon + \nu}$、$\rho_2 - \rho_1\varepsilon + \frac{\kappa\varepsilon}{2\varepsilon + \nu} + \rho_3\varepsilon(\nu + \varepsilon)$ 以及拉普拉斯算子的归一化 $L^2$-范数的项。