[논문 리뷰] Quadratic differentials in low genus: exceptional and non-varying

Dawei Chen, Martin Moeller|arXiv (Cornell University)|2012. 04. 08.

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

한 줄 요약

이 논문은 종수 3 및 4에서 이차 미분의 예외적 부분계층의 연결 성분을 식별하기 위한 대수기하학적 기준을 제공한다. 이 기준은 이차 미분의 영점의 인자(divisor)를 3으로 나눈 선다발의 전역 절단(global sections)의 차원을 사용한다. 또한 낮은 종수에서 많은 부분계층에 대해 테이히뮐러 지오데식 플로우의 리아풀로프 지수의 합이 부분계층 내 모든 테이히뮐러 곡선에서 일정하다는 것을 증명한다—이를 비변동 부분계층(non-varying strata)이라 한다. 이는 종수 4까지의 비변동 부분계층에 대한 완전한 분류를 제공하며, 종수 5에서 가장 작은 부분계층조차도 변동됨을 보여준다.

ABSTRACT

We give an algebraic way of distinguishing the components of the exceptional strata of quadratic differentials in genus three and four. The complete list of these strata is (9, -1), (6,3,-1), (3,3,3, -1) in genus three and (12), (9,3), (6,6), (6,3,3) and (3,3,3,3) in genus four. This result is part of a more general investigation of disjointness of Teichmueller curves with divisors of Brill-Noether type on the moduli space of curves. As a result we show that for many strata of quadratic differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum.

연구 동기 및 목표

• 종수 3 및 4에서 이차 미분의 예외적 부분계층의 연결 성분을 구분하는 열린 문제를 해결하기 위해.
• 특히, 선다발의 전역 절단 차원을 통해 두 성분을 구별하는 대수기하학적 기하학적 불변량을 제공하기 위해.
• 낮은 종수에서 테이히뮐러 곡선 전반에 걸쳐 리아풀로프 지수의 합이 일정한(비변동) 부분계층의 부분계층을 분류하기 위해. 이는 아벨 미분의 결과를 확장하기 위함이다.
• 비변동 부분계층 목록이 완전할 가능성이 있으며, 모든 알려진 히퍼엘리프틱 부분계층을 포함함을 보여주고, 종수 5에서 가장 작은 부분계층조차도 변동됨을 보여주기 위해.
• 모듈라이 공간에서 브릴-노이더 유형의 인자로부터 테이히뮐러 곡선이 분리됨을 증명하는 방법을 수립하여, 리아풀로프 지수의 계산을 가능하게 하기 위해.

제안 방법

• 대수기하학을 활용하여, 예외적 부분계층의 두 연결 성분을 구별하는 표준 불변량인 $ H^0(X, \operatorname{div}(q)_{0}/3) $ 의 차원을 정의한다.
• 호지 번들의 필터링 및 국소 플러밍 매개변수 기법을 적용하여, 모듈라이 공간의 경계 인자 근처에서 이차 미분의 행동을 분석한다.
• 모듈라이 공간 $ \overline{\mathcal{M}}_{g,n} $ 에서의 교차 이론을 활용하여, 테이히뮐러 곡선 $ C $ 와 브릴-노이더 유형의 인자 $ D $ 에 대해 $ C \cdot D = 0 $ 을 계산함으로써 리아풀로프 지수의 일관성을 도출한다.
• 베흐 군의 단조성 데이터와 지수 계산을 활용하여 특정 예시에 대해 리아풀로프 지수를 수치적으로 검증한다.
• 평탄한 표면 기하학에 의존하지 않고 대수기하학적 방법으로 연결 성분을 구성함으로써, 독립적으로 기하학적 기하학적 연결성과 기하학적 기하학적 불연속성을 증명한다.
• 아벨 미분의 경우에 대한 [CM11]의 방법을 이차 미분에 적응시켜, 테이히뮐러 곡선이 높은 경계 인자 $ \delta_i $ 와 교차할 수 있다는 도전 과제를 극복한다.

실험 결과

연구 질문

• RQ1 종수 3 및 4에서 이차 미분의 예외적 부분계층의 두 연결 성분을 구별하는 데 사용할 수 있는 대수기하학적 불변량은 무엇인가?
• RQ2 낮은 종수에서 어떤 부분계층의 이차 미분에 대해 모든 테이히뮐러 곡선에서 리아풀로프 지수의 합이 일정한가(비변동인가)?
• RQ3 이차 미분의 경우, 높은 경계 인자 $ \delta_i $ 와의 교차 가능성을 고려할 때, 브릴-노이더 유형의 인자로부터 테이히뮐러 곡선이 분리됨을 증명할 수 있는가?
• RQ4 종수 3 및 4에서 이차 미분의 비변동 부분계층 목록은 완전한가? 그리고 모든 알려진 히퍼엘리프틱 부분계층을 포함하는가?
• RQ5 종수 5에서 리아풀로프 지수의 합이 변동되는 부분계층, 즉 가장 작은 부분계층조차도 변동되는가?

주요 결과

• 종수 3에서의 부분계층 $ (9,-1), (6,3,-1), (3,3,3,-1) $ 는 각각 정확히 두 개의 연결 성분을 가지며, 이는 $ \dim H^0(X, \operatorname{div}(q)_{0}/3) = 1 $ 또는 $ 2 $ 로 구별된다.
• 종수 4에서의 부분계층 $ (12), (9,3), (6,6), (6,3,3), (3,3,3,3) $ 는 각각 정확히 두 개의 비히퍼엘리프틱 연결 성분을 가지며, 동일한 전역 절단 차원으로 동일하게 구별된다.
• 종수 1에서 부분계층 $ \mathcal{Q}(n,-1^n) $ 과 $ \mathcal{Q}(n-1,1,-1^n) $ ($ n \geq 2 $) 는 비변동이며, 리아풀로프 지수의 합이 일정하다.
• 종수 2에서는 차원이 7 이하인 모든 부분계층 중 12개가 비변동이다. 종수 3에서는 비예외적 부분계층 19개와 예외적 부분계층 6개가 비변동이다.
• 종수 4에서는 비예외적 부분계층 8개와 예외적 부분계층 7개가 비변동이며, 비변동 부분계층 목록은 완전할 가능성이 높다.
• 종수 5에서는 가장 작은 부분계층 $ \mathcal{Q}(16) $ 도 변동됨을 보여주었으며, 두 예시에서 서로 다른 리아풀로프 지수를 보였다: $ L^+ = 19949/12015 \approx 1.66 $ 과 $ 5/3 \approx 1.6667 $.