[論文レビュー] A characterization of sub-riemannian spaces as length dilatation structures constructed via coherent projections

Marius Buliga|arXiv (Cornell University)|Oct 28, 2008

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

ひとこと要約

本稿は、長さ拡大構造と整合的射影を用いて、部分リーマン幾何学の内在的・公理的特徴付けを提示する。正則部分リーマン多様体の主要な幾何的特徴——例えばカーノー群の接空間構造——が微分幾何学に依存せずに、最小限の12個の公理から導出可能であることを示している。この手法は、グロモフの内在的視点を拡張し、拡大を基本的構造として組み込むことで、整合的射影と調整された拡大構造を介して、メトリック的および代数的接空間の振る舞いを統一的に扱う。

ABSTRACT

We introduce length dilatation structures on metric spaces, tempered dilatation structures and coherent projections and explore the relations between these objects and the Radon-Nikodym property and Gamma-convergence of length functionals. Then we show that the main properties of sub-riemannian spaces can be obtained from pairs of length dilatation structures, the first being a tempered one and the second obtained via a coherent projection. Thus we get an intrinsic, synthetic, axiomatic description of sub-riemannian geometry, which transforms the classical construction of a Carnot-Caratheodory distance on a regular sub-riemannian manifold into a model for this abstract sub-riemannian geometry.

研究の動機と目的

• 部分リーマン幾何学の内在的・合成的・座標に依存しない公理的体系を構築すること。この体系は、多様体の背後にある微分構造に依存しない。
• 正則部分リーマン空間の本質的幾何的特徴——特に冪零接群構造——が、拡大構造と整合的射影から導出可能であることを示すこと。
• 部分リーマン幾何学におけるメトリック（カーヌォー＝カラテオドリ距離）と代数的（カーノー群）構造を、最小限の公理集合によって統一すること。
• ルードン＝ニコディム性質と長さ汎関数のガンマ収束が、長さ拡大構造の枠組みに自然に埋め込まれていることを示すこと。
• シーベルトによる同調的リー群の特徴付けを一般化すること。群論的条件を、メトリックと拡大構造の枠組みに置き換えること。

提案手法

• 長さ拡大構造の概念を導入し、近似的な自己相似性を記述するとともに、錐的群構造を持つメトリック接バンドルを誘導する。
• 調整された拡大構造を定義し、長さ汎関数の収束性とルードン＝ニコディム性質との整合性を保証する。
• 2つの拡大構造を関連付けるメカニズムとして、整合的射影を導入する。1つは調整されたもの、もう1つは射影によって導かれるもので、部分リーマン幾何学における非可積分分布をモデル化する。
• 繰り返しの拡大と射影を用いた短い曲線の構成を行い、スケールパラメータ ε → 0 のとき、近似曲線が極限曲線に一様収束することを証明する。
• 一般化されたチョウの条件を適用し、整合的射影がメトリック空間内で稠密な曲線を生成することを保証する。これにより、部分リーマン多様体における水平曲線を模倣する。
• 極限構造における曲線の長さが、近似構造における長さの極限として得られることを確立し、長さ汎関数の収束において O(ε) の誤差項が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 部分リーマン幾何学は、微分幾何学を一切用いずに、カーヌォー＝カラテオドリ距離と拡大構造のみを用いて完全に特徴付け可能か？
• RQ2 部分リーマン多様体の接空間構造（カーノー群）は、メトリックと拡大族から、どのように内在的に導出可能か？
• RQ3 近似曲線の長さ汎関数が、極限構造における真の長さに収束するための条件は何か？
• RQ4 2つの拡大構造間の整合的射影は、部分リーマン幾何学における非可積分分布をどのようにモデル化するか？
• RQ5 ルードン＝ニコディム性質は、部分リーマン空間のメトリック的および代数的構造を結びつける上で果たす役割は何か？

主な発見

• 本稿は、微分幾何学に言及せず、長さ拡大構造と整合的射影を用いた12個の公理によって、正則部分リーマン多様体が完全に特徴付けられることを確立した。
• 正則部分リーマン多様体の任意の点における接空間が、拡大構造と整合的射影の枠組みから内在的にカーノー群として得られることを示した。
• 極限構造における曲線の長さは、整合的射影を用いて構成された近似曲線の長さの極限として得られ、収束誤差項が O(ε) のオーダーで抑えられている。
• 構成により、スケールパラメータ ε → 0 のとき、近似曲線が極限曲線に一様収束することが保証され、パラメータ λ に関して一様である。
• この枠組みは、自然にルードン＝ニコディム性質を含み、長さ汎関数のスケーリング挙動を通じて、メトリック的および代数的構造を結びつける。
• 一般化されたチョウの条件が、整合的射影によって生成される稠密な曲線の存在を示すのに十分であることが示され、内在的幾何学が空間の全水平接続性を捉えていることを保証した。