[论文解读] Stable rationality of del Pezzo fibrations of low degree over projective spaces

Igor Krylov, Takuzo Okada|ArXiv.org|Jan 29, 2017

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

一句话总结

本文通过正特征下的特殊化技巧与零循环的 Chow 群，确立了在射影空间上非常一般的度数 1、2 和 3 的 del Pezzo 纤维丛的稳定非有理性的结论。证明表明，除非这些纤维丛属于两个明确描述的度数 3 纤维丛族，否则它们都不是稳定有理的，从而解决了 3-流形在双有理等价于三次三复形意义下的稳定有理性问题。

ABSTRACT

The main aim of this article is to show that a very general 3-dimensional del Pezzo fibration of degree 1,2,3 is not stably rational except for a del Pezzo fibration of degree 3 belonging to explicitly described 2 families. Higher dimensional generalizations are also discussed and we prove that a very general del Pezzo fibration of degree 1,2,3 defined over the projective space is not stably rational provided that the anticanonical divisor is not ample.

研究动机与目标

• 确定射影空间上非常一般的度数 1、2 和 3 的 del Pezzo 纤维丛的稳定有理性状态。
• 通过特殊化技巧，将近期在稳定有理性方面的进展推广至高维 del Pezzo 纤维丛。
• 明确识别出稳定有理性的精确例外情况——两个度数 3 纤维丛族。
• 为三维 del Pezzo 纤维丛在 P¹ 上的稳定有理性提供完整分类，模去与三次三复形的双有理等价。

提出的方法

• 将 Colliot-Thélène 与 Pirutka 的特殊化定理应用于从正特征到特征零的非普遍 CH₀-平凡约化提升。
• 利用 Kollár 的技巧，在特征 2 或 3 下构造度数 1、2 和 3 的纤维丛的非普遍 CH₀-平凡约化。
• 采用零循环的 Chow 群 CH₀(X) 作为稳定有理性的障碍：若 X 不是普遍 CH₀-平凡，则它不是稳定有理的。
• 分析反 canonical 除子的充分性条件：若 −K_X 不是 ample，则其非稳定有理。
• 将问题约化为研究在 P^{n−2} 上的 toric 纤维丛中的超曲面，具体为 P(1,1,2,3)、P(1,1,1,2) 或 P³-纤维丛。
• 应用代数几何中双覆盖与三覆盖的结果，并通过截面的临界点分析验证非退化条件。

实验结果

研究问题

• RQ1 在 P^{n−2} 上，哪些非常一般的度数 1、2 或 3 的 del Pezzo 纤维丛存在稳定有理性的障碍？
• RQ2 在三维情形下，稳定非有理性的精确例外是什么，以及为何它们会出现？
• RQ3 通过正特征约化的方法，能否检测到高维 del Pezzo 纤维丛中的稳定有理性障碍？
• RQ4 反 canonical 除子的充分性如何影响这些纤维丛的稳定有理性？
• RQ5 这些结果在多大程度上覆盖了三维中所有可能的光滑 del Pezzo 纤维丛？其局限性是什么？

主要发现

• 在 P¹ 上，非常一般的三维 del Pezzo 纤维丛（度数 1、2 或 3）除非属于两个明确描述的族，否则不是稳定有理的。
• 这两个例外族为：(1) P¹ × P³ 中的双度数 (1,3) 超曲面，以及 (2) 沿光滑平面圆锥曲线的三次三复形的 Blowing-up。
• 当 n ≥ 3 时，若反 canonical 除子 −K_X 不是 ample，则在 P^{n−2} 上非常一般的度数 1、2 或 3 的 del Pezzo 纤维丛不是稳定有理的。
• 结果可推广至高维情形，涵盖嵌入在 P^{n−2} 上的 toric 纤维丛族，且在非 ample 条件下稳定非有理性依然成立。
• 本文为 3-流形建立了完整分类：非常一般的此类纤维丛要么是有理的，要么不是稳定有理的，且仅有上述两个例外族可能是有理的。
• 证明依赖于证明模 2 或 3 的某些约化不是普遍 CH₀-平凡的，这通过特殊化在特征零下意味着非稳定有理性。