Some examples of DG-Lie formality transfer

问题陈述
本文探讨了微分分次（DG）李代数中“形式性传递”（formality transfer）的问题。具体而言，研究了在由态射 $f: L \to M$ 连接的两个 DG-李代数 $L$ 和 $M$ 之间，形式性（即与自身的上同调代数拟同构）这一性质在何种条件下可以进行传递。

虽然在特定条件下（例如诱导映射在上同调层面上是单射或满射时），诸如“同伦阿贝尔性”（homotopy abelianity）等性质的传递已得到广泛认可，但作者指出，形式性的情况并不类似。标准的形式性传递定理不能直接推广到同伦阿贝尔性；例如，一个态射 $f: L \to M$ 可能使得 $M$ 是形式的且 $f: H^*(L) \to H^*(M)$ 是单射，但 $L$ 仍可能不是形式的。本文旨在识别正确的上同调阻碍以及允许严谨的形式性传递定理成立的条件。

方法论
作者利用切瓦莱–埃伦伯格（Chevalley–Eilenberg）上同调和谱序列的框架来分析形式性的阻碍。其方法论包括：

1. 切瓦莱–埃伦伯格双复形： 他们采用了与 DG-李代数 $L$ 及 $L$-模 $M$ 相关联的切瓦莱–埃伦伯格双复形 $CE(L, M)$。总复形的上同调$H^*_{CE}(L, M)$ 是检测阻碍的主要工具。
2. 谱序列： 他们分析了与双复形第一个过滤相关的上同调谱序列 $(E(L, M)^{p,q}_r, d_r)$。
3. 欧拉类与微分： 一个核心技术手段是通过欧拉导数定义的“欧拉类” $e_f \in E(L, M)^{1,0}_2$。作者利用了这样一个事实：谱序列中高阶微分（$d_r$）的消失等价于形式性。具体而言，他们利用了以下结果：一个 DG-李代数 $L$ 是形式的，当且仅当其谱序列 $E(L, L)_r$ 在 $E_2$ 页退化。
4. 诱导态射： 他们研究了态射 $f: L \to M$ 如何诱导 $(L, L)$、$(M, M)$ 以及 $(L, M)$ 的谱序列之间的态射，并追踪欧拉类和微分在这些映射下的行为。

主要贡献与结果
其主要贡献在于提出了并证明了一个通用的形式性传递定理（定理 1.2 / 定理 2.5），该定理将以往关于同伦阿贝尔性的结果推广到了形式性性质。

• 主定理： 令 $f: L \to M$ 为一个 DG-李代数态射。

  • 后向传递（Backward Transfer）： 若 $M$ 是形式的，且诱导映射 $f^*: H^2_{CE}(H^*(L), H^*(L)) \to H^2_{CE}(H^*(L), H^*(M))$ 是单射，则 $L$ 是形式的。
  • 前向传递（Forward Transfer）： 若 $L$ 是形式的，且诱导映射 $f^*: H^2_{CE}(H^*(M), H^*(M)) \to H^2_{CE}(H^*(L), H^*(M))$ 是单射，则 $M$ 是形式的。

• 推论： 作者推导了适用于态射具有截面（section）或收回（retraction）情形的实用推论。例如，若 $M$ 是形式的，且存在一个 $H^*(L)$-模态射 $s: H^*(M) \to H^*(L)$ 使得 $s \circ f = \text{Id}_{H^*(L)}$，则 $L$ 是形式的。

• 应用：

  1. 泛包络代数： 作者证明了对于一个 DG-李代数 $L$，其形式性与其泛包络代数 $U(L)$（作为 DG-结合代数和作为 DG-李代数）的形式性是等价的。这是通过庞卡莱–比兰克–波特（PBW）定理以及将 $U(L)$ 分解为 $L$-模来实现的。
  2. 不变子代数： 他们表明，若 DG-李代数 $M$ 是形式的，且 $L \subseteq M$ 是一个具有 $L$-模收回的子代数（例如，在有限群作用或线性约减代数群作用下的不变子代数），则 $L$ 也是形式的。
  3. Kodaira–Spencer 形式性： 本文证明了若光滑射影流形 $X$ 是 Kodaira–Spencer 形式的（即其控制 DG-李代数是形式的），且有限群 $G$ 自由作用于 $X$，则商空间 $X/G$ 也是 Kodaira–Spencer 形式的。
  4. 反例： 本文提供了一个反例（第 3.4 小节），展示了仅靠 $H^*(L) \to H^*(M)$ 的单射性不足以实现形式性传递，从而强化了切瓦莱–埃伦伯格上同调条件的必要性。

意义与主张
本文声称提供了一个“方便的重新表述”以及对现有形式性传递定理的“轻微推广”。作者指出，后向传递结果（主定理中的第 1 项）此前已在 [19] 中得到证明，并被应用于 Kaledin–Lehn 形式性猜想的背景下。

其工作的意义在于：

1. 完善图景： 通过增加前向传递结果（第 2 项）并为后向传递提供一种不同且略显简单的证明，本文提供了一个更加对称且易于理解的形式性传递框架。
2. 澄清阻碍： 它明确地指出，切瓦莱–埃伦伯格上同调中特定映射的单射性，是克服形式性无法通过简单的上同调映射的单射/满射进行传递这一问题的精确条件。
3. 统一应用： 这些结果将各种已知的现象——如有限群商下的形式性保持，以及李代数与结合代数对于泛包络代数形式性的等价性——统一在一个单一的理论框架之下。

作者对研究范围保持谦逊，承认虽然理论框架是通用的，但“几乎所有已知有趣的应用程序”都依赖于涉及直和项的特定推论（推论 1.4）。本文并非提出新的实验性应用，而是巩固了现有变形理论和代数几何中相关应用的理论基础。