[論文レビュー] 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

ひとこと要約

本稿は、特性が0の代数閉体上でのℙ²上のグローバルに生成されたランク2ベクトル束の可能なチャーン類 (c₁, c₂) を完全に分類している。双対性、Cayley-Bacharach 条件、平面曲線上のグローバルに生成された線分束の性質を用いて、ペア (c, y) が有効であるための明確な数値的条件——禁止集合 G_t と G を通じて表現される——を同定している。主な結果は、有効な (c₁, c₂) ペアの完全な特徴付けであり、不安定領域と安定領域における長年の障害を解消している。

ABSTRACT

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

研究の動機と目的

• ℙ²上のグローバルに生成されたランク2ベクトル束の可能なすべてのチャーン類 (c₁, c₂) を特定すること。
• 基本的なチャーン類の正値性を超えた、特定のチャーン類が実現できない数値的障害を同定すること、特に不安定領域 (Δ > 0) におけるもの。
• 滑らかな平面曲線上のグローバルに生成された線分束の次数のギャップに関する既知の結果を、Cayley-Bacharach 条件を介して特異曲線へと拡張すること。
• 有効な (c₁, c₂) ペアの完全かつ明示的な特徴付けを提供すること、対称的双対性 (c, y) ↔ (c, c²−y) を含むこと。

提案手法

• G-双対構成の使用：グローバルに生成されたランク2束 F に対して、c₁(E) = c、c₂(E) = c²−y を満たす E（F の G-双対）を構成し、問題を対称的解析に還元する。
• Cayley-Bacharach 条件を、0 → 𝒪 → F → 𝒪_Y(c) → 0 で定義される codimension 2 の部分スキーム Y に適用し、𝒪_Y(c) のグローバル生成性を保証する。
• 次数 t−1 の滑らかな平面曲線 T 上のグローバルに生成された線分束を、Greco-Raciti および Coppens の結果を用いて分析する。
• Castelnuovo-Mumford 正則性と一般な準同型を用いて、最大ランクの 0 次元スキーム R を構成し、𝒪_R(t−1) がグローバルに生成されることを保証する。
• 𝒪_T(Z) がグローバルに生成され、d−3 に対して Cayley-Bacharach 条件を満たすならば、完全交差によるリンクを介して 𝒪_Y(c) がグローバルに生成されることを証明する。
• F の最小セクションを用いて、Cayley-Bacharach 条件を特異曲線 T へと拡張し、障害理論を一般化する。

実験結果

リサーチクエスチョン

• RQ1 ℤ≥0 × ℤ≥0 のどのペア (c₁, c₂) が、ℙ²上のグローバルに生成されたランク2ベクトル束のチャーン類として現れるか？
• RQ2 チャーン類の基本的な正値性を超えて、このような束の存在を妨げる数値的障害は何か？
• RQ3 低次の滑らかな平面曲線のグローバルに生成された線分束の次数のギャップが、F の c₂ 値の可能性にどのように制限を加えるか？
• RQ4 Cayley-Bacharach 条件を滑らかでない曲線へと拡張することで、不安定領域におけるグローバル生成性を制御できるか？
• RQ5 対称性と双対性を含め、有効なすべての (c₁, c₂) ペアの完全かつ明示的な特徴付けは可能か？

主な発見

• ペア (c, y) が有効（つまり、ℙ²上のグローバルに生成されたランク2束によって実現可能）であるための必要十分条件は、以下の3条件のいずれかを満たすことである：(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 までの各 t に対して G_t を合集したものの上に定義され、各 G_t は a = 0 から ⌊√(t−3)⌋ までの各 a に対して区間 G_t(a) の合集である。ここで G_t(a) = [(t−1)(c−a)+a²+1, (t−1)(c−a+1)−1] である。
• c ≥ 4 のとき、c(t−1)−y の範囲で定義される A_t に属するすべての 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² を持つ。