[論文レビュー] Moduli spaces of twisted sheaves on a projective variety

Kōta Yoshioka|ArXiv.org|Nov 24, 2004

Algebraic Geometry and Number Theory参考文献 14被引用数 4

ひとこと要約

本稿では、基底多様体の線束から導かれる安定性条件を用いて、滑らかで射影的多様体上の安定なねじれた層のモジュライ空間の存在および射影的コンpakト化を確立する。主な貢献は、Simpsonのモジュライ構成をねじれた層へ一般化することであり、これによりK3面およびアーベル面におけるねじれた導来カテゴリのフーリエ＝ムカイ変換理論が可能になる。この理論は、Cáldáraruのねじれた導来同値に関する予想への応用を含む。

ABSTRACT

We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the Fourier-Mukai transformation. As an application of our results, Daniel Huybrechts and Paolo Stellari prove Caldararu's conjecture.

研究の動機と目的

• 滑らかで射影的多様体X上のねじれた層の安定性条件を、ブラウアー＝セヴァリ多様体ではなく、基底多様体のアーメンライン束を用いて定義すること。
• 半安定層のS同値類を用いた、安定ねじれた層のモジュライ空間およびその射影的コンパクト化の構成。
• K3面およびアーベル面におけるねじれた導来カテゴリへのフーリエ＝ムカイ変換理論の一般化。
• Cáldáraruのねじれた導来同値に関する予想を証明するための幾何的枠組みの確立。後日、HuybrechtsとStellariにより確認された。
• ねじれたモジュライ空間と射影バンドルとの関係を確立し、局所的に自由なねじれた層がX上の射影バンドルをパラメトライズすることを示す。

提案手法

• 2コチェーンαがH²(X, O_X×)の torsion類を代表するものとして、開被覆上の層の集合と、αによるねじれ付きの移行同型写像を備えたねじれた層を定義する。このとき、α_ijkがスカラー倍としてのコycle条件を満たすようにする。
• 基底多様体Xから引き戻された線束に関連するヒルベルト多項式に基づく、ブラウアー＝セヴァリ多様体ではなく、ねじれた層の安定性条件を定義する。Simpsonの構成を適応する。
• 幾何的不変量理論（GIT）の技法を用いて、安定ねじれた層のモジュライ空間を準射影的スキームとして構成し、半安定層のS同値類による射影的コンパクト化を提供する。
• モリタ同値性を用いて、ねじれた層をアズマヤ代数上の加群と関連づけ、安定性条件が加群に対してSimpsonの安定性と一致することを示す。
• K3面にこの構成を適用し、安定ねじれた層のモジュライ空間が自然な重み2ホッジ構造を備え、フーリエ＝ムカイ変換を実現できることを証明する。
• 積分関手による導来カテゴリの同値性を活用し、変換がムカイ格子上のホッジ等長写像を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 通常のモジュライ空間が非ファインである場合、滑らかで射影的多様体上に安定ねじれた層のモジュライ空間をどのように構成できるか？
• RQ2 ねじれた層の安定性条件は、射影的モジュライ空間の存在を保証するか？
• RQ3 K3面上のねじれた導来カテゴリへのフーリエ＝ムカイ変換理論を拡張できるか？
• RQ4 局所的に自由なねじれた層のモジュライ空間は、基底多様体上の射影バンドルをパラメトライズするか？
• RQ5 ねじれた層の導来カテゴリは、ムカイ格子のホッジ構造とどのように関係するか？

主な発見

• 滑らかで射影的多様体上の安定ねじった層のモジュライ空間は、準射影的スキームとして存在し、半安定ねじった層のS同値類による射影的コンパクト化を備える。
• H¹(X, O_X) = 0 であるとき、局所的に自由なねじった層のモジュライ空間は、X上の射影バンドルのモジュライ空間と同型である。
• K3面Xに対して、安定ねじった層のモジュライ空間には自然な重み2ホッジ構造が備わり、ムカイ格子と整合する。
• 積分関手Φ_{X′→X}^ℰは、ねじった層の導来カテゴリの同値を誘導し、X′とXのムカイ格子間のホッジ等長写像を誘導する。
• フーリエ＝ムカイ変換のカーネルは、積上のねじった層の導来押し出しとして与えられ、変換は符号およびランク正規化を除きホッジ構造を保存する。
• この構成により、Cáldáraruのねじった導来同値に関する予想がK3面の場合に確認され、後にHuybrechtsとStellariにより証明された。