[论文解读] Higher Derived Brackets and Deformation Theory I

Füsun Akman, Lucian M. Ionescu|ArXiv.org|Apr 26, 2005

Geometric and Algebraic Topology参考文献 14被引用 8

一句话总结

本文建立了高阶微分算子三种定义的等价性，并通过微分graded代数上奇平方零导子的余上同调构造，提出了sh-Lie代数的余上同调构造。关键贡献是一个通用框架，将导出括号构造从阿贝尔子代数推广至非阿贝尔情形，适用于微分顶点算子代数，并在上同调上诱导出$L_\infty$-结构。

ABSTRACT

The existing constructions of derived Lie and sh-Lie brackets involve multilinear maps that are used to define higher order differential operators. In this paper, we prove the equivalence of three different definitions of higher order operators. We then introduce a unifying theme for building derived brackets and show that two prevalent derived Lie bracket constructions are equivalent. Two basic methods of constructing derived strict sh-Lie brackets are also shown to be essentially the same. So far, each of these derived brackets is defined on an abelian subalgebra of a Lie algebra. We describe, as an alternative, a cohomological construction of derived sh-Lie brackets. Namely, we prove that a differential algebra with a graded homotopy commutative and associative product and an odd, square-zero operator (that commutes with the differential) gives rise to an sh-Lie structure on the cohomology via derived brackets. The method is in particular applicable to differential vertex operator algebras.

研究动机与目标

• 统一并证明在交换结合代数上，三种不同高阶微分算子定义的等价性。
• 在微分graded代数的上同调上，建立构造sh-Lie（或$L_\infty$）代数的余上同调框架。
• 通过上同调，将导出括号构造从阿贝尔子代数推广至非阿贝尔情形，解决先前方法的局限性。
• 展示该构造在微分顶点算子代数和拓扑顶点算子代数上的适用性。
• 证明当上同调中乘法为交换且结合时，上同调上的导出括号构造能产生一致的$L_\infty$-结构。

提出的方法

• 通过归纳法和多重线性映射的代数恒等式，证明三种高阶微分算子定义的等价性。
• 利用单位元左预-Lie代数的自同态代数分解为左乘映射的李子代数与补空间。
• 通过公式$[da, b]$定义导出括号，其中$d$为导子，并证明Kosmann-Schwarzbach与Voronov构造之间的等价性。
• 通过递归公式$\Phi^{r+1}(a_1,\dots,a_{r+1}) = \Phi^{r}(a_1,\dots,a_r a_{r+1}) - \Phi^{r}(a_1,\dots,a_r)a_{r+1} \pm a_r \Phi^{r}(a_1,\dots,a_{r-1},a_{r+1})$构造导出括号$\Phi^{r}_{\Delta}$。
• 验证导出括号保持微分$Q$的核与像，确保其在上同调$H(V,Q)$上定义良好。
• 将该构造应用于具有奇平方零导子$\Delta$且与微分$Q$可交换的微分顶点算子代数，从而在上同调上诱导出$L_\infty$-结构。

实验结果

研究问题

• RQ1 在交换结合代数上，三种标准高阶微分算子定义是否等价？
• RQ2 能否通过上同调将导出括号构造从阿贝尔子代数推广至非阿贝尔情形？
• RQ3 在具有奇平方零导子$\Delta$的微分代数上，何时能诱导出其上同调上的$L_\infty$-结构？
• RQ4 当应用于同一代数结构时，Kosmann-Schwarzbach与Voronov的导出括号构造有何关系？
• RQ5 微分VOA的上同调在通过导出括号实现$L_\infty$-代数中起何作用？

主要发现

• 通过等价性定理，证明了基于多重线性映射、迭代导子和莱布尼茨法则的三种高阶微分算子定义是等价的。
• 通过改变底层代数结构，证明了Kosmann-Schwarzbach与Voronov的导出括号构造是等价的。
• 余上同调导出括号定理表明：若$Q$为奇平方零导子，$\Delta$为与$Q$可交换的奇平方零算子，则$\Phi^{r}_{\Delta}$在$H(V,Q)$上诱导出$L_\infty$-结构。
• 导出括号$\Phi^{r}_{\Delta}$能下降为上同调上的良好定义运算，因其保持$\ker(Q)$与$\operatorname{im}(Q)$，该结论通过归纳法证明。
• 在具有权为零的奇平方零导子$\Delta$且满足$\Delta \mathbf{1} = 0$的微分顶点算子代数情形下，该构造在上同调上诱导出$L_\infty$-结构。
• 若$\Delta$为顶点算子的模式$v_k$且$k \geq 1$，则所有满足$n > k+1$的$n$元括号为零，从而给出一个有限生成的$L_\infty$-结构。