[논문 리뷰] Orbits of non-simple closed curves on a surface

Jenya Sapir|arXiv (Cornell University)|2016. 02. 29.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 6

한 줄 요약

이 논문은 비단순 폐곡선의 지오데식이 하이퍼볼릭 곡면에서 매핑 클래스 군 궤도를 연구하며, 최대 $K$개의 자기교차를 가지며 길이가 최대 $L$인 궤도의 수에 대한 날카운 경계를 제공한다. 이는 패츠 분해를 기반으로 한 새로운 조합 모델을 도입하여 기하 문제를 단어 조합론으로 변환함으로써, 단순 폐곡선의 미르자카니의 성장 결과를 개선하는 점근적 경계를 도출한다.

ABSTRACT

The mapping class group of a surface $§$ acts on the set of closed geodesics on $§$. This action preserves self-intersection number. In this paper, we count the orbits of curves with at most $K$ self-intersections, for each $K \geq 1$. (The case when $K=0$ is already known.) We also restrict our count to those orbits that contain geodesics of length at most $L$, for each $L >0$. This result complements a recent result of Mirzakhani, which gives the asymptotic growth of the number of closed geodesics of length at most $L$ in a single mapping class group orbit. Furthermore, we develop a new, combinatorial approach to studying geodesics on surfaces, which should be of independent interest.

연구 동기 및 목표

• 최대 $K$개의 자기교차를 가지는 폐곡선의 매핑 클래스 군 궤도 수의 점근적 성장을 규명하는 것.
• 길이가 유계인 폐곡선의 수를 이해함으로써, 총합에 기여하는 서로 다른 궤도의 수를 고려하여, 미르자카니의 유계 길이 폐곡선에 대한 점근적 카운팅을 개선하는 것.
• 기하적 제약 조건을 패츠 분해에서의 단어 조합론으로 변환하는 폐곡선 연구를 위한 조합 프레임워크를 개발하는 것.
• 특히 길이가 유계인 $L$인 곡선에 제한된 경우, 이러한 궤도의 수에 대한 상한과 하한을 확립하는 것.

제안 방법

• 각 폐곡선 $\gamma$와 패츠 분해 $\Pi$에 대해 관련된 조합적 단어 모델 $w_\Pi(\gamma)$를 구성하여, 쪼임 커브를 둘러싼 경로로 곡선을 표현한다.
• 단어 모델을 사용하여 기하적 매개변수를 기반으로 길이와 자기교차 수를 추정함으로써, 기하적 제약 조건을 이산 수세기 문제로 변환한다.
• 이항계수 추정과 스타링어 유사 추정을 사용하여 이러한 단어의 수를 경계함으로써, 궤도 수에 대한 지수적 상한을 이끌어낸다.
• 조합적 구성의 성장을 제어하기 위해 $\binom{a+b}{b} \leq e^{b \log(2e a/b)}$를 적용한다.
• 두 경우로 나누어 분석함으로써, 길이 $\leq L$와 자기교차 수 $\leq K$를 가지는 궤도의 수 $\#\mathcal{O}(L,K)$에 대한 상한을 유도한다: $M = \min\{d_X L + d_S \sqrt{K}, d_S K\}$.
• 이전의 [Sap15b]에서의 쌍둥이 패츠에 대한 $\#\mathcal{G}^c(L,K)$에 대한 하한을 활용하여, $L$과 $K$에 적절한 조건이 만족될 경우 $\#\mathcal{O}(L,K)$에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 하이퍼볼릭 곡면 $\mathcal{S}$에서 최대 $K$개의 자기교차를 가지는 매핑 클래스 군 궤도는 몇 개인가?
• RQ2 최대 $K$개의 자기교차를 가지는 궤도의 수가 $K \to \infty$로 갈수록 점근적으로 어떻게 증가하는가? 특히 길이 $\leq L$인 곡선으로 제한할 경우 어떻게 되는가?
• RQ3 패츠 분해를 기반으로 한 조합 모델은 폐곡선의 길이 및 자기교차 수와 같은 기하적 불변량을 효과적으로 근사할 수 있는가?
• RQ4 궤도 수 $\mathcal{O}(L,K)$는 $L$과 $K$에 따라 어떻게 증가하며, 가장 날카운 알려진 상한과 하한은 무엇인가?
• RQ5 곡선의 단어 표현의 조합적 복잡성과 그 기하적 성질 사이의 관계는 무엇인가?

주요 결과

• 최대 $K$개의 자기교차를 가지는 폐곡선의 매핑 클래스 군 궤도 수는 $\frac{1}{12}2^{\sqrt{K/12}} \leq \#\mathcal{O}(\cdot,K) \leq e^{d_{\mathcal{S}} \sqrt{K} \log d_{\mathcal{S}} \sqrt{K}}$를 만족하며, 여기서 $d_{\mathcal{S}}$는 곡면 $\mathcal{S}$에만 의존하는 상수이다.
• 길이가 최대 $L$인 곡선에 대해서는 $\#\mathcal{O}(L,K) \leq \min\left\{ e^{d_{\mathcal{S}} \sqrt{K} \log\left(d_X \frac{L}{\sqrt{K}} + d_X\right)}, e^{d_{\mathcal{S}} \sqrt{K} \log d_{\mathcal{S}} \sqrt{K}} \right\}$를 만족하며, 상수들은 곡면 $\mathcal{S}$와 메트릭 $X$에 의존한다.
• 다음 조건이 만족될 경우 $\#\mathcal{O}(L,K)$에 대한 하한이 확립된다: $L \geq 8l_X$ 이고 $K \geq 12$ 이면 $\#\mathcal{O}(L,K) \geq \frac{1}{12} \min\left\{ 2^{L/(8l_X)}, 2^{\sqrt{K/12}} \right\}$, 여기서 $l_X$는 메트릭에 의존하는 상수이다.
• 패츠 분해를 기반으로 한 조합 모델은 단어 표현으로부터 길이와 자기교차 수를 효과적으로 추정할 수 있게 하여, 기하 문제를 이산 수세기 문제로 환원할 수 있다.
• 상한은 이항계수 추정과 스타링어 유사 추정을 통해 유도되며, 지수는 $\sqrt{K} \log(\text{다항식 in } K)$에 의해 제어된다.
• 결과적으로, 비단순 곡선에 대해 특히 기여하는 궤도의 수를 제어함으로써, 미르자카니의 폐곡선 수 점근 카운팅을 개선한다.