[論文レビュー] Non Hyperbolic Free-By-Cyclic and One-Relator Groups

J. O. Button, Robert Kropholler|arXiv (Cornell University)|Mar 6, 2015

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿では、$F_2 \rtimes \mathbb{Z}$ の形をした自由群に拡大する群が、CAT(0)正方形複体上で真にかつ共通に作用することを確立し、それが仮想的に特別であることを示しており、したがって線型的かつ大規模であることを証明する。さらに、すべての2生成子1関係関係群が、SQ-普遍であるか、$BS(1,j)$ に同型であることを示し、長年の予想の一部を解決する。また、立方体化技術を用いて、特定の厳密に上昇するHNN拡大の線型性を証明する。

ABSTRACT

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation are either SQ-universal or are cyclic or isomorphic to BS(1,j). Finally we consider free-by-cyclic groups which are not relatively hyperbolic with respect to any collection of subgroups.

研究の動機と目的

• 非双曲的自由群に拡大する群が、CAT(0)立方体複体上で真にかつ共通に作用するかどうかを特定すること。
• 2生成子1関係関係群が、SQ-普遍であるか、$BS(1,j)$ に同型であるかどうかを調査し、P. M. Neumannによる予想を解決すること。
• 最近の立方体化結果を用いて、$F_2$ の厳密に上昇するHNN拡大の線型性を確立すること。
• CAT(0)幾何学および仮想的性質の文脈において、非双曲的群の幾何学的・代数的性質を明確にすること。

提案手法

• BridsonとLustigの非公表作業に基づき、正方形から構成されたCAT(0)正方形複体を、正の曲率のポケットを除去するようにトポロジカルモデルを変更することで構築する。
• 一般化された Baumslag-Solitar 群を用いて2生成子1関係関係群の構造を分析し、SQ-普遍または $BS(1,j)$ に同型であるかを分類する。
• 単射自己準同型を持つ上昇HNN拡大の理論を応用し、幾何学的および代数的性質を研究する。
• HNN拡大の語の双曲性基準 [31] を適用するために、自己準同型の非可約性および埋め込み条件を検証する。
• 文献[29]の系6.20を活用し、自己準同型が非可約でかつ群が語の双曲的である場合、仮想的に特別であると結論づける。
• 指数和の議論と巡回還元を用いて、周期的共轭類が存在しないことを排除し、HNN拡大が語の双曲的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての自由群に拡大する群 $F_2 \rtimes \mathbb{Z}$ は、CAT(0)正方形複体上で真にかつ共通に作用するか？
• RQ2 P. M. Neumannが予想したように、すべての2生成子1関係関係群は、SQ-普遍であるか、$BS(1,j)$ に同型であるか？
• RQ3 群 $\langle a,b,t \mid tat^{-1} = ab, tbt^{-1} = ba \rangle$ が $\mathbb{Z}$ 上で線型的であることを示せるか？
• RQ4 どのような条件下で、有限ランク自由群の上昇HNN拡大は仮想的に特別であり、したがって線型的となるか？

主な発見

• 群 $F_2 \rtimes_{\alpha} \mathbb{Z}$ は、CAT(0)正方形複体上で真にかつ共通に作用し、仮想的に特別であることが示された。
• すべての2生成子1関係関係群は、SQ-普遍であるか、$BS(1,j)$ に同型であることが確認され、Neumannの予想の特殊ケースが証明された。
• HNN拡大 $\langle a,b,t \mid tat^{-1} = ab, tbt^{-1} = ba \rangle$ は $\mathbb{Z}$ 上で線型的であることが示され、Kourovkaノートブックの問題17.108が解決された。
• $F_2$ 上の自己準同型 $\theta(a) = ab, \theta(b) = ba$ は非可約かつ埋め込みであり、仮想的に特別であるための条件を満たしている。
• このHNN拡大に周期的共轭類が存在しないことは、語の双曲性を保証しており、非可約性と組み合わせて仮想的に特別であることを示している。
• 指数和と巡回還元の議論により、$\theta^i(w)$ と $w^j$ が共轭しないことが示され、周期的共轭類の非存在が確認された。