[論文レビュー] Proof of Caldararu's conjecture. An appendix to a paper by Yoshioka

Daniel Huybrechts, Paolo Stellari|arXiv (Cornell University)|Nov 24, 2004

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

ひとこと要約

この論文は、2つの射影的K3表面のねじれたホッジ構造の間で、向きを保存するホッジ等長写像が存在するとき、そのねじれた導来圏の間でフーリエ＝ムカイ同値が成立することを示すことにより、Căldăraruの予想を証明する。証明は、ねじれた層のモジュライ空間に関するYoshiokaの結果と、コhomologicalなフーリエ＝ムカイ変換を組み合わせており、このような同値がコhomology上に与えられたホッジ等長写像を誘導することを示している。

ABSTRACT

We show that any orientation preserving Hodge isometry between the Hodge structures of two K3 surfaces X and X' twisted by Brauer classes $α$ resp. $α'$ can be lifted to a Fourier-Mukai equivalence between the derived categories of $α$ resp. $α'$-twisted sheaves.

研究の動機と目的

• ねじれたK3表面の導来同値に関するCăldăraruの予想を完全に証明すること。
• 射影的K3表面のねじれたホッジ構造の間で、向きを保存するホッジ等長写像が存在する場合、それがフーリエ＝ムカイ同値を誘導することを示すこと。
• K-理論的クラスとコhomology的クラスを結ぶために、ねじれたチェーン・キャラクターとムカイペアリングの役割を明確にすること。
• 文献[4]、[5]、[12]の間で異なる形式のねじれた層やチェーン・キャラクターを統合すること、特にそれらの関係を明確にすること。

提案手法

• ねじれた安定層のモジュライ空間がK3表面そのものであるYoshiokaの構成を活用する。
• 積 $X \times X'$ 上に普遍的なねじれた層が存在することを用いて、同値を誘導するフーリエ＝ムカイカーネルを定義する。
• ねじれたチェーン・キャラクター $\mathrm{ch}^B$ とムカイペアリングを用いて、K-理論的クラスとコhomology的クラスを関連付ける。
• 標準的チェーン・キャラクターと指数補正を結ぶ、コhomologicalなフーリエ＝ムカイ変換 $\Phi^{B,B'}_*$ と関連する可換図式を確立する。
• ねじれた層とアズマヤ代数上の加群との同型を用いて、Simpsonのモジュライ空間枠組みに接続する。
• ねじれたK3表面のコhomologyと同一視される $\widetilde{H}^*(X,B,\mathbb{Z})$ の自然な同一視を用いてホッジ構造を定義する。

実験結果

リサーチクエスチョン

• RQ1 2つのK3表面のねじれたホッジ構造の間のホッジ等長写像が、フーリエ＝ムカイ同値に引き上げられる条件は何か？
• RQ2 フーリエ＝ムカイ同値のねじれたコhomology上での作用が、正確にホッジ等長写像に対応するか？
• RQ3 ゲルベやラインバンドルの変更の下で、異なる定義（例：$\mathrm{ch}_G^B$ と $\mathrm{ch}_G$）のねじれたチェーン・キャラクターどうしがどのように関係するか？
• RQ4 ねじれた設定において、フーリエ＝ムカイ同値が存在するためには、ホッジ等長写像の向き保存条件が必要か？
• RQ5 K3表面のねじれた層のモジュライ空間は、元の表面の幾何的・コhomological的性質をどの程度引き継ぐか？

主な発見

• 向きを保存するホッジ等長写像 $g: \widetilde{H}(X,B,\mathbb{Z}) \cong \widetilde{H}(X',B',\mathbb{Z})$ は、フーリエ＝ムカイ同値 $\Phi: \mathrm{D}^b(X,\alpha) \cong \mathrm{D}^b(X',\alpha')$ を誘導する。
• ねじれたコhomology上に誘導されるコhomological作用 $\Phi^{B,B'}_*$ はホッジ等長写像 $g$ に等しい。
• ねじれた安定層 $\alpha_B$ で、$\mathrm{ch}^B(E)\sqrt{\mathrm{td}(X)} = v$ を満たすような $M(v)$ のモジュライ空間は、$v$ が原始的で、$\langle v,v \rangle = 0$ かつ $v$ の次数0部が正であればK3表面である。
• 積 $X \times X'$ 上に、$\alpha_B^{-1} \boxtimes \alpha_{B'}$-ねじれた普遍層が存在し、これがフーリエ＝ムカイ同値を誘導する。
• ねじれたチェーン・キャラクター $\mathrm{ch}_G^B$ はムカイペアリングと整合し、$\chi(E_1,E_2)$ の計算に用いることができる。具体的には $\chi(F_1,F_2) = -\langle \mathrm{ch}^B(E_1)\sqrt{\mathrm{td}(X)}, \mathrm{ch}^B(E_2)\sqrt{\mathrm{td}(X)} \rangle$ が成り立つ。
• $\mathrm{ch}_G^B$、$\mathrm{ch}_G$、および指数補正を結ぶ図式は可換であり、$\mathrm{ch}_G^B = \mathrm{ch}_G \cdot \exp(-B_G)$ が成り立つ。ここで $B_G = \mathrm{c}_1^B(G)/\mathrm{rk}(G)$ である。