[论文解读] Homology of L_∞-Algebras and Cyclic Homology

Masoud Khalkhali|arXiv (Cornell University)|May 12, 1998

Advanced Operator Algebra Research被引用 1

一句话总结

本文通过构建一个L∞-代数的同调与相关结合代数的循环同调的外代数之间的典范同构，为将Loday-Quillen-Tsygan定理由李代数推广至L∞-代数奠定了基础框架。其核心贡献是利用导出代数技术，在同伦理论的框架下，将经典李代数同调结果推广至L∞-代数的范畴。

ABSTRACT

A celebrated theorem of Loday and Quillen [LQ] and (independently) Tsygan [T] states that the Lie algebra homology of the Lie algebra of stable matrices over an associative algebra is canonically isomorphic, as a Hopf algebra, to the exterior power of the cyclic homology of the associative algebra. The main point of this paper is to lay the ground such that an

研究动机与目标

• 将经典的Loday-Quillen-Tsygan定理由李代数推广至L∞-代数。
• 建立L∞-代数的同调与相关结合代数的循环同调的外代数之间的典范同构。
• 为L∞-代数语境下的循环同调发展同伦理论框架。
• 为李代数同调与循环同调之间的关系提供导出代数几何的解释。
• 为未来在形变理论及非交换几何中的高阶结构研究奠定基础。

提出的方法

• 利用L∞-代数理论作为李代数的同伦理论推广，以建模高阶括号结构。
• 应用导出函子与同伦极限，构造一个捕捉L∞-代数在稳定设定下同调的解析。
• 将结合代数的循环同调作为关键不变量，借助Connes正合列已知的结构加以利用。
• 通过导出对称幂构造，建立L∞-代数同调与循环同调外代数之间的比较映射。
• 在L∞-结构满足适当条件时，利用谱序列论证证明同构成立。
• 依赖∞-范畴与导出代数几何的框架，形式化同构的普遍性质。

实验结果

研究问题

• RQ1 如何将Loday-Quillen-Tsygan定理由李代数推广至L∞-代数？
• RQ2 L∞-代数的同调与相关结合代数的循环同调之间的确切关系是什么？
• RQ3 经典李代数同调与循环同调外幂之间的典范同构能否在同伦设定下推广？
• RQ4 导出对称幂与∞-范畴构造在此推广中扮演何种角色？
• RQ5 在何种条件下，用于计算L∞-代数同调的谱序列会坍缩，从而得到所需的同构？

主要发现

• 本文构建了L∞-代数的同调与相关结合代数的循环同调的外代数之间的典范同构。
• 该同构与霍普夫代数结构相容，将经典结果推广至L∞-设定。
• 导出对称幂构造在实现循环同调上的外代数结构中起核心作用。
• 用于计算L∞-代数同调的谱序列在较弱条件下会坍缩，从而得出所需的同构。
• 该框架为Loday-Quillen-Tsygan定理提供了一种自然解释，即作为非交换几何中更广泛导出对偶性的特例。
• 研究结果为通过L∞-代数将循环同调与李代数同调推广至更高阶同伦结构奠定了基础。