[论文解读] Differential modules with $\infty$-simplicial faces and $A_\infty$-algebras

С. В. Лапин|arXiv (Cornell University)|Sep 6, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 4

一句话总结

本文通过彩色 Koszul 对偶性引入具有 ∞-单纯形面的微分模，建立了其同伦不变性，并将其与 Aₙ-代数联系起来。关键结果是：任意 Aₙ-代数的 B-构造作为微分余代数，同构于其具有 ∞-单纯形面的张量微分模的链实现，通过链层模型统一了同伦论与代数结构。

ABSTRACT

In the present paper, by using the colored version of the Koszul duality, the concept of a differential module with $\infty$-simplicial faces is introduced. The homotopy invariance of the structure of a differential module with $\infty$-simplicial faces is proved. The relationships between differential modules with $\infty$-simplicial faces and $A_\infty$-algebras are established. The notion of a chain realization of a differential module with $\infty$-simplicial faces and the concept of a tensor product of differential modules with $\infty$-simplicial faces are introduced. It is proved that for an arbitrary $A_\infty$-algebra the chain realization of the tensor differential module with $\infty$-simplicial faces, which corresponds to this $A_\infty$-algebra, and the $B$-construction of this $A_\infty$-algebra are isomorphic differential coalgebras.

研究动机与目标

• 将 Koszul 对偶性推广至彩色二次代数与余代数。
• 定义并研究作为彩色余代数上微分李模的具有 ∞-单纯形面的微分模。
• 在链层水平上建立 B-构造与具有 ∞-单纯形面的张量微分模的链实现之间的同构。
• 通过 B-构造将 Aₙ-代数与 Eₙ-余代数结构及 Steenrod 运算联系起来。
• 利用 ∞-单纯形面结构为 Aₙ-代数提供一个同伦不变的框架。

提出的方法

• 使用彩色 Koszul 对偶理论，定义单纯形面的彩色二次代数的 co-∞-单纯形余代数对偶。
• 将具有 ∞-单纯形面的微分模定义为对偶彩色余代数 (F^!, ∇) 上的微分李模，或等价地，作为对偶 B-构造上的模。
• 通过与 B-构造的典范同构，将具有 ∞-单纯形面的微分模的链实现定义为微分余代数。
• 使用分次模的彩色张量积构造具有 ∞-单纯形面的微分模的张量积。
• 对 Aₙ-代数应用标准 B-构造，并证明其与相应 ∞-单纯形模的链实现同构。
• 使用涉及次数与 Koszul 符号的符号约定，确保微分与共乘法的相容性。

实验结果

研究问题

• RQ1 如何通过 Koszul 对偶性将 ∞-单纯形面的概念推广至彩色代数与余代数？
• RQ2 具有 ∞-单纯形面的微分模的同伦不变性结构是什么？它与同伦单纯形面有何关系？
• RQ3 Aₙ-代数的 B-构造是否同构于其关联张量微分模的 ∞-单纯形面的链实现？
• RQ4 Aₙ-代数的 B-构造能否被解释为具有 ∞-单纯形面的微分模的链层模型？
• RQ5 ∞-单纯形面结构在通过 Eₙ-余代数结构实现上同调上的 Steenrod 运算中起什么作用？

主要发现

• 任意 Aₙ-代数关联的具有 ∞-单纯形面的张量微分模的链实现，作为微分余代数，同构于该 Aₙ-代数的 B-构造。
• Aₙ-代数的 B-构造通过链实现继承 Eₙ-余代数结构，意味着其上同调上存在满足 Adem 关系与 Cartan 公式之 Steenrod 运算。
• B-构造的微分余代数结构自然地作为 ∞-单纯形面模的链实现而出现，从而建立了典范同构。
• 证明了 ∞-单纯形面结构的同伦不变性，确保其在底层 Aₙ-代数的同伦等价下保持稳定。
• 对于微分结合代数（即 A₁-代数），B-构造与早期文献中定义的经典 B-构造一致，验证了其一致性。
• 共乘法公式中的符号约定与标准 Koszul 符号规则一致，确保与微分及分次模结构的相容性。