[論文レビュー] Hyperbolic hyperbolic-by-cyclic groups are cubulable

François Dahmani, Suraj Krishna M S+1 more|arXiv (Cornell University)|Jun 26, 2023

Geometric and Algebraic Topology被引用数 1

ひとこと要約

この論文は、超曲面的自由群とℤの半直積である超曲面的自由群に由来する群—すなわち、G と G ⋊ ℤ が両方とも超曲面的である場合、超曲面的自由群に由来する群が立方体化可能であることを証明している。証明は相対的立方体化技術、Malnormal Special Cube Theorem を用い、自由群に由来する群や、ねじれのない超曲面的群に関する先行研究を拡張し、最終的にこのような群が virtually special であり、Anosov 表現を許容することを示している。

ABSTRACT

We show that the mapping torus of a hyperbolic group by a hyperbolic automorphism is cubulable. Along the way, we (i) give an alternate proof of Hagen and Wise's theorem that hyperbolic free-by-cyclic groups are cubulable, and (ii) extend to the case with torsion Brinkmann's thesis that a torsion-free hyperbolic-by-cyclic group is hyperbolic if and only if it does not contain $\mathbb{Z}^2$-subgroups.

研究の動機と目的

• 基底群 G と半直積 G ⋊ ℤ が両方とも超曲面的であるという条件下で、超曲面的自由群に由来する群が立方体化可能であることを確立すること。
• 相対的立方体化を用いて、Hagen と Wise の超曲面的自由群に由来する群の立方体化可能性に関する結果の別証明を提供すること。
• ねじれを含む場合にまで、超曲面的自由群に由来する群の超曲面的性の特徴づけ（Z² 部分群を含まないこと）を拡張し、このような群が超曲面的であることと、Z² 部分群を含まないこととが同値であることを示すこと。
• 超曲面的自由群に由来する群が virtually special であり、Z-線形かつ共役分離的であることを示すこと。立方体化可能性と特殊な立方体複体の既知の性質を活用する。

提案手法

• Dahmani と M. (2023) の研究に基づき、Groves と Manning の CAT(0) 立方体複体上の不適切作用の理論を応用して、自由群の直積に由来する群の相対的立方体化を構築すること。
• Hsu と Wise の Malnormal Special Cube Theorem を適用し、群が極小な無限巡回部分群に沿って分解される場合に立方体化可能であることを導出すること。
• 表面群と自由群の既知の立方体化を用いて、一般の場合をそれらの代表的ケースに還元するテレスコピックな議論を展開すること。
• Dunwoody–Stallings 分解を用いて、G の一端性部分群を分析し、G ⋊ ℤ が超曲面的である場合、それらが virtually 表面群であることを示すこと。
• G に有限指数のねじれのない部分群が存在し、それが自由群と閉じた表面群の直積であるという事実を活用し、既知の立方体化可能性の結果を適用可能にすること。
• Wisdom (2021, Lemma 7.14) の結果を用いて、virtually cubulable な超曲面的群は立方体化可能であることを示し、有限指数部分群の立方体化可能性を元の群へと拡張すること。

実験結果

リサーチクエスチョン

• RQ1 超曲面的自由群に由来する群が立方体化可能である条件は何か？
• RQ2 相対的立方体化と Malnormal Special Cube Theorem を用いて、超曲面的自由群に由来する群の立方体化可能性を再証明できるか？
• RQ3 超曲面的自由群に由来する群の超曲面的性の特徴づけ（Z² 部分群を含まないこと）は、ねじれを含む場合にまで拡張可能か？
• RQ4 超曲面的自己同型を許容する超曲面的群が、どのような代数的構造を持つのか？
• RQ5 有限指数のねじれのない部分群の立方体化可能性から、G ⋊ ℤ の立方体化可能性を導けるか？

主な発見

• 超曲面的自由群に由来する群は、G と G ⋊ ℤ が両方とも超曲面的である場合に限り、立方体化可能である。
• G の有限指数のねじれのない部分群は、自由群と閉じた表面群の直積であり、G が virtually ねじれのないかつ残余有限であることを確認する。
• G ⋊ ℤ は立方体化可能であり、かつ virtually compact special であるため、virtually special である。
• G ⋊ ℤ は Z-線形であり、その quasi-convex 部分群は分離可能である。これは立方体化可能性と Hagen と Wise の結果から導かれる。
• G ⋊ ℤ は F₂ に virtually surjects する。これは立方体化可能性と virtual specialness の結果による。
• G ⋊ ℤ は Anosov 表現を許容する。これは立方体化可能な超曲面的群の virtual specialness が保証する。