[论文解读] Deformation-obstruction theory for complexes via Atiyah and Kodaira--Spencer classes

Daniel Huybrechts, Richard Thomas|arXiv (Cornell University)|May 22, 2008

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

一句话总结

本文通过截断的 Atiyah 类与 Kodaira–Spencer 类，为光滑射影族上的完美复形建立了普遍的形变-障碍理论。证明了复形形变的障碍类是这些类的乘积，从而实现了在三复形上简单复形模空间上构造形变不变的虚拟周期。

ABSTRACT

We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira--Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.

研究动机与目标

• 为光滑射影族上凝聚层导出范畴对象的形变理论提供一个普遍框架。
• 通过将障碍识别为 Atiyah 类与 Kodaira–Spencer 类的乘积，推广并统一现有的障碍理论，特别是 Lowen 和 Lieblich 的理论。
• 在三复形上简单复形的模空间上构造形变不变的虚拟周期，完成枚举几何的基础性工作。
• 通过使用截断的余切复形，消除对光滑嵌入的依赖，证明障碍理论可通过普遍方式实现。
• 通过基于嵌入到光滑环境空间的初等、显式构造，将经典形变理论推广至导出范畴。

提出的方法

• 对于嵌入 $ X \subset A $ 的概形 $ X $ 上的完美复形 $ E $，利用截断的余切复形 $ \mathbb{L}_X = (J/J^2 \to \Omega_A|_X) $，定义截断的 Atiyah 类 $ A(E) \in \operatorname{Ext}^1_X(E, E \otimes \mathbb{L}_X) $。
• 对于理想为 $ I $ 的平方零加粗 $ X_0 \subset X $，引入截断的 Kodaira–Spencer 类 $ \kappa(X_0/X) \in \operatorname{Ext}^1_{X_0}(\mathbb{L}_{X_0}, I) $。
• 证明在 $ X_0 $ 上形变完美复形 $ E_0 $ 的障碍由 $ \operatorname{Ext}^2_{X_0}(E_0, E_0 \otimes I) $ 中的 Yoneda 乘积 $ A(E_0) \cup \kappa(X_0/X) $ 给出。
• 利用仿射基上 Leray 谱序列的坍缩，将上同调群与标准 Ext 群等同，确保障碍位于 $ \operatorname{Ext}^2 $ 中。
• 通过使用 Illusie 的完整余切复形 $ L^\bullet_{{\cal M}/B} $，再截断至 $ \tau^{\geq -1} $，将理论扩展至非光滑嵌入的情形，恢复相同的障碍映射。
• 验证当全局模空间不可光滑嵌入时，障碍理论在模空间的仿射开子集上依然有效。

实验结果

研究问题

• RQ1 在复形的形变理论中，障碍类能否以 Atiyah 类与 Kodaira–Spencer 类的统一形式表达？
• RQ2 在平方零加粗上形变完美复形的障碍是否可识别为 Atiyah 类与 Kodaira–Spencer 类的乘积？
• RQ3 在三复形上复形模空间上，障碍理论在何种条件下能产生形变不变的虚拟周期？
• RQ4 是否可能在不假设模空间可光滑嵌入到光滑环境空间的前提下构造障碍理论？
• RQ5 截断的余切复形、Atiyah 类与 Kodaira–Spencer 类，与 Illusie 的完整导出构造之间有何关系？

主要发现

• 在平方零加粗 $ X_0 \subset X $ 上形变完美复形 $ E_0 $ 的障碍类是截断 Atiyah 类 $ A(E_0) $ 与 Kodaira–Spencer 类 $ \kappa(X_0/X) $ 的 Yoneda 乘积，位于 $ \operatorname{Ext}^2_{X_0}(E_0, E_0 \otimes I) $ 中。
• 该障碍类恢复并推广了 Lowen 与 Lieblich 的障碍类，确认其确实为 Atiyah 类与 Kodaira–Spencer 类的乘积。
• 即使模空间 $ \mathcal{M} $ 不可光滑嵌入，通过使用完整余切复形并截断至 $ \tau^{\geq -1} $，障碍理论依然有效。
• 该构造在光滑三复形上简单复形的模空间上产生了形变不变的虚拟周期，满足枚举几何应用的需求。
• 障碍理论在模空间的仿射开子集上正确限制，确保理论具有局部性，适用于一般情形。
• 使用截断复形避免了对 dg 或单纯化解的依赖，使框架保持初等且计算上易于处理。