[論文レビュー] A Fourier-Mukai Transform for Stable Bundles on K3 Surfaces

Claudio Bartocci, Ugo Bruzzo+1 more|ArXiv.org|May 13, 1994

Algebraic Geometry and Number TheoryMathematics参考文献 6被引用数 19

ひとこと要約

本稿は、複素K3表面の安定バンドルに対して、安定層のモジュライ空間を双対多様体として用いるフーリエ＝ムカイ変換を導入する。この変換は、次数0のバンドルに対して多項式安定性および安定性を保ち、双対モジュライ空間が元のK3表面と同型である場合には逆変換可能であり、オイラー標数およびムカイベクトル次数を保存する。

ABSTRACT

We define a Fourier-Mukai transform for sheaves on K3 surfaces over $\C$, and show that it maps polystable bundles to polystable ones. The role of ``dual'' variety to the given K3 surface $X$ is here played by a suitable component $\hat X$ of the moduli space of stable sheaves on $X$. For a wide class of K3 surfaces $\hat X$ can be chosen to be isomorphic to $X$; then the Fourier-Mukai transform is invertible, and the image of a zero-degree stable bundle $F$ is stable and has the same Euler characteristic as $F$.

研究の動機と目的

• 複素K3表面の安定ベクトルバンドルに対して、層のモジュライ空間を双対多様体として用いるフーリエ＝ムカイ変換を定義すること。
• この変換がベクトルバンドルの多項式安定性および安定性を保つための条件を確立すること。
• 双対モジュライ空間が元のK3表面と同型である場合に、この変換が逆変換可能であることを証明すること。
• オイラー標数やムカイベクトル次数といった位相的不変量がこの対応でどのように変化するかを示すこと。
• 代数的設定におけるヒチン＝コバヤシ対応を用いて、安定バンドルとインスタントンバンドルの間の対応を拡張すること。

提案手法

• 核層 $Χ$ を $X \times \widehat{X}$ 上に定義し、$\widehat{X}$ を $X$ 上の安定層のモジュライ空間の成分とする。
• 導来圏の形式的記法を用いる：$\mathcal{S}_{X}(\mathcal{F}) = R\hat{\pi}_* (\mathcal{Q} \otimes^L \pi^* \mathcal{F})$（$X$ 上の層 $\mathcal{F}$ に対して）。
• 弱インデックス定理（WIT）およびインデックス定理（IT）の条件を適用し、変換が単一のコホモロジー次元に集中する条件を同定する。
• ムカイの結果を活用して、$M_H(v)$ がコン pact かつ2次元であればK3表面であり、$X$ に同種であることを示す。
• リーマン＝ロッホの定理およびチャーン類の計算を用いて、変換のムカイベクトルの明示的公式を導出する。
• ヒチン＝コバヤシ対応を用いて、代数的安定性と微分幾何的インスタントン解との関係を確立し、安定性が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 K3表面における次数0のベクトルバンドルのフーリエ＝ムカイ変換が、どのような条件下で安定性を保つのか。
• RQ2 フーリエ＝ムカイ変換がいつ逆変換可能であり、双対モジュライ空間 $\widehat{X}$ が元のK3表面 $X$ と同型であるための条件は何か。
• RQ3 特にムカイベクトルおよびオイラー標数といった位相的不変量が、この対応でどのように変化するか。
• RQ4 この変換を、安定層のモジュライ空間上のホロモルフィックシンプレクティック構造を保存するように拡張できるか。
• RQ5 変換下で、$X$ 上の安定バンドルのモジュライ空間と、それに対応する $\widehat{X}$ 上の空間との関係は何か。

主な発見

• フーリエ＝ムカイ変換は、$X$ 上の次数0の $\mu$-多項式安定層を $\widehat{X}$ 上の $\mu$-多項式安定層に写し、安定性を保つ。
• 広範なK3表面のクラスに対して $\widehat{X} \cong X$ であり、変換は逆変換可能であり、$\mathcal{F} \mapsto \widehat{\mathcal{F}}$ は導来圏上の自己同値を誘導する。
• 変換はオイラー標数を保存する：WIT 1 層に対して $\chi(\widehat{\mathcal{F}}) = \chi(\mathcal{F})$。
• ムカイベクトルは明示的公式により変換される：$\hat{\rho} = -3\rho + 2\sigma + \ell \cdot c_1$、$\hat{c}_1 = (\ell \cdot c_1 + 2d)\widehat{H} + (\rho + d - s)\hat{\ell} - \Psi^*(c_1)$、$\hat{\sigma} = 2\rho - 3\sigma - \ell \cdot c_1$。
• ムカイベクトルの次数は保存される：$\hat{u}^2 = u^2$ であり、これによりモジュライ空間の次元が等しいことが保証される。
• この写像は、モジュライ空間 $M_H(u)$ と $M_{\widehat{H}}(\hat{u})$ 間の有理的対応を誘導する。特に特殊な場合（例：$u = (1+2n, -n\hat{\ell}, 1-3n)$）には、$M_{\widehat{H}}(\hat{u})$ は点付きヒルベルトスキーム $\operatorname{Hilb}^n(X)$ とbiholomorphicである。