[論文レビュー] Supersingular K3 surfaces in characteristic 2 as double covers of a projective plane

Ichiro Shimada|ArXiv.org|Nov 6, 2003

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

ひとこと要約

本稿では、特徴が2の超特異K3表面の数値的ネロン・セベリ格子の生成子を計算するためのアルゴリズムを提示する。この表面は、$ w^2 = G $ により表される射影平面の純粋非分離2重被覆として表現され、$ G $ は21個の通常の二重点を持つ6次同次多項式である。主な貢献は、アーティン不変量によるモジュライ空間の層化であり、交差条件（例：$ Z(dG) $ との交点）などの明示的な幾何的基準を用いて、格子の生成子をなす分裂曲線を特定することである。

ABSTRACT

For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an algorithm to calculate from $G$ a set of generators of the numerical Néron-Severi lattice of $X$. As an application, we investigate the stratification defined by the Artin invariant on a moduli space of supersingular $K3$ surfaces of degree 2 in characteristic 2.

研究の動機と目的

• 特徴が2の超特異K3表面の数値的ネロン・セベリ格子の生成子の集合を計算するためのアルゴリズムを開発すること。
• 特徴が2の2次超特異K3表面のモジュライ空間をアーティン不変量で層化すること。
• 直線、二次曲線、三次曲線の線形系など、幾何的に定義された曲線が、標準的な$(-2)$-曲線と一般の直線の引き戻しを超えるネロン・セベリ格子の新しい生成子をどのように与えるかを特定すること。
• 多項式$ G $に付随する符号に組合せ論的および幾何的条件を適用し、モジュライ空間内の特定の部分集合の既約性を確立すること。

提案手法

• 各超特異K3表面$ X_G $を、$ w^2 = G $ で定義される射影平面$ \mathbb{P}^2 $への純粋非分離2重被覆$ Y_G $の最小解消として表現する。ここで$ G $は6次同次多項式である。
• $ Z(dG) $ を微分$ dG $ の零点集合として定義し、これは$ Y_G $の21個の通常の二重点をパラメトライズする。これにより、$ X_G $ 上の$(-2)$-曲線$ \Gamma_P $ を特定する。
• $ |\mathcal{I}_{Z(dG)}(5)| $ の線形系を用いて、$ X_G $ で分裂する、既約かつ非特異な5次曲線の2次元族を同定し、これにより格子の新たな生成子を得る。
• 幾何的基準を確立する：$ \mathbb{P}^2 $ 内の直線$ L $ が$ X_G $ で分裂するための必要十分条件は、$ |L \cap Z(dG)| = 5 $ であること。同様に、$ \mathbb{P}^2 $ 内の滑らかな二次曲線$ Q $ が分裂するための必要十分条件は、$ |Q \cap Z(dG)| = 8 $ であること。
• 三次曲線の正則な線形系が$ X_G $ で分裂する概念を導入し、その基本集合が$ Z(dG) $ に含まれることを仮定する。このような線形系を追加の生成子として用いる。
• $ G $ に付随する符号$ \mathcal{C}_G $ を用いて、モジュライ空間内の部分集合を分類し、幾何的実現（例：パスカルの六角形、パップォス配置）を用いて、ストラトゥムの既約性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特徴が2の超特異K3表面の数値的ネロン・セベリ格子の生成子の集合を、どのようにアルゴリズム的に計算できるか。
• RQ2 $ \mathbb{P}^2 $ 内の曲線が、$ X_G $ 内のその正規化の像が、既約な非特異曲線の倍である（つまり分裂する）ことを保証する幾何的条件は何か。
• RQ3 アーティン不変量は、特徴が2の2次超特異K3表面のモジュライ空間をどのように層化するか。
• RQ4 6次多項式のパrameter空間内のどの部分集合が、モジュライ空間における既約ストラトゥムに対応し、その特徴は組合せ論的符号によってどのように特定できるか。
• RQ5 幾何的配置（例：パスカルの六角形、パップォス配置）とネロン・セベリ格子の構造との関係は何か。

主な発見

• 特徴が2の超特異K3表面$ X_G $ の数値的ネロン・セベリ格子$ S_G $ は、$(-2)$-曲線$ \Gamma_P $ の類、一般の直線の引き戻し$ H_G $ の類、および分裂曲線$ C $ の既約成分の類$ [F_C] $ によって生成される。
• 直線$ L \subset \mathbb{P}^2 $ が$ X_G $ で分裂するための必要十分条件は、$ Z(dG) $ とちょうど5点で交わることである。
• 滑らかな二次曲線$ Q \subset \mathbb{P}^2 $ が$ X_G $ で分裂するための必要十分条件は、$ Z(dG) $ とちょうど8点で交わることである。
• 三次曲線の正則な線形系が$ X_G $ で分裂するための必要十分条件は、その基本集合が$ Z(dG) $ に含まれることであり、このような線形系が存在するのは、その線形系の特異なメンバーがノード型であり、基本集合が9個の相異なる点からなるときである。
• $ \mathbf{C}_{15} $ に対応する$ \mathcal{U}_{2,6,\mathbf{C}_{15}} $ の部分集合は既約であり、その一般点は、アーティン不変量1をもつストラトゥム$ \mathcal{U}[2211] $ の一般点と一致する。
• $ \mathcal{C}_G $ にパスカル配置（6本の重み5の直線と、重み8の1本の二次曲線で、特定の接続関係を持つ）が存在する場合、これは既約ストラトゥム$ \mathcal{U}_{2,6,\mathbf{C}_{136}} $ に対応する。同様に、$ \mathbf{C}_{177} $ にパップォス配置が存在する場合、これも同様の既約ストラトゥムに対応する。