[论文解读] ${ 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) 乘积复形的 Roller 边界上引入了一个取值于 $\mathbb{Z}$ 的交比，证明了任意保持交比的边界双射唯一地延拓为一个立方同构。该结果适用于无限维、局部无限的复形，且在无群作用或有限维性假设下，完全由边界交比重构复形。

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 边界上定义一种离散的、取值于整数的交比。
• 建立该交比完全确定复形的等距类型。
• 证明任意保持交比的边界双射均唯一地延拓为立方同构。
• 消除有限维性、局部有限性或群作用存在等限制性假设。
• 将双曲空间中的结果推广至立方复形的组合设定。

提出的方法

• 通过分离边界点对的超平面数量之差定义交比：$\mathrm{cr}(x,y,z,w) = \#\mathscr{W}(x,z|y,w) - \#\mathscr{W}(x,w|y,z)$。
• 利用复形上的 $\ell^1$ 度量，借助其胞腔结构，并通过 Horoboundary（Roller 边界）定义边界。
• 通过三元组边界点的中位映射 $m(f(x),f(y),f(z))$ 构造边界保持交比映射 $f: \partial X \to \partial Y$ 的延拓 $F: X \to Y$。
• 通过分析射线上的序列收敛性并利用 Gromov 乘积估计，证明延拓 $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) 乘积复形的 Roller 边界之间保持交比的双射是否总能延拓为立方同构？
• RQ3 在无限维或非局部有限的复形中，交比在自同构和边界映射下在多大程度上保持不变？
• RQ4 极端顶点的缺失如何影响复形在边界数据下的刚性？
• RQ5 在不假设有限维性或群作用的前提下，交比能否用于建立刚性结果？

主要发现

• 交比 $\mathrm{cr}(x,y,z,w)$ 取整数值，定义为分离 $x,z$ 与 $y,w$ 的超平面数与分离 $x,w$ 与 $y,z$ 的超平面数之差。
• 任意保持交比的双射 $f: \partial X \to \partial Y$（在无极端顶点且不与 $\mathbb{R}$ 同构的 CAT(0) 乘积复形之间）唯一地延拓为立方同构 $F: X \to Y$。
• 该结果适用于无限维和局部无限的立方复形，即使在无任何群作用的情况下也成立。
• 无极端顶点是必要的，以防止局部修改在边界上不可见。
• 证明依赖于在 $\partial_s X$（直线射线）中构造边界点，以强制中位映射收敛，并在 $\overline{F}(x) \neq f(x)$ 时导出矛盾。
• 交比在 $\mathrm{Aut}(X)$ 的对角作用下保持不变，且与任何度量选择无关。