[论文解读] 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 曲面的一阶形变之间的导出等价性，恰好对应于其无穷小 Mukai 格上的保向 Hodge 同构。关键结果通过 Hochschild 上同调与总上同调中 $\mathbb{Z}[\epsilon]/(\epsilon^2)$ 系数的权重-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.

研究动机与目标

• 将导出 Torelli 定理推广至 K3 曲面的一阶形变。
• 通过几何与上同调不变量刻画两个形变 K3 曲面何时导出等价。
• 在形变上同调格上建立傅里叶–穆凯伊等价与特殊同构之间的对应关系。
• 证明傅里叶–穆凯伊函子在 Hochschild 同调与奇异上同调上的作用在形变下保持兼容。
• 定义并研究无穷小 Mukai 格，作为带有 $\mathbb{Z}[\epsilon]/(\epsilon^2)$ 系数的总上同调的形变。

提出的方法

• 将无穷小 Mukai 格 $\widetilde{H}(X,v,\mathbb{Z})$ 构造为总上同调 $H^*(X,\mathbb{Z}) \otimes \mathbb{Z}[\epsilon]/(\epsilon^2)$，配备 Mukai 配对与权重-2 分解。
• 利用 Hochschild–Kostant–Rosenberg 同构，将形变 $v \in \mathrm{HH}^2(X)$ 提升至形变上同调上的权重-2 分解。
• 将无穷小 Mukai 格之间的 Hodge 同构定义为保持 Mukai 配对、权重-2 分解与正 4-空间方向的同构。
• 通过导出范畴形式化，建立傅里叶–穆凯伊函子在 Hochschild 同调与奇异上同调上的兼容性。
• 利用 $\mathrm{HH}^2(X)$ 参数化 $\mathrm{Coh}(X)$ 的一阶形变，通过阿贝尔范畴的形变理论，将其表示为 $\mathrm{Coh}(X,v)$。
• 通过 $\mathrm{D}_{\mathrm{perf}}(X_1 \times X_2, -J(v_1) \boxplus v_2)$ 中傅里叶–穆凯伊函子的核，将导出等价性与同构联系起来。

实验结果

研究问题

• RQ1 何时两个 K3 曲面的一阶形变是导出等价的？
• RQ2 哪些上同调不变量可在无穷小情形下检测导出等价性？
• RQ3 傅里叶–穆凯伊函子在形变下于 Hochschild 同调与奇异上同调上的行为如何？
• RQ4 Mukai 格在控制形变 K3 曲面的导出等价性中起什么作用？
• RQ5 能否通过无穷小 Mukai 格的同构，将导出 Torelli 定理推广至无穷小形变？

主要发现

• 当且仅当存在一个保持方向的、有效的 Hodge 同构，将无穷小 Mukai 格 $\widetilde{H}(X_1,v_1,\mathbb{Z})$ 与 $\widetilde{H}(X_2,v_2,\mathbb{Z})$ 之间建立同构时，$\mathrm{D}^b(X_1,v_1)$ 与 $\mathrm{D}^b(X_2,v_2)$ 之间存在傅里叶–穆凯伊等价。
• 任何傅里叶–穆凯伊函子在 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)$ 的傅里叶–穆凯伊自等价群到保持方向的同构群 $\mathrm{O}_+(\widetilde{H}(X,v,\mathbb{Z}))$ 的满同态。
• 两个形变 K3 曲面之间傅里叶–穆凯伊等价的逆本身也是一个傅里叶–穆凯伊函子，其核可通过伴随公式计算。
• 原则上，这些结果可推广至高阶形变，尽管在无穷小层次以上，此类形变的结构仍不够清晰。