[论文解读] 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

一句话总结

该论文通过证明当两个扭twisted K3曲面的扭Hodge结构之间存在保持定向的Hodge同构时，其扭derived范畴之间存在Fourier–Mukai等价，从而证明了Căldăraru的猜想。证明结合了Yoshioka关于扭层模空间的结果与上同调Fourier–Mukai变换，表明此类等价在上同调上诱导出给定的Hodge同构。

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.

研究动机与目标

• 建立Căldăraru关于扭K3曲面derived等价猜想的完整证明。
• 证明两个投影K3曲面的扭Hodge结构之间的Hodge同构（保持定向）蕴含Fourier–Mukai等价。
• 阐明扭Chern特征与Mukai配对在连接上同调结构与范畴结构中的作用。
• 统一文献中关于扭层与Chern特征的不同表述，特别是[4]、[5]与[12]之间的差异。

提出的方法

• 利用Yoshioka关于K3曲面上稳定扭层模空间的构造，其本身亦为K3曲面。
• 利用$X \times X'$上存在一个普遍扭层的事实，定义一个诱导等价的Fourier–Mukai核。
• 应用扭Chern特征$\mathrm{ch}^B$与Mukai配对，将K-理论类与上同调类关联起来。
• 建立一个交换图，将上同调Fourier–Mukai变换$\Phi^{B,B'}_*$与标准Chern特征及指数修正联系起来。
• 依赖于扭层与Azumaya代数上模之间的同构，将其与Simpson的模空间框架联系起来。
• 利用$\widetilde{H}^*(X,B,\mathbb{Z})$与扭K3曲面上同调的自然同构，定义Hodge结构。

实验结果

研究问题

• RQ1 在何种条件下，两个K3曲面扭Hodge结构之间的Hodge同构可提升为Fourier–Mukai等价？
• RQ2 Fourier–Mukai等价在扭上同调上的上同调作用能否精确匹配为Hodge同构？
• RQ3 在规范丛或线丛变换下，不同形式的扭Chern特征（如$\mathrm{ch}_G^B$与$\mathrm{ch}_G$）之间有何关系？
• RQ4 在扭设置下，Hodge同构的定向保持条件是否为Fourier–Mukai等价存在的必要条件？
• RQ5 K3曲面上扭层模空间在多大程度上继承了原曲面的几何与上同调性质？

主要发现

• 保持定向的Hodge同构$g: \widetilde{H}(X,B,\mathbb{Z}) \cong \widetilde{H}(X',B',\mathbb{Z})$诱导出Fourier–Mukai等价$\Phi: \mathrm{D}^b(X,\alpha) \cong \mathrm{D}^b(X',\alpha')$。
• 在扭上同调上诱导的上同调作用$\Phi^{B,B'}_*$等于Hodge同构$g$。
• 当$v$为本原类、$\langle v,v \rangle = 0$，且$v$的零次部分为正时，$\alpha_B$-扭稳定层模空间$M(v)$为K3曲面。
• 在$X \times X'$上，一个普遍的$\alpha_B^{-1} \boxtimes \alpha_{B'}$-扭层诱导出Fourier–Mukai等价。
• 扭Chern特征$\mathrm{ch}_G^B$与Mukai配对相容，允许通过$\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$计算欧拉示性数$\chi(E_1,E_2)$。
• 连接$\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)$。