[论文解读] Divisors in the moduli space of Debarre-Voisin varieties

Vladimiro Benedetti, Jieao Song|arXiv (Cornell University)|Jun 12, 2021

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

一句话总结

本文建立了与三元向量 σ ∈ ⋀³V₁₀∨ 相关的三个退化点簇 X₃^σ、X₆^σ 和 X₁^σ 的整上同调之间的 Hodge 同构，证明它们具有相同的整 Hodge 结构。通过在模空间的三条 Heegner 截面（Heegner divisors）上进行几何分析，作者证明当 σ 位于 D₂₄ 截面时，X₆^σ 同构于一个度数为 6 的 K3 表面的扭曲层模空间，并证明 X₃^σ 和 X₁^σ 在所有度数上均满足整 Hodge 猜想。

ABSTRACT

Let $V_{10}$ be a 10-dimensional complex vector space and let $σ\in\bigwedge^3V_{10}^\vee$ be a non-zero alternating 3-form. One can define several associated degeneracy loci: the Debarre-Voisin variety $X_6^σ\subset\mathrm{Gr}(6,V_{10})$, the Peskine variety $X_1^σ\subset\mathbf{P}(V_{10})$, and the hyperplane section $X_3^σ\subset \mathrm{Gr}(3,V_{10})$. Their interest stems from the fact that the Debarre-Voisin varieties form a locally complete family of projective hyperkähler fourfolds of $\mathrm{K3}^{[2]}$-type. We prove that when smooth, the varieties $X_6^σ$, $X_1^σ$, and $X_3^σ$ share one same integral Hodge structure, and that $X_1^σ$ and $X_3^σ$ both satisfy the integral Hodge conjecture in all degrees. This is obtained as a consequence of a detailed analysis of the geometry of these varieties along three divisors in the moduli space. On one of the divisors, an associated K3 surface $S$ of degree 6 can be constructed geometrically and the Debarre-Voisin fourfold is shown to be isomorphic to a moduli space of twisted sheaves on $S$, in analogy with the case of cubic fourfolds containing a plane.

研究动机与目标

• 建立与三元向量 σ ∈ ⋀³V₁₀∨ 相关的三个退化点簇 X₃^σ、X₆^σ 和 X₁^σ 的整上同调之间的 Hodge 同构。
• 借助 K3^[2]-型超凯勒流形上 1-循环的已知结果，证明 X₃^σ 和 X₁^σ 在所有度数上均满足整 Hodge 猜想。
• 分析 Debarre–Voisin 代数簇在模空间中三条特定 Heegner 截面（D₂₂、D₂₄、D₂₈）上的几何结构，以构造代数对应关系。
• 证明当 σ 位于 D₂₄ 截面时，Debarre–Voisin 四倍体 X₆^σ 同构于一个度数为 6 的 K3 表面的扭曲层模空间，类比于三次四倍体的情形。
• 从 D₂₄ 截面上的 σ 几何构造一个度数为 6 的 K3 表面 S，并验证相关典范丛满足行列式条件。

提出的方法

• 通过详细分析退化点簇，利用 X₃^σ 与 X₆^σ 之间、X₆^σ 与 X₁^σ 之间的代数对应关系，建立 Hodge 同构。
• 分析模空间中三条 Heegner 截面（D₂₂、D₂₄、D₂₈）上三个退化点簇的几何结构：X₃^σ（Gr(3,V₁₀) 的超平面截面）、X₆^σ（Debarre–Voisin 四倍体）和 X₁^σ（Peskine 代数簇）。
• 应用极化超凯勒流形的周期映射与 Torelli 定理，将 Debarre–Voisin 代数簇的模空间 M²₂ 与周期域 P 联系起来。
• 使用 Macaulay2 配合 Schubert2 包，计算 P(⋀³V₁₀∨) 中 SL(V₁₀)-不变除子的交点数、陈类与次数。
• 通过旗丛构造与截面零点簇，从 D₂₄ 截面上的 σ 几何构造一个度数为 6 的 K3 表面 S。
• 验证 S 上的典范丛满足 det(𝒰₄/₁∨) ≅ 𝒪_S(3) 与 det(𝒰₈/₄) ≅ 𝒪_S(2)，从而确认该 K3 表面的度数为 6。

实验结果

研究问题

• RQ1 与三元向量 σ ∈ ⋀³V₁₀∨ 相关的退化点簇 X₃^σ、X₆^σ 和 X₁^σ 是否具有相同的整 Hodge 结构？
• RQ2 鉴于 X₃^σ 与 X₁^σ 与 X₆^σ 的上同调关系，是否可在所有度数上证明 X₃^σ 与 X₁^σ 满足整 Hodge 猜想？
• RQ3 能否在 Debarre–Voisin 代数簇的模空间中某个特殊除子上，从 σ 几何构造一个度数为 6 的 K3 表面 S？
• RQ4 当 σ 位于 D₂₄ 除子时，Debarre–Voisin 四倍体 X₆^σ 是否同构于一个度数为 6 的 K3 表面 S 的扭曲层模空间？
• RQ5 X₆^σ 及其子簇（特别是 D₂₄ 除子上）的关键丛的交点数与陈类为何？

主要发现

• 本文通过代数对应关系，建立了 X₆^σ 的原始第二上同调（具有负的 Beauville–Bogomolov 形式）与 X₃^σ 和 X₁^σ 的消失上同调之间的 Hodge 同构。
• 在 D₂₄ 除子上，Debarre–Voisin 四倍体 X₆^σ 同构于一个度数为 6 的 K3 表面 S 的扭曲层模空间，该同构由一个二次曲面丛结构诱导。
• 由于 Hodge 同构及 Mongardi–Ottem 关于 K3^[2]-型超凯勒流形上 1-循环的结果，X₃^σ 与 X₁^σ 在所有度数上均满足整 Hodge 猜想。
• 通过两个法丛序列，利用法丛的上陈类，计算出 X₃^σ 中包含的 Gr(2,7) 的自交数为 2。
• 在基底 ⟨H+D, D⟩ 下，D₂₄ 除子上的交点矩阵被对角化为 (24, -2)，确认类 H+D 对应于一个 K3 表面上的二次曲面丛的收缩。
• Macaulay2 计算验证了 K3 表面 S 上的典范丛满足 det(𝒰₄/₁∨) ≅ 𝒪_S(3) 与 det(𝒰₈/₄) ≅ 𝒪_S(2)，从而确认该表面的度数为 6。