[论文解读] Equivalences of twisted K3 surfaces

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

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

一句话总结

本文证明了衍生等价的扭化 K3 曲面具有同构的周期，并进一步证明对于具有大 Picard 数的 K3 曲面，其逆命题也成立。本文为任意光滑射影概形引入了扭化陈特征类，并表明所有 K3 曲面之间的扭化衍生等价构成 Mukai 格上保向正交群的一个子群，从而解决了导出代数几何中的一个上同调实现问题。

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 曲面之间的上同调刻画。
• 证明衍生等价的扭化 K3 曲面具有同构的周期。
• 证明对于具有大 Picard 数的 K3 曲面，同构的周期蕴含衍生等价性。
• 构造一个嵌入 Mukai 格上的正交群的子群，以捕捉所有扭化衍生等价性。
• 将衍生等价性在上同调上的作用推广至任意光滑射影概形的扭化陈特征类。

提出的方法

• 为任意光滑射影概形引入扭化陈特征类与扭化 Mukai 向量，以定义扭化衍生范畴的上同调不变量。
• 利用全积分上同调格 $\widetilde{\Lambda} = H^*(M,\mathbb{Z})$ 上的 Mukai 配对，定义与扭化衍生等价性相容的正交结构。
• 应用全局 Torelli 定理与周期映射的满射性，将上同调数据与 K3 曲面的复结构联系起来。
• 通过 Brauer 类的 B-场提升，定义扭化 Fourier–Mukai 等价在 $\widetilde{\Lambda}$ 上的典范作用。
• 通过显式格嵌入构造出具有任意大 Picard 数的扭化 K3 曲面例子，其底层面非同构但衍生等价。
• 利用 Nikulin 的嵌入定理，确保超越格可嵌入 K3 格 $\Lambda$ 中的初等嵌入。

实验结果

研究问题

• RQ1 衍生等价的扭化 K3 曲面是否具有同构的周期？
• RQ2 其逆命题是否成立：对于具有大 Picard 数的 K3 曲面，同构的周期是否蕴含衍生等价性？
• RQ3 是否每个 Mukai 格 $\widetilde{\Lambda}$ 上的保向正交变换都可实现为某个扭化 Fourier–Mukai 等价的上同调作用？
• RQ4 扭化陈特征类如何将衍生等价性的作用推广至全上同调格？
• RQ5 作用于 $\widetilde{\Lambda}$ 的扭化衍生等价性群的结构是什么？

主要发现

• 两个衍生等价的扭化 K3 曲面具有同构的周期，从而为扭化衍生等价性建立了一个上同调不变量。
• 对于 Picard 数至少为 12 的 K3 曲面，同构的周期蕴含衍生等价性，为周期同构结果提供了逆命题。
• 所有 K3 曲面之间的扭化衍生等价性均诱导 $\mathrm{O}_+(\widetilde{\Lambda})$ 中的正交变换，构成保向正交群的一个子群。
• 本文构造了对于任意 $N$，$N$ 个两两不同构的 Picard 数为 20 的 K3 曲面，其上带有 Brauer 类，使得它们的扭化衍生范畴全部为 Fourier–Mukai 等价。
• 这些例子表明，衍生等价的扭化 K3 曲面可能具有不同阶的 Brauer 类，与直观预期相悖。
• 扭化陈特征类的构造提供了一种将扭化衍生等价性提升为 $\widetilde{\Lambda}$ 上等距变换的典范方式，推广了经典的 Mukai 向量。