A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

技术摘要：关于特殊 Ulrich 丛的否定定理，及其在初级 Burniat 曲面上的补充研究

问题陈述
本文研究了在几何亏格 $p_g = 0$ 的光滑射影曲面 $X$ 上是否存在秩为 2 的 Ulrich 丛。具体而言，它探讨了“特殊”情况，即第一陈类满足 $\text{Pic}(X)$ 中的 $c_1(E) = 3H + K_X$，而非仅仅是数值上的相等。文献中的一个核心问题是，当极化 $H$ 是“特殊的”（即 $h^1(\mathcal{O}_X(H)) \neq 0$）时，标准的 Cayley–Bacharach 构造（一种形式为 $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$ 的扩张）是否仍能产生此类丛。虽然非特殊性（$h^1=0$）是存在性定理中的一个标准假设（例如 Casnati [Ca17], Beauville [Be16b]），但本文探讨了对于这种特定的构造而言，该假设究竟是一个必要条件，还是仅仅是一个方便的假设。

研究方法
作者结合了上同调分析、扩张理论以及特定曲面类的几何特性：

1. 扩张判据： 本文利用 Serre–Griffiths–Harris 对应关系，该关系将局部自由扩张的存在性与 0 维子方案 $Z$ 对线性系统的 Cayley–Bacharach (CB) 性质联系起来。
2. 上同调张力： 论证的核心在于分析 CB 性质（要求 $Z$ 对线性系统施加相关条件以确保局部自由性）与 Ulrich 消去条件 $h^0(E(-H)) = 0$（要求 $Z$ 施加独立条件）之间的张力。
3. 泛型与特殊机制： 作者对比了 Li–Qin [LQ94] 的“泛型”机制（依赖于泛型 0-循环且要求非特殊性）与 [An94] 的“点在曲线上”机制（将 $Z$ 置于一条不可约曲线上）。他们证明了即使是后者，在处理伴随核（adjoint kernel）时，当 $H$ 是特殊时也会失效。
4. Burniat 曲面分析： 对于正向结果，作者对初级 Burniat 曲面（具有 $p_g=q=0$ 且 $K_X^2=6$ 的一般型极小曲面）进行了显式计算。他们利用双重覆盖结构 $\pi: X \to Y$（其中 $Y$ 是度数为 6 的 del Pezzo 曲面）将上同调计算简化到有理曲面 $Y$ 上，并采用了特征层分解和格理论。

主要贡献与结果

1. 否定定理 (Theorem 1.3)
主要的负面结果指出：对于一个 $p_g=0$ 且具有充足除子 $H$ 满足 $h^1(\mathcal{O}_X(H)) \neq 0$（且 $\chi(\mathcal{O}_X(H)) \ge q$）的曲面，不存在秩为 2 且 $c_1(E) = 3H + K_X$ 及具有正确 $c_2(E)$ 的向量丛 $E$ 能由如下伴随核扩张产生：
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
且满足 $h^0(E(-H)) = 0$。

• 机制： 证明显示，Ulrich 条件强制要求 $Z$ 的长度为 $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$。消去条件 $h^0(E(-H))=0$ 意味着 $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$。然而，CB 性质（局部自由性的要求）意味着 $Z$ 施加了相关的条件，从而导致矛盾，除非 $h^1(\mathcal{O}_X(H)) = 0$。
• 意义： 这证明了非特殊性是这种特定形状的丛所对应的自然伴随核构造的必要假设，而非仅仅是一个方便的假设。它排除了通过“特殊位置”机制（如将点置于曲线上）来绕过非特殊性要求的可能性。

2. 初级 Burniat 曲面上的存在性 (Theorem 1.5)
作者将结果应用于初级 Burniat 曲面。

• 全局非特殊性： 他们证明了初级 Burniat 曲面上每一个充足且无基点的除子都是非特殊的（$h^1(\mathcal{O}_X(H)) = 0$）。这是通过度数界限推导出的：一个充足的无基点除子与该曲面的六条椭圆分支曲线的交数必须 $\ge 2$。由于 $K_X$ 与这些曲线的交数为 1，故 $H - K_X$ 是充足的，从而 Kodaira 消去定理适用。
• 结论： 因此，初级 Burniat 曲面上的每一种极化都允许存在一个 $\mu_H$-稳定的秩为 2 的特殊 Ulrich 丛。此外，这些曲面相对于每种极化都是“严格 Ulrich wild”的，即携带所有偶数秩 $r \ge 2$ 的单（simple）Ulrich 丛，且这些丛以任意大的维度构成族。

3. 特殊充足类的分类
虽然在这些曲面上不存在极化（非常充足的除子）是特殊的，但作者对“特殊充足类”（充足但不无基点的类）进行了分类。

• 他们表明，所有特殊充足类都位于通过 $K_X$ 的三个特定的数值射线（numerical rays）上。
• 他们计算了沿这些射线的上同调，表明类 $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ 在 $u \ge 2$ 时是特殊的。
• 至关重要的是，他们证明了这些射线上的类都不是无基点的，这解释了为什么它们不会与极化的非特殊性产生矛盾。

4. 扭转核与障碍
论文研究了“扭转”核（例如 $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$）是否能挽救特殊极化下的构造。

• 在初级 Burniat 曲面上，他们分析了一个涉及分支曲线的特定扭转变体。
• 他们证明，即使进行了扭转，该构造对于识别出的特定特殊类仍然失效。上同调的“预算”（连接映射目标的维度）不足以在保持所需消去条件的同时吸收极化的特殊性。

5. 高秩与 Wildness
基于秩为 2 的丛的存在性，作者利用 Faenzi–Pons-Llopis 判据构造了高阶偶数秩的单 Ulrich 丛族。他们确立了初级 Burniat 曲面是严格 Ulrich wild 的，通过提供显式的维度计数和单性（而非仅仅是不可分解性）改进了以往的研究结果。

意义与主张
本文声称有两个主要贡献：

1. 一个否定结果： 它明确了 Cayley–Bachler 构造的局限性，证明了极化的非特殊性是伴随核形状的一个内在要求，而非证明技术的产物。这填补了文献中的空白，即此前并未明确记录该假设的必要性。
2. 关于 Burniat 曲面的正面结果： 它提供了关于初级 Burniat 曲面上 Ulrich 丛的完整图景。它确认了尽管该曲面具有复杂性，但其几何性质强制要求所有极化都是非特殊的，从而保证了对于每一种极化都存在稳定的特殊 Ulrich 丛。这与 Cho [Cho26] 最近的工作形成对比，后者虽然建立了特定类（如 $3K_X$）的非特殊性，但并未给出针对所有极化的全局结果或严格 wildness 的结论。

作者指出，尽管他们在处理某些特殊情况（如 $\mathbb{P}^3$ 中的五次曲面）时，其基本方法（Cayley–Bacharach）会失效，但这些丛很可能仍然存在，这表明这种障碍是位置性的而非数值性的。