Off-shell double copy theories in BV

技术摘要：BV 框架下的离壳双拷贝理论

问题陈述
双拷贝构造通过颜色-运动学对偶（color-kinematics duality）从规范场论构建块生成引力散射振幅，这在在壳（on-shell）情形下已得到充分验证。然而，将这种对偶性扩展到离壳（off-shell）以构建局部引力理论的拉格朗日量仍然具有挑战性。虽然离壳颜色-运动学对偶在特定理论（如 Chern-Simons、4d BF 和 2d Yang-Mills）中已知源于运动学李代数，但目前仍缺乏一个系统性的框架来构建 BV（Batalin-Vilkovisky）形式下的离壳双拷贝作用量。此外，这些生成的双拷贝作用量的几何解释（特别是它们与 Kodaira-Spencer 引力等理论的关系）仍需形式化。

方法论
作者利用 BV 形式构造了表现出离壳颜色-运动学对偶的规范理论的双拷贝作用量。其核心方法论依赖于识别由二阶算子 $D^\dagger$ 生成的运动学李代数，该算子作用于微分分次李代数（dgLa）的场。

1. 运动学代数构造： 作者识别出一个运动学李代数 $K = \text{Im}(D^\dagger)$，其中括号由二阶算子 $D^\dagger$ 定义。该算子满足 $(D^\dagger)^2 = 0$ 且具有二阶性质（广义莱布尼茨法则），从而确保诱导出的括号满足雅可比恒等式。
2. BV 作用量公式化： 他们构造了一个形式为如下形式的 BV 作用量：
   $$S = \frac{1}{2}\langle A, DA \rangle + \frac{1}{6}\langle A, \{A, A\} \rangle$$
   其中 $A$ 是超场，$D$ 是微分算子，$\{A, A\} = D^\dagger(A^2) - D^\dagger(A)A - (-1)^{|A|}AD^\dagger(A)$ 是限制在 $D^\dagger$ 像空间上的括号。配对 $\langle \cdot, \cdot \rangle$ 是与算子相容的不变辛形式。
3. 通过维度加倍实现双拷贝： 为了构造双拷贝，作者使时空坐标（或奇变量）加倍，引入第二组算子 $(\bar{D}, \bar{D}^\dagger)$。双拷贝作用量构建在具有两组奇变量的空间上，该空间满足类似于广义 Kähler 恒等式的结构，即 $[D, \bar{D}^\dagger] = \square$（拉普拉斯算子）。
4. 规范固定与局部性： 该构造涉及规范固定条件（例如 $A \in \text{Im}(D^\dagger)$）。作者证明，虽然一般形式往往产生非局部作用量（由于存在逆拉普拉斯算子 $\square^{-1}$），但特定的运动学代数选择（特别是 4d BF 和 2d YM 理论）允许通过代数方式求解规范固定约束，从而得到局部作用量。

主要贡献与结果

• CS 双拷贝的 BV 公式化： 作者为 Chern-Simons (CS) 理论的双拷贝提供了完整的 BV 公式化。他们表明，先前提出的规范固定作用量（见文献 [9]）是该 BV 构造的规范固定版本。该双拷贝的物理场被识别为平坦度规的形变，其满足的方程等价于保持固定体积形式的平坦度规形变的 Maurer-Cartan 方程。
• 形式 CS 与 4d BF 理论： 该构造被推广到形式 CS 理论并应用于 4d BF 理论。一个重要的发现是，4d BF 理论拥有一个由 $\lambda$ 参数化的一参数族运动学代数。
  • 对于 $\lambda = 0$，双拷贝产生一个类似于 CS 双拷贝的非局部作用量。
  • 对于 $\lambda \neq 0$，规范固定条件可以通过代数方式求解，从而产生一个局部双拷贝作用量。该局部作用量类似于一个变形的 BF 理论，其中一个无穷维运动学代数作用于时空本身。
• 2d Yang-Mills 双拷贝： 作者构造了 2d Yang-Mills 理论的双拷贝，其结果是一个类似于变形 BF 理论的局部作用量。物理扇区涉及被解释为一形式和零形式的场，以及一个由规范固定算子导出的特定李括号结构。
• Kodaira-Spencer 与 Kähler 引力： 本文证明了 Kodaira-Spencer (KS) 引力和 Kähler 引力自然地融入了这一 BV 双拷贝框架。
  • KS 引力： KS 引力（描述复结构的形变）的 BV 作用量被证明是该通用双拷贝构造的一个特例。作者将其扩展到广义复结构以及更高维度（如 8D），并需要额外的奇变量以维持积分测度的正确双度（bi-degree）。
  • Kähler 引力： 利用满足所需代数关系的算子组合（$\partial, \bar{\partial}, \partial^\dagger, \bar{\partial}^\dagger$）构造了一个 6D Kähler 引力理论。
• 对偶 BRST 对称性： 这些规范固定双拷贝作用量的一个结构性特征是出现了两个反交换的 BRST 对称性。这是因为规范固定后的作用量可以被视为对两个不同的 BV 理论（一个由 $D^\dagger$ 定义，另一个由 $\bar{D}^\dagger$ 定义）施加不同规范固定条件的结果。作者指出，这种对偶 BRST 结构可能是离壳双拷贝理论的一个定义性属性。

意义与主张
本文声称在 BV 框架内形式化了离壳双拷贝理论的构造，提供了一个统一的代数描述，涵盖了 Chern-Simons、BF 和 Yang-Mills 理论。通过将这些构造与 Kodaira-Spencer 引力和广义复结构形变联系起来，这项工作为超越标准散射振幅的双拷贝提供了潜在的几何解释。

作者谦虚地指出，虽然该框架成功地为特定理论（特别是涉及 4d BF 或 2d YM 从而产生局部作用量的理论）生成了作用量，但在一般情况下往往会产生非局部作用量。他们强调了 4d BF 理论中发现的不同运动学代数（$\lambda=0$ 与 $\lambda \neq 0$ 的情况）之间的关系仍是一个开放问题，并推测它们可能通过非局部场重定义相关联。此外，他们承认，在没有离壳颜色-运动学对偶（即不存在二阶 $D^\dagger$）的情况下构造双拷贝仍然是一个挑战，因为目前的形式高度依赖于此类算子的存在来定义运动学李括号。