[论文解读] String Topology: Background and Present State

Dennis Sullivan|ArXiv.org|Oct 22, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 50被引用 17

一句话总结

本文在定向流形的自由环路空间上建立了二维场论，利用等变链复与主方程 $dX + X * X = 0$ 定义了量子李双代数结构。该构造源于黎曼曲面的紧化模空间，实现了弦拓扑运算的链复水平推广，并在同伦意义下解决了对合恒等式。

ABSTRACT

The data of a "2D field theory with a closed string compactification" is an equivariant chain level action of a cell decomposition of the union of all moduli spaces of punctured Riemann surfaces with each component compactified as a pseudomanifold with boundary. The axioms on the data are contained in the following assumptions. It is assumed the punctures are labeled and divided into nonempty sets of inputs and outputs. The inputs are marked by a tangent direction and the outputs are weighted by nonnegative real numbers adding to unity. It is assumed the gluing of inputs to outputs lands on the pseudomanifold boundary of the cell decomposition and the entire pseudomanifold boundary is decomposed into pieces by all such factorings. It is further assumed that the action is equivariant with respect to the toroidal action of rotating the markings. A main result of compactified string topology is the Theorem (closed strings): Each oriented smooth manifold has a 2D field theory with a closed string compactification on the equivariant chains of its free loop space mod constant loops. The sum over all surface types of the top pseudomanifold chain yields a chain X satisfying the master equation dX + X*X = 0 where * is the sum over all gluings. This structure is well defined up to homotopy. The genus zero parts yields an infinity Lie bialgebra on the equivariant chains of the free loop space mod constant loops. The higher genus terms provide further elements of algebraic structure called a "quantum Lie bialgebra" partially resolving the involutive identity. There is also a compactified discussion and a Theorem 2 for open strings as the first step to a more complete theory. We note a second step for knots.

研究动机与目标

• 通过自由环路空间上的等变链复，形式化闭弦紧化下的二维场论。
• 将经典弦拓扑运算（环路乘积、括号、余括号）推广至链复水平，并保证同伦一致性。
• 在链复构造中，通过首次同伦将李双代数结构中的对合恒等式解决。
• 通过模空间紧化与粘合操作，统一弦拓扑中的几何、代数与同伦视角。
• 通过同伦理论中的解析技术，为开弦拓扑及辛拓扑应用提供基础。

提出的方法

• 对带 puncture 的黎曼曲面模空间构造胞腔分解，紧化为带边界的伪流形。
• 通过标记输入（带切向方向）与加权输出（总和为1）定义等变链复水平作用。
• 沿伪流形边界实施粘合操作，通过因子分解确保涵盖所有余维一的层。
• 使用庞加莱对偶上闭链定义链复水平的弥散交积，推广经典交积。
• 提出主方程 $dX + X * X = 0$，其中 $X$ 为所有曲面类型之最高维链的和，$*$ 表示粘合。
• 应用 $E_inity$ 与 $L_inity$ 结构的同伦理论，将代数恒等式（如雅可比、余雅可比、对合）在同伦意义下解决。

实验结果

研究问题

• RQ1 如何将同调中的经典环路乘积与括号提升为具有完全同伦一致性的链复结构？
• RQ2 对所有紧化黎曼曲面模空间的最高维链之和，会涌现出何种代数结构？
• RQ3 在链复构造中，李双代数结构中的对合恒等式如何通过首次同伦解决？
• RQ4 主方程 $dX + X * X = 0$ 以何种方式编码闭弦的完整二维场论？
• RQ5 该框架如何通过微分几何代数与库兰希型模型的解析，推广至开弦与辛拓扑？

主要发现

• 主方程的亏格零部分在自由环路空间（模常值环路）的等变链复上定义了 $L_inity$ 双代数结构。
• 包含高亏格贡献的完整结构定义了一个‘量子李双代数’，在首次同伦意义下解决了对合恒等式。
• 主方程 $dX + X * X = 0$ 在同伦意义下定义良好，并控制环路空间上整个二维场论。
• 链复水平的环路乘积具有无限重链同伦交换性与结合性，实现 $E_inity$ 结构。
• 余括号与余雅可比关系在链复水平上通过显式链同伦实现，确保同伦一致性。
• 该框架通过自由三角形微分几何代数实现代数结构的解析，且同伦等价保持主方程结构包。