[论文解读] BV Yang-Mills as a Homotopy Chern-Simons via SFT

Anton M. Zeitlin|ArXiv.org|Sep 10, 2007

Black Holes and Theoretical Physics参考文献 33被引用 8

一句话总结

本文表明，通过从开弦场论（SFT）导出的代数结构，Batalin-Vilkovisky（BV）杨-米尔斯理论作为Chern-Simons理论的同伦推广而自然出现。通过在SFT的BRST子复形上构造一个同伦李代数，作者推导出一个具有三重和四重线性运算的高阶Chern-Simons型作用量，证明BV杨-米尔斯作用量可自然地从该框架中通过分次反对称配对和边界CFT中的算符乘积展开（OPE）运算得出。

ABSTRACT

We show explicitly how BV Yang-Mills action emerges as a homotopy generalization of Chern-Simons theory from the algebraic constructions arising from String Field Theory.

研究动机与目标

• 在开弦场论的BRST子复形上建立同伦李代数结构，以适用于杨-米尔斯场。
• 将Batalin-Vilkovisky（BV）杨-米尔斯作用量重新表述为具有多重线性运算的高阶Chern-Simons型作用量。
• 在该同伦代数框架内，将杨-米尔斯方程导出为广义Maurer-Cartan方程。
• 通过边界CFT中的算符乘积展开（OPE）将BV杨-米尔斯的代数结构与开弦场论联系起来。
• 证明BV杨-米尔斯作用量等价于具有三重和四重线性分次反对称运算的同伦Chern-Simons作用量。

提出的方法

• 从开SFT构造一个分次BRST子复形 $\mathcal{F}_{\mathfrak{g}} = \mathcal{F} \otimes \mathfrak{g}$，其中 $\mathfrak{g}$ 是一个半单李代数。
• 在 $\mathcal{F}_{\mathfrak{g}}$ 上定义双线性和三线性分次反对称运算 $[\cdot,\cdot]_h$、$[\cdot,\cdot,\cdot]_h$，使其满足与BRST算子 $Q$ 相容的同伦李代数（L∞）关系。
• 引入一个配对 $\langle \cdot, \cdot \rangle$，并为 $n=3,4$ 定义更高阶多重线性运算 $\{\cdot,\dots,\cdot\}_h = \langle [\cdot,\dots,\cdot]_h, \cdot \rangle$。
• 构造同伦Chern-Simons作用量 $S_{HCS} = -\frac{1}{2}\langle \Phi, Q\Phi \rangle - \frac{1}{3!}\{\Phi,\Phi,\Phi\}_h - \frac{1}{4!}\{\Phi,\Phi,\Phi,\Phi\}_h$，其中 $\Phi$ 编码了反场、规范场和反场内容。
• 从上半平面边界CFT中的OPE推导出该作用量，将代数结构与弦场论振幅联系起来。
• 通过显式计算和不变形式 $(\cdot,\cdot)_K$ 的对称性性质，证明所得作用量与标准BV杨-米尔斯作用量（7）等价。

实验结果

研究问题

• RQ1 如何利用同伦李代数结构将Batalin-Vilkovisky杨-米尔斯作用量重新表述为高阶Chern-Simons型作用量？
• RQ2 在开弦场论的背景下，多重线性运算 $[\cdot,\cdot,\cdot]_h$ 和 $[\cdot,\cdot,\cdot,\cdot]_h$ 的代数起源是什么？
• RQ3 从同伦李代数导出的广义Maurer-Cartan方程如何重现完整的杨-米尔斯方程？
• RQ4 边界CFT中的算符乘积展开（OPE）在生成同伦代数的高阶运算中起什么作用？
• RQ5 BV杨-米尔斯作用量如何作为具有三重和四重线性项的同伦Chern-Simons作用量的一个特例出现？

主要发现

• 显式证明了BV杨-米尔斯作用量（7）与同伦Chern-Simons作用量（8）等价，后者由BRST子复形上的分次反对称多重线性运算构造而成。
• 杨-米尔斯方程作为广义Maurer-Cartan方程 $Q\phi_{\mathbf{A}} + \frac{1}{2}[\phi_{\mathbf{A}},\phi_{\mathbf{A}}]_h + \frac{1}{3!}[\phi_{\mathbf{A}},\phi_{\mathbf{A}},\phi_{\mathbf{A}}]_h = 0$ 出现，其中 $\phi_{\mathbf{A}}$ 编码了规范场及其反场/反场内容。
• 三重线性运算 $[\cdot,\cdot,\cdot]_h$ 来源于边界CFT中的OPE，其显式形式为 $\{\mathbf{A},\mathbf{B},\mathbf{C}\}(x) = 2[A_\mu, \partial^\mu B_\nu] + \text{循环项}$，确保了规范不变性。
• 四重线性运算 $[\cdot,\cdot,\cdot,\cdot]_h$ 通过配对 $\{a,b,c,d\}_h = \langle [a,b,c]_h, d \rangle$ 构造，其分次反对称性通过Killing形式 $(\cdot,\cdot)_K$ 的不变性得以证明。
• 同伦李代数关系（如广义雅可比恒等式）通过代数方法验证，非平凡情形源于 $\mathfrak{g}$ 中的雅可比恒等式，且在 $\mathcal{F}^2_{\mathfrak{g}}$ 上更高阶运算的消失性。
• 作用量（8）在展开后可重现完整的BV杨-米尔斯作用量（7），其中反场和反场项被正确编码于态 $\Phi = (\omega - i c_1 A_\mu a_\mu^{-1} - c_0 \partial_\mu A^\mu + \cdots)|0\rangle$ 中。