[论文解读] A homotopy BV algebra for Yang-Mills and color-kinematics

Michael Reiterer|arXiv (Cornell University)|Dec 6, 2019

Advanced Topics in Algebra参考文献 10被引用 10

一句话总结

本文为闵可夫斯基时空上的杨-米尔斯理论构造了一个形变的同伦巴蒂林-维利科夫斯基（BV-infinity）代数结构，该结构由闵可夫斯基波动算子形变，从而蕴含树幅值的伯恩-卡拉斯科-乔萨诺（BCJ）色-动量对偶性。通过该结构的cobar构造，推导出一个严格代数，其费曼展开自然满足BCJ对偶性，从而提供了一套代数编码的、形式化的动量代数结构，以支撑该对偶性。

ABSTRACT

Yang-Mills gauge theory on Minkowski space supports a Batalin-Vilkovisky-infinity algebra structure, all whose operations are local. To make this work, the axioms for a BV-infinity algebra are deformed by a quadratic element, here the Minkowski wave operator. This homotopy structure implies BCJ/color-kinematics duality; a cobar construction yields a strict algebraic structure whose Feynman expansion for Yang-Mills tree amplitudes complies with the duality. It comes with a `syntactic kinematic algebra'.

研究动机与目标

• 为闵可夫斯基时空上的杨-米尔斯理论建立一个包含局域性与波动算子形变的巴蒂林-维利科夫斯基-infinity代数结构。
• 证明该结构蕴含树幅值的伯恩-卡拉斯科-乔萨诺（BCJ）关系。
• 通过cobar构造构建一个严格代数，其费曼展开满足BCJ/色-动量对偶性。
• 引入一种‘形式化动量代数’，以代数方式编码对偶关系。
• 证明由同伦算子 $ h $ 构建的同伦结构满足高阶雅可比恒等式（模同伦），并显式给出同伦映射 $ \theta_3 $ 与 $ T_n $。

提出的方法

• 从闵可夫斯基时空上的微分形式构造一个微分分次交换代数（dgca）$ \mathfrak{a} $，其分次为0至4，使用外微分与对自对偶2-形式的投影。
• 引入一个同伦算子 $ h $，满足 $ h^2 = 0 $ 且 $ dh + hd = \Box \mathbbm{1} $，其中 $ \Box $ 为闵可夫斯基波动算子，从而形变BV-infinity公理。
• 构造三元运算 $ S(x,y,z) = h(xyz) - \text{循环项} $，用于度量 $ h $ 偏导性失效的程度，并证明其通过满足格子对称、$ C^{ty} $-线性且平移不变的同伦 $ \theta_3 $ 而为恰当形式。
• 将构造推广至 $ n $-元运算 $ S_n $，使用内线标记为 $ h_{\sharp} $ 且仅含一个 $ h $ 的平面三叉树，符号由分次交换性决定。
• 通过cobar构造生成一个与同伦结构拟同构的严格代数，其费曼展开产生满足BCJ对偶性的振幅。
• 通过显式同伦 $ T_n $ 证明诱导同调映射 $ H^1(\mathfrak{a}_w)^{\otimes n} \to H^2(\mathfrak{a}_w) $ 为零，从而在同调层面证明对偶性成立。

实验结果

研究问题

• RQ1 能否为闵可夫斯基时空上的杨-米尔斯理论构造一个同伦BV-infinity代数结构，使其通过波动算子形变标准BV公理？
• RQ2 该形变的同伦结构是否蕴含树幅值的伯恩-卡拉斯科-乔萨诺（BCJ）关系？
• RQ3 该结构的cobar构造能否生成一个严格代数，其费曼展开自然满足BCJ/色-动量对偶性？
• RQ4 同伦算子 $ h $ 及其相关三元运算 $ S $ 在编码动量雅可比恒等式中起何作用？
• RQ5 由带 $ h_{\sharp} $ 与 $ h $ 的平面三叉树构建的高阶运算 $ S_n $ 如何确保同调上振幅映射的消失？

主要发现

• 本文为闵可夫斯基时空上的杨-米尔斯理论构造了一个同伦BV-infinity代数，所有运算均为局域的，且由闵可夫斯基波动算子 $ \Box $ 形变。
• 三元运算 $ S $（度量 $ h $ 偏导性失效程度）通过格子对称同伦 $ \theta_3 $ 证明为恰当形式，满足 $ S = d\theta_3 + \text{边界项} $。
• BCJ关系作为同伦结构的推论被导出，具体体现为诱导映射 $ H^1(\mathfrak{a}_w)^{\otimes n} \to H^2(\mathfrak{a}_w) $ 的消失。
• 同伦代数的cobar构造产生一个严格代数，其费曼展开生成的杨-米尔斯树幅值满足BCJ对偶性。
• 对偶性的动量结构被形式化为一种源自cobar构造的‘形式化动量代数’。
• 通过 $ S_n $ 将构造推广至 $ n $-点振幅，其定义为内线标记为 $ h_{\sharp} $ 且仅含一个 $ h $ 的平面三叉树之和，同伦 $ T_n $ 证明了对偶性所要求的同调消失性。