[논문 리뷰] Every curve is a Teichm ¨ uller curve

Jordan S. Ellenberg, D. B. McReynolds|arXiv (Cornell University)|2009. 09. 10.

Geometric and Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 유리수 위에서 정의된 모든 대수적 곡선이 복소수 위에서 테이히뮐러 곡선과 비라션탈 동치임을 증명하며, 대수기하학과 테이히뮐러 역학 사이의 깊은 연결 고리를 확립한다. 이 결과는 이러한 곡선들이 Veech 군 대칭을 갖는 평탄한 표면의 매개변수 공간으로서 나타남을 보여주며, 이는 이전에 테이히뮐러 곡선이 산술 모델을 갖는다는 결과의 역을 완성한다.

ABSTRACT

AbstractWe prove that every algebraic curve X/Q is birational over C to a Teichmu¨ller curve. keywords: algebraic curve, mapping class group, Teichmuller curve, Veech group¨ .MSC code: 32G15, 37D40. 1 Introduction Write M g,[n] for the moduli space of genus g Riemann surfaces with n (unordered) punctures. A Teichmuller¨curve is a holomorphic curve f : V →M g,[n] such that f generically one-to-one and is a local isometry ofKobayashi metrics. These special immersed curves in M g,[n] have garnered interest for some time (especiallyin the unpunctured case n =0) and are central objects in both Teichmu¨ller and Grothendieck–Teichmu¨llertheory. Additionally, these curves and the Riemann surfaces they parameterize have ties to the dynamicsof polygonal billiards (see for instance [12], [15], [17], and [21]). McMullen proved [18] that every Te-ichmu¨ller curve has a model as an algebraic curve over Q (see also [15] and [21]). The main purpose of thisarticle is to prove the converse.Theorem 1.1. If X/Q is an algebraic curve, then there exists a Teichmuller curve V birational to X¨

연구 동기 및 목표

• 유리수 위에서 정의된 모든 대수적 곡선이 비라션탈 동치에 대해 테이히뮐러 곡선으로 실현될 수 있음을 확립하는 것.
• McMullen의 정리의 역을 해결하는 것 — 이 정리는 테이히뮐러 곡선이 유리수 위에서 정의됨을 보여주었다.
• 대수적 곡선, 테이히뮐러 이론, 평탄한 표면의 역학 간의 상호작용을 깊이 이해하는 것.
• 리만 표면의 모듈리 공간이 모든 대수적 곡선을 테이히뮐러 곡선의 비라션탈 이미지로서 포함하고 있음을 보여주는 것.

제안 방법

• 테이히뮐러 곡선과 그에 관련된 Veech 군 이론을 활용하여 대수적 곡선의 기하적 실현을 구축하는 것.
• 리만 표면의 모듈리 공간에서의 매핑 클래스 군 작용과 테이히뮐러 이론의 결과를 적용하는 것.
• 곡선 X에서 모듈리 공간 M_{g,[n]}으로의 헬름홀로픽이고 일반적으로 단사적인 사상인 지도를 구성하는 것 — 이는 코바야시 계량에 대해 국소 등장사상이 된다.
• 테이히뮐러 곡선이 코바야시 계량에 대해 국소 등장사상이므로 기하학적 강성 보장하는 사실을 활용하는 것.
• Veech 군의 산술성과 산술 모델의 존재를 이용하여 곡선이 유리수 위에서 정의됨을 보장하는 것.
• 기하학적 및 역학적 구성 방법을 통해 주어진 곡선 X/Q와 테이히뮐러 곡선 사이의 비라션탈 동치를 확립하는 것.

실험 결과

연구 질문

• RQ1 유리수 위에서 정의된 모든 대수적 곡선이 비라션탈 동치에 대해 테이히뮐러 곡선으로 실현될 수 있는가?
• RQ2 매핑 클래스 군과 임의의 대수적 곡선로부터 테이히뮐러 곡선을 구성하는 방법 사이의 관계는 무엇인가?
• RQ3 Veech 군과 평탄한 표면의 구조는 대수적 곡선의 산술적 성질과 어떻게 관련되는가?
• RQ4 테이히뮐러 곡선이 유리수 위의 모든 가능한 대수적 곡선을 얼마나 광범위하게 매개변수화하는가?
• RQ5 M_{g,[n]}에 속한 곡선이 코바야시 계량에 대해 국소 등장사상인 테이히뮐러 곡선이 되기 위한 조건은 무엇인가?

주요 결과

• 유리수 위에서 정의된 모든 대수적 곡선 X는 복소수 위에서 테이히뮐러 곡선과 비라션탈 동치임을 확인하여, 이전의 테이히뮐러 곡선의 산술성에 대한 결과의 역을 확인한다.
• 구성 과정을 통해 테이히뮐러 곡선이 모듈리 공간 M_{g,[n]}으로의 헬름홀로픽이고 일반적으로 단사적인 사상이며, 코바야시 계량에 대해 국소 등장사상 성질을 갖는다.
• 결과로 얻어진 테이히뮐러 곡선의 Veech 군은 매핑 클래스 군과 공명함을 보이며, 깊이 있는 산술적 및 기하학적 구조를 반영한다.
• 테이히뮐러 곡선은 테이히뮐러 공간을 Veech 군으로 약분하여 얻어지며, 평탄한 표면의 구조를 통해 곡선이 모듈리 공간에 임베딩된다.
• 결과적으로, 유리수 위의 대수적 곡선과 모듈리 공간 내 테이히뮐러 곡선 사이에 비라션탈 동치에 대해 완전한 대응 관계가 수립된다.
• 증명은 산술적 테이히뮐러 곡선의 존재성과 그들이 모듈리 공간에 조밀하게 임베딩되어 있음을 이용하여, 필요한 비라션탈 사상의 구성에 기반한다.