[论文解读] On the cohomology of rank two vector bundles on P2 and a theorem of Chiantini and Valabrega

Philippe Ellia|arXiv (Cornell University)|Jan 3, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 5

一句话总结

本文证明了在 ℙ² 上，一个归一化的秩二向量丛分裂当且仅当 h¹(E(-1)) = 0，给出了一个类似于 ℙ³ 上 Chiantini 与 Valabrega 定理的精确上同调准则。证明了对所有 k ∈ ℤ，有 h¹(E(k)) ≤ h¹(E(-1))，并分类了所有满足 h¹(E(-1)) ≤ 4 的此类丛，提供了完整的分解描述，并通过 Serre 构造与上同调约束识别出稳定与不稳定情形。

ABSTRACT

We show that a normalized rank two vector bundle, E, on P2 splits if and only if h1(E(-1)) = 0. Using this fact we give another proof of a theorem of Chiantini and Valabrega. Finally we describe the normalized bundles with h1(E(-1)) <= 4.

研究动机与目标

• 建立 ℙ² 上归一化秩二向量丛分裂的上同调准则，类比于 ℙ³ 上 Chiantini 与 Valabrega 的定理。
• 证明对所有整数 k，有 h¹(E(k)) ≤ h¹(E(-1))，表明 E(-1) 在所有扭线丛中具有最大的第一上同调群。
• 利用 Serre 构造与上同调不变量，对所有归一化、不可约秩二向量丛在 h¹(E(-1)) ≤ 4 的条件下进行完全分类。
• 作为 ℙ² 结果的推论，恢复 ℙ³ 上的 Chiantini-Valabrega 定理，展示该上同调界更广泛的适用性。

提出的方法

• 使用 Serre 构造将不可约秩二丛实现为零维子概形理想层的扩张。
• 应用 Riemann-Roch 定理计算欧拉示性数 χ(E(k))，并将其与上同调群 h¹(E(k)) 关联。
• 利用 Grauert-Mülich 定理分析 E 在一般直线上的限制，证明当 k ≤ -1 时，h¹(E(k)) 非增。
• 运用 Serre 对偶性与稳定性条件，证明稳定丛满足 h¹(E(-1)) > 0，从而证明分裂准则。
• 分析满足 h⁰(E(r)) ≠ 0 的最小扭线 r，通过其零点集概形 Z 及其次数 c₂(E(r)) 对丛进行分类。
• 在 h¹(E(-1)) ≤ 4 的情况下，构造 H⁰*(E) 的显式分解，特别是当 r = 2 且 deg Z = 6 不在圆锥上时的情形。

实验结果

研究问题

• RQ1 归一化秩二向量丛 E 在 ℙ² 上是否当且仅当 h¹(E(-1)) = 0 时分裂，且这一条件是否为最优的上同调条件？
• RQ2 能否对 ℙ² 上所有归一化秩二丛统一建立上同调界 h¹(E(k)) ≤ h¹(E(-1)) 对所有 k ∈ ℤ 成立？
• RQ3 归一化、不可约秩二向量丛在 h¹(E(-1)) ≤ 4 条件下的完整分类是什么？
• RQ4 能否作为 ℙ² 结果的推论，恢复 ℙ³ 上的 Chiantini-Valabrega 定理？
• RQ5 对于满足 h¹(E(-1)) ≤ 4 的丛，H⁰*(E) 的可能分解是什么？它们与零点集概形 Z 的几何结构有何关联？

主要发现

• 在 ℙ² 上，归一化秩二向量丛 E 恰当且仅当 h¹(E(-1)) = 0 时分裂，且该条件是精确的：对 E = Ω(1)，有 h¹(E(k)) = 0 对所有 k ≠ -1 成立，但 E 仍为不可约。
• 对任意 ℙ² 上的归一化秩二丛 E，对所有 k ∈ ℤ，有 h¹(E(k)) ≤ h¹(E(-1)) 成立，且在稳定情形下仅当 h¹(E(-1)) = 0 时取等。
• 所有满足 h¹(E(-1)) ≤ 4 的归一化、不可约丛均已分类：它们通过 Serre 构造从零维子概形 Z 构造而来，其中 deg Z = c₂(E(r))，且 r = min{k | h⁰(E(k)) ≠ 0}。
• 当 h¹(E(-1)) = 1 时，E(r) 的截面在单一点处消失，且 E 具有分解 0 → 𝒪(−b−1) → 𝒪(−a) ⊕ 2𝒪(−b) → E → 0，其中 a ≤ b。
• 当 h¹(E(-1)) = 2 时，E(r) 要么在度为 2 的子概形上消失，要么在稳定情形下（c₁ = 0，c₂ = 2，r = 1）在不位于直线上的度为 3 的子概形上消失。
• 对所有此类丛，H⁰*(E) 的分解均被完整描述，包括 r = 2 且 deg Z = 6 不在圆锥上的情形，其具有分解 0 → 3𝒪(−4) → 4𝒪(−3) → 𝒪_Z → 0。