[論文レビュー] 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が有限指数の正規部分群Hをもち、Hが$τ$-アクセス可能な可換的双曲的群であるならば、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)}$-ベッチ数と可換的双曲性に関する記述について。

提案手法

• 群Gが有限指数の正規部分群Hをもち、Hが可換的双曲的かつ$τ$-アクセス可能な場合、Gが可換的双曲的であることを示す。これには、自然な包含写像$\Gamma(H,X) \to \Gamma(G,X\cup Y)$が$H$--equivariantなクライオアイソメトリーであることを示す。
• 群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 有限指数の可換的双曲的部分群Hをもつ群Gが、一般に可換的双曲的性質を引き継ぐのか。本論文は、これは一般には成り立たないが、追加の条件下では成立することを示している。
• RQ2 3次元多様体群の部分群を、可換的双曲的、 virtually surface、または virtually ポリシックルのタイプに分類する分類法を、非可定向多様体に対しても拡張可能か。
• RQ3 論文[2]の補題3.9の元の証明は、何らかの強い仮定の下で救えるのか。もし可能ならば、HとGにどのような仮定が必要か。
• RQ4 仮に$\mathbb{Z}$への仮想的全射という仮定が不十分である場合、補題3.9に依存する[4]の結果をどのように是正できるか。
• RQ5 HがGの正規部分群で、$\mathcal{AH}$-アクセス可能な有限指数部分群であるとき、可換的双曲的構造のposet $\mathcal{AH}(G)$を用いて、Gの可換的双曲的性質を示せるか。

主な発見

• 補題3.9における元の主張、すなわち可換的双曲性が有限核を除いて共役性に下で保存されることについては、一般には誤りである。無限生成集合Xを用いた反例によってそれが示された。
• 修正された結果は、有限指数部分群Hが正規かつ$\mathcal{AH}$-アクセス可能な場合に成立する。すなわち、Hが可換的双曲的でGにおいて正規かつ有限指数ならば、G自体が可換的双曲的である。
• 定理3および定理7は、コンpakト可定向および閉非可定向3次元多様体の基本群の部分群を、三つの互いに排他的なタイプに分類する：可換的双曲的、virtually surface、または virtually ポリシックル。
• 補題2.16は、元の補題3.9への参照を、右折アーティン群の部分群など、(a)および(b)のクラスに属する群に対して直接的な証明に置き換えることで是正された。
• 論文[4]における定理1.6の証明は、$\mathbb{Z}$への仮想的全射ではなく、全射の仮定に置き換えられ、HNN分解と$\ell^2$-ベッチ数の議論を用いて可換的双曲性が結論づけられた。
• 任意の閉非可定向3次元多様体の基本群は、その可定向二重被覆の基本群が可換的双曲的である限り、可換的双曲的である。これは、可定向ケースにおける$\mathcal{AH}$-アクセスビリティによって保証される。