[論文レビュー] Infinitesimal Derived Torelli Theorem for K3 surfaces

Emanuele Macrand, Paolo Stellari+1 more|ArXiv.org|Apr 16, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 32被引用数 17

ひとこと要約

本稿は、K3表面の無限小的導来Torelli定理を確立し、K3表面の1次元変形同士の導来同値性が、それらの無限小Mukai格子上の方向を保つホッジ等長写像にちょうど一致することを証明する。主な結果は、全コホモロジーに $\mathbb{Z}[\epsilon]/(\epsilon^2)$ 係数をとった枠組みにおけるHochschildコホモロジーと重み2分解を用いて、古典的導来Torelli定理を変形へ一般化したものである。

ABSTRACT

We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which preserves the Mukai pairing, an infinitesimal weight-2 decomposition and the orientation of a positive 4-dimensional space. This generalizes the derived version of the Torelli Theorem. Along the way we show the compatibility of the actions on Hochschild homology and singular cohomology of any Fourier--Mukai functor.

研究の動機と目的

• K3表面の1次元変形へ導来Torelli定理を拡張すること。
• 2つの変形されたK3表面がいつ導来同値であるかを、幾何的およびコホモロジー的不変量によって特徴付けること。
• Fourier–Mukai同値性と変形コホモロジー格子上の特別な等長写像との対応を確立すること。
• Fourier–MukaiファンクターがHochschildホモロジーと特異コホモロジーに作用する際の整合性を証明すること。
• 全コホモロジーに $\mathbb{Z}[\epsilon]/(\epsilon^2)$-係数をとった変形としての無限小Mukai格子を定義し、その性質を調査すること。

提案手法

• Mukaiペアリングと重み2分解を備えた、全コホモロジー $H^*(X,\mathbb{Z}) \otimes \mathbb{Z}[\epsilon]/(\epsilon^2)$ としての無限小Mukai格子 $\widetilde{H}(X,v,\mathbb{Z})$ を構成する。
• Hochschild–Kostant–Rosenberg同型を用いて、$\mathrm{HH}^2(X)$ に属する変形 $v$ を、変形コホモロジー上の重み2分解へと持ち上げる。
• Mukaiペアリング、重み2分解、および正の4次元空間の方向を保つ等長写像として、無限小Mukai格子間のホッジ等長写像を定義する。
• 導来圏の形式的枠組みを用いて、Fourier–MukaiファンクターがHochschildホモロジーと特異コホモロジーに作用する際の整合性を確立する。
• $\mathrm{HH}^2(X)$ を用いたアーベル圏の変形理論を応用し、$\mathrm{Coh}(X)$ の1次元変形を $\mathrm{Coh}(X,v)$ としてパrametrizeする。
• Fourier–Mukaiファンクターのカーネルを $\mathrm{D}_{\mathrm{perf}}(X_1 \times X_2, -J(v_1) \boxplus v_2)$ 内で定義し、導来同値性と等長写像を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 2つのK3表面の1次元変形がいつ導来同値であるか？
• RQ2 無限小設定において、導来同値性を特定するコホモロジー的不変量は何か？
• RQ3 変形の下で、Fourier–MukaiファンクターがHochschildホモロジーと特異コホモロジーにどのように作用するか？
• RQ4 Mukai格子は、変形されたK3表面の導来同値性を制御するために果たす役割は何か？
• RQ5 無限小Mukai格子の等長写像を用いて、導来Torelli定理を無限小変形へ拡張できるか？

主な発見

• 任意の $\mathrm{D}^b(X_1,v_1)$ と $\mathrm{D}^b(X_2,v_2)$ 間にFourier–Mukai同値性が存在するための必要十分条件は、無限小Mukai格子 $\widetilde{H}(X_1,v_1,\mathbb{Z})$ と $\widetilde{H}(X_2,v_2,\mathbb{Z})$ 間に方向を保つ有効なホッジ等長写像が存在することである。
• 任意のFourier–MukaiファンクターがHochschildホモロジーと特異コホモロジーに作用する際、変形の下で整合的であり、誘導される同型を保存する。
• 無限小Mukai格子 $\widetilde{H}(X,v,\mathbb{Z})$ は、$\mathbb{Z}[\epsilon]/(\epsilon^2)$-加群であり、$v \in \mathrm{HH}^2(X)$ によって誘導されるMukaiペアリングと重み2分解を持つ。
• 本定理により、$\mathrm{D}^b(X,v)$ のFourier–Mukai自己同値の群から、方向を保つ等長写像の群 $\mathrm{O}_+(\widetilde{H}(X,v,\mathbb{Z}))$ への全射群準同型が得られる。
• 変形されたK3表面間のFourier–Mukai同値性の逆は、自身がFourier–Mukaiファンクターであり、随伴公式を用いてカーネルを計算可能である。
• 結果は原理的には高次の変形へ拡張可能であるが、無限小レベルを超えてその構造はまだ明確でない。