Joint Deformations of Manifolds, Coherent Sheaves and Sections

技术摘要：流形、相干层与截面的联合变形

问题陈述
本文研究了三元组 $(X, F, \sigma)$ 的变形理论，其中 $X$ 是特征为 0 的域上的光滑簇，$F$ 是 $X$ 上的一个相干层，而 $\sigma \in H^0(X, F)$ 是一个全局截面。虽然对对 $(X, Z)$（其中 $Z$ 是一个除子）的变形理论已通过复形 $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ 的超上同调得到了充分理解，但存在一个显著的技术空白：复形 $D = [\Theta_X \xrightarrow{\gamma} N_{Z|X}]$ 自然地并不携带微分分次李代数（DG-Lie algebras）结构的结构。这种缺失使得利用标准的 Maurer–Cartan 解和规范等价（gauge equivalence）理论来研究变形变得复杂化，特别是在计算初级障碍（primary obstructions）和马西乘积（Massey products）方面。

作者及其前人研究表明，对于线丛 $L$ 和截面 $\sigma$，$(X, L, \sigma)$ 的变形由复形 $P(X, L) \xrightarrow{e_\sigma} L$ 控制，其中 $P(X, L)$ 是一阶微分算子层。然而，对于任意相干层 $F$（可能非局部自由）及其截面的通用框架仍然缺失。

方法论
作者利用 DG-Lie 代数理论和 Deligne 群组（Deligne groupoids）构建了一个控制机制来处理这些变形。该方法论分为以下几个阶段：

1. 分解与构造： 对于相干层 $F$，作者选择一个有限局部自由分解 $E^\bullet$ 以及一个提升 $\sigma$ 的截面 $s \in H^0(X, E^0)$。他们构造了一个 DG-Lie 丛 $C^\bullet(X, E^\bullet, s)$，该丛定义为求值态射 $e_s: P^\bullet(X, E^\bullet) \to E^\bullet$ 的映射余锥（mapping cocone），其中 $P^\bullet(X, E^\bullet)$ 表示具有标量符号的一阶微分算子层。
2. 分解的独立性： 利用同调代数技术（具体为“杀死循环”程序和拟同构的性质），作者证明了 DG-Lie 丛 $C^\bullet(X, E^\bullet, s)$ 的拟同构类与分解 $(E^\bullet, s)$ 的选择无关。
3. 下降理论： 为了从局部仿射片过渡到全局簇 $X$，作者利用了由 $C^\bullet$ 在仿射开覆盖上的限制所形成的半余循环（semicosimplicial）DG-Lie 代数的 Thom–Whitney 全总化（totalization）。他们应用了 Hinich 下降定理在 Deligne 群组上的变体（具体为 Fiorenza–Iacono–Martinengo 的扩展），将全局变形函子与构造的全总化 DG-Lie 代数的导出全局截面联系起来。
4. 形式群组： 作者定义了代表无穷小变形同构类的形式群组 $G(X,F,\sigma)$。他们建立了这些群组与所构造的 DG-Lie 代数相关的 Deligne 群组之间的等价关系。

主要贡献与结果

• 主定理（定理 5.6）： 三元组 $(X, F, \sigma)$ 的无穷小变形受控于由 $C^\bullet(X, E^\bullet, s)$ 的导出全局截面构成的 DG-Lie 代数 $L$。具体而言，存在一个变形函子的同构：
  $$\text{Def}_{\text{Tot}(U, C^\bullet)} \cong \text{Def}_{(X,F,\sigma)}$$
  因此，变形的切空间被识别为 $T^1_{(X,F,\sigma)} = H^1(X, C^\bullet(X, E^\bullet, s))$，而障碍位于 $T^2_{(X,F,\sigma)} = H^2(X, C^\bullet(X, E^\bullet, s))$ 中。
• 向截面的推广： 该框架通过将求值态射的目标替换为分解的直和，自然地推广到有限序列的截面 $\sigma_1, \dots, \sigma_n$。
• 恢复已知结果（第 6 节）： 本文展示了当 $F = L$ 为线丛且 $\sigma$ 定义一个除子 $Z$ 时，复形 $C^\bullet(X, L, \sigma)$ 与经典复形 $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ 是拟同构的。这恢复了已知结果，即该复形的超上同调控制着对 $(X, Z)$ 的变形。
• 结构性洞察（例 6.2）： 作者明确证明了复形 $\Theta_X \xrightarrow{\gamma} N_{Z|X}$ 并不具备与 $\Theta_X$ 上的李括号相兼容的 DG-Lie 代数结构，使得投影成为一个 DG-Lie 态射。这强调了使用中间一阶微分算子层 $P(X, L)$ 来获得有效的 DG-Lie 结构的必要性。
• 光滑性判据（推论 5.8）： 如果 $H^1(X, F) = 0$，则从 $(X, F, \sigma)$ 的变形到 $(X, F)$ 的变形的遗忘态射是光滑的。

意义
本文声称其意义在于提供了一个统一且严谨的 DG-Lie 代数框架，用于处理流形、相干层与截面的联合变形。这种方法解决了处理非局部自由层及截面时，标准切正规复形（tangent-normal complex）无法具备 DG-Lie 结构的各种技术难题。通过建立构造的映射余锥的导出全局截面控制这些变形的事实，作者使得标准变形理论工具（如障碍理论和马西乘积）能够应用于更广泛的几何对象。此外，这项工作将关于对 $(X, Z)$ 的变形的现有结果推广到了除子 $Z$ 可能为奇异的情况，且不再要求对数向量场层作为唯一的控制器。