[論文レビュー] Irreducibility of moduli spaces of vector bundles on K3 surfaces

Kōta Yoshioka|ArXiv.org|Jul 1, 1999

Algebraic Geometry and Number Theory参考文献 20被引用数 60

ひとこと要約

この論文は、Mukaiベクトルが原始的で、極小化が一般であるとき、K3表面上の安定なベクトル束のモジュライ空間が、非可約シンプレクティック多様体であることを証明する。変形理論とMukai格子を用いて、Mukaiベクトルの直交補空間とモジュライ空間の第二コホモロジーの間に等長写像を確立し、これらのモジュライ空間がK3表面の点のヒルベルトスキームと変形同値であることを示している。

ABSTRACT

In this paper, we show the moduli spaces of stable sheaves on K3 surfaces are irreducible symplectic manifolds, if the associated Mukai vectors are primitive. More precisely, we show that they are related to the Hilbert scheme of points. We also compute the period of these spaces. As an application of our result, we discuss Montonen-Olive duality in Physics. In particular our computations of Euler characteristics of moduli spaces are compatible with Physical computations by Minahan et al.

研究の動機と目的

• K3表面の安定層のモジュライ空間が原始的Mukaiベクトルを持つ場合に非可約かつシンプレクティック構造を持つことを確立すること。
• これらのモジュライ空間がK3表面の点のヒルベルトスキームと変形同値であることを示すこと。
• Mukai格子を用いてモジュライ空間の周期を計算し、そのホッジ理論的不変量を確立すること。
• Euler特徴量の計算を通じて、特にモンテンテン＝オリデ双対性を含む物理的双対性現象と関連付けること。

提案手法

• K3表面のコホモロジーにMukai格子構造を導入し、標準的ペアリングを定義し、Euler形式を用いたRiemann-Roch定理の解釈を行う。
• K3表面の複素構造の変形理論を適用し、モジュライ空間 $M_H(v)$ の変形を誘導する。
• 標準的同型写像 $\theta_v: v^\perp \to H^2(M_H(v), \mathbb{Z})$ を用いて、Beauville-Bogomolov形式と等長写像を構成する。
• 準ユニバーサル族の存在に依存して、標準的写像 $\theta_v$ を定義し、そのホッジ構造の保存を証明する。
• 双有理変換がホッジ数とEuler特徴量を保存することを用いて、$M_H(v)$ をヒルベルトスキーム $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$ と関連付ける。
• 原始的Mukaiベクトルで $\langle v^2 \rangle \geq 2$ の場合の非可約性および周期計算に関する[ Y5 ]の結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 K3表面の安定層のモジュライ空間 $M_H(v)$ が非可約かつシンプレクティックであるための条件は何か？
• RQ2 Mukai格子構造と関連して、$v$ が原始的であるとき、$M_H(v)$ の周期はどのように関連するか？
• RQ3 K3表面の安定層のモジュライ空間が点のヒルベルトスキームとどの程度まで変形同値であるか？
• RQ4 K3表面における $N=4$ シュワーツヤン＝ミルズ理論の物理的分配関数と整合する形で、$M_H(v)$ のEuler特徴量を計算できるか？
• RQ5 モジュライ空間 $M_H(v)$ のホッジ構造とヒルベルトスキーム $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$ のホッジ構造との正確な関係は何か？

主な発見

• 原始的Mukaiベクトル $v$ で $\operatorname{rk}v > 0$ かつ $c_1(v) \in \mathrm{NS}(X)$ を満たすとき、モジュライ空間 $M_H(v)$ は $\langle v^2 \rangle \geq -2$ であるための必要十分条件として空でない。
• 一般の豊かさ $H$ に対して $M_H(v)$ は非可約シンプレクティック多様体であり、変形と双有理変換の合成を通じてヒルベルトスキーム $\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1}$ と変形同値である。
• 標準的写像 $\theta_v: v^\perp \to H^2(M_H(v), \mathbb{Z})$ は $\langle v^2 \rangle \geq 2$ のときホッジ構造を保存する等長写像である。
• モジュライ空間のホッジ数はヒルベルトスキームと一致する：$h^{p,q}(M_H(v)) = h^{p,q}(\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1})$。
• モジュライ空間のEuler特徴量は、対応するヒルベルトスキームと等しい：$\chi(M_H(v)) = \chi(\mathrm{Hilb}_X^{\langle v^2\rangle/2 + 1})$。
• これらの結果は、ミナハンらが計算した $N=4$ スーパー・ヤン＝ミルズ理論における分配関数の物理的計算と整合する。