[論文レビュー] GIT Constructions of Moduli Spaces of Stable Curves and Maps

Ian Morrison|ArXiv.org|Oct 14, 2008

Geometric Analysis and Curvature Flows参考文献 28被引用数 6

ひとこと要約

本稿は、安定曲線および安定写像のモジュライ空間のGIT構成をレビューし、Giesekerの基礎的アプローチを、標識付き曲線と安定写像にまで拡張する。特筆すべきは、標識点や特異点を含む状況下でのヒルベルト安定性を検証するための新規技術であり、これらの構成が対数最小モデルプログラムと結びついている点である。特に、双有理モデルが変化する臨界的な $\alpha$ 値を特定し、$m=6$ および $m=4$ における $m$-ヒルベルト半安定性の予測を提示している。

ABSTRACT

This largely expository paper first gives an introduction to Hilbert stability and its use in Gieseker's GIT construction of $\overline{M}_g$. Then I review recent work in this area--variants for unpointed curves that arise in Hassett's log minimal model program, starting with Schubert's moduli space of pseudostable curves, and constructions for weighted pointed stable curves and for pointed stable maps due to Swinarski and to Baldwin and Swinarski respectively. The focus is on the steps at which new ideas are needed. Finally, I list open problems in the area, particularly some arising in the log minimal model program that seem inaccessible to current techniques.

研究の動機と目的

• GiesekerのGITアプローチを、$\overline{M}_g$ の構成に拡張し、標識付き安定曲線および安定写像のモジュライ空間を対象とする。
• 標識点や特異点が導入された際のヒルベルト安定性を検証する際の技術的課題を分析する。
• GIT商が対数最小モデルプログラムとどのように関係するかを、特に $\alpha$-不変量とウォールクロッシングの役割を通じて接続する。
• 特に $m$ が小さい場合の $m$-ヒルベルト安定性に関する未解決問題を特定し、双有理モデルの予測に及ぼす影響を明らかにする。
• GITによる商が、擬安定曲線や $c$-および $h$-半安定曲線といった曲線の観点から、モジュラー解釈を持つかどうかを検討する。

提案手法

• Giesekerの4段階戦略（滑らかな対象の漸近的安定性、潜在的安定性定理、$\nu$-正則な局所の閉性、モジュライ安定対象のヒルベルト半安定性）を適応する。
• 1-パラメータ部分群 $\rho$ を用いた数値的基準を用い、$\mathrm{PGL}(N)$ の部分群を介して $H^0(X, \mathcal{O}_X(m))$ の重みを計算することでヒルベルト安定性をテストする。
• 標識点で非ゼロでないセクションの寄与を重み計算に組み込む必要があり、Giesekerの元の基準を越える精密な推定が必要となる。
• 潜在的安定性定理を用いて、特に標識点を含む多様体的曲線における非安定な構成を除外する。
• 記号的計算と消失定理を用い、特に $m=4,6$ における $m$-ヒルベルト安定性を分析する。$m=\frac{9}{2}$ は分母を払った形で解釈される。
• 極化クラス $K_{\overline{\mathcal{M}}_g} + \alpha\delta$ 及びその勾配を用いて、GITウォールクロッシングと対数最小モデルプログラムを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 双有理型 $\overline{M}_g(\alpha)$ が変化する臨界的な $\alpha$-値は何か？ それらは $m$-ヒルベルト安定性とどのように関係するか？
• RQ2 $m$-ヒルベルト半安定性は $m=4$ や $m=6$ のような小さい $m$ に対して検証可能か？ その結果、モジュライ空間モデルにどのような意味を持つのか？
• RQ3 $m$-ヒルベルト安定性を用いて構成されたGIT商は、擬安定曲線や $c$-および $h$-半安定曲線といった曲線の観点から、モジュラー解釈を持つだろうか？
• RQ4 VGITにおける異なる線形化は、得られる商および対数最小モデルプログラムとの関係にどのように影響するか？
• RQ5 ノードにおける分岐列が、Weierstrassテールを有する曲線の $m$-ヒルベルト安定性を決定づける役割を果たすのはどのようなものか？

主な発見

• $g \geq 4$ に対して、$\frac{7}{10}$ よりも小さい次の臨界 $\alpha$-値は $\alpha = \frac{2}{3}$ であると予測され、極化 $K_{\overline{\mathcal{M}}_g} + \frac{2}{3}\delta$ の勾配は $9.75$ であり、$m=6$ ヒルベルト商の勾配と一致する。
• 種数 2 のWeierstrassテールを有する曲線は、$6$-ヒルベルト厳密に半安定であり、$5$-ヒルベルト不安定であると判明し、この $\alpha$-値でモジュライ空間にフラップが生じると示唆される。
• 次の臨界 $\alpha$-値は $\frac{19}{29}$ と予測され、極化の勾配は $\frac{29}{3}$ である。これは $m=4$ ヒルベルト商（$m=\frac{9}{2}$ を分母を払って解釈）によって実現される。
• $\Delta_2$ に属する曲線は、ノードにおける分岐列に基づく $\rho$ を用いた場合、$m=\frac{9}{2}$ では厳密に半安定であり、$m=4$ では不安定であると判明し、これは対数最小モデルにおける $\Delta_2$ の収縮を示唆する。
• $6$-ヒルベルト半安定退化の平坦極限は、Weierstrassテールを、$y^2 = x^5$ の形のラムフォイド・カスプを持つ有理的テールに置き換える。これは対数最小モデルプログラムと整合的である。
• Hassettによる $F$-予想の未発表の研究では、$m=6$ ヒルベルト商が $\alpha = \frac{2}{3}$ に対して対数正規化モデルを実現し、$m=4$ が $\alpha = \frac{19}{29}$ に対して実現すると予測されている。