Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality

技术摘要：双椭圆曲面上的向量丛：Ulrich 丛与非理性度

问题陈述
本文探讨了关于双椭圆曲面 $S$ 的两个截然不同但相互关联的问题：

1. Ulrich 丛的分类： 确定双椭圆曲面上 Ulrich 丛的 Chern 特征（即 Mukai 向量）。虽然在 Kodaira 维数为零的曲面上，秩为 2 的 Ulrich 丛的存在性已得到证实，但根据曲面的拓扑类型对它们的 Chern 特征进行完整分类仍是一个开放问题。
2. 非理性度： 计算非理性度 $\text{irr}(S)$，其定义为从 $S$ 到 $\mathbb{P}^2$ 的生成有限有理映射的最小度数。Yoshihara [31] 的前人工作计算了除第 6 类以外所有双椭圆曲面类型的这一不变量。

方法论
作者结合了模空间理论、导出范畴技术和经典代数几何。

• 弱 Brill-Noether 性质： 一个核心工具是对层模空间 $M_H(v)$ 进行的弱 Brill-Noether 性质研究。如果一个模空间中的一般层至多只有一个非零上同调群，则该模空间满足此性质。本文确立了双椭圆曲面上线丛的这一性质，并区分了扭群 $H^2(S, \mathbb{Z})_{\text{tor}}$ 非平凡（类型 1, 2, 3, 5）与平凡（类型 4, 6, 7）的情况。
• 模空间与各向同性向量： 对 Ulrich 丛的研究被简化为分析具有各向同性 Mukai 向量的稳定层模空间。作者利用了 Nuer [25] 关于对于泛型极化，这些模空间非空性的最新存在性结果。
• 正则覆盖与埃塔莱覆盖： 分析频繁利用正则覆盖 $\tilde{X}$（一个阿贝尔曲面）和中间埃塔莱覆盖，将问题从 $S$ 提升到几何性质更易理解的设置中（例如，利用阿贝尔簇上半同质层的性质）。
• 通过稳定丛计算非理性度： 本文采用了 Moretti [21] 为 K3 曲面开发的改进方法。这涉及构造一个“良对” $(E, V)$，其中 $E$ 是一个稳定秩 2 向量丛，$V \subset H^0(S, E)$ 在余维数 2 处生成 $E$。由此诱导的有理映射 $\phi_V: S \dashrightarrow \mathbb{P}^2$ 的度数通过公式 $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$ 进行计算。

主要贡献与结果

1. Ulrich 丛的分类（定理 1.3）
本文提供了由数值类为 $aA_0 + bB_0$（其中 $b \ge \lambda_S$）的泛型扩充型（ample divisor）$H$ 极化的双椭圆曲面上，Ulrich 丛的 Mukai 向量的完整分类。该分类严格取决于 $S$ 的拓扑类型：

• 类型 1, 2, 3, 5： 这些曲面携带所有秩 $r \ge 1$ 的 Ulrich 丛，其 Mukai 向量为 $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$，其中整数满足 $r \le k \le 2r$。这包括 Ulrich 线丛的存在性。
• 类型 4, 6, 7： 这些曲面携带每个秩 $r \ge 2$ 的 Ulrich 丛，但它们并不携带 Ulrich 线丛。此外，并非所有的理论 Mukai 向量 $v_{\text{Ulrich}}(r, k)$ 都对应于实际的 Ulrich 丛；由于第二上同调群扭群 $H^2(S, \mathbb{Z})_{\text{tor}}$ 的消失，出现了特定的阻碍。例如，类型 4 曲面缺乏 Mukai 向量为 $v_{\text{Ulrich}}(3, 3)$ 的 Ulrich 丛，而类型 6 曲面缺乏 $v_{\text{Ulrich}}(2, 2)$ 的 Ulrich 丛。

2. 非理性度（定理 1.5）
本文证明了对于所有双椭圆曲面 $S$，其非理性度满足 $\text{irr}(S) \le 3$。

• 这一结果完成了 Yoshihara [31] 的工作，特别是解决了此前开放的类型 6 曲面问题。
• 证明过程构造了一个特定的稳定秩 2 向量丛 $E$，其 Mukai 向量为 $(2, D, 3)$，其中 $D$ 的数值类为 $3A_0 + 2B_0$。通过证明 $E$ 在余维数 2 处是全局生成的，作者建立了一个度数至多为 3 的生成有限有理映射。
• 该策略确认了 $\text{irr}(S) \le 3$ 的界限在所有七类双椭圆曲面中是统一成立的。

意义与主张
本文声称提供了双椭圆曲面上 Ulrich 丛的首次完整分类，强调了拓扑不变量（特别是第二上同调群中的扭部分）如何决定这些丛的存在性。它表明，线丛的弱 Brill-Noether 性质是是否存在 Ulrich 线丛的关键决定因素。

关于非理性度，本文声称通过采用 Moretti 对 K3 曲面的方法的适配，解决了双椭圆曲面问题。$\text{irr}(S) \le 3$ 被呈现为这类曲面的一个确定性上界，填补了先前文献留下的空白。这项工作依赖于正则覆盖的几何与基曲面上层的稳定性条件之间的相互作用，为模空间理论在双有理不变量中的应用提供了一个具体的实例。