[论文解读] Bounded combinatorics and the Lipschitz metric on Teichm\\"uller space

Anna Lenzhen, Kasra Rafi+1 more|arXiv (Cornell University)|Nov 28, 2010

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

一句话总结

该论文证明了在端点具有有界组合结构的Teichmüller空间中，Lipschitz测地线是共有界（cobounded）的，并且在最近点投影下表现出强烈的收缩性质，从而表明其在拟测地线下的稳定性。通过曲线图投影和长度比估计，作者证明了此类测地线与连接相同端点的唯一Teichmüller测地线彼此共行（fellow travel），并将类似双曲空间的行为推广至非对称的Lipschitz度量。

ABSTRACT

Considering the Teichm\\"uller space of a surface equipped with Thurston's Lipschitz metric, we study geodesic segments whose endpoints have bounded combinatorics. We show that these geodesics are cobounded, and that the closest-point projection to these geodesics is strongly contracting. Consequently, these geodesics are stable. Our main tool is to show that one can get a good estimate for the Lipschitz distance by considering the length ratio of finitely many curves.

研究动机与目标

• 研究Teichmüller空间中非对称Lipschitz度量下的测地线是否表现出类似双曲空间的行为，如强收缩性和稳定性。
• 确定端点标记的有界组合结构是否意味着Lipschitz测地线的共有界性与强投影收缩性。
• 将Teichmüller度量中已知的结果（即有界组合结构蕴含共有界性与强投影收缩性）推广至Lipschitz度量。
• 建立一种利用有限多个曲线长度比来估计Lipschitz距离的框架，从而实现对测地线行为的控制。

提出的方法

• 利用子曲面的曲线图来定义并分析端点标记之间的有界组合结构。
• 应用沿Teichmüller测地线的双曲长度与极值长度的长度比估计，利用曲线长度的双曲余弦（cosh）型增长特性。
• 证明具有有界组合结构的Lipschitz测地线与连接相同端点的唯一Teichmüller测地线彼此共行。
• 通过将其与关联的Teichmüller测地线的投影联系起来，证明对这类Lipschitz测地线的最近点投影是强收缩的。
• 将Minsky的结果（即Teichmüller测地线的投影是强收缩的）作为关键中间步骤加以利用。
• 通过Lipschitz测地线与Teichmüller测地线之间点的距离估计，建立投影直径的统一有界性。

实验结果

研究问题

• RQ1 在Teichmüller空间中，若端点标记具有有界组合结构，是否意味着所有连接它们的Lipschitz测地线都是共有界的？
• RQ2 在Lipschitz度量下，对具有有界组合结构端点的Lipschitz测地线，其最近点投影是否具有统一的收缩性？
• RQ3 是否可以仅使用有限多个曲线长度比来有效估计两点之间的Lipschitz距离？
• RQ4 Lipschitz测地线在多大程度上表现出稳定性，即是否与具有相同端点的拟测地线彼此共行？
• RQ5 当端点具有有界组合结构时，从 $x$ 到 $y$ 的Lipschitz测地线与从 $y$ 到 $x$ 的Lipschitz测地线之间的Hausdorff距离是否一致有界？

主要发现

• 具有有界组合结构端点的Lipschitz测地线是共有界的，即其拟共形伸缩因子一致有界。
• 对这类Lipschitz测地线的最近点投影是强收缩的，即任何与测地线不相交的Lipschitz球在投影到测地线上的像具有统一有界的直径。
• 这些测地线与连接相同端点的唯一Teichmüller测地线彼此共行，且Lipschitz测地线位于一个统一有界的邻域内。
• 任何与测地线不相交的Lipschitz球在投影到测地线上的像的直径，被一个仅依赖于曲面类型和有界组合结构常数的常数所控制。
• 任何具有相同端点的Lipschitz拟测地线，在重参数化后，会与该测地线彼此共行，从而确立了稳定性。
• 当 $x$ 和 $y$ 具有有界组合结构时，从 $x$ 到 $y$ 的任意Lipschitz测地线与从 $y$ 到 $x$ 的任意Lipschitz测地线之间的Hausdorff距离是一致有界的。