[论文解读] Higher Derived Brackets for Arbitrary Derivations

Theodore Voronov|arXiv (Cornell University)|Dec 9, 2004

Advanced Topics in Algebra参考文献 11被引用 39

一句话总结

本文引入并研究了在李超代数 $L = K \oplus V$ 上由任意导子 $D$ 生成的高阶导出括号，其中 $V$ 是一个阿贝尔子代数。研究证明，这些括号的雅可比器由 $D^2$ 生成，推广了关于内导子的早期结果，并通过锥与余柱上的 $L_{\infty}$-代数将该构造与同伦代数联系起来。

ABSTRACT

We introduce and study a construction of higher derived brackets generated by a (not necessarily inner) derivation of a Lie superalgebra. Higher derived brackets generated by an element of a Lie superalgebra were introduced in our earlier work. Examples of higher derived brackets naturally appear in geometry and mathematical physics. From a totally different viewpoint, we show that higher derived brackets arise when one wants to turn the inclusion map of a subalgebra of a differential Lie superalgebra, with a given complementary subalgebra, into a fibration. (For a non-Abelian complementary subalgebra, this leads to a generalization of $L_{\infty}$-algebras with dropped or weakened (anti)symmetry of the brackets.)

研究动机与目标

• 将高阶导出括号的构造从内导子推广到李超代数上的任意导子。
• 通过链复形中的锥与余柱，为高阶导出括号提供同伦代数的解释。
• 探索当 $V$ 不一定是阿贝尔时，高阶导出括号的代数结构，从而导出广义的 $L_\infty$-代数。
• 阐明导子 $D$ 在通过迭代伴随作用与投影在 $V$ 上生成多重线性运算中的作用。

提出的方法

• 通过公式 $\{a_1,\dots,a_k\}_D := P[[\cdots[D a_1, a_2], \dots], a_k]$ 定义 $V$ 上的第 $k$ 个高阶导出括号，其中 $P$ 是沿 $K$ 投影到 $V$ 的投影。
• 利用分解 $L = K \oplus V$ 且 $V$ 为阿贝尔的条件，确保定义良好，并允许构造对称括号。
• 证明 $k$-元导出括号的雅可比器等于由 $D^2$ 生成的 $(k+1)$-阶导出括号，推广了内导子的情形。
• 通过将 $\Pi L \oplus V$ 视为余柱，构建同伦理论解释，表明导出括号自然地源于保持扩展代数结构的微分。
• 建立同态 $\operatorname{Der}L \to \operatorname{Vect}V$，将每个导子 $D$ 映射到 $V$ 上的一族多重线性运算，从而在 $\operatorname{Der}L$ 上广义化 $L_\infty$-代数。
• 放松 $V$ 的阿贝尔性条件，研究非对称高阶导出括号，从而导出一类具有李代数背景的新代数结构。

实验结果

研究问题

• RQ1 当由任意导子 $D$ 生成而非仅内导子时，高阶导出括号的行为如何？
• RQ2 由奇导子 $D$ 生成的高阶导出括号的雅可比器具有何种代数结构？
• RQ3 高阶导出括号能否在同伦代数框架下解释，特别是通过锥或余柱？
• RQ4 当子代数 $V$ 不再为阿贝尔时，对称性与雅可比型恒等式会发生什么变化？
• RQ5 高阶导出括号的构造与导子李超代数 $\operatorname{Der}L$ 有何关系？

主要发现

• 由奇导子 $D$ 生成的高阶导出括号的雅可比器等于由 $D^2$ 生成的高阶导出括号，推广了内导子情形的结果。
• 当 $D^2 = 0$ 时，$\Pi L \oplus V$ 上的导出括号使该空间成为一个 $L_\infty$-代数，从而提供了同伦代数的解释。
• 该构造定义了一个同态 $\operatorname{Der}L \to \operatorname{Vect}V$，将每个导子 $D$ 映射到 $V$ 上的一族多重线性运算，这些运算满足类似于 $\operatorname{Der}L$ 中的关系。
• 导出括号满足广义对称性恒等式：$\{a_1,\dots,a_i,a_{i+1},\dots,a_k\}_D - (-1)^{\tilde{a}_i\tilde{a}_{i+1}}\{a_1,\dots,a_{i+1},a_i,\dots,a_k\}_D = \{a_1,\dots,[a_i,a_{i+1}],\dots,a_k\}_D$。
• 当 $V$ 不是阿贝尔时，高阶导出括号不一定是对称的，从而导出一类具有李代数背景的新广义 $L_\infty$-代数。
• 同调代数中的标准柱与余柱构造为将导出括号解释为 $\Pi L \oplus V$ 上微分的产物提供了拓扑框架。