[論文レビュー] Nodal Curves on K3 Surfaces

Xi Chen|arXiv (Cornell University)|Nov 22, 2016

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

ひとこと要約

本稿は、一般の偏極 K3 表面 $(X,L)$ において、$|L|$ 内の genus $g$ の曲線の Severi 多様体 $V_{L,g}$ の任意の既約成分が、$V_{L,g-1}$ の成分を含むことを証明する。これにより、すべての成分の一般メンバーがノード型であることが帰納的に示される。主な手法は、Bryan-Leung の K3 表面への退化と、モジュライ空間 $¯{Ñ}_g$ 内の安定曲線におけるモノドロミー論拠を用い、族の像が境界除集合に交わることを示し、$g-1$ 個の点を通る線形系との交わりが完全でないことを示す。

ABSTRACT

In this paper, we study the Severi variety $V_{L,g}$ of genus $g$ curves in $|L|$ on a general polarized K3 surface $(X,L)$. We show that the closure of every component of $V_{L,g}$ contains a component of $V_{L,g-1}$. As a consequence, we see that the general members of every component of $V_{L,g}$ are nodal.

研究の動機と目的

• K3 表面上の $|L|$ 内の genus $g>0$ のすべての曲線がノード型であるという、先行研究における誤った主張を是正すること。
• 一般の偏極 K3 表面 $(X,L)$ に対して、Severi 多様体 $V_{L,g}$ の各閉包成分が $V_{L,g-1}$ の成分を含むことを確立すること。
• この結果を用いて、すべての $0 \leq g \leq p_a(L)$ に対して、$V_{L,g}$ の各成分の一般メンバーがノード型であることを帰納的に証明すること。
• K3 表面上の普遍 Severi 多様体 $\mathcal{V}_{L,g}$ の既約性に関する予想を支持するために、その鍵となる条件の一つを検証すること。

提案手法

• Picard 格子 $\begin{bmatrix}-2&1\\1&0\end{bmatrix}$ を持つ Bryan-Leung の K3 表面への退化を用い、極限線形系を解析する。
• 中心ファイバーが有理曲線と楕円曲線の和集合であるディスク $\mathcal{X} \to \Delta$ 上の曲線族を構成する。
• モジュライ写像 $\rho: S \to \overline{\mathcal{M}}_g \times T$ を解析し、その像が境界 $\Delta_0 \times T$ と交わることを示す。
• 次元と既約性の議論を用いて、$t \neq 0$ のとき $\rho^{-1}(\Delta \times T) \cap S_t \neq \emptyset$ であることを示し、$W \cap \Lambda_\sigma$ が完全でないことを示す。
• 成分 $G$ に対して $\dim \rho(S) = 2$ かつ $\dim \rho(G) = 1$ であることから、像が境界を避けると仮定すると矛盾が生じることを示す。
• 線形系統 $|F|$ 内のノード型ファイバーが極限で有理尾を生じることを根拠に、モジュライ点が $\Delta_0$ 上にあることを強制する。

実験結果

リサーチクエスチョン

• RQ1 一般の偏極 K3 表面上の Severi 多様体 $V_{L,g}$ の各成分は、$V_{L,g-1}$ の成分を含むか。
• RQ2 すべての $0 \leq g \leq p_a(L)$ に対して、$V_{L,g}$ の各成分の一般メンバーはノード型か。
• RQ3 有理曲線に対して用いられた退化法を、K3 表面上の高 genus 曲線へ拡張可能か。
• RQ4 線形系統 $|L|$ 内の有理曲線のノードにおけるモノドロミー作用は、完全な対称群 $\Sigma_p$ として作用するか。
• RQ5 普遍 Severi 多様体 $\overline{V}_{L,g}$ の各閉包成分は $V_{L,0}$ の成分を含むか。これにより、普遍 Severi 多様体の既約性が支持されるか。

主な発見

• 一般の偏極 K3 表面上での $V_{L,g}$ の任意の既約成分の閉包は、Bryan-Leung の K3 表面への退化を用いて、$V_{L,g-1}$ の成分を含むことが示された。
• この包含関係により、帰納的にすべての $0 \leq g \leq p_a(L)$ に対して、$V_{L,g}$ の各成分の一般メンバーがノード型であることが示され、以前の誤った主張が是正された。
• モジュライ写像 $\rho: S \to \overline{\mathcal{M}}_g \times T$ の像の次元は 2 であり、境界除集合 $\Delta_0 \times T$ と 1 次元で交わる。これは議論の根幹をなす。
• ファイバー $Y_b$ がノード型有理尾を持つ点 $b \in S_0$ の存在が、$\rho(b) \in \Delta_0 \times T$ を強制し、像が境界と交わることを保証する。
• 像が $\rho^{-1}(\Delta_0 \times T) \subset S_0$ かつ $\rho$ が成分上で定数であると仮定すると矛盾が生じる。これにより、$W \cap \Lambda_\sigma$ が完全でないことが示された。
• この結果は、普遍 Severi 多様体 $\mathcal{V}_{L,g}$ が既約であるという予想を支持しており、ハリス型の既約性証明に必要な二つの条件のうちの一つを満たしている。