[论文解读] The end of the curve complex

Saul Schleimer|ArXiv.org|Aug 21, 2006

Geometric and Algebraic Topology参考文献 3被引用 4

一句话总结

本文证明了对于亏格 $g \geq 2$ 且具有一条边界分量的曲面 $S_{g,1}$，即使在任一顶点 $\omega$ 周围移除半径为 $r$ 的球，其曲线复形依然保持连通。证明利用了子曲面投影、伪阿诺索夫映射类以及在穿孔曲面上的纤维化结构，构造了避开该球的路径，从而确立了曲线复形仅有一个端。该结果解决了马苏尔提出的问题，并为格罗莫夫边界连通性提供了证据。

ABSTRACT

Suppose that S is a surface of genus two or more, with exactly one boundary component. Then the curve complex of S has one end.

研究动机与目标

• 证明对于亏格 $g \geq 2$ 且具有一条边界分量的曲面 $S_{g,1}$，其曲线复形在移除任一顶点 $\omega$ 周围半径为 $r$ 的球后仍保持连通。
• 解决霍华德·马苏尔提出的问题：曲线复形在大球外部是否连通。
• 为 P. 斯特龙所猜想的曲线复形格罗莫夫边界的连通性提供证据。
• 证明曲线复形并非拟等距于一棵树，从而以否定方式回答了贝尔与藤原提出的问题。

提出的方法

• 为曲面 $S = S_{g,1}$ 定义曲线复形 $\mathcal{C}(S)$，其顶点为本质的、非周界的简单闭曲线的同伦类。
• 利用子曲面投影映射 $\pi_X$ 将子曲面中的距离与完整复形中的距离关联起来。
• 在 $\mathcal{C}(S)$ 的顶点 $\tau$ 上构造纤维 $\mathcal{F}_\tau = \rho^{-1}(\tau)$，其中 $\rho$ 将边界收缩为一点。
• 应用克雷的定理，表明某些德恩扭转在子曲面上作用为伪阿诺索夫映射，从而保证其轨道具有无限直径。
• 利用有界测地线像定理与测地线性质，确保 $\mathcal{C}(\dot{S})$ 中的某些测地线必须经过缺失某一给定子曲面的顶点。
• 通过伪阿诺索夫映射的动力学，构造从任意两个距离较远的顶点到同一纤维 $\mathcal{F}_\tau$ 的路径，同时避开球 $B(\omega, r)$。

实验结果

研究问题

• RQ1 对于亏格 $g \geq 2$ 的曲面 $S_{g,1}$，当从任一顶点移除半径为 $r$ 的球后，其曲线复形是否仍然连通？
• RQ2 曲线复形的格罗莫夫边界是否连通？这与复形的单端性猜想一致吗？
• RQ3 考虑到其双曲性与无限直径，曲线复形是否可能拟等距于一棵树？
• RQ4 子曲面投影与伪阿诺索夫动力学如何限制曲线复形中的测地线？
• RQ5 边界合并映射 $\rho: \mathcal{C}(\dot{S}) \to \mathcal{C}(S)$ 在保持连通性与纤维结构方面起什么作用？

主要发现

• 对于任意顶点 $\omega$ 与半径 $r$，子复形 $\mathcal{C}^0(\dot{S}) \setminus B(\omega, r)$ 是连通的，从而证明了 $S_{g,1}$ 的曲线复形仅有一个端。
• 曲线复形并非拟等距于一棵树，因为它包含树之外的非平凡高维连通性。
• 曲线复形的格罗莫夫边界并非被排除为连通，因为复形的单端性支持这一可能性。
• 任意 $\tau \in \mathcal{C}(S)$ 上的纤维 $\mathcal{F}_\tau$ 是连通的，且在曲面 $S$ 的基本群作用下保持不变。
• 对于任意 $\alpha, \beta$ 不在 $B(\omega, 3r)$ 内，存在连接它们至同一纤维 $\mathcal{F}_\tau$ 的路径，且避开 $B(\omega, r)$，该构造依赖于伪阿诺索夫映射的动力学。
• 在子曲面 $\dot{X} = \dot{S} \setminus \alpha$ 上存在伪阿诺索夫映射的事实，确保了从 $\sigma$ 到 $\sigma_n = \psi_\gamma^n(\sigma)$ 的测地线必须经过缺失 $\dot{X}$ 的顶点，从而支持路径的构造。