[论文解读] Intersections of three quadrics in $\mathbb{P}^7$

Brendan Hassett, Alena Pirutka+1 more|arXiv (Cornell University)|Jun 5, 2017

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

一句话总结

本文研究了 $\mathbb{P}^7$ 中三个二次曲面的光滑完备交的有理性质，证明在单一族中同时存在有理与非有理的纤维。通过无挠上同调和普遍 $\mathrm{CH}_0$-平凡性的专门化方法，证明非常一般纤维不是稳定有理的，而有理纤维在欧氏拓扑下稠密，揭示了四维中在有理性和形变之间复杂的相互作用。

ABSTRACT

We study rationality properties of smooth complete intersections of three quadrics in $\mathbb{P}^7$. We exhibit a smooth family of such intersections with both rational and non-rational fibers.

研究动机与目标

• 研究 $\mathbb{P}^7$ 中三个二次曲面的光滑完备交的有理性质。
• 确定此类四流形是否可在单一族中同时具有有理与非有理的纤维。
• 应用专门化方法，通过无挠上同调和普遍 $\mathrm{CH}_0$-平凡性的障碍条件，检测稳定无理性的失败。
• 比较 $\mathbb{P}^2$ 上具有相同判别曲线但不同双次数的两个二次曲面丛的双有理几何。
• 建立相同的参考流形支撑具有不同有理性质的多个四流形族。

提出的方法

• 通过 $\mathbb{P}^7$ 中三个二次曲面完备交的平坦族 $\phi: \mathcal{X} \to B$ 应用专门化方法。
• 通过条件 (R) 和 (O) 检测稳定无理性的失败：其一个解析化 $\beta: \tilde{X} \to X$ 是普遍 $\mathrm{CH}_0$-平凡的，但 $\tilde{X}$ 本身并非如此。
• 通过非平凡的无挠上同调 $H^2_{\text{nr}}(\mathbb{C}(X)/\mathbb{C}, \mathbb{Z}/2)$ 验证障碍 (O)。
• 使用双次数为 $(2,2)$ 的参考流形 $Y \subset \mathbb{P}^2 \times \mathbb{P}^3$ 作为两个族的共同专门化目标。
• 通过 Laszlo 定理构造一个上同调对应，将 $H^4_0(Q, \mathbb{Z})(1)$ 与双覆盖 $S \to \mathbb{P}^2$ 的 $H^2_0(S, \mathbb{Z})$ 联系起来，该双覆盖沿判别曲线分支。
• 通过原始上同调格的 2-adic 格子不变量，证明具有相同判别曲线但不同双次数的两个二次曲面丛是非双有理的。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^7$ 中三个二次曲面的光滑完备交族中，能否在同一族中同时表现出有理与非有理的纤维？
• RQ2 专门化方法能否检测到 Picard 秩为一的四流形的稳定无理性？
• RQ3 两个在 $\mathbb{P}^2$ 上的二次曲面丛若具有相同的退化曲线，是否可能非双有理，尽管共享一个共同的参考流形？
• RQ4 原始上同调格的 $2$-adic 不变量如何区分二次曲面丛的双有理等价类？
• RQ5 无挠上同调 $H^2_{\text{nr}}(X, \mathbb{Z}/2)$ 在阻碍这些四流形的稳定有理性方面起什么作用？

主要发现

• 在 $\mathbb{P}^7$ 中三个二次曲面的光滑交的普遍族中，非常一般纤维不是稳定有理的。
• 该族中具有有理性的纤维在欧氏拓扑下稠密，表明在拓扑意义上，有理性是普遍的。
• 双次数为 $(2,2)$ 的参考流形 $Y \subset \mathbb{P}^2 \times \mathbb{P}^3$（由特定对称形式定义）支持专门化方法所需的障碍 (O) 和解决 (R) 条件。
• 尽管共享相同的参考流形和判别曲线，两个族——$\mathbb{P}^2 \times \mathbb{P}^3$ 中的 $(2,2)$ 超曲面族与 $\mathbb{P}^7$ 中三个二次曲面的完备交族——并非双有理等价。
• 具有相同退化曲线的两个二次曲面丛的格 $H^4_0(Q_1, \mathbb{Z})$ 和 $H^4_0(Q_2, \mathbb{Z})$ 在 2-adic 上不等价，从而证明了其非双有理性。
• 参考流形的无挠上同调中的 $2$- torsion 在区分族中不同有理行为方面至关重要。