[论文解读] Train tracks and the Gromov boundary of the complex of curves

Ursula Hamenstaedt|ArXiv.org|Sep 30, 2004

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

一句话总结

本文建立了曲面的曲线复形的格罗莫夫边界与配备粗豪斯多夫拓扑的最小填充分geodesic叶状覆盖之间的同胚关系。通过使用列车轨道和双曲几何，证明了在粗豪斯多夫拓扑下收敛于此类叶状覆盖的曲线序列，恰好对应于定义格罗莫夫边界点的可接受序列，从而通过几何叶状覆盖识别了曲线复形的边界结构。

ABSTRACT

We give a combinatorial proof of an unpublished result of E. Klarreich: The Gromov boundary of the complex of curves of a non-exceptional oriented surface S of finite type can naturally be identified with the space of minimal geodesic laminations on S which fill up S, equipped with a coarse Hausdorff topology.

研究动机与目标

• 对满足 $3g - 3 + m \geq 2$ 的曲面 $S$（其中 $g \geq 0$ 为亏格，$m \geq 0$ 为 punctures 数）的曲线复形 $\mathcal{C}(S)$ 的格罗莫夫边界进行表征。
• 在格罗莫夫边界 $\partial\mathcal{C}(S)$ 与最小填充分geodesic叶状覆盖的空间 $\mathcal{B}$ 之间建立拓扑同胚。
• 证明在叶状覆盖的粗豪斯多夫拓扑下，曲线序列的收敛性恰好对应于通过可接受序列定义的格罗莫夫边界点。
• 证明由格罗莫夫乘积诱导的格罗莫夫边界上的拓扑与 $\mathcal{B}$ 上的粗豪斯多夫拓扑一致。

提出的方法

• 在列车轨道复形 $\mathcal{TT}$ 中使用列车轨道来携带geodesic叶状覆盖，并对曲线序列进行建模。
• 应用双曲几何和 $\delta$-薄三角形条件，证明 $\mathcal{C}(S)$ 对某个 $\delta > 0$ 是 $\delta$-双曲的。
• 定义格罗莫夫乘积 $(x,y)_p = \frac{1}{2}(d(x,p) + d(y,p) - d(x,y))$，以定义可接受序列及其等价类，从而构造格罗莫夫边界。
• 构造双射 $\Lambda: \mathcal{B} \to \partial\mathcal{C}(S)$，其中 $\mathcal{B}$ 是配备粗豪斯多夫拓扑的最小填充分geodesic叶状覆盖的空间。
• 证明曲线序列 $ (c_i) $ 定义格罗莫夫边界点 $ \Lambda(\mu) $ 当且仅当 $ (c_i) $ 在粗豪斯多夫拓扑下收敛于 $\mu \in \mathcal{B}$。
• 利用列车轨道序列的拟测地线性质，将格罗莫夫乘积的衰减与叶状覆盖的拓扑收敛性联系起来。

实验结果

研究问题

• RQ1 如何从曲面 $S$ 上的几何对象来拓扑表征曲线复形 $\mathcal{C}(S)$ 的格罗莫夫边界？
• RQ2 在粗豪斯多夫拓扑下，曲线序列的收敛性与格罗莫夫边界点的定义之间存在何种精确的拓扑关系？
• RQ3 格罗莫夫边界 $\mathcal{C}(S)$ 是否自然同胚于最小填充分geodesic叶状覆盖的空间？
• RQ4 格罗莫夫边界上的拓扑是否可由叶状覆盖空间上的粗豪斯多夫拓扑恢复？
• RQ5 通过格罗莫夫乘积建立的曲线序列与边界点之间的对应关系，是否等价于在粗豪斯多夫拓扑下的收敛性？

主要发现

• 存在一个自然的同胚 $\Lambda$，从配备粗豪斯多夫拓扑的最小填充分geodesic叶状覆盖空间 $\mathcal{B}$ 映射到曲线复形的格罗莫夫边界 $\partial\mathcal{C}(S)$。
• 曲线序列 $ (c_i) $ 在 $\mathcal{C}(S)$ 中定义格罗莫夫边界点 $\Lambda(\mu)$ 当且仅当 $ (c_i) $ 在粗豪斯多夫拓扑下收敛于 $\mu \in \mathcal{B}$。
• 由格罗莫夫乘积诱导的 $\partial\mathcal{C}(S)$ 上的拓扑与 $\mathcal{B}$ 上的粗豪斯多夫拓扑一致，从而建立了拓扑同胚。
• 对任意 $\lambda_0 \in \mathcal{B}$，集合 $U \subset \mathcal{C}(S) \cup \partial\mathcal{C}(S)$ 是格罗莫夫边界拓扑下 $\lambda_0$ 的邻域，当且仅当它是粗豪斯多夫拓扑下的邻域。
• 该证明依赖于存在一个列车轨道 $\tau$，可携带 $\pi^{-1}(\lambda_0)$ 中的所有叶状覆盖，并利用列车轨道序列的拟测地线性质，将格罗莫夫乘积的衰减与叶状覆盖的拓扑收敛性联系起来。
• 该结果确认了 $\mathcal{C}(S)$ 的格罗莫夫边界自然同胚于最小填充分geodesic叶状覆盖的空间，从而以曲面上的叶状覆盖为几何实现方式，提供了边界的几何表征。