[논문 리뷰] Shimura- and Teichmueller curves

Martin Moeller|arXiv (Cornell University)|2005. 01. 20.

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

한 줄 요약

이 논문은 모듈리 공간 $M_g$ 내의 테이히뮐러 곡선이자 셰이머 곡선이기도 한 곡선을 분류하며, 이러한 ST-곡선이 존재하는 것은 $g=3$ 및 $g=4$의 경우에만이며, 각각 정확히 하나씩 존재하며 $g=2$ 또는 $g\geq6$에서는 존재하지 않음을 보여준다. 분류는 변형 호지 구조의 호지 이론적 분석, 정사각형 타일링 커버링의 평탄한 기하학, 그리고 리아풀로프 스펙트럼의 분해성에 기반하며, 궁극적으로 ST-곡선을 완전히 분해된 리아풀로프 스펙트럼을 가진 곡선과 연결한다.

ABSTRACT

We classify curves in the moduli space of curves that are both Shimura- and Teichmueller curves: Except for the moduli space of genus one curves there is only a single such curve. We start with a Hodge-theoretic description of Shimura curves and of Teichmueller curves that reveals similarities and differences of the two classes of curves. The proof of the classification relies on the geometry of square-tiled coverings and on estimating the numerical invariants of these particular fibered surfaces. Finally we translate our main result into a classification of Teichmueller curves with totally degenerate Lyapunov spectrum.

연구 동기 및 목표

• 알제브라적 곡선을 $M_g$에서 분류하여, 동시에 테이히뮐러 곡선이자 셰이머 곡선인 ST-곡선을 찾는 것.
• 테이히뮐러 곡선이자 셰이머 곡선인 동시에 성립할 경우 기하학적 및 호지 이론적 제약 조건을 이해하는 것.
• 그들의 호지 구조와 단일화군을 통해 리아풀로프 스펙트럼이 완전히 분해된 테이히뮐러 곡선을 특성화하는 것.
• 조합적 및 기하학적 제약 조건을 바탕으로 $g=5$에서 ST-곡선의 존재 여부를 해결하고, 존재하지 않음을 추측하는 것.
• 리아풀로프 지수의 분해성과 기저 가닥의 대수적 및 산술적 구조 사이의 연결 고리 설정.

제안 방법

• 변형 호지 구조(VHS) 내에서 최대 히그 부분 국소계열과 단위군 보완을 통한 테이히뮐러 곡선 및 셰이머 곡선의 호지 이론적 특성화를 사용한다.
• SL_2(\mathbb{Z})와 동치인 아핀 군을 가진 정사각형 타일링 커버링에서 유래한 테이히뮐러 곡선의 분류를 적용한다.
• 섬유화된 표면 내 특이 섬유와 분해 유형을 분석하여 수치적 불변량을 통해 가능한 ST-곡선를 제약 조건에 둔다.
• 테이히뮐러 기하학적 흐름의 리아풀로프 스펙트럼을 사용하여, ST-곡선를 모두 분해된 스펙트럼(최상위 및 최하위 지수를 제외한 모든 지수 0)을 가진 곡선으로 특성화한다.
• 기하학적 흐름의 에르고딕성과 리아풀로프 지수의 영성 조건을 활용하여, 최대 히그 부분 국소계열의 수직 보완부분의 단위군성을 유도한다.
• Forni(2002, 2006) 및 Avila-Viana(2007)의 리아풀로프 지수와 호지 노름에 관한 결과를 적용하여 스펙트럼의 분해성과 아벨 다양체 가닥 내 고정 부분 간의 연결 고리 설정.

실험 결과

연구 질문

• RQ1 어느 종수 $g$에서 $M_g$ 내에 동시에 테이히뮐러 곡선이자 셰이머 곡선인 대수적 곡선이 존재하는가?
• RQ2 그러한 곡선이 존재할 경우, 그 정확한 기하학적 및 호지 이론적 구조는 어떠한가?
• RQ3 리아풀로프 스펙트럼의 분해성은 곡선 가닥의 산술적 성질과 단일화군 성질과 어떻게 관련되는가?
• RQ4 $g=5$에서 조합적 및 기하학적 제약 조건을 바탕으로 ST-곡선의 존재 여부를 배제할 수 있는가?
• RQ5 변형 호지 구조(VHS)의 성질이 가닥이 고정 부분을 가진 쪽으로 분해되도록 강제하는 정도는 어느 정도인가?

주요 결과

• $g=2$ 및 $g\geq6$에서는 $M_g$ 내에 ST-곡선이 존재하지 않는다.
• $g=3$에서는 정확히 하나의 ST-곡선이 존재하며, 이는 $\mathbb{P}^1\setminus\{0,1,\infty\}$ 위에서의 보편 가닥 $y^4 = x(x-1)(x-t)$로 실현된다.
• $g=4$에서는 정확히 하나의 ST-곡선이 존재하며, 이는 $\mathbb{P}^1\setminus\{0,1,\infty\}$ 위에서의 보편 가닥 $y^6 = x(x-1)(x-t)$로 실현된다.
• $g=3$ 곡선의 리아풀로프 스펙트럼은 $\{\pm1, 0, 0\}$이며, $g=4$ 곡선의 스펙트럼은 $\{\pm1, 0, 0, 0\}$이며, 이는 완전한 분해성을 나타낸다.
• ST-곡선는 정확히 리아풀로프 스펙트럼이 완전히 분해된 테이히뮐러 곡선이며, 최상위 및 최하위 지수를 제외한 모든 지수의 영성으로 증명된다.
• 유한 기저 변화 후 임의의 아벨 다양체 가닥 내에서 차원 $g-1$의 고정 부분이 존재하는 것은 ST-곡선를 특성화하며, 이는 그들의 셰이머 성격을 확인한다.