[論文レビュー] Irreducibility of the moduli space of vector bundles on surfaces and Brill-Noether theory on singular curves

Tomás L. Gómez|arXiv (Cornell University)|Oct 27, 1997

Algebraic Geometry and Number Theory参考文献 19被引用数 9

ひとこと要約

本稿は、任意のチャーン類 c₂ および一般の極化のもとで、K3 およびデル・ペッツォ表面上のランク 2 の半安定な torsion-free 奏上層のモジュライ空間の不可約性を確立する。K3 表面では特異曲線上のブリル-ノエター理論を用い、デル・ペッツォ表面では吹き上げと極化の変更により P² に還元する。著者は、代数幾何学におけるベクトル束のモジュライの基礎的結果を拡張する形で、モジュライ空間が不可約であることを証明する。

ABSTRACT

We prove the irreducibility of the moduli space of rank 2 semistable torsion free sheaves (with a generic polarization and any value of c_2) on a K3 or a del Pezzo surface. In the case of a K3 surface, we need to prove a result on the connectivity of the Brill-Noether locus for singular curves on the surface. In the case of a del Pezzo surface, we reduce the problem to the case of P^2 by first relating the moduli spaces of the plane and the blown-up plane, and then studying how the moduli space changes when we change the polarization.

研究の動機と目的

• K3 およびデル・ペッツォ表面上のランク 2 の半安定な torsion-free 奏上層のモジュライ空間の不可約性を確立すること。
• 任意の c₂ および一般の極化のもとでの不可約性の課題に取り組むこと。
• キーテクニカルツールとして、K3 表面の特異曲線上のブリル-ノエター理論を拡張すること。
• デル・ペッツォ表面上のモジュライ問題を、吹き上げと極化の変更により、P² のよく理解された場合に還元すること。
• K3 およびデル・ペッツォ表面の両者に適用可能な、幾何学的およびコhomオロジカルな手法に基づく包括的な証明構造を提供すること。

提案手法

• K3 表面では、完全線形系統を退化させることで得られる特異曲線に対するブリル-ノエター部分集合の連結性を確立することで証明が行われる。
• 著者は、K3 表面における特異曲線の幾何学を用いて、モジュライ空間の構造を制御する。
• デル・ペッツォ表面では、表面上のモジュライ空間を、点の吹き上げによる P² 上のモジュライ空間に関連付ける。
• 極化の変更に伴うモジュライ空間の変化の分析が、デル・ペッツォ表面における議論の中心的役割を果たす。
• 証明は、P² 上でのモジュライ空間の既知の不可約性を基本事例として用いる。
• 半安定な奏上層理論や変形理論を含む、代数幾何学の技術が、全体を通して適用される。

実験結果

リサーチクエスチョン

• RQ1 K3 表面上のランク 2 の半安定な torsion-free 奏上層のモジュライ空間は、任意の c₂ および一般の極化のもとで不可約か？
• RQ2 K3 表面における特異曲線の幾何学は、ベクトル束のモジュライ空間の構造にどのように影響するか？
• RQ3 デル・ペッツォ表面上のベクトル束のモジュライ空間は、吹き上げと極化解析を用いて P² の場合に還元可能か？
• RQ4 デル・ペッツォ表面における極化の変更に伴って、モジュライ空間の挙動はいかなるか？
• RQ5 特異曲線上のブリル-ノエター理論は、表面上のモジュライ問題における不可約性の証明に、どの程度のツールとして機能するか？

主な発見

• 任意の c₂ および一般の極化のもとで、K3 表面上のランク 2 の半安定な torsion-free 奏上層のモジュライ空間は不可約である。
• K3 表面における特異曲線のブリル-ノエター部分集合の連結性は、主要な技術的結果として確立された。
• デル・ペッツォ表面では、吹き上げと極化の変更技術を用いて P² 上のモジュライ空間に関連させることで、モジュライ空間が不可約であることが示された。
• 証明は、c₂ が任意であっても、一般の極化のもとでモジュライ空間が不可約のままであることを示した。
• デル・ペッツォから P² への還元法は、制御された幾何的変換を通じて不可約性を保つのに効果的であった。
• 本研究は、K3 およびデル・ペッツォの場合の両方で、モジュライ空間の不可約性を確認し、従来の結果をより広いクラスの表面へ拡張した。