Finite BRST-antiBRST Transformations in Lagrangian Formalism

Understand

We continue the study of finite BRST-antiBRST transformations for general gauge theories in Lagrangian formalism initiated in [arXiv:1405.0790[hep-th]], with a doublet $\lambda_{a}$, $a=1,2$, of anticommuting Grassmann parameters, and find an explicit Jacobian corresponding to this change of variables for constant $\lambda_{a}$.

• This makes it possible to derive the Ward identities and their consequences for the generating functional of Green's functions.
• We announce the form of the Jacobian [proved to be correct in [arXiv:1406.5086[hep-th]] for finite field-dependent BRST-antiBRST transformations with functionally-dependent parameters, $\lambda_{a}% =s_{a}\Lambda$, induced by a finite even-valued functional $\Lambda(\phi ,\pi,\lambda)$ and by the generators $s_{a}$ of BRST-antiBRST transformations acting in the space of fields $\phi$, antifields $\phi_{a}^{\ast}$, $\bar {\phi}$ and auxiliary variables $\pi^{a},\lambda$.
• On the basis of this Jacobian, we solve a compensation equation for $\Lambda$, which is used to achieve a precise change of the gauge-fixing functional for an arbitrary gauge theory.