[论文解读] Fano threefolds and K3 surfaces

Arnaud Beauville|ArXiv.org|Nov 20, 2002

Algebraic Geometry and Number Theory参考文献 4被引用 33

一句话总结

本文证明，一个一般极化的K3曲面在亏格 $ g $ 下作为法诺三fold的光滑反 canonical 截面，当且仅当其 Picard 晶格与极化类与某个法诺三fold 的完全匹配。关键结果是，从固定 Picard 晶格的法诺三fold 模堆栈到极化 K3 曲面模堆栈的遗忘态射是光滑且在一般情形下满射的，其相对维数为 $ b_3(V)/2 $，从而完整刻画了哪些 K3 曲面会作为法诺三fold 的反 canonical 截面出现。

ABSTRACT

We discuss in this note which K3 surfaces appear as anticanonical divisors in a Fano threefold. We prove in particular that a general K3 surface with given Picard lattice P and polarization class h in P is an anticanonical divisor in a Fano threefold if and only if (P,h) is isomorphic to (Pic(V), c_1(V)) for some Fano threefold V, where Pic(V) is equipped with the intersection product (L,M) --> (L.M.c_1(V)).

研究动机与目标

• 确定哪些极化 K3 曲面可作为法诺三fold 中的光滑反 canonical 截面。
• 通过 Picard 晶格约束，分析法诺三fold 与其 K3 截面曲面之间的模理论关系。
• 建立在给定 Picard 晶格与极化类下，某 K3 曲面可实现为法诺三fold 的超平面截面的条件。
• 阐明控制此类法诺三fold 存在性的变形理论机制。
• 完整刻画从法诺三fold 模堆栈到极化 K3 曲面模堆栈的遗忘态射的像。

提出的方法

• 构造模堆栈 $ \mathcal{F}_g^R $，参数化对 $ (V,S) $，其中 $ V $ 是亏格 $ g $ 的法诺三fold，$ S \subset |K_V^{-1}| $ 是一个光滑反 canonical 截面，且固定晶格同构 $ R \cong \mathop{\rm Pic}(V) $ 将 $ \rho \mapsto K_V^{-1} $。
• 定义模堆栈 $ \mathcal{K}_g^R $，参数化极化 K3 曲面 $ (S, \mathcal{O}_S(\rho)) $，其中 $ R $ 有初等嵌入到 $ \mathop{\rm Pic}(S) $ 中，且 $ \rho $ 映射到一个 ample 类。
• 应用变形理论，证明遗忘态射 $ s_g^R: \mathcal{F}_g^R \to \mathcal{K}_g^R $ 是光滑且在一般情形下满射的。
• 利用弱 Lefschetz 定理，确保限制映射 $ \mathop{\rm Pic}(V) \to \mathop{\rm Pic}(S) $ 的单射性，从而对 K3 曲面施加晶格理论约束。
• 分析在点 $ (V,S) $ 处 $ s_g^R $ 的相对维数，利用上同调工具与 Serre 对偶性，证明其等于 $ b_3(V)/2 $。
• 应用对偶对 $ (X,Y) $ 的一阶变形理论，由层 $ T_X\langle Y\rangle $ 控制，研究模堆栈的切空间。

实验结果

研究问题

• RQ1 哪些极化 K3 曲面可作为法诺三fold 中的反 canonical 截面？
• RQ2 在 Picard 群的晶格理论条件下，K3 曲面在何种情况下可实现为法诺三fold 的超平面截面？
• RQ3 从固定 Picard 晶格的法诺三fold 模堆栈到极化 K3 曲面模堆栈的遗忘态射是否光滑且在一般情形下满射？
• RQ4 该遗忘态射的相对维数是多少，它与法诺三fold 的拓扑有何关联？
• RQ5 对偶对 $ (X,Y) $ 的变形理论如何控制包含给定 K3 曲面作为超平面截面的法诺三fold 的存在性？

主要发现

• 遗忘态射 $ s_g^R: \mathcal{F}_g^R \to \mathcal{K}_g^R $ 是光滑且在一般情形下满射的，意味着一般情况下，具有固定 Picard 晶格 $ R $ 与平方为 $ 2g-2 $ 的极化类 $ \rho \in R $ 的 K3 曲面，会作为某个法诺三fold 的反 canonical 截面出现。
• 在点 $ (V,S) $ 处，$ s_g^R $ 的相对维数为 $ b_3(V)/2 $，这量化了包含给定 K3 曲面作为超平面截面的法诺三fold 的模数个数。
• 一个具有 Picard 晶格 $ R $ 与极化类 $ \rho $ 的 K3 曲面 $ S $ 是法诺三fold 的反 canonical 截面，当且仅当 $ (R, \rho) \cong (\mathop{\rm Pic}(V), K_V^{-1}) $ 对某个法诺三fold $ V $ 成立，从而提供了必要且充分条件。
• 态射 $ s_g^R $ 在 $ (V,S) $ 处光滑当且仅当 $ H^0(S, \Omega^1_S \otimes \mathcal{O}_S(\rho)) = 0 $，且无分支当且仅当 $ H^1(S, \Omega^1_S \otimes \mathcal{O}_S(\rho)) = 0 $，这些条件仅依赖于极化 $ \mathcal{O}_S(\rho) $。
• 当 $ g \leq 9 $ 且 $ g = 11 $ 时，态射 $ s_g^R $ 是在一般情形下满射的；而当 $ g = 10 $ 时，其像为模曲线空间中 Wahl 映射非双射的超曲面。
• 存在 $ s_g^R $ 不光滑或不无分支的例子，例如当 $ S $ 允许椭圆线束且 $ L = \mathcal{O}_S(kE + \Gamma) $ 时，有 $ \dim H^0(S, \Omega^1_S \otimes L) \geq k-1 $，表明该态射在正亏格情形下可能不光滑。