[论文解读] Ideal Whitehead graphs in Out(Fr). I. Some unachieved graphs

Catherine Pfa|arXiv (Cornell University)|Jan 1, 2015

Geometric and Algebraic Topology参考文献 26被引用 8

一句话总结

本文否定了Handel和Mosher（2011年）提出的一个问题：是否每个连通的、单纯形的、(2r−1)个顶点的图都可以是Out(Fr)中一个完全不可约外自同构的理想怀特黑德图。通过为每个秩r构造显式的反例，作者证明了某些(2r−1)个顶点的图无法作为理想怀特黑德图出现，从而在自由群外自同构群中完全不可约自同构的研究中确立了一个基本障碍。

ABSTRACT

Masur and Smillie, 1993, proved precisely which singularity index lists arise from pseudo-Anosov mapping classes. In search of an analogous theorem for outer automorphisms of free groups, Handel and Mosher, 2011, ask: Is each connected, simplicial, (2r 1)-vertex graph the ideal Whitehead graph of a fully irreducible 2 Out(Fr)? We answer this question in the negative by exhibiting, for each r, examples of connected (2r-1)-vertex graphs that are not the ideal Whitehead graph of any fully irreducible 2 Out(Fr). In the course of our proof we also develop machinery used in Pfa, 2012, to fully answer the question in the rank-three case.

研究动机与目标

• 确定每个连通的、单纯形的、(2r−1)个顶点的图是否都能在Out(Fr)中实现为一个完全不可约自同构的理想怀特黑德图。
• 解决关于Out(Fr)的一个猜想类比，即Masur和Smillie（1993年）关于伪阿诺索夫映射类的奇点指标列表定理的类比。
• 识别阻止某些(2r−1)个顶点的图成为完全不可约自同构的理想怀特黑德图的结构性障碍。
• 为分类秩三情况下的理想怀特黑德图开发基础工具，这些工具后来在Pia（2012年）中得到应用。

提出的方法

• 构造连通的(2r−1)个顶点的图的显式例子，这些图无法在Out(Fr)中实现为任何完全不可约自同构的理想怀特黑德图。
• 利用理想怀特黑德图结构上的组合与拓扑约束，排除某些图的可能性。
• 分析完全不可约自同构的动力学及其相关的轨道图代表，推导出理想怀特黑德图的必要条件。
• 应用轨道图理论和自由因子复形结构的结果，对可能的理想怀特黑德图施加约束。
• 利用理想怀特黑德图必须源自自同构在自由群边界上的作用这一事实。
• 证明(2r−1)个顶点的图中某些顶点连通性和度数模式与完全不可约自同构的动力学不相容。

实验结果

研究问题

• RQ1 每个连通的、单纯形的、(2r−1)个顶点的图是否都能在Out(Fr)中实现为完全不可约自同构的理想怀特黑德图？
• RQ2 是否存在组合障碍，使得某些(2r−1)个顶点的图无法成为完全不可约自同构的理想怀特黑德图？
• RQ3 完全不可约自同构的动力学特性在多大程度上限制了其理想怀特黑德图的结构？
• RQ4 Out(Fr)中理想怀特黑德图的约束与映射类群设定下奇点指标列表的约束有何异同？
• RQ5 图的哪些结构性特征使其无法成为任何完全不可约自同构在Out(Fr)中的理想怀特黑德图？

主要发现

• 对于每个秩r ≥ 2，存在连通的、单纯形的、(2r−1)个顶点的图，它们无法在Out(Fr)中实现为任何完全不可约自同构的理想怀特黑德图。
• 障碍源于与完全不可约自同构动力学不相容的顶点度数和连通性组合约束。
• 本文提供了此类不可实现图的显式构造，表明可实现的理想怀特黑德图集合严格小于所有(2r−1)个顶点图的集合。
• 研究结果确立了映射类（如Masur和Smillie，1993年所述）与自由群外自同构在理想怀特黑德图实现性方面存在根本性差异。
• 本研究开发的方法为完全分类秩三情况下的理想怀特黑德图奠定了基础，该工作后来在Pia（2012年）中完成。
• 分析表明，即使图是连通且单纯形的，也并非所有(2r−1)个顶点的图都满足作为完全不可约自同构的理想怀特黑德图的必要条件。