[论文解读] Operads up to Homotopy and Deformations of Operad Maps

van der Laan, P I Pepijn|arXiv (Cornell University)|Aug 6, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 24

一句话总结

本论文通过在集合 $A[-1]$ 上的余自由余配代数上赋予微分，构建了一个控制 $Q \to P$ 这类配代数映射形变的 $L_∞$-代数，其中 $A$ 是一个运算集合。无论选择何种胞状解析，该构造均给出一个同调等价的 $L_\infty$-代数，从而统一了 Markl 的余切上同调与 Balavoine 及 Kontsevich–Soibelman 对 $Q$-代数形变理论的研究。

ABSTRACT

From the `cofree' cooperad $T'(A[-1])$ on a collection $A$ together with a differential, we construct an $L_\infty$-algebra structure on the total space $\bigoplus_nA(n)$ that descends to coinvariants. We use this construction to define an $L_\infty$-algebra controlling deformations of the operad $P$ under $Q$ from a cofibrant resolution for an operad $Q$, and an operad map $Q\longrightarrow P$. Starting from a diffent cofibrant resolution one obtains a quasi isomorohic $L_\infty$-algebra. This approach unifies Markl's cotangent cohomology of operads and the approaches to deformation of $Q$-algebras by Balavoine, and Kontsevich and Soibelman.

研究动机与目标

• 定义一个针对配代数映射 $Q \to P$ 的形变理论，其中 $Q$ 是一个配代数，$P$ 是一个 $Q$-代数。
• 统一现有对 $Q$-代数形变的研究方法，包括 Markl、Balavoine 和 Kontsevich–Soibelman 的理论。
• 通过在集合 $A$ 上的余自由余配代数 $T'(A[-1])$ 上赋予微分，构造一个控制此类形变的 $L_\infty$-代数。
• 证明所得到的 $L_\infty$-代数在同调等价意义下是良定义的，且不依赖于胞状解析的选择。

提出的方法

• 从一个集合 $A$ 出发，构造其在移位集合 $A[-1]$ 上的余自由余配代数 $T'(A[-1])$。
• 在 $T'(A[-1])$ 上赋予微分，从而在总空间 $\bigoplus_n A(n)$ 上定义一个 $L_\infty$-代数结构。
• 确保该 $L_\infty$-代数结构能下降到余不变量上，同时保持同伦信息。
• 利用所得的 $L_\infty$-代数来控制配代数映射 $Q \to P$ 的形变。
• 证明不同选择的胞状解析会给出同调等价的 $L_\infty$-代数。
• 通过该框架建立 Markl 的余切上同调与 Balavoine 及 Kontsevich–Soibelman 的 $Q$-代数形变理论之间的统一。

实验结果

研究问题

• RQ1 如何利用同伦代数方法为配代数映射 $Q \to P$ 构造形变理论？
• RQ2 余自由余配代数 $T'(A[-1])$ 搭配微分在定义控制此类形变的 $L_\infty$-代数中起到什么作用？
• RQ3 选择不同的胞状解析如何影响所得的 $L_\infty$-代数结构？
• RQ4 该构造在何种意义上统一了 Markl 的余切上同调与 Balavoine 及 Kontsevich–Soibelman 的形变理论？
• RQ5 能否使控制配代数映射形变的 $L_\infty$-代数在同调等价意义下与解析选择无关？

主要发现

• 从余自由余配代数 $T'(A[-1])$ 上的微分构造出 $\bigoplus_n A(n)$ 上的 $L_\infty$-代数结构，且该结构能下降到余不变量上。
• 当 $Q$ 被胞状解析时，该 $L_\infty$-代数控制了配代数映射 $Q \to P$ 的形变。
• 不同的胞状解析会产生同调等价的 $L_\infty$-代数，从而保证了形变复形的同伦不变性。
• 该构造推广并统一了 Markl 的余切上同调与 Balavoine 及 Kontsevich–Soibelman 对 $Q$-代数的形变理论。
• 该框架为配代数映射的形变提供了一个统一的同伦模型，适用于配代数理论中的多种情境。
• 该方法在配代数同伦理论与 $L_\infty$-代数形变理论之间建立了系统性的联系。