[论文解读] 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) 乘积複合體的 Roller 邊界上引入了一個取值於 $ℤ$ 的交比，證明任何保持此交比的雙射均唯一地延拓為一個立方同構。該結果具有普遍性——即使在無限維、局部無限的複合體中，且自同構群為平凡的情況下亦成立——從而為僅憑邊界資料恢復立方複合體結構提供了強大的剛性工具。

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) 乘積複合體的 Roller 邊界上定義一個新的不變量——$ℤ$-值交比。
• 建立該交比能完整捕捉立方結構的結果，證明保持交比的邊界雙射可唯一延拓為立方同構。
• 展示此剛性結果的普遍性，即使在複合體為無限維或局部無限，且自同構群為平凡的情況下亦成立。
• 提供一種基於邊界的標準，用以識別立方同構，而無需掌握複合體的全局資訊。

提出的方法

• 利用組合地圖與超濾子的交集性質，在 Roller 邊界上定義 $ℤ$-值交比。
• 透過立方複合體的組合結構，以邊界上點對的相對位置來表徵交比。
• 證明保持交比的邊界雙射必保持超濾子與組合地圖的關聯關係。
• 利用交比全局重建立方結構，證明此類映射可唯一提升為立方同構。
• 將結果應用於無限維與局部無限的立方複合體，證明即使缺乏局部有限性或非平凡自同構，該方法仍有效。
• 證明交比在立方同構下不變，且僅憑邊界資料即可充分檢測同構。

实验结果

研究问题

• RQ1 邊界上的組合不變量能否檢測 CAT(0) 乘積複合體的完整立方結構？
• RQ2 保持交比的 Roller 邊界雙射是否必然源自底層複合體的立方同構？
• RQ3 在缺乏局部有限性或非平凡自同構的情況下，交比作為不變量的魯棒性如何？
• RQ4 能否僅憑邊界資料利用交比重建整個立方複合體？
• RQ5 交比在邊界之外還在多大程度上編碼了複合體的組合幾何結構？

主要发现

• 在任意 CAT(0) 乘積複合體的 Roller 邊界上定義了 $ℤ$-值交比，為其結構提供了新的不變量。
• 任何保持交比的邊界雙射均唯一地延拓為底層複合體的立方同構。
• 該結果具有普遍性，即使在無限維或局部無限的 CAT(0) 乘積複合體中亦成立。
• 該方法適用於自同構群為平凡的複合體，證明僅憑邊界資料即可檢測非平凡同構。
• 交比作為立方同構的完全不變量：同構等價於邊界上交比的保持。
• 該構造建立了強烈的剛性結果：立方結構完全由邊界上的交比決定。