[论文解读] The Fano variety of lines and rationality problem for a cubic hypersurface

Sergey Galkin, Evgeny Shinder|arXiv (Cornell University)|May 20, 2014

Algebraic Geometry and Number Theory参考文献 51被引用 43

一句话总结

本文在代数簇的格罗滕迪克环中建立了关于一个三次超曲面 $Y$ 及其直线的法诺簇 $F(Y)$ 的基本关系，证明了 $[Y^{[2]}] = [\mathbb{P}^d][Y] + \mathbb{L}^2[F(Y)]$。利用该关系，本文证明了有理光滑三次四fold 的法诺簇与某 $K3$ 曲面的两个点的希尔伯特 scheme 之间存在双有理等价，从而基于 $F(Y)$ 的几何结构提出了一个强有力的有理性判别准则。

ABSTRACT

We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then Fano variety of lines on a smooth rational cubic fourfold is birational to a Hilbert scheme of two points on a K3 surface; in particular, general cubic fourfold is irrational.

研究动机与目标

• 在代数簇的格罗滕迪克环中，建立关于一个三次超曲面 $Y$ 及其直线的法诺簇 $F(Y)$ 的精确关系。
• 利用该关系研究任意维数的光滑三次超曲面的 $F(Y)$ 的霍奇结构。
• 基于 $F(Y)$ 的几何结构，为光滑三次超曲面的有理性提供一个新判别准则，尤其关注四维情形。
• 证明：若一个光滑三次四fold 有理，则在标准猜想下，$F(Y)$ 双有理同构于某 $K3$ 曲面 $S$ 的两个点的希尔伯特 scheme。

提出的方法

• 通过几何的交集与直线相交性质，推导格罗滕迪克环中的 $Y$-$F(Y)$ 关系：$[Y^{[2]}] = [\mathbb{P}^d][Y] + \mathbb{L}^2[F(Y)]$。
• 利用该关系计算 $F(Y)$ 的霍奇结构，证明其同构于 $Y$ 的霍奇结构的对称平方。
• 应用消去猜想并假设 $\mathbb{L}$ 不是零因子，推导出 $Y$ 的有理性蕴含 $F(Y)$ 是稳定可分解的。
• 利用已知的 $K3$ 曲面与法诺簇的结果，证明若 $F(Y)$ 是稳定可分解且 $Y$ 有理，则 $F(Y)$ 双有理同构于某 $K3$ 曲面 $S$ 的 $S^{[2]}$。
• 利用 $F(Y)$ 的霍奇结构分解为 $\mathcal{H}_Y$（即 $Y$ 的初等上同调的霍奇结构）的对称幂，分析其双有理类型。

实验结果

研究问题

• RQ1 光滑三次超曲面的直线法诺簇是否包含足够信息以确定该超曲面的有理性？
• RQ2 格罗滕迪克环能否用于以揭示有理性障碍的方式，将 $Y$ 的几何与 $F(Y)$ 的几何联系起来？
• RQ3 有理光滑三次四fold 的直线法诺簇是否双有理同构于某 $K3$ 曲面的两个点的希尔伯特 scheme？
• RQ4 光滑三次超曲面 $Y$ 的维数为 $d$ 时，$F(Y)$ 的精确霍奇理论结构是什么？
• RQ5 当与 $Y$ 关联的 $K3$ 曲面存在时，何种条件下可推出 $Y$ 的有理性？

主要发现

• 本文在格罗滕迪克环中建立了精确关系：$[Y^{[2]}] = [\mathbb{P}^d][Y] + \mathbb{L}^2[F(Y)]$，该关系编码了几何事实：若一条直线与 $Y$ 相交于两点，则除非该直线完全位于 $Y$ 内，否则必确定第三交点。
• 对于光滑三次 $d$-fold，$F(Y)$ 的霍奇结构同构于 $Y$ 的霍奇结构的对称平方，尤其在 $d=4$ 时为 $\mathrm{Sym}^2(\mathcal{H}_Y)$。
• 对于光滑三次三fold，法诺簇 $F(Y)$ 不是稳定可分解的，因此由定理 7.1 可知，不存在光滑三次三fold 是有理的，这与经典结果一致。
• 对于光滑三次四fold，若 $Y$ 有理且消去猜想成立，则 $F(Y)$ 双有理同构于某 $K3$ 曲面 $S$ 的 $S^{[2]}$，从而为有理性提供了强有力的双有理判别准则。
• 对于三次四fold，$F(Y)$ 的霍奇结构在第 4 个上同调层中分解为 $\mathrm{Sym}^2(\mathcal{H}_Y) \oplus \mathcal{H}_Y(-1) \oplus \mathbb{Q}(-2)$，其中 $h^{2,0} = h^{0,2} = 1$，$h^{1,1} = 20$，$h^{2,2} = 232$，与 $S^{[2]}$ 的已知结构一致。
• 该结果意味着，非常一般的复三次四fold 是无理的，因为它们不具有关联的 $K3$ 曲面，因此无法满足有理性的导出范畴判别准则。