[논문 리뷰] Teichmueller curves generated by Weierstrass Prym eigenforms in genus three and genus four

Erwan Lanneau, Duc-Manh Nguyen|arXiv (Cornell University)|2011. 11. 09.

Geometric and Algebraic Topology참고 문헌 15인용 수 8

한 줄 요약

이 논문은 3차에서 단일 영점이 있는 프림 고유형식으로 생성된 테이히뮐러 곡선을 프로토타입과 나비 이동을 사용하여 조합적 연결성을 분석함으로써 분류한다. $D \geq 17$일 때, $D \equiv 1 \pmod{8}$이면 두 개의 곡선이 존재하고, $D \equiv 0,4 \pmod{8}$이면 한 개의 곡선이 존재하며, $D \equiv 5 \pmod{8}$이면 존재하지 않으며, 작은 $D$에 대해서는 예외가 있다; 이 분류는 $Ω\mathfrak{M}(4)$의 군집에서 실 곱셈과 모듈러 역학에 기반한다.

ABSTRACT

This paper is devoted to the classification of the infinite families of Teichmuller curves generated by Prym eigenforms of genus 3 having a single zero. These curves were discovered by McMullen. The main invariants of our classification is the discriminant D of the corresponding quadratic order, and the generators of this order. It turns out that for D sufficiently large, there are two Teichmueller curves when D=1 modulo 8, only one Teichmueller curve when D=0,4 modulo 8, and no Teichmueller curves when D=5 modulo 8. For small values of D, where this classification is not necessarily true, the number of Teichmueller curves can be determined directly. The ingredients of our proof are first, a description of these curves in terms of prototypes and models, and then a careful analysis of the combinatorial connectedness in the spirit of McMullen. As a consequence, we obtain a description of cusps of Teichmueller curves given by Prym eigenforms. We would like also to emphasis that even though we have the same statement compared to, when D=1 modulo 8, the reason for this disconnectedness is different. The classification of these Teichmueller curves plays a key role in our investigation of the dynamics of SL(2,R) on the intersection of the Prym eigenform locus with the stratum H(2,2), which is the object of a forthcoming paper.

연구 동기 및 목표

• 단일 영점이 있는 3차에서의 위어스트라스 프림 고유형식으로 생성된 무한한 가족의 테이히뮐러 곡선을 분류하는 것.
• 관련된 이차 순서의 판별자 $D$에 따라 프림 고유형식 국소화 $Ω E_D(4)$의 연결 성분 수를 결정하는 것.
• 나비 이동을 통한 프로토타입의 조합적 연결성 분석을 통해 맥클루턴의 접근 방식을 고차원에서 확장하는 것.
• 매개변수화된 프로토타입과 교차 형식을 사용하여 이러한 테이히뮐러 곡선의 캐스프를 기술하는 것.
• 프림 고유형식 국소화와 군집 $Ω\mathfrak{M}(2,2)^{\mathrm{odd}}$의 교차에서 $Γ\mathrm{GL}^+(2,\mathbb{R})$-오빗과 성분을 분류하기 위한 기초를 마련하는 것.

제안 방법

• 저자는 프림 고유형식과 관련된 전이 표면를 모델링하기 위해 프로토타입을 사용하며, 기하학적 및 역학적 자료를 정수 매개변수 $(w,h,t,e)$로 암호화하고, 이는 $D = e^2 + 4wh$를 만족한다.
• 나비 이동 $B_q$는 분해 유형을 유지하는 프로토타입 위의 변환으로 정의되며, $q \in \mathbb{N}$에 대해 $e' = -e - 4qh$, $h' = \gcd(qh, w + qt)$로 작용하고, $q = \infty$일 땐 $e' = -e - 4h$, $h' = \gcd(t,h)$로 작용한다.
• 감소된 프로토타입의 집합 $\tilde{\mathcal{P}}_D$는 나비 이동에 대한 동치류를 통해 분석되며, 성분은 국소화의 연결 성분에 대응한다.
• 분류는 특히 $D \equiv 0,1,4,5 \pmod{8}$인 경우를 구분함으로써 $e \mod 8$의 기하학적 성질과 합동류 분석에 기반한다.
• 반대칭 호모로지 $H^1(X,\mathbb{C})^-$에서의 교차 형식을 사용하여 고유형식의 존재를 확인하며, 4차에서 형식 $\begin{pmatrix} 2J & 0 \\ 0 & 2J \end{pmatrix}$를 취한다.
• 유사한 프로토타입 모델과 캐스프의 매개변수화를 통해 고차원 4차로 분석을 확장하며, 유사한 방법을 사용하여 $Ω E_D(6)$로 일반화한다.

실험 결과

연구 질문

• RQ1 주어진 판별자 $D$에 대해 국소화 $Ω E_D(4)$는 몇 개인가?
• RQ2 판별자 $D \mod 8$는 3차에서 프림 고유형식으로 생성된 테이히뮐러 곡선의 수를 결정하는 데 어떤 역할을 하는가?
• RQ3 왜 $D \equiv 1 \pmod{8}$의 경우 두 성분이 나오며, 이는 2차의 경우와 어떻게 다를까?
• RQ4 이러한 테이히뮐러 곡선의 캐스프의 구조는 무엇이며, 어떻게 매개변수화할 수 있는가?
• RQ5 프로토타입에서의 나비 이동은 프림 고유형식 국소화의 연결 성분을 어떻게 결정하는가?

주요 결과

• 모든 $D \geq 17$에 대해 $Ω E_D(4)$는 $D \equiv 0,1,4 \pmod{8}$일 때에만 비어 있지 않으며, $D \equiv 1 \pmod{8}$일 경우 정확히 두 개의 연결 성분으로 분리되어 있다.
• $D \equiv 0$ 또는 $4 \pmod{8}$일 경우 $Ω E_D(4)$는 연결되어 있으며, $D \equiv 5 \pmod{8}$일 경우는 이러한 곡선이 존재하지 않는다.
• $D < 17$일 경우 $Ω E_D(4)$는 $D = 8$과 $D = 12$일 때만 비어 있지 않으며, 이 둘 다 연결되어 있다.
• $\Omega E_8(4)$의 표면는 단순 실린더를 갖지 않으며, 일반적인 전이 표면에서는 흔하지 않은 특성이다.
• $\tilde{\mathcal{P}}_D$의 프로토타입 집합은 $D = 12$와 $D = 16$일 때 비어 있지 않으며, 각각 세 개의 성분을 가지며, $D$가 짝수이면서 $D \not\equiv 1 \pmod{8}$일 경우 두 개의 성분을 가진다.
• $\tilde{\mathcal{P}}_D$의 성분 구조는 $e \mod 8$의 합동류에 의해 지배되며, 나비 이동 하에서 기하학적 성질과 모듈러 제약 조건에 의해 서로 다른 성분이 발생한다.