[论文解读] Rational fibered cubic fourfolds

Hanine Awada|arXiv (Cornell University)|Oct 22, 2019

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

一句话总结

本文在模空间 $χ_{18}$ 和 $χ_8$ 中构造了新的有理三次四超曲面例子，这些四超曲面纤维化为德尔皮诺或二次曲面，但缺乏有理截面，从而证明有理截面并非有理性的必要条件。通过分析特殊三次四超曲面除子的交点并计算相关的布饶尔类，作者展示了具有非平凡布饶尔不变量却仍为有理曲面的显式三次超曲面，挑战了纤维化构造中对有理截面的必要性。

ABSTRACT

Some classes of cubic fourfolds are birational to fibrations over $P^2$, where the fibers are rational surfaces. This is the case for cubics containing a plane (resp. an elliptic ruled surface), where the fibers are quadric surfaces (resp. del Pezzo sextic surfaces). It is known that the rationality of these cubic hypersurfaces is related to the rationality of these surfaces over the function field of $P^2$ and to the existence of rational (multi)sections of the fibrations. We study, in the moduli space of cubic fourfolds, the intersection of the divisor $C_{8}$ (resp. $C_{18}$) with $C_{14}$, $C_{26}$ and $C_{38}$, whose elements are known to be rational cubic fourfolds. We provide descriptions of the irreducible components of these intersections and give new explicit examples of rational cubics fibered in (quartic, quintic) del Pezzo surfaces or in quadric surfaces over $P^2$. We also investigate the existence of rational sections for these fibrations. Under some mild assumptions on the singularities of the fibers, these properties can be translated in terms of Brauer classes on certain surfaces.

研究动机与目标

• 研究纤维化为德尔皮诺或二次曲面的有理三次四超曲面是否必须具有有理截面。
• 在 $χ_{18}$ 和 $χ_8$ 中构造具有关联纤维化无有理截面的有理三次四超曲面的显式例子。
• 分析布饶尔类在决定纤维化三次四超曲面有理性中的作用。
• 完整描述交集 $χ_{18} \cap \u03c7_{14}$、$χ_{18} \cap \u03c7_{26}$、$χ_{18} \cap \u03c7_{38}$ 以及 $χ_8 \cap \u03c7_{26}$、$χ_8 \cap \u03c7_{38}$ 的不可约分支。
• 证明非平凡布饶尔类可在纤维化三次四超曲面中与有理性共存。

提出的方法

• 本文通过在特殊除子簇 $χ_d$ 上的交点理论研究三次四超曲面模空间中的余维数为二的代数系。
• 利用 Macaulay2 构造了 $χ_{18} \cap \u03c7_{14}$ 和 $χ_8 \cap \u03c7_{38}$ 中具有非平凡布饶尔类的三次四超曲面的显式方程。
• 作者分析了相关纤维化的几何结构：在 $×mathbb{P}^2$ 上的六次德尔皮诺纤维化与在 $×mathbb{P}^2$ 上的二次曲面纤维化。
• 分别对相对希尔伯特概形 $×mathcal{H}(0,3)$ 和 $×mathcal{H}(0,2)$ 计算了布饶尔类 $b_2 \in Br(S)$ 和 $b_3 \in Br(Z)$，以检测多节的存在性。
• 通过文献中已知结果，将布饶尔类的平凡性与有理截面或多节的存在性联系起来。
• 通过检查判别曲线的横截性与光滑性，验证了纤维化为“良好”纤维化，确保纤维化结构行为良好。

实验结果

研究问题

• RQ1 纤维化为德尔皮诺或二次曲面的三次四超曲面，其有理性是否必须依赖于有理截面的存在？
• RQ2 具有关联纤维化中非平凡布饶尔类的有理三次四超曲面是否存在？
• RQ3 交集 $χ_{18} \cap \u03c7_{14}$、$χ_{18} \cap \u03c7_{26}$、$χ_{18} \cap \u03c7_{38}$ 以及 $χ_8 \cap \u03c7_{26}$、$χ_8 \cap \u03c7_{38}$ 的不可约分支结构如何？
• RQ4 如何显式构造这些交集中具有非平凡布饶尔不变量的三次四超曲面？
• RQ5 判别曲线的几何意义及其光滑性在确保纤维化为良好纤维化中起什么作用？

主要发现

• 本文构造了一个位于 $χ_{18} \cap \u03c7_{14}$ 中的有理三次四超曲面，其具有良好的六次德尔皮诺纤维化与非平凡布饶尔类 $b_3$，证明了有理截面并非有理性的必要条件。
• $χ_{18} \cap \u03c7_{14}$ 包含一个维数为 19 的不可约分支，其关联纤维化为良好纤维化，其中 $B_I$ 为光滑六次曲线，$B_{II}$ 为具有 9 个尖点的六次曲线，且二者横截相交于 36 个点。
• 在 $χ_8 \cap \u03c7_{38}$ 中构造了一个包含平面与一个 10 次曲面 $S_{38}$ 的有理三次四超曲面 $Y$，其判别曲线 $D$ 为光滑六次曲线，确认纤维化为良好纤维化。
• $Y$ 的关联二次曲面丛在某个 2 次的 $K3$ 曲面 $S$ 上具有非平凡布饶尔类 $\beta \in Br(S)$，表明其具有有理性但无有理截面。
• $χ_8 \cap \u03c7_{38}$ 中的例子索引为 $\tau = 2$，布饶尔类 $\beta$ 非平凡，确认了有理截面的缺失。
• 提供了在 $\mathbb{P}^5$ 中的三次四超曲面 $Y$ 与判别曲线 $D$ 的显式方程，二者均定义在有限域上，系数属于 $\mathbb{F}_{1637}$。