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

ひとこと要約

本稿は、完全に測地的葉を持つリーマン的フォリエーション上でのラプラシアン＝ベルトラミ作用素に対して、曲率次元推定を確立する。$Γ_2$作用素が下から有界でない場合でも、水平方向のバクリー＝エメリー曲率に下界が存在する、かつ括弧生成条件を満たすならば、ワング＝ハルナック不等式や対数ソボレフ不等式といった重要な関数不等式が成立することを示す。さらに、バウドイン＝ガロファロの一般化された曲率次元不等式が、部分リーマン的極限に収束する一パラメータ族のリーマン計量に対する推定の一様極限として得られることを証明する。

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$作用素が下から有界でない場合の曲率次元推定を導出すること。
• 縦方向の曲率に関する仮定なしに、水平方向のバクリー＝エメリー曲率が下から有界である場合、熱半群に関する重要な関数不等式が成立するかどうかを調査すること。
• 水平ラプラシアンに対するバウドイン＝ガロファロの一般化された曲率次元不等式が、リーマン計量の一パラメータ族に対する曲率次元推定の極限として得られることを示すこと。
• 計量の標準的変形を用いて、古典的バクリー＝エメリー推定と部分リーマン的曲率次元条件との間の関係を確立すること。

提案手法

• 完全に測地的フォリエーション上でのラプラシアン＝ベルトラミ作用素に対して、バクリー＝エメリー曲率を水平方向と縦方向に分離する新しいボッハラー型恒等式を導出する。
• リーマン的および部分リーマン的領域の間を補間するための一パラメータ族のリーマン計量 $g_\varepsilon = g_\mathcal{H} \oplus \frac{1}{\varepsilon}g_\mathcal{V}$ を導入する。これは標準的変形と呼ばれる。
• フォリエーション構造に適合したボット接続を用いて、水平リッチ曲率 $\mathbf{Ricci}_\mathcal{H}$、縦リッチ曲率 $\mathfrak{Ric}_\mathcal{V}$、および曲率テンソルに関連する自己準同型 $J_Z$ を含む曲率項を表現する。
• モンジュ＝カンタロヴィッチ双対性を適用して、半群のエントロピーを $L^2$-ウォッサーシュタイン距離で上から抑え、確率論的量と幾何的量を結びつける。
• 古典的バクリー＝エメリーとバウドイン＝ガロファロの条件の間を補間する形の一般化された曲率次元不等式 $\Gamma_{2,\varepsilon}(f) + \nu \Gamma^{\mathcal{V}}_{2,\varepsilon}(f) \geq \cdots$ を確立する。
• コーシー＝シュワルツおよびトレース不等式を用いて混合第二微分を制御し、$\Delta_\varepsilon f$、$\Gamma_\varepsilon(f)$、および $\Gamma^{\mathcal{V}}(f)$ を用いた下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 全 $Γ_2$ 作用素が下から有界でないが、水平方向のバクリー＝エメリー曲率に下界が存在する場合、ワング＝ハルナック不等式や対数ソボレフ不等式などの関数不等式が成立するか。
• RQ2 水平分布に括弧生成条件が成り立つならば、弱い曲率仮定のもとで主要な関数不等式が保証されるか。
• RQ3 水平ラプラシアンに対するバウドイン＝ガロファロの一般化された曲率次元不等式が、リーマン計量の一パラメータ族に対する曲率次元推定の極限として回復可能か。
• RQ4 パラメータ $\varepsilon \to 0$ のとき、一パラメータ族の計量 $g_\varepsilon$ 全体で一般化された曲率次元不等式が一様に満たされるか。

主な発見

• 水平方向のバクリー＝エメリー曲率が下から有界である限り、全 $Γ_2$ 作用素が下から有界でなくても、ワング＝ハルナック不等式が成立する。
• 同じ水平曲率条件のもとで、ワング＝ハルナック不等式から対数ソボレフ不等式が導かれる。
• モンジュ＝カンタロヴィッチ双対性を用いて、熱半群のエントロピーが $L^2$-ウォッサーシュタイン距離によって上から抑えられ、幾何的・エントロピー的量の間の接続が確立される。
• バウドイン＝ガロファロの一般化された曲率次元不等式は、$\varepsilon \to 0^+$ のときのラプラシアン＝ベルトラミ作用素に対する推定の極限として回復される。
• 曲率次元推定はすべての $\varepsilon > 0$ および $\nu \geq -\varepsilon$ に対して一様に有効であり、古典的バクリー＝エメリー（$\nu = 0$）とバウドイン＝ガロファロ（$\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$-ノルムを含む項が含まれる。