[论文解读] On a classical correspondence between K3 surfaces II

Carlo Madonna, Viacheslav V. Nikulin|ArXiv.org|Apr 25, 2003

Algebraic Geometry and Number Theory参考文献 14被引用 10

一句话总结

本文建立了K3曲面$ X $上具有同调类为$ (a,H,a) $的Mukai向量的层的模空间$ Y $同构于$ X $的充要条件，推广了此前对$ a=2 $的结果。关键贡献是一个几何判据，涉及存在一个向量$ h_1 \in \text{Pic}(X) $，满足$ h_1^2 = 2\alpha a $，$ H \cdot h_1 \equiv 0 \mod a $，且包含一个满足$ x \cdot H = 1 $的类$ x $的原始子格，该判据对$ a \geq 2 $成立，且对奇数$ a $有额外的整数性条件。

ABSTRACT

Let X be a K3 surface and H a primitive polarization of degree H^2=2a^2, a>1. The moduli space of sheaves over X with the isotropic Mukai vector (a,H,a) is again a K3 surface Y which is endowed by a natural nef element h with h^2=2. We give necessary and sufficient conditions in terms of Picard lattices N(X) and N(Y) when Y\cong X, generalising our results math.AG/0206158 for a=2. E.g. we show that Y\cong X if for one of α=\pm 1,\pm 2 which is coprime to a there exists h_1\in N(X) such that h_1^2= 2αa, H\cdot h_1\equiv 0\mod αa, and the primitive sublattice [H,h_1]_{pr} \subset N(X) contains x such that $x\cdot H=1$. We find all divisorial conditions on moduli of (X,H) (i.e for Picard number 2) which imply Y\cong X and H\cdot N(X)=Z. Some of these conditions were found in different form by A.N. Tyurin in 1987.

研究动机与目标

• 解决经典问题：当K3曲面$ X $上具有Mukai向量$ (a,H,a) $的层的模空间$ Y $同构于$ X $时，其条件是什么，将先前对$ a=2 $的结果推广至一般$ a \geq 2 $。
• 为$ Y \cong X $提供关于Picard格$ N(X) $和$ N(Y) $的必要且充分条件，特别关注满足正交性和整数约束的特定格向量的存在性。
• 刻画极化K3曲面$ (X,H) $的模空间中所有迫使$ Y \cong X $的除子性条件，其中$ H^2 = 2a^2 $，尤其针对$ \rho(X) = 2 $的情形，使用算术不变量。
• 建立某些佩尔型丢番图方程的解与同构$ Y \cong X $存在的联系，表明此类条件有无穷多个。
• 以格理论和算术条件重新解释并推广Tyurin（1987）的已知结果。

提出的方法

• 使用Mukai向量$ v = (a, H, a) $构造模空间$ Y $，其为一个带有自然的 nef 类$ h $的K3曲面，满足$ h^2 = 2 $，利用关于K3曲面上层模空间的已知结果。
• 应用格论技术分析Picard格$ N(X) $，重点研究由$ H $和候选向量$ h_1 $生成的原始子格$ [H, h_1]_{\text{pr}} $，要求$ h_1^2 = 2\alpha a $且$ H \cdot h_1 \equiv 0 \mod a $。
• 引入算术不变量$ d = -\det N(X) $和$ \overline{\mu} \subset (\mathbb{Z}/2a^2)^* $，满足$ \mu^2 \equiv d \mod 4a^2 $，以对满足$ \rho(X) = 2 $的极化K3曲面进行分类。
• 将同构条件$ Y \cong X $约化为丢番图方程$ p^2 - d q^2 = 4a/\alpha $的可解性，其中$ p \equiv \mu q \mod 2a $，且$ \alpha = \pm 1 $，并证明解集为无限集。
• 利用本原向量和格嵌入理论，证明在$ [H, h_1]_{\text{pr}} $中存在满足$ x \cdot H = 1 $的类$ x $可保证同构$ Y \cong X $，且在某些一般性假设下该条件是必要的。
• 建立丢番图方程的解与$ X $的几何条件之间的对应关系，表明每个此类解对应于$ (X,H) $模空间中的一个除子性条件。

实验结果

研究问题

• RQ1 在Picard格$ N(X) $和极化$ H $满足何种条件时，K3曲面$ X $上具有Mukai向量$ (a,H,a) $的层的模空间$ Y $同构于$ X $，其中$ a \geq 2 $？
• RQ2 如何完全分类极化K3曲面$ (X,H) $的模空间中所有迫使$ Y \cong X $的除子性条件，其中$ H^2 = 2a^2 $？
• RQ3 丢番图方程$ p^2 - d q^2 = 4a/\alpha $在满足$ p \equiv \mu q \mod 2a $时的解在决定同构$ Y \cong X $中起什么作用？
• RQ4 Tyurin（1987）发现的已知无穷多组除子性条件是否被所提出的算术条件完全涵盖？能否推广至所有$ a \geq 2 $？
• RQ5 是否存在向量$ h_1 \in N(X) $，满足$ h_1^2 = 2\alpha a $，$ H \cdot h_1 \equiv 0 \mod a $，且原始子格中包含一个满足$ x \cdot H = 1 $的类$ x $，使得该条件对$ Y \cong X $既必要又充分？

主要发现

• 当且仅当存在$ h_1 \in N(X) $，使得$ h_1^2 = 2\alpha a $，$ H \cdot h_1 \equiv 0 \mod a $，且原始子格$ [H, h_1]_{\text{pr}} $中包含一个满足$ x \cdot H = 1 $的类$ x $，对某个$ \alpha = \pm 1 $，K3曲面$ X $上具有Mukai向量$ (a,H,a) $的层的模空间$ Y $同构于$ X $。
• 当$ \rho(X) = 2 $时，模空间中迫使$ Y \cong X $且$ H \cdot N(X) = \mathbb{Z} $的除子性条件集合由对$ (d, \overline{\mu}) $参数化，其中$ d \in \mathcal{D}(a)^{\overline{\mu}}_{\alpha} $，且$ \mathcal{D}(a)^{\overline{\mu}}_{\alpha} $是满足$ d \equiv \mu^2 \mod 4a^2 $且方程$ p^2 - d q^2 = 4a/\alpha $有整数解$ (p,q) $满足$ p \equiv \mu q \mod 2a $的$ d \in \mathbb{N} $的集合。
• $ \mathcal{D}(a)^{\overline{\mu}}_{\alpha} $对每个$ \overline{\mu} $和$ \alpha $都是无限集，因为它包含无限子集$ \{ (\mu + 2t a / \alpha)^2 - 4a/\alpha \in \mathbb{N} \mid t\mu \equiv 1 \mod a \} $，该子集通过令$ q = 1 $得到。
• 每个满足$ p^2 - d q^2 = 4a/\alpha $且$ p \equiv \mu q \mod 2a $的解$ (p,q) $唯一确定一个$ \mu \mod 2a^2 $，使得$ \mu^2 \equiv d \mod 4a^2 $，从而在解与算术不变量之间建立双射。
• 当$ X $为一般情形且$ \rho(X) = 1 $或$ \rho(X) = 2 $时，原始子格$ [H, h_1]_{\text{pr}} $中$ x \cdot H = 1 $的条件对$ Y \cong X $既必要又充分；对奇数$ a $，还需满足$ H \cdot N(X) = \mathbb{Z} $。
• 许多已知的$ Y \cong X $的例子，包括[2]、[8]和[17]中的例子，均可由所提出的判据解释，表明其具有广泛适用性，并在该类同构的分类中具有基础性作用。