[论文解读] The L_\infty-deformation complex of diagrams of algebras

Yaël Frégier, Martin Markl+1 more|ArXiv.org|Dec 16, 2008

Advanced Topics in Algebra参考文献 51被引用 4

一句话总结

该论文通过在极小模型上的图替换，构建了彩色 PROPs 上代数图的形变复形上的显式 $L_∞$-代数结构。主要贡献在于为所有 $L_∞$-运算提供了显式公式，包括在相互逆态射情况下出现的非平凡 $l_0$-项，并证明形变复形通过量子主方程控制形变。

ABSTRACT

The deformation complex of an algebra over a colored PROP P is defined in terms of a minimal (or, more generally, cofibrant) model of P. It is shown that it carries the structure of an L_\infty-algebra which induces a graded Lie bracket on cohomology. As an example, the L_\infty-algebra structure on the deformation complex of an associative algebra morphism g, with the underlying cochain complex isomorphic to the Gerstenhaber-Schack complex of g, is constructed. Another example is the deformation complex of a Lie algebra morphism. The last example is the diagram describing two mutually inverse morphisms of vector spaces. Its L_\infty-deformation complex has a nontrivial constant term. Explicit formulas for the L_\infty-operations in the above examples are given. A typical deformation complex of a diagram of algebras is a fully-fledged L_\infty-algebra with nontrivial higher operations.

研究动机与目标

• 通过极小模型定义彩色 PROPs 上代数的形变复形。
• 通过图替换在该复形上构造显式的 $L_\infty$-代数结构。
• 在关键例子中，包括结合代数和李代数态射，提供所有 $L_\infty$-运算的显式公式。
• 分析相互逆态射的情况，此时 $L_\infty$-结构包含非平凡的 $l_0$-项。
• 证明形变复形满足量子主方程并控制形变。

提出的方法

• 使用彩色 PROPs $\mathsf{P}$ 的极小模型 $\alpha: (\mathsf{F}(E),\partial) \to \mathsf{P}$ 定义形变复形 $C^*_{\mathsf{P}}(T;T) = \operatorname{Der}(\mathsf{F}(E), \mathcal{E})$，其中 $\mathcal{E} = \operatorname{End}_T$ 通过 $\beta = \rho\alpha$ 确定。
• 赋予复形一个微分 $\delta$，将 $\theta \in \operatorname{Der}(\mathsf{F}(E), \mathcal{E})$ 映射为 $\theta \partial$。
• 通过在解析 $\mathsf{F}(E)$ 上使用极小模型结构，利用图替换构造 $L_\infty$-运算 $l_k$。
• 将该构造应用于特定彩色 PROPs：$\mathbf{As}_{\texttt{B}\to\texttt{W}}$ 表示结合代数态射，$\mathbf{Lie}_{\texttt{B}\to\texttt{W}}$ 表示李代数态射，$\mathbf{Iso}$ 表示相互逆态射。
• 显式计算 $l_0$、$l_1$、$l_2$，并证明在 $\mathbf{Iso}$ 情况下所有 $l_k = 0$（$k \geq 3$）。
• 验证 $l_1^2 = 0$，并确认 Maurer-Cartan 方程包含 $l_0$-项，从而确认与形变理论的一致性。

实验结果

研究问题

• RQ1 如何在彩色 PROPs 上代数图的形变复形上构造 $L_\infty$-代数结构？
• RQ2 结合代数态射的 $L_\infty$-运算 $l_k$ 的显式形式是什么？
• RQ3 李代数态射的形变复形是否携带非平凡的 $L_\infty$-结构？如果是，其运算形式如何？
• RQ4 一对相互逆态射的形变复形上的 $L_\infty$-结构是否可能包含非平凡的 $l_0$-项？
• RQ5 该 $L_\infty$-结构如何与形变理论中的量子主方程和 Maurer-Cartan 方程相关联？

主要发现

• 彩色 PROPs $\mathsf{P}$ 上 $\mathsf{P}$-代数 $T$ 的形变复形 $C^*_{\mathsf{P}}(T;T)$ 通过在极小模型上的图替换，自然地携带一个 $L_\infty$-代数结构。
• 对于结合代数态射，其底层上链复形同构于 Gerstenhaber-Schack 复形，且所有 $L_\infty$-运算 $l_k$（$k=1,2$ 及 $k\geq 3$）均显式计算得出。
• 对于李代数态射，第一个 $L_\infty$-运算 $l_1$ 给出一个同构于 S-上同调复形的复形，解决了文献 [9] 中的一个开放问题。
• 在相互逆态射（$\mathbf{Iso}$-代数）的情况下，$L_\infty$-结构包含一个非平凡的 $l_0$-项，其在度数 2 上等于 $\operatorname{Id}_U \oplus \operatorname{Id}_V$。
• $L_\infty$-运算 $l_1$ 和 $l_2$ 显式给出：$l_1$ 作为带符号规则的偏导数（符号规则依赖于度数奇偶性），$l_2$ 由复合与超交换子公式给出。
• 在 $\mathbf{Iso}$ 情况下，所有高阶运算 $l_k$（$k \geq 3$）为零，且由于 $l_2(l_0, w) = 0$，有 $l_1^2 = 0$ 成立，从而确保标准形变理论框架适用。