[論文レビュー] 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

ひとこと要約

本稿は、完全測地的葉を持つリーマン分岐の水平ラプラシアンに対して横断的Weitzenböck公式を確立し、内在的幾何的条件下で一般化された曲率次元不等式を証明する。これにより、Li-Yau推定、ガウス型熱核評価、および部分リーマン的Bonnet-Myersコンパクト性定理が得られ、これらはすべて標準的な1パラメータ族の水平ラプラシアンと、新しい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定理など）を、リーマン分岐を介して拡張すること。
• 完全測地的葉を持つリーマン分岐の設定において、水平ラプラシアンの一般化された曲率次元不等式を確立すること。
• 先行研究の手法を簡素化・一般化し、1形式上の1パラメータ族の部分ラプラシアンに対して、新しいWeitzenböck型恒等式を導出すること。
• 新しいWeitzenböck恒等式から、熱半群の確率的完全性が従うことを示し、Bakry-Émery型手法の適用を可能にすること。
• 内在的幾何的仮定（水平リッチ曲率の下界、ねじれの上界、括弧生成条件）が、鋭い解析的・幾何的推定に十分であることを示すこと。

提案手法

• メトリックの標準的変形を用いて、1形式上の標準的な1パラメータ族の水平ラプラシアンを導入し、曲率次元の振る舞いの体系的解析を可能にする。
• ボット接続と曲率項を用いて、水平リッチ曲率およびねじれ関連作用素を含む、水平ラプラシアンの新しい横断的Weitzenböck公式を導出する。
• 1形式の水平成分と垂直成分にBochner-Weitzenböck形式的枠組みを適用し、2階のキャレ・ド・チャンプ作用素 $\Gamma_2$ および $\Gamma_2^\mathcal{V}$ を含む恒等式を導出する。
• 幾何的仮定を課す：完備性、一様な括弧生成条件、水平リッチ曲率のグローバルな下界 $\rho_1$、ボット接続のねじれのグローバルな上界 $\kappa$。
• 導出されたWeitzenböck恒等式を用いて、水平ラプラシアンの一般化された曲率次元不等式 $CD(\rho_1, \rho_2, \kappa, n)$ を証明し、これが水平ラプラシアンの振る舞いを支配する。
• 曲率次元不等式を応用して、Li-Yau推定、熱核評価、固有値推定、および明示的な直径評価を伴うBonnet-Myers定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 完全測地的葉を持つリーマン分岐における水平ラプラシアンに対して、一般化された曲率次元不等式を確立できるか？
• RQ2 1パラメータ族の水平ラプラシアンに対して横断的Weitzenböck公式が存在するか？ また、それらを用いて曲率次元推定を導出できるか？
• RQ3 水平リッチ曲率の下界、括弧生成条件、ねじれの制御といった内在的幾何的条件下で、水平ラプラシアンが $CD(\rho_1, \rho_2, \kappa, n)$ 不等式を満たすのはどのような条件か？
• RQ4 この設定において、Weitzenböck型恒等式から水平熱半群の確率的完全性を導出できるか？
• RQ5 この文脈において、曲率次元不等式からどのような部分リーマン的幾何的・解析的帰結（Li-Yau推定、固有値評価、コンパクト性定理など）が得られるか？

主な発見

• 完備性、一様な括弧生成条件、水平リッチ曲率の下界 $\rho_1$、ボット接続のねじれの上界 $\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手法の適用が可能になる。