[论文解读] Relative hyperbolicity and right-angled Coxeter groups

Patrick Bahls|ArXiv.org|Jan 21, 2004

Geometric and Algebraic Topology参考文献 12被引用 5

一句话总结

本文证明了右角Coxeter群相对于一个自然的秩-2抛物子群集合是相对双曲的，具体而言，这些子群由定义Coxeter图中无弦四元环内的选定对角线生成。通过在Cayley图中对这些子群进行锥化，并利用ID操作、平移和交换操作分析测地线行为，作者证明了锥化图中三角形的统一瘦化性，从而在Farb的意义下确认了相对双曲性。

ABSTRACT

We show that right-angled Coxeter groups are relatively hyperbolic in the sense defined by Farb, relative to a natural collection of rank-2 parabolic subgroups.

研究动机与目标

• 确定右角Coxeter群是否可以是相对双曲的，这些群可能因包含 $D_\infty \times D_\infty$ 子群而不再是词双曲的。
• 识别出一组自然的子群——具体而言，由四元环中对角线生成的秩-2抛物子群——使得相对双曲性成立。
• 建立此类群的锥化Cayley图是双曲的，从而在Farb的意义下确认了相对双曲性。
• 开发一种组合框架，使用ID操作、平移和交换操作，以控制锥化图中的测地线路径。

提出的方法

• 通过为选定的秩-2抛物子群的左陪集添加一个顶点，并以长度为 $1/2$ 的边将其连接到其元素，构造锥化Cayley图 $\hat{\Gamma}$。
• 定义三种类型的变换——ID操作、平移和交换——作用于字代表式上，以操纵音节分解并保持测地等价性。
• 使用ID操作修改 $\hat{\Gamma}$-块内的音节，使用平移将字母传播到相邻块之间，使用交换操作在块边界处交换可交换的音节。
• 证明任意两条具有相同端点的 $\hat{\Gamma}$-测地线可通过这些操作的序列相互关联，从而确保对应点之间的统一接近性。
• 利用这些变换保持测地结构并诱导路径之间具有统一有界的Hausdorff距离，从而暗示 $\hat{\Gamma}$ 的双曲性。
• 应用命题4.8的修改版本，证明即使在不假设可适性的情况下，$\hat{\Gamma}$ 中的三角形瘦化性依然成立。

实验结果

研究问题

• RQ1 当Coxeter图中包含无对角线的四元环时，右角Coxeter群（这些群可能不是词双曲的）是否可以是相对双曲的？
• RQ2 是否存在一组规范的子群——具体而言，由四元环中对角线生成的秩-2抛物子群——使得相对双曲性成立？
• RQ3 此类群的锥化Cayley图是否满足瘦三角形条件，从而暗示双曲性？
• RQ4 是否可以使用ID操作、平移和交换等组合操作，统一控制锥化图中的测地线路径？
• RQ5 右角Coxeter群在Farb意义下的相对双曲性是否等价于四元环中存在此类对角线选择？

主要发现

• 右角Coxeter群在Farb意义下相对于Coxeter图中每个无弦四元环内选定对角线生成的秩-2抛物子群集合是相对双曲的。
• 锥化Cayley图 $\hat{\Gamma}$ 是一个双曲度量空间，其统一瘦化性由ID操作、平移和交换操作提供的控制所保证。
• 任意两条具有相同端点的 $\hat{\Gamma}$-测地线在 $\hat{\Gamma}$-度量下是统一接近的，这是双曲性的一个关键性质。
• 使用ID操作、平移和交换操作的变换框架允许在保持测地性的同时重新配置测地线路径，并确保对应点之间具有有界距离。
• 该证明推广了命题4.8的论证，将其适应到无需可适性假设的相对情形，但瘦三角形性依然成立。
• 该结果确认，通过选择对角线将平坦区域 $D_\infty \times D_\infty$ 的一个维度坍缩，可恢复相对双曲性，从而为非双曲性障碍提供了几何上的解决方法。