[논문 리뷰] Uniform Hyperbolicity of the Graphs of Curves

Tarik Aougab|arXiv (Cornell University)|2012. 12. 13.

Geometric and Algebraic Topology참고 문헌 4인용 수 8

한 줄 요약

이 논문은 모든 표면 $S_{g,p}$ 에 대해 곡선 그래프 $χ_1(S_{g,p})$ 의 균일한 쌍곡성(Uniform hyperbolicity)을 확립하며, 이는 곡선 그래프의 쌍곡성 상수 $k$ 가 만일의 종수 $g$ 와 구멍 수 $p$ 에 영향을 받지 않는다는 것을 증명한다. 핵심 방법은 곡선 간의 교차 수에 대한 하한을, 곡선 복합체 거리와 표면의 복잡도에 따라 정의함으로써, 이는 쌍곡성의 균일한 통제를 가능하게 하며, 동일한 트레인 트랙의 정점 곡선 간 곡선 복합체 거리의 균일한 유계성과 테이히뮐러 사영 지ap의 리프시츠 상수의 균일성까지 유도한다.

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}$ 에 대해 종수 $g$ 와 구멍 수 $p$ 에 관계없이 곡선 그래프 $χ_1(S_{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$ 일 때 $\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 모든 표면 $S_{g,p}$ 에 대해 동일한 트레인 트랙의 두 정점 곡선 간 곡선 복합체 거리에 대해 균일한 상한 $B$ 가 존재하는가?
• RQ3 모든 표면 $S_{g,p}$ 에 대해 테이히뮐러 사영 지도 $\Phi: \mathrm{Teich}(S) \to \mathcal{C}(S)$ 의 리프시츠 상수가 균일하게 유계인가?

주요 결과

• 모든 표면 $S_{g,p}$ 에 대해 종수 $g$ 와 구멍 수 $p$ 에 영향을 받지 않는 유일한 상수 $k > 0$ 가 존재하여 곡선 그래프 $\mathcal{C}_1(S_{g,p})$ 는 $k$-쌍곡성임을 보장한다.
• 표면의 복잡도 $\xi(S) > \max(k, N(3/4))$ 인 경우, 동일한 트레인 트랙의 두 정점 곡선 간 곡선 복합체 거리는 최대 3이다.
• 곡선 복합체 거리 $d_{\mathcal{C}}(\alpha, \beta) \geq k$ 인 두 곡선 $\alpha, \beta$ 에 대해, 임의의 $\lambda \in (0,1)$ 에 대해 $i(\alpha, \beta) \geq \left( \frac{\xi^{\lambda}}{f(\xi)} \right)^{k-2}$ 를 만족하며, 여기서 $f(\xi) = O(\log_2(\xi))$ 이다.
• 모든 단위 테이히뮐러 지오데식 세그먼트에 대해 테이히뮐러 사영 지도 $\Phi$ 의 이미지 지름은 표면의 종수 $g$ 와 구멍 수 $p$ 에 영향을 받지 않는 상수 $c$ 로 균일하게 유계이며, 이는 균일한 리프시츠 연속성을 암시한다.
• 충분히 복잡한 표면에서는 두 곡선 $\alpha, \beta$ 가 $d_{\mathrm{Teich}}(x,y) \leq 1$ 를 만족할 경우 곡선 복합체 거리는 4 이내이며, 저복잡도 표면의 경우에도 균일한 상수로 유계이다.
• 테이히뮐러 사영 지도의 리프시츠 상수 $c$ 는 $\max\left(4, \max_{\xi(S) < k} f(\lceil eE(S) \rceil) \right)$ 로 유계이며, 여기서 $E(S) = O(\xi \log \xi)$ 이므로 모든 표면에 대해 균일성이 보장된다.