[論文レビュー] Nodal curves with general moduli on K3 surfaces

Flaminio Flamini, Andreas Leopold Knutsen+2 more|ArXiv.org|Jul 2, 2007

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

ひとこと要約

本稿では、$3 \leq p \leq 11$ における $K3$ 表面の次数 $2p-2$ に対して、幾何学的 genus $g = p - \delta$ で $\delta \leq p-2$ であるノードを持つ曲線が、正規化によってモジュライ空間 $\mathcal{M}_g$ を支配することを確立している。対 $(S,X)$ の変形理論を用いて、このような対のスタックから $\mathcal{M}_g$ への写像が支配的であることを証明し、一般の genus $g \leq 10$ の曲線が、そのような $K3$ 表面におけるノードを持つ曲線の正規化として得られることを示している。これは、同じ genus の滑らかな曲線がそのような $K3$ 表面に埋め込めない場合でも成り立つ。

ABSTRACT

We investigate the modular properties of nodal curves on a low genus K3 surface. We prove that a general genus g curve C is the normalization of a d-nodal curve X sitting on a primitively polarized K3 surface S of degree 2p-2, for p any integer between 3 and 11 and g = p - d between 2 and p. The proof is based on a local deformation-theoretic analysis of the map from the stack of pairs (S,X) to the moduli space of curves of genus g that associates to X the isomorphism class [C] of its normalization.

研究の動機と目的

• ノード付き曲線のモジュライ的性質を $K3$ 表面において調査すること、特にその正規化がモジュライ空間 $\mathcal{M}_g$ を支配するかどうかを明らかにすること。
• ビーヴィルの滑らかな曲線に対する変形論的アプローチを、$K3$ 表面におけるノード付き曲線へと拡張すること。
• 同じ設定下で genus 10 の滑らかな曲線は $K3$ 表面に埋め込めないのに対し、genus 9 のノード付き曲線は支配的であるという対比を解明すること。
• 正規化写像 $c_{p,\delta}$ の変形論的挙動を、対 $(S,X)$ から $\mathcal{M}_g$ への写像として分析すること。

提案手法

• $S$ が sectional genus $p$ の原始的極小線形系統 $H$ を持つ $K3$ 表面で、$X \in |H|$ が $\delta$ 個のノードを持つような対 $(S,X)$ をパラメトライズするスタック $\mathcal{V}_{p,\delta}$ の使用。
• $S$ 上の $X$ に接する接ベクトル場の層 $\mathcal{T}_S\langle X\rangle$ の研究。この層のコホロロジーが対 $(S,X)$ の変形を制御する。
• $X$ のノードで $S$ を blown up して、正規化写像 $c_{p,\delta}$ の局所的変形理論を分析する。
• $c_{p,\delta}$ の支配性を、$H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ の消滅に還元する。ここで $N = \operatorname{Sing}(X)$ である。
• コホロロジー的基準の適用：$H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H)) = 0$ であれば支配性が従う。これは $H^0(\Omega_S^1(H)) \cong \mathbb{C}$ 上の全体切断の議論により示される。
• blown-up 上での完全列と評価写像を用いて、$c_{p,\delta}$ の微分を制御し、滑らかさまたは非分岐性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ノード付き曲線の $K3$ 表面における正規化写像 $c_{p,\delta}$ が、対 $(S,X)$ から $\mathcal{M}_g$ への写像として支配的であるか。
• RQ2 $V_{11,1}$ は $\mathcal{M}_{10}$ を支配するが、$V_{10,0}$ は支配しない。同じ genus であるにもかかわらず、その理由は何か。
• RQ3 滑らかな曲線に類似した Wahl 型の障害を、ノード付き曲線が $K3$ 表面に存在するためのものとして定義できるか。
• RQ4 $c_{p,\delta}$ の像が $\mathcal{M}_g$ 内のハイパーガイシアン部分集合 $\mathcal{H}_g$ と交わるか。そのような部分集合の次元は何か。
• RQ5 $p \geq 12$ に拡張した場合、結果はどのように拡張され、$g \geq 12$ のとき $c_{p,\delta}$ の挙動はどのようなものか。

主な発見

• 任意の $3 \leq p \leq 11$ および $0 \leq \delta \leq p-2$ に対して、$V_{p,\delta}$ の任意の既約成分 $V$ に対して、正規化写像 $c_{p,\delta}|_V$ は支配的である。したがって、一般の genus $g = p - \delta$ の曲線は、$K3$ 表面におけるノード付き曲線の正規化として得られる。
• $c_{p,\delta}$ のファイバー次元は $22 - 2g$ であり、期待される次元と一致しており、写像が一般に滑らかで支配的であることが確認されている。
• $p = 11, \delta = 1$ の場合、$V_{11,1}$ のすべての既約成分が $\mathcal{M}_{10}$ を支配する。これは驚くべき結果であり、$V_{10,0}$ が $\mathcal{M}_{10}$ を支配しないのとは対照的である。
• $p = 10, \delta = 1$ の場合、$V_{10,1}$ のノード付き曲線は、境界 $\partial\overline{\mathcal{M}}_{10}$ 内で除因子を埋めているにすぎない。これは、正規化が genus 9 の一般曲線であるにもかかわらず、そのような事実である。
• 一般の genus 9 曲線 $C$ 上の有効除的 $P+Q$ の集合で、$X = C/(P=Q)$ が $K3$ 表面に属するようなものからなる集合は、$C^{(2)}$ 内の1次元サイクル $\Gamma \subset C^{(2)}$ である。
• $p \geq 12$ の場合、本稿では $g \leq 11$ に対して $c_{p,\delta}|_V$ が支配的であり、$12 \leq g < p$ に対しては一般に有限であると予想している。これは $H^0(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ および $H^1(\mathcal{I}_N/S \otimes \Omega_S^1(H))$ に対するコホロロジー的条件に基づく。