[論文レビュー] Modular compactifications of M_{1,n}

David Ishii Smyth|ArXiv.org|Aug 1, 2008

Algebraic Geometry and Number Theory参考文献 11被引用数 9

ひとこと要約

本稿では、$m$-安定曲線（Gorensteinで、種数1の特異点（楕円的$m$重点）をもち、楕円的テイルを除外するグローバル安定性条件を満たすもの）を定義することにより、種数1の$n$点付き曲線のモジュライ空間$\mathcal{M}_{1,n}$の新しい族のモジュラーコンパクト化$\overline{\mathcal{M}}_{1,\mathcal{A}}(m)$を導入する。著者らは、これらのモジュライ問題が、固有で既約なデリーニュ＝ムーディー スタックによって表されることを証明し、局所的特異点とグローバル安定性の間の体系的でバランスの取れたトレードオフによって、デリーニュ＝ムーディーおよびシューベルトの擬安定コンパクト化を一般化する。

ABSTRACT

We introduce a sequence of isolated curve singularities, the elliptic m-fold points, and an associated sequence of stability conditions, generalizing the usual definition of Deligne-Mumford stability. For every pair of integers 0

研究の動機と目的

• モジュライ空間$\mathcal{M}_{1,n}$の新しい族のコンパクト化を、新しい種類の特異点を許容することで、デリーニュ＝ムーディー安定性を一般化すること。
• Gorensteinで、種数1で、$m$本の分岐を持つ特異点（楕円的$m$重点）を同定・分類し、このようなコンパクト化の自然な局所的条件として特定すること。
• 楕円的テイルを除外するグローバル安定性条件を定義し、cuspに類似した特異点の含みをバランスさせる。
• $m$-安定な$n$点付き種数1曲線のモジュライ問題が、固有で既約なデリーニュ＝ムーディー スタック$\overline{\mathcal{M}}_{1,n}(m)$によって表されることを証明すること。
• 重み付き安定性条件への拡張を実行し、同様の性質を持つスタック$\overline{\mathcal{M}}_{1,\mathcal{A}}(m)$を導出し、将来の$\overline{M}_{1,n}$の対数最小モデルプログラムへの応用を想定すること。

提案手法

• 楕円的$m$重点を、$m$本の分岐と算術的種数1を持つ、Gorensteinで、非特異で、孤立した曲線特異点として定義する。
• 変形理論と安定化還元を用いて、滑らかで種数1の曲線の1パrameter族がこうした特異点に退化する極限を分析する。
• 局所的条件（楕円的$m$重点のみを許容）とグローバル条件（双対化線分束の正則切断の空間が0であること、および双対化線分束のアンプリチュード）により、$m$-安定性を定義する。
• 局所的環の明示的計算とGorenstein条件を用いて、値の基準による固有性を用い、$m$-安定極限の存在と一意性を証明する。
• 安定曲線の代数的幾何と変形理論を用いて、$\overline{\mathcal{M}}_{1,n}(m)$としてのモジュライスタックを、固有で既約なデリーニュ＝ムーディー スタックとして構成する。
• マークされた点に重み$\mathcal{A}$を割り当てることで、重み付き安定性への拡張を実行し、同様の性質を持つ$\overline{\mathcal{M}}_{1,\mathcal{A}}(m)$としてコンパクト化を定義する。

実験結果

リサーチクエスチョン

• RQ1 ノードやカスプを超える新しい孤立特異点を許容することで、$\mathcal{M}_{1,n}$の固有なモジュラーコンパクト化を構成できるか？
• RQ2 このような特異点を許容する$n$点付き種数1曲線のモジュライ空間が分離的であるために必要な特異点の条件は何か？
• RQ3 種数1の特異点（楕円的$m$重点）の含みが、グローバル安定性条件とどのように作用し、楕円的テイルへの退化を防ぐのか？
• RQ4 $m$-安定な$n$点付き種数1曲線のモジュライ問題は、固有なデリーニュ＝ムーディー スタックによって表されるか？
• RQ5 重み付き安定性条件をこのようなコンパクト化に組み込むことは可能か？そして、それらは適切に振る舞うモジュライスタックをもたらすか？

主な発見

• すべての整数の組$1 \leq m < n$に対して、算術的種数1の$n$点付き$m$-安定曲線のモジュライ問題は、固有で既約なデリーニュ＝ムーディー スタック$\overline{\mathcal{M}}_{1,n}(m)$によって表される。
• $m$本の分岐と種数1を持つ、一意に存在するGorensteinで、非特異で、孤立した曲線特異点としての楕円的$m$重点が存在し、これは$m$-安定性の局所的モデルをなす。
• $m$-安定性のグローバル安定性条件は、$H^0(C, \Omega_C^\vee) = 0$および$\omega_C$がアンプリチュードであることである。これにより、楕円的テイルの存在が排除される。
• この構成は、固有性の値の基準を満たしており、1パrameter族における$m$-安定極限の存在と一意性が証明される。
• 重み付きコンパクト化$\overline{\mathcal{M}}_{1,\mathcal{A}}(m)$は同様に構成され、同じ表現可能性および固有性の性質を有する。
• これらの結果は、今後の研究において$\overline{M}_{1,n}$の対数最小モデルプログラムの完全な記述の基盤を提供し、これらのスタックを主要な構成要素として用いる。