[論文レビュー] Vector bundles on a K3 surface

Shigeru Mukai|ArXiv.org|Apr 21, 2003

Algebraic Geometry and Number Theory参考文献 13被引用数 41

ひとこと要約

本稿は、K3表面のベクトル bundle と楕円曲線のライン bundle の間に深い類似関係を確立し、特定の条件下でK3表面の安定ベクトル bundle のモジュライ空間が自身K3表面であることを示している。ホッジサイクルの代数的性を証明し、ブラウ・ノイマン.loci を用いてファノ3次元多様体の双対的記述を提供している。Quot スキーム や線形化を用いずに、不変理論を用いてモジュライ構成を簡略化している。

ABSTRACT

A K3 surface is a quaternionic analogue of an elliptic curve from a view point of moduli of vector bundles. We can prove the algebraicity of certain Hodge cycles and a rigidity of curve of genus eleven and gives two kind of descriptions of Fano threefolds as applications. In the final section we discuss a simplified construction of moduli spaces.

研究の動機と目的

• K3表面のベクトル bundle と楕円曲線のライン bundle の間の構造的類似関係を確立すること。
• ベクトル bundle モジュライを用いて、K3表面の特定のホッジサイクルの代数的性を証明すること。
• ブラウ・ノイマン.loci とグラスマンジャン埋め込みを用いて、ファノ3次元多様体の双対的幾何的記述を提供すること。
• Quot スキーム や線形化を排除することで、K3表面のベクトル bundle モジュライ空間の構成を簡略化すること。

提案手法

• 固定されたランク $r$、決定的 $L$、オイラー標数 $\chi = r+s$ を持つK3表面 $S$ 上の安定層のモジュライ空間 $M_S(r,L,s)$ を用いる。
• 行列や交代形式の空間における $SL(n)$-作用の下での不変環の $\mathrm{Proj}$ を用いて、モジュライ空間を構成する不変理論を適用する。
• アズマヤ代数 $\mathcal{A}$ のチャーン類 $c_2(\mathcal{A})/2r$ を通じて、$H^2(S,\mathbb{Q})$ と $H^2(M_S(r,L,s),\mathbb{Q})$ の間のホッジ等長写像を適用する。
• ギーゼッカー行列のアフィン多様体のGIT商を用いてモジュライ空間を構成し、Quot スキームの代わりに直接不変環構成を用いる。
• プラüッカー埋め込みと双対グラスマンジャンを用いて、モジュライ空間を古典的線形系および射影双対性に関連付ける。
• ウェイの不変定理を適用し、不変環が一様な多項式で生成され、単一の関係を持つことを示し、$\mathbb{P}^1$ または $\mathbb{P}^2$ の二重被覆をもたらす。

実験結果

リサーチクエスチョン

• RQ1 K3表面の安定ベクトル bundle のモジュライ空間 $M_S(r,L,s)$ が、どのような条件下で自身K3表面になるか。
• RQ2 ピカール数1のファノ3次元多様体は、曲線上のベクトル bundle のブラウ・ノイマン.loci を通じてどのように記述できるか。
• RQ3 Quot スキーム や線形化を用いずに、K3表面のベクトル bundle モジュライ空間を構成できるか。
• RQ4 2つの双対的環境空間に埋め込まれたファノ3次元多様体の正規束の関係は何か。

主な発見

• モジュライ空間 $M_S(r,L,s)$ は次元 $(L^2) - 2rs + 2$ の滑らかさを持ち、コンパクトで次元2の場合はK3表面である。
• $M_S(2,\mathcal{O}_S(1),2)$ がコンパクトかつ2次元のとき、それは$\mathbb{P}^2$ 上の6次曲線を分岐曲線とする二重被覆であり、自身K3表面である。
• genus 7 および 9 のファノ3次元多様体は、それぞれブラウ・ノイマン.loci ${\cal SU}_C(2,K:5)$ および ${\cal SU}_C(2,K:3G)$ に同型であり、スピン系およびラグランジュングラスマンジャンの線形切断に対する双対的記述を提供する。
• 2つの双対的環境空間に埋め込まれたファノ3次元多様体の正規束は、ねじれた双対関係にある：$N_1 \simeq N_2^\vee \otimes \mathcal{O}_X(-K_X)$。
• 空間 $S_8 \subset \mathbb{P}^5$ 上のランク ≤2 の交代形式の空間における $SL(4)$-作用の不変環は、次数2,2,2,6の4つの不変量と1つの関係 $T^2 = f_6(B_1,B_2,B_3)$ で生成され、$\mathbb{P}^2$ の二重被覆をもたらす。
• $\mathrm{Proj}\, R^{SL(n)}$ を用いたモジュライ空間の構成は、Quot スキーム や線形化の必要性を排除し、モジュライにより素朴で幾何的なアプローチを提供する。