[論文レビュー] Subgroup decomposition in $ ext{Out}(F_n)$, Part III: Weak attraction theory

Michael Handel, Lee Mosher|arXiv (Cornell University)|Jun 19, 2013

Finite Group Theory Research参考文献 9被引用数 8

ひとこと要約

この論文は、$\mathsf{Out}(F_n)$ 内の自己同型における弱吸引理論を確立し、前方または後方反復において吸引ラミネーションに弱く吸引されるべきでない共役類および直線を同定する。主な貢献は、列車線路代表と不変の幾何的構造を用いて、弱く吸引されない共役類を正確に特定する非吸引部分群系の導入である。

ABSTRACT

This is the third in a series of four papers (with research announcement posted on this arXiv) that develop a decomposition theory for subgroups of $ ext{Out}(F_n)$. In this paper, given an outer automorphism of $F_n$ and an attracting-repelling lamination pair, we study which lines and conjugacy classes in $F_n$ are weakly attracted to that lamination pair under forward and backward iteration respectively. For conjugacy classes, we prove Theorem F from the research annoucement, which exhibits a unique vertex group system called the "nonattracting subgroup system" having the property that the conjugacy classes it carries are characterized as those which are not weakly attracted to the attracting lamination under forward iteration, and also as those which are not weakly attracted to the repelling lamination under backward iteration. For lines in general, we prove Theorem G that characterizes exactly which lines are weakly attracted to the attracting lamination under forward iteration and which to the repelling lamination under backward iteration. We also prove Theorem H which gives a uniform version of weak attraction of lines. v3: Contains a stronger proof of Lemma 2.19 (part of the proof of Theorem G) for purposes of further applications.

研究の動機と目的

• $\mathsf{Out}(F_n)$ の元が直線の空間上で作用する際の包括的な弱吸引理論を構築すること。
• 前方または後方反復において、どの共役類および直線が吸引または反発ラミネーションに弱く吸引されるかを同定すること。
• 非吸引部分群系を定義し、その性質を確立することで、非吸引共役類を捉える標準的不変量としての役割を果たすこと。
• 特定の列車線路代表に依存しない一様で不変な弱吸引の記述を提供すること。

提案手法

• $\phi \in \mathsf{Out}(F_n)$ の改善された相対的列車線路代表および CT（完全に分割された）代表を用いて、直線空間上の力学的挙動を分析する。
• 弱位相における弱収束の概念を用いて、直線がラミネーションに弱く吸引されることを定義する。
• 非吸引部分群系 $\mathcal{A}_{\text{na}}(\Lambda^\pm)$ を導入し、これは $\phi$ による $\Lambda^+$ に弱く吸引されない共役類をすべて捉える頂点群系である。
• $\phi_\#$ における反復的像におけるパス分解およびキャンセルパターンに関する幾何的・組合せ的議論を用いる。
• CT 写像における非可約ニエルセンパスおよび高さ別ストラトムの構造を用いて、非吸引部分群系を明示的に記述する。
• 一様性の結果を適用して、弱吸引の挙動がすべての直線において安定的かつ予測可能であることを示し、定理 H に至る。

実験結果

リサーチクエスチョン

• RQ1 $\phi$ の前方反復において、$F_n$ のどの共役類が吸引ラミネーション $\Lambda^+$ に弱く吸引されないか。
• RQ2 非吸引共役類の集合を $\mathsf{Out}(F_n)$ 内で標準的部品群系としてどのように特徴づけられるか。
• RQ3 空間 $\mathcal{B}(F_n)$ 内のどの直線が $k \to \infty$ のとき $\phi^k$ によって $\Lambda^+$ に弱く吸引されるか。
• RQ4 すべての反復において弱吸引の挙動が一様にどのように振る舞い、初期の直線の選択に依存しないようにどのように境界づけられるか。
• RQ5 非吸引部分群系は $\phi^{-1}$ における力学的挙動および反発ラミネーション $\Lambda^-$ とどのように関係しているか。

主な発見

• $\mathcal{A}_{\text{na}}(\Lambda^\pm)$ は、弱く吸引されないすべての共役類を捉える well-defined な頂点群系である。
• 共役類 $c$ が $\phi$ に関して $\Lambda^+$ に弱く吸引されないことは、$\mathcal{A}_{\text{na}}(\Lambda^\pm)$ に含まれることと同値であり、正確な特徴づけが得られる。
• 非吸引部分群系は、その性質によって一意に定まる：頂点群系であり、かつ弱く吸引されない共役類をちょうど持ち合わせる。
• $\mathcal{A}_{\text{na}}(\Lambda^\pm)$ が幾何的であることは、それが自由因子系でないときに限り成り立つ。これは代数的構造と幾何的データを結びつける。
• 定理 G は、$\phi^k$ における $\Lambda^+$ への弱吸引性および $\phi^{-k}$ における $\Lambda^-$ への弱吸引性を、非吸引部分群系との交差性に基づいて完全に特徴づけている。
• 定理 H は一様な弱吸引結果を提供し、すべての反復において直線の弱吸引挙動が一様に有界であり、予測可能であることを示している。