The Batalin–Vilkovisky (BV) formalism is a useful framework to study gauge theories.\ud We summarize a simple procedure to find a a gauge–fixed action in this\ud language and a way to obtain one–loop anomalies. Calculations involving the antifields\ud can be greatly simplified by using a theorem on the antibracket cohomology.\ud The latter is based on properties of a ‘Koszul–Tate differential’, namely its acyclicity\ud and nilpotency. We present a new proof for this acyclicity, respecting locality and\ud covariance of the theory. This theorem then implies that consistent higher ghost\ud terms in various expressions exist, and it avoids tedious calculations.\ud This is illustrated in chiral W3 gravity. We compute the one–loop anomaly without\ud terms of negative ghost number. Then the mentioned theorem and the consistency\ud condition imply that the full anomaly is determined up to local counterterms. Finally\ud we show how to implement background charges into the BV language in order\ud to cancel the anomaly with the appropriate counterterms. Again we use the theorem\ud to simplify the calculations, which agree with previous results
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.