[논문 리뷰] Dynamics of the Teichmueller flow on compact invariant sets

Ursula Hamenstaedt|arXiv (Cornell University)|2007. 05. 25.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 5

한 줄 요약

이 논문은 면적 1인 이차형식의 모듈리 공간의 컴acts한 불변 부분집합 위에서 테이히뮐러 흐름이 확산적임을 증명하고, 주기 궤도의 渐近적 성장률이 흐름의 위상 엔트로피와 관련이 있음을 밝힌다. 핵심 결과는 모든 컴acts한 불변 집합에 대해 이 성장률의 상한이 $6g - 6 + 2m$와 일치하며, 이는 불변 르베그 측도의 메트릭 엔트로피와 일치한다.

ABSTRACT

Let Q(S) be the moduli space of area one holomorphic quadratic differentials for an oriented surface S of genus g with m punctures and 3g-3+m>1. We show that the supremum over all compact subsets K of Q(S) of the asymptotic growth rate of the number of periodic orbits of the Teichmueller flow which are contained in K equals h=6g-6+2m. Moreover, h is also the supremum of the topological entropies of the restriction of the Teichmueller flow to compact invariant subsets of Q(S).

연구 동기 및 목표

• 면적 1인 이차형식의 모듈리 공간의 컴acts한 불변 부분집합에 제한된 테이히뮐러 흐름의 역학적 행동을 이해하는 것.
• 이러한 집합에서 주기 궤도의 渐近적 성장률을 흐름의 위상 엔트로피와 연결하는 것.
• 이 성장률의 모든 컴acts한 불변 집합에 대한 상한이 $6g - 6 + 2m$임을 증명하여, 불변 르베그 측도의 메트릭 엔트로피와 일치시킴.
• 테이히뮐러 흐름이 $\hat{\cal Q}(S) = {\cal Q}^1(S)/\Gamma$의 컴acts한 불변 부분집합에서 확산적임을 보이는 것. 여기서 $\Gamma < {\rm Mod}(S)$는 유한 지수의 토크션 없는 정규부분군이다.
• 모든 컴acts한 불변 집합에서 흐름의 위상 엔트로피가 그 집합의 주변을 가로지르는 주기 궤도의 로그 성장률에 의해 유계임을 증명하는 것.

제안 방법

• 테이히뮐러 공간의 기하학과 테이히뮐러 흐름의 역학을 분석하기 위해 곡선 그래프 $\mathcal{C}(S)$와 그 준등거리 성질을 사용한다.
• 컴acts한 불변 집합에서 테이히뮐러 흐름에 대해 아노소프 폐쇄 보조정리를 적용하며, 곡선 그래프에서 궤도 사영의 준지오데식 성질을 활용한다.
• 주기 궤도가 매핑 클래스군 ${{\rm Mod}}(S)$의 편안한 아노소프 원소들의 동치류에 대응하며, 이 동치류는 컴acts한 집합과의 교차 수로 제어됨을 이용한다.
• 위상 엔트로피와 불변 측도의 메트릭 엔트로피를 연결하는 변동 원리를 적용하고, 르베그 계열에서 유일한 최대 엔트로피 측도를 사용한다.
• 고정된 컴acts한 주변부를 통과하는 축을 가진 편안한 아노소프 원소들의 준군 $\Lambda \subset {\rm Mod}(S)$를 구성함으로써 궤도 성장에 대한 균일한 제어를 가능하게 한다.
• 테이히뮐러 공간 내 유계된 집합에서 주어진 원소의 공역 수에 대한 유계를 활용하여, 고정된 컴acts한 집합 내 주기 궤도 수의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 테이히뮐러 흐름이 컴acts한 불변 부분집합 $K$에 제한되었을 때 주기 궤도의 渐近적 성장률 $\delta(K)$는 무엇인가?
• RQ2 $\delta(K)$는 $K$에서 흐름의 위상 엔트로피 $h_{\rm top}(K)$와 어떻게 관련이 있는가?
• RQ3 모듈리 공간의 모든 컴acts한 불변 부분집합 $K$에 대해 $\delta(K)$의 상한은 무엇인가?
• RQ4 테이히뮐러 흐름은 ${{\rm Mod}}(S)$의 토크션 없는 정규부분군 $\Gamma$의 유한 지수를 가지는 몫인 $\hat{\cal Q}(S)$의 컴acts한 불변 부분집합에서 확산적인가?
• RQ5 임의의 $\epsilon > 0$에 대해, 고정된 컴acts한 집합에 포함된 주기 궤도의 성장률이 $e^{(h - \epsilon)r}/cr$로 아래에서 유계일 수 있는가?

주요 결과

• 모든 컴acts한 불변 부분집합에서 테이히뮐러 흐름은 확산적이며, 이는 주기 궤도가 분리되고 역학이 구조적으로 안정됨을 보장한다.
• 모든 컴acts한 위상적 전이성 불변 집합 $K \subset \hat{\cal Q}(S)$에 대해, $\limsup_{r\to\infty} \frac{1}{r}\log n_K(r) \leq h_{\rm top}(K) \leq \liminf_{r\to\infty} \frac{1}{r}\log n_U(r)$를 만족한다. 여기서 $U$는 $K$의 임의의 주변이다.
• 모듈리 공간 ${\cal Q}^1(S)/{\rm Mod}(S)$의 모든 컴acts한 부분집합 $K$에 대해 $\delta(K)$의 상한은 정확히 $6g - 6 + 2m$이며, 이는 유일한 불변 르베그 측도의 메트릭 엔트로피와 일치한다.
• $\epsilon > 0$에 대해, $\liminf_{r\to\infty} \frac{1}{r}\log n_K(r) \geq h - \epsilon$를 만족하는 컴acts한 부분집합 $K \subset {\cal Q}^1(S)/{\rm Mod}(S)$가 존재함을 보여, 엔트로피가 상한으로서 실현됨을 증명한다.
• 충분히 큰 $r$에 대해, 고정된 컴acts한 집합 $C$에 포함된 길이 $r$ 이하의 주기 궤도 수는 $e^{(h - \epsilon)r}/cr$ 이상으로 증가한다. 여기서 $c > 0$이다.
• 결과는 $\hat{\cal Q}(S)$로 확장되며, $\hat{\cal Q}(S)$에서 르베그 측도의 메트릭 엔트로피 $h$는 컴acts한 불변 부분집합에서의 위상 엔트로피의 상한과 같다.