[论文解读] On regular CAT(0) cube complexes

Nir Lazarovich|arXiv (Cornell University)|Nov 1, 2014

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

一句话总结

本文建立了唯一性的一个必要且充分的组合条件——超级巨星传递性（superstar-transitivity），用于具有给定有限旗复形 $L$ 作为顶点邻域的 CAT(0) 超立方复形。证明了此类复形具有超平面自同构扩张性质（hyperplane automorphism extension property），并在附加条件下，其自同构群是几乎单的，推广了关于树和建筑物的经典结果。

ABSTRACT

We provide a necessary and sufficient condition on a finite flag simplicial complex, L, for which there exists a unique CAT(0) cube complex whose vertex links are all isomorphic to L. We then find new examples of such CAT(0) cube complexes and prove that their automorphism groups are virtually simple. The latter uses a result, which we prove in the appendix, about the simplicity of certain subgroups of the automorphism group of a rank-one CAT(0) cube complex. This result generalizes previous results by Tits and by Haglund and Paulin.

研究动机与目标

• 确定当一个 CAT(0) 超立方复形的顶点邻域同构于固定的有限旗复形 $L$ 时，其在同构意义下是否唯一。
• 刻画此类唯一复形的自同构群，特别是其单性性质。
• 推广 Tits 与 Haglund-Paulin 关于一秩 CAT(0) 超立方复形中自同构群单性的经典结果。
• 在唯一 $L$-超立方复形中建立超平面自同构扩张性质（HAEP），以支持群论分析。

提出的方法

• 引入超级巨星传递性的概念：对 $L$ 中任意两个单形 $\sigma, \sigma'$ 及任意将 $\sigma$ 映射到 $\sigma'$ 的邻域同构 $\phi: \text{st}_L(\sigma) \to \text{st}_L(\sigma')$，存在 $L$ 的全局自同构 $\Phi$ 扩展 $\phi$。
• 通过在超立方复形的顶点上进行归纳构造，基于超级巨星传递性条件，建立 $L$-超立方复形之间的同构。
• 将戴维斯复形 $D(L)$ 构造为 $L$-超立方复形的一个典范例子，并证明当且仅当 $L$ 是超级巨星传递性时，该复形是唯一的。
• 证明超平面自同构扩张性质（HAEP）：任何有限个两两横截的超平面的自同构均可扩张至整个复形。
• 应用秩刚性定理与正规子群分析（命题 A.8），证明自同构群的非平凡正规子群在边界上非平凡作用，且为非初等的。
• 利用 HAEP 与附录中的单性结果（推广了 Tits 与 Haglund-Paulin 的结果），在适当条件下得出自同构群是几乎单的。

实验结果

研究问题

• RQ1 对于有限旗复形 $L$，在何种组合条件下，存在唯一一个顶点邻域同构于 $L$ 的 CAT(0) 超立方复形？
• RQ2 超平面自同构扩张性质（HAEP）是否对所有唯一 $L$-超立方复形成立？其对自同构群意味着什么？
• RQ3 在何种条件下，唯一 $L$-超立方复形的自同构群是几乎单的？这一结果如何推广关于树与建筑物的已知结论？
• RQ4 超级巨星传递性在确保 $L$-超立方复形的唯一性与群论刚性方面起什么作用？
• RQ5 一秩 CAT(0) 超立方复形的自同构群的正规子群如何表现？在何种条件下它们为非初等且非平凡？

主要发现

• 有限旗复形 $L$ 当且仅当其为超级巨星传递性时，才允许存在唯一一个顶点邻域同构于 $L$ 的 CAT(0) 超立方复形。
• Kneser 复形 $K_n^d$ 提供了一类任意维数的唯一 CAT(0) $L$-超立方复形的新例子。
• 在任意唯一 $L$-超立方复形中，任何有限个两两横截的超平面的自同构均可扩张为整个复形的自同构（即 HAEP 成立）。
• 若复形为一秩且其邻域 $L$ 满足附录中的条件，则唯一 $L$-超立方复形的自同构群是几乎单的。
• 附录证明了一个普遍的单性结果：对一个适当的 CAT(0) 空间 $X$，若 $G^+$ 是一个非初等群，包含一个一秩等距变换，且正规子群 $N \triangleleft G^+$ 在 $\partial X$ 上非平凡作用，则 $N$ 为非初等群且 $\Lambda(N) = \partial X$，从而在适当条件下导致 $\text{Aut}(X)$ 的几乎单性。
• 该结果推广了 Tits 与 Haglund-Paulin 关于 CAT(0) 超立方复形自同构群中半空间固定子群单性的定理。