[论文解读] Erratum to the paper "Acylindrical hyperbolicity of groups acting on trees"

Ashot Minasyan, Denis Osin|arXiv (Cornell University)|Nov 26, 2017

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

一句话总结

此勘误更正了 Minasyan 与 Osin 在 2016 年关于群作用在树上的狭义双曲性论文中，引理 3.9 证明中的一个关键漏洞，即其声称狭义双曲性在有限核意义下的共轭下保持不变的断言缺乏依据。作者通过证明：若群 G 包含一个有限指数的正规、$τ$-可访问的狭义双曲子群，则 G 本身也是狭义双曲的，从而修复了该错误，恢复了对可定向与不可定向 3-流形群的关键定理的有效性，并修正了后续研究中的相关结果。

ABSTRACT

In our paper arXiv:1310.6289, we stated that acylindrical hyperbolicity of a group is invariant under commensurability up to finite kernels. Unfortunately, the proof of this fact contained a gap. The goal of this erratum is to point out the gap and to correct the statements and proofs of results of arXiv:1310.6289 and the subsequent paper arXiv:1501.03066 affected by it.

研究动机与目标

• 识别并修正 Minasyan 与 Osin（2016）论文中引理 3.9 的关键错误，该错误声称狭义双曲性在有限核意义下对共轭保持不变。
• 恢复原始论文中定理 5.6 及其推论的有效性，这些定理基于狭义双曲性对 3-流形群的子群进行分类。
• 通过利用可定向双重覆盖和 $τ$-可访问性，将修正后结果推广至闭不可定向 3-流形的基本群。
• 修订并更正后续论文 [4] 中依赖于有缺陷的引理 3.9 的陈述与证明，特别是关于 $β_1^{(2)}$-贝蒂数与狭义双曲性的内容。

提出的方法

• 通过证明自然包含映射 $\Gamma(H,X) \to \Gamma(G,X\cup Y)$ 是 $H$-等距拟等距，证明：若群 G 包含一个有限指数的正规、$τ$-可访问的狭义双曲子群 H，则 G 是狭义双曲的。
• 利用 $\mathcal{AH}(H)$ 中存在一个极大狭义双曲结构 $[X]$，且该结构在 $\mathrm{Aut}(H)$ 作用下不变的事实，来界定 G 中的字长。
• 通过证明：对任意 $\varepsilon > 0$，满足 $d_{X\cup Y}(1,h) \leq \varepsilon$ 且 $d_{X\cup Y}(z,hz) \leq \varepsilon$ 的元素 $h$ 的数量是统一有界的，从而确立 G 在 $\Gamma(G,X\cup Y)$ 上的作用具有狭义双曲性。
• 应用闭可定向 3-流形基本群是 $\mathcal{AH}$-可访问的这一事实（来自 [1, 定理 2.19]），通过其可定向双重覆盖将结果推广至不可定向流形。
• 通过将 [4] 中定理 1.6 的证明中“虚拟满射到 $\mathbb{Z}$”的假设替换为“满射”，并利用 HNN 分解与 $\ell^2$-贝蒂数论证，得出狭义双曲性结论。

实验结果

研究问题

• RQ1 若群 G 包含一个有限指数的狭义双曲子群 H，是否必然继承狭义双曲性？本文表明这在一般情况下不成立，但在附加条件下成立。
• RQ2 能否将 3-流形群子群分类为狭义双曲、虚拟曲面或虚拟幂零的类型推广至不可定向流形？
• RQ3 原始论文中引理 3.9 的证明是否可修复？若可修复，需对 H 和 G 施加何种更强的假设？
• RQ4 当‘虚拟满射到 $\mathbb{Z}$’的假设不足时，如何修正依赖于引理 3.9 的 [4] 中结果？
• RQ5 当 H 是 G 的正规、$\mathcal{AH}$-可访问的有限指数子群时，是否可利用狭义双曲结构的偏序集 $\mathcal{AH}(G)$ 来证明 G 的狭义双曲性？

主要发现

• 原始论文中引理 3.9 的断言——狭义双曲性在有限核意义下对共轭保持不变——在一般情况下是错误的，如一个具有无限生成集 X 的反例所示。
• 当有限指数子群 H 为正规且 $\mathcal{AH}$-可访问时，修正结果成立：若 H 是狭义双曲的，且在 G 中正规且有限指数，则 G 是狭义双曲的。
• 定理 3 与定理 7 将紧致可定向及闭不可定向 3-流形基本群的子群分类为三类互斥类型：狭义双曲、虚拟曲面或虚拟幂零。
• 通过用直接证明替代对引理 3.9 的引用，修正了推论 2.16，该证明适用于 (a) 和 (b) 类群，如右角 Artin 群的子群。
• 修订了 [4] 中定理 1.6 的证明，假设 G 满射到 $\mathbb{Z}$，而非仅虚拟满射，并利用 HNN 分解与 $\ell^2$-贝蒂数论证得出狭义双曲性结论。
• 任何闭不可定向 3-流形的基本群是狭义双曲的，只要其可定向双重覆盖的基本群是狭义双曲的，而这一点由可定向情形下的 $\mathcal{AH}$-可访问性所保证。