Extension of Ulrich bundles

技术摘要：Ulrich 丛的扩张

问题陈述
本文研究了定义在光滑、非退化子簇 $X \subset \mathbb{P}^n$ 上的 Ulrich 丛可以扩张到环境射影空间 $\mathbb{P}^n$ 上的条件。虽然在光滑子簇上存在 Ulrich 丛是一个重大猜想（对于完全交集情形已得到证明），但关于其能否扩张到环境空间的问题在很大程度上仍是开放性的。作者旨在确定何时这种扩张是可能的，并反之，刻画阻碍这种扩张的障碍。

方法论与框架
本研究是在复数域 $\mathbb{C}$ 上进行的。作者利用 Ulrich 丛的上同调特征化：一个向量丛 $E$ 在 $X$ 上是 $L$-Ulrich 的，当且仅当对于所有 $i$ 和 $1 \le p \le \dim X$，都有 $H^i(X, E \otimes L^{-p}) = 0$。

关键方法论工具包括：

1. 上同调消失与 ACM 性质： 本文利用了 Ulrich 丛是算术 Cohen-Macaulay (ACM) 这一事实。作者通过使用超平面截面以及与之相关的短正合序列，利用维度归纳法，将 ACM 性质从子簇传播到环境空间。
2. Chern 类不变量： 一个核心工具是不变量 $\tau(E) = \mu(E(k))$，其中 $\mu(E) = c_1(E)/\text{rank}(E)$ 且 $k$ 是使得 $E(k)$ 全局生成的最小整数。本文分析了 $\tau$ 在外幂、对称幂和张量积下的行为，建立了不等式，从而在存在扩张的情况下对 $X$ 的可能几何形状施加约束。
3. 归纳论证： 对于任意子簇的证明依赖于维度的极小性论证，通过一般超平面截面将高维情况简化为曲线或曲面。
4. 显式构造： 对于曲线上的存在性结果，作者利用多项式环的乘法映射以及 $\mathbb{P}^n$ 上向量丛的评价映射的性质，构造了特定的扩张。

主要结果

• 完全交集的不可扩张性（定理 A）：
  本文证明，如果 $X$ 是维度 $\ge 2$ 的光滑、非退化完全交集，则 $X$ 上的 Ulrich 丛除非是平凡扩张且 $X = \mathbb{P}^n$，否则不能扩张为 $\mathbb{P}^n$ 上的向量丛。该证明依赖于展示：如果扩张 $E$ 存在，则它必须是一个分裂丛（根据 Horrocks 判别法），而分裂丛在维度 $\ge 2$ 的完全交集上的限制，除非该丛是平凡的且该簇是整个空间，否则无法满足 Ulrich 条件。

• 可扩张丛的特征化（定理 B）：
  对于度数为 $l$ 的任意光滑非退化子簇 $X$，本文在满足条件 $\tau(E) < 1$ 时，刻画了 $\mathbb{P}^n$ 上的秩为 $r$ 的丛 $E$ 限制为 $\mathcal{O}_X(a)$-Ulrich 丛的情况。在此假设下，$E(1-a)$ 是全局生成的，且对 $(X, E)$ 必须属于以下五种特定的几何配置之一：

  1. $X = \mathbb{P}^2$，$a=2$，$r$ 为偶数，且 $E \cong T_{\mathbb{P}^2}^{\oplus r/2}$。
  2. $X \cong \mathbb{P}^1$ 且 $l$ 整除 $r$。
  3. $X = \mathbb{P}^n$，$a=1$，且 $E$ 是平凡的。
  4. $X \cong \mathbb{P}^2$，$a=1$，$l=4$，且 $n \in \{4, 5\}$。
  5. $X \cong \mathbb{P}(\mathcal{E})$，其中 $\mathcal{E}$ 是 $\mathbb{P}^1$ 上的一个振幅丛，并具有特定的线丛识别。
     在除情况 (1) 以外的所有情况下，$\tau(E) = (l-1)/l$。

• 切丛的应用（定理 C）：
  通过应用定理 B，作者确定了外幂 ($\wedge^p T_{\mathbb{P}^n}$)、对称幂 ($S^p T_{\mathbb{P}^n}$) 以及张量幂 ($T_{\mathbb{P}^n}^{\otimes p}$ ) 的扭转何时限制为子簇上的 Ulrich 丛。结果表明，此类限制仅在 $X$ 是有理正规曲线（带有特定扭转）或 $X = \mathbb{P}^2$ 具有特定参数时才可能实现。这推广了 López 和 Zamora 关于切丛和余切丛的既有结果。

• 曲线上的扩张丛的存在性（定理 D）：
  与高维完全交集的非存在性结果形成对比，本文证明了曲线上的非平凡 Ulrich 丛确实可以扩张到 $\mathbb{P}^n$。

  1. 如果 $X$ 是完全交集曲线，则存在一个可扩张到 $\mathbb{P}^n$ 的非平凡 Ulrich 丛。
  2. 对于 $\mathbb{P}^n$ 中度数为 $l$ 的光滑有理曲线，任何 $\mathcal{O}_X(a)$-Ulrich 丛（其中 $l|r$）都可扩张为 $\mathbb{P}^n$ 上的全局生成向量丛（具体而言，扩张 $E$ 满足 $E(1-a)$ 是全局生成的）。作者指出，由于 $H^0(X, F(-a))$ 的消失，该全局生成性质是优化的。

意义与主张
本文声称为维度 $\ge 2$ 的完全交集的 Ulrich 丛扩张提供了明确的障碍，表明此类扩张本质上是不可能的。相反，它对任意子簇中极少数可扩张的情况提供了完整的分类，并受限于不变量 $\tau(E)$ 的约束。

这项工作推广了现有的关于切丛限制为 Ulrich 丛的特征化，将其统一在定理 B 的框架之下。此外，它建立了曲线上的扩张存在性，并提供了能实现扩张丛最优正性的显式构造。作者明确指出，定理 D(2) 中的全局生成结果是一项新贡献，因为此前的文献（特别是 [20]）在没有全局生成假设的情况下并未保证这一强性质。