[論文レビュー] Subgroup decomposition in Out(F_n): Introduction and Research Announcement

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

Geometric and Algebraic Topology参考文献 8被引用数 13

ひとこと要約

本稿では、Out(Fₙ) の有限生成部分群に対する相対的分解理論を導入し、写像類群におけるIvanovの定理を一般化する。このような部分群は、共役に関して自由因子を固定するか、あるいは完全に非可約な外部自己同型を含むことが示され、幾何的リーマン構造が存在する場合には洗練された構造をとる。その結果、写像類群への埋め込みが得られる。

ABSTRACT

This is the introduction to a series of four papers that develop a decomposition theory for subgroups of Out(F_n) which generalizes the theory for elements of Out(F_n) found in the work of Bestvina, Feighn, and Handel on the Tits alternative, and which is analogous to the decomposition theory for subgroups of mapping class groups found in work of Ivanov. In this introduction we state the main theorems and we outline the contents of the whole series.

研究の動機と目的

• Out(Fₙ) の部分群の分解理論を絶対的状況を超えて拡張し、写像類群におけるIvanovの定理を一般化すること。
• 『HM09』における定理Aの制限を相対的枠組みを導入することで克服し、入れ子になった自由因子系を通じて挙動を追跡すること。
• 吸引リーマン構造の幾何的性質に基づいて、Out(Fₙ) の非可約部分群を分類し、幾何的・非幾何的ケースを区別すること。
• すべての吸引リーマン構造が幾何的である場合に、Out(Fₙ) の部分群が曲面の写像類群に埋め込まれる条件を確立すること。
• 入れ子になった自由因子系と不変リーマン構造を用いて、Out(Fₙ) の有限生成部分群の完全な構造的分類を提供すること。

提案手法

• 相対的トレイントラック理論および吸引リーマン理論を用いて、外部自己同型が自由因子系に作用するダイナミクスを分析する。
• 絶対的状況を一般化した、入れ子になった自由因子系に関する「可約性」と「完全非可約性」の概念を導入する。
• ピングポングラウンド法を用いて、非吸引部分群系（NA）を最小値まで低下させ、不変構造を同定する。
• 「幾何的モデル」の概念を定義・利用し、吸引リーマン構造が曲面群作用から生じる状況を特徴付ける。
• 非吸引部分群系の最小値を用いて、1つの穴あき曲面構造を同定し、写像類群への埋め込みを可能にする。
• 自由因子系における鎖条件を活用して、ピングポングラウンド過程の収束を保証し、分解ステップの有限性を確保する。

実験結果

リサーチクエスチョン

• RQ1 Out(Fₙ) の有限生成部分群が、入れ子になった自由因子系の系列を保存するのはどのような条件下か？
• RQ2 自由因子系に関して完全に非可約な外部自己同型を含む場合、Out(Fₙ) の部分群の構造はどのように分解できるか？
• RQ3 Out(Fₙ) の部分群が曲面の写像類群に埋め込まれるのはいつか？ その埋め込みはどのように特徴づけられるか？
• RQ4 幾何的・非幾何的吸引リーマン構造は、Out(Fₙ) の部分群のダイナミカル分解において果たす役割は何か？
• RQ5 部分群の最小非吸引部分群系は、その作用を支持する曲面構造を検出するために利用できるか？

主な発見

• 任意のOut(Fₙ) の有限生成部分群は、共役類として自由因子を（ほぼ）固定するか、あるいは自由因子系に関して完全に非可約な外部自己同型を含む。
• ピングポングラウンド過程における非吸引部分群系の最小値は、部分群が幾何的かつ非可約である場合、1つの穴あき曲面群に対応する。
• 自由因子系に関して幾何的かつ非可約な部分群は、1つの境界成分を持つ曲面の写像類群に埋め込むことができる。
• このような曲面の写像類群に埋め込まれた場合、部分群は擬等長要素を含む。
• ピングポングラウンド過程は、吸引リーマン構造の非幾何的性質を保ち続けるため、ダイナミカル分類の一貫性が保証される。
• 相対的分解理論により、入れ子になった自由因子系を介した帰納的解析が可能となり、絶対的定理Aの制限を克服できる。