[论文解读] Algebraic cycles on the Fano variety of lines of a cubic fourfold

Kalyan Banerjee|arXiv (Cornell University)|Sep 19, 2016

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

一句话总结

本文研究了三次四fold 的直线 Fano 簇上的代数循环，证明若该 Fano 簇有理等价于 K3 曲面的两个点的 Hilbert 簇，则存在一条非有理曲线，其包含映射在零循环上诱导出具有挠子群的推出映射。该结果通过循环理论方法在对称积与 Hilbert 簇之间，将三次四fold 的有理性障碍与 Chow 群中的挠子群联系起来。

ABSTRACT

In this text we prove that if a smooth cubic in $\PR^5$ has its Fano variety of lines birational to the Hilbert scheme of two points on a K3 surface, then there exists a smooth projective curve or a smooth projective surface embedded in the Fano variety, such that the kernel of the push-forward (at the level of zero cycles ) induced by the closed embedding is torsion.

研究动机与目标

• 理解三次四fold 的直线 Fano 簇与 K3 曲面的两个点的 Hilbert 簇之间的有理等价性所导致的循环理论后果。
• 研究嵌入到 Fano 簇中的闭子簇所诱导的零循环上的推出同态的核。
• 确定 Chow 群中零循环的核是否存在挠子群，是否可作为三次四fold 有理性的障碍。
• 建立 CH₀ 的普遍平凡性与 Fano 簇上代数循环结构之间的联系。

提出的方法

• 将 Collino 在曲线对称幂上的方法推广至曲面的对称积，重点研究沿对角线的爆破。
• 研究 Sym²S 沿对角线的爆破，将其识别为光滑射影曲面 S 上两个点的 Hilbert 簇。
• 分析爆破中 S 的严格提升，并证明零循环 Chow 群上推出映射的单性。
• 利用单峰变换的对应与拉回，将 Hilbert 簇上的循环与 Fano 簇上的循环联系起来。
• 应用 Voisin 关于对角线的 Chow 理论分解与 CH₀ 的普遍平凡性的结果，推导出核中的挠子群。
• 考虑对曲线函数域的基变换，以确立核的普遍挠子群性质。

实验结果

研究问题

• RQ1 在何种条件下，三次四fold 的直线 Fano 簇有理等价于 K3 曲面的两个点的 Hilbert 簇？
• RQ2 当此类有理等价存在时，Fano 簇中会出现何种循环理论性质？
• RQ3 从 Fano 簇中一条曲线到其包含映射所诱导的零循环推出映射的核是否可能为挠子群？这又对有理性意味着什么？
• RQ4 Fano 簇中一个曲面 D 的 CH₀(D) 的普遍平凡性如何与代数循环的结构相关？
• RQ5 有理映射 Hilb²S → F(X) 的不定点集在决定 Fano 簇的几何结构中起什么作用？

主要发现

• 若光滑三次四fold 的 Fano 簇 F(X) 有理等价于 K3 曲面的两个点的 Hilbert 簇，且有理映射的不定点集光滑，则存在一条非有理曲线 D ⊂ F(X)，使得包含映射 D → F(X) 所诱导的零循环推出映射具有挠子群核。
• 核的挠子群性质源于 D × D 的某些循环类在有理等价下等价于其在 D × D 的真 Zariski 闭子集上的循环。
• 该结果意味着 CH₀(D) 的普遍平凡性足以确保推出映射的核为挠子群，从而将循环理论性质与有理性性质联系起来。
• 该构造具有普遍性：在基变换至 D 的函数域后，核仍为挠子群，表明其为普遍挠子群。
• 证明依赖于对称幂爆破下零循环推出映射的单性，将 Collino 的结果推广至更高维对称积。
• 本文建立了三次四fold 有理性与它们的 Fano 簇中存在非有理曲线且其零循环群中核为挠子群之间的联系。