[論文レビュー] Coherent sheaves on general K3 surfaces and tori

Misha Verbitsky|ArXiv.org|May 20, 2002

Algebraic Geometry and Number Theory参考文献 11被引用数 8

ひとこと要約

本稿は、一般のK3表面または偶数次元のコンパクト複素トーラス上の整合的層の圏が、一般の複素構造の選択に依存しないことを確立する。ハイパーカähler幾何、ツイスター空間、および反射的層理論を用いて、このような多様体上の整合的層が、一般の複素構造への制限に関して同値であることを証明し、代数的でない複素構造に対してもミラー対称性の原理を拡張する。

ABSTRACT

Let M be a K3 surface or an even-dimensional compact torus. We show that the category of coherent sheaves on M is independent from the choice of the complex structure, if this complex structure is generic.

研究の動機と目的

• K3表面およびコンパクトトーラス上の一般の複素構造の変更に対して、整合的層の圏の不変性を調査すること。
• ハイパーカähler多様体上の代数的でない一般の複素構造に対しても、ミラー対称性の対応を拡張すること。
• 非代数的であるにもかかわらず、一般のコンパクトトーラスおよびK3表面上の整合的層の圏が複素構造の選択に依存しないことを確立すること。
• 反射的層およびツイスター幾何を用いて、異なる一般の複素構造下での整合的層のカテゴリカル同値性を構築すること。
• オルロフの導来圏同値性結果が、導来圏を超えた完全なカテゴリカル不変性を捉えていないことの証明。

提案手法

• 接 bundle 上のクaternion的作用による2次元球面の複素構造の定義を通じて、ハイパーカähler幾何を用いる。
• ツイスター構成を用いて、一般の複素構造 $L$ 上の安定バンドルをツイスター空間 $\operatorname{Tw}(M)$ 上のヤン・ミルズバンドルへ上昇させる。
• 特異点を扱うために反射的層およびその反射化を用い、ツイスター形式的と整合性を保つ。
• 無限小近傍での貼り合わせを用いて、$(M,L)$ 上の整合的層の圏からツイスター空間上の圏への逆関手を構成する。
• 余次元 $\geq 3$ の特異点集合では、直接像 $j_*$ を用いた整合的拡張が可能であり、整合性が保たれることを用いる。
• ツイスター空間の微分作用素およびコホモロジーの補題の局所的自明化が、関手の関手性および同型を保証することに依存する。

実験結果

リサーチクエスチョン

• RQ1 K3表面またはコンパクトトーラス上の整合的層の圏は、一般の複素構造の変更に対しても不変であるか？
• RQ2 整合的層とフォイカタ・カテゴリの間のミラー対称性対応は、代数的でない一般の複素構造へ拡張可能か？
• RQ3 反射的層とツイスター構成は、異なる複素構造間でカテゴリカル構造をどのように保つのか？
• RQ4 コホモロジー上の $SU(2)$-作用が、整合的層の圏の不変性を保証するために果たす役割は何か？
• RQ5 与えられたハイパーカähler多様体上で、すべての一般の複素構造下での整合的層の圏は同値であるか、特に代数的でない場合でも成立するか？

主な発見

• 一般のK3表面または偶数次元のコンパクトトーラス上の整合的層の圏は、一般の複素構造の選択に依存しない。
• ハイパーカähler多様体 $M$ に対して、2つの一般の誘導された複素構造 $L_1$ および $L_2$ 上の整合的層の圏は非標準的に同値である。
• 制限写像 $R_L: \widetilde{{\cal C}}^{tw}_{I} \to {\cal C}(M,L)$ はカテゴリの同値性を確立し、カテゴリカル同型を示す。
• 一般の複素トーラス上の反射的層は自動的にバンドルであるため、この場合の構造が単純化される。
• ツイスター空間上の層の貼り合わせおよび $j_*$ を用いた拡張を通じて、逆関手 $\Upsilon$ の構成が行われ、完全な関手性および整合性が保証される。
• 複素構造が代数的でない場合でも、この結果は成り立ち、オルロフの導来圏同値性結果の範囲を超えて拡張される。