[论文解读] Uniform Hyperbolicity of the Graphs of Curves

Tarik Aougab|arXiv (Cornell University)|Dec 13, 2012

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

一句话总结

本文证明了所有曲面 $S_{g,p}$ 的曲线图 $χ_1(S_{g,p})$ 的一致双曲性，表明双曲性常数 $k$ 与亏格 $g$ 和穿孔数 $p$ 无关。核心方法在于建立曲线之间交点数的下界，该下界以曲线复形距离和曲面复杂度表示，从而一致控制双曲性，并进一步推出同一列车轨道的顶点圈之间曲线复形距离的一致有界性，以及泰希缪勒投影映射的统一利普希茨常数。

ABSTRACT

Let $\mathcal{C}(S_{g,p})$ denote the curve complex of the closed orientable surface of genus $g$ with $p$ punctures. Masur-Minksy and subsequently Bowditch showed that $\mathcal{C}(S_{g,p})$ is $δ$-hyperbolic for some $δ=δ(g,p)$. In this paper, we show that there exists some $δ>0$ independent of $g,p$ such that the curve graph $\mathcal{C}_{1}(S_{g,p})$ is $δ$-hyperbolic. Furthermore, we use the main tool in the proof of this theorem to show uniform boundedness of two other quantities which a priori grow with $g$ and $p$: the curve complex distance between two vertex cycles of the same train track, and the Lipschitz constants of the map from Teichmüller space to $\mathcal{C}(S)$ sending a Riemann surface to the curve(s) of shortest extremal length.

研究动机与目标

• 建立所有曲面 $S_{g,p}$ 的曲线图 $χ_1(S_{g,p})$ 的一致双曲性，且该性质与亏格 $g$ 和穿孔数 $p$ 无关。
• 解决马苏尔与明斯基提出的问题：同一列车轨道的顶点圈之间的曲线复形距离是否在所有曲面中具有一致有界性。
• 证明从泰希缪勒空间到曲线复形的映射（将黎曼曲面映射为其最短极值长度曲线）的利普希茨常数在所有曲面 $S_{g,p}$ 中具有一致有界性。

提出的方法

• 建立两个曲线 $\alpha, \beta$ 之间几何交点数 $i(\alpha,\beta)$ 的下界，该下界以它们的曲线复形距离 $d_{\mathcal{C}}(\alpha,\beta)$ 和曲面复杂度 $\xi(S)$ 表示，证明对任意 $\lambda \in (0,1)$，有 $i(\alpha,\beta) \geq \left( \frac{\xi^{\lambda}}{f(\xi)} \right)^{k-2}$。
• 利用该交点数下界，证明当曲面足够复杂时（$\xi(S) > N$），在曲线图中距离 $\geq 4$ 的任意两条曲线，其交点数必超过单个列车轨道的顶点圈可能达到的最大值。
• 将交点数下界应用于控制泰希缪勒投影映射 $\Phi$ 的像的直径，证明对任意满足 $d_{\mathrm{Teich}}(x,y) \leq 1$ 的 $x,y$，有 $\mathrm{diam}_{\mathcal{C}}(\Phi(x) \cup \Phi(y)) \leq c$，其中常数 $c$ 与 $S_{g,p}$ 无关。
• 利用柯克霍夫公式将泰希缪勒距离表示为极值长度的函数，以控制比值 $\mathrm{ext}_y(\gamma)/\mathrm{ext}_x(\gamma)$，结合极值长度的有界性，得出交点数的统一上界。
• 将曲线复形距离的对数上界（以交点数表示）与统一的交点数上界结合，推导出曲线复形距离的统一上界。
• 将一致双曲性结果应用于证明：对足够复杂的曲面，同一列车轨道的顶点圈之间的曲线复形距离至多为 3。

实验结果

研究问题

• RQ1 曲线图 $\mathcal{C}_1(S_{g,p})$ 的双曲性常数 $\delta$ 是否可选择为与亏格 $g$ 和穿孔数 $p$ 无关？
• RQ2 是否存在一个统一常数 $B$，使得任意曲面 $S_{g,p}$ 中同一列车轨道的任意两个顶点圈之间的曲线复形距离均不超过 $B$？
• RQ3 泰希缪勒投影映射 $\Phi: \mathrm{Teich}(S) \to \mathcal{C}(S)$ 的利普希茨常数是否在所有曲面 $S_{g,p}$ 中具有一致有界性？

主要发现

• 存在一个与 $g$ 和 $p$ 无关的绝对常数 $k > 0$，使得对所有曲面 $S_{g,p}$，曲线图 $\mathcal{C}_1(S_{g,p})$ 均为 $k$-双曲。
• 对复杂度 $\xi(S) > \max(k, N(3/4))$ 的曲面，同一列车轨道的任意两个顶点圈之间的曲线复形距离至多为 3。
• 对任意满足 $d_{\mathcal{C}}(\alpha, \beta) \geq k$ 的两条曲线 $\alpha, \beta$，有 $i(\alpha, \beta) \geq \left( \frac{\xi^{\lambda}}{f(\xi)} \right)^{k-2}$，其中 $\lambda \in (0,1)$，且 $f(\xi) = O(\log_2(\xi))$。
• 泰希缪勒投影映射 $\Phi$ 在任意单位泰希缪勒测地线段上的像的直径，被一个与 $g$ 和 $p$ 无关的常数 $c$ 一致有界，从而推出其一致利普希茨连续性。
• 对足够复杂的曲面，任意满足 $d_{\mathrm{Teich}}(x,y) \leq 1$ 的两点 $x,y$，其对应曲线的曲线复形距离至多为 4；对低复杂度曲面，该距离亦被统一常数控制。
• 泰希缪勒投影映射的利普希茨常数 $c$ 满足 $\max\left(4, \max_{\xi(S) < k} f(\lceil eE(S) \rceil) \right)$，其中 $E(S) = O(\xi \log \xi)$，从而确保在所有曲面中的一致性。