[論文レビュー] Introduction to metric spaces with dilations

Marius Buliga|arXiv (Cornell University)|Jul 14, 2010

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

ひとこと要約

この論文は、スケーリング可能で自己同相似な作用を組み込むことで、リーマン幾何やサブリーマン幾何を一般化する、拡大作用を備えた距離空間——すなわち、距離空間における微分積分学と幾何測度論の枠組みを確立する。長さ汎関数のガンマ収束とラドン＝ニコディム性質を用いて、この性質を備えた温度調整された拡大構造は、長さ拡大構造であることを証明する。

ABSTRACT

This paper gives a short introduction into the metric theory of spaces with dilations.

研究の動機と目的

• 非滑らかな距離空間における微分積分学のための距離論的基盤を構築すること。
• 従来の微分可能性が欠如する空間において、長さ汎関数とその収束（ガンマ収束）を一般化すること。
• 距離空間における拡大構造が、ラドン＝ニコディム性質を満たす場合に、長さ構造が定義可能である条件を確立すること。
• 拡大構造を用いて、サブリーマン幾何と距離空間における解析の結果を統一的かつ拡張すること。
• 温度調整された拡大構造の概念を導入し、空間全体にわたるスケーリング行動に一様な制御をもたらすこと。

提案手法

• 点の近くで距離を一様にスケーリングする1パラメータ族の拡大作用を備えた距離空間として、拡大作用を備えた距離空間を定義する。
• ノルム付き群と群ガロアを定義し、距離空間の背後にある代数的構造を一般化することで、非ユークリッド的状況でも群に類似した作用を可能にする。
• 距離空間同士を比較し、漸近的スケーリング行動を捉える「距離的プロファイル」を定義するために、グロモフ＝ハウスドルフ距離を用いる。
• 拡大構造における距離列の極限を調べるために、長さ汎関数のガンマ収束（変分的収束）を適用する。
• $\mathcal{D}(\Omega,\bar{d},\bar{\delta})$ と表される距離のクラスを導入し、基準となる拡大構造に対して一様なスケーリング境界を満たすものとする。
• 無限小の距離的挙動を特徴付ける関数 $\phi_d(x,u) = \limsup_{\varepsilon \to 0} \frac{1}{\varepsilon} d(x, \delta^x_\varepsilon u)$ を定義し、ラドン＝ニコディム性質と結びつける。

実験結果

リサーチクエスチョン

• RQ1 拡大作用を備えた距離空間が、無限小スケーリングを通じて一貫した長さの概念を有するための条件は何か？
• RQ2 長さ汎関数のガンマ収束は、拡大作用を備えた空間でどのように振る舞い、収束を保証する条件は何か？
• RQ3 ラドン＝ニコディム性質は、拡大構造の距離的構造を特徴付ける上で果たす役割は何か？
• RQ4 拡大構造が「温度調整された」ものとされるのはいつか？ そして、これにはリプシッツ曲線の同値性にどのような影響を与えるか？
• RQ5 ラドン＝ニコディム性質を備えた強力で温度調整された拡大構造から、長さ拡大構造を構成できるか？

主な発見

• 温度調整され、ラドン＝ニコディム性質を備えた強い拡大構造は、長さ拡大構造である。これは、距離が長さ汎関数から生じることを意味する。
• このような空間における曲線の長さは、$\int_a^b \phi_d(c(t), \dot{c}(t)) \, dt$ の形の積分の下界として与えられる。ここで $\phi_d$ は無限小スケーリング挙動を捉える。
• コンパクト集合上で一様に収束する $\mathcal{D}(\Omega,\bar{d},\bar{\delta})$ 内の距離列に対して、長さ汎関数のガンマ収束が成り立つ。
• 任意の $d \in \mathcal{D}(\Omega,\bar{d},\bar{\delta})$ に対して、関数 $\phi_d(x,u)$ は $c\,\bar{d}^x(x,u) \leq \phi_d(x,u) \leq C\,\bar{d}^x(x,u)$ を満たし、スケーリングに一様な制御が得られる。
• $d_n = \bar{\delta}^x_{\varepsilon_n} \bar{d}$ かつ $\varepsilon_n \to 0$ のとき、$d_n \to \bar{d}^x$ であり、関連する長さ汎関数 $L_n$ は $L$ にガンマ収束する。これは長さ構造の安定性を確認する。
• 温度調整された拡大構造において、$d$-リプシッツ曲線は $\bar{d}$-リプシッツ曲線と同値である。これは、スケーリング構造が距離的正則性を保存することを示す。