[論文レビュー] The Cartan-Hadamard Theorem for Metric Spaces with Local Bicombings

Benjamin Miesch|arXiv (Cornell University)|Sep 23, 2015

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

ひとこと要約

この論文は、局所的二重測地線（凸で1リプシッツな測地線選択）を備えた距離空間へ、カルタン＝ハダマールの定理を拡張する。このような空間は単連結であり、非正曲率に類似した性質を示す。さらに、局所的から大域的への原理を確立し、完備で単連結かつ局所的に単射な距離空間が、やや弱い条件下で大域的に単射であることを示す。

ABSTRACT

The classical Cartan-Hadamard Theorem was generalized by W. Ballmann for metric spaces with non-positive curvature and by S. Alexander and R. Bishop for locally convex metric spaces. In this paper, we prove the Cartan-Hadamard Theorem in a more general setting, namely for spaces which are not uniquely geodesic but locally possess a suitable selection of geodesics, a so-called convex bicombing. Furthermore, we deduce a local to global theorem for injective (or hyperconvex) metric spaces, saying that under certain conditions a complete, simply-connected, locally injective metric space is injective. A related result for absolute $1$-Lipschitz retracts follows.

研究の動機と目的

• 一意的測地線空間にとどまらない、構造化された測地線選択を持つより一般的な距離空間へ、古典的カルタン＝ハダマールの定理を拡張すること。
• 一意的測地線を持たない距離空間における局所的二重測地線の幾何学的・位相的帰結を調査すること。
• 単射（超凸）距離空間における局所的から大域的への原理を確立し、局所的単射性がいつ大域的単射性を意味するかを同定すること。
• 凸二重測地線、非正曲率、および絶対1リプシッツリトラクトの構造との関係を探索すること。

提案手法

• 凸二重測地線の概念を導入：近傍内で点のペアを結ぶ1リプシッツ曲線の族で、凸性の性質により測地線に類似した振る舞いを示す。
• このような二重測地線の存在を用いて、一意的測地線を持たない空間に対しても非正曲率の概念を定義する。
• アレクサンドロフ幾何学にインspiredされた比較技法を用い、局所的二重測地線を持つ空間の大域的構造を分析する。
• ホモトピー上昇性や単連結性を含む位相的議論を用い、局所的単射性から大域的単射性を導出する。
• 絶対リトラクト理論と超凸性を活用し、局所的単射性が大域的単射性を意味する条件を特徴付ける。
• 完備かつ単連結な空間において、凸二重測地線と絶対1リプシッツリトラクトの構造との間に双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 一意的測地線でないが、凸二重測地線を備えた距離空間へ、カルタン＝ハダマールの定理を一般化できるか？
• RQ2 凸二重測地線を備えた距離空間に、どのような位相的・幾何学的性質が現れるか？
• RQ3 完備かつ単連結な距離空間において、局所的単射性（超凸性）がいつ大域的単射性を意味するか？
• RQ4 凸二重測地線は、距離空間における絶対1リプシッツリトラクトの構造とどのように関係するか？
• RQ5 局所的二重測地線を持つ空間において、CAT(0)空間の非正曲率的性質をどの程度回復できるか？

主な発見

• 凸二重測地線を備えた距離空間ではカルタン＝ハダマールの定理が成り立ち、そのような空間は単連結であり、非正曲率に類似した振る舞いを示す。
• 局所的に凸な二重測地線を備えた完備かつ単連結な距離空間が、局所的に単射であれば、大域的に単射（超凸）である。
• 単射距離空間における局所的から大域的への原理が確立された：単連結性と完備性の仮定の下で、局所的単射性は大域的単射性を意味する。
• 凸二重測地線を備えた空間は、曲率のよい定義を備え、一意的測地線を持たない設定へCAT(0)条件を一般化する。
• 凸二重測地線の存在は、空間が完備かつ単連結であれば、絶対1リプシッツリトラクトであることを意味する。
• 本研究の結果は、バーマンとアレクサンダー＝ビショップの先行研究を統合・一般化し、二重測地線構造を介して一意的測地線を持たない空間へ拡張している。