技术摘要：同伦等价的阻碍序列

问题陈述

本文旨在解决刻画由算子（operad）或适当算子（properad）（可能由群组类着色）所控制的微分分次（dg）代数之间同伦等价性的基本问题。虽然有理同伦理论已经确立了两个空间具有相同有理同伦型当且仅当其奇异上链代数同伦等价，但确定两个特定代数结构是否同伦等价是一个非平凡的形变问题。

具体而言，作者试图将 Kaledin 类（提供从形式性到同伦等价的完整阻碍）的理论推广到更一般的任意代数结构的同伦等价问题中。核心问题是：给定一个控制形变问题的完全微分分次李代数（complete dg Lie algebra）中的两个 Maurer–Cartan 元 $\phi$ 和 $\psi$，如何检测它们是否是规范等价（gauge equivalent）的？如果它们不是，那么这种等价性在过滤度的哪一阶失效？

方法论

本文开发了一种基于完全 dg 李代数结构的系统化阻碍理论。该方法论通过以下逻辑步骤进行：

1. 重构为规范等价问题：
   两个代数结构 $(A, \phi)$ 与 $(B, \psi)$ 之间的同伦等价问题被重新表述为它们在同一个完全 dg 李代数 $\mathfrak{g}$ 中转移后的 Maurer–Cartan 元之间的规范等价问题。这依赖于在特征为零的情况下，$\infty$-isotopies 的群与卷积 dg 李代数的规范群之间的同构。

2. 扭转与过滤：
   为了分析 $\phi$ 与 $\psi$ 之间的等价性，作者通过 $\psi$ 对 dg 李代数 $\mathfrak{g}$ 进行扭转，得到 $\mathfrak{g}_\psi$。差值 $\phi - \psi$ 成为 $\mathfrak{g}_\psi$ 中的一个 Maurer–Cartan 元。问题随后简化为判定该差值是否规范平凡（gauge trivial）。

3. 构造阻碍序列：
   作者沿着完全下降过滤 $F$ 构造了一个归纳序列的同调类 $(\vartheta_k)_{k \geq 1}$。

   • 从模 $F^k\mathfrak{g}$ 的规范平凡化开始，作者定义了一个类 $\vartheta_k \in H^{-1}(\mathfrak{g}_\psi / F^{k+1}\mathfrak{g})$。
   • $\vartheta_k$ 的消失是将其向模 $F^{k+1}\mathfrak{g}$ 扩展平凡化的充分必要条件。
   • 若 $\vartheta_k \neq 0$，则序列终止，并由此识别出 $k$ 为 规范等价度（gauge equivalence degree），用于衡量等价性失效的具体阶数。

4. 向任意系数的推广：
   虽然最初的构造假设基环 $R$ 是 $\mathbb{Q}$-代数（允许使用 Baker–Campbell–Hausby 公式），但本文利用 权重分次（weight-graded） 结构将其精炼为适用于任意交换环的情况。在这种设定下，阻碍类被识别为 Kaledin 类的截断，使得该理论即使在阶乘不可逆的情况下，只要满足特定的权重条件，仍能正常运作。

5. 下降与着色扩展：
   该理论被扩展以证明规范等价在忠实平坦标量扩张下是下降的（descends）。此外，该框架被适配到 着色算子（colored operads）（群组类着色），从而扩大了研究范围，使其涵盖了关于群组类模的端同态算子。

关键贡献与结果

1. 规范等价的阻碍序列 (第 1 节)

• 定理 1.11： 确立了两个 Maurer–Cartan 元的规范等价度是无穷大，当且仅当它们模 $F^k\mathfrak{g}$ 均为规范等价。
• 定理 1.13 & 1.17： 提供了规范等价度暗示实际规范等价的充分条件。具体而言，如果 dg 李代数是 有界的 或 权重分次的（且扭转代数的同调在相应处消失），则无穷大的阻碍序列保证了规范等价。
• 定理 1.19 (等价下降)： 证明对于忠实平坦扩张 $R \to S$，两个 Maurer–Cartan 元在 $R$ 上是规范等价的，当且仅当它们在 $S$ 上是规范等价的。

2. 同伦等价的阻碍序列 (第 2 节)

• 定理 2.24： 将阻碍理论应用于 $\Omega C$-代数（余棒构造 $\Omega C$ 上的代数）。它指出，两个此类代数是同伦等价的（模过滤度）当且仅当其转移结构的规范等价度是无穷大。
• 定理 2.29： 将下降性质扩展到适当算子（properads）上的代数的同伦等价。
• 定理 2.40 & 2.48： 通过利用权重分次结构，将理论推广到任意系数环（不仅限于 $\mathbb{Q}$-代数）。它将 规范平凡度（gauge triviality degree） 与截断 Kaledin 类的消失联系起来，为正特征情形下的 规范形式性（gauge formality） 提供了判据。
• 对球面的应用 (合作研究 [ET26])： 该框架被用于证明 pre-Calabi–Yau 代数 $C_*(\Omega S^n; \mathbb{Q})$ 是本质形式的（intrinsically formal），这意味着它由其同调结构在同伦意义下唯一确定，并保持庞卡莱对偶性。

3. 高连通簇的极小模型 (第 3 节)

• 定理 3.5 & 3.6： 本文应用阻碍理论扩展了 Zhou 和 Miller 关于高连通流形及簇的形式性研究结果。
  • 它证明了对于紧致 $k$-连通流形 $M$，若维度 $d < (\ell+1)k + 2$（其中 $\ell \geq 3$），则其奇异上链代数 $C^*_{sing}(M; K)$ 具有 深度 $\ell-1$。这意味着它同伦等价于一个严格幺半的 $A_\infty$-代数，其运算在算子元数 $p \geq \ell$ 时消失。
  • 这一结果被推广到光滑本原簇（smooth proper varieties）的 étale 上链（定理 3.6），其工作环境是在 $\ell$ 和 $\ell+1$ 可逆的域上。
  • 证明过程利用阻碍序列展示了高阶运算（对于 $p \geq \ell$ 的 $\phi_p$）由于度数限制和庞卡莱对偶性而消失，从而有效地构造了极小模型。

意义与主张

本文声称提供了一个关于完全 dg 李代数中规范等价的 完整阻碍理论，这为研究代数结构的同伦等价提供了一个统一的框架。

• Kaledin 类的推广： 这项工作成功地将检测形式性（同伦等价的一个特例）推广到了检测任意结构之间的同伦等价，并通过规范等价度量化了它们之间的“距离”。
• 任意系数： 通过针对权重分次代数精炼理论，本文消除了对特征零的严格依赖，使得这些阻碍技术可以应用于正特征及一般交换环。
• 几何后果： 该理论被证明是推导具体几何结果的强大工具。具体而言，它为建立高连通簇（包括奇异上链和 étale 上链）具有截断运算的极小模型的存在性提供了严密的机制，并将经典的格式性结果推广到了更广泛的系数环。

作者强调，尽管阻碍序列是归纳性的且依赖于选择（规范选择），但所得的 规范等价度 是一对结构的内秉不变量，为它们的同伦关系提供了精确的度量。