[論文レビュー] Subgroup decomposition in Out(F_n), Part I: Geometric Models

Michael Handel, Lee Mosher|arXiv (Cornell University)|Feb 10, 2013

Geometric and Algebraic Topology参考文献 17被引用数 15

ひとこと要約

この論文は、自由群の外部自己同型の相対的トレイントラック写像に現れる指数的成長(strata)の幾何的モデルを確立し、吸引ラミネーションとその双対対が幾何的であることが不変であることを証明する。弱幾何的モデルと完全幾何的モデルを導入し、関連するR木がBass-Serre木に等長埋め込み可能であることを示し、回転なしのべき乗および双対ラミネーションにおいて幾何的性が保存されることを示す。

ABSTRACT

This is the first in a series of four papers (with research announcement posted on this arXiv) that together develop a decomposition theory for subgroups of Out(F_n). In this paper we develop further the theory of geometric EG strata of relative train track maps originally introduced in the work of Bestvina, Feighn, and Handel on the Tits alternative, with our focus trained on certain 2-dimensional models of such strata called "geometric models" and on the interesting properties of these models. A secondary purpose of this paper is to serve as a central reference for the whole series regarding basic facts of the general theory for elements of Out(F_n).

研究の動機と目的

• Out(F_n)の要素に対する相対的トレイントラック写像における指数的成長(EG) strataの包括的な幾何的モデル理論を構築すること。
• EG stratumの幾何的性が、トレイントラック代表の選択に依存しない、関連する吸引ラミネーションの不変量であることを確立すること。
• 逆自己同型の下で、幾何的性が双対ラミネーションへ拡張されることを示し、φとφ⁻¹の間で一貫性が保たれることを保証すること。
• Out(F_n)における部分群の後続の分解理論に不可欠な基礎的ツールと構造的洞察を提供すること。

提案手法

• 表面S（擬アーノスモンオドロムを有する）とグラフG′を等長写像を介して接合することで弱幾何的モデルを構成し、2次元複体YとY → Yのホモトピー同値hを得る。
• Yに高次元のstrata G\G_rを付加することで弱モデルを完全幾何的モデルに拡張し、元のグラフGとホモトピー同値な2次元複体Xを構成する。
• Bass-Serre理論を用いてF_nが普遍被覆X̃上で作用する様子を解析し、K ∪ j(S)の被覆の折りたたみによりR木Tを構成する。
• K ∪ H_rの成分を折りたたんで得られるグラフの群の構造から得られるBass-Serre木Uへの商写像s: T → Uを定義する。
• T上の距離が部分木r(ℒ̃_a,c)とr(𝒮̃_c)内の弧の連結によって実現されることを証明し、TがR木であることを保証する。
• Uおよび表面成分の被覆上の作用の最小性を用いて、F_nがT上で作用する最小性を示す。

実験結果

リサーチクエスチョン

• RQ1 相対的トレイントラック写像におけるEG stratumの幾何的性は、回転なし代表の選択に依存しないか？
• RQ2 Out(F_n)における吸引ラミネーションΛ⁺が幾何的であるならば、φ⁻¹におけるその双対ラミネーションΛ⁻も幾何的であるか？
• RQ3 幾何的モデルを用いて、外的自己同型の力学的性質を反映するF_nの作用が最小かつ等長であるR木を構成できるか？
• RQ4 表面Sの位相的・力学的性質およびG′への接合方法が、関連するR木の構造にどのように影響を与えるか？
• RQ5 ラミネーションの自由因子サポートと、同じ自由因子サポートを持つφ不変な共役類の有限集合の存在との正確な関係は何か？

主な発見

• EG stratumの幾何的性は、吸引ラミネーションΛ⁺の不変量である。つまり、ある回転なし相対的トレイントラック代表においてEG stratumが幾何的であれば、すべての同様の代表においても幾何的である。
• 吸引ラミネーションΛ⁺が幾何的であれば、φ⁻¹におけるその双対ラミネーションΛ⁻に対しても幾何的であり、この性質はφおよびφ⁻¹のすべての回転なしのべき乗においても保存される。
• Λ⁺と同一の自由因子サポートを持つφ不変な共役類の有限集合の存在は、任意の回転なし相対的トレイントラック写像における関連EG stratumの幾何的性を特徴づける。
• 幾何的モデルの普遍被覆から得られるR木Tは、等長埋め込みかつ最小であり、F_nがT上で作用する作用は最小かつ等長である。
• T上の距離は、部分木r(ℒ̃_a,c)およびr(𝒮̃_c)内の弧の連結として実現され、T内の弧[x,y]はその成分弧の和に等長である。これによりTがR木であることが証明される。
• 商写像s: T → Uは各r(𝒮̃_c)を一点に折りたたみ、Uに木構造を誘導し、交差パターンを保ち、Tにおける測地線の一意性を保証する。