[논문 리뷰] Deligne-Mumford compactification of the real multiplication locus and Teichmueller curves in genus three

Matt Bainbridge, Martin Moeller|ArXiv.org|2009. 11. 24.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 4

한 줄 요약

이 논문은 종수 3 곡선의 모듈리 공간의 델리-무르포르 콪actification에서 실 곱법의 국경과 고유형식 국경의 완전한 분류를 제시한다. 대수기하학과 수론을 이용하여, 전체 실 cubic 체에서 잔여 조건과 볼록체 조건을 통해 국경에서의 안정 곡선과 안정 1-형식을 특성화함으로써, 테이히뮐러 곡선에 대한 유한성 결과와 GL₂⁺(ℝ) 작용에 대한 고유형식 국경의 불변성 부재를 도출한다.

ABSTRACT

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus of eigenforms over RM_O in the Deligne-Mumford compactification of the moduli space of holomorphic one-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of RM_O Boundary strata of RM_O are parameterized by configurations of elements of the field F satisfying a strong geometry of numbers type restriction. We apply this computation to give evidence for the conjecture that there are only finitely many algebraically primitive Teichmueller curves in M_3. In particular, we prove that there are only finitely many algebraically primitive Teichmueller curves generated by a one-form having two zeros of order 3 and 1. We also present the results of a computer search for algebraically primitive Teichmueller curves generated by a one-form having a single zero.

연구 동기 및 목표

• 종수 3 곡선의 모듈리 공간의 델리-무르포르 콩팩티피케이션 M̄_3에서 실 곱법 국경 RM_O의 국경을 기술하는 것.
• 해석적 1-형식의 범주화된 국경 ΩE_O를 콩팩티피케이션된 범주 ΩM̄_3에 대해 특성화하는 것.
• 경계 분석을 통해 실 곱법을 가진 리만 곡면에 관한 질문을 구체적인 대수기하학적 및 수론적 문제로 환원하는 것.
• 종수 3에서 테이히뮐러 곡선에 대한 유한성 결과를 확립하고, 고유형식 국경이 GL₂⁺(ℝ) 작용에 대해 불변이 아님을 밝히는 것.

제안 방법

• 실 곱법을 가진 양각의 분해를 분석하기 위해 주기 행렬과 안정 1-형식 이론을 사용한다.
• 경계에서 잔여 구성에 대해 연구하기 위해 Q: F → F 정의된 이차 사상 Q(x) = N^F_Q(x)/x 를 적용한다.
• 유한 부분집합 S ⊂ F 에 대해 '반공간 조건 없음' 조건을 도입하며, 이는 F ⊗_Q R 내에서 Q(S)의 볼록체의 내부에 0 이 포함되어야 함을 요구한다.
• 경계 스트라타의 위상형태를 표현하기 위해 방향 그래프를 구성하며, 정점은 성분, 간선은 노드, 가중치는 O 내의 이상 I에 속한다.
• 전체 실 체에서의 순서에 대한 Ext 군과 같은 호모로지 대수학 기법을 사용하여 R-모듈러의 심플렉틱 확장들을 분류한다.
• 부록 A에서 주어진 이상 I에 대해 경계 스트라타를 열거하는 알고리즘을 개발하였으며, 그 결과는 그림 4에 명시되어 있다.

실험 결과

연구 질문

• RQ1 M̄_3에서 실 곱법 국경 RM_O의 경계에 있는 종수 3의 안정 곡선은 무엇인가?
• RQ2 잔여 조건과 볼록체 조건이 어떤 조건에서 안정 1-형식이 고유형식 국경 ΩE_O의 폐쇄에 속하는지를 결정하는가?
• RQ3 잔여 가중 그래프를 통해 고유형식 국경의 경계 스트라타를 위상적·대수적으로 어떻게 분류할 수 있는가?
• RQ4 종수 3에서 테이히뮐러 곡선은 고유형식 국경 내에서 어떤 유한성 성질을 보이는가?
• RQ5 고유형식 국경 ΩE_O 는 ΩM̄_3 상에서 GL₂⁺(ℝ) 작용에 대해 불변인가?

주요 결과

• 기하 종수가 0인 안정 1-형식 (X,ω)는 그 잔여 집합이 S ⊂ F 에 대해 no-half-space 조건을 만족하고, 이상 I ⊂ O 를 생성하는 ι(S)의 배수일 때에만 고유형식 국경 ΩE_O의 경계에 속한다.
• 고유형식 국경의 경계 스트라타는 이상 I ⊂ O 에 속하는 간선 가중치를 가진 방향 그래프에 의해 매개화되며, 각 스트라타는 M̄_0,n 또는 그 부분다양체의 곱으로 표현된다.
• 종수 3에서 Q(S)에 대한 no-half-space 조건은 안정 1-형식이 ΩE_O의 경계에 속하기 위해 필수적이고 충분한 조건이다.
• 논문은 ΩM̄_3(3,1) 스트라타에서 테이히뮐러 곡선의 유한성을 증명하였으며, 하이퍼에르미트릭 스트라타 ΩM̄_3(4)^hyp 에 대해서는 추측적 유한성 결과를 제시한다.
• 고유형식 국경 ΩE_O 는 GL₂⁺(ℝ) 작용에 대해 불변이 아니며, 이는 명시적인 비불변 경계 스트라타의 구성으로써 입증되었다.
• 삼노드 곡선의 경계 스트라타는 전체 실 삼차 체의 정수환에서 이상의 기저 (r₁,r₂,r₃)를 통해 완전히 분류되며, 노드의 cross-ratio 에 대한 명시적 조건이 있다.