[論文レビュー] Subgroup decomposition in $ ext{Out}(F_n)$, Part IV: Relatively irreducible subgroups

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

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

ひとこと要約

本稿は、$F_n$ の直線空間への $\mathsf{Out}(F_n)$ の部分群の作用に対して、ピンポン法を用いて、任意の有限生成部分群 $\mathcal{H} < \operatorname{IA}_n(\mathbb{Z}/3)$ が自由因子系 $\mathcal{F}$ に関して不約であるとき、$\mathcal{F}$ に関して完全に不約な元を含むことを証明する。これは、やや弱い力学的条件下で成り立つ。主な貢献は、このような部分群における完全に不約な元の存在を保証する一般的基準の確立であり、幾何的および相対的不約性構造への応用を含む。

ABSTRACT

This is the fourth and last 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 we develop general ping-pong techniques for the action of $ ext{Out}(F_n)$ on the space of lines of $F_n$. Using these techniques we prove the main results stated in the research announcement, Theorem C and its special case Theorem I, the latter of which says that for any finitely generated subgroup $\mathcal H$ of $ ext{Out}(F_n)$ that acts trivially on homology with $\mathbb{Z}/3$ coefficients, and for any free factor system $\mathcal F$ that does not consist of (the conjugacy classes of) a complementary pair of free factors of $F_n$ nor of a rank $n-1$ free factor, if $\mathcal H$ is fully irreducible relative to $\mathcal F$ then $\mathcal H$ has an element that is fully irreducible relative to $\mathcal F$. We also prove Theorem J which, under the additional hypothesis that $\mathcal H$ is geometric relative to $\mathcal F$, describes a strong relation between $\mathcal H$ and a mapping class group of a surface. v3 and 4: Strengthened statements of the main theorems, highlighting the role of the finite generation hypothesis, and providing an alternative hypothesis. Strengthened proofs of lamination ping-pong, and a strengthened conclusion in Theorem J, for further applications.

研究の動機と目的

• $\mathsf{Out}(F_n)$ が $F_n$ の直線空間に作用する際の一般化されたピンポン技法の開発。
• 定理 C および定理 I の証明により、相対的不約性および力学的条件を満たす $\mathsf{Out}(F_n)$ の部分群において、完全に不約な元の存在を確立すること。
• 定理 I を、吸引ラミネーションの弱極限に対する位相的制御条件を追加することで強化すること。
• 定理 J の証明により、幾何的部分群と曲面の写像類群との間の強い構造的関係を明らかにすること。

提案手法

• 二つの元 $\phi, \psi \in \mathcal{H}$ を選び、それらのラミネーションが $\mathcal{F}$ に従属しないようにし、第III部の弱吸引理論を用いてピンポンゲームを構成する。
• 大きな指数 $l, m > 0$ を用いて $\xi = \psi^l \phi^m$ を構成し、その吸引ラミネーションが $\phi$ および $\psi$ のそれと弱く近いことを示す。
• 非吸引部分群系 $\mathcal{A}_{\text{na}}\Lambda^\pm_\xi$ が $\mathcal{F}$ を含むことが示され、相対的構造が保たれる。
• テイントラック写像のパスに引き起こされるネスト・プルバック法を適用し、グラフ内のパス実現が、固定された自由因子系によって最終的には従属することを示す。
• 折りたたみ列とグラフ $G^i$ における収束議論を用いて、折りたたみ写像によるパス像が、最終的に固定された部分グラフ $Y^i$ に集中することを示す。
• 矛盾による証明により、パス実現が常に従属しないと仮定した場合、固定された自由因子系が基底全体を含むことになり、不約性仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 有限生成部分群 $\mathcal{H} < \mathsf{Out}(F_n)$ が $H_1(F_n; \mathbb{Z}/3)$ に自明に作用するとき、自由因子系 $\mathcal{F}$ に関して完全に不約な元を含むための条件は何か？
• RQ2 $\mathcal{H}$ 内の完全に不約な元の吸引ラミネーションを、与えられたラミネーションの弱近傍に任意に制御できるか？
• RQ3 幾何的部分群 $\mathcal{H}$ と、$\mathcal{F}$ に関して曲面の写像類群との間の関係は何か？
• RQ4 要素 $\psi^l \phi^m$ の非吸引部分群系が依然として $\mathcal{F}$ を含むことを保証するにはどうすればよいか？
• RQ5 折りたたみ列におけるパス実現が固定された部分グラフを避ける場合、どのような構造的制約が生じ、矛盾に至るのか？

主な発見

• 任意の有限生成部分群 $\mathcal{H} < \operatorname{IA}_n(\mathbb{Z}/3)$ が $\mathcal{F} \sqsubset \{[F_n]\}$ に関して不約であるとき、$\mathcal{H}$ に $\mathcal{F}$ に関して完全に不約な元 $\phi$ が存在する。
• $\mathcal{H}$ が $\mathcal{F}$ に関して幾何的であるか、または $\mathcal{F}$ に従属しない非幾何的ラミネーション対を含むならば、完全に不約な元の吸引ラミネーションを、与えられた要素の負のラミネーションの任意の弱近傍に選べる。
• 構成された要素 $\xi = \psi^l \phi^m$ の非吸引部分群系 $\mathcal{A}_{\text{na}}\Lambda^\pm_\xi$ は $\mathcal{F}$ を含み、相対的構造が保たれる。
• 折りたたみグラフの長さ $L(G^i_{M(i)})$ は無限大に発散するため、折りたたみプロセスは最終的にパス像をグラフ全体に広げる。
• プルバック・ネスト議論により、$G^i_{M(i)}$ 内のパス実現は、最終的に固定された部分グラフ $Y^i$ に従属することを示し、それが基底要素を避けるという仮定に反する。
• 基底要素 $b$ が任意の固定自由因子系に従属しないと仮定した場合、その実現が $i$ に依存しない一様有界な部分グラフ $Y^i$ に最終的に閉じ込められることから、矛盾が生じる。