On the Fano dimension of an Enriques surface

技术摘要：关于 Enriques 曲面的 Fano 维数

问题陈述
本文探讨了由 Bondal (2011) 提出的“Fano-visitor 问题”，这是一个在代数几何与导出范畴领域中的问题。该问题询问：对于任何光滑射影簇 $X$，是否存在一个光滑 Fano 簇 $Y$ 以及一个全忠实函子 $D(X) \hookrightarrow D(Y)$，其中 $D(X)$ 表示相干层（coherent sheaves）的有界导出范畴。如果这样的 $Y$ 存在，则称 $X$ 为一个“Fano-visitor”，而 $Y$ 为其“Fano-host”。$X$ 的“Fano 维数”被定义为这类 Fano-host 的最小维数。

在此项工作之前，Kuznetsov ([Kuz18]) 已确定一般 Enriques 曲面 $S$ 是一个六维 Fano host 的 Fano-visitor，而节点（nodal）Enriques 曲面则拥有一个四维 host。本文旨在将一般 Enriques 曲面的 Fano 维数界限从六降至四。

方法论
作者利用了向量丛之间态射的退化点簇（degeneracy loci）理论以及分层 Grassmann 丛（stratified Grassmann bundles）的几何。其核心技术工具包括：

1. 退化点簇与向量丛： 该构造依赖于光滑簇 $X$ 上的一般态射 $\phi: E \to F$，其中 $E^\vee \otimes F$ 是全局生成的。本文利用了关联截面在射影丛上的零点簇与退化点簇 $D_r(\phi)$ 之间的关系。
2. 分层射影丛： 一个关键引理（引理 2.3）确立了：对于秩满足 $e > f$ 的一般态射 $\phi: E \to F$，在射影丛 $\mathbb{P}_X(E)$ 内部的零点簇 $Y = V(\phi_E)$ 与 $X$ 是双有理的。至关重要的是，若 $f = e-1$，则 $Y$ 同构于 $X$ 沿退化点簇 $D_{f-1}(\phi)$ 的吹胀（blow-up）。
3. 导出范畴嵌入： 本文应用 Orlov 的吹胀公式以及关于半正交分解（semiorthogonal decompositions）的结果（特别是 [Kuz07, Theorem 8.8]）来建立导出范畴的嵌入。如果 $Y$ 是 $X$ 沿中心 $Z$ 的吹胀，且 $Y$ 是 Fano 簇，那么 $D(Y)$ 将包含 $D(Z)$ 作为其一个半正交分量。
4. 命题 2.4： 作者证明了一个一般性结果，即在特定条件下（特定线丛的低阶退化点簇消失且满足反振幅条件时），射影丛上的截面零点簇 $Y$ 是退化点簇 $Z$ 的 Fano host。

主要贡献与结果

• 构造四维 Fano Host： 主要结果（定理 3.1）构造了一个特定的 Fano 四维簇 $Y$，作为一般 Enriques 曲面 $S$ 的 host。

  • 几何实现： 令 $X = \mathbb{P}^2 \times \mathbb{P}^2$。作者考虑向量丛 $E = \mathcal{O}_X \otimes W_3$ 和 $F = \mathcal{O}_X(2,0) \oplus \mathcal{O}_X(0,2)$。一个一般态射 $\phi: E \to F$ 将一般 Enriques 曲面 $S$ 定义为第一退化点簇 $D_1(\phi)$。
  • Host 簇： 簇 $Y$ 被定义为 $\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2$ 中丛 $\mathcal{O}(1,0,2) \oplus \mathcal{O}(1,2,0)$ 的一个截面的零点簇。
  • 同构关系： 本文证明了 $Y \cong \text{Bl}_S(\mathbb{P}^2 \times \mathbb{P}^2)$，即 $\mathbb{P}^2 \times \mathbb{P}^2$ 沿 $S$ 的吹胀。
  • Fano 性质： 利用伴随公式（adjunction formula），证明了 $Y$ 是一个 Fano 簇（其反正则丛是振幅的）。

• 导出范畴分解： 推论 3.3 确立了 $Y$ 的导出范畴的半正交分解：
  $$D(Y) = \langle D(S), E_1, \dots, E_9 \rangle$$
  其中 $E_1, \dots, E_9$ 是源自 $\mathbb{P}^2 \times \mathbb{P}^2$ 的例外集（exceptional collection）的例外丛（exceptional bundles）。这证实了 $S$ 是 $Y$ 的 Fano-visitor。

• 不变量与挠元：

  • $Y$ 的 Hodge 菱形是对角的。
  • 整数上同调 $H^4(Y, \mathbb{Z})$ 包含一个与秩为十的格 $\Lambda$ 同构的直和，以及一个 $\mathbb{Z}/2\mathbb{Z}$ 的挠分量。
  • 因此，$K_0(Y)$ 包含一个 2-阶挠类，这意味着 $D(Y)$ 不存在全例外集（full exceptional collection）。

• 下界论证： 本文论证了一般 Enriques 曲面的 Fano 维数恰好为 4。由于受限于维数和 Hodge 理论约束，$S$ 无法嵌入到 Fano 曲线或曲面中，作者排除了 Fano 三维簇的可能性。若存在 Fano 三维簇 $Y'$ 作为 host，其 Picard 数秩需至少为 5 才能容纳 Hochschild 同调的维数。然而，所有已知的 Picard 数秩 $\ge 5$ 的 Fano 三维簇都拥有全例外集，这意味着它们的 Grothendieck 群是无挠的，这与由 $S$ 引起的 2-阶挠的存在性相矛盾。

意义
本文声称将一般 Enriques 曲面的已知 Fano 维数界限从 6 提升到了 4。通过显式构造一个包含 $D(S)$ 作为其半正交分量的 Fano 四维簇 $Y$，这项工作为这一类曲面的 Fano-visitor 问题提供了具体的解决方案。该构造凸显了退化点簇、射影空间乘积的吹胀以及导出范畴之间深层的相互作用。该结果也强化了 host 的 Grothendieck 群中的挠元与全例外集存在性之间的联系。