[论文解读] A simple criterion for non-relative hyperbolicity and one-endedness of groups

James W. Anderson, Javier Aramayona+1 more|ArXiv.org|Apr 13, 2005

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

一句话总结

本文提出了一种基于生成集下群的交换图连通性的组合准则，用于同时证明非强相对双曲性与单连通性。核心贡献在于提出一个统一条件，可同时蕴含这两种性质，并将其应用于表明曲面映射类群、Torelli群、自由群自同构群、三维Heisenberg群以及Thompson群F均非强相对双曲且具有单连通性。

ABSTRACT

We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively hyperbolic group structure and have one end. Applications include surface mapping class groups, the Torelli group, (special) automorphism and outer automorphism groups of most free groups, and the three-dimensional Heisenberg group. Our final application is to Thompson's group F.

研究动机与目标

• 提出一个统一的、组合的准则，用于判断有限生成群的非强相对双曲性与单连通性。
• 解决一个重要开放问题：诸如映射类群与自由群自同构群等重要群类是否具有强相对双曲结构。
• 提供一种新方法，用于证明单连通性与非相对双曲性，且不依赖Bass-Serre理论或渐近锥。
• 将相对双曲性准则的适用范围扩展至具有秩为二的阿贝尔子群的群，尤其适用于非几何情形。
• 为Thompson群F的单连通性与非强相对双曲性提供一个自包含的、群论方法的证明，此前尚未通过此方法证明。

提出的方法

• 定义群 $ G $ 关于有限生成集 $ S $ 的交换图 $ K(G,S) $，其中顶点为生成元，边连接彼此交换的生成元对。
• 证明若 $ K(G,S) $ 连通，则 $ G $ 不能相对于任何有限个真有限生成子群的集合强双曲。
• 利用如下事实：在强相对双曲结构中，$ G $ 中任意秩至少为2的阿贝尔子群必须共轭进入某个旁系子群。
• 应用一个关键定理（定理3）：若两个旁系子群的共轭在无限子群上相交，则生成该交的元素必须属于同一旁系子群。
• 通过构造矛盾证明：多个生成元之间存在交换的无限阶元素，将迫使一个旁系子群包含整个生成集，从而违反真子群条件。
• 将该论证调整以证明单连通性：假设存在自由积分解，利用相同交集与秩为二的阿贝尔子群的共轭性质导出矛盾。

实验结果

研究问题

• RQ1 群的生成集交换图是否具有一个简单的组合条件，可同时蕴含非强相对双曲性与单连通性？
• RQ2 由于该准则，曲面映射类群、Torelli群及自由群自同构群是否确实不具有强相对双曲结构？
• RQ3 Thompson群F是否非强相对双曲且具有单连通性？该结论能否通过独立于渐近锥的群论方法证明？
• RQ4 秩为二的阿贝尔子群的存在在多大程度上限制了强相对双曲性分解中可能的旁系结构？
• RQ5 交换图的连通性是否足以作为单连通性的充分条件，而无需依赖Bass-Serre理论或拓扑方法？

主要发现

• 若存在某个有限生成集 $ S $，使得交换图 $ K(G,S) $ 连通，则 $ G $ 不能相对于任何有限个真有限生成子群的集合强双曲。
• 亏格 $ g \geq 3 $ 的曲面映射类群、亏格 $ g \geq 3 $ 的曲面Torelli群，以及 $ n \geq 5 $ 时的自由群 $ \mathbf{F}_n $ 的自同构群与外自同构群，均非强相对双曲且具有单连通性。
• 三维Heisenberg群非强相对双曲且具有单连通性，因其关于 $ S = \{a,b,c\} $ 的交换图连通，且包含一个秩为2的阿贝尔子群。
• Thompson群 $ F $ 非强相对双曲且具有单连通性，通过使用生成集 $ S' = \{x_0, x_1, x_2, \dots\} \cup \{x_0x_1^{-1}\} $ 的修改论证证明，其交换图在 $ x_0 $ 与 $ x_1 $ 之外连通。
• 该论证表明，在强相对双曲结构中，$ G $ 的任意秩至少为2的阿贝尔子群必须共轭进入单个旁系子群，若多个生成元被迫进入同一旁系子群，则导致矛盾。
• 该方法为证明非相对双曲性提供了一种替代渐近锥技术的途径，如Behrstock、Druţu与Mosher所用，且可直接应用于具有丰富阿贝尔子群的群。