[论文解读] The L\"uroth problem

Arnaud Beauville|arXiv (Cornell University)|Jul 9, 2015

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

一句话总结

本文综述了吕罗思问题——即每个单有理簇是否都是有理的——提供了其历史背景，并分析了用于证明非有理性的关键方法。文章突出介绍了C.沃辛（C. Voisin）基于0-循环的查尔斯群（Chow group）平凡性的新方法，该方法拓展了扭余面上同调方法的适用范围，并证明了非常一般四次三复形及其他超平面截面的稳定非有理性质。

ABSTRACT

Notes of my lectures at the CIME (Levico Terme, june 2015). The lectures gave an overview of the L\\"uroth problem, its history, the counter-examples found in the 70's, and the recent developments on stable rationality following the new method introduced by C. Voisin.

研究动机与目标

• 综述吕罗思问题从曲线与曲面到高维簇的历史发展。
• 分析经典方法——中间雅可比簇、双有理自同构群以及上同调中的扭元——在三维情形下确立非有理性的机制。
• 介绍并解释C.沃辛基于0-循环查尔斯群平凡性的新方法，作为证明稳定非有理性的强大工具。
• 展示沃辛方法如何超越经典技术，特别是在处理非常一般超平面截面与完全交集时的适用性。
• 确立CH₀-平凡性条件在形变下保持不变，从而实现从奇异纤维到一般纤维的非有理性传递。

提出的方法

• 沃辛的方法依赖于0-循环的查尔斯群$CH_0(X)$平凡的条件，即所有0-循环代数等价于某点的倍数。
• 该方法利用$CH_0$-平凡性在形变下保持不变的事实：若一个平坦族中的一般纤维是$CH_0$-平凡的，则其非常一般纤维亦然。
• 关键技术工具是$CH^n(X \times X)$中对角线的分解，该分解在上同调上诱导同态，从而控制$H^{r,0}(X)$和$H^3(X,\mathbb{Z})$中的扭元。
• 该方法适用于中心纤维具有普通双重点且其解析解消不是$CH_0$-平凡的族，从而推出一般纤维不是$CH_0$-平凡的。
• 该方法结合了科拉尔（Kollár）的模$p$约化技术以及科利奥-蒂莱内与皮鲁特卡（Colliot-Thélène–Pirutka）对非孤立奇点的推广，扩大了其适用范围。
• 它利用了$H^3(X,\mathbb{Z})$中的扭元是双有理不变量的事实，当与$CH_0$-平凡性结合时，可对稳定有理性质构成障碍。

实验结果

研究问题

• RQ1 能否利用新的上同调或代数几何不变量在高维情形下解决吕罗思问题？
• RQ2 在多大程度上，$CH_0(X)$的平凡性可作为双有理不变量，用以阻碍有理性或稳定有理性？
• RQ3 沃辛的方法是否可推广至超平面截面与完全交集，特别是更高维情形？
• RQ4 $CH_0$-平凡性条件是否可用于检测经典不变量失效的族中的非有理性质？
• RQ5 在族中奇异纤维在通过$CH_0$-平凡性检测一般纤维非有理性质时起何作用？

主要发现

• 以非常一般四次曲面为分支的$\mathbb{P}^3$的双重覆盖，其解析解消不是$CH_0$-平凡的，因此不是稳定有理的。
• 至多有七个节点的非常一般四次双立体的解析解消不是稳定有理的，扩展了阿廷-曼福德（Artin-Mumford）的结果。
• 非常一般四次三复形不是稳定有理的，由科利奥-蒂莱内与皮鲁特卡通过沃辛方法及对非孤立奇点的推广证明。
• 以非常一般四次超曲面为分支的$\mathbb{P}^4$或$\mathbb{P}^5$的双重覆盖不是稳定有理的，通过$CH_0$-平凡性证明。
• 非常一般六次双立体不是稳定有理的，展示了该方法在四次超曲面之外的适用范围。
• 托塔罗（Totaro）的结果表明，$\mathbb{P}^n$中度数$d \geq 2\lceil\frac{n+2}{3}\rceil$的非常一般超曲面不是稳定有理的，结合了科拉尔与沃辛的方法。