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

ひとこと要約

この論文は、射影平面 ℙ² 上の正規化されたランク2のベクトルバンドルが、h¹(E(-1)) = 0 であるときにかつそのときに限り分解することを確立し、ℙ³ における Chiantini と Valabrega の定理に類似した鋭いコhomological基準を与える。また、すべての整数 k に対して h¹(E(k)) ≤ h¹(E(-1)) が成り立つことを証明し、h¹(E(-1)) ≤ 4 を満たすすべてのバンドルを分類し、Serre の構成とコhomological制約を用いて安定および不安定な場合を特定する。

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.

研究の動機と目的

• 正規化されたランク2ベクトルバンドルの ℙ² 上での分解に関するコhomological基準を確立し、ℙ³ における Chiantini-Valabrega の定理に類似させる。
• すべての整数 k に対して h¹(E(k)) ≤ h¹(E(-1)) を証明し、E(-1) がすべてのねじれの中で最大の第一コhomologyを持つことを示す。
• h¹(E(-1)) ≤ 4 を満たすすべての正規化され、非分解可能なランク2ベクトルバンドルを、Serre の構成とコhomological不変量を用いて分類する。
• ℙ² の結果から ℙ³ における Chiantini-Valabrega の定理を回復できることを示し、コhomologicalバウンドのより広範な適用可能性を示す。

提案手法

• 零次元部分スキームの理想層の拡張として、非分解可能なランク2バンドルを実現するための Serre の構成の使用。
• リーマン・ロッホ定理を用いてオイラー標数 χ(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 正規化されたランク2ベクトルバンドル E が ℙ² 上で分解するための必要十分条件は h¹(E(-1)) = 0 であり、これは最良のコhomological条件であるか？
• RQ2 すべての正規化されたランク2バンドル E に対して、すべての整数 k に対して h¹(E(k)) ≤ h¹(E(-1)) が一様に成り立つか？
• RQ3 h¹(E(-1)) ≤ 4 を満たす正規化され、非分解可能なランク2ベクトルバンドルの完全な分類は何か？
• RQ4 ℙ³ における Chiantini-Valabrega の定理は、ℙ² の結果から帰結可能か？
• RQ5 h¹(E(-1)) ≤ 4 を満たすバンドルの H⁰*(E) の可能な解体は何か？また、それらはゼロ位相スキーム Z の幾何学的性質とどのように関係するか？

主な発見

• 正規化されたランク2ベクトルバンドル E が ℙ² 上で分解するための必要十分条件は h¹(E(-1)) = 0 であり、この条件は鋭い：E = Ω(1) の場合、すべての k ≠ -1 に対して h¹(E(k)) = 0 であるが、E は非分解的である。
• 任意の正規化されたランク2バンドル E に対して、すべての整数 k に対して h¹(E(k)) ≤ h¹(E(-1)) が成り立ち、安定な場合に等号が成り立つのは h¹(E(-1)) = 0 のときのみである。
• h¹(E(-1)) ≤ 4 を満たすすべての正規化され、非分解可能なバンドルは分類済みである：これらは、r = min{k | h⁰(E(k)) ≠ 0} に対し、零次元部分スキーム Z（次数 c₂(E(r))）から Serre の構成によって得られる。
• 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 を持つ。