[論文レビュー] GIT Constructions of Log Canonical Models of M_g

Jarod Alper, Donghoon Hyeon|arXiv (Cornell University)|Sep 9, 2011

Constraint Satisfaction and Optimization参考文献 20被引用数 8

ひとこと要約

本稿では、低次のヒルベルト点を用いて、$\overline{M}_g$ の対数 canonical モデルの GIT に基づく構成を提示し、特異性が制御された安定曲線のさまざまなコンパクト化を実現することを確立している。主な貢献は、カスプおよびタクノードを有する特定の退化曲線のヒルベルト安定性の証明であり、これにより $\alpha \in [0,1]$ に対して $\overline{M}_g(\alpha)$ が GIT 商として構成可能であることが示された。

ABSTRACT

The purpose of this article is to give an overview of the construction of moduli spaces of curves from the viewpoint of the log minimal model program for M_g by providing an update of recent developments and discussing future problems. This survey is distinguished from the recent articles of Fedorchuk-Smyth and Morrison in its focus on low degree Hilbert stability of curves.

研究の動機と目的

• Geometric Invariant Theory (GIT) を用いた低次のヒルベルト点による $\overline{M}_g$ の対数 canonical モデルの構成を通じて、Hassett-Keel プログラムを拡張すること。
• 標準的な GIT 安定性基準が低次のヒルベルト安定性において失敗することを分析し、無限大の自己同型群を有する極度に退化した曲線を考察すること。
• 特定の特異曲線（例えば通常のカスプおよびタクノードを有するもの）が適切な線形化のもとで半安定であることを確立すること。
• 除数類 $D = \sum \alpha_i \delta_i$ のスケーリングを通じて、対数 canonical モデルのモジュライ的解釈を予測するフレームワークを提供すること。
• [AFS10] の特徴計算を用いて、$g < 7$ の場合の $\overline{M}_g^{hs}$ の $\mathbb{Q}$-因子的性を証明すること。

提案手法

• $n=2,3,4$ に限定して、$n$-canonical または bi-canonical 嵯倚による埋め込みを用いた Hilbert 構造上の GIT 商 $[X^{ss}/G]$ を用いる。
• Kempf の不安定性の1パラメータ部分群理論と Gröbner 技術を用い、特殊な特異性を有する曲線の安定性を分析する。
• 変形空間への $\mathbb{G}_m$ の作用を分析し、境界除数 $\delta_i$（特に $\delta_2$）の特徴を計算する。
• 半安定置換定理を用い、安定化が厳密に半安定な曲線の吸引域にある場合、潜在的に半安定な曲線が半安定であることを示す。
• [AFS10] の特徴計算を用いて、$\overline{M}_g(tD)$ において $t$ が 1 から 0 に減少する際のモジュライ的解釈の遷移を予測する。
• GIT を用いて、$\alpha \in [0,1]$ に対して $\overline{M}_g(\alpha)$ を $\text{Proj} \bigoplus_{m \geq 0} \Gamma(\overline{M}_g, m(K_{\overline{\mathcal{M}}_g} + \alpha\delta))$ として対数 canonical モデルとして構成する。

実験結果

リサーチクエスチョン

• RQ1 どの $\alpha \in [0,1]$ の値に対して、対数 canonical モデル $\overline{M}_g(\alpha)$ が Hilbert 構造の GIT 商として実現可能か？
• RQ2 低次のヒルベルト安定性条件（例：bi-canonical, tri-canonical）は、高次のものと比較して、カスプおよびタクノードを有する曲線の安定化においてどのように異なるか？
• RQ3 無限大の自己同型群を有する極度に退化した曲線は、弱く分離されたモジュライ函手の構成において果たす役割は何か？
• RQ4 $\overline{M}_g(tD)$ の $t$ の臨界値は何か？ そして、楕円的テイルやブリッジはどのような特異性に置き換わるか？
• RQ5 $\overline{M}_g^{hs}$（$A_1 \sim A_4$ 特異性をもつ曲線のモジュライ空間）が $\mathbb{Q}$-因子的であるための条件は何か？

主な発見

• 2つの通常のカスプを有する genus 2 の有理曲線の三重 canonical 埋め込みは、2番目のヒルベルト安定性条件下で半安定である。
• $g < 7$ の場合、カスプおよびタクノードを最高限の特異性として有する曲線のモジュライ空間 $\overline{M}_g^{hs}$ は $\mathbb{Q}$-因子的である。
• $t = 9/(12\alpha_0 - \alpha_1)$ において、カスプが $\overline{M}_g(tD)$ の対数 canonical モデルで楕円的テイルに置き換わり、モジュライ的解釈の臨界的遷移を示唆する。
• $t = 7/(10\alpha_0)$ において、タクノードが非分離楕円ブリッジに置き換わり、対数最小モデルプログラムの新たな段階を示す。
• $i \geq 2$ に対して、$t = t_i = 7/(12\alpha_0 - \alpha_i - \alpha_{i+1}) + \epsilon$ において、タクノードが genus $i$ および $g-i-1$ の分離楕円ブリッジに置き換わる。
• $i = 0,2,\dots,\lfloor(g-1)/2\rfloor$ の各臨界値 $t_i$ においてフラップが発生し、$\overline{M}_g((t_i - \epsilon)D)$ はフラップの直前まで $\mathbb{Q}$-因子的である。