[论文解读] Ulrich Bundles on Projective Spaces

Zhiming Lin|arXiv (Cornell University)|Mar 19, 2017

Algebraic Geometry and Number Theory参考文献 11被引用 4

一句话总结

本文证明了在 $\mathbb{P}^n$ 上关于 $\mathcal{O}(d)$ 的每个 Ulrich 线丛在被 $\Omega^j(j)$ 扭曲时都具有自然上同调，并且仅使用平凡线丛 $\mathcal{O}$ 提供了此类线丛的分解。关键贡献是当 $n \leq 3$ 时，对 Ulrich 线丛给出了必要且充分条件，从而实现了对 $\mathbb{P}^3$ 上关于 $\mathcal{O}(2)$ 的新秩 2 线丛以及 $\mathbb{P}^2$ 上关于 $\mathcal{O}(3)$ 的新秩 3 线丛的构造。

ABSTRACT

We assume that $\mathcal{E}$ is a rank $r$ Ulrich bundle for $(P^n, \mathcal{O}(d))$. The main result of this paper is that $\mathcal{E}(i)\otimes Ω^{j}(j)$ has natural cohomology for any integers $i \in \mathbb{Z}$ and $0 \leq j \leq n$, and every Ulrich bundle $\mathcal{E}$ has a resolution in terms of $n$ of the trivial bundle over $P^n$. As a corollary, we can give a necessary and sufficient condition for Ulrich bundles if $n \leq 3$, which can be used to find some new examples, i.e., rank $2$ bundles for $(P^3, \mathcal{O}(2))$ and rank $3$ bundles for $(P^2, \mathcal{O}(3))$.

研究动机与目标

• 建立关于 $\mathcal{O}(d)$ 的 $\mathbb{P}^n$ 上 Ulrich 线丛的上同调刻画。
• 证明所有此类 Ulrich 线丛均可通过仅使用平凡线丛 $\mathcal{O}$ 的分解来实现，推广了先前的结果。
• 为 $n \leq 3$ 时提供 Ulrich 线丛的必要且充分条件，从而实现显式构造。
• 显式构造新的 Ulrich 线丛示例，特别是 $(\mathbb{P}^3, \mathcal{O}(2))$ 的秩 2 线丛与 $(\mathbb{P}^2, \mathcal{O}(3))$ 的秩 3 线丛。

提出的方法

• 利用欧拉示性数公式与 Bott 公式，证明对任意整数 $i$ 和 $0 \leq j \leq n$，有 $\mathcal{E}(i) \otimes \Omega^j(j)$ 具有自然上同调。
• 基于欧拉示性数，推导出 Ulrich 线丛分解中 Betti 数 $a_j$ 的显式公式，其表达式涉及二项式系数与 $rd^n$。
• 利用分解将 Ulrich 线丛的存在性问题转化为特定上同调性质的态射 $\alpha: \mathcal{O}^{a_{j-1}}(-j+1) \to \mathcal{O}^{a_j}(-j)$ 的存在性问题。
• 应用 Serre 对偶性，将 $H^n(\alpha(-d))$ 的满射性条件转化为对偶态射的单射性条件，从而导出关于态射系数的线性方程组。
• 通过求解所得线性系统构造显式示例，确保系数矩阵的行列式非零。
• 通过上同调消去准则验证所构造线丛满足 Ulrich 条件。

实验结果

研究问题

• RQ1 对于哪些 $n$ 与 $d$，在 $\mathbb{P}^n$ 上关于 $\mathcal{O}(d)$ 存在最小秩的 Ulrich 线丛？
• RQ2 一个 Ulrich 线丛 $\mathcal{E}$ 的 $\mathcal{E}(i) \otimes \Omega^j(j)$ 的上同调是否可由其欧拉示性数完全确定？
• RQ3 当 $n \leq 3$ 时，一个向量丛成为 Ulrich 的必要且充分条件是什么？
• RQ4 能否对 $n=2,3$ 且 $d>1$ 的情况显式构造出新的 Ulrich 线丛示例？
• RQ5 是否存在一种仅使用平凡线丛 $\mathcal{O}$ 的分解，用于 $\mathbb{P}^n$ 上任意 Ulrich 线丛？

主要发现

• 所有关于 $\mathcal{O}(d)$ 的 $\mathbb{P}^n$ 上 Ulrich 线丛 $\mathcal{E}$ 满足：对所有 $i \in \mathbb{Z}$ 与 $0 \leq j \leq n$，有 $\mathcal{E}(i) \otimes \Omega^j(j)$ 具有自然上同调。
• 线丛 $\mathcal{E}(i) \otimes \Omega^j(j)$ 的欧拉示性数为 $\chi = rd^n \sum_{k=0}^j (-1)^{j-k} \binom{n+1}{k} \binom{\frac{i+j-k}{d} + n}{n}$。
• 所有关于 $\mathcal{O}(d)$ 的 $\mathbb{P}^n$ 上秩为 $r$ 的 Ulrich 线丛 $\mathcal{E}$ 均存在如下形式的分解：$0 \to \mathcal{O}^{a_n}(-n) \to \cdots \to \mathcal{O}^{a_1}(-1) \to \mathcal{E}(-d) \to 0$，其中 $a_j = -rd^n \sum_{k=0}^j (-1)^{j-k} \binom{n+1}{k} \binom{\frac{j-k}{d} + n - 1}{n}$。
• 当 $n \leq 3$ 时，通过分解与上同调消去性质，导出了线丛为 Ulrich 的必要且充分条件，从而实现显式分类。
• 通过一个态射 $\alpha: \mathcal{O}^3(-2) \to \mathcal{O}^6(-1)$ 构造出一个新的关于 $\mathcal{O}(2)$ 的 $\mathbb{P}^3$ 上秩 2 Ulrich 线丛，其系数矩阵 $C$ 的行列式非零，即 $\det(C) = 4 \neq 0$。
• 通过求解方程组 $\delta(f) = 0$ 并验证 $\det(C) \neq 0$，构造出第一个关于 $\mathcal{O}(3)$ 的 $\mathbb{P}^2$ 上秩 3 Ulrich 线丛的显式示例。