[论文解读] Cocompactly cubulated 2-dimensional Artin groups

Jingyin Huang, Kasia Jankiewicz+1 more|arXiv (Cornell University)|Oct 28, 2015

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

一句话总结

本文对二维及三生成元Artin群是否（几乎）共紧拟立方化给出了完整刻画，表明此类群在且仅在定义图满足特定标记条件时，能在其上实现一个恰当且共紧的CAT(0)立方复形作用：所有内边必须标记为2，所有叶节点必须标记为偶数。该结果解决了几何群论中关于非右角情况Artin群拟立方化的一个关键问题。

ABSTRACT

We give a necessary and sufficient condition for a 2-dimensional or a three-generator Artin group $A$ to be (virtually) cocompactly cubulated, in terms of the defining graph of $A$.

研究动机与目标

• 确定二维Artin群实现（几乎）共紧拟立方化的必要与充分条件。
• 将该刻画推广至三生成元Artin群。
• 解决如四 Strand braid群等著名例子的拟立方化状态。
• 阐明定义图结构在决定Artin群立方几何中的作用。
• 为该类Artin群提供共紧拟立方化的完整分类。

提出的方法

• 利用CAT(0)立方复形理论与群作用，作者分析了两生成元特殊子群的几何结构。
• 他们证明共紧拟立方化意味着这些子群是凸共紧的，且可分解为垂直与水平因子的乘积。
• 证明依赖于一个关键结果（定理3.8）：在CAT(0)立方复形上作用的高阶乘积双曲群是凸共紧的。
• 通过代数与几何论证表明，若定义图违反标记条件，则子群交集既非垂直也非水平，从而与凸共紧性矛盾。
• 作者应用立方小扩张理论及图流形基本群的结构，分析非右角情形。
• 通过拟等距嵌入与商群中的渐近秩论证，排除了某些非二维情形的拟立方化可能性。

实验结果

研究问题

• RQ1 在何种定义图条件下，二维Artin群是共紧拟立方化的？
• RQ2 三生成元Artin群在何种条件下是几乎共紧拟立方化的？
• RQ3 为何四 Strand braid群不是几乎共紧拟立方化的？
• RQ4 当二维Artin群在CAT(0)立方复形上实现恰当且共紧作用时，其定义图中会产生何种结构约束？
• RQ5 边的标记（尤其是2和偶数）以及内边的存在如何影响拟立方化？

主要发现

• 二维Artin群共紧拟立方化当且仅当其定义图的每个连通分支中，所有内边标记为2，所有叶节点标记为偶数。
• 对于三生成元Artin群，共紧拟立方化成立当且仅当其定义图满足相同条件，或恰好有两条边标记为2。
• 四 Strand braid群不是几乎共紧拟立方化的，因其定义图不满足所需的标记条件。
• Coxeter群中，共紧与几乎共紧拟立方化等价性不成立，但本文研究的Artin群中该等价性成立。
• 本文确立了定理1.1 (iii)中的条件对一般Artin群（不仅限于二维）也蕴含共紧拟立方化。
• 作者证明：若某群实现共紧拟立方化，则其两生成元特殊子群在具有乘积结构的凸子复形上实现凸共紧作用。