[论文解读] Relative free splitting and free factor complexes I: Hyperbolicity

Michael Handel, Lee Mosher|arXiv (Cornell University)|Jul 13, 2014

Geometric and Algebraic Topology参考文献 23被引用 18

一句话总结

本文建立了相对自由分裂复形与相对自由因子复形在群关于自由因子系下的双曲性，推广了早期关于绝对复形的结果。通过从自由分裂复形到自由因子复形的投影映射，并应用Kapovich–Rafi关于拟等距嵌入的定理，作者证明了相对自由分裂复形中的测地线在相对自由因子复形中的测地线上的投影具有一致接近性，从而在群配备自由因子系的一般设定下确认了双曲性。

ABSTRACT

We study the large scale geometry of the relative free splitting complex and the relative free factor complex of the rank $n$ free group $F_n$, relative to the choice of a free factor system of $F_n$, proving that these complexes are hyperbolic. Furthermore we present the proof in a general context, obtaining hyperbolicity of the relative free splitting complex and of the relative free factor complex of a general group $Γ$, relative to the choice of a free factor system of $Γ$. The proof yields information about coarsely transitive families of quasigeodesics in each of these complexes, expressed in terms of fold paths of free splittings.

研究动机与目标

• 将绝对自由分裂复形与自由因子复形的双曲性结果推广至群配备自由因子系的相对情形。
• 为群 $\Gamma$ 与自由因子系 $\mathcal{A}$ 定义并研究相对自由分裂复形 $\mathcal{FS}(\Gamma;\mathcal{A})$ 与相对自由因子复形 $\mathcal{FF}(\Gamma;\mathcal{A})$。
• 确立这些相对复形在 $\mathcal{A}$ 非例外情形下仍为非空、连通且双曲。
• 通过Guirardel与Levitt的相对外空间形式化方法，将框架推广至任意群，而不仅限于自由群。
• 证明从相对自由分裂复形到相对自由因子复形的投影保持拟等距性质，确保测地线像的统一控制。

提出的方法

• 将相对自由分裂复形 $\mathcal{FS}(\Gamma;\mathcal{A})$ 定义为满足 $\mathcal{F}(T) \succ \mathcal{A}$ 的自由分裂 $T$ 的等价类的单纯复形，其中塌陷关系 $S \succ T$ 作为偏序。
• 将相对自由因子复形 $\mathcal{FF}(\Gamma;\mathcal{A})$ 定义为满足 $\mathcal{A} \sqsubset \mathcal{B} \neq \{[\Gamma]\}$ 的自由因子系 $\mathcal{B}$ 上的偏序 $\sqsubset$ 的几何实现。
• 构造一个特殊的投影映射 $\pi: \mathcal{FS}(\Gamma;\mathcal{A}) \to \mathcal{FF}(\Gamma;\mathcal{A})$，将每个自由分裂 $T$ 映射到其自由因子系 $\mathcal{F}(T)$，前提是 $\mathcal{F}(T) \neq \mathcal{A}$。
• 应用Kapovich–Rafi关于拟等距嵌入的定理，验证投影 $\pi$ 是Lipschitz连续的，且 $\mathcal{FS}(\Gamma;\mathcal{A})$ 中测地线的像在 $\mathcal{FF}(\Gamma;\mathcal{A})$ 中的测地线附近具有一致Hausdorff接近性。
• 利用折叠序列与拟测地线重参数化方法，证明在 $\mathcal{FS}(\Gamma;\mathcal{A})$ 中任意路径若其 $\mathcal{F}(T)$-直径有界，则其在 $\mathcal{FF}(\Gamma;\mathcal{A})$ 中的投影为一致有界的集合。
• 借助 $\mathcal{FS}(\Gamma;\mathcal{A})$ 的双曲性与 $\pi$ 的Lipschitz性质，通过拟等距嵌入定理得出 $\mathcal{FF}(\Gamma;\mathcal{A})$ 为双曲。

实验结果

研究问题

• RQ1 对于群 $\Gamma$ 的任意真自由因子系 $\mathcal{A}$，相对自由分裂复形 $\mathcal{FS}(\Gamma;\mathcal{A})$ 是否为双曲？
• RQ2 从相对自由分裂复形到相对自由因子复形的投影是否保持测地线的拟等距结构？
• RQ3 相对自由因子复形 $\mathcal{FF}(\Gamma;\mathcal{A})$ 的双曲性能否独立于绝对情形建立，特别是在 $\mathcal{A}$ 为非例外情形时？
• RQ4 自由分裂中折叠序列的结构如何与它们在自由因子复形中投影的直径相关？
• RQ5 关于自由群的结果在多大程度上可推广至配备自由因子系的任意群？

主要发现

• 对于群 $\Gamma$ 的任意真自由因子系 $\mathcal{A}$，相对自由分裂复形 $\mathcal{FS}(\Gamma;\mathcal{A})$ 为非空、连通且双曲。
• 对于任意非例外自由因子系 $\mathcal{A}$，相对自由因子复形 $\mathcal{FF}(\Gamma;\mathcal{A})$ 为正维、连通且双曲。
• 投影映射 $\pi: \mathcal{FS}(\Gamma;\mathcal{A}) \to \mathcal{FF}(\Gamma;\mathcal{A})$ 为Lipschitz连续，且将 $\mathcal{FS}(\Gamma;\mathcal{A})$ 中的任意测地线均匀Hausdorff接近于 $\mathcal{FF}(\Gamma;\mathcal{A})$ 中的测地线。
• 当端点不等于 $\mathcal{A}$ 时，测地线在 $\pi$ 下的像在 $\mathcal{FF}(\Gamma;\mathcal{A})$ 中的直径有统一有界，具体最多为1。
• 通过Kapovich–Rafi定理，$\mathcal{FF}(\Gamma;\mathcal{A})$ 的双曲性由 $\mathcal{FS}(\Gamma;\mathcal{A})$ 的双曲性与 $\pi$ 的拟等距嵌入性质推出。
• 结果不仅适用于自由群，还可推广至任意群 $\Gamma$ 搭配自由因子系 $\mathcal{A}$，推广了Guirardel与Levitt的相对外空间框架。