[Paper Review] Noether's variational theorem II and the BV formalism

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

Black Holes and Theoretical Physics5 references21 citations

TL;DR

This paper establishes a direct link between Noether's second variational theorem and the Batalin-Vilkovisky (BV) formalism by showing how anti-ghosts in the BV complex encode Noether identities arising from gauge symmetries. Using the Cattaneo-Felder Poisson sigma model as a concrete example, it demonstrates that higher-order terms in the BV action correspond to components of an $L_∞$-algebra structure, with the full BV differential decomposed into Koszul-Tate and Chevalley-Eilenberg parts, and shows how the total action satisfies the quantum master equation via the anti-bracket.

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.

Motivation & Objective

• To restore emphasis on Noether’s second variational theorem in the context of the Batalin-Vilkovisky (BV) formalism.
• To clarify how the anti-ghosts in the BV complex correspond to Noether identities arising from gauge symmetries.
• To demonstrate explicitly, via the Cattaneo-Felder Poisson sigma model, how the BV differential decomposes into Koszul-Tate and Chevalley-Eilenberg components.
• To show that higher-order terms in the BV action arise from the anti-bracket and contribute to a total differential of square zero.
• To connect the structure of the BV differential to $L_\infty$-algebraic data in the model.

Proposed method

• Use the Cattaneo-Felder Poisson sigma model as a concrete physical system to analyze symmetries and Noether identities.
• Apply Noether’s second theorem to derive differential relations (Noether identities) among Euler-Lagrange equations from gauge symmetries.
• Construct the BV action $S_{BV}$ by introducing anti-fields and anti-ghosts dual to fields and symmetries, respectively.
• Decompose the BV differential $\delta$ into components: $d_{CE}$ (Chevalley-Eilenberg) for gauge symmetries and $d_{KT}$ (Koszul-Tate) for Noether identities.
• Introduce higher-order terms $S^i$ (e.g., $S^2 = -\frac{1}{4}\int \eta^{+i}\wedge\eta^{+j}\partial_i\partial_j\alpha^{kl}\gamma_k\gamma_l$) to ensure $\delta^2 = 0$.
• Use the Batalin-Vilkovisky anti-bracket to close the differential complex and satisfy the quantum master equation $(S_{BV}, S_{BV}) = 0$.

Experimental results

Research questions

• RQ1 How do the anti-ghosts in the BV formalism correspond to the Noether identities derived from gauge symmetries?
• RQ2 What is the role of higher-order terms $S^i$ in the BV action, and how do they relate to the $L_\infty$-algebra structure?
• RQ3 How can the full BV differential be decomposed into $d_{CE}$ and $d_{KT}$ components in a concrete model?
• RQ4 In what way does the anti-bracket structure ensure the total differential satisfies $\delta^2 = 0$?
• RQ5 How do individual terms in the BV differential $\delta$ originate from $S^i$, $d_{CE}$, or $d_{KT}$?

Key findings

• The anti-ghosts in the BV formalism directly encode the Noether identities arising from gauge symmetries, as shown via the Koszul-Tate resolution.
• The term $S^2 = -\frac{1}{4}\int \eta^{+i}\wedge\eta^{+j}\partial_i\partial_j\alpha^{kl}\gamma_k\gamma_l$ is necessary to ensure the total BV differential has square zero.
• The full BV action $S_{BV}$ satisfies the quantum master equation $(S_{BV}, S_{BV}) = 0$ due to the anti-bracket structure and the vanishing of $d_{KT}$ homology in relevant degrees.
• The BV differential $\delta$ decomposes into components: $\delta X^i$ arises from $S^1$, $\delta \eta^{+i}$'s first two terms from $S^0$, and the third from $S^1$, with higher terms from $S^2$.
• The term $\delta \gamma^{+i}$'s middle term originates from $S^2$, while the first, second, and fourth terms come from $d_{KT}$, and the fifth from $d_{CE}$.
• The five terms in $\delta X^{+}_i$ are sourced from $S^i$ with $i = 0,1,1,0,2,1$, and their origins in $d_{KT}$, $d_{CE}$, or neither are explicitly identified.