Peskine sixfolds and Debarre-Voisin fourfolds with associated cubic fourfolds

技术摘要：与关联三次四维流形相关的 Peskine 六维流形与 Debarre–Voisin 四维流形

问题陈述
本文研究了由 10 维复向量空间上的三向量 $\sigma \in \bigwedge^3 V_{10}^\vee$ 定义的两个簇族之间的 Hodge 理论与几何关系：Peskine 六维流形 $X_\sigma^1$（一种 K3 型 Fano 簇）与 Debarre–Voisin 超凯勒四维流形 $X_\sigma^6$。虽然一般情形下已建立了 $X_\sigma^1$ 与 $X_\sigma^6$ 之间已知的 Hodge 理论关联，但作者试图识别模空间中具有“关联”K3 曲面或三次四维流形的特定除子。核心目标是形式化此类关联发生的条件，并在第一个非平凡情形（判别式 $d=24$）中明确描述其几何关系。

方法论
作者结合了格理论、周期映射以及显式几何构造：

1. 格理论与标记（Markings）： 他们利用原始嵌入（primitive embeddings）和判别形式（discriminant forms）理论（遵循 Nikulin 的方法）来对这些簇进行标记分类。具体而言，他们分析了 Peskine 六维流形的中间上同调 $H^6(X_\sigma^1, \mathbb{Z})$ 以及 Debarre–Voisin 簇的原始上同调 $H^2(X_\sigma^6, \mathbb{Z})_{prim}$。
2. 周期映射： 研究依赖于从三向量模空间 $\mathcal{M}_\sigma$ 到 K3$[2]$ 型超凯勒流形周期域的周期映射。作者识别了模空间中对应于特定判别式 $d$ 的 Noether-Lefschetz 除子 $\tilde{D}_d$。
3. 轨道分类： 他们通过确定正交群在中间上同调子格上的作用的轨道代表，对特殊 Peskine 簇的可能标记进行了分类。
4. 显式几何构造： 对于判别式 $d=24$ 的特定情形，作者超越了抽象的 Hodge 理论，构建了显式的几何对象。他们分析了 $X_\sigma^1$ 的奇异性（在此情形下具有一个孤立奇点）以及 $X_\sigma^1$ 与由特定旗（flag）定义的特定线性子空间的交集。

主要贡献与结果

• 关联簇的公式化： 本文定义了三向量 $\sigma$ 具有关联 K3 曲面或三次四维流形的含义。这是通过关联簇的超越上同调与 $X_\sigma^1$ 或 $X_\sigma^6$ 上同调中代数循环的正交补之间的 Hodge 等距（Hodge isometries）来建立的。
• 数值条件（定理 1.1）： 作者推导出了存在关联 K3 曲面和三次四维流形的关于判别式 $d$ 的精确数值条件。
  • 若 $d$ 不被 4 或 121 整除，且所有整除 $d$ 的奇素数都是 11 的二次剩余，则存在关联 K3 曲面。
  • 若 $d \equiv 0, 2 \pmod 6$，$d$ 不被 9 或 121 整除，33 是 $d$ 每个素因子的二次剩余，且满足关于素因子模 3 的特定奇偶性条件，则存在关联三次四维流形。
• 判别式 24 的情形（定理 1.2）： 本文重点研究了第一个出现关联三次四维流形的族 $P_{24}$。
  • 对于一般的 $\sigma \in P_{24}$，$X_\sigma^1$ 恰好有一个孤立奇点。
  • 作者确定了一个唯一的旗 $W_1 \subset W_6 \subset V_{10}$，使得 $\sigma(W_1, W_6, V_{10}) = 0$。
  • 他们证明了交集 $Y = X_\sigma^1 \cap \mathbb{P}(W_6)$ 是一个判别式为 24 的光滑三次四维流形。
  • 至关重要的是，他们证明了 $Y$ 的直线簇 $F(Y)$ 与 Debarre–Voisin 簇 $X_\sigma^6$ 是同构的。
• 双有理几何的分类： 本文提供了一个表格（表 1）和证明（命题 4.9），详细说明了哪些判别式 $d \le 50$ 会产生双有理于 K3 曲面平方或三次四维流形直线簇的 Debarre–Voisin 簇。他们表明，虽然双有理性通常意味着 Hodge 理论上的关联，但对于关联的存在，反之则不一定严格成立。

意义与主张
本文声称解决了 Debarre–Voisin 四维流形在特定判别式情形下的“神秘”性质，即将其与三次四维流形的几何显式地联系起来。

• 显式识别： 在 $d=24$ 的情况下，作者不仅断言了 Hodge 理论上的联系，还提供了一个具体的几何构造：该三次四维流形是奇异 Peskine 六维流形的线性截面，而超凯勒四维流形恰好是该三次四维流形的直线簇。
• 有理性背景： 该工作将这些发现置于更广泛的有理性问题背景之下。作者指出，对于 $d=24$，关联的三次四维流形 $Y$ 被预期是有理的，而关联的扭曲 K3 曲面（如 Benedetti–Song 和 Hassett 所研究的）的存在决定了有理性的障碍。同构 $F(Y) \cong X_\sigma^6$ 为通过 $Y$ 的有理性来理解 $X_\sigma^1$ 的有理性提供了路径。
• 审慎性： 作者谨慎地指出，虽然他们在一般情形下证明了同构关系，但在奇异设置下，他们并未在进一步分析奇异点集的情况下声称 $X_\sigma^7$ 与 $X_\sigma^1$ 的直线簇是同构的。此外，虽然他们预期与 $\sigma$ 和 $Y$ 相关的扭曲 K3 曲面是导出等价的，但他们指出这仅是一个预期而非已证定理，尚需对 $Y$ 中的特殊曲面与 $X_\sigma^1$ 中的特殊三维流形之间的关系进行更深入的研究。

总而言之，本文建立了一个严谨的框架，用于将 Peskine 六维流形和 Debarre–Voisin 四维流形与 K3 曲面及三次四维流形进行关联，并为第一个此类情形（$d=24$）提供了显式的几何实现，同时阐明了这些关联存在的格理论条件。