[论文解读] Rational curves on holomorphic symplectic fourfolds

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Oct 5, 1999

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

一句话总结

本文利用 H^2(F, ℤ) 上的 Beauville 形式，提出了关于形变等价于 K3 表面两点的 Hilbert 模丛的复辛四倍体上有效曲线锥与充分除子锥的猜想结构。作者通过形变理论在模空间的开子集上证明了这些猜想成立，其结果对通过其直线的 Fano 簇与立方四次曲面相关联。

ABSTRACT

Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral symmetric nondegenerate form, the Beauville form. We give precise conjectures for the structure of the cone of effective curves - and by duality - the cone of ample divisors. Formally they are completely analogous to the results known for K3 surfaces, and they are expressed entirely in terms of the integers represented by the Beauville form restricted to Pic(F). We prove that these conjectures are true in an open subset of the moduli space using deformation theory. The Fano variety of lines contained in a cubic fourfold is an example of a holomorphic symplectic fourfold. Our conjectures imply many concrete geometric statements about cubic fourfolds which may be verified using projective geometry.

研究动机与目标

• 理解形变等价于 K3 表面两点的 Hilbert 模丛的复辛四倍体上有效曲线锥的结构。
• 利用 Pic(F) 上的 Beauville 形式，建立有效曲线锥与充分除子锥之间的对偶性。
• 以精确的数论形式，将 K3 表面的已知结果推广至高维复辛流形。
• 利用形变理论技术，在模空间的开子集上验证这些猜想。
• 将猜想应用于几何上具体的实例，特别是立方四次曲面的直线 Fano 簇。

提出的方法

• 以 H^2(F, ℤ) 上的 Beauville 形式作为核心双线性形式，编码四倍体 F 的几何数据。
• 应用形变理论，证明有效锥的猜想结构在模空间的开子集上成立。
• 借鉴 K3 表面的类比，推测有效锥由 Pic(F) 上 Beauville 形式的整数表示所决定。
• 利用有效曲线与充分除子之间的对偶性，将 F 的几何与 Beauville 形式的算术联系起来。
• 将立方四次曲面的直线 Fano 簇作为复辛四倍体的一个关键实例进行研究。
• 利用经典射影几何技术，在立方四次曲面上验证猜想的几何后果。

实验结果

研究问题

• RQ1 如何用其第二上同调上的 Beauville 形式描述复辛四倍体上有效曲线锥的结构？
• RQ2 此类四倍体上有效锥与充分锥的猜想结构在多大程度上与 K3 表面上的结构相类似？
• RQ3 能否证明有效锥的猜想结构在模空间的开子集上成立？
• RQ4 关于立方四次曲面的直线 Fano 簇的猜想，会引出哪些几何后果？
• RQ5 Pic(F) 上 Beauville 形式所表示的整数如何约束 F 上有理曲线的几何结构？

主要发现

• 有效锥及其对偶——充分锥的猜想结构，已在极化复辛四倍体模空间的开子集上被证明成立。
• 有效锥的几何完全由限制在 Pic(F) 上的 Beauville 形式的整数表示理论决定。
• 立方四次曲面的直线 Fano 簇被证明是满足这些猜想的复辛四倍体。
• 这些猜想对立方四次曲面上有理曲线的存在性与分布性，给出了具体的几何陈述。
• 形变理论为在模空间的 Zariski 开邻域内验证猜想提供了机制。
• 结果以精确的数论形式，刻画了有效曲线锥与 Beauville 形式整数表示之间的关系。