[论文解读] Curvature-dimension inequalities and Ricci lower bounds for sub-Riemannian manifolds with transverse symmetries

Fabrice Baudoin, Nicola Garofalo|arXiv (Cornell University)|Jan 18, 2011

Geometric Analysis and Curvature Flows被引用 6

一句话总结

本文为具有横截对称性的子黎曼流形引入了一种广义的曲率-维度不等式，使得可通过基于热半群的分析方法，将经典黎曼几何结果（如Li-Yau和Bonnet-Myers定理）进行推广。关键贡献是在广义Ricci下界条件下，获得了适用于包括Sasakian流形和两步Carnot群在内的广泛子黎曼结构类的直径上界估计。

ABSTRACT

Let $\\M$ be a smooth connected manifold endowed with a smooth measure $\\mu$ and a smooth locally subelliptic diffusion operator $L$ satisfying $L1=0$, and which is symmetric with respect to $\\mu$. Associated with $L$ one has \ extit{le carr\\'e du champ} $\\Gamma$ and a canonical distance $d$, with respect to which we suppose that $(M,d)$ be complete. We assume that $\\M$ is also equipped with another first-order differential bilinear form $\\Gamma^Z$ and we assume that $\\Gamma$ and $\\Gamma^Z$ satisfy the Hypothesis below. With these forms we introduce in \\eqref{cdi} below a generalization of the curvature-dimension inequality from Riemannian geometry, see Definition \ ef{D:cdi}. In our main results we prove that, using solely \\eqref{cdi}, one can develop a theory which parallels the celebrated works of Yau, and Li-Yau on complete manifolds with Ricci bounded from below. We also obtain an analogue of the Bonnet-Myers theorem. In Section \ ef{S:appendix} we construct large classes of sub-Riemannian manifolds with transverse symmetries which satisfy the generalized curvature-dimension inequality \\eqref{cdi}. Such classes include all Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is bounded from below, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is bounded from below.

研究动机与目标

• 为子黎曼几何构建一种适用于广义曲率-维度不等式，以推广经典黎曼几何结果。
• 在广义Ricci下界条件下，建立全局几何与分析性质（如热核估计与直径估计）。
• 证明该框架在Sasakian流形、两步Carnot群以及Ricci有界的黎曼流形上的主丛等大类子黎曼流形中的适用性。
• 提出一种公理化、以分析为导向的方法，将几何构造与分析工具分离，提升方法的普适性。
• 在新曲率-维度条件下证明广义Bonnet-Myers定理，并给出显式的直径上界。

提出的方法

• 引入一个涉及两个双线性型（carré du champ $\Gamma$ 与辅助型 $\Gamma^Z$）的广义曲率-维度不等式（1.12），满足假设1.1、1.2与1.4。
• 利用热半群与熵-能量不等式推导函数不等式，借助Davies定理与对数Sobolev型估计。
• 通过涉及 $\Gamma(\ln P_t f)$ 与 $\Gamma^Z(\ln P_t f)$ 的微分不等式，建立热核 $p(x,y,t)$ 的全局上界，其显式依赖于 $\rho_1$、$\rho_2$、$\kappa$ 与维度 $d$。
• 通过在热核上界中对时间 $t$ 取最小化，导出熵-能量不等式，得到一个控制 $f$ 的对数 $L^2$-范数的凹函数 $\Phi(x)$。
• 应用Bakry（[6]中定理5.4）的深刻结果，通过 $\Phi(x)$ 的二阶导数对 $\mathbb{M}$ 的直径进行上界估计，得出有限上界。
• 验证所得直径上界在黎曼极限下退化为经典Bonnet-Myers上界，确认一致性。

实验结果

研究问题

• RQ1 能否在子黎曼几何中构造一种广义曲率-维度不等式，以捕捉Ricci下界并支持Li-Yau型估计？
• RQ2 广义曲率-维度不等式是否意味着具有横截对称性的子黎曼流形存在类似Bonnet-Myers的直径上界？
• RQ3 哪些类别的子黎曼流形满足广义曲率-维度不等式，并能产生此类全局几何后果？
• RQ4 如何将热半群与熵-能量方法适配于子黎曼设定下的非椭圆型算子？
• RQ5 所导出的直径上界在与经典黎曼Bonnet-Myers定理的关系中，其最优性如何？

主要发现

• 建立了热核的全局上界：$p(x,y,t) \leq \left(1 - e^{-\frac{2\rho_1\rho_2 t}{3(\rho_2 + \kappa)}}\right)^{-\frac{d}{2}\left(1 + \frac{3\kappa}{2\rho_2}\right)}$。
• 导出了熵-能量不等式，表明 $\int f^2 \ln f^2 \, d\mu \leq \Phi\left(\int \Gamma(f) \, d\mu\right)$，其中 $\Phi(x)$ 显式地由 $\rho_1$、$\rho_2$、$\kappa$ 与 $d$ 定义。
• 流形 $\mathbb{M}$ 的直径被上界估计为 $2\sqrt{3}\pi \sqrt{\frac{\rho_2 + \kappa}{\rho_1\rho_2}\left(1 + \frac{3\kappa}{2\rho_2}\right)d}$，从而给出广义Bonnet-Myers定理。
• 在黎曼极限（$\kappa=0$，$d=n$）下，该上界退化为经典黎曼Bonnet-Myers直径估计 $\pi\sqrt{(n-1)/\rho_1}$，确认一致性。
• 该框架适用于大类子黎曼流形，包括水平Webster-Tanaka-Ricci曲率为非负的Sasakian流形、两步Carnot群，以及Ricci有界的黎曼流形上的正交标架丛。
• 分析过程完全为解析与公理化：几何假设被隔离于假设中，而核心结果则完全由广义曲率-维度不等式与热半群技术推导得出。