[论文解读] Hyperbolicity of the Cyclic Splitting Complex

Brian P. Mann|arXiv (Cornell University)|Dec 12, 2012

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

一句话总结

本文引入了循环分裂复形 $FZ_n$，这是一个新的单纯复形，$\mathrm{Out}(F_n)$ 在其上作用，其顶点对应于自由群 $F_n$ 的自由分裂，边由共同细化或沿 $\mathbb{Z}$-分裂折叠生成。利用 Kapovich 和 Rafi 的方法，作者证明了 $FZ_n$ 是 $\delta$-双曲的，从而确立了其作为曲面曲率复形的双曲类比，并表明其与自由因子复形不具有拟等距同构关系。

ABSTRACT

We define a new complex on which $Out(F_n)$ acts by simplicial automorphisms, the cyclic splitting complex of $F_n$, and show that it is hyperbolic using a method developed by Kapovich and Rafi.

研究动机与目标

• 定义一个新的 $\mathrm{Out}(F_n)$-复形 $FZ_n$，即循环分裂复形，作为曲面曲率复形的双曲类比。
• 通过基于 Bowditch 的三角形薄化条件与 Kapovich-Rafi 方法的准则，证明 $FZ_n$ 是 $\delta$-双曲的。
• 证明 $FZ_n$ 与自由因子复形 $FF_n$ 不是 $\mathrm{Out}(F_n)$-等变拟等距同构的。
• 为研究 $\mathrm{Out}(F_n)$ 中双曲元素在 $FZ_n$ 上的作用提供一个框架。

提出的方法

• 通过将 $F_n$ 的自由分裂作为顶点，并通过共同细化或沿边群为 $\langle w\rangle$ 的 $\mathbb{Z}$-分裂折叠来定义边，从而定义循环分裂复形 $FZ_n$。
• 使用 Kapovich-Rafi 方法，通过从自由分裂复形 $FS_n$ 到 $FZ_n$ 构造一个拟等距映射来证明双曲性。
• 应用 Kapovich 和 Rafi 的定理 2，该定理表明：若从一个双曲图出发的利普希茨映射满足稠密性与有界直径条件，则目标图亦为双曲图。
• 通过证明图像测地线的直径有统一控制，并且映射 $FS_n \to FZ_n$ 具有统一的拟利普希茨界，从而确立该映射为拟等距映射。
• 利用 Stallings 定理将 $\mathbb{Z}$-分裂与曲面上的简单闭曲线联系起来，从而为 $FZ_n$ 提供几何动机。
• 利用已知结果：$FS_n$ 是双曲的（Handel-Mosher），并通过拟等距映射将双曲性传递至 $FZ_n$。

实验结果

研究问题

• RQ1 在 $\mathrm{Out}(F_n)$ 作用下，循环分裂复形 $FZ_n$ 是否是双曲的？
• RQ2 能否通过从 $FS_n$ 出发的拟等距映射，利用 Kapovich-Rafi 方法证明 $FZ_n$ 的双曲性？
• RQ3 $FZ_n$ 作为 $\mathrm{Out}(F_n)$-空间，是否与自由因子复形 $FF_n$ 拟等距同构？
• RQ4 哪些 $\mathrm{Out}(F_n)$ 中的元素在 $FZ_n$ 上作用为双曲元素？

主要发现

• 对所有 $n \geq 2$，循环分裂复形 $FZ_n$ 是 $\delta$-双曲的。
• 自然映射 $FS_n \to FZ_n$ 是拟等距映射，且具有统一的拟利普希茨常数，具体为 $L=3$ 与 $\frac{1}{3}$。
• 映射 $\phi: \overline{FZ}_n \to C_n$ 是拟等距映射，从而通过已知的 $FS_n$ 的双曲性，确认了 $FZ_n$ 的双曲性。
• 当 $n \geq 3$ 时，映射 $FS_n \to FZ_n$ 不是拟等距映射，这意味着 $FZ_n$ 不是 $\mathrm{Out}(F_n)$-等变拟等距同构于 $FF_n$。
• 存在 $\phi \in \mathrm{Out}(F_n)$ 在 $FZ_n$ 上作用为双曲元素，例如固定一个 $\mathbb{Z}$-分裂的伪阿诺索夫型外自同构。
• 此类双曲元素相关的充填层不被任何真自由因子所携带，从而确认了其在 $FZ_n$ 中的动力学复杂性。