[논문 리뷰] Slow Divergence and Unique Ergodicity

Yitwah Cheung, Alex Eskin|ArXiv.org|2007. 11. 02.

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

한 줄 요약

이 논문은 리만 곡면 위의 이차 미분형식의 수직 분할에 대해 유일한 에르고딕성의 새로운 기준을 설정한다: 만약 테이히뮐러 지오데식이 너무 느리게 발산한다면 — 구체적으로, 가장 짧은 사다리꼴 연결의 로그 길이가 작은 ε에 대해 ε log t + C 보다 느리게 증가한다면 — 그 분할은 유일하게 에르고딕하다. 이 결과는 마수르의 재귀 기반 유일 에르고딕성 결과를 재귀가 아닌 지오데식으로 확장하며, 두 점에서 분지하는 토러스의 이중 덮개에서 비에르고딕 방향을 특성화하는 데 응용된다.

ABSTRACT

Masur showed that a Teichmuller geodesic that is recurrent in the moduli space of closed Riemann surfaces is necessarily determined by a quadratic differential with a uniquely ergodic vertical foliation. In this paper, we show that a divergent Teichmuller geodesic satisfying a certain slow rate of divergence is also necessarily determined by a quadratic differential with unique ergodic vertical foliation. As an application, we sketch a proof of a complete characterization of the set of nonergodic directions in any double cover of the flat torus branched over two points.

연구 동기 및 목표

• 테이히뮐러 지오데식이 재귀적인 경우에서 발산적인 경우로까지 유일 에르고딕성 결과를 확장하기 위해.
• 지오데식의 발산 속도에 기반한 유일 에르고딕성의 충분조건을 설정하기 위해.
• 두 점에서 분지하는 평탄한 토러스의 이중 덮개에서 비에르고딕 방향을 특성화하기 위해.
• 구체적인 동역학계에 천천히 발산하는 조건을 적용하여 비에르고딕성 문제를 해결하기 위해 (베치의 질문을 해결함).

제안 방법

• 테이히뮐러 지오데식 X_t에서 가장 짧은 사다리꼴 연결의 길이 ℓ(X_t)를 사용해 발산 함수 d(t) = -2 log ℓ(X_t)를 정의한다.
• 표면 내 직사각형을 통한 점들 간의 K-가시성과 K-도달 가능성 개념을 도입하여, 에르고딕 평균을 비교할 수 있도록 한다.
• 사다리꼴 연결 길이의 기하학적 제어를 이용해, 유한한 수와 균일한 측도를 가진 X_t 내 K-네트워크를 구성한다.
• 일부 영역 시퀀스 |A_j|의 합이 수렴하지 않는다는 사실을 이용해, [MS]에서의 비에르고딕성 기준을 적용하고, 발산 속도와 에르고딕성의 관계를 연결한다.
• 임계 시간에서 표면를 실린더의 합집합으로 표현하고, 영역 교환 추정치를 사용해 버퍼 영역의 크기를 유계로 제한한다.
• 레마 4.1을 적용하여, 만약 ∑|A_j| = ∞ 이면, 모든 일반적인 점들이 동일한 에르고딕 평균을 결정함을 보여, 유일 에르고딕성을 유도한다.

실험 결과

연구 질문

• RQ1 테이히뮐러 지오데식의 발산 속도에 어떤 조건이 성립할 경우, 수직 분할이 유일하게 에르고딕해지는가?
• RQ2 유일 에르고딕성 기준을 재귀적인 지오데식을 넘어서 발산적인 지오데식으로까지 확장할 수 있는가?
• RQ3 두 점에서 분지하는 토러스의 이중 덮개에서 비에르고딕 방향의 집합은 무엇인가?
• RQ4 이러한 종류의 전이 표면에서 사다리꼴 연결과 홀로노미 벡터의 기하학은 에르고딕성과 어떤 관계가 있는가?
• RQ5 분리하는 슬릿과 비분리하는 슬릿은 이중 토러스에서 분할의 에르고딕 행동을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 만약 어떤 ε > 0 에 대해 모든 t > 0 에 대해 d(t) < ε log t + C 이면, 수직 분할은 유일하게 에르고딕하다.
• 천천히 발산하는 조건은 버퍼 영역과 관련된 영역 측도 시퀀스 |A_j| 가 ∑|A_j| = ∞ 를 만족시킴을 보장하며, 이는 유일 에르고딕성을 암시한다.
• 만약 ∑|A_j| < ∞ 이면, [MS]에서의 비에르고딕성 기준이 적용되어 분할이 비에르고딕하다는 것을 의미한다.
• 두 점에서 분지하는 토러스의 이중 덮개에서, 어떤 방향이 비에르고딕한 것은 해당 지오데식이 충분히 빠르게 발산할 경우, 즉 ∑|A_j| < ∞ 일 경우에만 성립한다.
• 비에르고딕 방향의 집합은 사다리꼴 연결 길이 시퀀스가 너무 빨리 감소하여 천천히 발산 조건을 위반하는 경우에 정확히 일치한다.
• 증명 과정에서 각 X_t에서 최대 N개의 정사각형으로 이루어진 K-네트워크를 구성하였으며, 각각의 측도는 δ 이상이 되고, 이는 제2.6조의 조건을 만족시며, 유일 에르고딕성을 보장한다.