[论文解读] Translation lengths in Out(F_n)

Emina Alibegović|ArXiv.org|Sep 20, 2000

Geometric and Algebraic Topology参考文献 6被引用 5

一句话总结

本文证明了在 $\mathrm{Out}(F_n)$ 中，每个无限阶外自同构的平移长度均为正，且该长度被一个仅依赖于 $n$ 的正常数 $\varepsilon_n > 0$ 严格远离零。证明方法结合了自同构迭代下词长不变量 $\tilde{\alpha}$ 的增长性、有界消去引理以及在牵引道映射框架下的分裂论证，从而在 $\mathrm{Out}(F_n)$ 的所有无限阶元素中统一建立了平移长度的正性。

ABSTRACT

We prove that all elements of infinite order in $Out(F_n)$ have positive translation lengths; moreover, they are bounded away from zero. Consequences include a new proof that solvable subgroups of $Out(F_n)$ are finitely generated and virtually abelian and the new result that such subgroups are quasi-convex.

研究动机与目标

• 建立 $\mathrm{Out}(F_n)$ 中所有无限阶元素的平移长度为正。
• 证明该平移长度被一个仅依赖于 $n$ 的正常数 $\varepsilon_n > 0$ 严格远离零。
• 通过平移长度论证，重新证明可解子群在 $\mathrm{Out}(F_n)$ 中是有限生成且几乎阿贝尔的已知事实。
• 建立新结果：$\mathrm{Out}(F_n)$ 中的阿贝尔子群是拟凸的。

提出的方法

• 定义词长不变量 $\alpha(w)$ 为满足 $\tilde{w}^p$ 是约化词 $w$ 的子词的最大指数 $p$，并通过 $\tilde{\alpha}([w])$ 扩展至共轭类。
• 利用有界消去引理，证明对生成元 $\tilde{g} \in \widetilde{Y}$，有 $\tilde{\alpha}(\tilde{g}([w])) \leq \tilde{\alpha}([w]) + C$，其中 $C$ 为统一常数。
• 分析外自同构在牵引道代表元上的作用，区分指数增长型与 UPG（幂零多项式增长）型。
• 对指数增长型自同构，利用循环词长的指数增长 $\ell(\mathcal{O}^k([w])) \geq \lambda^k \ell([w])$（$\lambda > 1$），并估计表达 $\mathcal{O}^k$ 所需的生成元数量。
• 对 UPG 自同构，利用沿闭路径 $\sigma$ 的 $\tilde{\alpha}(\mathcal{O}^k(\sigma)) \geq k + b$ 的增长性，并结合 $\tilde{\alpha}$ 在复合下的有界增长性，推导出词长的线性下界。
• 对一般多项式增长型自同构，通过 $\mathcal{O}^s$（$s$ 有界）约化至 UPG 情况，并利用 $\tau(\mathcal{O}) = \frac{1}{s} \tau(\mathcal{O}^s)$ 保持下界不变。

实验结果

研究问题

• RQ1 所有 $\mathrm{Out}(F_n)$ 中的无限阶元素是否都具有正的平移长度？
• RQ2 此类元素的平移长度是否被一个仅依赖于 $n$ 的常数严格远离零？
• RQ3 能否通过平移长度论证重新证明 $\mathrm{Out}(F_n)$ 中可解子群的结构？
• RQ4 $\mathrm{Out}(F_n)$ 中的阿贝尔子群在词度量下是否为拟凸？
• RQ5 由于 $\mathrm{Out}(F_n)$ 中缺乏交集数，是否能通过类似 $\tilde{\alpha}$ 的组合不变量来控制增长？

主要发现

• 每个无限阶元素 $\mathcal{O} \in \mathrm{Out}(F_n)$ 的平移长度 $\tau(\mathcal{O}) \geq \varepsilon_n > 0$，其中 $\varepsilon_n$ 是仅依赖于 $n$ 的常数。
• 对指数增长型自同构，有 $\tau(\mathcal{O}) \geq \frac{\log \lambda}{\log 2} > 0$，其中 $\lambda > 1$ 为指数增长速率。
• 对 UPG 自同构，有 $\tau(\mathcal{O}) \geq \frac{1}{C}$，其中 $C$ 为 $\tilde{\alpha}$ 在复合下有界增长的统一常数。
• 对一般多项式增长型自同构，有 $\tau(\mathcal{O}) \geq \frac{1}{C \cdot c_2} > 0$，其中 $c_2$ 为满足 $\mathcal{O}^s$ 为 UPG 的阶 $s$ 的上界。
• 该结果表明 $\mathrm{Out}(F_n)$ 的每个可解子群都是有限生成且几乎阿贝尔的，从而为一个已知结果提供了新证明。
• 阿贝尔子群在 $\mathrm{Out}(F_n)$ 中是拟凸的，这是通过平移长度的统一正性首次建立的新结果。