[论文解读] Noether's variational theorem II and the BV formalism

Ron Fulp, Tom Lada+1 more|ArXiv.org|Apr 7, 2002

Black Holes and Theoretical Physics参考文献 5被引用 21

一句话总结

本文通过展示BV复形中的反ghosts如何编码由规范对称性产生的诺特定恒等式，建立了诺特第二变分定理与巴塔林-维利科夫斯基（BV）形式化之间的直接联系。以卡塔内奥-费尔德er泊松σ模型为具体实例，证明了BV作用量中的高阶项对应于$L_\infty$-代数结构的分量，将完整的BV微分分解为柯尔祖尔-泰特（Koszul-Tate）与契尔科夫-艾连伯格（Chevalley-Eilenberg）部分，并表明通过反括号结构，总作用量满足量子主方程。

ABSTRACT

We review the basics of the Lagrangian approach to field theory and recast Noether's Second Theorem formulated in her language of dependencies using a slight modernization of terminology and notation. We then present the Cattaneo-Felder sigma model and work out the Noether identities or dependencies for this model. We review the description of the Batalin-Vilkovisky formalism and show explicitly how the anti-ghosts encode the Noether identities in this example.

研究动机与目标

• 在巴塔林-维利科夫斯基（BV）形式化背景下，重新强调诺特第二变分定理的重要性。
• 阐明BV复形中的反ghosts如何对应于由规范对称性产生的诺特恒等式。
• 通过卡塔内奥-费尔德er泊松σ模型，明确展示BV微分如何分解为柯尔祖尔-泰特与契尔科夫-艾连伯格分量。
• 表明BV作用量中的高阶项源于反括号结构，并对平方为零的总微分有所贡献。
• 将BV微分的结构与该模型中的$L_\infty$-代数数据联系起来。

提出的方法

• 以卡塔内奥-费尔德er泊松σ模型作为具体物理系统，分析其对称性与诺特恒等式。
• 应用诺特第二定理，从规范对称性推导出欧拉-拉格朗日方程之间的微分关系（即诺特恒等式）。
• 通过引入与场和对称性分别对偶的反场与反ghosts，构造BV作用量$S_{BV}$。
• 将BV微分$\delta$分解为两部分：$d_{CE}$（契尔科夫-艾连伯格部分）对应规范对称性，$d_{KT}$（柯尔祖尔-泰特部分）对应诺特恒等式。
• 引入高阶项$S^i$（例如$S^2 = -\frac{1}{4}\int \eta^{+i}\wedge\eta^{+j}\partial_i\partial_j\alpha^{kl}\gamma_k\gamma_l$），以确保$\delta^2 = 0$。
• 利用巴塔林-维利科夫斯基反括号闭合微分复形，并满足量子主方程$(S_{BV}, S_{BV}) = 0$。

实验结果

研究问题

• RQ1 BV形式化中的反ghosts如何对应于由规范对称性导出的诺特恒等式？
• RQ2 BV作用量中的高阶项$S^i$起什么作用？它们如何与$L_\infty$-代数结构相关联？
• RQ3 在具体模型中，如何将完整的BV微分分解为$d_{CE}$与$d_{KT}$分量？
• RQ4 反括号结构以何种方式确保总微分满足$\delta^2 = 0$？
• RQ5 BV微分$\delta$中的各项分别源自$S^i$、$d_{CE}$或$d_{KT}$的哪一部分？

主要发现

• BV形式化中的反ghosts直接编码了由规范对称性产生的诺特恒等式，如柯尔祖尔-泰特解析所示。
• 项$S^2 = -\frac{1}{4}\int \eta^{+i}\wedge\eta^{+j}\partial_i\partial_j\alpha^{kl}\gamma_k\gamma_l$是确保总BV微分平方为零所必需的。
• 完整BV作用量$S_{BV}$满足量子主方程$(S_{BV}, S_{BV}) = 0$，这是由于反括号结构以及相关度数下$d_{KT}$同调消失的结果。
• BV微分$\delta$可分解为：$\delta X^i$源自$S^1$，$\delta \eta^{+i}$的前两项源自$S^0$，第三项源自$S^1$，更高阶项源自$S^2$。
• $\delta \gamma^{+i}$的中间项源自$S^2$，而第一、二、四项源自$d_{KT}$，第五项源自$d_{CE}$。
• $\delta X^{+}_i$中的五项分别源自$S^i$，其中$i = 0,1,1,0,2,1$，并明确指出了各项在$d_{KT}$、$d_{CE}$或两者之外的来源。