[论文解读] A short proof of the bounded geodesic image theorem

Richard Webb|arXiv (Cornell University)|Jan 25, 2013

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

一句话总结

本文利用曲图的统一双曲性，提供了有界测地线像定理的简洁组合证明，建立了子曲面投影下测地线像直径的统一有界性。该结果可推广至标记投影，得到与曲面无关的统一有界性。

ABSTRACT

We give a combinatorial proof, using the hyperbolicity of the curve graphs, of the bounded geodesic image theorem of Masur and Minsky. Recently it has been shown that curve graphs are uniformly hyperbolic, thus a universal bound can be given for the diameter of the geodesic image. We also generalize the theorem for projections to markings of the whole surface.

研究动机与目标

• 通过曲图的双曲性，提供有界测地线像定理的简化组合证明。
• 建立子曲面投影下测地线像直径的统一有界性，且与曲面无关。
• 将有界测地线像定理推广至曲面上标记的投影。
• 证明测地线在标记投影下的像的直径在曲图的双曲常数δ的意义下是统一有界的。
• 通过有界相交性质，证明映射类群与标记图之间存在拟等距关系。

提出的方法

• 利用最近由Aougab、Bowditch、Clay–Rafi–Schleimer以及Hensel–Przytycki–Webb建立的曲图的统一δ-双曲性。
• 利用双曲空间中测地线三角形的δ-瘦性，来控制子曲面投影中的距离。
• 对与子曲面Y相交的曲线应用手术论证，将引理1.2推广，以控制投影的直径。
• 定义从S上的曲线到子曲面Y的弧与曲线复形的投影映射π_Y，并通过嵌入图Γ_α(γ)将其扩展至标记。
• 引入具有有界边相交数的标记图M_{k,l}(S)，确保其与映射类群之间存在统一的拟等距关系。
• 利用有界相交数和欧拉示性数论证，控制标记图中的边数和相交界。

实验结果

研究问题

• RQ1 能否仅通过曲图的双曲性，以组合方式证明有界测地线像定理，而无需依赖几何或组合复杂性？
• RQ2 在曲图为统一δ-双曲的前提下，测地线在子曲面投影下像的直径的最优统一有界性M(δ)是多少？
• RQ3 如何将有界测地线像定理从曲线推广至标记（定义为充满曲面的嵌入图）？
• RQ4 测地线在标记投影下像的直径与曲图双曲常数δ之间有何关系？
• RQ5 映射类群能否被拟等距嵌入到具有统一有界相交常数的标记图中？

主要发现

• 存在一个统一有界性M(δ)，适用于任意测地线在子曲面投影下像的直径，其仅依赖于曲图的双曲常数δ。
• 该有界性通过δ-瘦三角形和相交曲线的手术论证进行组合推导，得到M = D + δ + (2δ + 4) + δ + D，其中D为依赖于δ的常数。
• 有界测地线像定理推广至标记投影：对任意多重曲线α及满足γ_i与α充满S的测地线g，Γ_α(g)在标记图M_{k,l}(S)中的直径是统一有界的。
• 标记图M_{k,l}(S)是连通的，且边相交数有统一有界性，映射类群通过Milnor–Švarc引理由该图实现拟等距。
• 任意干净完全标记中的边数被控制在k_2以内，且标记之间的最大相交数被控制在l = max(l_1, l_2)，从而实现直径的有限控制。
• 证明表明，标记之间的有界相交意味着标记图中距离有界，从而将原始的有界测地线像结果推广至标记情形。