[論文レビュー] Equivalences of twisted K3 surfaces

Daniel Huybrechts, Paolo Stellari|arXiv (Cornell University)|Sep 2, 2004

Algebraic Geometry and Number Theory参考文献 16被引用数 5

ひとこと要約

本稿は、捩れたK3表面の導来同値性が同型の周期をもたらすことを確立し、ピカール数が大きいK3表面に対しては逆も成り立つことを証明する。任意の滑らかで射影的な代数多様体に対して捩れたチャーン類を導入し、K3表面間のすべての捩れた導来同値性がムカイ格子上の向きを保つ直交群の部分群をなすことを示し、導来代数幾何におけるコhomological実現問題を解決する。

ABSTRACT

We prove that two derived equivalent twisted K3 surfaces have isomorphic periods. The converse is shown for K3 surfaces with large Picard number. It is also shown that all possible twisted derived equivalences between arbitrary twisted K3 surfaces form a subgroup of the group of all orthogonal transformations of the cohomology of a K3 surface. The passage from twisted derived equivalences to an action on the cohomology is made possible by twisted Chern characters that will be introduced for arbitrary smooth projective varieties.

研究の動機と目的

• 捩れたK3表面間の導来同値性のコhomological特徴付けを確立すること。
• 導来同値な捩れたK3表面が同型の周期を持つことを示すこと。
• ピカール数が大きいK3表面に対して、同型の周期が導来同値性を意味することを証明すること。
• ムカイ格子上の直交群の部分群を構成し、それがすべての捩れた導来同値性を捉えること。
• 任意の滑らかで射影的な多様体に対して、導来同値性のコhomology上への作用を捩れたチャーン類により一般化すること。

提案手法

• 任意の滑らかで射影的な多様体に対して捩れたチャーン類および捩れたムカイベクトルを導入し、捩れた導来カテゴリのコhomological不変量を定義する。
• 全整数コhomology格子 $\widetilde{\Lambda} = H^*(M,\mathbb{Z})$ 上のムカイペアリングを用いて、捩れた導来同値性と整合する直交構造を定義する。
• グローバルトーリの定理および周期写像の上への性質を用い、コhomologicalデータとK3表面上の複素構造を関連付ける。
• ブレアクラスのB-場のリフトを用いて、捩れたフォーリエ＝ムカイ同値性が $\widetilde{\Lambda}$ 上に標準的な作用を持つように定義する。
• 任意に大きなピカール数を持つ捩れたK3表面の例を、明示的な格子埋め込みを用いて構成する。これらは同型でない基本的表面を持つが、導来同値である。
• ニクリンの埋め込み定理を用いて、超越的格子の原始的埋め込みがK3格子 $\Lambda$ に存在することを保証する。

実験結果

リサーチクエスチョン

• RQ1 導来同値な捩れたK3表面は同型の周期を持つのか？
• RQ2 逆は成り立つか：ピカール数が大きいK3表面に対して、同型の周期が導来同値性を意味するのか？
• RQ3 ムカイ格子 $\widetilde{\Lambda}$ 上の任意の向きを保つ直交変換は、捩れたフォーリエ＝ムカイ同値性のコhomological作用として実現可能か？
• RQ4 捩れたチャーン類は、導来同値性のコhomology上への作用をどのように全コhomology格子に一般化するか？
• RQ5 $\widetilde{\Lambda}$ 上に作用する捩れた導来同値性の群の構造は何か？

主な発見

• 導来同値な2つの捩れたK3表面は同型の周期を持つ。これは、捩れた導来同値性のコhomological不変量を確立する。
• ピカール数が12以上であるK3表面に対しては、同型の周期が導来同値性を意味する。これは周期同型性の結果の逆を提供する。
• すべてのK3表面間の捩れた導来同値性は $\mathrm{O}_+(\widetilde{\Lambda})$ 内の直交変換を誘導し、向きを保つ直交群の部分群をなす。
• 本稿では、任意の $N$ に対して、ピカール数20で互いに同型でない $N$ 個のK3表面を、それらの捩れた導来カテゴリがすべてフォーリエ＝ムカイ同値であるように構成する。
• これらの例は、導来同値な捩れたK3表面が異なる位数のブレアクラスを持つ可能性があることを示しており、直感的な期待とは反する。
• 捩れたチャーン類の構成により、捩れた導来同値性が $\widetilde{\Lambda}$ 上の等長写像へ標準的に持ち上げられることを示し、古典的なムカイベクトルを一般化する。