[论文解读] K3 projective models in scrolls

Trygve Johnsen, Andreas Leopold Knutsen|ArXiv.org|Aug 28, 2001

Algebraic Geometry and Number Theory参考文献 160被引用 34

一句话总结

本文分类了非通用 Clifford 指数的复数 K3 曲面在 genus $ g \leq 10 $ 时的射影模型，表明它们可通过自由 Clifford 除子自然嵌入到有理正则扭心中。当 Clifford 指数 $ c = 1 $ 或 $ 2 $ 时，此类曲面是光滑扭心中完整的交集；并通过爆破和去奇异化方法提供奇异扭心的解析，完整补全了 Mukai 一般情形之外的低亏格 K3 曲面嵌入图景。

ABSTRACT

We study the projective models of complex K3 surfaces polarized by a line bundle L such that all smooth curves in |L| have non-general Clifford index. Such models are in a natural way contained in rational normal scrolls. We use this study to classify and describe all projective models of K3 surfaces of genus at most 10.

研究动机与目标

• 对极化 K3 曲面在 genus $ g \leq 10 $ 且 Clifford 指数非一般的射影模型进行分类。
• 通过将这些模型嵌入有理正则扭心中，描述其几何结构。
• 通过爆破操作并构造嵌入曲面的最小自由解析，对环境扭心中的奇点进行解析。
• 通过分析低亏格中非一般情形，扩展 Mukai 对一般 K3 曲面的分类。

提出的方法

• 利用 K3 曲面上的自由 Clifford 除子 $ D $ 构造线性系统 $ \{D_\lambda\} $，其线性张成生成有理正则扭心 $ \mathcal{T} $。
• 分析扭心 $ \mathcal{T} $ 和曲面 $ \phi_L(S) $ 的奇点集，表明奇点由 $ D^2 $ 控制。
• 对奇异扭心执行爆破 $ f: \tilde{S} \to S $，在 $ \{D_\lambda\} $ 的基点处进行，然后构造新线丛 $ H = f^*L + f^*D - E $。
• 证明 $ \phi_H(\tilde{S}) $ 嵌入到光滑有理正则扭心 $ \mathcal{T}_0 $ 中，该扭心为 $ \mathcal{T} $ 的去奇异化。
• 在 $ \mathcal{T}_0 $ 中提供 $ \phi_H(\tilde{S}) $ 的最小自由解析，并研究该解析是否可上移至 $ \mathcal{T} $ 中 $ \phi_L(S) $ 的解析。
• 利用 [Kn2] 中的存在性定理，构造具有指定 Clifford 指数 $ c $ 的例子，并通过曲线 $ \Gamma_i $ 的配置对扭心类型进行分类。

实验结果

研究问题

• RQ1 哪些 genus $ g \leq 10 $ 且 Clifford 指数非一般的 K3 曲面射影模型可嵌入到有理正则扭心中？
• RQ2 环境扭心 $ \mathcal{T} $ 的奇点如何与 K3 曲面及其自由 Clifford 除子 $ D $ 的几何相关？
• RQ3 当自然环境扭心为奇异时，K3 曲面的射影模型是否可在光滑有理正则扭心中实现解析？
• RQ4 对于 $ c = 1, 2, 3 $，哪些曲线和除子类的配置可实现每种扭心类型？
• RQ5 此类 K3 曲面的模空间如何与扭心结构及 Clifford 指数相关联？

主要发现

• 当 $ c = 1 $ 且 $ c = 2 $ 且 $ D^2 = 0 $ 时，K3 曲面是其光滑有理正则扭心中完整的交集。
• 当 $ D^2 > 0 $ 时，曲面在奇异扭心 $ \mathcal{T} $ 中不是完整的交集，但其爆破后可嵌入光滑扭心 $ \mathcal{T}_0 $ 中。
• 对于情形 (CG2)’，模数个数为 17，奇点为最轻的 $ A_1 $；对于 (CG4)’，模数个数为 15，奇点为 $ A_1 + A_3 $。
• 本文提供了 $ g \leq 10 $ 的完整射影模型列表，包含 12 种不同的扭心类型，且给出了显式除子配置，如 $ L \sim 3D + 2\Gamma_1 + 2\Gamma_2 + \Gamma_3 + \Gamma_4 $。
• 若存在自由 Clifford 除子 $ D $ 满足 $ 0 \leq D^2 \leq c+2 $，则曲面位于有理正则扭心中，且对所有满足 $ 0 \leq c \leq \lfloor (g-1)/2 \rfloor $ 的 $ (g,c) $，此类除子均存在。
• 在 $ \mathcal{T} $ 中对 $ \phi_L(S) $ 的解析成立，当且仅当扭心 $ \mathcal{T} $ 光滑，或通过爆破构造消除了奇点。