[论文解读] Stable rationality of quadric surface bundles over surfaces

Brendan Hassett, Alena Pirutka+1 more|arXiv (Cornell University)|Mar 30, 2016

Algebraic Geometry and Number Theory参考文献 20被引用 10

一句话总结

该论文通过构造一个在 $\mathbb{P}^2 \times \mathbb{P}^3$ 中关于 $\mathbb{P}^2$ 的双次型为 $(2,2)$ 的二次曲面丛族，证明了有理性在光滑复射影四fold 上并非形变不变量。该族中的一般纤维由于非平凡的无枝上同调而并非稳定有理，而有理纤维在基空间中稠密，这是通过奇数次多节实现的。该结果解决了关于有理性在形变下不变性的一个长期悬而未决的问题。

ABSTRACT

We study rationality properties of quadric surface bundles over the projective plane. We exhibit families of smooth projective complex fourfolds of this type over connected bases, containing both rational and non-rational fibers.

研究动机与目标

• 研究在光滑复射影四fold 的族中，有理性是否在形变下保持不变。
• 确定稳定有理性是否在形变下不变，特别是在有理曲面上的二次曲面丛背景下。
• 构造一个连通基上的四fold 族，使得其中同时存在有理纤维和非有理纤维。
• 建立失败的稳定有理性可通过无枝上同调和对角线的分解来检测。
• 表明尽管存在非稳定有理纤维，有理性仍可通过奇数次多节在模空间中稠密出现。

提出的方法

• 作者使用对角线分解方法，证明 $\mathbb{P}^2 \times \mathbb{P}^3$ 中的非常一般 $(2,2)$ 超曲面并非稳定有理，其依据是非平凡的第二无枝上同调。
• 他们验证了该族的奇异纤维具有普遍 $\mathrm{CH}_0$-平凡的解析，满足定理 4 的条件。
• 该构造使用具有轻微奇点和非零无枝上同调的退化二次曲面丛，类似于 Artin-Mumford 的圆锥丛。
• 通过奇数次多节的存在性，在基空间的稠密子集上确立了有理性，当基空间为有理空间时，这表明总空间具有有理性。
• 通过定义方程的雅可比环分析了示性周期映射，以验证 Hodge 结构的变化足够非退化。
• 证明了与类型为 $(2,2)$ 的类在奇数次相交的 Noether-Lefschetz 簇在欧氏拓扑下在 $B$ 中稠密，从而确保了有理纤维在模空间中的稠密性。

实验结果

研究问题

• RQ1 在光滑复射影四fold 的族中，稳定有理性是否在形变下保持不变？
• RQ2 一个在 $\mathbb{P}^2$ 上的二次曲面丛族是否可以同时包含有理纤维和非稳定有理纤维？
• RQ3 无枝上同调在阻碍四fold 的稳定有理性方面起什么作用？
• RQ4 如何利用奇数次多节来确保二次曲面丛族中总空间的有理性？
• RQ5 奇数次类的 Noether-Lefschetz 簇在模空间中对有理纤维的稠密性贡献有多大？

主要发现

• 存在一个在连通基 $B$ 上的光滑 $(2,2)$ 超曲面族，其非常一般纤维并非稳定有理。
• 通过非平凡的第二无枝上同调和奇异点的普遍 $\mathrm{CH}_0$-平凡解析，确立了非常一般纤维的非稳定有理性。
• 在基空间的欧氏拓扑下，有理性在稠密子集上成立，这是通过奇数次多节的存在性实现的。
• 参数化与类型 $(2,2)$ 的类在奇数次相交的 Noether-Lefschetz 簇在 $B$ 中稠密，证实了有理纤维的稠密性。
• 针对特定例子验证了示性周期映射条件，确保 Hodge 结构的变化支持有理纤维的稠密性。
• 该构造提供了首个光滑四fold 族的显式例子，其中的有理性并非形变不变，从而解决了双有理几何中的一个关键问题。