[论文解读] Formal deformations and their categorical general fibre

Daniel Huybrechts, Emanuele Macrì+1 more|ArXiv.org|Sep 18, 2008

Algebraic Geometry and Number Theory参考文献 12被引用 3

一句话总结

本文直接从形式变形数据构造了射影概形形式变形一般纤维上凝聚层的阿贝尔范畴，证明其在洛朗级数域上线性。对于具有平凡 canonical bundle 的 K3 曲面，证明了一般纤维的导出范畴是线性 triangulated 范畴，其 Serre 算子等于移位算子的平方，为在无几何实现的情况下研究变形提供了范畴框架。

ABSTRACT

We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly from the formal deformation and is shown to be linear over the field of Laurent series. The various candidates for the derived category of the general fibre are compared. If the variety is a surface with trivial canonical bundle, we show that the derived category of the general fibre is again a linear triangulated category with a Serre functor given by the square of the shift functor.

研究动机与目标

• 发展一种对射影概形形式变形一般纤维的范畴方法，避免通过刚性解析空间进行几何实现。
• 直接从形式变形数据构造一般纤维上凝聚层的阿贝尔范畴。
• 在 triangulated 范畴的语境下，比较一般纤维导出范畴的不同候选对象。
• 证明对于具有平凡 canonical bundle 的 K3 曲面，其一般纤维的导出范畴是线性 triangulated 范畴，且 Serre 算子由移位算子的平方给出。
• 为傅里叶–穆卡伊等价性与 K3 曲面导出范畴自同构的研究提供基础框架。

提出的方法

• 将一般纤维上凝聚层的阿贝尔范畴构造为形式变形各层上凝聚层的逆极限的商范畴。
• 利用 Verdier 商的理论，关联形式变形及其一般纤维的导出范畴。
• 利用形式幂级数环及其分式域（洛朗级数）的结构，定义阿贝尔范畴与导出范畴的线性性。
• 应用线性 triangulated 范畴与 Serre 算子的理论，分析一般纤维的导出范畴。
• 利用 K3 曲面的超凯勒几何构造一种特殊形式变形，以保持关键的范畴结构。
• 利用商函子的普遍性质，确保原概形与一般纤维之间的兼容性。

实验结果

研究问题

• RQ1 如何在不进行几何实现的情况下，从形式变形数据直接构造一般纤维上凝聚层的阿贝尔范畴？
• RQ2 在 triangulated 范畴的语境下，不同候选导出范畴之间有何关系？
• RQ3 具有平凡 canonical bundle 的 K3 曲面的一般纤维的导出范畴是否继承 Serre 算子？若存在，其表达形式为何？
• RQ4 一般纤维的范畴结构能否用于研究 K3 曲面导出范畴的自同构？
• RQ5 K3 曲面的一般纤维导出范畴中，Serre 算子的精确形式是什么？

主要发现

• 一般纤维上凝聚层的阿贝尔范畴可直接从形式变形数据构造，且在洛朗级数域上线性。
• 具有平凡 canonical bundle 的 K3 曲面的一般纤维的导出范畴是线性 triangulated 范畴。
• 一般纤维导出范畴上的 Serre 算子同构于移位算子的平方。
• 一般纤维导出范畴的构造与 triangulated 范畴中的 Verdier 商技术兼容。
• 该范畴框架使得能够以变形论方法研究 K3 曲面导出范畴的自同构。
• 结果为 Szendrői 关于自同构群到上同调格点正交群的同态像的猜想提供了范畴论证明。