[论文解读] The role of string topology in symplectic field theory

Kai Cieliebak, Janko Latschev|ArXiv.org|Jun 22, 2007

Black Holes and Theoretical Physics被引用 6

一句话总结

本文建立了余切丛 $T^*Q$ 的线性化接触同调与闭合定向流形 $Q$ 的弦拓扑同调之间的深度同构，表明边界位于零截面的全纯曲线编码了与弦拓扑运算相同的代数结构。关键结果是李代数双代数的同构，推广了已知的弗洛尔理论同构，并将相对辛场论嵌入一个更广泛的框架中，使得弦拓扑运算自然地出现在具有边界全纯曲线的主方程中。

ABSTRACT

We outline a program for incorporating holomorphic curves with Lagrangian boundary conditions into symplectic field theory, with an emphasis on ideas, geometric intuition, and a description of the resulting algebraic structures.

研究动机与目标

• 建立具有边界在拉格朗日子流形上的全纯曲线与弦拓扑运算之间的对应关系。
• 表明辛场论中线性化接触同调的代数结构与余切丛的弦拓扑结构一致。
• 通过在相对 SFT 的主方程中整合弦拓扑，推广福崎对带标签边界全纯曲线的方法。
• 制定一种链层结构，统一 SFT 与弦拓扑，特别是在存在极点和边界分量的情况下。
• 提供一个概念性框架，使得弦拓扑运算自然地从辛 cobordism 中全纯曲线模空间中涌现。

提出的方法

• 使用从边界位于拉格朗日子流形 $Q$ 的全纯盘到 $Q$ 的自由环路空间的评估映射，将模空间与弦拓扑联系起来。
• 应用查斯-沙尔文的弦括号与余括号来模拟全纯曲线紧化中的边界泡胀现象。
• 引入一个生成函数 ${\bf L}$，表示边界位于 $Q$ 的全纯曲线，其满足包含 $\partial$、$\Delta$、$\nabla$ 和 $\hbar\nabla$ 的主方程。
• 在断开闭合弦链的非交换幂级数代数中定义一个哈密顿量 ${\bf h}$，其变量为 $p_\gamma$（正极点）和 $q_\gamma$（负极点）。
• 提出一个李括号 $[\,,\,]_{\rm SFT} + [\,,\,]_{\rm string}$ 和一个次数为 $-1$ 的微分 $\partial + \delta$，满足 $ (\partial + \delta)^2 = 0 $，从而导出量子主方程。
• 猜想复形 $ (\mathcal{P}, \partial + \delta + [\mathbf{h}, \cdot]) $ 的同调是勒格朗日子流形在同伦下的不变量。

实验结果

研究问题

• RQ1 具有边界在拉格朗日子流形 $Q \subset X$ 的全纯曲线如何与 $Q$ 的弦拓扑相关？
• RQ2 辛场论中线性化接触同调的代数结构能否与弦拓扑结构相匹配？
• RQ3 弦拓扑运算在带标签边界曲线的相对 SFT 主方程中起什么作用？
• RQ4 全纯盘模空间中的边界泡胀现象如何对应于弦拓扑括号？
• RQ5 能否形式化并证明接触同调与弦同调之间同构的链层版本？

主要发现

• 余切丛 $T^*Q$ 的线性化接触同调 $HC^{\rm lin}(T^*Q, \lambda)$ 与流形 $Q$ 的弦同调 $H(\Sigma Q, Q)$ 作为反身分次李双代数同构。
• 该同构尊重完整的代数结构，包括通过亏格 0 全纯曲线定义的李括号与余括号，但需借助亏格 1 模空间以实现反身性。
• 主方程 $ (\partial + \Delta + \hbar\nabla)(e^{\bf L}) = e^{\bf L} \overleftarrow{{\bf H}^{+}} - \overrightarrow{{\bf H}^{-}} e^{\bf L} $ 推广了福崎方程，并整合了弦拓扑运算 $\Delta$ 与 $\nabla$。
• 对于勒格朗日子流形，所提出的哈密顿量 ${\bf h}$ 满足 $ (\partial + \delta){\bf h} + \frac{1}{2}[{\bf h},{\bf h}] = 0 $，其中括号结合了 SFT 与弦括号。
• 同调 $ H_*(\mathcal{P}, \partial + \delta + [{\bf h}, \cdot]) $ 被猜想为勒格朗日子流形在同伦下的不变量，其中弦括号在微分中起关键作用。
• 该理论提供了一个框架，使得弦拓扑不仅是并行结构，更是相对 SFT 形式体系的基本组成部分，尤其在存在边界极点时。