[论文解读] $L_\infty$ and $A_\infty$ structures: then and now

Jim Stasheff|arXiv (Cornell University)|Sep 4, 2018

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

一句话总结

本文提供了对 $A_\infty$ 和 $L_\infty$-结构在过去55年中发展的个人化、回顾性概述，追溯其在同伦理论、代数拓扑和数学物理中的起源。文章强调了Sugawara、Moore和Tamari等人的基础性贡献，同时突出高阶同伦代数的演变、其在形变理论、弦场论中的作用，以及循环与导出结构的出现，重点在于概念性洞见和被忽视的结果。

ABSTRACT

Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them. From the history of $A_\infty$-structures and later of $L_\infty$ -structures and their progeny, I hope to highlight some old results which seem not to have garnered the attention they deserve as well as some tantalizing new connections.

研究动机与目标

• 提供对过去五十年中 $A_\infty$ 和 $L_\infty$-结构发展的历史与概念性回顾。
• 突出高阶同伦代数理论中虽基础但未受足够重视的结果。
• 探讨高阶代数结构与其在几何、拓扑和数学物理中应用之间的相互作用。
• 反思这些结构从拓扑起源到形变理论和弦场论中现代表述的演变过程。
• 强调操作代数、导出括号和循环结构在统一看似不同的数学与物理领域中的作用。

提出的方法

• 追溯Sugawara（1957年）关于纤维丛与同伦结合性早期工作的 $A_\infty$-空间与代数的发展历程。
• 描述关联多面体（Stasheff多面体）作为高阶结合性约束的几何实现，最初由Tamari构造。
• 应用操作代数与彩色操作代数（如瑞士奶酪操作代数）的框架，对开-闭同伦代数（OCHAs）进行建模。
• 利用微分分次余代数上的余导子，统一地刻画 $A_\infty$-、$L_\infty$-和OCHA-结构。
• 探讨内积与循环性在 $A_\infty$-和 $L_\infty$-代数中的应用，将其与弦场论中的作用泛函联系起来。
• 分析在散射振幅计算中出现的多面体（如幅体与正格拉斯曼流形），并将其与关联多面体联系起来。

实验结果

研究问题

• RQ1 $A_\infty$-空间的概念如何从环路空间与纤维丛的早期工作演化而来？
• RQ2 Tamari的关联多面体在形式化高阶结合性中的意义是什么？
• RQ3 $L_\infty$-代数如何在形变理论与有理同伦论中出现？
• RQ4 循环 $A_\infty$-和 $L_\infty$-代数在弦场论与BV形式化中以何种方式浮现？
• RQ5 瑞士奶酪操作代数在统一同伦代数中开弦与闭弦结构方面起什么作用？

主要发现

• Sugawara于1957年的研究首次提出了空间为环路空间所需的无限序列同伦条件，早于 $A_\infty$-结构的正式化。
• 关联多面体 $K_n$ 最初由Tamari于1951年构造，后成为 $A_\infty$-结构的几何基础，尽管Stasheff后来通过参数化映射重新诠释了它。
• 纤维序列中 $XP(3)$ 的存在等价于同伦结合性，推广了经典射影几何。
• 循环 $A_\infty$-代数由Kontsevich与Penkava形式化，其根源在于弦场论及作用泛函中对循环对称性的需求。
• 瑞士奶酪操作代数为开-闭同伦代数（OCHAs）提供了彩色操作代数框架，用于建模开弦与闭弦的相互作用。
• 规范理论中的散射振幅与幅体（amplituhedron）相关，后者是动量空间中关联多面体的推广，暗示了量子场论中深层的几何结构。