[论文解读] Reducing systems for very small trees

Patrick Reynolds|arXiv (Cornell University)|Nov 14, 2012

Geometric and Algebraic Topology参考文献 11被引用 24

一句话总结

本文刻画了自由群外自同构空间边界中的拟有理树，表明此类树要么是自由且不可约的，要么与带有拟有理测度 foliation 的曲面对偶。本文引入了自由因子的约化系统，证明了一棵树是拟有理的当且仅当没有非平凡真自由因子动态地约化它，并通过一个规范的有限因子集合控制所有约化因子，该结果在 Bestvina-Handel 分类定理和自由因子复形的 Gromov 边界研究中具有应用。

ABSTRACT

We study very small trees from the point of view of reducing systems of free factors, which are analogues of reducing systems of curves for a surface lamination; a non-trivial, proper free factor $F \leq \FN$ reduces $T$ if and only if $F$ acts on some subtree of $T$ with dense orbits. We characterize those trees, called arational, which do not admit a reduction by any free factor: $T$ is arational if and only if either $T$ is free and indecomposable or $T$ is dual to a surface with one boundary component equipped with an arational measured foliation. To complement this result, we establish some results giving control over the collection of all factors reducing a given tree. As an application, we deduce a form of the celebrated Bestvina-Handel classification theorem for elements of $Out(\FN)$. We also include an appendix containing examples of very small trees. The results of this paper are used in Bestvina and Reynolds (2012), where we describe the Gromov boundary of the complex of free factors.

研究动机与目标

• 刻画外自同构空间边界中不被任何非平凡真自由因子约化的树，将此类树定义为拟有理树。
• 发展自由因子约化系统的理论，类比于曲面叶状结构的曲线约化。
• 控制所有约化某给定树的自由因子集合，建立此类因子的有限规范集合。
• 将结果应用于推导 Out(F_N) 的 Bestvina-Handel 分类定理的一种形式。
• 为理解自由因子复形的 Gromov 边界提供基础工具，该工具在后续研究中被使用。

提出的方法

• 引入自由因子通过不变子树（具有稠密轨道）动态约化非常小的 F_N-树 T 的概念。
• 将拟有理树定义为不被任何非平凡真自由因子约化的树，并将其刻画为：要么是自由且不可约的，要么与带有一个拟有理测度 foliation 的单穿孔曲面对偶。
• 构造一个有限规范集合 C(T) = {F^1, ..., F^r}，控制 T 的所有约化因子，满足共轭性和交集行为的条件。
• 利用存在一个胞复形树 T'，使得 T 的所有点固定子群也在 T' 中固定某点，将边界约化归约为已知情形。
• 应用 Whitehead 算法及测地线当前的性质，界定自由因子复形中约化因子集合的直径。
• 使用相对列车轨道映射及迭代自同构生成的极限树，构造非常小树及其约化系统的显式例子。

实验结果

研究问题

• RQ1 哪些非常小的 F_N-树不被任何非平凡真自由因子约化，此类树如何刻画？
• RQ2 所有约化给定非常小的 F_N-树的自由因子集合的结构是什么？
• RQ3 如何构造一个有限且规范的自由因子集合，以控制给定树的所有约化因子？
• RQ4 自由因子的约化系统与外自同构空间边界及自由因子复形 Gromov 边界的几何关系如何？
• RQ5 约化系统理论如何支持 Out(F_N) 中元素的分类，特别是在 Bestvina-Handel 定理的背景下？

主要发现

• 当且仅当 T ∈ ∂cv_N 是不可约的，且若非自由，则与带有一个拟有理测度 foliation 的单穿孔曲面对偶时，T 为拟有理树。
• 对任意因子可约的树 T ∈ ∂cv_N，存在一个有限规范集合 C(T) = {F^1, ..., F^r}，使得每个约化因子共轭于某个 F^j。
• 每个 F^j 在其在 T 中的最小不变子树上的作用是混合的，且对任意 g ∈ F_N，有 F^i ∩ (F^j)^g 在 T 中固定一点（当 i ≠ j 时）。
• 存在一个胞复形树 T' ∈ ∂cv_N，使得 T 的所有点固定子群也在 T' 中固定一点，且每个 F^j 包含一个在 T' 中固定某点的元素。
• 自由因子复形中约化因子集合的直径有统一有界性，该界由对规范集合 C(T) 的控制得出。
• 唯一对偶性结果成立：若 T 和 T' 均为拟有理树，且与同一当前 μ ∈ M_N 的消失配对相同，则 L(T) = L(T')，这意味着 T' 也是拟有理树。