[论文解读] A note on the acylindrical hyperbolicity of groups acting on CAT(0) cube complexes

Indira Chatterji, Alexandre Martin|arXiv (Cornell University)|Oct 21, 2016

Geometric and Algebraic Topology参考文献 20被引用 9

一句话总结

本文建立了群在有限维、不可约的CAT(0)立方复形上作用时，其双曲性满足等腰条件的充分条件。结果表明，若群作用本质且非初等，且两个超平面的稳定子群交为平凡，则该群是等腰双曲的。该结果推广了早期关于树上作用的判据，并适用于直径至少为3的FC型Artin群。

ABSTRACT

We study the acylindrical hyperbolicity of groups acting by isometries on CAT(0) cube complexes, and obtain simple criteria formulated in terms of stabilisers for the action. Namely, we show that a group acting essentially and non-elementarily on a finite dimensional irreducible CAT(0) cube complex is acylindrically hyperbolic if there exist two hyperplanes whose stabilisers intersect along a finite subgroup. We also give further conditions on the geometry of the complex so that the result holds if we only require the existence of a single pair of points whose stabilisers intersect along a finite subgroup.

研究动机与目标

• 建立群在CAT(0)立方复形上作用时，基于稳定子群的简单判据，以判断其是否为等腰双曲。
• 将现有关于单形复形树上作用的判据推广至有限维CAT(0)立方复形的设定。
• 将结果应用于FC型Artin群，特别是其Coxeter图直径至少为3的情形。
• 在保持稳定子群条件的同时，弱化几何假设，仍能保证等腰双曲性。
• 在复形的额外几何约束下，利用点稳定子群提供新的充分条件。

提出的方法

• 利用群在不可约、有限维CAT(0)立方复形上的本质且非初等作用。
• 通过存在秩一等距变换和WPD元素，应用Bestvina-Bromberg-Fujiwara判据。
• 构造在群元素作用下不变的全局测地线，以验证WPD条件。
• 运用平面半条带定理，排除无穷远处的不动点，确保秩一行为。
• 采用CAT(0)空间的双重构造方法，分析渐近测地线与凸包。
• 利用关于Deligne复形及Artin群中超平面稳定子群的已知结果，验证判据。

实验结果

研究问题

• RQ1 在何种超平面稳定子群条件下，作用于CAT(0)立方复形的群是等腰双曲的？
• RQ2 能否将基于超平面稳定子群交集的等腰双曲性判据，从树推广至高维CAT(0)立方复形？
• RQ3 立方复形的何种几何约束，可使仅凭一对点稳定子群的有限交集，便能推出等腰双曲性？
• RQ4 FC型Artin群中，Coxeter图直径≥3的群是否满足等腰双曲性所需的稳定子群交集条件？
• RQ5 能否在不损失等腰双曲性结论的前提下，弱化本质核心条件？

主要发现

• 若群在不可约、有限维CAT(0)立方复形上本质且非初等地作用，且两个超平面的稳定子群交为有限子群，则该群是等腰双曲的。
• 即使两个超平面不不相交或不互异，该结果依然成立，从而将Minasyan–Osin在树上的判据推广至立方复形。
• 对于共 compact 且无自由面的CAT(0)立方复形，若存在一对点，其稳定子群交为有限，则可推出等腰双曲性。
• 非虚拟循环的FC型Artin群，若其Coxeter图直径至少为3，则为等腰双曲群，此结论通过主定理的应用得以证明。
• 推论1.3在非均匀弱等腰性条件下建立了等腰双曲性，将先前结果推广至非双曲复形。
• 推论1.4在群具有有限顶点稳定子群且作用本质、非初等的条件下，确认了等腰双曲性，其条件弱于度量完备性，从而在更弱假设下恢复了已有结果。