[论文解读] Rank two globally generated vector bundles with c_1 \leq 5

Ludovica Chiodera, Philippe Ellia|arXiv (Cornell University)|Nov 24, 2011

Algebraic Geometry and Number Theory参考文献 10被引用 18

一句话总结

本文对 $ n \geq 3 $ 且 $ c_1 \leq 5 $ 的射影空间 $ \mathbb{P}^n $ 上的全局生成秩二向量丛进行了分类。结果表明，当 $ n \geq 4 $ 时，所有此类丛均分裂为线丛的直和。当 $ n = 3 $ 时，仅在特定的陈类 $ c_1 \in \{2,4,5\} $，$ c_2 \in \{2,5,6,7,8,8,10,12\} $ 下存在不可约丛，其中 $ (c_1,c_2) = (5,12) $ 的情形仍悬而未决。该分类依赖于联络理论以及通过联络和稳定性条件获得的上同调约束。

ABSTRACT

We classify rank two globally generated vector bundles on P^n, n > 2, with c_1 \leq 5. The classification is complete but for one case (n = 3, c_1 = 5, c_2 = 12)

研究动机与目标

• 对 $ n \geq 3 $ 且 $ c_1 \leq 5 $ 的射影空间 $ \mathbb{P}^n $ 上的全局生成秩二向量丛进行分类。
• 确定哪些此类丛是不可约的，并确定其存在的条件。
• 解决 $ \mathbb{P}^3 $ 中 $ (c_1, c_2) = (5, 12) $ 情形的存在性问题，该问题目前仍为开放问题。
• 为 $ n \geq 4 $ 建立完整分类，证明所有此类丛必须分裂。
• 通过联络理论和典范条件，刻画一般截面零点集所关联的曲线。

提出的方法

• 对不可约丛 $ E $ 使用正合列 $ 0 \to \mathcal{O} \to E \to \mathcal{I}_C(c_1) \to 0 $，其中 $ C $ 为光滑曲线且满足 $ \omega_C(4 - c_1) \simeq \mathcal{O}_C $。
• 应用联络理论，通过两个曲面的完全交，将零点集曲线 $ C $ 与另一条曲线 $ Y $ 联络起来。
• 应用施瓦尔岑贝格条件 $ c_2(c_2 + 2) \equiv 0 \pmod{12} $，以限制稳定丛的可能 $ c_2 $ 值。
• 利用 $ \mathcal{I}_C(c_1) $ 的上同调消去和无基点性条件，对存在性施加约束。
• 通过不相交直线或圆锥的联络构造例子，以生成具有指定 $ c_1, c_2 $ 的全局生成丛。
• 分析标准化丛与稳定性，特别是针对 $ c_1 = 5 $ 的情形，以排除某些情况下的非分裂丛。

实验结果

研究问题

• RQ1 当 $ n \geq 4 $ 时，是否存在任何不可约的全局生成秩二向量丛，满足 $ c_1 \leq 5 $？
• RQ2 在 $ \mathbb{P}^3 $ 中，哪些满足 $ c_1 \leq 5 $ 且 $ c_1 = 5 $ 的 $ (c_1, c_2) $ 对支持一个不可约的全局生成秩二向量丛？
• RQ3 $ \mathbb{P}^3 $ 上是否存在一个全局生成秩二向量丛，满足 $ c_1 = 5 $，$ c_2 = 12 $？
• RQ4 此类丛的一般截面的零点集曲线 $ C $ 受到何种几何约束？
• RQ5 此类丛的存在性能否通过上同调或联络理论标准来确定？

主要发现

• 当 $ n \geq 4 $ 时，所有满足 $ c_1 \leq 5 $ 的全局生成秩二向量丛均分裂为两个线丛的直和。
• 在 $ \mathbb{P}^3 $ 中，仅当 $ c_1 \in \{2,4,5\} $ 且 $ c_2 $ 取特定值时，存在不可约的全局生成秩二丛：$ (2,2) $，$ (4,5) $，$ (4,6) $，$ (4,7) $，$ (4,8) $，$ (5,8) $，$ (5,10) $，以及 $ (5,12) $。
• 当 $ c_1 = 4 $，$ c_2 = 8 $ 时，零点集曲线 $ C $ 可能为不可约曲线，或为两条光滑圆锥的不相交并。
• 当 $ c_1 = 5 $，$ c_2 = 8 $ 或 $ 10 $ 时，此类丛存在，并通过将 $ s $ 条不相交直线（$ s=2,3 $）与 $ s $ 条不相交圆锥联络构造而成。
• $ (c_1, c_2) = (5,12) $ 的情形仍未解决：虽然存在一条次数为 13、亏格为 10 的曲线 $ X $，满足 $ \omega_X(-1) $ 无基点，但无法验证条件 $ h^0(\mathcal{I}_X(5)) \geq 3 $。
• 霍罗克斯-曼福德丛被排除为 $ c_1 = 5 $，$ c_2 = 6 $ 的候选对象，因其不满足全局生成性；而 $ c_2 = 4 $ 由于违反施瓦尔岑贝格条件被排除。