[论文解读] Constructing and classifying fully irreducible outer automorphisms of free groups

Catherine Pfaff|arXiv (Cornell University)|Jan 1, 2012

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

一句话总结

本文分类了在 Out(F₃) 中，哪些21个连通、无环的五顶点图可以作为非几何、完全不可约外自同构的理想怀特黑德图。利用贝斯特温-菲恩-汉德尔的轨道车理论与吸引性层叠理论，本文证明恰好存在18个此类图，并提供了一种识别周期性尼尔森路径并构造具有特定图结构代表元的方法。

ABSTRACT

The main theorem of this document emulates, in the context of Out(F_r) theory, a mapping class group theorem (by H. Masur and J. Smillie) that determines precisely which index lists arise from pseudo-Anosov mapping classes. Since the ideal Whitehead graph gives a finer invariant in the analogous setting of a fully irreducible outer automorphisms of free groups, we instead focus on determining which of the twenty-one connected, loop-free, five-vertex graphs are ideal Whitehead graphs of ageometric, fully irreducible outer automorphisms of free groups in rank three. Our main theorem accomplishes this by showing that there are precisely eighteen graphs arising as such. We also give a method for identifying certain complications called periodic Nielsen paths, prove the existence of conveniently decomposed representatives of ageometric, fully irreducible outer automorphisms of free groups having connected, (2r-1)-vertex ideal Whitehead graphs, and prove a criterion for identifying representatives of ageometric, fully irreducible outer automorphisms of free groups. The strategies we use for constructing fully irreducible outer automorphisms of free groups, as well as our identification and decomposition techniques, can be used to extend our main theorem, as they are valid in any rank. Our methods of proof rely primarily on Bestvina-Feighn-Handel train track theory and the theory of attracting laminations.

研究动机与目标

• 确定21个连通、无环的五顶点图中，哪些可以作为三秩中非几何、完全不可约外自同构的理想怀特黑德图。
• 开发一种检测与分析自由群外自同构中周期性尼尔森路径的方法。
• 证明非几何、完全不可约外自同构存在具有连通 (2r−1)-顶点理想怀特黑德图的便利分解代表元。
• 建立一种基于其动力学与组合结构的识别非几何、完全不可约外自同构代表元的标准。
• 通过可推广的构造与分解技术，将分类结果扩展至更高秩。

提出的方法

• 应用贝斯特温-菲恩-汉德尔轨道车理论以分析 Out(F_r) 中外自同构的动力学行为。
• 利用吸引性层叠理论研究自同构及其相关理想怀特黑德图的渐近行为。
• 对连通、无环的五顶点图进行组合分析，以确定其作为理想怀特黑德图的可实现性。
• 通过受控分解技术构造具有指定理想怀特黑德图的非几何、完全不可约外自同构的代表元。
• 通过轨道车与层叠框架所导出的结构与动力学约束，识别周期性尼尔森路径。
• 基于其图论与动力学不变量，发展一种识别非几何、完全不可约外自同构的标准。

实验结果

研究问题

• RQ1 在 Out(F₃) 中，21个连通、无环的五顶点图中，哪些可以作为非几何、完全不可约外自同构的理想怀特黑德图？
• RQ2 如何系统地识别与分析自由群外自同构中的周期性尼尔森路径？
• RQ3 非几何、完全不可约外自同构在 Out(F_r) 中是否存在其理想怀特黑德图为连通且具有 (2r−1) 个顶点的代表元？
• RQ4 可使用哪些组合与动力学标准来区分非几何、完全不可约外自同构的代表元？
• RQ5 在三秩中开发的构造与分类方法能否推广至更高秩？

主要发现

• 在 Out(F₃) 中，21个连通、无环的五顶点图中，恰好有18个可以作为非几何、完全不可约外自同构的理想怀特黑德图。
• 本文提供了一种系统方法，用于检测自由群外自同构中的周期性尼尔森路径。
• 在 Out(F_r) 中，非几何、完全不可约外自同构存在具有便利分解代表元的实例，其理想怀特黑德图为连通且具有 (2r−1) 个顶点。
• 本文建立了一种基于其动力学与图论性质的标准，用于识别非几何、完全不可约外自同构的代表元。
• 本文所用的构造与分解技术对任意秩 r ≥ 3 均有效且可推广。
• 研究结果基于轨道车理论与吸引性层叠理论的基础工具推导得出，证实了其稳健性与在三秩以外的适用性。