[论文解读] Closed string field theory, strong homotopy Lie algebras and the operad actions of moduli space

Jim Stasheff|ArXiv.org|Apr 15, 1993

Algebraic structures and combinatorial models参考文献 21被引用 24

一句话总结

本文建立了闭弦场论、强同伦李代数（L∞-代数）以及黎曼曲面模空间操作子作用之间的深刻联系。它表明，弦场相互作用的代数结构由强同伦李代数控制，高阶运算自然源自模空间的拓扑，并通过结合对偶结合操作子的余构造编码。关键贡献在于识别出上同调上的Batalin-Vilkovisky（BV）代数结构是这一底层L∞-代数的表现形式，其中高阶同伦关系源自弦图和紧化模空间的几何结构。

ABSTRACT

This is an expanded and updated version of a talk given at the Conference on Topics in Geometry and Physics at the University of Southern California, November 6, 1992. It is a survey talk, aimed at mathematicians AND physicists, which attempts to bring together the topics in the title without assuming much background in any of them. Closed string field theory leads to a (strong homotopy) generalization of Lie algebra, which is strongly related to the way the moduli spaces $\Cal M_{0,N+1}$ fit together as an ``operad''. The latter in turn plays an important role in the understanding of vertex operator algebras.

研究动机与目标

• 将闭弦场论的代数结构与强同伦李代数（L∞-代数）统一起来。
• 阐明操作子及其对偶在编码弦相互作用高阶同伦关系中的作用。
• 展示上同调上的Batalin-Vilkovisky（BV）代数结构如何源自对偶结合操作子的余构造上的严格代数。
• 将弦场论中的高阶运算解释为带 punctures 的黎曼曲面模空间拓扑的结果。
• 通过区分物理与数学应用语境下“同伦李代数”与“强同伦李代数”的术语，解决术语歧义问题。

提出的方法

• 使用结合操作子对偶的余构造来建模弦场论底层的强同伦李代数结构。
• 应用巴尔与余构造的伴随关系，将余操作子与操作子关联，特别是在 Hinich-Schechtman 同构到李操作子的语境下。
• 通过在参数化弦构型（如“裤”图）上积分，构造弦场上的卷积积，得到一个分次交换但非结合的乘积。
• 通过同调微扰理论（HPT）分析乘积的代数关系，表明高阶括号如何从链复形结构中涌现。
• 将带 punctures 的零亏格黎曼曲面模空间的紧化与根树联系起来，其层由此类树的同构类索引。
• 证明BV算子对应于强同伦李代数中的导子，完整结构由方程 $\{V,V\} = 0$ 编码。

实验结果

研究问题

• RQ1 如何使用强同伦李代数而非严格李代数来描述闭弦场论的代数结构？
• RQ2 弦场论中相互作用顶点的精确操作子结构是什么？它与黎曼曲面模空间有何关联？
• RQ3 弦场论中的高阶同伦运算如何从配置空间与紧化模空间的拓扑中产生？
• RQ4 在何种意义上，上同调上的Batalin-Vilkovisky（BV）代数结构是底层L∞-代数结构的结果？
• RQ5 余构造在弦场论中实现结合型与李型结构对偶性方面起什么作用？

主要发现

• 弦场的卷积积满足分次雅可比恒等式，但仅在高阶同伦意义下成立，表明其底层存在强同伦李代数（L∞-代数）结构。
• 弦场代数中的高阶运算由结合操作子对偶的余构造编码，将代数拓扑与弦场论联系起来。
• 带 punctures 的零亏格黎曼曲面模空间的紧化由根树分层，为弦相互作用的操作子结构提供了组合模型。
• 上同调上的Batalin-Vilkovisky（BV）代数源于对偶结合操作子余构造上的严格代数，其中BV算子对应于满足 $\{V,V\} = 0$ 的导子。
• 同调微扰理论（HPT）提供了一种机制，即使在微分 $d_1 = 0$ 的情况下，也能通过选择分裂与收缩同伦，将高阶运算从链复形提升到上同调。
• 术语“强同伦李代数”与“同伦李代数”被明确区分，以澄清前者包含所有高阶同伦，而不仅仅是第一阶雅可比子。