[论文解读] Acylindrically hyperbolic groups

D. Osin|arXiv (Cornell University)|Apr 4, 2013

Geometric and Algebraic Topology被引用 10

一句话总结

本文证明了具非初等的等腰拟合作用于双曲空间的群——即等腰拟合双曲群——与多个先前研究的群类等价，包括具有双曲嵌入子群的群以及存在弱正则离散作用的群。核心贡献在于证明了四种表征方式的等价性，统一了几何群论中的多种视角，并为未来研究奠定了基础框架。

ABSTRACT

We say that a group $G$ is acylindrically hyperbolic if it admits a non-elementary acylindrical action on a hyperbolic space. We prove that the class of acylindrically hyperbolic groups coincides with many other classes studied in the literature, e.g., the class $C_{geom}$ introduced by Hamenstadt, the class of groups admitting a non-elementary weakly properly discontinuous action on a hyperbolic space in the sense of Bestvina and Fujiwara, and the class of groups with hyperbolically embedded subgroups studied by Dahmani, Guirardel, and the author. We also record some basic results about acylindrically hyperbolic groups for future use.

研究动机与目标

• 将几何群论中不同研究方向的群类统一于一个连贯的框架之下。
• 证明等腰拟合双曲群与具有双曲嵌入子群的群、存在弱正则离散作用的群以及具有WPD-作用的双曲元素的群等价。
• 为未来研究提供等腰拟合双曲群基本性质的全面参考。
• 建立等腰拟合双曲群四种不同表征方式的等价性，包括基于Cayley图的条件。
• 为随机游走、小扰动理论以及群的渐近几何中的应用奠定基础。

提出的方法

• 使用等腰拟合性作为统一条件：对任意 ε > 0，存在 R, N > 0，使得仅有有限多个群元素能将任意两点移动距离小于 ε，且这两点之间的距离 ≥ R。
• 将群在双曲空间上的等腰拟合作用划分为三类：有有界轨道、具虚拟循环子群并含双曲元素，或包含无限多个独立的双曲元素。
• 证明四种表征方式的等价性：(AH1) 在满足 |∂Γ| > 2 的双曲Cayley图上存在等腰拟合作用；(AH2) 存在非初等的等腰拟合作用；(AH3) 非虚拟循环群且存在具有WPD性质的双曲元素；(AH4) 存在无限正规双曲嵌入子群。
• 应用Dahmani–Guirardel–Osin（2011）关于双曲嵌入子群及Dehn填充技术的工具。
• 借助Bestvina–Fujiwara关于弱正则离散性的结果以及Sisto关于弱收缩元素的结果，连接不同定义。
• 利用渐近锥与Morse元素理论推导几何后果，例如渐近锥中的割点。

实验结果

研究问题

• RQ1 由等腰拟合作用、双曲嵌入子群和弱正则离散性所定义的群类是否等价？
• RQ2 能否通过双曲嵌入子群的存在性来刻画在双曲空间上非初等的等腰拟合作用？
• RQ3 在等腰拟合双曲群中，广义双曲元素与弱收缩元素之间有何关系？
• RQ4 等腰拟合双曲群是否具有泛型的随机游走，其路径在双曲元素上集中？
• RQ5 存在Morse元素时，等腰拟合双曲群是否蕴含某些几何性质，如渐近锥中的割点？

主要发现

• 四种表征方式 (AH1)–(AH4) 对等腰拟合双曲群是逻辑等价的，确立了统一的理论框架。
• 每个等腰拟合双曲群都包含一个极大有限正规子群 K(G)，且 K(G) = {1} 当且仅当 G 具有无限共轭类，且其冯诺依曼代数为 II₁ 型因子。
• 等腰拟合双曲群的约化 C*-代数是单的，且具有唯一的迹。
• 对任意有限生成的等腰拟合双曲群，简单随机游走经过 n 步后落在广义双曲元素上的概率至少为 1 − O(εⁿ)，其中 ε ∈ (0,1)，表明此类元素具有泛型性。
• 每个有限生成的等腰拟合双曲群在所有渐近锥中均存在割点，这是Morse元素存在的直接后果。
• 对任意可数的等腰拟合双曲群 G，存在一个无限、有限生成的商群 C，使得 C 中两个元素共轭当且仅当它们阶相同，且 π(C) = π(G)；若 G 无挠，则 C 恰好有两个共轭类。