[論文レビュー] Non-Fine Moduli Spaces of Sheaves on K3 Surfaces

Andrei Căldăraru|ArXiv.org|Aug 27, 2001

Geometric and Algebraic Topology参考文献 9被引用数 10

ひとこと要約

本稿は、K3表面 $X$ 上の連接層の導来圏と、$X$ 上の安定層のモジュライ空間 $M$ 上の $\alpha$-twisted層の導来圏の間の同値性を、$M$ が非細でない場合でさえ確立する。$\alpha$ のブラウアー類は Mukai のホッジ同一形を介して特定され、トランスセンドental格子のホッジ同一形を用いた、Orlov の導来同値定理の一般化を提起する。

ABSTRACT

In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3 surfaces, and we identify alpha in terms of Mukai's map between the cohomology of X and of M (defined by means of a quasi-universal sheaf). We prove that the derived category of sheaves on X and the derived category of alpha-twisted sheaves on M are equivalent. This suggests a conjecture which describes, in terms of Hodge isometries of lattices, when derived categories of twisted sheaves on two K3 surfaces are equivalent. If proven true, this conjecture would generalize a theorem of Orlov and a recent result of Donagi-Pantev.

研究の動機と目的

• K3表面の層の非細なモジュライ空間への Orlov の導来同値定理の一般化。
• 普遍層の存在の障害を分類するモジュライ空間 $M$ 上のブラウアー類 $\alpha$ の同定。
• twisted 全ての層の導来圏の同値性 $\mathbf{D}_{\mathrm{coh}}^{b}(X) \cong \mathbf{D}_{\mathrm{coh}}^{b}(M,\alpha)$ を twisted 全ての層を用いて確立する。
• twisted K3表面の導来圏とそのトランスセンドental格子のホッジ同一形との間の関係を示唆する予想を提示する。
• $\alpha$-twisted 層の安定性の定義を提示し、将来の研究のためのプログラムを提案することで、twisted モジュライ理論の基盤を築く。

提案手法

• $X$ と $M$ のコホモロジー間の Mukai 写像を用いて、$\mathrm{Br}(M)$ 内のブラウアー類 $\alpha$ を同定する。
• 準普遍層を介して $X \times M$ 上に $\pi_M^*\alpha^{-1}$-twisted 全ての層を構成する。
• 定理 2.1 の適用により、積分的ファンクター $\Phi_{M \to X}^\mathscr{P}$ が導来圏の同値であることを証明する。
• Mukai ラティス上のムカイ積とホッジ構造を用いて、$X$ と $M$ のコホモロジー的データを関連付ける。
• $\alpha^{-1}$-twisted 局所自由層 $\mathscr{E}$ を固定して、$\alpha$-twisted 層のスロープ安定性を定義する。
• Mukai と Orlov の結果を twisted モジュライ空間へ一般化するためのプログラムを提示し、安定 twisted 層の理論を構築する。

実験結果

リサーチクエスチョン

• RQ1 非細な K3表面の層のモジュライ空間に対して、どのようにして導来同値性を確立できるか？
• RQ2 普遍層の存在の障害を分類する、モジュライ空間 $M$ 上の正確なブラウアー類 $\alpha$ は何か？
• RQ3 非細な場合において、$X$ の導来圏が $M$ 上の $\alpha$-twisted 層の導来圏と同値であるか？
• RQ4 二つの K3 表面のコホモロジーおよびホッジ構造にどのような条件下で、それらの twisted 層の導来圏が同値になるか？
• RQ5 twisted 環境でのモジュライ空間の構成を可能にするために、twisted 層の安定性をどのように定義できるか？

主な発見

• $X$ 上の連接層の導来圏は、モジュライ問題によって定まるブラウアー類 $\alpha$ を持つ $M$ 上の $\alpha$-twisted 層の導来圏と同値である。
• ブラウアー類 $\alpha$ は、準普遍層を用いて、$X$ と $M$ のコホモロジー間の Mukai のホッジ同一形によって特定される。
• twisted 全ての層を用いたフーリエ＝ムカイ変換を通じて、同値性 $\mathbf{D}_{\mathrm{coh}}^{b}(X) \cong \mathbf{D}_{\mathrm{coh}}^{b}(M,\alpha)$ が確立される。
• 本稿は、twisted 層の導来圏が同値であるための必要十分条件として、二つの K3 表面のトランスセンドental格子がホッジ同一形であることを予想する。
• $\alpha^{-1}$-twisted 局所自由層 $\mathscr{E}$ を固定して、$\alpha$-twisted 層のスロープ安定性の定義を提示し、元の未twist 状態に一般化する。
• 本稿は、Orlov の定理を twisted 状態へ完全に一般化するには、安定 twisted 層のモジュライ理論を構築する必要があると示唆する。