Smooth Counterexamples to the Eisenbud--Schreyer--Weyman Ulrich Existence Problem

技术摘要：关于 Eisenbud–Schreyer–Weyman Ulrich 存在性问题的光滑反例

问题陈述
本文探讨了 Eisenbud–Schreyer–Weyman (ESW) 存在性问题，该问题询问每个嵌入射影簇 $X \subset \mathbb{P}^N$ 是否都携带一个 Ulrich 层。作者采用了标准的方案理论表述：在 $X$ 上的 Ulrich 层是一个具有全支撑且相对于超平面类 $\mathcal{O}_X(1)$ 为 Ulrich 的相干 $\mathcal{O}_X$-模。在光滑曲面上，此类层是局部自由的（向量丛）。

虽然 Coskun 和 Huizenga 已证明，对于任何光滑曲面 $X$ 和扩充（ample）除子 $H$，对 $(X, mH)$ 在充分大的 $m$ 时都携带 Ulrich 丛，但 ESW 问题更为严苛：对于一个固定的极度扩充类 $H$（即一个固定的射影嵌入），是否一定存在 Ulrich 对象？本文研究了在光滑复射影曲面中，这种固定嵌入的表述是否允许反例的存在。

方法论与数值障碍
本文核心论证依赖于由 Bogomolov–Hodge 不等式导出的数值障碍，该不等式无论曲面的 Picard 数（Picard rank）如何均成立。

1. 不等式： 令 $(S, H)$ 为光滑极化曲面。若 $E$ 是 $S$ 上的秩为 $r$ 的 Ulrich 丛，作者定义了一个平移类 $\alpha = c_1(E) - \frac{r}{2}(K_S + 3H)$。利用 Riemann–Roch 定理、半稳定性、Bogomolov 不等式 ($\Delta(E) \ge 0$) 以及 Hodge 指数定理 ($\alpha^2 \le 0$)，本文确立了必要条件：
   $$H^2 \ge K_S^2 - 8\chi(\mathcal{O}_S) = \sigma(S)$$
   其中 $\sigma(S)$ 是底层四维流形的拓扑特征标（signature）。

   该不等式改进了 Beauville (2017) 之前的观察。Beauille 对反例的搜索依赖于 Picard 数为一 ($\text{rk NS}(S)=1$) 的假设，这强制要求 $\alpha \equiv 0$ 并得出相同的不等式。作者证明了 Picard 数为一的假设是不必要的；项 $\alpha^2 \le 0$ 确保了该不等式对任何 Picard 数均成立。因此，任何满足 $H^2 < \sigma(S)$ 的光滑极化曲面都不可能携带任何秩的 Ulrich 丛。

2. 几何构造： 为了构造违反该不等式的曲面，作者利用了与 $\mathbb{P}^2$ 上直线排列相关的 Hirzebruch–Kummer 覆盖。

   • 令 $\mathcal{A}$ 为 $k$ 条直线的排列。
   • 令 $X_n$ 为以 $\mathcal{A}$ 为分支集的指数为 $n$ 的 Kummer 覆盖。
   • 令 $Y_n$ 为 $X_n$ 奇异性的极小解析。
   • 作者利用 Rees 代数/Segre 机制 来识别 $Y_n$ 上的极度扩充类。具体而言，如果 $X_n$ 的奇异理想由次数为 $\nu$ 的单项式生成，则极度扩膨类为 $H_n = (\nu+1)A_n - E_n$，其中 $A_n$ 是超平面类的拉回，$E_n$ 是例外除子。

关键结果与反例
本文构造了显式的无穷系列光滑反例，其满足 $H_n^2 < \sigma(Y_n)$。

1. Hesse 系列（主要反例）：

   • 基于经典的 Hesse 12 线排列（9 个四重点，12 个二重点）。
   • 其奇异理想由三次单项式生成 ($\nu=3$)，产生极度扩充类 $H_n = 4A_n - E_n$。
   • 定理 1.1： 对于 $n=3$，满足 $H_3 = 4A_3 - E_3$ 的曲面 $Y_3$ 满足：
     $$H_3^2 = 7 \cdot 3^9 < 16 \cdot 3^9 = \sigma(Y_3)$$
     因此，$uc(Y_3, H_3) = \infty$；该嵌入不存在 Ulrich 层。
   • 定理 1.2： 这扩展到了所有 $n \ge 3$。这些曲面 $Y_n$ 是两两互不同构的，且比例 $H_n^2 / \sigma(Y_n) \to 0$ 当 $n \to \infty$ 时成立。
   • 几何意义： 对于 $n=3$，$Y_3$ 是一个紧致球商（满足 $K_{Y_3} = 3L$）。极化 $H_3$ 是通过从正则根 $L = K/3$ “偏离射线”来构造的，即 $H = L - A$。虽然 $L^2 = \sigma(Y_3)$，但减去 nef 类 $A$ 会使自交数严格低于特征标阈值，同时保持极度扩充性。

2. 伴随系列：

   • 对偶 Hesse 排列： 对于所有 $n \ge 5$ 产生反例，极化为 $H_n = 6A_n - E_n$。
   • 完全四线形（Complete Quadrangle）： 对于所有 $n \ge 6$ 产生反例，极化为 $H_n = 3A_n - E_n$。在 $n=5$ 时，该系列在较高 Picard 数下实现了数值边界 $K^2 = 3H^2 = \sigma$。

3. 一般机制（定理 1.3）：
   本文为任何具有次数-$\nu$ 生成数据的直线排列建立了通用判据（定理 6.1）。如果排列参数满足特定的增长条件（特别是 $Q_{\mathcal{A}} > 0$），则生成的系列 $(Y_n, H_n)$ 为所有充分大的 $n$ 提供反例。

意义与主张
本文声称提供了首个已知在所有秩下都排除 Ulrich 丛的平滑极化簇。

• 解决固定嵌入问题： 结果表明，当嵌入是固定的时，ESW 问题的答案对于光滑复射影曲面是负面的。
• 移除 Picard 数限制： 该工作表明数值障碍 $H^2 \ge \sigma(S)$ 是与秩无关的，修正了此前认为反例需要 Picard 数为一的假设。
• Chow 形式的影响： 通过 ESW 构造，Ulrich 层的不存在意味着嵌入曲面的 Chow 形式不具备由 Ulrich 层产生的线性行列式表示。
• 系统性现象： 这些反例并非孤立的异常，而是属于无穷非同构曲面系列的组成部分。由于特征标 $\sigma(Y_n)$ 的增长速度（在归一化公式中领先项为 $n^{k-1}$）远快于极化平方 $H_n^2$ 的增长速度（为 $n^{k-3}$），Ulrich 阈值的违背在相对意义上变得任意大。

本文结论指出，尽管对于 $(X, mH)$ 渐近存在性成立，但 Hesse 球商及其 Kummer 相关簇的具体几何结构，为固定极度扩充极化提供了稳健的 Ulrich 层存在性障碍。