[论文解读] Rational cubic fourfolds in Hassett divisors

Song Yang, Xun Yu|arXiv (Cornell University)|May 6, 2019

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

一句话总结

本文证明了在光滑三次四fold的模空间中，每个Hassett除子 $ \mathcal{C}_d $ 都包含一个由三个余维数为二的子概形组成的并集，这些子概形参数化有理三次四fold。通过使用格理论的Hodge理论和Hassett除子之间的交集论证，作者表明与已知的有理除子 $ \mathcal{C}_{14} $、$ \mathcal{C}_{26} $ 和 $ \mathcal{C}_{38} $ 的交集会产生此类子概形，从而确认在每个 $ \mathcal{C}_d $ 内的更高余维数局部中，有理性依然成立。这一结果支持了Kuznetsov关于特殊除子中三次四fold有理性的猜想。

ABSTRACT

We prove that every Hassett's Noether-Lefschetz divisor of special cubic fourfolds contains a union of three codimension-two subvarieties, parametrizing rational cubic fourfolds, in the moduli space of smooth cubic fourfolds.

研究动机与目标

• 研究光滑三次四fold模空间中每个Hassett除子 $ \mathcal{C}_d $ 内是否存在有理三次四fold。
• 确定在每个 $ \mathcal{C}_d $ 的更高余维数局部中是否存在有理三次四fold，特别是通过与已知有理除子的交集来检验。
• 通过证明有理性不仅局限于孤立的除子，而是在每个 $ \mathcal{C}_d $ 内的子概形并集中出现，为Kuznetsov的导出范畴猜想提供证据。
• 建立任意Hassett除子 $ \mathcal{C}_d $ 与三个已知有理除子 $ \mathcal{C}_{14} $、$ \mathcal{C}_{26} $ 和 $ \mathcal{C}_{38} $ 的交集，会产生非空、余维数为二的有理四fold子概形。

提出的方法

• 作者使用Hodge理论和格理论技术分析三次四fold的上同调与交形式，重点关注 $ H^4(X,\mathbb{Z}) $ 中的饱和子格。
• 他们应用Hassett对特殊三次四fold的分类，通过判别式 $ d $，其中 $ \mathcal{C}_d $ 非空当且仅当 $ d>6 $，$ d\equiv 0,2\pmod{6} $，且 $ d $ 满足额外的本原性条件。
• 关键方法在于在 $ H^4(X,\mathbb{Z}) $ 中构造包含 $ h^2 $ 和额外类 $ \nu $、$ \alpha_1 $、$ \alpha_2 $ 的秩为四的饱和子格 $ M $，且其交形式为正定。
• 他们通过正定二次型的性质以及引理2.4和命题2.3的应用，验证了所构造的格 $ M $ 在模空间中定义了非空、余维数为三的子概形。
• 证明通过分析 $ d_1 $ 和 $ d_2 $ 的形式（即 $ 6n $、$ 6n+2 $）进行，构造适当的格 $ M $ 和子格 $ K_{14} $、$ K_{d_1} $、$ K_{d_2} $，以证明 $ \mathcal{C}_M \subset \mathcal{C}_{14} \cap \mathcal{C}_{d_1} \cap \mathcal{C}_{d_2} $。
• 该构造依赖于与三次四fold相关的格的饱和嵌入的存在性，确保对应的模空间局部非空且具有预期余维数。

实验结果

研究问题

• RQ1 每个Hassett除子 $ \mathcal{C}_d $ 是否包含超越已知有理除子的有理三次四fold子概形？
• RQ2 一般 $ \mathcal{C}_d $ 与有理除子 $ \mathcal{C}_{14} $、$ \mathcal{C}_{26} $ 和 $ \mathcal{C}_{38} $ 的交集是否会产生非空、正余维数的有理四fold局部？
• RQ3 是否存在一种系统性方法，通过格理论方法在每个 $ \mathcal{C}_d $ 的更高余维数局部中构造有理三次四fold？
• RQ4 交集 $ \mathcal{C}_d \cap \mathcal{C}_{14} \cap \mathcal{C}_{26} \cap \mathcal{C}_{38} $ 的结构是什么？它是否包含有理四fold？

主要发现

• 每个Hassett除子 $ \mathcal{C}_d $ 都包含一个由三个不同余维数为二的子概形组成的并集，这些子概形参数化有理三次四fold。
• 这些子概形作为交集 $ \mathcal{C}_d \cap \mathcal{C}_{14} $、$ \mathcal{C}_d \cap \mathcal{C}_{26} $ 和 $ \mathcal{C}_d \cap \mathcal{C}_{38} $ 而出现，每个交集都包含一个非空、余维数为二的有理四fold子概形。
• 此类子概形的存在性通过构造包含 $ h^2 $ 和适当额外类的饱和、正定秩四子格 $ M $ 在 $ H^4(X,\mathbb{Z}) $ 中得以确立。
• 该证明确认，对于满足可接受性条件的任意 $ d $，交集 $ \mathcal{C}_d \cap \mathcal{C}_{14} \cap \mathcal{C}_{26} \cap \mathcal{C}_{38} $ 包含一个参数化有理三次四fold的余维数三子概形。
• 作者通过推广Addington-Thomas的结果，表明对于任意满足条件 $ (\star) $ 的 $ d_1, d_2 $，三重交集 $ \mathcal{C}_{14} \cap \mathcal{C}_{d_1} \cap \mathcal{C}_{d_2} $ 包含一个余维数为三的有理四fold子概形。
• 该结果支持Kuznetsov的猜想：有理三次四fold在每个 $ \mathcal{C}_d $ 中大量存在，而不仅限于孤立情况。