[论文解读] Relatively hyperbolic groups: geometry and quasi-isometric invariance

Cornelia Druţu|ArXiv.org|May 8, 2006

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

一句话总结

本文证明了相对双曲性是有限生成群的拟等距不变量，即若群 G 相对于一族子群是双曲的，则任何与 G 拟等距的群也相对于拟等距嵌入于原始边缘子群中的子群是相对双曲的。证明依赖于渐近锥和渐近树状度量空间理论，从而给出了类似于双曲性的相对双曲性的简化定义。

ABSTRACT

In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic triangle of a central left coset of peripheral subgroup.

研究动机与目标

• 确立相对双曲性在拟等距下保持不变，这是几何群论中的一个核心问题。
• 提供新的、简化的相对双曲性定义，其形式与双曲性的定义极为相似。
• 证明拟等距相关的群具有相同的相对双曲结构，且边缘子群彼此拟等距嵌入。
• 将相对双曲群的刚性结果推广至此前已知子类之外，包括格与边群为有限的图群。
• 通过渐近锥和渐近树状度量空间理论，统一并推广了现有的刚性定理。

提出的方法

• 使用渐近锥分析相对双曲群的大尺度几何，表明其相对于边缘子群的左陪集族是渐近树状度量的。
• 应用渐近树状度量空间理论，通过拟测地三角形中存在中心左陪集来刻画相对双曲性。
• 利用拟等距嵌入及其逆向映射，将几何性质从群 G 传递到拟等距群 G′，保持边缘子群的结构。
• 建立每个边缘子群在 G′ 中的像位于 G 中某个左陪集的均匀有界邻域内，从而实现向原始边缘子群的拟等距嵌入构造。
• 利用性质 (T2) 和具有极限边的多边形结构，控制渐近树状度量空间的几何，并推导出相对双曲性的新定义。
• 应用定理 1.4 表明，若一个群相对于一族子群是渐近树状度量的，则其为相对双曲的，利用拟测地线的稳定性及交集的有界性。

实验结果

研究问题

• RQ1 对于有限生成群，相对双曲性在拟等距下是否保持不变？
• RQ2 相对双曲性能否通过类似双曲性的条件来刻画，即在拟测地三角形中存在中心左陪集？
• RQ3 相对双曲群的渐近锥与其边缘子群之间有何关系？
• RQ4 拟等距群的边缘子群能否拟等距嵌入到原始群的边缘子群中？
• RQ5 新定义的相对双曲性在多大程度上简化了理论，并使其与经典双曲性定义保持一致？

主要发现

• 相对双曲性是拟等距不变量：若 G 相对于子群 H₁,…,Hₙ 是双曲的，则任何与 G 拟等距的群 G′ 也相对于子群 H′₁,…,H′ₘ 是双曲的，且每个 H′ᵢ 拟等距嵌入于某个 Hⱼ 中。
• 建立了相对双曲性的新定义：每个拟测地三角形均存在一个边缘子群的中心左陪集，该陪集与三角形的三边均相交。
• 本文提供了一种简化的、类似双曲性的相对双曲性定义，其核心在于拟测地三角形中存在一个均匀有界的中心区域（即一个左陪集）。
• 相对双曲群的渐近锥相对于其边缘子群左陪集的渐近锥族是渐近树状度量的。
• 证明表明，边缘子群在 G′ 中向 G 中的嵌入所涉及的常数仅依赖于拟等距常数及原始群的几何结构。
• 该结果推广了此前对非均匀格、Haken流形的基本群以及边群为有限的图群的刚性定理，现可在完全一般的情形下成立。