[論文レビュー] 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の定理など）の拡張を可能にする。主な貢献は、一般化されたリッチ下界のもとでの直径の上限を示したことであり、これはサハキアン多様体やステップ2のカーノ群を含む広範なサブリーマン構造クラスに対して有効である。

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.

研究の動機と目的

• サブリーマン幾何に適した一般化された曲率次元不等式を構築し、古典的リーマン幾何の結果を拡張すること。
• 一般化されたリッチ下界のもとで、熱核の上限や直径の推定値といったグローバルな幾何的・解析的性質を確立すること。
• 本フレームワークが、サハキアン多様体、ステップ2のカーノ群、リッチ下界付きリーマン多様体上の主束など、広範なサブリーマン多様体クラスに適用可能であることを示すこと。
• 幾何的構築と解析的ツールを分離する公理的で解析志向のアプローチを提供し、より広範な適用可能性を実現すること。
• 新導入の曲率次元条件のもとで、明示的な直径上限を伴う一般化されたBonnet-Myers定理を証明すること。

提案手法

• 2つの双線形形式、すなわちキャレ・デュ・シャン $\Gamma$ と補助形式 $\Gamma^Z$ を含む一般化された曲率次元不等式 (1.12) を導入し、仮定 1.1, 1.2, 1.4 を満たすようにする。
• 熱半群とエントロピー・エネルギー不等式を用いて関数不等式を導出し、Daviesの定理および対数ソボレフ型推定値を応用する。
• 熱核 $p(x,y,t)$ のグローバルな上界を、$\Gamma(\ln P_t f)$ と $\Gamma^Z(\ln P_t f)$ を含む微分不等式を用いて確立し、$\rho_1$, $\rho_2$, $\kappa$, 維度 $d$ に明示的な依存関係を持つようにする。
• 熱核の上限式において時間 $t$ で最小化することでエントロピー・エネルギー不等式を導出し、$f$ の対数 $L^2$ ノルムを制御する凹関数 $\Phi(x)$ を得る。
• Bakry（[6] の定理 5.4）の深い結果を応用し、$\Phi(x)$ の2階微分を用いて $\mathbb{M}$ の直径を上界で抑え、有限な上界を得る。
• 得られた直径上限がリーマン極限において古典的Bonnet-Myersの上限に還元されることを確認し、一貫性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 サブリーマン幾何において、リッチ下界を捉え、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曲率を有するサハキアン多様体、ステップ2のカーノ群、リッチ下界付きリーマン多様体上の正規直交フレームバンドルなど、広範なサブリーマン多様体クラスに適用可能である。
• 解析は完全に公理的かつ分析志向的である：幾何的仮定は仮定に分離され、中心的な結果は一般化された曲率次元不等式と熱半群技法に基づいて導出される。