[论文解读] 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{F}$ 为不可约的有限生成子群 $\mathcal{H} < \operatorname{IA}_n(\mathbb{Z}/3)$ 都包含一个相对于 $\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}$ 所携带，借助第三部分的弱吸引理论。
• 通过使用较大的指数 $l, m > 0$ 构造 $\xi = \psi^l \phi^m$，并证明其吸引层与 $\phi$ 和 $\psi$ 的吸引层在弱意义下接近。
• 证明非吸引子群系统 $\mathcal{A}_{\text{na}}\Lambda^\pm_\xi$ 承载 $\mathcal{F}$，从而确保相对结构得以保持。
• 应用拉回-嵌套论证于轨道图上的路径，表明图中路径的实现最终必须被某个固定的自由因子系所携带。
• 证明使用折叠序列与图 $G^i$ 上的收敛性论证，表明折叠映射下路径像最终必须集中在某个固定的子图 $Y^i$ 上。
• 通过反证法，证明若路径实现始终保持非携带状态，则某个固定的自由因子系将携带整个基，从而违反不可约性假设。

实验结果

研究问题

• RQ1 在何种条件下，一个在 $H_1(F_n; \mathbb{Z}/3)$ 上平凡作用的有限生成子群 $\mathcal{H} < \mathsf{Out}(F_n)$ 会包含一个相对于自由因子系 $\mathcal{F}$ 完全不可约的元素？
• RQ2 能否控制 $\mathcal{H}$ 中完全不可约元素的吸引层，使其位于某个给定层的弱邻域内？
• RQ3 一个相对于 $\mathcal{F}$ 的几何子群 $\mathcal{H}$ 与曲面的映射类群之间存在何种关系？
• RQ4 如何确保乘积 $\psi^l \phi^m$ 的非吸引子群系统仍承载 $\mathcal{F}$？
• RQ5 当折叠序列中的路径实现始终避开某个固定子图时，会引发何种结构约束并导致矛盾？

主要发现

• 对于任意相对于 $\mathcal{F} \sqsubset \{[F_n]\}$ 不可约的有限生成子群 $\mathcal{H} < \operatorname{IA}_n(\mathbb{Z}/3)$，存在 $\phi \in \mathcal{H}$ 使得 $\phi$ 相对于 $\mathcal{F}$ 完全不可约。
• 若 $\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$ 中。