[논문 리뷰] An example of a Teichmuller disk in genus 4 with degenerate Kontsevich-Zorich spectrum

Giovanni Forni, Carlos Matheus|ArXiv.org|2008. 09. 30.

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

한 줄 요약

이 논문은 리만 구면의 순환 피복 $M_6(1,1,1,3)$을 통해, 모든 비자명한 리아풀로프 지수들이 0이 되는 완전히 열악한 콘체비치-조리치 스펙트럼을 가진 종수 4에서의 처음으로 알려진 테이히뮐러 원판을 구성한다. 이 구성은 $SL(2,\mathbb{R})$-오빗이 비자명한 리아풀로프 지수가 0인 콘체비치-조리치 코클의 스펙트럼에서 퇴화된 경우를 확인하는, 티치하우저 표면을 제공한다.

ABSTRACT

We construct an orientable holomorphic quadratic differential on a Riemann surface of genus 4 whose SL(2,R)-orbit is closed and has a highly degenerate Kontsevich - Zorich spectrum. This example is related to a previous similar construction in genus 3 by the first author.

연구 동기 및 목표

• 종수 4에서 모든 비자명한 리아풀로프 지수들이 0이 되는 완전히 열악한 콘체비치-조리치 스펙트럼을 가진 테이히뮐러 원판을 구성하는 것.
• 종수 3에서 알려진 예를 종수 4로 확장하여, 비자명한 리아풀로프 지수들이 0인 새로운 티치하우저 표면의 사례를 제공하는 것.
• 티치하우저 표면과 순환 피복의 맥락에서 이러한 열악한 스펙트럼의 희귀성을 탐색하는 것.
• 예가 아벨 미분형의 세 개의 이중 영점이 있는 계층 $\mathcal{H}(2,2,2)$에 속해 있음을 확인하여, 알려진 분류 제약 조건과 일치하는지 확인하는 것.

제안 방법

• 다음과 같은 식으로 리만 표면 $M$을 리만 구면의 순환 피복으로 구성한다: $w^6 = (z-x_1)(z-x_2)(z-x_3)(z-x_4)^3$, $x_1,\dots,x_4$ 는 서로 다른 점이다.
• 원시 6단위근 $\varepsilon$를 갖는 자동형사상 $T(z,w) = (z, \varepsilon w)$를 사용하여 해석형 1형식 위에서의 작용을 분석한다.
• 자동형사상 $T^*$의 해석형 1형식 위에서의 고유공간 $L_i$의 차원을 공식 $\dim_{\mathbb{C}} L_i = \sum_{\mu=1}^4 \left\langle \frac{i a_\mu}{N} \right\rangle - 1$ 을 사용해 계산하여, $\dim L_3 = \dim L_4 = 1$, $\dim L_5 = 2$, $\dim L_1 = \dim L_2 = 0$ 를 얻는다.
• 다섯 개의 분지점에서 단순 극을 갖는 $\mathbb{P}^1$ 위의 유일한 해석형 2차 미분형식의 역상으로서 해석형 2차 미분형식 $q = \theta_1^2$ 를 정의한다.
• $SL(2,\mathbb{R})$-불변성에 의해, $\mathbb{P}^1$ 위에서 네 개의 단순 극을 갖는 2차 미분형식의 계층의 불변성을 이용하여, $q$의 $SL(2,\mathbb{R})$-오빗이 계층 $\mathcal{H}(2,2,2)$ 안에 하나의 오빗으로 존재함을 보인다.
• 정리 3.2를 적용하여, 형식 $H_q$ 가 질서 1임을 증명함으로써, 오빗이 $\mathcal{R}_4^{(1)}(1)$ 안에 있음을 확인하고, 이는 스펙트럼의 열악성과 관련된 핵심 조건임을 확인한다.

실험 결과

연구 질문

• RQ1 종수 4에서 모든 비자명한 리아풀로프 지수들이 0이 되는 완전히 열악한 콘체비치-조리치 스펙트럼을 가진 테이히뮐러 원판이 존재하는가?
• RQ2 이러한 열악한 스펙트럼이 리만 구면의 순환 피복으로 구성된 티치하우저 표면을 통해 실현될 수 있는가?
• RQ3 몰러의 비공개 작업에 따르면, 종수 $g \leq 5$ 에서 이러한 예가 유한 개 뿐일까?
• RQ4 종수 4에서의 이 예는 포르니가 구성한 종수 3의 경우를 제외하고 유일한 예인가?
• RQ5 자기동형사상의 군과 고유공간 분해는 콘체비치-조리치 코클의 리아풀로프 스펙트럼을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 순환 피복 $M_6(1,1,1,3)$에서 유도된 종수 4 표면 위의 구성된 2차 미분형식 $q$ 는 모든 비자명한 리아풀로프 지수들이 0인 완전히 열악한 콘체비치-조리치 스펙트럼을 가진다.
• $q$ 의 $SL(2,\mathbb{R})$-오빗은 닫혀 있으며 계층 $\mathcal{H}(2,2,2)$ 안에 있으며, 이는 세 개의 이중 영점이 있는 아벨 미분형식의 제곱과 대응된다.
• 자기동형사상 $T^*$ 의 고유공간 분해는 $\dim L_3 = \dim L_4 = 1$, $\dim L_5 = 2$, $\dim L_1 = \dim L_2 = 0$ 를 제공하며, 이는 스펙트럼의 열악성에 필수적이다.
• 형식 $H_q$ 는 질서 1을 가지며, 오빗이 $\mathcal{R}_4^{(1)}(1)$ 안에 있음을 확인함으로써, 열악한 스펙트럼을 위한 핵심 조건임을 확인한다.
• 이 예는 종수 4에서 비자명한 리아풀로프 지수들이 0인 티치하우저 표면의 첫 번째 알려진 사례이며, 종수 4에서 유일한 사례일 가능성이 높다.
• 기타 순환 피복들 중에서는 더 이상 완전히 열악한 스펙트럼을 가진 예를 찾지 못하였으며, 이러한 예들이 매우 희귀할 수 있으며, 종수 $g \leq 5$ 에서는 유일할 가능성이 있음을 지지하는 바이다.