[論文レビュー] ACM bundles on a general quintic threefold

Luca Chiantini, Carlo Madonna|ArXiv.org|Oct 9, 2001

Algebraic Geometry and Number Theory参考文献 6被引用数 7

ひとこと要約

この論文は、一般の五次的三fold ℙ⁴ における安定なランク 2 の算術的コhen–マカウレイ（ACM）ベクトルバンドルがすべて無限小的剛性であることを証明している。つまり、その変形空間は消える。関連する特徴的曲線における不変量の分類とコホモロジー的技法を用いて、正規バンドルのコホモロジー h⁰(N_C) がすべてのケースで剛性基準を満たすことを示し、このクラスのバンドルに関してツリーンの予想の部分的解決を確認した。

ABSTRACT

We give a partial positive answer to a conjecture of Tyurin (\cite {Tyu}). Indeed we prove that on a general quintic hypersurface of $\Pj^4$ every arithmetically Cohen--Macaulay rank 2 vector bundle is infinitesimally rigid.

研究の動機と目的

• 一般の五次的三fold ℙ⁴ における安定なランク 2 ベクトルバンドルの変形理論を調査すること。
• すべてのこのような安定なランク 2 バンドルが無限小的剛性であるというツリーンの予想を検証すること。
• ℙ⁴ からのバンドルの制限でない、ACM バンドルのクラスにおける剛性を確立すること。
• 一般の五次的三fold上での分解不能な ACM ランク 2 バンドルの不変量およびそれらに関連する 0-局所化曲線を分類すること。
• カルラビ–ヤウ三fold上での ACM バンドルのモジュライ空間の理解を拡張し、特に完備交差でない曲線の文脈において考察すること。

提案手法

• 先行研究（Madonna, 2001）の結果を用いて、一般の五次的三fold上での正規化された分解不能なランク 2 ACM バンドルの可能なチャーン類を分類する。
• セール対応を用いて、ランク 2 ACM バンドルを X 内の特徴的で算術的コhen–マカウレイな曲線 C ⊂ X に関連付ける。
• 理想層 I_C の最小自由分解を用いて、正規バンドルのコホモロジー h⁰(N_C) を計算する。
• クリッペとミロ–ロイの（1997）剛性基準を適用し、不等式 h⁰(N_C) ≤ 5/6 c₁³ − c₁c₂ + 25/6 c₁ + 5c₂ を用いる。
• すべてのケースで不等式が等号を満たすことを確認し、バンドル E の無限小的剛性を示す。
• リーマン–ロッホおよび双対性を用いて h⁰(ℰ(1)) を計算し、特に次数 3 のシンジーギーを含むケースにおける分解のベッチ数を特定する。

実験結果

リサーチクエスチョン

• RQ1 一般の五次的三foldにおける安定なランク 2 ACM バンドルはすべて無限小的剛性であるか？
• RQ2 関連する 0-局所化曲線のコホモロジー的分析によって、ACM バンドルの剛性を確立できるか？
• RQ3 一般の五次的三fold上での分解不能なランク 2 ACM バンドルの完全な不変量（c₁, c₂）は何か？
• RQ4 ランク ≥3 の非剛性バンドルが五次的三fold上に存在するということは、ランク 2 の ACM バンドルが剛性を示さなければならないという意味か？
• RQ5 どの (c₁, c₂) の値に対して、一般の五次的三fold上に完備交差でない ACM 曲線が存在するか？

主な発見

• すべての一般の五次的三foldにおける安定なランク 2 ACM バンドルは、H¹(ℰ ⊗ ℰ∨) = 0 であることから無限小的剛性を示す。
• 正規バンドルのコホモロジー h⁰(N_C) は、不等式 h⁰(N_C) ≤ 5/6 c₁³ − c₁c₂ + 25/6 c₁ + 5c₂ を満たし、すべてのケースで等号が成立する。
• c₁ = 4 および c₂ = 30 の場合、ベイユの Pfaffian 構成によりその存在が保証され、このケースでの結果が確認される。
• c₁ = 1 および c₂ = 8 の場合、分解に次数 3 のシンジーギーが含まれるが、コホモロジーの公式により h⁰(N_C) = 36 が得られ、Betti 数が未知であっても剛性が確認される。
• c₁ = 2 および c₂ = 11, 13, 14、また c₁ = 3 および c₂ = 31 のケースは存在の有無が未解決のままだが、既知のすべての構成に対して剛性が確立されている。
• この手法により、ヒルベルト・スキームからバンドルのモジュライ空間への写像が、すべてのケースで次元 125 を示すため、潜在的に全射であることが確認された。