Under suitable assumptions on the boundary conditions, it is shown that there is a bijective correspondence between equivalence classes of asymptotic reducibility parameters and asymptotically conserved n − 2 forms in the context of Lagrangian gauge theories. The asymptotic reducibility parameters can be interpreted as asymptotic Killing vector fields of the background, with asymptotic behaviour determined by a new dynamical condition. A universal formula for asymptotically conserved n − 2 forms in terms of the reducibility parameters is derived. Sufficient conditions for finiteness of the charges built out of the asymptotically conserved n − 2 forms and for the existence of a Lie algebra g among equivalence classes of asymptotic reducibility parameters are given. The representation of g in terms of the charges may be centrally extended. An explicit and covariant formula for the central charges is constructed. They are shown to be 2-cocycles on the Lie algebra g. The general considerations and formulas are applied to electrodynamics, Yang-Mills theory and Einstein gravity.

The general solution of the anomaly consistency condition (Wess-Zumino equation) has been found recently for Yang-Mills gauge theory. The general form of the counterterms arising in the renormalization of gauge invariant operators (Kluberg-Stern and Zuber conjecture) and in gauge theories of the Yang-Mills type with non power counting renormalizable couplings has also been worked out in any number of spacetime dimensions. This Physics Report is devoted to reviewing in a self-contained manner these results and their proofs. This involves computing cohomology groups of the differential introduced by Becchi, Rouet, Stora and Tyutin, with the sources of the BRST variations of the fields ("antifields") included in the problem. Applications of this computation to other physical questions (classical deformations of the action, conservation laws) are also considered. The general algebraic techniques developed in the Report can be applied to other gauge theories, for which relevant references are given.Comment: 150 pages Latex file, minimal corrections, final versio

ABSTRACT. After a review of symmetries and classical solutions involved in the AdS 3 /CFT 2 correspondence, we apply a similar analysis to asymptotically flat spacetimes at null infinity in 3 and 4 dimensions. In the spirit of two dimensional conformal field theory, the symmetry algebra of asymptotically flat spacetimes at null infinity in 4 dimensions is taken to be the semi-direct sum of supertranslations with infinitesimal local conformal transformations and not, as usually done, with the Lorentz algebra. As a first application, we derive how the symmetry algebra is realized on solution space. In particular, we work out the behavior of Bondi's news tensor, mass and angular momentum aspects under local conformal transformations.

We establish general theorems on the cohomology $H^*(s|d)$ of the BRST differential modulo the spacetime exterior derivative, acting in the algebra of local $p$-forms depending on the fields and the antifields (=sources for the BRST variations). It is shown that $H^{-k}(s|d)$ is isomorphic to $H_k(\delta |d)$ in negative ghost degree $-k\ (k>0)$, where $\delta$ is the Koszul-Tate differential associated with the stationary surface. The cohomological group $H_1(\delta |d)$ in form degree $n$ is proved to be isomorphic to the space of constants of the motion, thereby providing a cohomological reformulation of Noether theorem. More generally, the group $H_k(\delta|d)$ in form degree $n$ is isomorphic to the space of $n-k$ forms that are closed when the equations of motion hold. The groups $H_k(\delta|d)$ $(k>2)$ are shown to vanish for standard irreducible gauge theories. The group $H_2(\delta|d)$ is then calculated explicitly for electromagnetism, Yang-Mills models and Einstein gravity. The invariance of the groups $H^{k}(s|d)$ under the introduction of non minimal variables and of auxiliaryComment: 48 pages LaTeX file, ULB-PMIF-94/06 NIKEF-H 94-13 (minor changes in section 10

ABSTRACT. The surface charges associated with the symmetries of asymptotically flat four dimensional spacetimes at null infinity are constructed. They realize the symmetry algebra in general only up to a field-dependent central extension that satisfies a suitably generalized cocycle condition. This extension vanishes when using the globally well defined BMS algebra. For the Kerr black hole and the enlarged BMS algebra with both supertranslations and superrotations, some of the supertranslations charges diverge whereas there are no divergences for the superrotation charges. The central extension is proportional to the rotation parameter and involves divergent integrals on the sphere.

It is shown that the symmetry algebra of asymptotically flat spacetimes at null infinity in 4 dimensions should be taken as the semidirect sum of supertranslations with infinitesimal local conformal transformations and not, as usually done, with the Lorentz algebra. As a consequence, two-dimensional conformal field theory techniques will play as fundamental a role in this context of direct physical interest as they do in three-dimensional anti-de Sitter gravity.

The antibracket in BRST theory is known to define a map H p × H q −→ H p+q+1 associating with two equivalence classes of BRST invariant observables of respective ghost number p and q an equivalence class of BRST invariant observables of ghost number p+q+1. It is shown that this map is trivial in the space of all functionals, i.e., that its image contains only the zeroth class. However it is generically non trivial in the space of local functionals.Implications of this result for the problem of consistent interactions among fields with a gauge freedom are then drawn. It is shown that the obstructions to constructing such interactions lie precisely in the image of the antibracket map and are accordingly inexistent if one does not insist on locality. However consistent local interactions are severely constrained. The example of the Chern-Simons theory is considered. It is proved that the only consistent, local, Lorentz covariant interactions for the abelian models are exhausted by the non-abelian Chern-Simons extensions.

The symmetry algebra of asymptotically flat spacetimes at null infinity in three dimensions is the semi-direct sum of the infinitesimal diffeomorphisms on the circle with an abelian ideal of supertranslations. The associated charge algebra is shown to admit a non trivial classical central extension of Virasoro type closely related to that of the anti-de Sitter case.