[论文解读] Hypersurfaces that are not stably rational

Burt Totaro|arXiv (Cornell University)|Feb 13, 2015

Algebraic Geometry and Number Theory参考文献 21被引用 6

一句话总结

该论文通过特征 2 上的退化方法，证明了在 $ \mathbb{P}^{n+1} $ 中，度数 $ d \geq 2\lceil(n+2)/3\rceil $ 的非常一般复超曲面不是稳定有理的。关键贡献在于将非稳定有理性的结果推广到此前未知的更低度数，包括四次 4-流形，并证明即使一般纤维为有理的，有理性也不会在 klt 奇点上专门化。

ABSTRACT

We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational.

研究动机与目标

• 确定射影空间中哪些光滑超曲面是稳定有理的，特别是那些在科拉尔非有理性定理所覆盖范围以下的度数。
• 将非稳定有理性的结果范围扩展至此前已知界限之外，特别是针对度数 $ d \geq 2\lceil(n+2)/3\rceil $ 的超曲面。
• 证明有理性不会在 klt 奇点上专门化，即使一般纤维是有理的。
• 在 $ \overline{\mathbb{Q}} $ 上构造显式例子，给出在 $ \mathbb{C} $ 上不是稳定有理的光滑超曲面，使用算术退化技术。
• 将沃辛和科利奥-蒂莱内–皮鲁特卡的退化方法推广到更广泛的超曲面类，使用正特征，特别是特征 2。

提出的方法

• 在正特征，特别是特征 2 中，对光滑超曲面进行退化，得到奇异代数簇，以研究稳定有理性。
• 应用如下判别准则：若零维循环的查尔斯群不是普遍平凡的，则该代数簇不是稳定有理的。
• 在特征 2 中，构造一个光滑度 $ d $ 超曲面退化为度 $ d/2 $ 超曲面上的双重覆盖。
• 利用特殊纤维在 $ H^3 $ 中具有非平凡挠率的事实，通过科利奥-蒂莱内和皮鲁特卡的结果，推导出 $ CH_0 $ 的非普遍平凡性。
• 利用 $ CH_0 $ 在稳定双有理等价下不变的性质（富廷定理），将非平凡性从特殊纤维传递到一般纤维。
• 使用弗罗贝尼乌斯嵌入，将射影空间实现为一个法诺超曲面锥的退化，从而构造出退化为非有理 klt 代数簇的有理族。

实验结果

研究问题

• RQ1 在 $ \mathbb{P}^{n+1} $ 中，度数 $ d \geq 2\lceil(n+2)/3\rceil $ 的非常一般超曲面是否为稳定有理的？
• RQ2 沃辛与科利奥-蒂莱内–皮鲁特卡的退化方法能否推广到此前未知的更低度数的超曲面？
• RQ3 在射影代数簇族中，有理性是否会专门化到 klt 奇点？
• RQ4 能否在 $ \overline{\mathbb{Q}} $ 上构造出在 $ \mathbb{C} $ 上不是稳定有理的光滑超曲面的显式例子？
• RQ5 正特征，特别是特征 2，在通过挠率上同调检测非稳定有理性的过程中起什么作用？

主要发现

• 对所有 $ n \geq 3 $ 且 $ d \geq 2\lceil(n+2)/3\rceil $，在 $ \mathbb{P}^{n+1} $ 中度数为 $ d $ 的非常一般复超曲面都不是稳定有理的。
• 该结果包括此前未知为非稳定有理的四次 4-流形，其度数扩展超过了科拉尔的界限 $ d \geq 2\lceil(n+3)/3\rceil $。
• 对于偶数 $ d $，该结果可推广至某些定义在 $ \overline{\mathbb{Q}} $ 上的光滑超曲面，其在 $ \mathbb{C} $ 上不是稳定有理的。
• 该论文在 $ \mathbb{Q} $ 上构造了显式例子，例如一个光滑的四次 3-流形，其在 $ \mathbb{C} $ 上的基变换具有非普遍平凡的 $ CH_0 $，因此不是稳定有理的。
• 在特征 2 中的退化方法导致特殊纤维的解析的 $ H^3 $ 中出现非平凡挠率，从而推出 $ CH_0 $ 的非普遍平凡性。
• 推论 4.1 表明有理性不会在 klt 奇点上专门化：存在一个 $ \mathbb{A}^1 $ 上的 $ m $-流形的平坦族，其在 $ \mathbb{A}^1 - \{0\} $ 上的光滑纤维是有理的，但在 0 处的纤维是非有理的 klt 奇点。