[논문 리뷰] Hodge-Teichmueller planes and finiteness results for Teichmueller curves

Carlos Matheus, Alex Wright|arXiv (Cornell University)|2013. 08. 04.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 5

한 줄 요약

이 논문은 소수 차수 3 이상의 최소 스트라툼에서 대수적으로 원시적인 테이히면 커브가 유한함을 증명한다. 이는 첫 번째 코homology에서 Hodge-테이히면 평면이라 불리는 특수한 부분공간을 도입함으로써 달성된다. 이 평면들은 SL(2,ℝ)-작용 하에서 Hodge 분해를 보존하는 특성과 함께, 기존의 기하학적 제약을 초월하는 새로운 도구가 된다. 주요 결과는 이러한 커브가 3 이상의 차수에서 어떤 스트라툼 내에도 조밀하지 않으며, 그 폐포가 희귀한 기하적 성질을 지닌 애파인 불변 부분다양체들의 유한합임을 보여준다.

ABSTRACT

We prove that there are only finitely many algebraically primitive Teichmueller curves in the minimal stratum in each prime genus at least 3. The proof is based on the study of certain special planes in the first cohomology of a translation surface which we call Hodge-Teichmueller planes. We also show that algebraically primitive Teichmueller curves are not dense in any connected component of any stratum in genus at least 3; the closure of the union of all such curves (in a fixed stratum) is equal to a finite union of affine invariant submanifolds with unlikely properties. Results of this type hold even without the assumption of algebraic primitivity. Combined with work of Nguyen and the second author, a corollary of our results is that there are at most finitely many non-arithmetic Teichmueller curves in H(4)^hyp.

연구 동기 및 목표

• 소수 차수 3 이상의 최소 스트라툼에서 대수적으로 원시적인 테이히면 커브의 유한성을 증명하는 것.
• 이송 표면의 스트라툼 내에서 대수적으로 원시적인 테이히면 커브의 분포 및 조밀성에 대한 연구.
• 테이히면 커브의 기하학을 제약하기 위한 도구로 Hodge-테이히면 평면 이론을 개발하고 적용하는 것.
• 고정된 스트라툼 내에서 모든 대수적으로 원시적인 테이히면 커브의 폐포가 예외적인 성질을 지닌 애파인 불변 부분다양체들의 유한합임을 보이는 것.
• 대수적 원시성의 범위를 초월하여, 3 이상의 차수에서 일반 스트라툼에 대해 유한성과 비조밀성을 확립하는 것.

제안 방법

• 이송 표면의 첫 번째 실계수 코homology에서 Hodge-테이히면 평면을 도입한다. 이는 SL(2,ℝ)-작용 하에서 Hodge 유형 (1,0)과 (0,1)을 보존하는 2차원 부분공간이다.
• 어떤 애파인 불변 부분다양체가 추적 필드 차수 ≥k인 테이히면 커브의 조밀한 집합을 포함한다면, 반드시 k개의 서로 수직인 Hodge-테이히면 평면을 가진 표면를 포함함을 증명한다.
• 델 라이니-무드포드 컴팩티피케이션에서 이송 표면가 안정 미분형식으로 수렴하는 것을 이용해, Hodge-테이히면 평면의 극한 행동을 분석한다.
• 공선적 이동과 코homology 상의 제약 사상(제약 맵)을 적용하여, 노드를 가진 표면로의 열화 동안 Hodge-테이히면 평면의 극한을 추적한다.
• 모를의 대수기하학적 특성화 기법(고유형식과 실 곱셈을 통한 테이히면 커브의 특성화)을 활용하여, 문제를 대수적 조건으로 재구성한다.
• Hodge-테이히면 평면 이론을 뉴이지와 라이트의 결과들과 결합하여, H(4)hyp 스트라툼 내에서 비산술적 테이히면 커브의 유한성을 도출한다.

실험 결과

연구 질문

• RQ1 소수 차수 g ≥ 3의 최소 스트라툼에서 대수적으로 원시적인 테이히면 커브는 유한한가?
• RQ2 3 이상의 차수에서 어떤 연결 성분의 스트라툼 내에서 대수적으로 원시적인 테이히면 커브의 집합이 조밀한가?
• RQ3 소수 차수 g ≥ 3에서 프로젝티브 최소 스트라툼 내의 고유형식의 위치는 가чёт한 집합과 유한 개의 대수적 곡선의 합으로 기술될 수 있는가?
• RQ4 고도가 높은 추적 필드를 가진 테이히면 커브를 다수 포함하는 애파인 불변 부분다양체는 반드시 많은 수직 Hodge-테이히면 평면을 가진 표면를 포함하는가?
• RQ5 어느 스트라툼의 3 이상의 차수에서 g개의 서로 수직인 Hodge-테이히면 평면을 갖지 않는 열린 표면의 집합을 명시적으로 구성할 수 있는가?

주요 결과

• 모든 소수 차수 g ≥ 3의 최소 스트라툼에서 대수적으로 원시적인 테이히면 커브는 유한하다.
• 3 이상의 차수에서 어떤 연결 성분의 스트라툼 내에서도 대수적으로 원시적인 테이히면 커브는 조밀하지 않다.
• 고정된 스트라툼 내에서 모든 대수적으로 원시적인 테이히면 커브의 합집합의 폐포는 예외적인 기하적 성질을 지닌 애파인 불변 부분다양체들의 유한합이다.
• 소수 차수 g ≥ 3에서 프로젝티브 최소 스트라툼 내의 고유형식의 위치는 가чёт한 집합과 최대 유한 개의 대수적 곡선의 합으로 구성된다.
• 주요 정리들과 뉴이지, 라이트의 이전 연구를 종합하면, H(4)hyp 스트라툼 내에서 비산술적 테이히면 커브는 유한 개 이하이다.
• 대수적으로 원시적인 테이히면 커브의 조밀한 집합을 포함하는 애파인 불변 부분다양체에 속하는 모든 이송 표면는 차수 g에서 g개의 서로 수직인 Hodge-테이히면 평면을 가져야 한다.