[论文解读] Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems

Denis Osin|arXiv (Cornell University)|Apr 2, 2004

Geometric and Algebraic Topology参考文献 36被引用 34

一句话总结

本文通过相对等周不等式与范·坎普滕图，建立了相对双曲性的刻画，证明了当且仅当其相对德恩函数为线性时，一个群相对于一族子群是双曲的。该方法通过去除有限性与有限生成性假设，推广了先前的定义，并为诸如尖点群、小碰撞商群及几何有限收敛群等各类群提供了算法与几何工具。

ABSTRACT

We suggest a new approach to the study of relatively hyperbolic groups based on relative isoperimetric inequalities. Various geometric, algebraic, and algorithmic properties are discussed.

研究动机与目标

• 将相对双曲性的定义推广至非有限生成群及其子群，去除先前定义中的限制性假设。
• 通过相对等周不等式与范·坎普滕图，建立相对双曲性的刻画。
• 将现有框架——鲍迪奇的动力学定义与法布的陪集图定义——统一并推广至更一般的设定。
• 为相对双曲群中的字问题与成员问题提供算法工具。
• 为后续工作中可数群的嵌入定理奠定基础。

提出的方法

• 使用相对表示式与在生成集与子群陪集并集上的长度函数，定义相对几何。
• 应用范·坎普滕图分析相对德恩函数并推导等周不等式。
• 在相对凯莱图中引入原子圈的概念，以控制圈的复杂度并确保标签类型的有限性。
• 利用相对凯莱图（Γ(G, X ∪ H)）的双曲性，控制拟测地线行为与分量隔离。
• 通过字长的归纳法，界定范·坎普滕图中单元格的数量，证明相对德恩函数至多为指数级。
• 借助相对凯莱图的双曲性，结合推论 2.54，证明相对德恩函数实际为线性。

实验结果

研究问题

• RQ1 能否在不依赖有限生成性的前提下，仅通过相对等周不等式刻画相对双曲性？
• RQ2 范·坎普滕图与相对德恩函数在相对双曲群中如何表现？
• RQ3 在推广的设定下，法布的 BCP 条件下的定义与鲍迪奇的动力学定义之间存在何种关系？
• RQ4 相对双曲群中的字问题与成员问题能否被算法求解？
• RQ5 对于尖点群或小碰撞商群等群，相对双曲性在几何与算法上具有何种后果？

主要发现

• 群 G 相对于子群 H₁,…,Hₘ 的相对德恩函数为线性，当且仅当 G 在鲍迪奇或法布（带 BCP）的意义下相对于 {H₁,…,Hₘ} 是双曲的。
• 相对凯莱图中所有原子圈的标签集合是有限的，这确保了存在有限的相对表示式。
• 长度为 n 的字的相对德恩函数上界为 2ⁿ，而通过相对凯莱图的双曲性，该上界被改进为线性。
• 任何长度 ≤ n 且在 G 中表示单位元的字 W，均存在一个范·坎普滕图，其边界标签为 W，且最多包含 2ⁿ 个由有限集 A 中单词标记的单元格。
• 相对凯莱图 Γ(G, X ∪ H) 是双曲的，而该双曲性意味着相对德恩函数为线性。
• 当 G 与 Hᵢ 均为有限生成时，相对双曲性的推广定义与鲍迪奇及法布的定义等价。