[论文解读] The Tits Alternative for $Out(F_n)$ II: A Kolchin Type Theorem

Mladen Bestvina, Mark Feighn+1 more|ArXiv.org|Dec 3, 1997

Geometric and Algebraic Topology被引用 17

一句话总结

本文为 $\mathrm{Out}(F_n)$ 建立了一种类 Kolchin 定理，证明了 $\mathrm{Out}(F_n)$ 中每个有限生成的幂幺多项式增长（UPG）子群都是可滤的——即它可通过在滤化标记图上取上三角自同构的代表元来实现。其关键贡献是给出了一个类似于 Kolchin 定理对幂幺线性群的结构刻画，表明此类子群保持一个具有受控动力学的子图嵌套序列。

ABSTRACT

The proof of the Tits alternative for $Out(F_n)$ is completed. The main tool is a Kolchin type theorem, proved in this paper. It states that a finitely generated subgroup of $Out(F_n)$ consisting of unipotent automorphisms can be conjugated into an upper-triangular subgroup (this is interpreted via train-tracks).

研究动机与目标

• 建立 $\mathrm{Out}(F_n)$ 中幂幺多项式增长（UPG）子群的结构刻画，类比于幂幺线性群的 Kolchin 定理。
• 证明 $\mathrm{Out}(F_n)$ 中每个有限生成的 UPG 子群均可提升为滤化标记图上的一组上三角同伦自同构群。
• 为理解具有平凡边稳定子的 $F_n$-树上 UPG 自同构的动力学与几何行为，提供一个基于 train track 理论的框架。
• 通过滤化结构，解决 $\mathrm{Out}(F_n)$ 的 Tits 交替问题，证明 UPG 子群要么是可解的，要么包含 $F_2$。
• 研究每个 UPG 子群是否都包含于某个有限生成的 UPG 子群中，此问题作为开放问题保留。

提出的方法

• 使用相对 train track 代表元，以标记图的滤化结构为背景，对 UPG 自同构建模为上三角结构。
• 应用弹跳序列（bouncing sequences）分析迭代下边像的增长，证明其至多线性增长并最终稳定。
• 构造一个滤化标记图 $G$，其滤化满足 $G_0 \subset \cdots \subset G_K = G$，其中每条边 $E_i$ 的像路径在 $G_{i-1}$ 中具有前缀和后缀。
• 通过顶点稳定子和对固定于该群的树的归纳论证，将 UPG 子群提升为 $G$ 上的一组上三角同伦自同构群 $\mathcal{Q}$。
• 利用等变映射和树与图之间的同伦自同构，构造在滤化结构下保持上三角形式的代表元。
• 对自由群的秩进行归纳，并分析 $F_n$-树中顶点的稳定子，以构建所需的滤化图结构。

实验结果

研究问题

• RQ1 每个有限生成的 UPG 子群是否都能在某个滤化标记图上实现为一组上三角自同构？
• RQ2 在这样的滤化图中，表示一个 UPG 子群所需的最少边数是多少？
• RQ3 UPG 自同构在具有平凡边稳定子的 $F_n$-树上的动力学行为如何与它们的代数结构相关联？
• RQ4 每个 $\mathrm{Out}(F_n)$ 中的 UPG 子群是否都包含于某个有限生成的 UPG 子群中？
• RQ5 UPG 子群在代数与几何行为上，与幂幺线性群或幂幺映射类群在多大程度上相似？

主要发现

• 每个有限生成的 UPG 子群在 $\mathrm{Out}(F_n)$ 中都是可滤的，即它可提升为滤化标记图上的一组上三角同伦自同构群。
• 此类滤化标记图中的边数可被控制在 $\frac{3n}{2} - 1$ 以内（当 $n > 1$ 时），从而对表示的复杂度提供了定量控制。
• 证明依赖于构造一个被该群固定的、具有平凡边稳定子的树，并通过从顶点稳定子到整个图的归纳提升代表元。
• UPG 自同构迭代下边的弹跳序列至多线性增长，并最终停止增长，表明边像趋于稳定。
• 在关联的 $F_n$-树中，边稳定子在有限步迭代后变为平凡，这是证明上三角代表元存在的关键步骤。
• 在滤化标记图上，上三角映射的群 $\mathcal{Q}$ 关于复合运算是封闭的，且其在 $\mathrm{Out}(F_n)$ 中的像同构于原始的 UPG 子群。