[论文解读] The topology of $out(F_n)$

Mladen Bestvina|ArXiv.org|Apr 21, 2003

Geometric and Algebraic Topology参考文献 45被引用 21

一句话总结

本文利用外空间、测地线轨和莫尔斯理论等工具，综述了自由群秩 $n$ 的外自同构群 $\mathrm{Out}(F_n)$ 的拓扑结构。研究确立了 $\mathrm{Out}(F_n)$ 是一个维数为 $2n-3$ 的虚拟对偶群，关键成果包括同调稳定性、紧化以及通过吸引层和层次分解研究的动力系统性质。

ABSTRACT

We will survey the work on the topology of $Out(F_n)$ in the last 20 years or so. Much of the development is driven by the tantalizing analogy with mapping class groups. Unfortunately, $Out(F_n)$ is more complicated and less well-behaved. Culler and Vogtmann constructed Outer Space $X_n$, the analog of Teichmüller space, a contractible complex on which $Out(F_n)$ acts with finite stabilizers. Paths in $X_n$ can be generated using ``foldings'' of graphs, an operation introduced by Stallings to give alternative solutions for many algorithmic questions about free groups. The most conceptual proof of the contractibility of $X_n$ involves folding. There is a normal form of an automorphism, analogous to Thurston's normal form for surface homeomorphisms. This normal form, called a ``(relative) train track map'', consists of a cellular map on a graph and has good properties with respect to iteration. One may think of building an automorphism in stages, adding to the previous stages a building block that either grows exponentially or polynomially. A complicating feature is that these blocks are not ``disjoint'' as in Thurston's theory, but interact as upper stages can map over the lower stages. Applications include the study of growth rates (a surprising feature of free group automorphisms is that the growth rate of $f$ is generally different from the growth rate of $f^{-1}$), of the fixed subgroup of a given automorphism, and the proof of the Tits alternative for $Out(F_n)$.

研究动机与目标

• 理解 $\mathrm{Out}(F_n)$ 的拓扑与几何结构，类比于映射类群和算术群。
• 确立 $\mathrm{Out}(F_n)$ 在一个具有有限稳定子群的单连通空间（外空间）上作用，从而实现同伦与上同调分析。
• 通过外空间的紧化版本与莫尔斯理论技术，证明 $\mathrm{Out}(F_n)$ 是维数为 $2n-3$ 的虚拟对偶群。
• 发展动力学工具（如测地线轨映射与吸引层），以研究自同构的增长率、固定子群及 $\mathrm{Out}(F_n)$ 中的 Tits 交替性。

提出的方法

• 构建 Culler-Vogtmann 外空间 $X_n$，作为 $\mathrm{Out}(F_n)$ 作用于其上的单连通多面体，且稳定子群有限。
• 利用 Stallings 的折叠算法对图之间的小胞复形映射进行分解，并为自由群自同构问题提供算法解法。
• 采用相对测地线轨映射形式作为自同构的规范形式，类比于 Thurston 对曲面映射类的规范形式。
• 通过 $\mathbb{R}$-树作用添加理想点，对外空间进行紧化，得到 $BX_n$，使 $\mathrm{Out}(F_n)$ 的作用为余紧。
• 在 $BX_n$ 上使用字典序排列的莫尔斯函数，取值于 $[0,\infty)$ 的乘积，通过跟踪多尺度长度来分析无穷远处的连通性。
• 应用 Hatcher-Vogtmann 的 Cerf 理论方法研究 $\mathrm{Aut}(F_n)$，通过分析子复形 $D_n^k$ 的连通性，推导出 $\mathrm{Aut}(F_n)$ 与 $\mathrm{Out}(F_n)$ 的同调稳定性。

实验结果

研究问题

• RQ1 $\mathrm{Out}(F_n)$ 的同伦与上同调结构是什么？其与映射类群和算术群相比有何异同？
• RQ2 是否可以构造外空间的紧化版本，使 $\mathrm{Out}(F_n)$ 的作用余紧？该空间的拓扑性质如何？
• RQ3 测地线轨映射与吸引层如何帮助分析自同构的动力学，特别是证明 Tits 交替性？
• RQ4 外空间的几何结构如何？能否使用非对称度量推导出 $\mathrm{Out}(F_n)$ 的刚性结果？
• RQ5 $\mathrm{Out}(F_n)$ 是否满足 Tits 交替性？能否通过动力学分解与多项式/增长型分类方法证明？

主要发现

• 紧化外空间 $BX_n$ 在无穷远处是 $(2n-5)$-连通的，且 $\mathrm{Out}(F_n)$ 是维数为 $2n-3$ 的虚拟对偶群。
• $\mathrm{Out}(F_n)$ 的同调在 $n \geq 3i/2$ 时有理同调稳定，在 $n \geq 2i+3$ 时整数同调稳定，且所有稳定的有理同调群在 $i \leq 7$ 的度数上为零。
• $\mathrm{Out}(F_n)$ 在外空间边界上的作用具有唯一的极小闭不变集，且具有不可约幂的自同构表现出北极-南极动力学。
• 测地线轨映射为自同构提供了规范形式，使增长速率与固定子群的分析成为可能，关键洞见在于 $f$ 的增长速率可能不同于 $f^{-1}$。
• 通过将 Tits 交替性问题约化为多项式增长自同构，并借助 Kolchin 定理的类比（类似于 $GL_n(\mathbb{Z})$ 的行为）证明了 $\mathrm{Out}(F_n)$ 的 Tits 交替性。
• 当 $n > 2$ 时，外空间不具有 $\mathrm{Out}(F_n)$-等变的分片欧氏 $CAT(0)$ 度量，表明 $\mathrm{Out}(F_n)$ 不是 $CAT(0)$ 群，提示需要新的几何结构以建立刚性定理。