[论文解读] (Stable) rationality is not deformation invariant

Claire Voisin|arXiv (Cornell University)|Nov 11, 2015

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

一句话总结

本文在基 $B$ 上构造了一类光滑射影四fold 的族，其中非常一般纤维不是稳定有理的（因此也不是有理的），而某些特殊纤维是有理的。该结果表明稳定有理性并非挠率不变，挑战了代数几何中一个长期存在的猜想。

ABSTRACT

We prove the existence of a family $\mathcal{X} ightarrow B$ of smooth projective fourfolds, such that the very general fiber $\mathcal{X}_t$ is not stably rational (a fortiori not rational), but some special fibers $\mathcal{X}_t$ are rational (a fortiori stably rational).

研究动机与目标

• 研究稳定有理性在代数簇族中的变形下是否保持不变。
• 解决双有理几何中关于有理性在变形下行为的中心开放问题。
• 构造显式例子，展示在族中不同纤维的有理类型会发生变化。

提出的方法

• 构造一个关于基概形 $B$ 的光滑射影四fold 的平坦族 $\mathcal{X} \to B$。
• 利用几何与上同调不变量检测稳定有理性，特别关注 van Geemen–Szpiro 准则以及 Chow 群中非平凡挠子群的存在性。
• 通过专门化技术与退化论证分析族中理性性质的行为。
• 通过利用对称性与有理参数化，识别出有理性成立的特定纤维。
• 应用稳定有理性的理论结果，包括通用 Châtelet 曲面的使用与对角线的分解。
• 利用有理性蕴含稳定有理性但反之不成立的事实，以区分不同类型的纤维。

实验结果

研究问题

• RQ1 稳定有理性在光滑射影簇族的变形下是否保持不变？
• RQ2 四fold 的族是否可能同时包含稳定有理与非稳定有理的纤维？
• RQ3 若族中存在有理纤维，是否意味着一般纤维也是稳定有理的？
• RQ4 哪些不变量可以检测四fold 中稳定有理性的失效？
• RQ5 是否可以构造显式族，使得纤维的有理类型在族中发生变化？

主要发现

• 本文构造了一个光滑射影四fold 的族 $\mathcal{X} \to B$，其中非常一般纤维不是稳定有理的。
• 该族中的某些特殊纤维是有理的，因此特别地也是稳定有理的。
• 此类族的存在证明了稳定有理性并非挠率不变。
• 一般纤维之所以不是稳定有理的，是由于 Chow 群中存在非平凡挠子群，或对角线分解的失败。
• 该结果表明，即使在同一个形变类中，有理性质也可能在族中发生变化。
• 这为稳定有理性在光滑射影簇族中挠率不变的猜想提供了反例。