[論文レビュー] On a classical correspondence between K3 surfaces

Carlo Madonna, Viacheslav V. Nikulin|ArXiv.org|Jun 16, 2002

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

ひとこと要約

本稿は、$\mathbb{P}^5$ 内の3つの二次曲面の交わりとして定義されるK3表面 $X$ が、退化する二次曲面の曲線上で分岐する二次曲面の族の2重被覆として構成される関連するK3表面 $Y$ と同型であるための条件を確立する。Picard格子 $N(X)$ と特定のノルムおよび偶奇条件を満たす原始的ベクトル $h_1$ の存在を用いて、$X \cong Y$ が成り立つのは、$N(X)$ の行列式が奇数であり、かつ $d \equiv 1 \mod 8$ のもとで $a^2 - db^2 = \pm 8$ が整数解をもつときであり、これは $d \in \mathcal{D}$ によってパrameter化される無限個の同型対を定義する。

ABSTRACT

Let X be a K3 surface which is intersection of three (a net P^2) of quadrics in P^5. The curve of degenerate quadrics has degree 6 and defines a double covering of P^2 K3 surface Y ramified in this curve. This is a classical example of a correspondence between K3 surfaces which is related with moduli of vector bundles on K3 studied by Mukai. When general (for fixed Picard lattices) X and Y are isomorphic? We give necessary and sufficient conditions in terms of Picard lattices of X and Y. E.g. for Picard number 2, the Picard lattice of X and Y is defined by its determinant (-d) where d>0, d\equiv 1 \mod 8, and one of equations a^2-db^2=8 or a^2-db^2=-8 should have an integral solution (a,b). The set of these d is infinite: d\in {(a^2\mp 8)/b^2} where a and b are odd integers. This describes all possible divisorial conditions on 19- dimensional moduli of intersections of three quadrics in P^5 when Y\cong X. One of them when X has a line is classical, and corresponds to d=17. Similar considerations can be applied for a realization of an isomorphism (T(X)\otimes Q, H^{2,0}(X)) \cong (T(Y)\otimes Q, H^{2,0}(Y)) of transcendental periods over Q of two K3 surfaces X and Y by a fixed sequence of types of Mukai vectors.

研究の動機と目的

• $\mathbb{P}^5$ 内の3つの二次曲面の交わりとして得られるK3表面 $X$ が、退化する二次曲面の曲線上で分岐する二次曲面の族の2重被覆として構成される関連K3表面 $Y$ と同型である条件を特定すること。
• $\rho(X) = \rho(Y) = 2$ のとき、$X \cong Y$ となるようなPicard格子 $N(X)$ および $N(Y)$ の特徴を、格子の行列式 $-d$ の観点から行うこと。
• 行列式 $d$ に関する数論的条件を用いて、同型対の完全な分類を、方程式 $a^2 - db^2 = \pm 8$ の解を用いて行うこと。
• GP/PARIを用いた計算アルゴリズムおよびツールを開発し、$\mathcal{D}$ に属する $d$ 値の集合を計算し、小さな $d$ に対して同型の存在を検証すること。

提案手法

• 2次元の代数的サイクル $Z \subset X \times Y$ を用いた古典的な対応により、$X$ がMukaiベクトル $(2, H, 2)$ の層のモジュライ空間として $Y$ と関連づけられる。
• 主な手法は、次数8の原始的極小形式 $H$ を持つ $X$ のPicard格子 $N(X)$ を分析し、格子論的不変量を用いて $Y \cong X$ となる条件を同定することである。
• 同型条件を、$h_1^2 = \pm 4$ かつ $h_1 \cdot H \equiv 0 \mod 2$ を満たす原始的ベクトル $h_1 \in N(X)$ の存在に還元する。このとき $N(X)$ の行列式は奇数でなければならない。
• 二進形式の理論と、$a, b$ が奇数である整数解をもつ方程式 $a^2 - db^2 = \pm 8$ の可解性を用いて、$X \cong Y$ となるような行列式 $d$ の集合 $\mathcal{D}$ を特徴付ける。
• Legendre記号に基づく局所可解性条件と実二次体における基本単位を用いて、$\mathcal{D}$ への属するかをテストするGP/PARIにおける計算アルゴリズムを導出する。
• 類数および基本単位の計算を用いて解の存在を検証し、格子生成子を用いて $h_1$ および $H$ の明示的表現を構成する。

実験結果

リサーチクエスチョン

• RQ1 退化する二次曲面の曲線上で分岐する二次曲面の族の2重被覆として定義されるK3表面 $Y$ が、元のK3表面 $X$ と同型であるのはいつか？
• RQ2 $X \cong Y$ となるための、Picard格子 $N(X)$ および次数8の極小形式 $H$ に対する必要十分な格子論的条件は何か？
• RQ3 $\rho(X) = 2$ のK3表面に対して、$X \cong Y$ となる可能性のあるPicard格子の行列式 $-d$ の値は何か？
• RQ4 $d \equiv 1 \mod 8$ である正の整数 $d$ のうち、$a^2 - db^2 = \pm 8$ が $a, b$ が奇数である整数解をもつのはどれか？ そしてこのような $d$ はどのようにして同型対 $X \cong Y$ をパラメータ化するか？
• RQ5 $\mathcal{D}$ に属する $d$ 値の属するかを計算・検証するためのアルゴリズムを構築できるか？ また、その幾何的意味は $X$ のモジュライ空間にどのように現れるか？

主な発見

• $X \cong Y$ となる行列式 $d$ の集合 $\mathcal{D}$ は、$d \equiv 1 \mod 8$ である正の整数で、$a^2 - db^2 = 8$ または $a^2 - db^2 = -8$ の少なくとも一方が $a, b$ が奇数である整数解をもつものである。
• $\mathcal{D}$ は無限集合であり、奇数 $a \in \mathbb{N}$ に対して $a^2 - 8$ および $a^2 + 8$ の列を含む。$\mathcal{D}_+ = \{ (a^2 - 8)/b^2 \in \mathbb{N} \mid a, b \text{ が奇数} \}$ および $\mathcal{D}_- = \{ (a^2 + 8)/b^2 \in \mathbb{N} \mid a, b \text{ が奇数} \}$ である。
• $\rho(X) \geq 12$ のとき、$X \cong Y$ が成り立つのは、$N(X)$ 内に $x \cdot H \equiv 1 \mod 2$ を満たす $x$ が存在するときであり、これはMukaiの層のモジュライに関する研究から導かれる条件である。
• アルゴリズムにより計算された $\mathcal{D}$ の最初の10個の要素は：1, 9, 17, 33, 41, 57, 73, 89, 97, 113, ..., 2009 であり、これにより多数の同型対が存在することが確認された。
• $d = 17$ の場合、$X$ が直線を含む古典的例に対応し、この除数的条件は、$\mathcal{D}$ に属する異なる $d$ ごとに異なる同型を強制する無限個の条件の1つである。
• 本稿では、$X \cong Y$ が成り立つのは、$N(X)$ 内に $h_1^2 = \pm 4$ かつ $h_1 \cdot H \equiv 0 \mod 2$ を満たす $h_1$ が存在し、かつ $[H, h_1]_{\text{pr}}$ の生成する原始的部分格子の行列式が奇数であるときであり、同型の十分条件を簡単な形で与える。