[论文解读] Explicit rationality of some cubic fourfolds

Francesco G. Russo, Giovanni Staglianò|arXiv (Cornell University)|Nov 8, 2018

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

一句话总结

本文通过使用沿特定曲面 $S_d$ 具有二重点的五次超曲面线性系，提供了从一般立方四复形在除数 $\mathcal{C}_{14}$、$\mathcal{C}_{26}$ 和 $\mathcal{C}_{38}$ 到 $\mathbb{P}^4$ 的显式双有理映射；通过 5-secant 圆锥的几何约束，证明了这些映射是双有理的，从而为先前工作中获得的抽象有理性结果提供了具体的实现。

ABSTRACT

Recent results of Hassett, Kuznetsov and others pointed out countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and lead to the conjecture that the cubics corresponding to these divisors should be precisely the rational ones. Rationality has been proved by Fano for the first divisor $C_{14}$ and in [arXiv:1707.00999] for the divisors $C_{26}$ and $C_{38}$. In this note we describe explicit birational maps from a general cubic fourfold in $C_{14}$, in $C_{26}$ and in $C_{38}$ to $\mathbb{P}^4$, providing concrete geometric realizations of the more abstract constructions in [arXiv:1707.00999].

研究动机与目标

• 为一般立方四复形在 $\mathcal{C}_{14}$、$\mathcal{C}_{26}$ 和 $\mathcal{C}_{38}$ 中提供到 $\mathbb{P}^4$ 的显式几何构造双有理映射，补充抽象有理性的证明。
• 通过沿曲面 $S_d$ 具有指定奇点的超曲面线性系，实现法诺的经典有理化方法。
• 确认这些立方四复形的有理性源于与具有特定不变量的曲面 $S_d$ 相关的 5-secant 圆锥的族。
• 使用 Macaulay2 提供计算验证和显式参数化，包括逆映射和基底的描述。

提出的方法

• 在有限域上使用多项式映射，构造一个有理映射 $f: \mathbb{P}^2 \dashrightarrow \mathbb{P}^5$，用于参数化 $\mathbb{P}^5$ 中的曲面 $S_d$，其中当 $d=38$ 时，$S_d$ 的次数为 10，截面亏格为 6；当 $d=26$ 时，次数为 8。
• 通过五次超曲面在 $S_d$ 上具有二重点的线性系，定义一个有理映射 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$，使用 Macaulay2 计算射影次数和纤维维数。
• 验证 $\psi$ 的一般纤维维数为 1，次数为 2，基底维数为 3，次数为 6，确认其将 5-secant 圆锥收缩到 $S_d$。
• 将 $\psi$ 限制在包含 $S_d$ 的一般立方四复形 $X$ 上，通过射影次数 $\{3, 15, 27, 9, 1\}$ 证明其限制是一个到 $\mathbb{P}^4$ 的双有理映射。
• 使用在 $\mathbb{P}^5$ 中具有三重点的八次超曲面线性系，构造第二个有理映射 $\eta: \mathbb{P}^5 \dashrightarrow Z \subset \mathbb{P}^{10}$，其中 $Z$ 是 $\mathbb{G}(1,5)$ 的一个 4-维线性截面，且 $T \subset \mathbb{P}^5$ 是一个节点型可展曲面。
• 确认限制映射 $\eta|_X$ 的逆映射由次数为 5 的形式定义，目标为光滑的立方四复形，源为 $\mathbb{P}^{10}$ 中次数为 14 的 4-维曲面。

实验结果

研究问题

• RQ1 能否通过显式双有理映射到 $\mathbb{P}^4$ 来实现一般立方四复形在 $\mathcal{C}_{14}$、$\mathcal{C}_{26}$ 和 $\mathcal{C}_{38}$ 中的抽象有理性？
• RQ2 当限制在包含 $S_d$ 的立方四复形上时，沿曲面 $S_d \subset \mathbb{P}^5$ 具有二重点的五次超曲面线性系是否诱导出双有理映射？
• RQ3 由沿 $S_d$ 具有二重点的五次超曲面定义的映射 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$ 的纤维是否为 $S_d$ 的 5-secant 圆锥，且这是否能保证在立方四复形上实现双有理性？
• RQ4 能否几何地描述映射 $\psi$ 的基底，且其是否与立方四复形 $X$ 的结构相关？
• RQ5 限制映射 $\psi|_X$ 的像的次数和结构是什么？其逆映射的次数是多少？

主要发现

• 由沿 $S_{38}$ 具有二重点的五次超曲面定义的有理映射 $\psi: \mathbb{P}^5 \dashrightarrow \mathbb{P}^4$ 限制在 $\mathcal{C}_{38}$ 中的一般立方四复形上，是到 $\mathbb{P}^4$ 的双有理映射，其射影次数为 $\{3, 15, 27, 9, 1\}$。
• $\psi|_X$ 的逆映射由次数为 5 的形式定义，其源为 $\mathbb{P}^{10}$ 中次数为 14 的 4-维曲面，由 15 个二次曲面截得。
• $\psi$ 的基底维数为 3，次数为 6，纤维为 $S_{38}$ 的不可约 5-secant 圆锥，确认了其族结构。
• 当 $d=38$ 时，由在 $\mathbb{P}^5$ 中具有三重点的八次超曲面定义的映射 $\eta: \mathbb{P}^5 \dashrightarrow Z \subset \mathbb{P}^{10}$，限制在 $X$ 上，是到 $\mathbb{G}(1,5)$ 的 4-维线性截面的双有理映射。
• $\eta$ 的像 $Z$ 是 $\mathbb{P}^{10}$ 中次数为 14 的 4-维代数簇，且其逆映射由次数为 5 的形式定义。
• Macaulay2 包 'ExplicitRationality' 提供了所有六个映射的显式构造，包括 $S_d$ 的参数化、映射 $\psi$ 及其在 $X$ 上的限制，实现了完整的计算验证。