[论文解读] On metric relative hyperbolicity

Alessandro Sisto|arXiv (Cornell University)|Oct 30, 2012

Geometric and Algebraic Topology参考文献 27被引用 38

一句话总结

本文建立了度量空间中相对双曲性的多种刻画之间的等价性，引入了一个广义的‘猜测测地线引理’，将满足相对Rips条件的路径族与相对双曲性联系起来。主要贡献在于提供了一个统一的框架，用于识别相对双曲结构，并通过在相对双曲空间上的作用来刻画双曲嵌入子群，其应用涵盖曲线复形和组合定理。

ABSTRACT

We show the equivalence of several characterizations of relative hyperbolicity for metric spaces, and obtain extra information about geodesics in a relatively hyperbolic space. We apply this to characterize hyperbolically embedded subgroups in terms of nice actions on (relatively) hyperbolic spaces. We also study the divergence of (properly) relatively hyperbolic groups, in particular showing that it is at least exponential. Our main tool is the generalization of a result proved by Bowditch for hyperbolic spaces: if a family of paths in a space satisfies a list of properties specific to geodesics in a relatively hyperbolic space then the space is relatively hyperbolic and the paths are close to geodesics.

研究动机与目标

• 统一并推广度量空间中相对双曲性的现有刻画，特别是将基于群的定义扩展至一般度量空间。
• 通过猜测测地线引理建立一个稳健的判别准则，基于满足相对Rips条件的路径族来检测相对双曲性。
• 通过在相对双曲空间上的作用，几何化地刻画双曲嵌入子群，提供对代数定义的几何替代方案。
• 分析相对双曲群的发散率，证明其至少为指数级。
• 将该框架应用于已知构造，如Bestvina-Bromberg-Fujiwara的构造，并证明关于合并自由积的组合定理。

提出的方法

• 引入并形式化相对双曲性的四种等价刻画——(RH0)至(RH3)，其中(RH3)基于测地三角形上瞬态点的相对Rips条件。
• 提出猜测测地线引理：若一族路径及其瞬态子集满足测地线类性质（如相对Rips条件），则该空间为相对双曲，且这些路径与测地线一致接近。
• 使用Bowditch空间构造——将组合双曲垫片粘贴到旁系集合上——以建立Bowditch空间的双曲性与原空间相对双曲性之间的联系。
• 应用该引理证明：若Bowditch空间为双曲，则在旁系集合为粗连通的前提下，原空间为相对双曲。
• 证明双曲嵌入子群对应于在相对双曲空间上具有特定动力学性质的群作用，其刻画基于子群到空间的拟等距嵌入。
• 利用该框架重新证明组合定理，如当G₁和G₂均关于H双曲时，合并自由积G₁*ₕG₂的双曲性。

实验结果

研究问题

• RQ1 在什么条件下，一族路径及其瞬态子集能推出其所在度量空间的相对双曲性？
• RQ2 如何通过在相对双曲空间上的作用，几何化地刻画双曲嵌入子群的概念？
• RQ3 相对双曲群的发散率是多少，其与几何结构有何关联？
• RQ4 在较弱假设下，能否利用Bowditch空间构造恢复原空间的相对双曲性？
• RQ5 已知构造（如Bestvina-Bromberg-Fujiwara的构造）在多大程度上能产生相对双曲空间？

主要发现

• 本文在较弱假设下建立了相对双曲性的四种刻画——(RH0)、(RH1)、(RH2)和(RH3)之间的等价性，其中(RH3)最接近通过相对Rips条件定义的标准形式。
• 猜测测地线引理提供了一个强大工具：若路径族满足相对Rips条件及其他测地线类性质，则空间为相对双曲，且路径与测地线一致接近。
• 群G中的双曲嵌入子群可通过G在相对双曲空间上存在一个恰当、余紧且等距的作用来刻画，且该子群以抛物方式作用。
• 相对双曲群的发散率至少为指数级，该定量结果源于瞬态点的结构与相对Rips条件。
• 从度量空间及其旁系集合构造Bowditch空间，当且仅当原空间为相对双曲时，该构造产生双曲空间，前提是旁系集合为粗连通。
• 该框架可为组合定理提供替代证明，例如当G₁和G₂均关于H双曲时，合并自由积G₁*ₕG₂为双曲。