[论文解读] A combination theorem for cubulation in small cancellation theory over free products

Alexandre Martin, Markus Steenbock|arXiv (Cornell University)|Sep 12, 2014

Geometric and Algebraic Topology参考文献 26被引用 12

一句话总结

本文在自由积上的小规模取消理论中建立了关于立方化的组合定理，证明了将有限个立方化群的自由积模以满足经典 $C^\prime(1/6)$ 条件的有限个关系所得到的商群本身也是立方化群。作者通过将自由因子中的墙结构与关联的2复形群的万有覆叠中的墙结构相结合，构造了墙空间结构，从而在不施加外围子群几何限制（除其立方化性外）的条件下，实现了在 CAT(0) 立方复形上的共轭紧致作用。

ABSTRACT

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of relatively hyperbolic groups that can be cubulated, and constitutes the first instance of a cubulability theorem for relatively hyperbolic groups which does not require any geometric assumption on the peripheral subgroups besides their cubulability. We do this by constructing appropriate wallspace structures for such groups, by combining walls of the free factors with walls coming from the universal cover of an associated $2$-complex of groups.

研究动机与目标

• 开发一种关于通过自由积上的小规模取消构造出的群的立方化的一般组合定理。
• 在相对双曲群的立方化定理中消除对外围子群几何假设的要求。
• 通过结合自由因子中的墙结构与2复形群的万有覆叠中的墙结构，显式构造此类群的墙空间结构。
• 证明在双曲复形上，由该群作用于对偶 CAT(0) 立方复形上的作用是共轭紧致的，即使外围子群并非双曲或几乎阿贝尔群。

提出的方法

• 通过将立方化自由因子的墙结构与关联的小规模取消表示所对应的2复形群的万有覆叠中导出的墙结构相结合，构造墙空间结构。
• 利用 $C^\prime(1/6)$-小规模取消条件，确保关联多边形复形的非正曲率，并控制墙的几何结构。
• 应用高斯-博内定理分析顶点和多边形的曲率，证明在给定角度分配下，任何胞腔均无负曲率。
• 利用超载体及其交集的结构，证明复形中成对交叉的超载体具有非空公共交集，这是证明立方化性的关键步骤。
• 利用超载体到边界树的形变收缩，分析多条超载体交集中路径的交点与顶点的包含关系。
• 证明所构造的墙空间结构诱导出在对偶 CAT(0) 立方复形上的共轭紧致且适当的群作用，从而确认商群的立方化性质。

实验结果

研究问题

• RQ1 在何种条件下，可将自由因子中的墙结构与2复形群中的墙结构组合成通过自由积上的小规模取消构造出的群的全局墙空间结构？
• RQ2 在不对外围子群施加几何约束的前提下，立方化性质是否可在自由积的 $C^\prime(1/6)$-小规模取消商群中保持？
• RQ3 当自由因子为立方化群但不一定是双曲或几乎阿贝尔群时，该群在对偶 CAT(0) 立方复形上的作用是否仍为共轭紧致？
• RQ4 $C^\prime(1/6)$ 条件如何确保关联多边形复形中的非正曲率，特别是与关系相关的顶点处的曲率？
• RQ5 在何种条件下，复形中多个超载体的交集包含一个顶点，这是全局墙空间存在的必要条件？

主要发现

• 由有限个立方化群的自由积模以 $C^\prime(1/6)$-小规模取消关系所得到的商群 $G$ 是立方化群。
• 即使自由因子不是双曲或几乎阿贝尔群，该构造仍能诱导出在对偶 CAT(0) 立方复形上的共轭紧致作用。
• 墙空间结构通过结合自由因子中的墙与2复形群的万有覆叠中的墙而构建，确保了结构的相容性与全局一致性。
• $C^\prime(1/6)$ 条件确保所有多边形与顶点曲率均为非正，仅与关系相关的顶点具有恰好 $\frac{2\pi}{3}$ 的曲率，这与非正曲率一致。
• 任意三个成对交叉的超载体的交集包含一个顶点，这是全局墙空间存在的关键拓扑条件。
• 该方法首次为相对双曲群提供了不依赖于外围子群强几何假设（仅要求其立方化）的立方化定理。