[论文解读] A universal enveloping for L-infinity algebras

Vladimir Baranovsky|ArXiv.org|Jun 11, 2007

Algebraic structures and combinatorial models参考文献 7被引用 6

一句话总结

本文为任意 $L_\infty$-代数 $L$ 构造了对称余代数 $\mathrm{Sym}^*_c(sL)$ 上的 $A_\infty$-代数结构，推广了经典的普遍包络代数。通过同调微扰理论及与排列多面体和杨表相关的收缩同伦，建立了 $C(L)$ 与普遍包络代数 $U(L)$ 之间的导出等价性，并证明了 $U(L)$ 上的 $A_\infty$-模与 $L$ 上的 $L_\infty$-模之间的等价性。该构造在严格同态下是函子性的，并赋予其同伦霍普夫代数结构。

ABSTRACT

For any L-infinity algebra L, we construct an A-infinity structure on the space of symmetric tensors Sym*(L), which generalizes the classical universal enveloping for Lie algebras. Our construction is based on an invariant homotopy on a cobar construction of the symmetric coalgebra, which is obtained through its relation with permutahedra and Young tableaux.

研究动机与目标

• 将经典普遍包络代数构造从李代数推广至 $L_\infty$-代数。
• 为与 $L_\infty$-代数 $L$ 关联的对称余代数 $\mathrm{Sym}^*_c(sL)$ 定义自然的 $A_\infty$-代数结构。
• 建立 Cartan-Chevalley-Eilenberg 余代数 $C(L)$ 与普遍包络代数 $U(L)$ 之间的导出等价性，推广 BGG 对应关系。
• 证明 $U(L)$ 上的 $A_\infty$-模与 $L$ 上的 $L_\infty$-模之间的范畴等价性，将经典表示理论推广至同伦设定。

提出的方法

• 以 cobar 构造 $\Omega C(L)$ 为起点，已知其对微分分次李代数可拟同构映射至 $U(L)$。
• 应用同调微扰理论，对 $\Omega \mathrm{Sym}^*_c(sL)$ 上的微分进行扰动，从而在 $\mathrm{Sym}^*_c(sL)$ 上诱导出 $A_\infty$-结构。
• 通过 $V^{\bigotimes n} \otimes_{k[\Sigma_n]} C_*(P_n)$ 建立 $\Omega \mathrm{Sym}^*_c(sV)$ 与涉及对称群群上同调及排列多面体 $P_n$ 的胞腔同调的复形之间的拟同构。
• 通过与半标准杨表及排列多面体的组合学关系，构造了 $\Omega \mathrm{Sym}^*_c(sV)$ 上的函子性（但非典范）收缩同伦。
• 利用扭曲链复条件定义模结构，并推导张量积 $N \otimes_\tau A$ 与 $M \otimes_\tau C$，确保其在 $A_\infty$ 与 $L_\infty$ 设定下的微分相容性。
• 应用扰动引理，将 $A_\infty$-结构从 $\Omega \mathrm{Sym}^*_c(sL)$ 转移到 $\mathrm{Sym}^*_c(sL)$，确保所得结构满足广义普遍包络性质。

实验结果

研究问题

• RQ1 能否以保持关键代数与同调性质的方式，将经典李代数普遍包络代数构造推广至 $L_\infty$-代数？
• RQ2 是否存在对称余代数 $\mathrm{Sym}^*_c(sL)$ 上自然的 $A_\infty$-代数结构，使其推广 $L_\infty$-代数的普遍包络代数？
• RQ3 构造的普遍包络代数 $U(L)$ 上的 $A_\infty$-模的导出范畴是否与 $L$ 上的 $L_\infty$-模的导出范畴对应？
• RQ4 能否以函子性且 $GL(V)$-不变的方式构造 $\Omega \mathrm{Sym}^*_c(sV)$ 的收缩同伦，特别是在零度上？
• RQ5 所构造的普遍包络代数 $U(L)$ 的操作子与霍普夫代数性质为何？它是否携带同伦霍普夫代数结构？

主要发现

• 本文为任意 $L_\infty$-代数 $L$ 构造了 $\mathrm{Sym}^*_c(sL}$ 上的典范 $A_\infty$-代数结构，推广了经典普遍包络代数。
• 建立了复形的同构：$\Omega \mathrm{Sym}^*_c(sV) \simeq k \oplus \bigoplus_{n \geq 1} \left( V^{\otimes n} \otimes_{k[\Sigma_n]} C_*(P_n) \right)$，将 cobar 构造与排列多面体同调联系起来。
• 在 $\Omega \mathrm{Sym}^*_c(sL)$ 上构造了函子性且 $GL(L)$-不变的收缩同伦，使得可通过同调微扰理论将 $A_\infty$-结构转移到 $\mathrm{Sym}^*_c(sL)$。
• 所构造的普遍包络代数 $U(L)$ 满足 $C(L)$ 与 $U(L)$ 之间的导出等价性，推广了 BGG 对应关系。
• 证明了 $U(L)$ 上的 $A_\infty$-模与 $L$ 上的 $L_\infty$-模之间的范畴等价性，将经典表示理论推广至 $L_\infty$-设定。
• 表明普遍包络代数 $U(L)$ 是同伦霍普夫代数，尽管其操作子解释尚不明确。