[論文レビュー] The irreducibility of the moduli space of stable vector bundles of rank 2 on a quintic in $\pp^3$

Pieter G.J Nijsse|ArXiv.org|Mar 22, 1995

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

ひとこと要約

この論文は、一般の5次的表面において、固定された $c_1 = K$（正則線束）および $c_2 \geq 16$ を持つ安定なランク2ベクトル束のモジュライ空間の不可約性を確立する。変形理論と行列式ラインバンドの解析を用いて、すべての $c_2 \geq 16$ に対して不可約性を証明し、従来の大きな $c_2$ の場合にのみ成り立つ結果を改善する明示的な下界を提供する。これは一般型の表面におけるモジュライ理論の重要なケースを解決する。

ABSTRACT

In this paper I consider a quintic surface in $\pp^3$, general in the sense of Noether-Lefschetz theory. The vector bundles of rank 2 on this surface which are $μ$-stable with respect to the hyperplane section and have $c_1 = K$, the canonical class of the surface and fixed $c_2$, are parametrized by a moduli space. This space is known to be irreducible for large $c_2$ (work of K.G. O'Grady). I give an explicit bound, namely $c_2 \geq 16$.

研究の動機と目的

• 一般の5次的表面におけるランク2安定ベクトル束のモジュライ空間の不可約性を確立すること。
• モジュライ空間が不可約のまま保たれるための $c_2$ の明示的な下界を提示し、従来の大きな $c_2$ の場合にのみ成り立つ結果を改善すること。
• 変形理論的技法と行列式ラインバンドの手法を用いて、モジュライ空間の幾何構造を分析すること。
• $c_2 \geq 16$ の場合にモジュライ空間が不可約であることを確認すること。これはこの文脈における鋭い下界である。

提案手法

• 5次的表面における安定ベクトル束のモジュライ空間の局所構造を研究するため、変形理論を用いる。
• モジュライ空間上の行列式ラインバンドを分析し、そのグローバルな幾何構造を理解する。
• 一般な表面が得られるように、ノエター＝レフシェッツ理論を用いる。これにより、そのネロン＝セバステイン群が超平面類によって生成されることを保証する。
• O'Gradyの結果（大きな $c_2$ の場合のモジュライ空間の不可約性）を、明示的なコホホロジー推定を用いて、より小さい $c_2$ へと拡張する。
• 安定束の無限小変形空間の次元を計算し、滑らかさと不可約性を検証する。
• モジュライ空間が期待される次元を持ち、連結かつ滑らかであることを確立することで、$c_2 \geq 16$ の場合に不可約性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 一般の5次的表面におけるランク2安定ベクトル束のモジュライ空間は、すべての $c_2 \geq 16$ に対して不可約か？
• RQ2 不可約性が成立しない、または保証されない下限として、$c_2$ の明示的な下界を特定できるか？
• RQ3 固定された $c_1 = K$ と変化する $c_2$ に対して、変形理論的解析におけるモジュライ空間の幾何構造はどのように振る舞うか？
• RQ4 行列式ラインバンドは、モジュライ空間の不可約性を保証するために果たす役割は何か？
• RQ5 コホホロジー的手法を用いて、O'Gradyの大きな $c_2$ の結果を、より小さい値へとどの程度まで拡張できるか？

主な発見

• 一般の5次的表面におけるランク2安定ベクトル束のモジュライ空間は、すべての $c_2 \geq 16$ に対して不可約である。
• 明示的な下界 $c_2 \geq 16$ が確立され、これはこの文脈において鋭いものであり、従来の大きな $c_2$ の場合にのみ成り立つ結果を改善する。
• モジュライ空間が滑らかで、期待される次元を持つことが示され、変形理論的技法により不可約性が裏付けられる。
• モジュライ空間上の行列式ラインバンドが非常に正であることが示され、グローバル構造と不可約性を支援する。
• 5次的表面のネロン＝セバステイン群が超平面類によって生成されることを分析により確認した。これは議論の主要仮定である。
• このクラスのモジュライ空間における不可約性の理解が完成し、特に一般型の表面のケースにおいて重要である。