[논문 리뷰] Non-varying sums of Lyapunov exponents of Abelian differentials in low genus

Dawei Chen, Martin Moeller|arXiv (Cornell University)|2011. 04. 20.

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

한 줄 요약

이 논문은 종수 3–5의 아벨 미분형의 대부분의 계층에서, 주어진 계층 내의 모든 테이히müller 곡선에서 리아풀로프 지수 합이 일정하다는 것을 증명한다. 이 현상은 '변하지 않는'으로 불린다. 저자들은 이 성질을 증명하기 위해 테이히müller 곡선이 모듈리 공간 위의 핵심 기하학적 디바이저와 이격되어 있음을 보이고, 제곱 타일링 표면을 사용한 명시적 계산을 통해 결과를 확인한다. 변하지 않는 행동은 히persurfaces 계층과 특정 비히퍼엘립틱 계층에서 성립하지만, 더 높은 종수에서는 성립하지 않으며, 종수 6에서 단일 0차수 10을 가진 계층에서 실패한다.

ABSTRACT

We show that for many strata of Abelian differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum, hence equal to the sum of Lyapunov exponents for the whole stratum. This behavior is due to the disjointness property of Teichmueller curves with various geometrically defined divisors on moduli spaces of curves.

연구 동기 및 목표

• 주어진 아벨 미분형의 계층 내에서 테이히müller 기하학적 흐름의 리아풀로프 지수 합이 모든 테이히müller 곡선에서 일정한지 결정하는 것.
• 종수와 0의 개수의 합이 ≤ 7일 때 리아풀로프 지수 합이 변하지 않는다는 콘체비치와 조리치의 추측을 해결하는 것.
• 모듈리 공간 위의 핵심 디바이저와의 이격성을 통해 변하지 않는 합을 증명하는 기하학적 기준을 설정하는 것.
• 합이 일정하지 않은 계층에서 변하는 합에 대한 명시적 예와 상한을 제공하는 것.
• 결과를 지정된 곡선의 모듈리 공간 기하학에서의 극값 문제에 적용하는 것.

제안 방법

• 각 계층의 불변 측도에 대해 리아풀로프 지수 합을 계산하기 위해 Eskin-Kontsevich-Zorich 공식의 사용.
• 순열 자료 (π_r, π_u)를 사용해 평탄한 표면를 정의하는 제곱 타일링 표면을 통한 테이히müller 곡선의 구성.
• 모듈리 공간의 기하학적 디바이저(예: 히퍼엘립틱, 브릴-노이만, 또는 특이 곡선 계열)와의 테이히müller 곡선의 이격성 증명.
• 모듈리 공간 M_g,1 및 M_g,2에서 디바이저 클래스 λ, ω_rel, δ, ψ_i와의 교차수를 계산하여 극값을 확인하기 위해 0 교차를 검증하는 것.
• [EKZ]의 결과를 히퍼엘립틱 계층에 적용하여 모든 종수에서 변하지 않는 합을 보이는 것.
• 주기 좌표와 격자점 대응을 사용해 히퍼엘립틱 계열 내에서 테이히müller 곡선의 자리지 닫힘의 조밀성을 보이는 것.

실험 결과

연구 질문

• RQ1 종수 g ≤ 5인 아벨 미분형의 계층 중에서 모든 테이히müller 곡선에서 리아풀로프 지수 합이 일정한 계층은 무엇인가?
• RQ2 리아풀로프 지수 합이 변하는 정확한 조건은 무엇이며, 이러한 경우의 날카운 상한은 무엇인가?
• RQ3 M_g,1 및 M_g,2에서의 디바이저 클래스 D1과 D2의 극값은 테이히müller 곡선에 의해 실현될 수 있는가?
• RQ4 왜 종수 6에서 변하지 않는 현상이 실패하는가, 특히 ΩM_6(10)^odd 및 ΩM_6(10)^even 계층에서 그러한가?
• RQ5 히퍼엘립틱 계열은 변하지 않는 합을 어느 정도 유지하는가, 그리고 이는 지정된 곡선의 모듈리 공간 기하학과 어떻게 관련되는가?

주요 결과

• 종수 3에서는 주요 계층(Principal stratum)을 제외한 모든 계층에서 리아풀로프 지수 합이 변하지 않으며, 주요 계층의 합은 2 이하로 유계이며, 이는 히퍼엘립틱 계열에서 도달된다.
• 종수 4에서는 서명 (6)^even, (6)^odd, (5,1), (3,3), (3,2,1), (2,2,2)^odd 및 모든 히퍼엘립틱 계층에서 합이 변하지 않으며, 나머지 계층에서는 합이 5/2 이하로 유계이며, ΩM_4(4,1,1)의 경우 23/10으로 더 날카로운 상한이 존재한다.
• 종수 5에서는 (8)^even, (8)^odd, (5,3), 및 모든 히퍼엘립틱 계층에서 합이 변하지 않으며, 나머지 계층에서는 합이 변동하며, (6,2)^odd만이 확인되지 않은 경우이다.
• 종수 6에서는 ΩM_6(10)의 두 성분 모두에서 합이 변동하며, 명시적 값은: 홀수 성분에서 L_stratum ≈ 2.351 및 L_curve ≈ 2.302, 짝수 성분에서 L_stratum ≈ 2.410 및 L_curve ≈ 2.402이다.
• 히퍼엘립틱 계층 내 테이히müller 곡선은 M_g,1 및 M_g,2에서 디바이저 클래스 D1과 D2와 0 교차를 이룬다. 이는 이러한 디바이저 긍정성 결과의 최적성(optimality)을 증명한다.
• 히퍼엘립틱 계열 내 모든 이러한 테이히müller 곡선의 자리지 닫힘은 조밀하며, 이는 D1과 D2에 대한 극값 문제에 무한히 많은 해를 제공한다.