[論文レビュー] Log canonical models and variation of GIT for genus four canonical curves

Sebastian Casalaina‐Martin, David Jensen+1 more|arXiv (Cornell University)|Mar 22, 2012

Algebraic Geometry and Number Theory参考文献 23被引用数 7

ひとこと要約

本稿は、ハセット–キールプログラムの最終段階を完了し、$\mathbb{P}^3$ 内の二次曲面と三次曲面の完全交差をパラメータ化する単一のパrameter空間 $\mathbb{P}E$ 上でのGITの変形（VGIT）を用いて、$\alpha \leq \frac{5}{9}$ の場合の $\overline{M}_4(\alpha)$ の対数 canonical モデルを構成することで、 genus 四の曲線に対するものである。著者らはアーモニックなコーンの外側の線形化の安定性条件を解き、連続的な族による双有理変換を通して、すべての中間対数 canonical モデルを実現する。

ABSTRACT

We discuss GIT for canonically embedded genus four curves and the connection to the Hassett-Keel program. A canonical genus four curve is a complete intersection of a quadric and a cubic, and, in contrast to the genus three case, there is a family of GIT quotients that depend on a choice of linearization. We discuss the corresponding VGIT problem and show that the resulting spaces give the final steps in the Hassett-Keel program for genus four curves.

研究の動機と目的

• genus 四の曲線に対するハセット–キールプログラムを完了し、$\alpha \leq \frac{5}{9}$ の場合の対数 canonical モデル $\overline{M}_4(\alpha)$ を構成すること。
• canonical に埋め込まれた genus 四の曲線のGIT安定性を分析すること。これらは $\mathbb{P}^3$ 内の二次曲面と三次曲面の完全交差として表される。
• これらの曲線のすべてのGIT商を、空間 $\mathbb{P}E$ 上の単一のVGIT問題に統一すること。
• VGIT枠組み内でアーモニックなコーンの外側の線形化の安定性を解析する技術的課題を解決すること。
• GIT商 $\mathbb{P}E/\!/_{t}\mathrm{SL}(4)$ と対数 canonical モデル $\overline{M}_4(\alpha)$ の間の明確な双有理対応を確立すること。

提案手法

• $(2,3)$ 型の完全交差の Hilbert 構造の滑らかで、基本的かつ双有理的なモデルである $\mathbb{P}E$ を、VGIT問題のパrameter空間として用いる。
• $\mathrm{SL}(4)$ の作用に関して $\mathbb{P}E$ 上でVGIT解析を行い、線形化 $t$ を変化させることで、異なるGIT商を得る。
• アーモニックなコーンの外側の線形化を扱う際、ムンフォードの数値基準における曖昧性を避けるために、注意深く幾何学的およびコホモロジー的解析を行う。
• ラインバンドルの引き戻しによりGIT商と対数 canonical モデルを関連付ける：$\varphi^*(4s\eta + 4h) = (34s - 33)\lambda - (4s - 4)\delta_0 - (14s - 15)\delta_1 - (18s - 21)\delta_2$。
• $\delta_1$ および $\delta_2$ が $\varphi$-例外的 divisor であることを用いて、コホモロジー環を単純化し、$\overline{M}_4(\alpha)$ と同型であることを確立する。
• 極端な場合に既知の結果 [CMJL12] および [Fed12] を用いて、$\alpha$ の中間値への構成を拡張する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$\alpha \leq \frac{5}{9}$ の場合の対数 canonical モデル $\overline{M}_4(\alpha)$ を、canonical に埋め込まれた genus 四の曲線のGIT商として実現できるか？
• RQ2 空間 $\mathbb{P}E$ 上での単一のVGIT問題が、$\mathbb{P}^3$ 内の $(2,3)$-完全交差のすべてのGIT商を統一できるか？
• RQ3 ハセット–キールプログラムにおいて、線形化パrameter $t$ と対数 canonical モデルパrameter $\alpha$ の正確な関係は何か？
• RQ4 VGIT枠組み内で、アーモニックなコーンの外側に位置する線形化の安定性をどのように解析できるか？
• RQ5 得られたGIT商の双有理幾何はどのようなものか？また、ハセット–キールプログラムにおける除法的および小規模な収縮とどのように関係するか？

主な発見

• $\overline{M}_4(\alpha)$ の対数 canonical モデル（$\alpha \leq \frac{5}{9}$）は、$t = \frac{34\alpha - 16}{33\alpha - 14}$ のもとで、GIT商 $\mathbb{P}E/\!/_{t}\mathrm{SL}(4)$ と同型である。
• genus 四の曲線のすべての対数 canonical モデルの族は、$\mathbb{P}E$ 上の単一のVGIT問題によって実現され、これまで別個に構成されていたものを統合した。
• 本稿は、アーモニックなコーンの外側の線形化の安定性解析という技術的課題を、数値基準がこの文脈でも適切に定義され有効であることを示すことで解決した。
• $\varphi: \overline{M}_4 \dashrightarrow \mathbb{P}E/\!/_{t}\mathrm{SL}(4)$ は、すべての $t \in (0, \frac{2}{3}]$ に対して双有理的収縮であり、ラインバンドル $4s\eta + 4h$ の引き戻しは canonical 切断 $K_{\overline{M}_4} + \alpha\delta$ に一致する。
• 引き戻し divisor の係数は明示的に計算され、$a = 34s - 33$, $b_0 = 4s - 4$, $b_1 = 14s - 15$, $b_2 = 18s - 21$ であり、$s = \frac{1}{t}$ である。
• 本構成により、$\overline{M}_4$ の対数最小モデルプログラムにおけるハセット–キールプログラムの最終段階が達成され、小さな範囲を除き、完成した。