[論文レビュー] Weakly proper moduli stacks of curves

Jarod Alper, David Ishii Smyth+1 more|arXiv (Cornell University)|Dec 2, 2010

Algebraic Geometry and Number Theory参考文献 4被引用数 18

ひとこと要約

この論文は、幾何的不変式理論（GIT）に依存せずに曲線のモジュライ空間のモジュラー的コンパクト化を構成するため、弱い正則性を持つ代数的スタックの概念を導入する。$A_k^-$, $A_k$, $A_k^+$ 奇性（特にノード、カスプ、タクノード、ラムフォイド・カスプ）を持つ曲線をパラメータ化するモジュライスタック $\overline{\mathcal{M}}_{g,n}(A_k^-)$, $\overline{\mathcal{M}}_{g,n}(A_k)$, $\overline{\mathcal{M}}_{g,n}(A_k^+)$ の定義と弱い正則性の証明を行い、その後続の研究で良いモジュライ空間を介した $\overline{M}_g$ の対数 canonical モデルの構成の基盤を築く。

ABSTRACT

This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an abstract characterization of those mildly non-separated moduli problems encountered in the context of Geometric Invariant Theory (GIT), and develop techniques for proving that a stack is weakly proper without the usual semistability analysis of GIT. We define a sequence of moduli stacks of curves involving nodes, cusps, tacnodes, and ramphoid cusps, and use the aforementioned techniques to show that these stacks are weakly proper. This will be the key ingredient in forthcoming work, in which we will prove that these moduli stacks have projective good moduli spaces which are log canonical models for $\bar{M}_g$.

研究の動機と目的

• 弱い正則性を持つ代数的スタックを定義し、分離性にやや欠けるが依然として正則なモジュライ空間をもつモジュライ問題の枠組みを研究すること。
• ノード、カスプ、タクノード、ラムフォイド・カスプを含む、$A_k$-奇性が徐々に重度になる曲線をパラメータ化するモジュライスタック $\overline{\mathcal{M}}_{g,n}(A_k^-)$, $\overline{\mathcal{M}}_{g,n}(A_k)$, $\overline{\mathcal{M}}_{g,n}(A_k^+)$ を構成すること。
• これらのスタックが弱い正則性を満たすことを証明し、これにより後続の研究で射影的良いモジュライ空間を構成できることを可能にすること。
• 特に第二のフリップを含む、ハッセット＝キールの対数最小モデルプログラムに対する GIT に依存しないアプローチを提供すること。
• $n > 0$ の場合の $\overline{M}_{g,n}$ に対しても、対数 canonical モデルのモジュラー的解釈を拡張すること。

提案手法

• モジュライスタックがやや非分離的ではあるが、依然として正則なモジュライ空間をもつという抽象的特徴付けとして、弱い正則性の概念を導入する。
• 変形理論と GIT の局所的変動を用いて、穴あき円板上での $A_k$-奇性を持つ曲線の族の振る舞いを分析する。
• アルパー [2008] の良いモジュライ空間の理論を応用し、弱い正則性を持つスタックが射影的良いモジュライ空間をもつことを示す。
• 基底変換とカルテジアン図式を用いて、曲線の族を中央ファイバーに持ち上げ、極限の存在と一意性を証明する。
• 弱い分離性とエタール準同型を用いて、基底変換下での閉 $A_k^+$-安定極限の一意性を確立する。
• $A_k$-奇性（ノード、カスプ、タクノード、ラムフォイド・カスプ）の構造を活用し、$A_k^-$, $A_k$, $A_k^+$-安定性条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 弱い正則性を持つ代数的スタックは、制御された奇性を持つ曲線のモジュライ空間を構成するための GIT の代替として有効に機能するか？
• RQ2 ノード、カスプ、タクノード、ラムフォイド・カスプを含む $A_k^-$, $A_k$, $A_k^+$ 奇性を持つ曲線をパラメータ化するモジュライスタックが、半安定性解析に依存せずに弱い正則性を満たすか？
• RQ3 ハッセット＝キールの対数最小モデルプログラムにおける $\overline{M}_g$ の第二のフリップは、弱い正則性を持つスタックと良いモジュライ空間を用いて構成可能か？
• RQ4 GIT を用いずに、対数 canonical モデル $\overline{M}_g(\alpha)$ のモジュラー的解釈は可能か？
• RQ5 この構成は $n > 0$ の $\overline{M}_{g,n}$ に拡張可能か？

主な発見

• $k \in \{2,3,4\}$ のとき、モジュライスタック $\overline{\mathcal{M}}_{g,n}(A_k^-)$, $\overline{\mathcal{M}}_{g,n}(A_k)$, $\overline{\mathcal{M}}_{g,n}(A_k^+)$ が弱い正則性を満たすことが証明され、基底変換下での極限の存在と一意性が保証される。
• スタック $\overline{\mathcal{M}}_{g,n}(A_k)$ における特化の議論と弱い分離性を用いて、閉 $A_k^+$-安定極限の一意性が確立される。
• これらのスタックに対する良いモジュライ空間の構成は、近い将来の研究で可能であることが示され、弱い正則性と良いモジュライ空間の理論に依存する。
• スタック $\overline{\mathcal{M}}_{g,n}(A_k)$ が弱い分離性を満たすことが示され、これは極限の一意性を証明する上で重要な要素である。
• この枠組みにより、$\overline{M}_g$ の対数 canonical モデルを GIT に依存せずに構成可能であり、ハッセット＝キールプログラムにおける第二のフリップが最終的な目的である。
• 結果として、$n > 0$ の $\overline{M}_{g,n}$ におけるモジュラー的コンパクト化への拡張の基盤が築かれる。