[論文レビュー] Generalized Ricci Curvature Bounds for Three Dimensional Contact Subriemannian manifolds

Andrei Agrachev, Paul Lee|arXiv (Cornell University)|Mar 16, 2009

Geometric Analysis and Curvature Flows参考文献 29被引用数 8

ひとこと要約

本稿では、三平方接触部分リーマン多様体が一般化測度収縮性質（MCP）を満たすための必要十分条件を、部分リーマン的リッチ曲率の一般化を導入することによって確立する。標準的ダーブォー枠とリッカティ方程式の比較を用いて、非負の一般化リッチ曲率 $ R^{11}_{\alpha} \geq 0 $ が $ \mathcal{MCP}(0;2,3) $ を意味することを証明し、これは古典的 $ MCP(0,5) $ 条件を回復させ、体積二重性、パンカルエ不等式、リウヴィル型性質をもたらす。

ABSTRACT

Measure contraction property is one of the possible generalizations of Ricci curvature bound to more general metric measure spaces. In this paper, we discover sufficient conditions for a three dimensional contact subriemannian manifold to satisfy this property.

研究の動機と目的

• 三平方接触部分リーマン多様体が一般化測度収縮性質 $ \mathcal{MCP}(K;2,3) $ を満たす条件を同定すること。
• 標準的ダーブォー枠と曲率不変量を用いて、部分リーマン幾何におけるリッチ曲率下界の概念を拡張すること。
• Sasakian多様体において $ R^{11}_{\alpha} \geq 0 $ が $ \mathcal{MCP}(0;2,3) $ であるための必要十分条件であることを証明すること。
• 測度収縮性質から体積二重性やパンカルエ不等式などの幾何的・解析的帰結を導出すること。

提案手法

• 一般化測度収縮性質 $ \mathcal{MCP}(K;2,3) $ を、リッチ曲率下界の部分リーマン的類似物として導入する。
• 部分リーマン測地線フローに沿った標準的ダーブォー枠を用いて、一般化曲率不変量、特に $ R^{11}_{\alpha} $、$ R^{22}_{\alpha} $、$ R^{33}_{\alpha} $ を定義する。
• リッカティ方程式の比較定理を適用し、曲率下界と測度歪曲の関係を測地線に沿って関係づける。
• $ h_0 $ と $ H $（ハミルトニアン）の保存則を用いて、部分集合における測度の増大を制御する。
• 非Sasakianなコンパクト多様体に対しては、多項式展開とコンパクトネスの議論を用いて曲率不変量の漸近的挙動を分析する。
• 部分リーマン測地線フローの構造と、余接バンドルの接空間へのその引き戻しに依存する。

実験結果

リサーチクエスチョン

• RQ1 一般化リッチ曲率 $ R^{11}_{\alpha} $ にどのような条件が、三平方接触部分リーマン多様体が測度収縮性質 $ \mathcal{MCP}(0;2,3) $ を満たすために必要十分となるか？
• RQ2 余接バンドル上の標準的ダーブォー枠は、リーマン的リッチ曲率を一般化する曲率不変量をどのように符号化するか？
• RQ3 Sasakian多様体において、測度収縮性質 $ \mathcal{MCP}(0;2,3) $ は曲率下界によって特徴づけられるか？
• RQ4 この部分リーマン的設定において $ \mathcal{MCP}(0;2,3) $ からどのような幾何的・解析的帰結が得られるか？
• RQ5 コンパクトな接触部分リーマン多様体に対して、余接バンドルにおける非有界な点列に沿った曲率不変量は、漸近的にどのように振る舞うか？

主な発見

• $ R^{11}_{\alpha} \geq 0 $ がすべての $ \alpha \in T^*M $ に対して成り立つことは、三平方Sasakian接触部分リーマン多様体が $ \mathcal{MCP}(0;2,3) $ を満たすための必要十分条件であり、これは古典的 $ MCP(0,5) $ 条件と一致する。
• 測度収縮性質は体積二重性を意味する：すべての $ kR > 0 $ に対して $ \eta(B_{x_0}(kR)) \leq 480 \, \eta(B_{x_0}(2kR)) $ が成り立つ。
• $ \mathcal{MCP}(0;2,3) $ 条件は、部分ラプラシアンに対する局所パンカルエ不等式を意味する。
• この条件は、部分ラプラシアンの非負な準調和関数に対してハーナック不等式をもたらす。
• リウヴィルの性質が成り立つ：部分ラプラシアンの有界な調和関数は定数関数である。
• 任意のコンパクトな三平方接触部分リーマン多様体に対して、$ h_1, h_2 $ の漸近的挙動と $ R^{22} $ の多項式的構造のおかげで、$ |\alpha| \to \infty $ のとき $ R^{22}_{\alpha} $ は有界のままである。