[論文レビュー] A splitting criterion for rank 2 vector bundles on hypersurfaces in P^4

Carlo Madonna|ArXiv.org|Apr 23, 1998

Advanced Algebra and Geometry参考文献 4被引用数 36

ひとこと要約

本稿は、ホロックスのランク2のベクトル束の分裂基準を ℙ³ から ℙ⁴ 内の滑らかな超曲面へ拡張し、そのような束がラインバンドルの直和に分裂するか否かを、そのチャーン類と安定性不変量が −r < 2b − c₁ < r − 2 を満たさない場合に限って決定する。この基準はセール対応を用いて精錬され、H¹ の単一のずらしにおける消滅を含む一般化がなされ、チアンティーニ＝バラブレの結果が拡張される。

ABSTRACT

We show that Horrocks' criterion for the splitting of rank two vector bundles in P^3 can be extended, with some assumptions on the Chern classes, on non singular hypersurfaces in P^4. Extension of other splitting criterion are studied.

研究の動機と目的

• ℙ³ におけるランク2ベクトル束のホロックスの分裂基準を、ℙ⁴ 内の滑らかな超曲面へ拡張すること。
• 滑らかな超曲面 X ⊂ ℙ⁴ 上のベクトル束 ℰ に対して、⊕ₙH¹(ℰ(n)) の消滅が ℰ の分裂を示すための正確な数値的条件を同定すること。
• Chiantini-Valabrega の基準を一般化し、ある条件下で H¹(ℰ(n₀)) の消滅が単一のずらし n₀ でのみ成立すれば十分であることを示すこと。
• セール対応が非分裂束の構成および不変量の鋭い境界の特定に果たす役割を調査すること。
• Pic(X) ≅ ℤ かつ正則バンドルが O_X(e) であるような3次元多様体 X 上のランク2束に対する一般化された分裂基準を確立すること。

提案手法

• 安定性を測るのと分裂挙動を制御するのに、b = max{n | h⁰(ℰ(−n)) ≠ 0} を用いて不変量 2b − c₁ を用いる。
• 超平面 H および線形断面 L への制限を適用し、分裂が既知の低次元ケースに帰着されることを示す。
• Serre対応を介してベクトル束と部分的正則な曲線 C を関連付けるために、完全系列 0 → ℑ_C → ℰ → ℑ_C(c₁) → 0 を用いる。
• リーマン・ロッホおよびコhomオロジーの消滅技術を用い、与えられた部分的正則性を持つ曲線 C に対して h⁰(𝒪_X(k)) と h⁰(𝒪_C(k)) を比較する。
• すべての n に対して h¹(ℰ(n)) = 0 であるという条件を用いて、2b − c₁ が臨界範囲 −r < 2b − c₁ < r − 2 内にある場合に矛盾を導く。
• コロナリー3.6および命題3.7を適用し、問題を単一のずらし n₀ での消滅の確認に還元し、チアンティーニ＝バラブレの結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 チャーン類と安定性不変量のどの条件下で、ℙ⁴ 内の滑らかな超曲面上のランク2ベクトル束に対して ⊕ₙH¹(ℰ(n)) の消滅が分裂を示すか？
• RQ2 すべての n に対して H¹(ℰ(n)) = 0 であるというグローバルな消滅条件を、適切な仮定の下で単一のずらし n₀ での消滅に置き換えられるか？
• RQ3 非分裂束に対する境界 −r < 2b − c₁ < r − 2 はどの程度鋭く、これは超曲面の次数 r に依存するか？
• RQ4 セール対応を用いて、H¹(ℰ(n)) を消滅させる非分裂束の例をどの程度まで構成できるか？
• RQ5 Pic(X) ≅ ℤ かつ正則バンドルが O_X(e) であるような他の3次元多様体に対し、分裂基準はどのように一般化されるか？

主な発見

• 滑らかな超曲面 X ⊂ ℙ⁴ の次数 r に対して、ランク2ベクトル束 ℰ が ⊕ₙH¹(ℰ(n)) = 0 を満たす限り、−r < 2b − c₁ < r − 2 でない限り、2つのラインバンドルの直和に分裂する。
• 一般の次数 r ≤ 5 の超曲面に対して、境界 −r < 2b − c₁ < r − 2 は鋭く、r = 6 に対してもほぼ鋭い。
• 任意の r > 5 に対して、⊕ₙH¹(ℰ(n)) = 0 を満たす非分裂束を許容する滑らかな超曲面が存在するため、この境界は最適である。
• 単一の適切なずらし n₀ における H¹(ℰ(n₀)) の消滅が、分裂を強制するのに十分であり、チアンティーニ＝バラブレの基準が一般化される。
• r = 1（つまり X = ℙ³）の場合、結果はチアンティーニ＝バラブレの基準を回復する。r = 2 の場合、オッタヴィアーニの結果を回復する。
• Pic(X) ≅ ℤ かつ ω_X = O_X(e) である3次元多様体 X 上の一般化された基準は、ℰ が −e − 5 < 2b − c₁ < e + 3 を満たさない限り分裂する、と述べる。