[论文解读] Uniform local finiteness of the curve graph via subsurface projections

Yohsuke Watanabe|arXiv (Cornell University)|Dec 18, 2013

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

一句话总结

本文通过 Masur-Minsky 的子曲面投影，建立了曲线图的统一局部有限性性质，证明该图在这些投影下表现得如同统一局部有限。关键结果是对紧密及弱紧密测地线沿线切片大小的可计算界，且界仅显式依赖于曲面的复杂度。

ABSTRACT

The curve graphs are not locally finite. In this paper, we show that the curve graphs satisfy a property which is equivalent to graphs being uniformly locally finite via Masur--Minsky's subsurface projections. As a direct application of this study, we show that there exist computable bounds for Bowditch's slices on tight geodesics, which depend only on the surface. As an extension of this application, we define a new class of geodesics, weak tight geodesics, and we also obtain a computable finiteness statement on the cardinalities of the slices on weak tight geodesics.

研究动机与目标

• 为克服曲线图固有的局部无限性，该性质阻碍了算法与几何分析。
• 通过子曲面投影，定义并建立曲线图的统一局部有限性性质（ULFP）。
• 将 ULFP 应用于推导出紧密测地线上切片基数的可计算、与曲面相关的界。
• 引入并分析一类新的测地线——弱紧密测地线，将有限性结果推广至更广泛的测地线类。
• 为曲线复形几何中的算法构造与界提供基础，特别是针对紧密与弱紧密测地线。

提出的方法

• 将统一局部有限性性质（ULFP）定义为图上的一种可计算条件，确保任意大子集均包含 k 个相互距离大于 l 的点。
• 通过 Masur-Minsky 定义的子曲面投影，将 ULFP 应用于曲线图，这些投影控制了曲线系统几何结构。
• 利用图中球体增长的归纳法与有界性，证明统一局部有限图满足 ULFP，反之亦然。
• 将 ULFP 应用于曲面 S 的子曲面，通过递归投影有界性将问题约化为基础情形 S₀,₄（四极球面）。
• 将弱紧密测地线定义为：对任意子曲面 Z，每个顶点在 Z-投影中与端点的距离不超过 D。
• 将 ULFP 应用于弱紧密测地线上的顶点集合，利用曲面复杂度 ξ(S) 推导出切片基数的可计算界。

实验结果

研究问题

• RQ1 尽管曲线图是局部无限的，能否在子曲面投影下证明其满足统一局部有限性性质？
• RQ2 是否存在仅依赖于曲面复杂度的、紧密测地线切片中顶点数的可计算界？
• RQ3 能否将紧密测地线的概念推广至更广泛的测地线类（弱紧密测地线），同时保持切片基数的有限性？
• RQ4 对于亏格大于 1 的曲面，使得 D-弱紧密测地线严格包含紧密测地线的最小 D 是多少？
• RQ5 是否存在构造非紧密弱紧密测地线的规范方法？它们在投影行为上与紧密测地线有何不同？

主要发现

• 通过子曲面投影，曲线图满足统一局部有限性性质（ULFP），即对任意 l > 0 和 k > 1，存在可计算的界 N_S(l,k)，使得任意大小超过 N_S(l,k) 的子集均包含 k 个相互距离大于 l 的点。
• 对于紧密测地线，任意顶点 c 的 δ-邻域内切片的顶点数被限制为 N_S(2M, 3)，其中 M 是仅依赖于曲面的 Masur-Minsky 常数。
• 对于参数 D ≥ M 的弱紧密测地线，任意顶点 c 的 2δ-邻域内切片的顶点数被限制为 N_S(2(D+M), 3)，同样仅依赖于曲面。
• 弱紧密测地线的界是统一且可计算的，切片基数由曲面复杂度 ξ(S) 和参数 D 控制。
• 弱紧密测地线的构造推广了紧密测地线；对于 ξ(S) > 1 的曲面，存在非紧密的弱紧密测地线。
• 使得 D-弱紧密测地线严格包含紧密测地线的最小 D 尚未确定，但本文证明了此类 D 的存在性，并提供了其确定的框架。