[論文レビュー] A boundary divisor in the moduli space of stable quintic surfaces

Julie Rana|arXiv (Cornell University)|Jul 26, 2014

Algebraic Geometry and Number Theory参考文献 15被引用数 3

ひとこと要約

本稿では、$K^2 = \chi = 5$ で唯一の非-Du Val特異点を持つ安定な数値的5次的表面が、$frac{1}{4}(1,1)$ または $frac{1}{9}(1,2)$ ワル特異点であることを確立している。さらに、ノエター直線条件を追加すると、前者のみが可能である。拡張された対数的変形理論を用いて、$\mathbb{P}^1 \times \mathbb{P}^1$ や特定の二次錐面の2重被覆によって得られる表面から生じる39次元の境界除集合が、KSBAコンパクト化 $\overline{\mathcal{M}}_{5,5}$ に存在することが同定された。

ABSTRACT

We give a bound on which singularities may appear on Kollár--Shepherd-Barron--Alexeev stable surfaces for a wide range of topological invariants and use this result to describe all stable numerical quintic surfaces (KSBA-stable surfaces with $K^2=χ=5$) whose unique non Du Val singularity is a Wahl singularity. We then extend the deformation theory of Horikawa to the log setting in order to describe the boundary divisor of the moduli space $\overline{\mathcal{M}}_{5,5}$ corresponding to these surfaces. Quintic surfaces are the simplest examples of surfaces of general type and the question of describing their moduli is a long-standing question in algebraic geometry.

研究の動機と目的

• 特異点が唯一の非-Du Val特異点である安定な数値的5次的表面を分類すること。
• 解体の最小モデルを$S$とするとき、$K_W^2 = K_S^2 + 1$ という制約下で、どのワル特異点が現れるかを特定すること。
• 拡張された変形理論を用いて、これらの表面に対応する $\overline{\mathcal{M}}_{5,5}$ の境界除集合を記述すること。
• 有理的表面の2重被覆による明示的な幾何的構成を特定することで、モジュライ空間 $\mathcal{M}_{5,5}$ を特徴づけること。

提案手法

• 条件 $K_W^2 = K_S^2 + 1$ の下でワル特異点の長さに対する精密な上限を適用し、長さ1または2の特異点のみが可能であることを証明する。
• ホリカワによるノエター直線上の曲面分類を用い、$K_W^2 = 2p_g - 3$ のとき、唯一の非-Du Val特異点が $\frac{1}{4}(1,1)$ に限られることを示す。
• ホリカワの変形理論を対数的設定に拡張し、$H^1(X, T_X(\log C))$ 上でのクルンシの写像とショーテン括弧積を分析して、障害と滑らか化可能性を調べる。
• $\mathbb{P}^1 \times \mathbb{P}^1$ や二次錐面の2重被覆として安定表面を構成し、分岐曲線がルーリングと指定された方法（例えば接点やノード）で交わるようにする。
• $H^1(X, T_X(\log C)) \otimes H^1(X, T_X(\log C))$ 上のリーブラケットを分析し、ショーテン括弧積の全射性を示し、非自明な変形空間が存在することを示す。
• $\mathbb{Z}/2\mathbb{Z}$-不変性とコホモロジーの不変性を用いて、ある $i > 1$ に対して $[\rho_1, \rho_i] \neq 0$ を示し、クルンシの写像の2次部分が消えないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 $K^2 = \chi = 5$ で唯一の非-Du Val特異点を持つ安定な数値的5次的表面に現れるワル特異点はどれか？
• RQ2 $K_W^2 = K_S^2 + 1$ の条件下で、このような表面におけるワル特異点の最大長さは何か？
• RQ3 $\overline{\mathcal{M}}_{5,5}$ の境界除集合を幾何学的および変形論的にどのように記述できるか？
• RQ4 所定の分岐曲線を持つ2重被覆の文脈において、対数的接ベクトル層のクルンシの写像の構造は何か？
• RQ5 $\mathcal{M}_{5,5}$ のモジュライ空間は、特定の交差型を持つ有理的表面の2重被覆を用いた幾何的構成によって階層化可能か？

主な発見

• 安定な数値的5次的表面で $K_W^2 = K_S^2 + 1$ を満たす場合、ワル特異点の長さは1または2に限られ、それぞれ $\frac{1}{4}(1,1)$ または $\frac{1}{9}(1,2)$ 特異点に対応する。
• $K_W^2 = 2p_g - 3$ のとき、唯一の非-Du Val特異点は $\frac{1}{4}(1,1)$ 特異点に限られ、$K_W^2 > 3$ ならば最小解体 $S$ は一般型である。
• $\overline{\mathcal{M}}_{5,5}$ の境界除集合は39次元であり、$\mathbb{P}^1 \times \mathbb{P}^1$ や二次錐面の2重被覆によって得られる表面に対応し、分岐曲線がルーリングと指定された方法で交わる。
• $H^1(X, T_X(\log C))$ 上のショーテン括弧積は全射であり、変形空間が非自明で、モジュライ空間の境界成分が滑らかであることを示唆する。
• クルンシの写像の2次部分が非ゼロであることは、$[\rho_1, \rho_i] \neq 0$（ある $i > 1$ に対して）であることを示し、非自明な1次変形が存在することを確認する。
• タイプ1の表面の最小解体は、$\mathbb{P}^1 \times \mathbb{P}^1$ の6次分岐曲線が対角線に6点で接する2重被覆から得られ、その対角線の逆像は2本の$(-4)$-曲線で、6点で交わる。