[論文レビュー] A Geometric Proof of the Structure Theorem for Cyclic Splittings of Free Groups

Christopher H. Cashen|arXiv (Cornell University)|Aug 17, 2012

Geometric and Algebraic Topology参考文献 19被引用数 7

ひとこと要約

この論文は、自由群の循環的分解の構造定理について、幾何的証明を提示する。同定理は、無限巡回群を基にした拡大自由積またはHNN拡大が自由（一般化された場合、ほぼ自由）であるための必要十分条件として、頂点群への包含写像の一方が巡回部分群を自由（またはほぼ巡回）因子へ全射的に写像することを示す。証明はBass-Serre理論、Whiteheadグラフ、境界ダイナミクスを用い、この条件を満たさない場合、群の幾何的モデルが擬木でないことを示し、したがってほぼ自由でないことを示す。

ABSTRACT

We give a geometric proof of a well known theorem that describes splittings of a free group as an amalgamated product or HNN extension over the integers. The argument generalizes to give a similar description of splittings of a virtually free group over a virtually cyclic group.

研究の動機と目的

• 無限巡回部分群を基にした自由群の1辺分解の古典的構造定理について、幾何的証明を提供すること。
• 構造定理をほぼ自由群に一般化し、ほぼ巡回群を基にした拡大自由積またはHNN拡大がいつほぼ自由群を与えるかを記述すること。
• 境界ダイナミクスとWhiteheadグラフを用いて、ほぼ自由群におけるほぼ巡回部分群が因子である条件を同定すること。
• 因子条件を満たさない場合、粗いBass-Serre複体が擬木でなくなることから、群がほぼ自由でないことを示すこと。

提案手法

• 群の分解に対して粗いBass-Serre複体を構成し、ほぼ自由の場合にはねじれを扱うために粗くする。
• Whiteheadグラフを用いて、Bass-Serre複体内の辺空間の交差パターンを符号化する。
• 有限指数正規自由部分群への循環辺群の持ち上げに対する最小Whiteheadグラフの連結性を分析する。
• 境界ダイナミクスを適用：Whiteheadグラフの高い連結性により、大きな球を避けるパスの構成が可能であり、同じエンドに属する異なる境界点が得られることを示す。
• ほぼ自由群の境界は完全に不連結であるため、非自明なエンド構造はほぼ自由性に反する。
• 辺群が両頂点群のいずれの因子にも写らない場合、粗いBass-Serre複体は擬木でないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 無限巡回群を基にした2つの自由群の拡大自由積は、どのような条件下で自由群になるか？
• RQ2 自由群を無限巡回部分群を基にしたHNN拡大は、どのような条件下で自由群になるか？
• RQ3 循環的分解の構造定理をほぼ自由群にどのように一般化できるか？
• RQ4 ほぼ巡回部分群がほぼ自由群の因子であるかどうかを決定する幾何的基準は何か？
• RQ5 因子条件を満たさない場合、Bass-Serre複体においてその失敗はどのように幾何的に現れるか？

主な発見

• 有限生成自由群 $A*_C B$ を無限巡回群 $C$ を基にした拡大自由積とすると、これは $C$ が頂点群のいずれかの自由因子上へ全射的に写るときかつそのときに限り自由群である。
• HNN拡大 $A*_C$ が自由群であるための必要十分条件は、$A$ 内の共共役を除いて、辺群が独立な自由因子へ写り、かつ一方の写像が全射であることである。
• ほぼ自由群の場合、$A*_C B$ がほぼ自由群であるための必要十分条件は、$C$ が頂点群のいずれかの因子上へ全射的に写ることであり、HNN拡大に対しても同様の条件が成り立つ。
• 証明により、$C$ が両頂点群の因子に写らない場合、粗いBass-Serre複体は擬木でないことが示され、したがって群はほぼ自由でない。
• ほぼ自由群の境界は完全に不連結であり、因子条件を満たさない場合、非自明なエンド構造が生じ、この性質と矛盾する。
• $\mathbb{Z}/2\mathbb{Z} * \mathbb{Z}/3\mathbb{Z}$ の場合、どのほぼ巡回部分群も因子でないため、このような群を基にした非自明な分解は、ほぼ自由群を生成できない。