[論文レビュー] A simple criterion for non-relative hyperbolicity and one-endedness of groups

James W. Anderson, Javier Aramayona+1 more|ArXiv.org|Apr 13, 2005

Geometric and Algebraic Topology参考文献 29被引用数 10

ひとこと要約

本稿では、生成集合に関して群の可換性グラフの連結性に基づく組み合わせ的基準を導入し、非強相対的双曲性および一端性を確立する。主な貢献は、両性質を同時に示す統一的条件を提示し、これを用いて曲面写像類群、トーリー群、自由群の自己同型群、3次元ヘイゼンベルク群、およびトムソンの群Fが非強相対的双曲的であり、かつ一端であることを示している。

ABSTRACT

We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively hyperbolic group structure and have one end. Applications include surface mapping class groups, the Torelli group, (special) automorphism and outer automorphism groups of most free groups, and the three-dimensional Heisenberg group. Our final application is to Thompson's group F.

研究の動機と目的

• 有限生成群における非強相対的双曲性および一端性を決定する統一的で組み合わせ的な基準を確立すること。
• 写像類群や自由群の自己同型群といった重要な群のクラスが強相対的双曲的構造を有するかどうかという未解決問題を解消すること。
• バース＝セール理論や漸近的コーンに依存しない、一端性および非相対的双曲性を示すための新規な手法を提供すること。
• 特に幾何的でない設定において、ランク2のアーベル部分群を含む群への相対的双曲性基準の適用範囲を拡張すること。
• トムソンの群Fの一端性および非強相対的双曲性を、漸近的コーンに依存しない自己完結的で群論的な証明により示すこと、これは以前にこの方法で示されていなかった。

提案手法

• 群 $ G $ とその有限生成集合 $ S $ に対して、頂点を生成元とし、可換なペア間に辺を引く可換性グラフ $ K(G,S) $ を定義する。
• もし $ K(G,S) $ が連結であれば、$ G $ はいかなる有限個の真の有限生成部分群の族に対しても強双曲的ではないことを証明する。
• 強相対的双曲的構造において、$ G $ のランクが2以上のアーベル部分群は、必ずある周辺部分群に共役で入れ込まれるという事実を用いる。
• 二つの周辺部分群の共役が無限部分群で交わるならば、その交わりを生成する元は同じ周辺部分群に属するという、鍵となる定理（定理3）を適用する。
• 複数の生成元にわたる可換な無限位数の元の存在が、周辺部分群が生成集合を含むことにつながり、真の条件に反するという矛盾を導く。
• 自由積分解を仮定して一端性を示すために、同様の交わりと共役性の性質を応用する。

実験結果

リサーチクエスチョン

• RQ1 群の生成集合に関する可換性グラフの単純な組み合わせ的条件が、非強相対的双曲性および一端性を同時に示せるか？
• RQ2 曲面写像類群、トーリー群、自由群の自己同型群が、この基準によって強相対的双曲的構造を有さないのか？
• RQ3 トムソンの群Fは非強相対的双曲的かつ一端であり、かつ漸近的コーンに依存しない群論的証明によって示せるのか？
• RQ4 ランク2のアーベル部分群の存在が、強相対的双曲的分解における可能な周辺構造をどの程度制限するのか？
• RQ5 バース＝セール理論や位相的技法に依存せずに、可換性グラフの連結性が一端性の十分条件として機能するのか？

主な発見

• ある有限生成集合 $ S $ に対して可換性グラフ $ K(G,S) $ が連結であれば、$ G $ はいかなる有限個の真の有限生成部分群の族に対しても強双曲的ではない。
• genus $ g \geq 3 $ の曲面の写像類群、genus $ g \geq 3 $ の曲面のトーリー群、および $ n \geq 5 $ の $ \mathbf{F}_n $ の自己同型群と外部自己同型群は、非強相対的双曲的であり、かつ一端である。
• 3次元ヘイゼンベルク群は非強相対的双曲的であり、一端である。これは、$ S = \{a,b,c\} $ に対する可換性グラフが連結であり、ランク2のアーベル部分群を含むことによる。
• トムソンの群 $ F $ は非強相対的双曲的であり、一端である。これは、生成集合 $ S' = \{x_0, x_1, x_2, \dots\} \cup \{x_0x_1^{-1}\} $ を用いた修正された議論により示され、その可換性グラフは $ x_0 $ と $ x_1 $ を除いて連結である。
• この議論により、$ G $ のランクが2以上の任意のアーベル部分群は、強相対的双曲的構造において、単一の周辺部分群に共役で入れ込まれる必要があることが示され、複数の生成元が同じ周辺部分群に押し込まれる場合に矛盾が生じる。
• この手法は、ベールストック、ドゥルツ、モシャーらが用いた漸近的コーン技法の代替となり、特に豊富なアーベル部分群を含む群に直接適用可能である。