ANTIFIELD ANTIBRACKET FORMULATION OF THE ANTI-BRST TRANSFORMATION

The antifield-antibracket implementation of the anti-BRST transformation is given for an arbitrary irreducible gauge invariant action. As in the Hamiltonian case, this is done by duplicating the gauge symmetries and by constructing directly the sum of the BRST and anti-BRST transformations. The gauge fixing process is then derived along the lines of the standard antifield-antibracket formalism. This establishes the equivalence of both formulations in a straightforward way. A brief discussion of the reducible case is reported at the end.