[論文レビュー] Metric spaces with unique tangents

Enrico Le Donne|arXiv (Cornell University)|Dec 10, 2010

Advanced Differential Geometry Research参考文献 1被引用数 5

ひとこと要約

この論文は、二重測度付き測地的距離空間において、ほとんどすべての点で一意な接空間が存在する場合、それらは部分Finsler距離を備えたカルノー群でなければならないことを確立している。これは、プレイスの接測度現象を距離空間へ一般化したものである。主な結果は、接空間の一意性が等長的斉次性を示唆し、測地的仮定のもとでは、接空間がカルノー群とカルノー＝カラテオドリ距離を備えることを強制する。

ABSTRACT

We are interested in studying doubling metric spaces with the property that at some of the points the metric tangent is unique. In such a setting, Finsler-Carnot-Caratheodory geometries and Carnot groups appear as models for the tangents. The results are based on an analogue for metric spaces of Preiss's phenomenon: tangents of tangents are tangents.

研究の動機と目的

• 測度付き二重距離空間において、ほとんど至る所で接空間が一意となるような接空間の構造を調査すること。
• 測度空間および接付き点付き空間の設定において、プレイスの接測度現象を拡張すること。
• 接空間の一意性を仮定した場合の可能な接空間の特徴付け、特に測地的距離空間における特徴付けをすること。
• 一意な接空間が等長的斉次でなければならないこと、さらに測地的仮定のもとではカルノー群と部分Finsler距離を備えることの証明。
• 元の空間がbiLipschitz斉次であるならば、すべての接空間が同じ斉次空間にbiLipschitz同値であり、最終的にはカルノー群に同値であることを確立すること。

提案手法

• プレイスの接測度に関する定理を距離空間へ応用するため、$\rho_i \to \infty$ のときのスケーリングされた空間 $(X, \rho_i d, x)$ のGromov-Hausdorff極限として接付き空間を定義する。
• 距離と測度の二重性を用いて、Gromov-Hausdorff収束による接極限の存在とコンパクト性を保証する。
• $\mu$-ほとんど至る所の $x$ に対して、$x$ における接空間の接空間が、再び $x$ における接空間であることを証明し、プレイスの現象の距離的類似を確立する。
• 点 $x$ における接空間の一意性を用いて、接空間 $Y$ が等長的斉次、すなわちその等長群が $Y$ 上に推移的に作用することを示す。
• ベレストフスキーの定理を適用し、測地的かつ等長的斉次な距離空間が、群 $G$ とそのコンパクト安定化部分群 $H$ の商 $G/H$ 上の部分Finsler距離として得られることを結論づける。
• 接空間が拡大不変（自己相似）であるコーン構造を有することを用い、ミッチェルの定理を適用して、接空間がカルノー群でなければならないことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 測度付き二重測地的距離空間において、接空間がほとんど至る所で一意となるならば、その幾何的構造はどのようなものでなければならないか？
• RQ2 接測度に関するプレイスの現象の距離的類似は、点付き距離空間の設定へどのように拡張されるか？
• RQ3 接空間の一意性が、接空間の等長的斉次性を示唆するのはどのような条件下か？
• RQ4 測地的で二重測度付きの距離空間において、接空間が一意となる場合、その接空間は部分Finsler距離を備えたカルノー群として特徴付けられるか？
• RQ5 biLipschitz斉次性は、このような距離空間における接空間の構造を制約する役割を果たすか？

主な発見

• $\mu$-ほとんど至る所の $x$ に対して、$\operatorname{Tan}(X,x)$ に唯一の要素しか含まれないならば、その接空間 $Y$ は等長的斉次である。つまり、$Y$ の等長群が $Y$ 上に推移的に作用する。
• 測地的で二重測度付きの距離空間において、接空間が一意となる場合、ほとんど至る所の点における接空間は、左不変な部分Finsler距離を備えたカルノー群 $\mathbb{G}$ に一致する。その水平分布はリー代数の第一層に一致する。
• 接空間はコーン構造を有し、拡大不変かつ接空間の一意性を満たすため、それはカルノー群に等長同型でなければならない。
• 接空間の等長群はリー群であり、空間はこの群のコンパクト安定化部分群 $H$ による商 $G/H$ に等長同型である。
• 元の空間がbiLipschitz斉次であるならば、すべての点における接空間は、同じ斉次空間にbiLipschitz同値であり、最終的にはカルノー群に同値である。
• 本結果は、グレアソン、モンゴメリー＝ジッピン、ベレストフスキー、ミッチェル、マーガリス＝モストウの古典的結果を、一意な接空間を有する距離空間の設定へ一般化する。