[论文解读] Two polarized K3 surfaces associated to the same cubic fourfold

Emma Brakkee|arXiv (Cornell University)|Aug 3, 2018

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

该论文证明，对于任意极化 K3 表面 (S,L)（其度数 d ≡ 0 mod 6），在 Hassett 对合 τ 下对应的 K3 表面 S^τ 同构于 S 上具有 Mukai 向量 (3,L,d/6) 的稳定层的模空间。此外，该论文进一步证明，当且仅当丢番图方程 3p² − (d/6)q² = −1 存在整数解时，S 和 S^τ 上的两个点的 Hilbert 模空间是双有理等价的，从而为某些 d 值构造出导出等价但非双有理等价的 Hilbert 模空间。

ABSTRACT

For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically yields another one, $(S^τ,L^τ)$. We prove that $S^τ$ is isomorphic to the moduli space of stable coherent sheaves on $S$ with Mukai vector $(3,L,d/6)$. We also explain for which $d$ the Hilbert schemes $ ext{Hilb}^n(S)$ and $ ext{Hilb}^n(S^τ)$ are birational.

研究动机与目标

• 对度数 d ≡ 0 mod 6 的极化 K3 表面模空间上的对合 τ 进行几何描述。
• 确定 K3 表面及其 τ-伙伴上两个点的 Hilbert 模空间何时双有理等价。
• 构造 K3 表面上两个点的 Hilbert 模空间导出等价但非双有理等价的示例。
• 阐明 Kuznetsov 伴随立方四fold 的 K3 表面 S^τ 与 S 上具有 Mukai 向量 (3,L,d/6) 的层模空间之间的关系。

提出的方法

• 利用 Mukai 格和立方四fold 与 K3 表面之间的霍奇理论对应关系，在模空间 M_d 上定义对合 τ。
• 应用格论技术，包括判别群和正交扩张，分析 τ 的作用。
• 证明 S^τ 同构于 S 上具有 Mukai 向量 (3,L,d/6) 的稳定层的模空间 M_S(3,L,d/6)。
• 将 Hilb²(S) 与 Hilb²(S^τ) 的双有理等价性问题归约为丢番图方程 3p² − (d/6)q² = −1 的可解性。
• 利用关联立方四fold 的 Kuznetsov 类别实现的 S 与 S^τ 之间的导出等价性，支持几何构造。
• 通过分析 Hilb²(S) 上的 Néron–Severi 群与线丛结构，推导出双有理等价性准则。

实验结果

研究问题

• RQ1 当 d ≡ 0 mod 6 时，度数为 d 的极化 K3 表面模空间上的对合 τ 的几何本质是什么？
• RQ2 K3 表面及其 τ-伙伴上两个点的 Hilbert 模空间在何时是双有理等价的？
• RQ3 K3 表面上两个点的 Hilbert 模空间是否可能导出等价但非双有理等价？若可能，其条件是什么？
• RQ4 具有 Mukai 向量 (3,L,d/6) 的稳定层模空间与 τ-伙伴 K3 表面 S^τ 之间有何关系？
• RQ5 方程 3p² − (d/6)q² = −1 的可解性在两个点的 Hilbert 模空间的双有理几何中起什么作用？

主要发现

• 对合 τ 将极化 K3 表面 (S,L) 映射到一个同构于 S 上具有 Mukai 向量 (3,L,d/6) 的稳定层模空间 M_S(3,L,d/6) 的表面 S^τ。
• 对于满足 ρ(S) = 1 的一般 (S,L)，Hilb²(S) 与 Hilb²(S^τ) 双有理等价当且仅当丢番图方程 3p² − (d/6)q² = −1 存在整数解。
• 存在无穷多个 d 使得方程 3p² − (d/6)q² = −1 可解，但并非所有 d 都满足此条件。
• 当 d = 6·73 时，方程不可解，因此 Hilb²(S) 与 Hilb²(S^τ) 不是双有理等价的，尽管它们是导出等价的。
• 该论文构造了首个已知的 K3 表面上两个点的 Hilbert 模空间导出等价但非双有理等价的示例。
• 对于 n ≥ 3，Hilb^n(S) 与 Hilb^n(S^τ) 的双有理等价性取决于以下两个方程之一的可解性：3p²(n−1) − (d/6)q² = −1 或 3p² − (d/6)q²(n−1) = −1，其可解性条件取决于 d/6 模 4 或 8 的值。