[论文解读] Chern classes of rank two globally generated vector bundles on P^2

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

Geometry and complex manifolds参考文献 7被引用 12

一句话总结

本文在特征零的代数闭域上，完全分类了 ℙ² 上全局生成的秩二向量丛的可能陈类 (c₁, c₂)。通过使用对偶性、Cayley-Bacharach 条件，以及平面上曲线上的全局生成线丛的性质，本文确定了精确的数值条件——通过禁止集 G_t 和 G 表达——使得一对 (c, y) 为有效。关键结果是对有效 (c₁, c₂) 对的完整刻画，解决了不稳定范围与稳定范围中长期存在的障碍。

ABSTRACT

We determine the Chern classes of globally generated rank two vector bundles on P^2.

研究动机与目标

• 确定 ℙ² 上全局生成的秩二向量丛可能的全部陈类 (c₁, c₂)。
• 识别阻止某些陈类被实现的数值障碍，特别是在不稳定范围 (Δ > 0) 内。
• 通过 Cayley-Bacharach 条件，将关于光滑平面上曲线的全局生成线丛的次数间隙已知结果推广至奇异曲线。
• 提供对有效 (c₁, c₂) 对的完整且显式的刻画，包括对称对偶性 (c, y) ↔ (c, c²−y)。

提出的方法

• 使用 G-对偶构造：对全局生成的秩二丛 F，其 G-对偶 E 满足 c₁(E) = c，c₂(E) = c²−y，从而将问题简化为对称分析。
• 对由 0 → 𝒪 → F → 𝒪_Y(c) → 0 定义的 codimension 二 子概形 Y 应用 Cayley-Bacharach 条件，确保 𝒪_Y(c) 的全局生成性。
• 分析光滑平面曲线 T（次数为 t−1）上的全局生成线丛，利用 Greco-Raciti 与 Coppens 的关于次数间隙的结果。
• 通过 Castelnuovo-Mumford 正则性与一般态射，构造具有最大秩的光滑零维概形 R，使得 𝒪_R(t−1) 全局生成。
• 证明：若 𝒪_T(Z) 全局生成且对 d−3 满足 Cayley-Bacharach 条件，则通过完全交链接，𝒪_Y(c) 全局生成。
• 利用 F 的极小截面，将 Cayley-Bacharach 条件推广至奇异曲线 T，从而推广障碍理论。

实验结果

研究问题

• RQ1 哪些对 (c₁, c₂) ∈ ℤ≥0 × ℤ≥0 可作为 ℙ² 上全局生成的秩二向量丛的陈类？
• RQ2 在陈类基本正性之外，存在哪些数值障碍阻止此类丛的存在？
• RQ3 光滑平面曲线（次数为 t−1）上全局生成线丛的次数间隙如何约束 F 的可能 c₂ 值？
• RQ4 Cayley-Bacharach 条件能否从光滑曲线推广至奇异曲线，以控制不稳定范围内的全局生成性？
• RQ5 是否存在对所有有效 (c₁, c₂) 对的完整且显式刻画，包括对偶性与对称性？

主要发现

• 一对 (c, y) 为有效（即由 ℙ² 上的全局生成秩二丛实现）当且仅当满足以下三个条件之一：(1) y = 0 或 c−1 ≤ y < c²/4 且 y ∉ G；(2) c²/4 ≤ y ≤ 3c²/4；或 (3) 3c²/4 < y ≤ c²−c+1 且 c²−y ∉ G，或 y = c²。
• 禁止集 G 定义为从 t = 2 到 c/2 的集合 G_t 的并集，其中每个 G_t 是 a 从 0 到 ⌊√(t−3)⌋ 的区间 G_t(a) 的并集，且 G_t(a) = [(t−1)(c−a)+a²+1, (t−1)(c−a+1)−1]。
• 当 c ≥ 4 时，所有属于 A_t（通过 c(t−1)−y 的范围定义）且可接受的 y 均为有效，从而在不稳定范围内证明了定理。
• 对偶性 (c, y) ↔ (c, c²−y) 成立：(c, y) 有效当且仅当 (c, c²−y) 有效，因此只需考虑 y ≤ c²/2 的情形。
• 光滑平面曲线（次数为 t−1）上全局生成线丛的次数间隙直接导致了 c₂ 范围内禁止区间 G_t 的出现。
• 该结果意味着对一般单射态射 φ: ℙ² → G(1,3) 的可能双次数 (y, c²−y) 的完全分类，其在 Plücker 嵌入下次数为 c²。