[论文解读] Algorithmic Properties of Relatively Hyperbolic Groups

Donovan Yves Rebbechi|ArXiv.org|Feb 20, 2003

Geometric and Algebraic Topology参考文献 8被引用 46

一句话总结

本文通过将双曲群与几何有限群的结果推广，建立了相对双曲群及其中心扩张的双自动性的充分条件。利用CAT(−k)几何、电等周不等式以及广义的伪同行跟踪性质，证明了：若一个群相对于一个具有前缀闭正规形式的双自动子群是相对双曲的，且扩张类在抛物子群上消失，则其扩张是双自动的——将经典结果推广至相对双曲情形。

ABSTRACT

The following discourse is inspired by the works on hyperbolic groups of Epstein, and Neumann/Reeves. Epstein showed that geometrically finite hyperbolic groups are biautomatic. Neumann/Reeves showed that virtually central extensions of word hyperbolic groups are biautomatic. We prove the following generalisation: Theorem. Let H be a geometrically finite hyperbolic group. Let sigma in H^2(H) and suppose that sigma restricted to P is zero for any parabolic subgroup P of H. Then the extension of H by sigma is biautomatic. We also prove another generalisation of the result of Epstein. Theorem. Let G be hyperbolic relative to H, with the bounded coset penetration property. Let H be a biautomatic group with a prefix-closed normal form. Then G is biautomatic. Based on these two results, it seems reasonable to conjecture the following (which the author believes can be proven with a simple generalisation of the argument in Section 1): Let G be hyperbolic relative to H, where H has a prefixed closed biautomatic structure. Let sigma in H^2(G) and suppose that sigma restricted to H is zero. Then the extension of G by sigma is biautomatic.

研究动机与目标

• 将Epstein关于几何有限双曲群双自动性的结果推广至在上面上同调类于抛物子群上消失的中心扩张情形。
• 将Neumann–Reeves关于词双曲群中心扩张双自动性的结果推广至相对双曲情形。
• 建立群相对于具有前缀闭正规形式的双自动子群是双自动的条件。
• 通过电几何与等周界提供相对双曲群中双自动性的框架。

提出的方法

• 构建带权长度与面积函数的尖点化凯莱复形，作为Gromov双曲度量空间。
• 证明尖点化复形满足线性电等周不等式，从而推出Gromov双曲性。
• 为理想三角形发展CAT(−k)理论，以分析尖点复形中的测地线。
• 在尖点凯莱图的路径中建立广义的伪同行跟踪性质。
• 使用来自[E]的广义自动性引理，结合前缀闭正规形式与一致同行跟踪界。
• 利用有界余轨渗透性与群胚理论工具，控制路径在抛物子群附近的行径。

实验结果

研究问题

• RQ1 在何种条件下，相对双曲群的中心扩张是双自动的？
• RQ2 当上面上同调类在所有抛物子群上消失时，几何有限双曲群的双自动性是否可推广至其中心扩张？
• RQ3 当环境群是相对双曲群且正规形式为前缀闭时，群相对于双自动子群的双自动性是否仍然保持？
• RQ4 电等周不等式与CAT(−k)几何是否可用于证明尖点凯莱复形的Gromov双曲性？
• RQ5 广义的伪同行跟踪性质是否足以在相对双曲设定下确保双自动性？

主要发现

• 在所有抛物子群上消失的上面上同调类作用下，几何有限双曲群的中心扩张是双自动的。
• 若一个群相对于具有前缀闭正规形式的双自动群是相对双曲的，且该相对群具有有界余轨渗透性，则该群本身是双自动的。
• 相对双曲群的尖点化凯莱复形是Gromov双曲的，这由线性电等周不等式所证明。
• 线性电等周不等式的存在性意味着尖点复形的Gromov双曲性，从而可应用自动性理论工具。
• 广义的伪同行跟踪性质结合前缀闭正规形式，通过广义自动性引理确保双自动性。
• 该证明在相对双曲群的背景下，建立了几何群论与形式语言理论之间的概念性桥梁。