[論文レビュー] Stability of genus five canonical curves

Maksym Fedorchuk, David Ishii Smyth|arXiv (Cornell University)|Feb 20, 2013

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

ひとこと要約

本稿は、$\overline{M}_5$ の log minimal model program の最終段階を占める、$\overline{M}^G := \mathbb{G}(3,15)^{ss}//SL(5)$ が、$\mathbb{P}^4$ 内の半安定な二次曲面の三つ組をパラメトライズすることを確立する。この三つ組を用いて、種数5の canonical 曲線の GIT 穩定性を、その特異点に基づいて分類し、自然な有理写像 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ が $\Delta_1$、$\Delta_2$、および三角曲線 divisor を特定の局所に収縮することを示し、$\overline{M}^G$ が $\overline{M}_5$ の canonical な有理的モデルであることを確認する。主たる貢献は、半安定な三つ組およびそれに関連する曲線の特異点の完全な特徴付けであり、写像 $f$ は $\Delta_1$、$\Delta_2$、および三角曲線 divisor を $\overline{M}^G$ 内の特定の局所に収縮する。写像は有理的収縮であることが示され、テスト族と除集合類理論を用いて、ハイパープランの引き戻しを計算する。

ABSTRACT

We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.

研究の動機と目的

• $\mathbb{P}^4$ 内の二次曲面の三つ組の GIT 穏定性条件を、種数5の canonical 曲線を定義するものとして特定すること。
• 半安定な三つ組から生じる曲線の特異点を、その幾何学的およびモジュライ理論的性質と関連して特徴付けること。
• 有理写像 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ が、重要な除集合の収縮を分析することにより、$\overline{M}_5$ の log minimal model program の最終段階であることを確立すること。
• テスト族と除集合類理論を用いて、$\overline{M}^G$ 上のハイパープランバンドルの引き戻しを計算し、写像の有理的収縮構造を確認すること。

提案手法

• 著者たちは、$SL(5)$ が $\mathbb{G}(3,15)$ に作用する際の、$\mathbb{P}^4$ 内の二次曲面の三つ組の詳細な GIT 穏定性分析を実施し、関連する曲線を介して半安定な三つ組を分類する。
• 三つ組に付随する判別的五次曲線を定義・分析し、$SL(3)$ 穏定性が三つ組の $SL(5)$ 穏定性を決定しないことを示し、新たな手法の必要性を示す。
• 楕円尾、非ワイエルシュトラス点における種数2尾、および三角曲線に対応するテスト族 $T_1$、$T_2$、$T_3$ を $\overline{\mathcal{M}}_5$ 内に構成し、$\overline{M}^G$ 上のハイパープランバンドルの引き戻しを計算する。
• theta 特性除集合およびブリル・ノイマン理論を用いて、$f^*\mathcal{O}(1)$ が $33\lambda - 4\delta_0 - 15\delta_1 - 21\delta_2$ に比例することを確認し、写像の有理的収縮行動を裏付ける。
• 1パrameter部分群による軌道の閉包を分析し、特定のイデアル（例：$I_T$）が半安定領域の閉包に属することを示し、重要な退化の像を確立する。
• 写像 $f$ が $\Delta_1$、$\Delta_2$、および三角曲線 divisor $\operatorname{Trig}_5$ を収縮し、それらを $\overline{M}^G$ 内の特定の局所（$A_2$-局所および $A_5^{\{1\}}$-局所）に写すことの証明を行う。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^4$ 内の種数5の canonical 曲線を定義する二次曲面の三つ組の完全な GIT 穏定性条件は何か？
• RQ2 $\overline{M}^G$ 内の曲線の特異点は、$\overline{M}_5$ 内の対応する曲線のモジュライ理論的性質とどのように関係するか？
• RQ3 有理写像 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ は、$\overline{M}_5$ の log minimal model program の最終段階か？
• RQ4 $f$ による $\overline{M}^G$ 上のハイパープランバンドルの引き戻しは何か？ そして、これにより写像の有理的収縮構造がどのように確認されるか？
• RQ5 $\overline{M}_5$ 内のどの除集合の局所が $f$ によって収縮され、それらは $\overline{M}^G$ 内のどの局所に写されるか？

主な発見

• 二次曲面の三つ組が半安定であるための必要十分条件は、局所的に平面的である種数5の曲線を定義し、特定の特異点条件（例：$A_1$ および $A_5$ 特異点を持つ楕円的四次曲線の和、または特異点上での超楕円的自己同型が点を交換する $D_5$ 特異点）を含まないことである。
• 写像 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ は、$\overline{M}^G$ 内の $A_2$-局所に $\Delta_1$ を収縮し、$A_5^{\{1\}}$-局所に $\Delta_2$ を収縮する有理的収縮である。
• 三角曲線 divisor $\operatorname{Trig}_5$ は、$(ad-bc, ae+bd-c^2, be-cd)$ によって定義されるイデアルに対応する単一の点に収縮され、これは二本の直線を持つ半安定な三重二次曲線を表す。
• $\overline{M}^G$ 上のハイパープランバンドルの引き戻しは $f^*\mathcal{O}(1) \sim 33\lambda - 4\delta_0 - 15\delta_1 - 21\delta_2$ として計算され、写像の有理的収縮を確認し、$\overline{M}_5$ の Néron-Severi 群内に明確な類を与える。
• ハイパープランバンドルの引き戻し $f^{-1}\mathcal{D}$（ここで $\mathcal{D}$ はランク3の二次曲面を含む三つ組の除集合）は、theta-null が消える種数5の曲線の除集合として特定され、その類は $4(33\lambda - 4\delta_0 - 15\delta_1 - 21\delta_2)$ に比例する。
• 写像 $f$ が $\overline{M}_5$ の log minimal model program の最終段階であることが示され、canonical な除集合 $K_{\overline{\mathcal{M}}_5} + \frac{14}{33}\delta$ が半正であり、$f$ に対応しており、さらなるフリップや除集合的収縮は不可能である。