2025-11-21T13:43:14.581153

On the correspondence between Ulrich bundles and curves on surfaces

Bordoni

This work provides a curve-based approach to Ulrich bundles on surfaces, establishing a correspondence that characterizes their existence, with a focus on applications to surfaces in $\mathbb{P}^3$.

academic

On the correspondence between Ulrich bundles and curves on surfaces

基本信息

论文ID: 2510.13455
标题: On the correspondence between Ulrich bundles and curves on surfaces
作者: Sofia Bordoni (Sapienza University of Rome)
分类: math.AG (Algebraic Geometry)
发表时间: 2025年10月15日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.13455

摘要

This work provides a curve-based approach to Ulrich bundles on surfaces, establishing a correspondence that characterizes their existence, with a focus on applications to surfaces in $\mathbb{P}^3$ .

研究背景与动机

问题背景

Ulrich bundles是代数几何中的重要概念，最初在1980年代由交换代数引入，在几何上与行列式表示问题密切相关。该问题关注超曲面的定义方程是否可以表示为线性形式矩阵的行列式。

研究重要性

理论意义: Ulrich bundles的存在性问题是代数几何中的基本问题，即使对于低维簇（如曲面）也仍然是一个开放问题
几何应用: 在曲面情况下，已有结果通过Chern类和上同调消失条件刻画了Ulrich bundles，但缺乏基于曲线的几何理解
计算需求: 需要新的方法来构造和理解这些bundles的几何结构

现有方法局限性

现有构造主要依赖于代数方法
缺乏几何直观的刻画
对于一般存在性问题缺乏系统性的解决方案

研究动机

本文旨在通过建立Ulrich bundles与曲面上曲线的对应关系，提供一种新的几何方法来理解和构造这些对象。

核心贡献

建立基本对应关系: 证明了光滑射影曲面上Ulrich bundle的存在性等价于满足特定条件的三元组(C,W,L)的存在性
连通性判别准则: 给出了对应曲线C连通性的完整刻画
P³中曲面的特化结果: 对于P³中的曲面，简化了连通性判别条件
Noether-Lefschetz轨迹的应用: 证明了支持Ulrich线丛的曲面子集构成Noether-Lefschetz轨迹的不可约分量
属数界的改进: 对于P³中的四次曲面，改进了经典不等式给出的属数下界

方法详解

任务定义

给定光滑射影曲面 $S \subset \mathbb{P}^N$ ，度数 $d \geq 2$ ，由线性系 $|H|$ 嵌入，其中 $H \in |O_S(1)|$ 。目标是刻画S上秩为r的Ulrich bundle E的存在性。

核心定理 (Theorem 1.1)

定理: 存在S上秩为r的Ulrich bundle E，当且仅当存在光滑曲线 $C \subset S$ （属数为g）以及对 $(W,L)$ ，其中L是C上的线丛， $W \subseteq H^0(L)$ 是r维无基点线性系，满足：

(i) $H^1(C,L(K_S + H)) = 0$ (ii) 乘法映射 $\phi : W \otimes H^0(S,O_S(K_S + 2H)) \to H^0(L(K_S + 2H))$ 是单射 (iii) $\deg(C) = \frac{r}{2}(K_S + 3H) \cdot H$ 且 $\deg(L) = r\chi(O_S) + g - 1 - C \cdot K_S - rH^2$

技术框架

Lazarsfeld-Mukai Bundles

关键工具是Lazarsfeld-Mukai bundles，定义为评估映射 $W \otimes O_S \twoheadrightarrow L$ 的核bundle $K_{C,W,L}$ 。其对偶 $K^*_{C,W,L}$ 称为与三元组 $(C,W,L)$ 相关的Lazarsfeld-Mukai bundle。