[論文レビュー] Every curve is a Teichm ¨ uller curve

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

Geometric and Algebraic Topology参考文献 19被引用数 4

ひとこと要約

この論文は、有理数体上に定義された任意の代数曲線が、複素数体上で双有理的であるTeichmüller曲線に同型であることを証明し、代数幾何学とTeichmüller力学の間に深い接続を確立している。この結果により、すべてのこのような曲線が、Veech群の対称性を持つ平坦な曲面のパrameter空間として現れることを示しており、以前のTeichmüller曲線が算術的モデルを持つという結果の逆を完成させている。

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¨

研究の動機と目的

• Q 上に定義された任意の代数曲線が、双有理同値の意味でTeichmüller曲線として実現可能であることを確立すること。
• McMullenの定理の逆を解明すること。この定理は、Teichmüller曲線がQ 上に定義されることを示した。
• 代数曲線、Teichmüller理論、平坦曲面の力学の間の相互作用をより深く理解すること。
• リーマン曲面のモジュライ空間が、すべての代数曲線をTeichmüller曲線の双有理像として含むことの証明。

提案手法

• Teichmüller曲線とその関連するVeech群の理論を用いて、代数曲線の幾何的実現を構成すること。
• Teichmüller理論および写像類群のモジュライ空間への作用に関する結果を適用すること。
• 曲線 X からモジュライ空間 M_{g,[n]} への正則的で一般に単射な写像を構成し、Kobayashi 距離に関して局所等長写像であることを保証すること。
• Teichmüller曲線がKobayashi 距離に関して局所等長であるという事実を活用し、幾何的剛性を保証すること。
• Veech群の算術性および算術的モデルの存在を用いて、曲線がQ 上に定義されることを保証すること。
• 幾何的および力学的構成を用いて、与えられた曲線 X/Q とTeichmüller曲線との間の双有理同値関係を確立すること。

実験結果

リサーチクエスチョン

• RQ1 Q 上に定義された任意の代数曲線は、双有理同値の意味でTeichmüller曲線として実現可能か？
• RQ2 写像類群と、任意の代数曲線からTeichmüller曲線を構成する方法との関係は何か？
• RQ3 Veech群と平坦曲面構造は、代数曲線の算術的性質とどのように関係するか？
• RQ4 Teichmüller曲線は、Q 上のすべての可能な代数曲線をどの程度までパラメータ化するか？
• RQ5 M_{g,[n]} 内の曲線が、Kobayashi 距離に関して局所等長写像であるという意味でTeichmüller曲線であるための条件は何か？

主な発見

• Q 上に定義された任意の代数曲線 X は、C 上でTeichmüller曲線と双有理的であることが確認され、以前のTeichmüller曲線の算術性に関する結果の逆を裏付けた。
• 構成法により、得られたTeichmüller曲線は、Kobayashi 距離に関して局所等長写像である正則的かつ一般に単射な写像としてモジュライ空間 M_{g,[n]} に埋め込まれる。
• 得られたTeichmüller曲線のVeech群は、写像類群と可換であることが示され、深い算術的・幾何的構造を反映している。
• Teichmüller曲線は、Teichmüller空間をVeech群で割った商として得られ、平坦曲面構造を通じて曲線がモジュライ空間に埋め込まれる。
• この結果により、Q 上の代数曲線とTeichmüller曲線との間には、双有理同値の意味で完全な対応関係が確立された。
• 証明は、算術的Teichmüller曲線の存在およびそれらがモジュライ空間に稠密に埋め込まれることに依拠しており、必要な双有理写像の構成が可能になった。