[論文レビュー] The space of spaces: curvature bounds and gradient flows on the space of metric measure spaces

Karl‐Theodor Sturm|arXiv (Cornell University)|Aug 2, 2012

Advanced Differential Geometry Research被引用数 10

ひとこと要約

本稿では、$L^{2,q}$-歪み距離を備えた測度付き距離空間の空間が、非負に曲率を持つアレクサンドロフ空間であることを確立し、最適なカップリングを用いて測地線を完全に特徴づけ、この空間の完備化上での勾配流理論を可能にしている。主な貢献は、無限次元の測度付き距離構造空間における曲率と力学の研究のための完全な幾何学的・解析的枠組みを提供することにある。

ABSTRACT

Equipped with the L^2-distortion distance, the space "X" of all metric measure spaces (X,d,m) is proven to have nonnegative curvature in the sense of Alexandrov. Geodesics and tangent spaces are characterized in detail. Moreover, classes of semiconvex functionals and their gradient flows on "X" are presented.

研究の動機と目的

• 測度付き距離空間の空間に $L^{2,q}$-歪み距離を用いて幾何的構造を確立すること。
• この空間がアレクサンドロフの意味で非負曲率を持つことを証明し、測度幾何学的手法の適用を可能にすること。
• 測度付き距離空間の空間の完備化における測地線および接錐を特徴づけること。
• この無限次元空間上での擬凸汎関数の勾配流理論を構築すること。
• 空間を等長埋め込みによりより大きなゲージ付き測度空間の空間に埋め込み、その接構造を解析すること。

提案手法

• $L^{2,q}$-歪み距離は、測度のカップリングの下での下界として定義され、点対間の距離の $L^p$-差の $q$ 乗の度合を測定する。
• $\mathbb{X}_{2q}$ 内の測地線は、カップリング測度を伴う積空間上で $((1-t)\,{\sf{d}}_0^q + t\,{\sf{d}}_1^q)^{1/q}$ として明示的に構成される。
• 完備化 $\bar{\mathbb{X}}_{2q}$ は、ほとんど everywhere で三角不等式を満たす擬距離測度空間の空間として同定される。
• $L^2_s(I^2,\mathfrak{L}^2)/\operatorname{Inv}(I,\mathfrak{L})$ への等長埋め込みにより、接錐および指数写像の解析が可能になる。
• 勾配流はエネルギー散逸不等式を用いて定義され、接錐構造を用いて特徴づけられる。
• 回転対称測度に理論を適用し、最適カップリングが回転に関して一意であり、径方向分布関数による単調再配置によって明示的に構成されることを示した。

実験結果

リサーチクエスチョン

• RQ1 測度付き距離空間の空間が $L^{2,q}$-歪み距離を備える場合、アレクサンドロフの意味で非負曲率を有するか？
• RQ2 この空間における測地線は、最適カップリングを用いて明示的に特徴づけられ、パrameter化可能か？
• RQ3 空間の完備化における各点における接錐および指数写像の構造はいかなるものか？
• RQ4 擬凸汎関数はどのように振る舞い、その勾配流の性質は何か？
• RQ5 この空間はヒルベルト的構造に等長埋め込み可能か？ これにより、無限次元測度付き距離空間上での微分積分学が可能になるか？

主な発見

• 空間 $(\mathbb{X}_{2q}, \Delta\!\!\!\Delta_{2,q})$ は、三角不等式および四角不等式比較による検証により、アレクサンドロフの意味で非負曲率を持つ。
• $\Delta\!\!\!\Delta_{2,q}$-測地線は、すべて最適カップリング $\bar{\mathfrak{m}}$ から、$X_0 \times X_1$ 上で $((1-t)\,{\sf{d}}_0^q + t\,{\sf{d}}_1^q)^{1/q}$ の形で得られる。
• $p \in (1,\infty)$ に対して、$\mathbb{X}_{pq}$ 内のすべての測地線はこの形をとる。これにより完全な特徴づけが確立された。
• 完備化 $\bar{\mathbb{X}}_{2q}$ は、距離がほとんど everywhere で三角不等式を満たす擬距離測度空間の空間である。
• $\bar{\mathbb{X}}_{2q}$ は完備で、測地的かつ非負曲率を持つ距離空間であり、接錐および勾配流の完全な理論を支持する。
• 回転対称測度に対して、最適カップリングは回転に関して一意であり、運搬写像は径方向分布の単調再配置により構成される。