[论文解读] Teichmuller geometry of moduli space, II: M(S) seen from far away

Benson Farb, Howard Masur|arXiv (Cornell University)|Jul 11, 2008

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

一句话总结

本文利用曲面的曲线复形 $Σ(S)$ 构造了黎曼曲面模空间 $Σ(S)$ 的单纯度量模型，记为 $Π(S)$，并证明该模型与 $Σ(S)$ 之间存在具有统一加法畸变的拟等距关系。关键结果是 $Σ(S)$ 在无穷远处的切锥与曲线复形关于映射类群的商的锥之间等距，从而为映射类群在泰希米勒空间上的作用提供了几何约化理论。

ABSTRACT

We construct a metric simplicial complex which is an almost isometric model of the moduli space M(S) of Riemann surfaces. We then use this model to compute the "tangent cone at infinity" of M(S): it is the topological cone on the quotient of the complex of curves C(S) by the mapping class group of S, endowed with an explicitly described metric. The main ingredient is Minsky's product regions theorem.

研究动机与目标

• 利用曲线复形 $Σ(S)$ 构造黎曼曲面模空间 $Σ(S)$ 的粗几何模型。
• 确定 $Σ(S)$ 在无穷远处的切锥，其类比于对称空间理论中的蒂茨建筑。
• 建立所构造模型 $Π(S)$ 与实际模空间 $Σ(S)$ 之间的拟等距关系，且具有统一的加法畸变。
• 为理解 $Σ(S)$ 的大尺度结构以及映射类群作用的动力学提供几何框架。

提出的方法

• 构造曲线复形 $Σ(S)$ 上的拓扑锥 $Ϫ(S)$，并赋予其由最大单体所对应的正则区域上的 $∞$-范数导出的路径度量。
• 在每个最大单体的锥上赋予缩放了 $1/2$ 的 $∞$-范数度量，以与泰希米勒度量的定义保持一致。
• 形成商空间 $Π(S) = Ϫ(S)/\operatorname{Mod}(S)$，该空间在映射类群的等距作用下继承了明确定义的度量。
• 利用明克斯基定理分析泰希米勒度量在无穷远处的行为，将曲线长度比与 $Σ(S)$ 中的距离关联，从而实现拟等距控制。
• 应用测地线拉直论证，借助允许将路径替换为局限于有限多个锥区域内的测地线的引理，确保畸变的统一控制。
• 通过双侧距离控制证明主要结果：表明模型 $Π(S)$ 是 $Σ(S)$ 的 $(1,D)$-拟等距，即两者之间的距离最多相差一个统一的加法常数。

实验结果

研究问题

• RQ1 模空间 $Σ(S)$ 在无穷远处的切锥具有何种结构？
• RQ2 能否用源自曲线复形的单纯复形来建模 $Σ(S)$ 的大尺度几何结构？
• RQ3 模空间 $Σ(S)$ 与曲线复形关于映射类群的商的锥之间的度量空间之间是否存在拟等距关系？
• RQ4 泰希米勒度量在渐近行为下如何表现？这种行为能否通过曲线长度比来捕捉？

主要发现

• 模空间 $Σ(S)$ 在无穷远处的切锥与曲线复形关于映射类群的商的锥之间等距，建立了直接的几何对应关系。
• 存在一个 $(1,D)$-拟等距 $Ψ: Π(S) \to Σ(S)$，其中 $D = D(S)$ 为某常数，意味着模型中的距离与 $Σ(S)$ 中的实际距离最多相差 $D$。
• 模型 $Π(S)$ 构造为曲线复形锥的商空间，且每个最大单体锥上的度量由 $d((x_i),(y_i)) = \frac{1}{2}\max_i |x_i - y_i|$ 给出。
• 该构造确保任意 $Π(S)$ 中的测地线均可被替换为局限于有限多个锥区域内的路径，从而实现对畸变的统一控制。
• 证明依赖于明克斯基定理，该定理界定了泰希米勒距离与曲线长度比的对数之间的差值，其误差由仅依赖于 $ϵ$ 的常数所控制。
• 拟等距中的加法畸变 $D$ 是统一的，且仅依赖于曲面 $S$ 的拓扑类型，而不依赖于 $Π(S)$ 中的具体点。