[論文レビュー] ${ m CAT(0)}$ cube complexes are determined by their boundary cross ratio

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

Geometric and Algebraic Topology参考文献 22被引用数 7

ひとこと要約

本稿では、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)キューブ複体のローラー境界に離散的で整数値の交叉比を定義すること。
• この交叉比が複体の等長型を完全に決定することを確立すること。
• 境界間の交叉比を保つ任意の全単射が一意にキューブ型同型写像に拡張されることを証明すること。
• 有限次元性、局所的有限性、群作用の存在といった制限的仮定を排除すること。
• 双曲空間における結果をキューブ複体の組合せ的設定へ一般化すること。

提案手法

• 境界点のペア間を分離する超平面の数の差を用いて交叉比を定義する：$\mathrm{cr}(x,y,z,w) = \#\mathscr{W}(x,z|y,w) - \#\mathscr{W}(x,w|y,z)$。
• キューブ複体上の$\ell^1$距離を用い、細胞構造を活用してホロ境界（ローラー境界）を定義する。
• 境界点の三つ組の中央値写像$m(f(x),f(y),f(z))$を用いて、境界交叉比を保つ写像$f: \partial X \to \partial Y$の拡張$F: X \to Y$を構成する。
• レイトの収束性とグロモフ積の推定を用いて、拡張$F$が適切に定義されており、キューブ構造を保つことを証明する。
• 非直線的境界点を扱うために、$\partial_s X$（直線的レイト）における特定の境界点を構成し、交叉比の不変性によって矛盾を導く。
• 矛盾仮定のもとで$\mathrm{cr}(\overline{F}(x),w,y,z) > \mathrm{cr}(f(x),w,y,z)$が成り立つことを使い、交叉比の保存が破られるのを示す。

実験結果

リサーチクエスチョン

• RQ1 CAT(0)キューブ複体の等長型は、境界の交叉比から完全に再構成可能か？
• RQ2 CAT(0)キューブ複体のローラー境界間の交叉比を保つ全単射は、常にキューブ型同型写像に一意に拡張可能か？
• RQ3 無限大または局所的に無限大の複体において、交叉比は自己同型や境界写像に対してどの程度不変か？
• RQ4 極端な頂点が存在しない場合、境界データによる複体の剛性にどのような影響があるか？
• RQ5 有限次元性や群作用の仮定なしに、交叉比を用いて剛性結果を確立できるか？

主な発見

• 交叉比$\mathrm{cr}(x,y,z,w)$は整数値であり、$x,z$と$y,w$を分離する超平面の数の差、および$x,w$と$y,z$を分離する超平面の数の差として定義される。
• 極端な頂点を持たない（$\mathbb{R}$に同型でない）CAT(0)キューブ複体$X,Y$について、境界間の任意の交叉比を保つ全単射$f: \partial X \to \partial Y$は、一意にキューブ型同型写像$F: X \to Y$に拡張可能である。
• この結果は、無限次元および局所的に無限大のキューブ複体に対しても成り立ち、群作用が存在しなくても成立する。
• 極端な頂点の不在は、局所的変更が境界で見えなくなるのを防ぐために不可欠である。
• 拡張$\overline{F}(x) \neq f(x)$の仮定のもとで、$\partial_s X$（直線的レイト）における境界点を構成し、中央値写像の収束を強制して矛盾を導く。
• 交叉比は$\mathrm{Aut}(X)$の対角的作用に関して不変であり、任意の計量の選択に依存しない。