[論文レビュー] Cross ratios and isomorphisms of CAT(0) cube complexes

Jonas Beyrer, Elia Fioravanti+1 more|arXiv (Cornell University)|May 22, 2018

Geometric and Algebraic Topology被引用数 1

ひとこと要約

この論文は、CAT(0)キューブ複体のローラー境界に値が$ℤ$である交比を導入し、その交比を保つ任意の双対写像が一意的にキューブ同型写像に拡張可能であることを示している。この結果は、無限次元で局所的に無限大の複体であっても、自明な自己同型群を持つ場合でさえ普遍的に成り立つ。これにより、境界データからキューブ複体構造を回復する強力な剛性理論が確立される。

ABSTRACT

We introduce a $\mathbb{Z}$-valued cross ratio on Roller boundaries of ${ m CAT(0)}$ cube complexes. We motivate its relevance by showing that every cross-ratio preserving bijection of Roller boundaries uniquely extends to a cubical isomorphism. Our results are strikingly general and even apply to infinite dimensional, locally infinite cube complexes with trivial automorphism group.

研究の動機と目的

• CAT(0)キューブ複体のローラー境界に新たな不変量—$ℤ$-値交比—を定義すること。
• この交比がキューブ構造を完全に捉えられることを示し、境界の間の交比を保つ双対写像が一意的にキューブ同型写像に拡張可能であることを証明すること。
• この剛性結果が、無限次元または局所的に無限大の複体であっても、自明な自己同型群を持つ場合でさえ普遍的に成り立つことを示すこと。
• 複体の全体的な知識を必要とせず、境界に基づいた基準を用いてキューブ同型写像を同定すること。

提案手法

• 組合せ的測地線と超フィルターの交差性を用いて、ローラー境界に$ℤ$-値交比を定義する。
• キューブ複体の組合せ的構造を活用し、境界に存在する点のペアの相対的位置関係として交比を特徴付ける。
• 交比を保つ境界間の双対写像が、超フィルターおよび組合せ的測地線の包含関係を保つことを証明する。
• 交比を用いてキューブ構造を局所的に再構成し、その写像が一意的にキューブ同型写像に上昇することを示す。
• 無限次元および局所的に無限大のキューブ複体に対してもこの結果を適用し、局所的有限性の欠如や非自明な自己同型群の不在にもかかわらず、この方法が有効であることを示す。
• キューブ同型写像の下で交比が不変であり、境界データのみから同型写像を同定するのに十分であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 ローラー境界に定義された組合せ的不変量は、CAT(0)キューブ複体の全キューブ構造を検出できるか？
• RQ2 ローラー境界間の交比を保つ双対写像は、必ずしも元の複体のキューブ同型写像から生じるのか？
• RQ3 局所的有限性の欠如や非自明な自己同型群の不在の下でも、交比はどれほど頑健な不変量であるか？
• RQ4 交比を用いて境界データから全キューブ複体を再構成可能か？
• RQ5 交比は境界を越えて、複体の組合せ的幾何をどの程度にまで記述できるか？

主な発見

• 任意のCAT(0)キューブ複体のローラー境界に$ℤ$-値交比が定義され、その構造に対する新たな不変量が得られた。
• ローラー境界間の交比を保つ任意の双対写像が、一意的に元の複体のキューブ同型写像に拡張可能である。
• この結果は、無限次元または局所的に無限大のCAT(0)キューブ複体に対しても普遍的に成り立つ。
• 自明な自己同型群を持つ複体に対しても適用可能であり、境界データのみから非自明な同型写像を検出可能であることを示した。
• 交比はキューブ同型写像の完全な不変量を提供する。同型写像は、境界における交比の保存と同値である。
• 構成により、強い剛性結果が確立された。すなわち、キューブ構造は境界における交比によって完全に決定される。