[论文解读] On the birational geometry for irreducible symplectic 4-folds related to the Fano schemes of lines

Kotaro Kawatani|ArXiv.org|Jun 3, 2009

Algebraic Geometry and Number Theory参考文献 8被引用 5

一句话总结

本文研究了由光滑三次四fold的线Fano簇在有限群作用下取商所得的不可约对称四fold的双有理几何。在群作用良好、保持对称形式且允许极小解析解的情况下，本文证明这些解析解双有理同构于广义Kummer簇或K3曲面上的点的希尔伯特模形式，通过几何构造与流形变换理论，提供了新的对称四fold示例。

ABSTRACT

There is two group actions on the Fano scheme of lines such that the quotient becomes an irreducible symplectic manifold. We showed that both quotients are birational to the generalized Kummer variety or the 2-points Hilbert scheme of a K3 surface.

研究动机与目标

• 分类光滑三次四fold Y 的线Fano簇 F(Y) 上保持对称形式并允许极小解析解的有限群作用。
• 确定当 G 作用于 F(Y) 时，极小解析解 X̃_G 的双有理类型。
• 通过商与解析解过程构造不可约对称四fold的新示例。
• 探索对称几何、模形式空间与几何不变量（如Hodge结构与奇点）之间的关系。
• 识别同一解析解的多个对称双有理模型，特别是在基础曲线非同源时。

提出的方法

• 利用Beauville-Donagi定理：当 Y 为光滑三次四fold 时，F(Y) 是不可约对称四fold。
• 分析 P⁵ 上保持三次形式的线性作用在 F(Y) 上诱导的 Z₃ 与 Z₃⁴ 作用。
• 应用Abel-Jacobi映射，将 H⁴(Y, C) 与 H²(F(Y), C) 关联，以验证对称形式的保持性。
• 利用Hilbert-Chow映射与广义Kummer构造，定义阿贝尔曲面 A 的 Kⁿ(A)。
• 在18个不相交的 P² 上应用Mukai流形变换，构造双有理映射 ψ: X̃_Z₃ → K²(C×D)，其中 C 与 D 为椭圆曲线。
• 应用群作用分析与商几何，证明解析解 X̃_G 双有理同构于由 E×E 的 Z₃ 商所得的K3曲面 S 上的 Hilb²(S)。

实验结果

研究问题

• RQ1 当有限群 G 作用于三次四fold 的线Fano簇 F(Y) 时，何时保持对称形式并允许极小解析解？
• RQ2 当 G = Z₃ 通过三次形式的对角缩放作用于 F(Y) 时，极小解析解 X̃_G 的双有理类型为何？
• RQ3 对于同一解析解 X̃_G，是否可能存在多个对称双有理模型，尤其当基础曲线非同源时？
• RQ4 E×E 上的 Z₃ 作用（具有复乘法）如何导出K3曲面 S？X̃_G 与 Hilb²(S) 之间的双有理关系为何？
• RQ5 Mukai流形变换在实现 X̃_Z₃ 与 K²(C×D) 之间的双有理等价性中起何作用？

主要发现

• 当 G = Z₃ 作用于 F(Y) 时，(z₀:…:z₅) ↦ (z₀:z₁:z₂:ζz₃:ζz₄:ζz₅)，商 X_G 沿 C×D 有 A₂ 奇点，并允许极小解析解 X̃_Z₃。
• 极小解析解 X̃_Z₃ 双有理同构于椭圆曲线 C 与 D 的广义Kummer簇 K²(C×D)，其中 C 与 D 由三次形式 f 与 g 定义。
• 存在自然的双有理映射 ψ: X̃_Z₃ ⇢ K²(C×D)，其作为18个不相交 P² 上的Mukai流形变换实现。
• 当 C 与 D 非同源时，除 X̃_Z₃ 与 K²(C×D) 外，还存在两个额外的对称双有理模型 X_I 与 X_II。
• 当 G = Z₃⁴ 作用于 F(Y) 且定义为 ∑z_i³ = 0 时，商 X_G 允许极小解析解 X̃_G，其双有理同构于 Hilb²(S)，其中 S 为 (E×E)/Z₃，E: z₀³ + z₁³ + z₂³ = 0。
• K3曲面 S 通过 Z₃ 作用 (x,y) ↦ (ζx, ζ²y) 在 E×E 上构造，保持对称形式并产生极小解析解。