[论文解读] Distance in the curve graph

Ursula Hamenstaedt|arXiv (Cornell University)|Apr 20, 2011

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

一句话总结

该论文提出一种方法，通过Teichmüller测地线，在有限类型曲面的曲线图中以固定乘法常数估计两条曲线之间的距离。通过检测在测地线上曲线保持至少距离三的时刻，作者构建了一条在曲线图中为粗略拟测地线的路径，证明了此类区间的数量可提供实际距离的统一拟等距估计。

ABSTRACT

We estimate the distance in the curve graph of a surface S of finite type using Teichmueller geodesics and assuming to be able to detect curves of distance at least three.

研究动机与目标

• 通过Teichmüller测地线，提供曲线图中距离的统一估计，至多一个固定乘法常数。
• 克服通过Teichmüller测地线对曲线图进行粗略拟测地线估计时，常数缺乏已知界限的问题。
• 开发一种仅依赖于在Teichmüller测地线上检测距离至少三的曲线对的方法，避免显式计算紧密测地线。
• 通过基于距离阈值的递归构造，建立Teichmüller测地线像在曲线图中的统一拟等距嵌入。
• 证明在测地线上曲线保持距离≥3的区间数量，可提供曲线图距离的下界，至多一个乘法常数。

提出的方法

• 定义从Teichmüller空间单位余切丛到曲线图的映射Υ，为每个二次微分分配一个δ-宽曲线。
• 利用Υ(q_t)在曲线图中形成具有统一常数的粗略Lipschitz无参数拟测地线的事实。
• 在Teichmüller测地线上构造一系列时间点t_0 < ... < t_n，使得对所有s ≤ t_i和t ≥ t_{i+1}，有d_CG(Υ(q_s), Υ(q_t)) ≥ 3。
• 应用三角不等式和粗略拟测地线性质，以此类区间的数量来界定总曲线图距离。
• 通过归纳法和子曲面投影论证，控制投影的直径，确保在测地线上检测到足够多的不同曲线。
• 利用Masur和Minsky (MM00, MM99) 以及Rasmussen (R10) 关于子曲面投影和标记复杂度的结果，推导出具有足够分离度的时间区间的递归度量。

实验结果

研究问题

• RQ1 能否仅通过在Teichmüller测地线上检测距离至少三的曲线对，来估计曲线图中的距离至多一个固定乘法常数？
• RQ2 在Teichmüller测地线上，曲线保持距离≥3的区间数量与实际曲线图距离之间存在何种关系？
• RQ3 如何利用Teichmüller测地线在Υ映射下的像，在曲线图中构造一条统一拟测地线？
• RQ4 Υ映射在Teichmüller测地线上的行为在多大程度上反映了曲线图的双曲几何？
• RQ5 通过关注粗略分离条件（如距离≥3）而非参数化距离，能否克服拟测地线常数缺乏显式界限的问题？

主要发现

• 存在常数θ > 0，使得若Teichmüller测地线有n个区间，其中曲线保持距离至少三，则端点间的曲线图距离至少为n/θ − θ。
• 此类区间的数量提供了曲线图距离的下界，且该下界对所有曲面和测地线均保持一致。
• 该方法通过仅检测曲线是否保持距离至少三来避免显式计算紧密测地线，而该检测可在多项式时间内判定。
• 该构造确保Teichmüller测地线在Υ下的像在曲线图中形成统一拟测地线，即使参数化未被保持。
• 证明使用了子曲面投影论证和对复杂度的归纳法，表明若子曲面中的投影具有大直径，则曲线图距离也较大。
• 最终估计通过证明在测地线上检测到足够多的不同曲线而达成，从而确保距离随区间数量线性增长。