[论文解读] Asymptotic dimension of relatively hyperbolic groups

Denis Osin|ArXiv.org|Nov 25, 2004

Geometric and Algebraic Topology参考文献 14被引用 17

一句话总结

本文证明：若一个有限生成群关于有限个子群的集合是相对双曲的，且每个子群具有有限的渐近维数，则该群本身也具有有限的渐近维数。证明利用了弱相对双曲性以及几何群论技术，包括相对测地线和可控覆盖，通过外围子群的有限渐近维数来界定整体群的渐近维数。

ABSTRACT

Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\{H_1, ..., H_m\} $. We prove that if each of the subgroups $H_1, ..., H_m$ has finite asymptotic dimension, then asymptotic dimension of $G$ is also finite.

研究动机与目标

• 确定相对双曲群具有有限渐近维数的条件。
• 将渐近维数的已知有限性结果推广至相对双曲群类。
• 基于外围子群的渐近维数，建立一个有限渐近维数的一般性判据。
• 证明外围子群的有限渐近维数足以保证整个群具有有限渐近维数，即使不假设环境群是双曲的。
• 提供一种不依赖于强小扩张或幂零性假设的方法，这些假设在先前工作中被使用。

提出的方法

• 利用有限相对表示和线性相对面积界来定义相对双曲性。
• 应用弱相对双曲性的概念：关于 $X \cup \mathcal{H}$ 的凯莱图是双曲的。
• 通过环形区域和可控集构造凯莱图 $\Gamma(G, X \cup \mathcal{H})$ 的可控覆盖，以界定渐近维数。
• 采用拟稳定化子论证：单位元的 $R$-拟稳定化子即为相对度量下半径 $R$ 的球。
• 使用关键引理（引理16）基于生成集 $X$ 中的字长来界定覆盖中集合的数量。
• 结合定理17（关于弱双曲群的渐近维数）、引理13（关于可控覆盖）和引理11（关于拟等距不变性）得出主要结果。

实验结果

研究问题

• RQ1 在何种条件下，相对双曲群具有有限渐近维数？
• RQ2 外围子群的有限渐近维数是否足以保证整个群具有有限渐近维数？
• RQ3 强相对双曲性假设是否必要，还是弱相对双曲性已足够？
• RQ4 该结果能否推广至不满足幂零性或小扩张假设的群？
• RQ5 有界生成性和通用群在构造有限渐近维数的反例中起什么作用？

主要发现

• 若一个有限生成群 $G$ 关于有限个子群 $\{H_\lambda\}$ 是双曲的，且每个 $H\_\lambda$ 具有有限渐近维数，则 $\operatorname{asdim} G < \infty$。
• 该证明不要求外围子群为幂零群或满足小扩张条件；仅需其具有有限渐近维数。
• 该结果推广了Dahmani和Yaman的先前工作，后者要求外围子群为几乎幂零群。
• 凯莱图 $\Gamma(G, X \cup \mathcal{H})$ 的渐近维数被 $3\mu$ 控制，其中 $\mu$ 是 $X$ 中字长不超过 $\rho$ 的群元素数量。
• 通过构造一个有界生成的有限表示群且其渐近维数为无穷，表明有限渐近维数条件是紧致的，不可被移除。
• 作为通用群的升序HNN扩张构造的群 $G$ 包含所有 $m$ 的 $\mathbb{Z}^m$ 的同构拷贝，因此 $\operatorname{asdim} G = \infty$。