[论文解读] Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces

François Dahmani, Vincent Guirardel+1 more|Nov 30, 2011

Geometric and Algebraic Topology参考文献 132被引用 184

一句话总结

本文引入了双曲嵌入子群与高度旋转族作为研究双曲空间上作用群的统一框架，推广了相对双曲性与小余因子理论。该研究证明此类结构自然出现在映射类群、Out(Fₙ)、Cremona群以及CAT(0)群中，并证明非退化的双曲嵌入子群可推出拟正规作用与属于Monod–Shalom类C_reg，从而解决了映射类群中的开放问题，并将结果推广至新的群类。

ABSTRACT

We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyperbolic spaces including hyperbolic and relatively hyperbolic groups, mapping class groups, $Out(F_n)$, and the Cremona group. Other examples can be found among groups acting geometrically on $CAT(0)$ spaces, fundamental groups of graphs of groups, etc. We obtain a number of general results about rotating families and hyperbolically embedded subgroups; although our technique applies to a wide class of groups, it is capable of producing new results even for well-studied particular classes. For instance, we solve two open problems about mapping class groups, and obtain some results which are new even for relatively hyperbolic groups.

研究动机与目标

• 开发一种统一框架，用于研究作用在双曲空间上的群，超越传统的相对双曲性。
• 通过子群的‘高度旋转族’概念推广小余因子理论。
• 建立基于其作用的几何与动力性质，判断子群在群中是否为双曲嵌入的条件。
• 利用新框架解决映射类群与Out(Fₙ)中的开放问题。
• 探索双曲嵌入子群与拟正规群作用之间的关系，进而提出此类群的猜想性刻画。

提出的方法

• 使用Bestvina、Bromberg与Fujiwara的投影复形构造双曲嵌入子群。
• 应用Gromov的双曲锥化构造分析旋转族及其作用。
• 通过双曲空间中轨道的几何分离性与拟凸性来定义双曲嵌入子群。
• 引入‘高度旋转族’作为小余因子的动态类比，结合风车构造与Greendlinger型引理。
• 应用图式手术技术证明旋转族背景下的Dehn填充结果。
• 利用几何分离性与等周不等式之间的相互作用推导结构结果。

实验结果

研究问题

• RQ1 在何种几何与动力条件下，一个子群是作用在双曲空间上的群中的双曲嵌入子群？
• RQ2 高度旋转族能否提供适用于非相对双曲群的小余因子理论的几何版本？
• RQ3 所有具有非退化双曲嵌入子群的群是否都存在非初等的拟正规作用于双曲空间？
• RQ4 映射类群与Out(Fₙ)是否因双曲嵌入子群而产生新的结构结果？
• RQ5 双曲嵌入子群与Monod–Shalom类C_reg之间的确切关系为何？

主要发现

• 双曲嵌入子群存在于映射类群、Out(Fₙ)、Cremona群以及图群的基本群中。
• 非退化双曲嵌入子群的存在意味着该群属于Monod–Shalom类C_reg。
• 高度旋转族自然来源于无限阶元素的正规子群，其在双曲作用中具有大平移长度。
• 本文利用双曲嵌入子群理论解决了映射类群结构方面的两个开放问题。
• 证明了具有非退化双曲嵌入子群的群可作用于双曲空间上产生非初等的拟正规作用，支持了此类群的猜想性刻画。
• 该框架可统一重证双曲群与相对双曲群的已知结果，同时在更广的群类中得出新结果。