[論文レビュー] Strata of abelian differentials and the Teichmueller dynamics

Dawei Chen|arXiv (Cornell University)|Nov 24, 2012

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

本稿は、曲線のモジュライ空間における交線論を用いて、アーベル微分の層とそのテイヒミュラー力学を研究する代数的枠組みを確立する。この研究では、ポルトゥアスの公式を用いて、$\overline{\mathcal{H}}(2,1^{2g-4})$ のサイクル類を計算し、テイヒミュラー曲線のリャプノフ指数を用いて低 genus における点付きブライル・ノイザー除援の極値性を証明するとともに、コンパクト化されたホッジバンドル上の除援類の計算における解析的手法（例：タウ関数）の代わりに代数的手法を提供する。

ABSTRACT

This paper focuses on the interplay between the intersection theory and the Teichmueller dynamics on the moduli space of curves. As applications, we study the cycle class of strata of the Hodge bundle, present an algebraic method to calculate the class of the divisor parameterizing abelian differentials with a non-simple zero, and verify a number of extremal effective divisors on the moduli space of pointed curves in low genus.

研究の動機と目的

• 曲線のモジュライ空間におけるアーベル微分の層のサイクル類を計算する代数的アプローチを開発すること。
• テイヒミュラー力学とリャプノフ指数を用いて、低 genus における点付きブライル・ノイザー除援の極値性を検証すること。
• コンパクト化されたホッジバンドル上の除援類の計算における、解析的手法（例：タウ関数）の代わりに代数的代替法を提供すること。
• 除援 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ の位置を解析することにより、射影的ホッジバンドル $\mathbb{P}\overline{\mathcal{H}}$ の有効的コーンの境界にあるかどうかを理解し、その双正則幾何を解明すること。
• 動的不変量（リャプノフ指数）と有効除援理論を結びつけることで、テイヒミュラー力学と代数幾何学の橋渡しをすること。

提案手法

• 曲線のモジュライ空間 $\mathcal{M}_{g,n}$ のチャウ環における層 $\mathbb{P}\mathcal{H}(\mu)$ のサイクル類を、ポルトゥアスの公式を用いて計算する。
• $\mathcal{H}(\mu)$ から $\overline{\mathcal{M}}_{g,n}$ へのテイヒミュラー曲線を上げ、それらの除援類との交点数を計算する。
• 公式 $\frac{C \cdot BN^{1}_{g,\underline{a}}}{C \cdot \lambda} = -1 + \sum_{i=1}^{n} \frac{a_i}{2L}$ を適用し、リャプノフ指数 $L$ を交点数に関連付ける。
• 交点数の比を制御するための傾きの上限 $s(C) \leq 8 + \frac{4}{g}$ を用い、一様な境界を得る。
• 係数 $s_i$ が小さい十分に大きな除援 $D_{\underline{s}}$ を構成し、交点数の比較により極値性を確立する。
• 既知のストラト $\mathcal{H}(\mu)$ におけるリャプノフ指数の和 $L_{(\mu)}$ の値を活用し、$L > 2 + \epsilon$ を満たすテイヒミュラー曲線の存在を示唆する。

実験結果

リサーチクエスチョン

• RQ1 チャウ環 $\overline{\mathcal{M}}_{g,2g-2}$ における層 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ のサイクル類は何か？
• RQ2 テイヒミュラー力学と交線論を用いて、$\overline{\mathcal{M}}_{g,n}$ 上の点付きブライル・ノイザー除援の極値性を確立できるか？
• RQ3 テイヒミュラー曲線に沿ったリャプノフ指数の和の極限は、有効除援の極値性とどのように関係するか？
• RQ4 $\mathbb{P}\overline{\mathcal{H}}$ の有効的コーンの境界にあるか？
• RQ5 代数的手法は、ホッジバンドルにおける除援類の計算に、解析的手法（例：タウ関数）の代わりに用いることができるか？

主な発見

• ポルトゥアスの公式を用いた代数的計算により、$\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ のサイクル類が新たに得られ、解析的手法とは独立した手法が提供された。
• 除援 $\mathbb{P}\overline{\mathcal{H}}(2,1^{2g-4})$ は、$\mathbb{P}\overline{\mathcal{H}}$ の有効的コーンの境界上に位置しており、幾何学的意義が確認された。
• $2 \leq g \leq 4$ の範囲で、ウェイエルシュトラウス除援 $W = BN^{1}_{g,(g)}$ は $\overline{\mathcal{M}}_{g,1}$ で極値であり、$g=2$ では $L > 1$、$g=3$ では $L > 1.5$、$g=4$ では $L > 2$ が成り立つ。
• $\overline{\mathcal{M}}_{g,n}$ 上の点付きブライル・ノイザー除援 $BN^{1}_{2,(1,1)}$、$BN^{1}_{3,(2,1)}$、$BN^{1}_{4,(3,1)}$、$BN^{1}_{4,(2,2)}$、$BN^{1}_{3,(1^3)}$、$BN^{1}_{4,(2,1,1)}$、$BN^{1}_{4,(1^4)}$、$BN^{1}_{5,(1^5)}$ は、それぞれのモジュライ空間で極値である。
• ストラト $\mathcal{H}(\mu)$ におけるリャプノフ指数の和 $L_{(\mu)}$ を用いることで、$L > 2 + \epsilon$ を満たすテイヒミュラー曲線の存在を示唆し、交点数の境界を用いた極値性の証明が可能になった。
• 係数 $s_i$ が小さい十分に大きな除援 $D_{\underline{s}}$ を選ぶことで、曲線 $C$ に依存しない一様な境界 $\frac{C \cdot BN^{1}_{g,\underline{a}}}{C \cdot D_{\underline{s}}} \leq -d$（$d > 0$）が得られた。