Local BRST cohomology in (non-)Lagrangian field theory

Some general theorems are established on the local BRST cohomology for not necessarily Lagrangian gauge theories. Particular attention is given to the BRST groups with direct physical interpretation. Among other things, the groups of rigid symmetries and conservation laws are shown to be still connected, though less tightly than in the Lagrangian theory. The connection is provided by the elements of another local BRST cohomology group whose elements are identified with Lagrange structures. This extends the cohomological formulation of the Noether theorem beyond the scope of Lagrangian dynamics. We show that each integrable Lagrange structure gives rise to a Lie bracket in the space of conservation laws, which generalizes the Dickey bracket of conserved currents known in Lagrangian field theory. We study the issues of existence and uniqueness of the local BRST complex associated with a given set of field equations endowed with a compatible Lagrange structure. Contrary to the usual BV formalism, such a complex does not always exist for non-Lagrangian dynamics, and when exists it is by no means unique. The ambiguity and obstructions are controlled by certain cohomology classes, which are all explicitly identified.Comment: 37 pages, 1 figure, minor corrections, references adde

From Koszul duality to Poincar\'e duality

We discuss the notion of Poincar\'e duality for graded algebras and its connections with the Koszul duality for quadratic Koszul algebras. The relevance of the Poincar\'e duality is pointed out for the existence of twisted potentials associated to Koszul algebras as well as for the extraction of a good generalization of Lie algebras among the quadratic-linear algebras.Comment: Dedicated to Raymond Stora. 27 page

Generalized gaugings and the field-antifield formalism

We discuss the algebra of general gauge theories that are described by the embedding tensor formalism. We compare the gauge transformations dependent and independent of an invariant action, and argue that the generic transformations lead to an infinitely reducible algebra. We connect the embedding tensor formalism to the field-antifield (or Batalin-Vilkovisky) formalism, which is the most general formulation known for general gauge theories and their quantization. The structure equations of the embedding tensor formalism are included in the master equation of the field-antifield formalism.Comment: 42 pages; v2: some clarifications and 1 reference added; version to be published in JHE

First order parent formulation for generic gauge field theories

We show how a generic gauge field theory described by a BRST differential can systematically be reformulated as a first order parent system whose spacetime part is determined by the de Rham differential. In the spirit of Vasiliev's unfolded approach, this is done by extending the original space of fields so as to include their derivatives as new independent fields together with associated form fields. Through the inclusion of the antifield dependent part of the BRST differential, the parent formulation can be used both for on and off-shell formulations. For diffeomorphism invariant models, the parent formulation can be reformulated as an AKSZ-type sigma model. Several examples, such as the relativistic particle, parametrized theories, Yang-Mills theory, general relativity and the two dimensional sigma model are worked out in details.Comment: 36 pages, additional sections and minor correction