2025-11-17T02:46:13.368331

On existence of Ulrich sheaf

Mukherjee, Barik
Let X be a smooth projective variety carrying an Ulrich bundle. In the first part of this note, we construct an Ulrich sheaf on n-th symmetric power of X, which is a singular variety. As a consequence, we get the existence of Ulrich sheaf on Hillb^{n}C, where C is a smooth projective curve. In the second part of this note, we give a sufficient condition which guarantees the existence of Ulrich bundle on Blow-up of an abelian variety along an abelian sub-variety.
academic

On existence of Ulrich sheaf

基本信息

  • 论文ID: 2511.11001
  • 标题: On existence of Ulrich sheaf
  • 作者: Anindya Mukherjee, Pabitra Barik
  • 分类: math.AG (代数几何)
  • 发表时间: November 17, 2025 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2511.11001

摘要

本文研究Ulrich层的存在性问题。第一部分，作者在光滑射影簇X的n次对称幂上构造了Ulrich层（这是一个奇异簇）。作为推论，得到了光滑射影曲线C的嵌套Hilbert概形Hillb^n C上Ulrich层的存在性。第二部分，作者给出了一个充分条件，保证阿贝尔簇沿阿贝尔子簇的爆破上Ulrich丛的存在性。

研究背景与动机

1. 核心问题

本文研究代数几何中的一个基本问题：Ulrich层/丛的存在性。对于射影簇 X ⊆ P^n 配备极丰富线丛 O_X(1)，一个凝聚层 E 称为Ulrich层，如果满足：

  • h^i(X, E(-i)) = 0 对所有 i > 0
  • h^i(X, E(-j+1)) = 0 对所有 j < dim X

2. 问题的重要性

  • 代数解释：Ulrich丛提供了射影簇的良好几何解释，与其是否可以集合论地由线性形式的行列式确定相关
  • 基本问题：Eisenbud和Schreyer在其开创性工作10中提出的核心问题：
    • 每个射影簇是否都携带Ulrich层？
    • 如果存在，最小可能的秩是多少？

3. 现有结果的局限性

  • 曲线情形：已知每条射影曲线（即使是奇异的）都携带Ulrich丛
  • 高维情形：对于dim X > 1的情形，一般性结果很少。某些特殊情况已知：
    • 某些曲面3
    • Grassmann簇等特殊高维簇5
  • 奇异簇：关于奇异簇上Ulrich层的存在性结果更少

4. 研究动机

本文旨在扩展Ulrich层的存在性结果到两类重要的簇：

  • 奇异簇：对称幂（symmetric power）是自然出现的奇异簇
  • 爆破：阿贝尔簇沿阿贝尔子簇的爆破

核心贡献

  1. 对称幂上的Ulrich层：证明了如果光滑射影簇X携带Ulrich丛，则其n次对称幂Sym^n X（奇异簇）也携带Ulrich层（定理1.1）
  2. 嵌套Hilbert概形：作为推论，证明了光滑射影曲线C的嵌套Hilbert概形Hillb^n C上存在Ulrich层（推论3.3）
  3. 有限商的结果：给出了光滑射影簇的有限商上Ulrich层存在性的充分条件（推论3.4）
  4. 阿贝尔簇爆破：在阿贝尔簇沿阿贝尔子簇爆破的情形下，给出了Ulrich丛存在性的充分条件，并确定了其秩（定理1.2）
  5. 具体例子：提供了满足理论条件的若干具体例子（推论4.5及注记4.6）

方法详解

任务定义

给定携带Ulrich丛的光滑射影簇X，在以下两类簇上构造Ulrich层：

  1. 输入：光滑射影簇 (X, O_X(1)) 及其上的秩r的Ulrich丛 E
  2. 输出1：对称幂 Sym^n X 上配备某个极化的Ulrich层
  3. 输出2：阿贝尔簇X沿阿贝尔子簇Z的爆破 X' 上的Ulrich丛

方法架构

第一部分：对称幂上的构造

步骤1：有限态射的建立

  • 利用命题3.1证明商映射 π: X^n → Sym^n X 是有限的
  • 关键：证明对称群S_n在X^n上的作用使得每个点的轨道包含在仿射开子簇中

步骤2：线丛的下降

  • 核心技术引理（引理3.2）：对于 π: X×X → Sym^2 X，如果A是X上的丰富线丛，则存在Sym^2 X上的丰富线丛N使得 π*N ≅ O_X(A) ⊠ O_X(A)
  • 证明策略：
    • 利用对合映射 σ: X×X → X×X 的不变性
    • 应用线丛下降理论7, proposition 3.6
    • 通过Segre嵌入证明丰富性

步骤3：Ulrich层的构造

  • 在 (X, O_X(d)) 上构造Ulrich丛（利用命题2.4）
  • 在积 X×X 上应用命题2.2得到Ulrich丛
  • 通过推出函子 π_* 和命题2.3得到对称幂上的Ulrich层

第二部分：爆破上的构造

步骤1：确定极丰富除子

  • 利用定理4.1：如果 I_Z ⊗ L^⊗t 是整体生成的，则 t'π*L - E 对 t' ≥ t+1 是整体生成的
  • 选择 L = (t+1)H 使得 L' = π*L - E 在爆破 X' 上极丰富

步骤2：刻画条件（引理4.2）

  • 建立等价关系：(π*F)((e-n-1)E) 是 (X', L') 上的Ulrich丛
  • 当且仅当：H^i(F(-pL) ⊗ I_Z^{n+1-e-p}) = 0 对 1 ≤ p ≤ n-e
  • 证明分两种情况：
    • 情形1 (1 ≤ p ≤ n-e)：利用投射公式和命题2.7
    • 情形2 (n-e+1 ≤ p ≤ n)：利用11, lemma 1.4

步骤3：阿贝尔簇的特殊性质（引理4.4）

  • 关键观察：对于阿贝尔簇X和阿贝尔子簇Z
  • 利用 I/I^2 的平凡性（因为余切丛都是平凡的）
  • 证明：F|_Z 是 (Z, L|_Z) 上的Ulrich丛
  • 等价于：H^i(X, F(-pL) ⊗ I_Z^n) = 0 对所有 n ≥ 1 和 1 ≤ p ≤ dim Z

技术创新点

  1. 线丛下降技术：引理3.2巧妙地利用了对称群作用下的不变性和线丛下降理论，这是处理商簇上极化的关键技术
  2. 推出函子的应用：通过有限态射的推出函子保持Ulrich性质（命题2.3），将积上的Ulrich丛转化为商上的Ulrich层
  3. 阿贝尔簇的几何性质：充分利用阿贝尔簇及其子簇的余切丛平凡性，使得理想层的幂次商 I^k/I^{k+1} 都是平凡的，这简化了上同调的计算
  4. 统一的秩计算：通过命题2.4和引理4.2，能够精确追踪Ulrich丛的秩在构造过程中的变化

实验设置

注：本文是纯数学理论论文，不涉及计算实验。主要结果是定理的证明和具体数学例子的构造。

理论验证方式

本文通过以下方式验证理论结果：

  1. 具体例子（推论4.5）：
    • 考虑 X = A × A（阿贝尔簇的积）
    • Z = A × {0}（阿贝尔子簇）
    • 证明爆破 Bl_{A×{0}}(A×A) 上存在Ulrich丛
  2. 一般化构造（注记4.6）：
    • 对于 X = A^m（m ≥ 2），可以构造多个满足条件的阿贝尔子簇Z
    • 每个选择都给出爆破上的Ulrich丛

实验结果

主要定理

定理1.1：设X是携带秩r的Ulrich丛的光滑射影簇。则存在一个极化使得Sym^n X也携带Ulrich层。

定理1.2：设X是n维阿贝尔簇，Z是阿贝尔子簇，X'是X沿Z的爆破。设F是(X,L)上秩为rn!的Ulrich丛且F|_Z是(Z, L|_Z)上的Ulrich丛。则存在极化使得X'也携带秩为rn!的Ulrich丛。

推论结果

推论3.3（嵌套Hilbert概形）：

  • 设C是光滑射影曲线
  • Z_n(C)是C上的嵌套Hilbert概形，其中n = (m_1, m_2, ..., m_k)满足m_1 < m_2 < ... < m_k
  • 则Z_n(C)携带关于某个极化的Ulrich层
  • 证明要点：Z_n(C)是C的对称幂的积6，应用定理1.1和命题2.2

推论3.4（有限商）：

  • 设X_i是光滑射影簇（i=1,...,n）满足：
    • Pic(X_i) ≅ ZO_X(1)
    • H^1(X_i, O_) = 0
  • Y = X_1 × ... × X_n，G是作用在Y上的有限群
  • 如果每个(X_i, O_(1))携带Ulrich丛，则Y/G携带关于某个极化的Ulrich层

推论4.5（阿贝尔簇积的爆破）：

  • X = A × A（维数2n）
  • Z = A × {0}（阿贝尔子簇）
  • 如果(A,H)携带Ulrich丛，则爆破X' = Bl_Z(X)携带Ulrich丛
  • 关键计算：限制 i*(pF ⊗ qF(nH^{⊗t+1})) ≅ F^⊕r 仍是Ulrich丛

理论发现

  1. 奇异性不是障碍：对称幂虽然是奇异簇，但继承了基簇的Ulrich性质
  2. 秩的增长：通过命题2.4，秩从r增长到rn!，这个增长是可控且可计算的
  3. 限制条件的几何意义：定理1.2中"F|_Z是Ulrich"的条件在阿贝尔簇情形下有清晰的上同调刻画（引理4.4）
  4. 构造的灵活性：注记4.6指出对于A^m可以选择不同的阿贝尔子簇，产生多个Ulrich丛

相关工作

历史背景

  1. 起源：Ulrich模的研究始于1980年代的交换代数2
  2. 几何化：Eisenbud和Schreyer10将其引入代数几何，建立了与行列式表示的联系
  3. 曲线情形：已完全解决，每条射影曲线都携带Ulrich丛5, page 66

现有结果

  1. 曲面：某些曲面上的存在性已知3
  2. 特殊簇：
    • Grassmann簇5
    • 点的爆破9（Kim, 2016首次建立）
    • 使用不同技术的爆破结果8（Secci, 2020）
  3. 一般理论：Beauville的综述3提供了系统介绍

本文的贡献定位

  1. 奇异簇的新结果：对称幂是首次系统研究的奇异簇类
  2. 爆破的推广：
    • 从点的爆破9推广到阿贝尔子簇的爆破
    • 给出秩的精确计算
  3. 统一框架：通过有限态射和推出函子提供了统一的构造方法

结论与讨论

主要结论

  1. 对称幂定理：光滑簇的Ulrich丛可以提升到其对称幂上的Ulrich层，即使对称幂是奇异的
  2. 阿贝尔簇爆破：在限制条件F|_Z是Ulrich的假设下，阿贝尔簇的爆破继承Ulrich丛
  3. 具体应用：嵌套Hilbert概形和阿贝尔簇积的爆破提供了可验证的例子

局限性

  1. 极化的非显式性：定理1.1和1.2保证存在某个极化，但没有给出显式构造
  2. 限制条件：定理1.2需要F|_Z是Ulrich的条件，这在一般情形可能难以验证
  3. 秩的增长：从r到rn!的秩增长可能不是最优的
  4. 一般爆破：方法局限于阿贝尔簇沿阿贝尔子簇的爆破，一般子簇的情形未解决

未来方向

论文明确提出的开放问题：

问题：设X是维数>1的光滑射影簇，携带关于某个极化的Ulrich丛。是否存在极化使得Hillb^n X也携带Ulrich层？

这推广了推论3.3从曲线到高维簇的情形。

其他潜在方向：

  1. 寻找最小秩的Ulrich层
  2. 研究其他类型奇异簇上的Ulrich层
  3. 推广爆破结果到更一般的子簇

深度评价

优点

  1. 方法的创新性：
    • 线丛下降技术（引理3.2）巧妙地处理了商簇上的极化问题
    • 统一使用推出函子处理有限商的Ulrich性质
    • 充分利用阿贝尔簇的特殊几何性质
  2. 结果的系统性：
    • 从对称幂到嵌套Hilbert概形形成完整链条
    • 从点的爆破到阿贝尔子簇的爆破是自然推广
    • 提供了秩的精确计算
  3. 证明的严谨性：
    • 每个引理都有详细证明或明确引用
    • 引理3.2的证明修正了原始版本（见致谢）
    • 分情况讨论（如引理4.2）清晰完整
  4. 写作的清晰度：
    • 结构清晰：预备知识→对称幂→爆破
    • 动机明确：每部分都说明了为什么需要这些结果
    • 例子丰富：推论4.5和注记4.6提供具体应用

不足

  1. 极化的非构造性：
    • 定理只保证存在性，未给出极化的显式描述
    • 在应用中可能需要额外工作来找到合适的极化
  2. 条件的强度：
    • 推论3.4中Pic(X_i) ≅ Z和H^1=0的条件较强
    • 定理1.2中F|_Z是Ulrich的条件在一般情形难以检验
  3. 例子的局限：
    • 推论4.5只处理了A×A的特殊情形
    • 注记4.6虽然提到A^m，但没有详细展开
  4. 技术细节：
    • 某些证明依赖于"t >> 0"这样的非显式条件
    • 引理3.2的证明需要"sufficiently large k"但未给出具体界

影响力

  1. 对领域的贡献：
    • 为Eisenbud-Schreyer问题提供了新的正面例子
    • 首次系统研究奇异簇（对称幂）上的Ulrich层
    • 推广了爆破上Ulrich丛的已知结果
  2. 实用价值：
    • 方法可以应用于具体的代数簇
    • 推论3.3对研究曲线的Hilbert概形有直接应用
    • 推论4.5提供了可计算的例子
  3. 可复现性：
    • 证明使用标准技术，易于验证
    • 引用的结果都来自可靠文献
    • 构造过程算法化程度高
  4. 后续研究：
    • 论文提出的问题（关于Hillb^n X）指明了研究方向
    • 方法可能推广到其他类型的商或爆破
    • 秩的优化问题值得进一步研究

适用场景

  1. 理论研究：
    • 研究Ulrich丛的存在性问题
    • 研究奇异簇的几何性质
    • 研究阿贝尔簇的爆破几何
  2. 具体应用：
    • 曲线的模空间理论（通过嵌套Hilbert概形）
    • 阿贝尔簇的几何
    • 对称积的研究
  3. 方法借鉴：
    • 推出函子在保持几何性质中的应用
    • 线丛下降理论的应用
    • 有限商的处理技术

参考文献（关键文献）

2 Goto等, Ulrich ideals and modules (2014) - Ulrich模的交换代数基础

3 Beauville, An introduction to Ulrich bundles (2018) - 系统综述

5 Costa等, Ulrich bundles—from commutative algebra to algebraic geometry - 专著

8 Secci, On the existence of Ulrich bundles on blown-up varieties at a point (2020) - 点爆破的前期工作

9 Kim, Ulrich bundles on blowing ups (2016) - 首次建立点爆破的结果

10 Eisenbud-Schreyer, Resultants and Chow forms via exterior syzygies (2003) - 开创性工作

总体评价：这是一篇高质量的代数几何论文，通过巧妙的技术手段推进了Ulrich层存在性这一基本问题的研究。论文在奇异簇和爆破两个方向都取得了新结果，方法具有一定的普适性。虽然某些条件较强且极化的构造不够显式，但整体贡献显著，为后续研究提供了良好基础。