[論文レビュー] Curvature of sub-Riemannian spaces

Marius Buliga|ArXiv.org|Nov 26, 2003

Geometric Analysis and Curvature Flows参考文献 12被引用数 6

ひとこと要約

本稿は、Gromov-Hausdorff距離から導かれる「測度プロファイル」の可展性に基づき、部分リーマン多様体に対する曲率の測度論的定式化を導入する。この定式化により、同次的モデルを用いて曲率を分類し、3次元接触多様体に対しては曲率クラスが等長写像を決定することを証明する。また、3次元の同次的接触群の1つの族と、2次元の非群型同次空間の族を特定する。

ABSTRACT

To any metric spaces there is an associated metric profile. The rectifiability of the metric profile gives a good notion of curvature of a sub-Riemannian space. We shall say that a curvature class is the rectifiability class of the metric profile. We classify then the curvatures by looking to homogeneous metric spaces. The classification problem is solved for contact 3 manifolds, where we rediscover a 3 dimensional family of homogeneous contact manifolds, with a distinguished 2 dimensional family of contact manifolds which don't have a natural group structure.

研究の動機と目的

• 非可積分な設定において誤解を招く微分幾何学に依存しない、部分リーマン多様体の曲率の概念を定義すること。
• 特に3次元接触多様体に注目して、同次的測度空間を用いて部分リーマン曲率を分類すること。
• 測度プロファイルの可展性によって定義される曲率クラスが、3次元の同次的接触群の等長写像を決定することを確立すること。
• ミンチルの定理の複数の証明が同程度に複雑である理由を、それらがみな同じ根本的な測度プロファイル構造を調べていることによって明らかにすること。
• 測度プロファイル構成が内在的かつ純粋に測度論的であることを示し、部分リーマン幾何学における微分幾何学的アーティファクトを避けること。

提案手法

• 点の周囲のスケーリングされた測度球間のGromov-Hausdorff距離として測度プロファイルを定義する。
• 測度プロファイルの漸近的挙動を用いて、スケーリングされた距離の可展性クラスとして曲率を定義する。
• Pansu微分とカーノープロパー群構造を用いて、部分リーマン多様体の無限小幾何を分析する。
• 特権座標と内在的スケーリングを用いて、点の近傍における測度構造を線形化する。
• ボールボックス定理を用いて、水平成分および垂直成分における部分リーマン距離とユークリッドノルムを比較する。
• Baker-Campbell-Hausdorff公式を適用して群演算を近似し、左不変構造における距離を比較する。

実験結果

リサーチクエスチョン

• RQ1 非ユークリッド的で非可積分な設定において、微分幾何学に依存しない部分リーマン幾何学の曲率を定義することは可能か？
• RQ2 測度プロファイルは、ミンチルの定理の異なる証明をどのように統一するか？
• RQ3 3次元の同次的接触多様体の曲率クラスをどのように分類できるか？
• RQ4 同じ曲率クラスを持つ2つの3次元部分リーマン群は、必ず等長写像であるか？
• RQ5 3次元の同次的接触群の族と2次元の非群型同次空間の族は、曲率の観点からどのように区別されるか？

主な発見

• 部分リーマン多様体の曲率は、その測度プロファイルの可展性クラスとして定義され、微分幾何学的要素を一切含まない純粋な測度論的曲率概念を提供する。
• 3次元の同次的接触多様体に対しては、曲率の分類が3次元の群族（例：SO(3)、SL(2,R)、E(1,1)）と2次元の非群型同次空間族を生じる。
• 本稿では、同じ曲率クラスを持つ2つの3次元部分リーマン群が等長写像であることを証明し、強い剛性結果を確立する。
• 仮定 $ d_1(\rho_\rho x, \rho_\rho y) - d_2(\rho_\rho x, \rho_\rho y) = o(\rho^2) $ が成り立てば、同じリー括弧を有することを示し、曲率が代数的構造を決定することを示す。
• 測度プロファイル構成は、ミンチルの定理の複数の証明が構造的に類似しており、同等に複雑である理由を説明する。これらはみな、同じ漸近的測度構造を調べている。
• Baker-Campbell-Hausdorff公式とボールボックス定理の使用により、ノルム群モデルにおける距離の正確な比較が可能となり、曲率が局所幾何の全貌を捉えていることを確認する。