[论文解读] Hyperbolically embedded virtually free subgroups of relatively hyperbolic groups

Yoshifumi Matsuda, Shin-ichi Oguni+1 more|arXiv (Cornell University)|Sep 13, 2011

Geometric and Algebraic Topology参考文献 10被引用 4

一句话总结

本文证明，任何关于一族真子群的相对双曲且非几乎循环的群，均包含一个关于同一族的、有限生成的、几乎非交换的自由子群，且该子群是双曲嵌入的。证明结合了强相对无扭曲性与近乎正规性准则，通过在相对双曲设定下的子群构造，将关于无 torsion 双曲群中拟凸与正规自由子群的已知结果推广至更一般情形。

ABSTRACT

We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup.

研究动机与目标

• 建立非几乎循环的、关于一族真子群相对双曲的群中，双曲嵌入的、有限生成的、几乎非阿贝尔自由子群的存在性。
• 将关于无 torsion 双曲群中正规与拟凸自由子群的已知结果推广至相对双曲设定。
• 通过强相对无扭曲性与近乎正规性对这类子群进行刻画，利用强拟凸子群的已有结果。
• 提供一种构造性方法，通过双陪集分析与子群交集控制实现此类子群的嵌入。

提出的方法

• 利用 Osin 的刻画：双曲嵌入子群恰好是相对于边界族强无扭曲且在全群中近乎正规的子群。
• 应用定理 2.5，证明相对于边界族的强拟凸子群是强无扭曲的。
• 在群 $ G $ 的强拟凸子群 $ M $ 内部构造一个有限生成的、几乎非阿贝尔的自由子群 $ V $，并确保 $ V $ 在 $ M $ 中近乎正规。
• 控制有限个双陪集 $ Mg_lM $ 的交集 $ mVm^{-1} \cap M_l $，通过有限性条件以保持 $ V $ 在 $ G $ 中的近乎正规性。
• 利用 $ M $ 相对于 $ \mathbb{K} $ 是强拟凸的这一事实，因此 $ V $ 在 $ G $ 中继承强相对无扭曲性。
• 应用 [8, 定理 1.6] 与 [8, 推论 8.7]，以控制与无限交集相关的双陪集数量，并确保共轭下交集的有限性。

实验结果

研究问题

• RQ1 每个关于真子群族的非几乎循环群是否都包含一个双曲嵌入的、有限生成的、几乎非阿贝尔的自由子群？
• RQ2 能否通过强相对无扭曲性与近乎正规性准则来证明此类子群的存在性？
• RQ3 如何控制自由子群共轭的交集结构，以确保其在全群中近乎正规？
• RQ4 在无 torsion 情形下，该结果能否加强，以构造一个双曲嵌入的、秩为二的自由子群？
• RQ5 具有无限交集的双陪集在阻碍近乎正规性方面起什么作用？如何系统性地消除这些障碍？

主要发现

• 每个非几乎循环群 $ G $，若其关于一族真子群 $ \mathbb{K} $ 是相对双曲的，则包含一个有限生成的、几乎非阿贝尔的自由子群 $ V $，且 $ V $ 相对于 $ \mathbb{K} $ 是双曲嵌入于 $ G $ 的。
• 子群 $ V $ 构造为强拟凸子群 $ M $ 的有限指数子群，从而保证其在 $ G $ 中具有强相对无扭曲性。
• 通过在有限个双陪集上控制 $ V $ 与 $ M $ 的共轭的交集，确保其有限性，从而保证 $ V $ 在 $ G $ 中近乎正规。
• 在无 torsion 的 $ G $ 情形下，结果可进一步推出一个秩为二的自由子群，该子群双曲嵌入于 $ G $ 相对于 $ \mathbb{K} $，优于以往结果。
• 证明依赖于具有无限交集 $ M \cap gMg^{-1} $ 的双陪集 $ MgM $ 的有限性，且仅对有限多个 $ g $，此类交集在 $ M $ 中为有限指数。
• 最终子群 $ V $ 同时满足两个条件——强相对无扭曲性与近乎正规性，因此由定理 2.3 可知其在 $ G $ 中双曲嵌入。