[论文解读] Solvable subgroups of Out(F_n) are virtually abelian

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

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

一句话总结

本文证明了 $\mathrm{Out}(F_n)$ 的每个可解子群都是拟阿贝尔的，即其包含一个有限指数的自由阿贝尔子群。证明利用了在图的万有覆盖边界上的作用，通过自同构的不动点集构造到 $\mathbb{Z}^r$ 的同态，并将其延拓至整个可解群，从而证明该群嵌入到秩至多为 $3^{5n^2}$ 的自由阿贝尔群中，建立了拟阿贝尔子群指数的统一有界性。

ABSTRACT

A companion result of the the Tits alternative for $Out(F_n)$ is proved: Every solvable subgroup of $Out(F_n)$ is finitely generated and virtually abelian.

研究动机与目标

• 确定 $\mathrm{Out}(F_n)$ 中可解子群的结构本质，该群已知在行为上兼具映射类群与线性群的特征。
• 解决 $\mathrm{Out}(F_n)$ 中的可解子群是否必为拟阿贝尔的问题，与 $GL(n,\mathbb{Z})$ 中此类子群可非阿贝尔（例如海森堡群）形成对比。
• 为 $\mathrm{Out}(F_n)$ 的任意可解子群中拟阿贝尔子群建立统一的有限指数有界性。
• 通过万有覆盖边界上的几何与动力学方法，独立证明 $\mathrm{Out}(F_n)$ 的可解子群是有限生成且拟幂零的。

提出的方法

• 利用先前工作中的短正合列 $1 \to \mathcal{H}_0 \to \mathcal{H} \to \mathbb{Z}^b \to 1$，其中 $\mathcal{H}_0$ 是 $UPG$ 子群，在将 $\mathcal{H}$ 限制到有限指数子群后使用。
• 通过分析外自同构的提升在无穷远处的康托集 $C_\infty$ 上的不动点集，构造同态 $\Phi: \mathcal{H}_0 \to \mathbb{Z}^r$。
• 利用边界上的作用及不动点集的结构，将同态 $\Phi$ 延拓为全局同态 $\Phi': \mathcal{H} \to \mathbb{Z}^r$。
• 将 $\Omega: \mathcal{H} \to \mathbb{Z}^b$ 与 $\Phi'$ 组合，将 $\mathcal{H}$ 嵌入 $\mathbb{Z}^{b+r}$，从而证明 $\mathcal{H}$ 是有限生成且自由阿贝尔的。
• 利用在命题 1.2 中已证明的结论：$\mathrm{Out}(F_n)$ 的阿贝尔子群存在虚拟提升 $\widetilde{\mathcal{H}} \subset \mathrm{Aut}(F_n)$，以控制边界上的作用并确保提升的一致性。
• 应用涉及边界 $C_\infty$ 上作用的几何论证，包括不变集的不动点与聚点，以分析 $\mathcal{H}_0$ 及其正规化子的结构。

实验结果

研究问题

• RQ1 是否每个 $\mathrm{Out}(F_n)$ 的可解子群都必为拟阿贝尔的，还是可能包含非阿贝尔的幂零子群？
• RQ2 能否通过无穷远处康托集上的边界动力学控制 $\mathrm{Out}(F_n)$ 中可解子群的结构？
• RQ3 是否存在一个统一的有限指数有界性，适用于 $\mathrm{Out}(F_n)$ 中任意可解子群的拟阿贝尔子群？
• RQ4 每个 $\mathrm{Out}(F_n)$ 的阿贝尔子群是否都可提升至 $\mathrm{Aut}(F_n)$，且保持固定某个本原元素？
• RQ5 能否利用边界上的动力学约束，将从 $\mathcal{H}_0$ 到 $\mathbb{Z}^r$ 的同态延拓至整个可解群 $\mathcal{H}$？

主要发现

• 每个 $\mathrm{Out}(F_n)$ 的可解子群都包含一个有限指数的、有限生成且自由阿贝尔的子群，其指数至多为 $3^{5n^2}$。
• 当 $n > 1$ 时，$\mathrm{Out}(F_n)$ 的任意阿贝尔子群的秩被限制在 $2n - 3$ 以内，与虚拟上同调维数一致。
• 在短正合列 $1 \to \mathcal{H}_0 \to \mathcal{H} \to \mathbb{Z}^b \to 1$ 中，通过边界动力学显式构造 $\mathcal{H}_0$ 到 $\mathbb{Z}^r$ 的嵌入，证明 $\mathcal{H}_0$ 是阿贝尔的。
• 同态 $\Phi: \mathcal{H}_0 \to \mathbb{Z}^r$ 可延拓为 $\Phi': \mathcal{H} \to \mathbb{Z}^r$，当与 $\Omega$ 组合时，给出 $\mathcal{H}$ 到 $\mathbb{Z}^{b+r}$ 的嵌入，从而证明 $\mathcal{H}$ 是拟自由阿贝尔的。
• 该证明表明 $\mathrm{Out}(F_n)$ 满足可解子群的 Tits 选择性，使其更接近映射类群而非线性群如 $GL(n,\mathbb{Z})$。
• 命题 1.2 得证：每个 $\mathrm{Out}(F_n)$ 的阿贝尔子群都有一个虚拟提升至 $\mathrm{Aut}(F_n)$，若一个本原元素在共轭意义下被固定，则可选择该提升使其固定该元素。