[论文解读] Subgroup decomposition in Out(F_n), Part II: A relative Kolchin theorem

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

Geometric and Algebraic Topology参考文献 10被引用 14

一句话总结

本文为 $Δ\mathsf{Out}(F_n)$ 的子群建立了一个相对的 Kolchin 定理，将绝对 Kolchin 定理推广至允许指数增长被限制在某个固定的、不变的自由因子系 $Χ$ 内的情形。证明了任意有限生成子群 $Χ < \operatorname{IA}_n(\mathbb{Z}/3)$，若其元素相对于一个不变的自由因子系 $Χ$ 呈多项式增长，则存在一个关于 $Χ$ 的最大不变自由因子系滤链，其中每一步均为单边扩张，从而将 $Δ\mathsf{Out}(F_n)$ 的结构理论推广至相对情形。

ABSTRACT

This is the second 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 relativize the "Kolchin-type theorem" from the work of Bestvina, Feighn, and Handel on the Tits alternative, which describes a decomposition theory for subgroups H of Out(F_n) all of whose elements have polynomial growth. The Relative Kolchin Theorem allows subgroups H whose elements have exponential growth, as long as all such exponential growth is cordoned off in some free factor system F which is invariant under every element of H. The conclusion is that a certain finite index subgroup of H has an invariant filtration by free factor systems going from F up to the full free factor system by individual steps each of which is a "one-edge extension". We also study the kernel of the action of Out(F_n) on homology with Z/3 coefficients, and we prove Theorem B from the research announcement, which describes strong finite permutation behavior of all elements of this kernel.

研究动机与目标

• 将适用于 $Δ\mathsf{Out}(F_n)$ 中无扭多项式增长子群的绝对 Kolchin 定理推广至允许指数增长的子群，只要此类增长被限制在某个固定的、不变的自由因子系内。
• 在相对多项式增长条件下，建立 $Δ\mathsf{Out}(F_n)$ 子群的分解理论，推广先前关于幂零多项式增长的结果。
• 分析 $Δ\mathsf{Out}(F_n)$ 在 $H_1(F_n; \mathbb{Z}/3)$ 上作用的核，证明该核中的元素表现出强有限置换行为。
• 证明在相对多项式增长条件下，关于 $Χ$ 的最大不变自由因子系滤链可分解为单边扩张，即使存在指数增长也成立。

提出的方法

• 证明使用了 [BFH05] 中弹跳序列构造的相对版本，该构造已适配至指数增长被限制在某个固定的自由因子系 $Χ$ 的相对情形。
• 应用了相对于自由因子系 $Χ$ 的 Nielsen 对概念，以确保在 $F_n$-树中某些顶点稳定子群非平凡，并通过具有平凡边稳定子群的路径相连。
• 该方法依赖于对具有平凡边稳定子群的 $F_n$-树序列 $T_0, T_1, T_2, \dots$ 的归纳分析，其中每个 $T_i$ 由对 $T_{i-1}$ 应用自同构 $φ_i$ 得到。
• 利用命题 6.2 和 6.4 证明自由因子系 $Χ$ 在序列中保持不变，且每一步的边稳定子群均保持平凡。
• 将 [BFH05] 中的引理 5.18 和 5.19 适配至本情境，以证明非平凡顶点稳定子群之间的距离趋于稳定且有界，从而保证最小距离 Nielsen 对的存在。
• 此类 Nielsen 对的存在性，连同最小长度路径和内部稳定子群平凡的性质，使得可在滤链中构造出单边扩张，从而完成相对 Kolchin 定理的证明。

实验结果

研究问题

• RQ1 能否将适用于 $Δ\mathsf{Out}(F_n)$ 中无扭多项式增长子群的绝对 Kolchin 定理推广至允许指数增长的子群，只要此类增长被限制在某个固定的、不变的自由因子系内？
• RQ2 $Δ\mathsf{Out}(F_n)$ 在 $H_1(F_n; \mathbb{Z}/3)$ 上作用的核是否表现出强有限置换行为，如 [HM13a] 中所猜想？
• RQ3 对于一个有限生成子群 $Χ < \operatorname{IA}_n(\mathbb{Z}/3)$，其每个元素相对于某个固定的 $Χ$-不变自由因子系 $Χ$ 呈多项式增长，是否存在一个关于 $Χ$ 的最大不变自由因子系滤链，使得滤链的每一步均为单边扩张？
• RQ4 能否为该子群相对于不变自由因子系构造一个 Nielsen 对，使得在相关 $F_n$-树中连接两顶点的路径具有平凡边稳定子群且长度最小？

主要发现

• 相对 Kolchin 定理成立：对于任意有限生成子群 $Χ < \operatorname{IA}_n(\mathbb{Z}/3)$，若其元素相对于某个固定的、$Χ$-不变的自由因子系 $Χ$ 呈多项式增长，则其任意最大 $Χ$-不变自由因子系滤链的每一步均为单边扩张。
• 映射 $Δ\mathsf{Out}(F_n) \to \operatorname{GL}_n(\mathbb{Z}/3)$ 的核，记为 $\operatorname{IA}_n(\mathbb{Z}/3)$，表现出强有限置换行为，如 [HM13a] 中定理 B 所确立。
• 具有平凡边稳定子群的 $F_n$-树的弹跳序列保持自由因子系 $Χ$ 不变，并且在整个序列中边稳定子群始终保持平凡。
• 弹跳序列中非平凡顶点稳定子群之间的最小距离趋于稳定，且存在实现该最小距离的 Nielsen 对，从而保证滤链中存在单边扩张。
• 在最终树中，连接最小距离 Nielsen 对两顶点的路径具有平凡的内部顶点稳定子群，并可嵌入到图丛的商图中，从而允许构造单边扩张。
• 证明表明，相对于 $Χ$ 存在一个 Nielsen 对，即可推出存在一个连接路径长度最小的 Nielsen 对，该路径可坍缩为单条边，从而在滤链中实现单边扩张步骤。