[論文レビュー] An invitation to Alexandrov geometry: CAT(0) spaces

Stephanie Alexander, Vitali Kapovitch+1 more|arXiv (Cornell University)|Jan 12, 2017

Geometric and Algebraic Topology参考文献 10被引用数 15

ひとこと要約

この論文は、アレクサンドロフ幾何学における中心的概念としてCAT(0)空間を導入し、Gromov–Hausdorff収束の下で、CAT[κ]空間の列の極限が、弱い収束条件のもとで依然としてCAT[κ]空間のままであることを確立している。主な貢献は、幾何的性質が極限においても保たれるという基礎的な安定性結果であり、非正曲率をもつ距離空間の解析において不可欠である。

ABSTRACT

Our goal is to show the beauty and power of Alexandrov geometry by reaching interesting applications and theorems with a minimum of preparation. The topics include 1. Reshetnyak's gluing theorem, 2. Estimates on the number of collisions in billiards, 3. Reshetnyak's majorization theorem, 4. Hadamard--Cartan globalization theorem, 5. Polyhedral spaces, 6. Construction of exotic aspherical manifolds, 7. The geometry of two-convex sets in Euclidean space, 8. Barycenters and dimension theory.

研究の動機と目的

• この分野に馴染みのない研究者を対象に、CAT(0)空間に焦点を当てたアレクサンドロフ幾何学へのアクセスしやすい入門を提供すること。
• Gromov–Hausdorff収束におけるCAT[κ]空間の安定性を確立すること。これは幾何的解析において極めて重要な性質である。
• 極限空間内の点の四重組が、系列の空間内の対応する点の四重組によって十分に近似可能であれば、収束条件が十分であることを明確にすること。
• 非正曲率をもつ距離空間のさらなる研究の基盤を、基礎的な位相的および距離的安定性結果によって築くこと。

提案手法

• Gromov–Hausdorff収束の枠組みを用いて、距離空間の極限を分析する。
• 非正曲率をもつリーマン多様体を一般化するCAT[κ]空間の定義を、このような空間の系列に適用する。
• 極限空間内の任意の有限点集合が、系列の空間内の対応する点の四重組によって、任意に良く近似可能であるという条件に依存する。
• CAT[κ]空間の内在的距離構造を活用し、曲率の上限が極限においても不変であることを用いる。
• 幾何的挙動を説明する例として、コーン構成（U = Cone V）を用いる。

実験結果

リサーチクエスチョン

• RQ1 CAT[κ]空間の列のGromov–Hausdorff極限が、再びCAT[κ]空間であるための条件は何か？
• RQ2 収束の定義の選択が、極限におけるCAT[κ]性質の保存に影響を与えるか？
• RQ3 極限空間内の任意の有限点配置は、近似列の空間内のそれによって近似可能か？
• RQ4 コーン構成（U = Cone V）は、幾何的極限におけるCAT[κ]性質の安定性とどのように関係するか？

主な発見

• 極限空間内の点の四重組が系列内の対応する四重組によって近似可能であれば、使用する収束定義に関わらず、CAT[κ]空間の列のGromov–Hausdorff極限は常にCAT[κ]空間である。
• 極限空間内の点配置が稠密に近似可能である限り、CAT[κ]性質の極限における安定性は保たれる。
• 点の四重組に対する近似条件を満たしていれば、異なる距離空間の収束枠組みに対してもこの結果は頑健に成り立つ。
• コーン構成（U = Cone V）は、このような極限挙動を分析できる幾何的対象の例を示しているが、その完全な意味は要約では詳細に述べられていない。