ANTIFIELD ANTIBRACKET FORMULATION OF THE ANTI-BRST TRANSFORMATION

The antifield-antibracket implementation of the anti-BRST transformati on is given for an arbitrary irreducible gauge invariant action. As in the Hamiltonian case, this is done by duplicating the gauge symmetrie s and by constructing directly the sum of the BRST and anti-BRST trans formations. The gauge fixing process is then derived along the lines o f the standard antifield-antibracket formalism. This establishes the e quivalence of both formulations in a straightforward way. A brief disc ussion of the reducible case is reported at the end.