[論文レビュー] 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 $ 上の層のモジュライ空間 $ Y $ が、Mukai ベクトル $ (a,H,a) $ が等方的である場合に $ X $ に同型であるための必要十分条件を確立する。これは $ a=2 $ の場合に既に得られていた結果を一般化したものである。主な貢献は、$ a \geq 2 $ に対して有効であり、$ h_1^2 = 2\alpha a $、$ H \cdot h_1 \equiv 0 \mod a $ を満たすベクトル $ h_1 \in \text{Pic}(X) $ と、$ x \cdot H = 1 $ を満たすクラスを含む原始的部分格子の存在を含む幾何的条件である。奇数 $ 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.

研究の動機と目的

• Mukai ベクトル $ (a,H,a) $ を持つ K3 表面 $ X $ 上の層のモジュライ空間 $ Y $ が $ X $ に同型である条件を、$ a=2 $ の場合の既存結果を一般化して $ a \geq 2 $ にまで拡張すること。
• 特に、$ Y \cong X $ であるための $ N(X) $ および $ N(Y) $ の Picard 格子に関する必要十分条件を、特定の格子ベクトルが直交性および整数性制約を満たす存在の観点から提示すること。
• $ H^2 = 2a^2 $ を満たす極付き K3 表面 $ (X,H) $ のモジュライ空間における、$ Y \cong X $ を強制するすべての除集合的条件を、算術的不変量を用いて $ \rho(X) = 2 $ の場合に特徴づけること。
• 特定のペル型ディオファントス方程式の解と、同型 $ Y \cong X $ の存在との間の関係を確立し、このような条件が無限個存在することを示すこと。
• Tyurin (1987) が得た既知の結果を、Picard 格子および極化に関する格子論的・算術的条件の観点から一般化し、再解釈すること。

提案手法

• Mukai ベクトル $ v = (a, H, a) $ を用いてモジュライ空間 $ Y $ を構成し、$ h^2 = 2 $ を満たす自然なネフクラス $ h $ を備えた K3 表面として得る。既知の 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 $ を要求する。
• 極付き K3 表面 $ \rho(X) = 2 $ の分類に用いる算術的不変量 $ d = -\det N(X) $ および $ \overline{\mu} \subset (\mathbb{Z}/2a^2)^* $ を導入し、$ \mu^2 \equiv d \mod 4a^2 $ を満たす。
• 同型条件 $ Y \cong X $ を、$ \alpha = \pm 1 $ の場合に $ p^2 - d q^2 = 4a/\alpha $ の整数解が存在し、さらに $ p \equiv \mu q \mod 2a $ を満たすというディオファントス方程式の可解性に帰着する。解の集合が無限であることを示す。
• 原始的ベクトルおよび格子埋め込みの理論を用いて、$ [H, h_1]_{\text{pr}} $ 内に $ x \cdot H = 1 $ を満たすクラス $ x $ が存在することは $ Y \cong X $ を保証し、特定の一般性仮定の下ではこれが必要条件であることを示す。
• ディオファントス方程式の解と $ X $ における幾何的条件との間の対応関係を確立し、各解が $ (X,H) $ のモジュライ空間における除集合的条件に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 Picard 格子 $ N(X) $ および極化 $ H $ に対して、$ a \geq 2 $ の場合に、Mukai ベクトル $ (a,H,a) $ を持つ K3 表面 $ X $ 上の層のモジュライ空間 $ Y $ が $ X $ に同型であるための条件は何か？
• RQ2 極付き K3 表面 $ (X,H) $ のモジュライ空間において $ H^2 = 2a^2 $ を満たす場合に $ Y \cong X $ を強制する除集合的条件の集合を完全に分類することは可能か？
• 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^2 = 2\alpha a $、$ H \cdot h_1 \equiv 0 \mod a $ を満たす $ h_1 \in N(X) $ が存在し、かつ $ x \cdot H = 1 $ を満たすクラスを含む原始的部分格子が存在することは、$ Y \cong X $ に対して必要かつ十分か？

主な発見

• K3 表面 $ X $ 上の層のモジュライ空間 $ Y $ が Mukai ベクトル $ (a,H,a) $ を持つとき、$ Y \cong X $ であるための必要十分条件は、$ \alpha = \pm 1 $ の少なくとも1つの値に対して、$ 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 $ が存在することである。
• $ \rho(X) = 2 $ の場合、$ Y \cong X $ を導く $ (X,H) $ のモジュライ空間における除集合的条件の集合は、$ d \in \mathcal{D}(a)^{\overline{\mu}}_{\alpha} $ のペア $ (d, \overline{\mu}) $ によってパラメータ付けられる。ここで $ \mathcal{D}(a)^{\overline{\mu}}_{\alpha} $ は、$ d \equiv \mu^2 \mod 4a^2 $ を満たし、かつ方程式 $ p^2 - d q^2 = 4a/\alpha $ が $ p \equiv \mu q \mod 2a $ を満たす整数解を持つような $ d \in \mathbb{N} $ の集合である。
• $ \mathcal{D}(a)^{\overline{\mu}}_{\alpha} $ は、各 $ \overline{\mu} $ および $ \alpha $ に対して無限である。これは、$ q = 1 $ とおくことで得られる無限部分集合 $ \{ (\mu + 2t a / \alpha)^2 - 4a/\alpha \in \mathbb{N} \mid t\mu \equiv 1 \mod a \} $ を含むからである。
• ディオファントス方程式 $ p^2 - d q^2 = 4a/\alpha $ で $ p \equiv \mu q \mod 2a $ を満たす各解 $ (p,q) $ は、$ \mu^2 \equiv d \mod 4a^2 $ を満たす一意な $ \mu \mod 2a^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] も含む）は、提案された基準によって説明可能であり、これはその基準の広範な適用可能性と、このような同型の分類における基礎的役割を示している。