[论文解读] Globally Generated Vector Bundles on P^3 with c_1=3

Nicolae Manolache|arXiv (Cornell University)|Feb 27, 2012

Advanced Differential Geometry Research被引用 5

一句话总结

本文对 $\mathbb{P}^3$ 上第一陈类 $c_1 = 3$ 的全局生成向量丛进行了分类，证明了该类中不存在秩 2 的丛，同时通过九个特定的正合序列类型（单态射型）对所有秩 3 丛进行了分类。此外，本文进一步表明，高阶秩丛可作为这些秩 3 丛与平凡丛的扩张而构造，利用了 Serre 对应原理以及 Vogelaar 对高阶秩向量丛通过 lci 子簇的推广。

ABSTRACT

One classifies the globally generated vector bundles on P^3 with the first Chern class c_1=3. The case c_1=2 on P^n was done by J.C. Sierra and L. Ugaglia (see the References) and the case c_1=3, rank=2 on P^n was done by S. Huh (see the References).

研究动机与目标

• 对 $\mathbb{P}^3$ 上第一陈类 $c_1 = 3$ 的所有全局生成向量丛进行分类。
• 将分类结果扩展至秩 2 以及 $c_1 = 1,2$ 之外的情形，填补文献中的空白。
• 通过正合序列及其几何不变量（特别是 Serre 对应原理与 Vogelaar 推广）来刻画此类丛。
• 确定 $\mathbb{P}^3$ 上满足 $c_1 = 3$ 的高阶秩全局生成丛的结构，即其为秩 3 丛与平凡丛的扩张。

提出的方法

• 利用 Serre 定理，将秩 2 向量丛与 codimension 2 lci 子簇关联，并将其推广至高阶秩情形（Vogelaar 的推广）。
• 应用如下判别准则：若 $\mathbb{P}^3$ 上秩 $r$ 的全局生成向量丛 $E$ 拥有 $r-1$ 个整体截面，且其依赖性支集为 lci，则可通过正合序列构造该丛。
• 采用形如 $0 \to \mathcal{O}(-d) \to \bigoplus \mathcal{O}(e_i) \to E \to 0$ 的正合序列来构造并分类丛。
• 利用条件 $H^0(E(-c_1)) \neq 0$ 排除非平凡丛的存在，除非其同构于 $\mathcal{O}(c_1)$，从而辅助分类。
• 应用如下事实：$\mathbb{P}^3$ 上秩 $>3$ 的全局生成丛必为秩 3 丛与平凡丛的扩张。
• 通过分析陈类与分解结构，验证丛及其扩张的构造。

实验结果

研究问题

• RQ1 是否存在 $\mathbb{P}^3$ 上满足 $c_1 = 3$ 的全局生成秩 2 向量丛？
• RQ2 在 $\mathbb{P}^3$ 上满足 $c_1 = 3$ 的全局生成秩 3 向量丛的完整列表是什么？
• RQ3 在 $\mathbb{P}^3$ 上满足 $c_1 = 3$ 的高阶秩全局生成向量丛具有怎样的结构？
• RQ4 是否能通过涉及线丛与切丛扭余的单态射型正合序列实现该分类？
• RQ5 陈类及其分解在区分不同丛时起到何种作用？

主要发现

• 在 $\mathbb{P}^3$ 上不存在满足 $c_1 = 3$ 的全局生成秩 2 向量丛，该结论可推广至 $n > 3$ 的 $\mathbb{P}^n$。
• 所有在 $\mathbb{P}^3$ 上满足 $c_1 = 3$ 的全局生成秩 3 向量丛均被分类为九类不同的正合序列，涉及 $\mathcal{O}$ 与 $T(-2)$ 的扭余。
• 情形 (1) 中秩 3 丛的陈多项式为 $c(E) = 1 + 3h + 9h^2 + 27h^3$，其分解为 $(1+3h)(1+9h^2)$，表明该丛为 $\mathcal{O}(3)$ 的扩张。
• 情形 (8) 中的丛具有陈多项式 $c(E) = 1 + 3h + 4h^2 + 2h^3$，其分解为 $(1+h)(1+2h+2h^2)$，对应于 Trautmann-Vetter 丛 $TV(4)$ 的扩张。
• 情形 (3) 中的丛具有 $c(E) = 1 + 3h + 4h^2 + 4h^3$，其分解为 $(1+2h)(1+h+2h^2)$，对应于 $\mathcal{O}(2)$ 的扩张。
• 所有在 $\mathbb{P}^3$ 上满足 $c_1 = 3$ 的秩 $>3$ 的全局生成向量丛均为情形 (1)–(9) 中列出的秩 3 丛与平凡丛的扩张。