[论文解读] 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$ 中三張二次曲面交集的 K3 曲面 $X$ 同構於其關聯的 K3 曲面 $Y$，其中 $Y$ 為沿著退化二次曲面曲線分支的二次曲面族的雙覆蓋。利用 Picard 格 $N(X)$ 及存在具有特定範數與奇偶性條件的本原向量 $h_1$，作者證明 $X \cong Y$ 若且唯若 $N(X)$ 的行列式為奇數，且方程 $a^2 - db^2 = \pm 8$ 對於 $d \equiv 1 \mod 8$ 有整數解，進而導出一個由 $d \in \mathcal{D}$ 參數化的無限多組同構。

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$ 中三張二次曲面交集的 K3 曲面 $X$，何時同構於其關聯的 K3 曲面 $Y$，其中 $Y$ 為沿著退化二次曲面曲線分支的二次曲面族的雙覆蓋。
• 當 $\rho(X) = \rho(Y) = 2$ 時，特徵化 $N(X)$ 與 $N(Y)$ 的 Picard 格，特別是根據格的行列式 $-d$。
• 透過行列式 $d$ 的數論條件，完整分類此類同構對，使用佩爾型方程 $a^2 - db^2 = \pm 8$ 的解。
• 開發一個演算法與計算工具（GP/PARI），用以計算集合 $\mathcal{D}$ 中的 $d$ 值，並驗證小 $d$ 時同構的存在性。

提出的方法

• 該構造利用經典對應關係，透過 $X \times Y$ 中的二維代數循環 $Z$，將 $X$ 與 $Y$ 連結，使 $Y$ 成為具有 Mukai 向量 $(2, H, 2)$ 的層的模空間。
• 關鍵方法在於分析 $X$ 的 Picard 格 $N(X)$，其具有度數為 8 的本原極化 $H$，並識別出 $Y \cong X$ 時的格理論不變量條件。
• 本文將同構條件簡化為：存在一 $N(X)$ 中的本原向量 $h_1$，使得 $h_1^2 = \pm 4$ 且 $h_1 \cdot H \equiv 0 \mod 2$，且 $N(X)$ 的行列式為奇數。
• 利用二元二次型理論，並分析方程 $a^2 - db^2 = \pm 8$（其中 $a, b$ 為奇數）的可解性，以特徵化使 $X \cong Y$ 的行列式 $d$ 的集合 $\mathcal{D}$。
• 作者推導出一個基於局部可解性條件（勒讓德符號）與實二次域中基本單位的 GP/PARI 演算法，用以測試 $\mathcal{D}$ 中的成員資格。
• 該方法包含透過類數與基本單位的計算來驗證解的存在性，並以格生成元表示 $h_1$ 與 $H$ 的顯式表達式。

实验结果

研究问题

• RQ1 當定義為沿著退化二次曲面曲線分支的二次曲面族雙覆蓋的 K3 曲面 $Y$，何時同構於原始的 K3 曲面 $X$？
• RQ2 對於 Picard 格 $N(X)$ 與度數為 8 的極化 $H$，$X \cong Y$ 的必要且充分格理論條件為何？
• RQ3 對於 $\rho(X) = 2$ 的 K3 曲面，其 Picard 格的行列式 $-d$ 可能為何，使得 $X \cong Y$？
• RQ4 哪些正整數 $d \equiv 1 \mod 8$ 使得方程 $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^2 - 8$ 與 $a^2 + 8$（$a \in \mathbb{N}$ 為奇數），其中 $\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$ 若且唯若存在 $x \in N(X)$ 使得 $x \cdot H \equiv 1 \mod 2$，此條件源自 Mukai 對層模空間的研究。
• 透過演算法計算出的 $\mathcal{D}$ 前 10 個元素為：1, 9, 17, 33, 41, 57, 73, 89, 97, 113, ..., 2009，確認存在大量此類同構對。
• 當 $d = 17$ 時，對應於經典例子：$X$ 包含一條直線，此除數條件為無限多個迫使 $Y \cong X$ 的條件之一，每個由 $\mathcal{D}$ 中不同的 $d$ 標記。
• 本文證明 $X \cong Y$ 若且唯若存在 $h_1 \in N(X)$，使得本原子格 $[H, h_1]_{\text{pr}}$ 的行列式為奇數，且 $h_1^2 = \pm 4$，同時 $h_1 \cdot H \equiv 0 \mod 2$，從而提供同構的簡潔充分條件。