[论文解读] Some Loci of Rational Cubic Fourfolds

Michele Bolognesi, Francesco Russo+1 more|arXiv (Cornell University)|Apr 22, 2015

Algebraic Geometry and Number Theory参考文献 12被引用 7

一句话总结

本文通过证明每个此类四fold都包含一个具有一个明显二重点（OADP曲面）的曲面（具体为四次有理正则柱面），从而证明了模空间中除子 $ \mathcal{C}_{14} $ 内所有光滑的三次四fold都是有理的。作者采用法诺（Fano）关于由在该柱面上消失的二次曲面所定义的有理映射的经典结果的现代重述，并证明此类曲面的存在性意味着有理性，从而确立了整个除子 $ \mathcal{C}_{14} $ 的有理性，包括非 Pfaffian 例子。

ABSTRACT

In this paper we investigate the divisor $\\mathcal C_{14}$ inside the moduli space of smooth cubic hypersurfaces in $\\mathbb P^5$, whose generic element is a smooth cubic containing a smooth quartic scroll. Using the fact that all degenerations of quartic scrolls in $\\mathbb P^5$ contained in a smooth cubic hypersurface are surfaces with one apparent double point, we conclude that every cubic hypersurface belonging to $\\mathcal C_{14}$ is rational. As an application of our results and of the construction of some explicit examples contained in the Appendix, we also prove that the Pfaffian locus is not open in $\\mathcal C_{14}$.

研究动机与目标

• 确立模空间中除子 $ \mathcal{C}_{14} $ 内所有光滑三次四fold 的有理性，该除子参数化包含一个光滑四次有理正则柱面的四fold。
• 提供法诺（1943）关于由在有理正则柱面上消失的二次曲面所定义的有理映射的经典结果的现代、详尽的阐述。
• 证明三次四fold 中存在一个具有一个明显二重点（OADP 曲面）的曲面，可推出该四fold 的有理性。
• 证明 Pfaffian 簇不是 $ \mathcal{C}_{14} $ 中的开集，从而解决了关于该除子结构的一个关键问题。
• 利用 Macaulay2 计算，构造 $ \mathcal{C}_{14} $ 内包含一个光滑四次有理正则柱面和两个不相交平面的有理三次四fold 的显式例子。

提出的方法

• 利用 $ \mathcal{C}_{14} $ 的霍奇理论特征，将整数上同调类 $ T \in \mathrm{H}^{2,2}(X,\mathbb{Z}) $ 满足 $ T^2 = 10 $ 且 $ T \cdot h^2 = 4 $ 与具有一个明显二重点的四次曲面联系起来。
• 分析由在 $ \mathbb{P}^5 $ 中嵌入的光滑四次有理正则柱面所消失的二次曲面线性系统所定义的有理映射，并将其限制在包含该柱面的三次四fold 上。
• 应用法诺关于由在柱面上消失的二次曲面线性系统所诱导的从三次四fold 到 $ \mathbb{P}^4 $ 的有理映射的几何经典结果，并以现代代数几何语言重新表述。
• 研究 $ \mathcal{C}_{14} $ 内三次四fold 中四次有理正则柱面的希尔伯特纲，证明在光滑三次四fold 中，此类柱面的所有退化情形均为具有一个明显二重点的曲面。
• 使用 Macaulay2 构造 $ \mathcal{C}_{14} $ 内包含一个光滑四次有理正则柱面和两个不相交平面的三次四fold 的显式例子，通过理想计算验证其几何结构。
• 运用双有理几何技巧，包括通过五次德佩多表面的像从 $ \mathbb{P}^4 $ 到三次四fold 的有理映射的构造，以确认有理性。

实验结果

研究问题

• RQ1 模空间中除子 $ \mathcal{C}_{14} $ 内的每个光滑三次四fold 是否都具有有理结构？若是，何种几何条件可保证这一点？
• RQ2 能否通过几何不变量（如存在一个具有一个明显二重点的曲面）将 $ \mathcal{C}_{14} $ 一般成员的有理性推广至所有成员？
• RQ3 Pfaffian 簇在 $ \mathcal{C}_{14} $ 中是否为开集？还是说该除子中存在非 Pfaffian 的有理三次四fold？
• RQ4 在三次四fold 中，具有一个明显二重点的四次曲面的精确霍奇理论特征是什么？
• RQ5 能否构造出 $ \mathcal{C}_{14} $ 内包含一个光滑四次有理正则柱面和两个不相交平面的三次四fold 的显式例子？

主要发现

• 模空间中除子 $ \mathcal{C}_{14} $ 内所有光滑三次四fold 均为有理曲面，将已知的一般成员的有理性推广至整个除子。
• 在光滑三次四fold 上，所有满足 $ T^2 = 10 $ 且 $ T \cdot h^2 = 4 $ 的类 $ T \in \mathrm{H}^{2,2}(X,\mathbb{Z}) $ 均由一个（可能不可约的）具有一个明显二重点的四次曲面表示。
• Pfaffian 簇在 $ \mathcal{C}_{14} $ 中不是开集，这是通过该除子中存在非 Pfaffian 的有理三次四fold 得到证明的。
• 构造了 $ \mathcal{C}_{14} $ 内包含一个光滑四次有理正则柱面和两个不相交平面的三次四fold 的显式例子，其中塞格雷三复形与三次超曲面的剩余交集为一个光滑有理正则柱面。
• 从 $ \mathbb{P}^4 $ 到三次四fold $ V(F) $ 的有理映射是双有理的，经由 Macaulay2 计算确认，为该代数簇提供了明确的双有理参数化。