[論文レビュー] Shimura- and Teichmueller curves

Martin Moeller|arXiv (Cornell University)|Jan 20, 2005

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

この論文は、モジュライ空間 $M_g$ 内のテイヒミュラー曲線であり、同時にシムーラ曲線であるもの（ST曲線）を分類し、このようなST曲線が存在するのは $g=3$ および $g=4$ のみであり、それぞれ1つずつであり、$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）における最大のヒッグス部分局所系とユニタリ補空間を用いた、テイヒミュラー曲線およびシムーラ曲線のホッジ論的特徴づけを用いる。
• $\mathrm{SL}_2(\mathbb{Z})$ とアフィン群が共役である正方形タイルの被覆から生じるテイヒミュラー曲線の分類を適用する。
• ファイバー付き表面における特異ファイバーと退化型を分析し、数値的不変量を用いて可能なST曲線を制約する。
• テイヒミュラー測地線フローのリャプノフスペクトルを用いて、ST曲線を「全退化スペクトル」（上位および下位の指数を除きすべて0）であるものとして特徴づける。
• 測地線フローのエルゴード性とリャプノフ指数の消滅を用いて、最大ヒッグス部分局所系の直交補空間がユニタリであることを導く。
• フォルニ（2002, 2006）およびアヴィラ＝ヴィアナ（2007）のリャプノフ指数およびホッジノルムに関する結果を応用し、スペクトルの退化を、アーベル多様体族における固定部分に結びつける。

実験結果

リサーチクエスチョン

• RQ1 どの genus $g$ に対して、$M_g$ 内にテイヒミュラー曲線かつシムーラ曲線である代数的曲線が存在するか？
• RQ2 そうした曲線が存在する場合、その正確な幾何学的およびホッジ論的構造は何か？
• RQ3 リャプノフスペクトルの退化は、曲線族の算術的性質およびモノドロミー的性質とどのように関係するか？
• RQ4 組合的および幾何学的制約に基づき、$g=5$ におけるST曲線の存在が除外できるか？
• RQ5 変動ホッジ構造（VHS）の性質が、家族が固定部分を持つように分解することを強制する程度はどの程度か？

主な発見

• $g=2$ および $g\geq6$ では、$M_g$ 内にST曲線は存在しない。
• $g=3$ では、ちょうど1つのST曲線が存在し、それは $\mathbb{P}^1\setminus\{0,1,\infty\}$ 上の普遍族 $y^4 = x(x-1)(x-t)$ として実現される。
• $g=4$ では、ちょうど1つの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曲線は、全退化リャプノフスペクトルを持つテイヒミュラー曲線にちょうど一致する。これは、上位および下位の指数を除きすべての指数が0であることで示される。
• 有限の基本変換の後、Jacobians族に次元 $g-1$ の固定部分が存在することは、ST曲線を特徴づけ、それらのシムーラ性を確認する。