We study the field/antifield formulation of pure Yang Mills theory in the framework of finite field dependent BRST transformation. We show that the generating functionals corresponding to different solutions of quantum master equation are connected through the finite field dependent BRST transformations. We establish this result with the help of several explicit examples.
The general BRST-anti-BRST construction in the framework of the antifield-antibracket formalism is illustrated in the case of the Freedmann-Townsend model.
The Batalin-Vilkovisky antifield action for the BF theories is constructed by means of the extended form method. The BRST invariant BV antifield action is directly written down by making use of the extended forms that involve all the required ghosts and antifields.
An irreducible antifield BRST quantization method for reducible gauge theories is proposed. The general formalism is illustrated in the case of the Freedman-Townsend model.
The relevance of the BRST cohomology of the extended antifield formalism is briefly discussed along with standard homological tools needed for its computation.
We present a new collective field formalism with two rather than one collective field to derive the antifield formalism for extended BRST invariant quantisation. This gives a direct and physical proof of the scheme of Batalin, Lavrov and Tyutin, derived on algebraic grounds. The importance of the collective field in the quantisation of open algebras in both the BRST and extended BRST invariant way is stressed.
We study the relation between the lagrangian field-antifield formalism and the BRST invariant phase space formulation of gauge theories. Starting from the Batalin-Fradkin-Vilkovisky unitarized action, we demonstrate in a deductive way the equivalence of the phase space, and the lagrangian field-antifield partition functions for the case of irreducible first rank theories.
We perform the antifield BRST quantization of duality-symmetric Maxwell theory and show explicitly the quantum equivalence of the different formulations (covariant and non-covariant). The non-covariant gauge-fixed action is used in the computation of propagators for this model.
In the framework of $Sp(2)$ extended Lagrangian field-antifield BV formalism we study systematically the role of finite field-dependent BRST-BV transformations. We have proved that the Jacobian of a finite BRST-BV transformation is capable of generating arbitrary finite change of the gauge-fixing function in the path integral.
A crucial property of the standard antifield-BRST cohomology at non negative ghost number is that any cohomological class is completely determined by its antifield independent part. In particular, a BRST cocycle that vanishes when the antifields are set equal to zero is necessarily exact.\ \ This property, which follows from the standard theorems of homological perturbation theory, holds not only in the algebra of local functions, but also in the space of local functionals. The present paper stresses how important it is that the antifields in question be the usual antifields associated with th…
We study systematically finite BRST- BV transformations in the field-antifield formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral.
Finite BRST-BV transformations are studied systematically within the W-X formulation of the standard and the Sp(2)-extended field-antifield formalism. The finite BRST-BV transformations are introduced by formulating a new version of the Lie equations. The corresponding finite change of the gauge-fixing master action X and the corresponding Ward identity are derived.
We present a concise method to construct a BRST invariant action for the topological quantum field theories in the Batalin-Vilkovisky antifield formalism. The BV action that is a solution for the master equation is directly obtained by means of the extended forms that involve all the required ghosts and antifields. The BV actions for the non-abelian $BF$ theories (in 4 and higher dimensions) and the Chern-Simons theory are constructed by means of the extended form method. An extension of the $BF$ theory in 4-dimensions to include a ``cosmological term'' is also examined and the close connectio…
We show that any BRST invariant quantum action with open or closed gauge algebra has a corresponding local background gauge invariance. If the BRST symmetry is anomalous, but the anomaly can be removed in the antifield formalism, then the effective action possesses a local background gauge invariance. The presence of antifields (BRST sources) is necessary. As an example we analyze chiral $W_3$ gravity.
We examine interacting bosonic higher spin gauge fields in the BRST-antifield formalism. Assuming that an interacting action $S$ is a deformation of the free action with a deformation parameter $g$, we solve the master equation $(S,S)=0$ from the lower orders in $g$. It is shown that choosing a certain cubic interaction as the first order deformation, we can solve the master equation and obtain an action containing all orders in $g$. The anti-ghost number of the obtained action is less than or equal to two. Furthermore we show that the obtained action is lifted to that of interacting bosonic h…
Yang-Mills models with compact gauge group coupled to matter fields are considered. The general tools developed in a companion paper are applied to compute the local cohomology of the BRST differential $s$ modulo the exterior spacetime derivative $d$ for all values of the ghost number, in the space of polynomials in the fields, the ghosts, the antifields (=sources for the BRST variations) and their derivatives. New solutions to the consistency conditions $sa+db=0$ depending non trivially on the antifields are exhibited. For a semi-simple gauge group, however, these new solutions arise only at …
Most of the known models describing the fundamental interactions have a gauge freedom. In the standard path integral, it is necessary to "fix the gauge" in order to avoid integrating over unphysical degrees of freedom. Gauge independence might then become a tricky issue, especially when the structure of the gauge symmetries is intricate. In the modern approach to this question, it is BRST invariance that effectively implements gauge invariance. This set of lectures briefly reviews some key ideas underlying the BRST-antifield formalism, which yields a systematic procedure to path-integrate any …
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(δ|d)$ in negative ghost degree $-k\ (k>0)$, where $δ$ is the Koszul-Tate differential associated with the stationary surface. The cohomological group $H_1(δ|d)$ in form degree $n$ is proved to be isomorphic to the space of constants of the motion, thereby providing a cohomological reformulation of No…
The metric-affine gauge theory of gravity provides a broad framework in which gauge theories of gravity can be formulated. In this article we fit metric-affine gravity into the covariant BRST--antifield formalism in order to obtain gauge fixed quantum actions. As an example the gauge fixing of a general two-dimensional model of metric-affine gravity is worked out explicitly. The result is shown to contain the gauge fixed action of the bosonic string in conformal gauge as a special case.
Reducible constrained Hamiltonian systems are quantized accordingly an irreducible BRST manner. Our procedure is based on the construction of an irreducible theory which is physically equivalent with the original one. The equivalence between the two systems makes legitimate the substitution of the BRST quantization for the reducible theory by that of the irreducible system. The general formalism is illustrated in detail on a model involving abelian one- and two-form gauge fields.
We completely compute the local BRST cohomology $H(s|d)$ of the combined Yang-Mills-2-form system coupled through the Yang-Mills Chern-Simons term ("Chapline-Manton model"). We consider the case of a simple gauge group and explicitely include in the analysis the sources for the BRST variations of the fields ("antifields"). We show that there is an antifield independent representative in each cohomological class of $H(s|d)$ at ghost number 0 or 1. Accordingly, any counterterm may be assumed to preserve the gauge symmetries. Similarly, there is no new candidate anomaly beside those already consi…
We present results of a computation of the BRST-antibracket cohomology in the space of local functionals of the fields and antifields for a class of 2d gravitational theories which are conformally invariant at the classical level. In particular all classical local action functionals, all candidate anomalies and all BRST--invariant functionals depending nontrivially on antifields are given and discussed for these models.
We consider the BRST symmetric four dimensional BF theory, a topological theory, containing antysymmetric tensor fields in Landau gauge and extend the BRST symmetry by introducing a shift symmetry to it. Within this formulation, the antighost fields corresponding to shift symmetry coincide with antifields of standard field/antifield formulation. Further, we provide a superspace description for the BF model possessing extended BRST and extended anti-BRST transformations.
The nonlocal regularization method, recently proposed in ref.\,\ct{emkw91,kw92,kw93}, is extended to general gauge theories by reformulating it along the ideas of the antibracket-antifield formalism. From the interplay of both frameworks a fully regularized version of the field-antifield (FA) formalism arises, being able to deal with higher order loop corrections and to describe higher order loop contributions to the BRST anomaly. The quantum master equation, considered in the FA framework as the quantity parametrizing BRST anomalies, is argued to be incomplete at two and higher order loops an…
We introduce external sources J_A directly into the quantum master action W of the field-antifield formalism instead of the effective action. The external sources J_A lead to a set of BRST-invariant functions W^A that are in antisymplectic involution. As a byproduct, we encounter quasi--groups with open gauge algebras.
We generalize the BRST transformations in Abelian rank-2 tensor field theory by allowing the parameter to be finite and field dependent and show that such transformations play crucial role in studying the Abelian 2-form gauge theory in noncovariant gauges. The generating functionals in different effective theories are connected through these generalized BRST transformations with different choice of finite parameter. We further consider the generalization of the anti-BRST transformations and show that even anti-BRST transformations with the finite field dependent parameter relate the generating…
In the extended antifield formalism, a quantum BRST differential for anomalous gauge theories is constructed. Local BRST cohomological classes are characterized, besides the form degree and the ghost number, by the length of their descents and of their lifts, and this both in the standard and the extended antifield formalism. It is shown that during the BRST invariant renormalization of a local BRST cohomological class, the anomaly that can appear is constrained to be a local BRST cohomological class with a shorter descent and a longer lift than the given class. As an application of both resul…
In this thesis, we compute within the field-antifield formalism the local BRST cohomology of various theories involving p-form gauge fields. A particular emphasis is put on the cohomology groups corresponding to the consistent local interactions, counterterms and candidate anomalies.
In this short note we extend the results of Alfaro and Damgaard on the origin of antifields to theories with a gauge algebra that is open or reducible.
In this work, the DDF-like approach to the pure spinor cohomology is extended to the next ghost number level, the so called antifields. In a direct (supersymmetric) parallel to the bosonic string, some properties of the ghost number two cohomology are derived with the enlargement of the DDF algebra. Also, the DDF conjugates of the b ghost zero mode emerge naturally from the extended algebra and the physical state condition is discussed. Unlike the bosonic string case, the cohomology analysis of the pure spinor b ghost is restricted to BRST-closed states.
A generalized version is proposed for the field-antifield formalism. The antibracket operation is defined in arbitrary field-antifield coordinates. The antisymplectic definitions are given for first- and second-class constraints. In the case of second-class constraints the Dirac's antibracket operation is defined. The quantum master equation as well as the hypergauge fixing procedure are formulated in a coordinate-invariant way. The general hypergauge functions are shown to be antisymplectic first-class constraints whose Jacobian matrix determinant is constant on the constraint surface. The BR…
A superspace formulation for the Batalin Vilkovisky formalism (also called field-antifield quantization ) with extended BRST invariance (BRST and anti-BRST invariance ) for gauge theories with closed algebra is presented. In contrast to a recent formulation, where only BRST invariance holds off shell, two collective sets of fields are introduced and an off shell realization of the extended algebra in a superspace with two Grassmann coordinates is obtained. The example of the Yang Mills theory is also considered.
It has recently been shown that the Field Antifield quantization of anomalous irreducible gauge theories with closed algebra can be represented in a BRST superspace where the quantum action at one loop order, including the Wess Zumino term, and the anomalies show up as components of the same superfield. We show here how the Chiral Schwinger model can be represented in this formulation.
Using the BRST--BV approach, we consider totally symmetric arbitrary integer spin conformal fields propagating in flat space. For such fields, we obtain the ordinary-derivative BRST--BV Lagrangian that is invariant under gauge transformations. In our approach, the ordinary-derivative Lagrangian and gauge transformations are constructed in terms of the respective traceless gauge fields and traceless gauge transformation parameters. We also obtain a realization of conformal algebra symmetries on the space of fields and antifields entering the BRST--BV formulation of conformal fields.
We analyse the Abelian $N=1$ super-Chern-Simons model coupled to parity-preserving matter in linear and non-linear gauges with exact BRST invariance. Then we analyse the theory in field/antifield formulation to discuss the model at quantum level. Furthermore, we implement the field/antifield dependent transformation parameter to generalize the BRST symmetry of the theory. The novelty of field/antifield dependent BRST transformation is that under change of variable the Jacobian of the functional integral extends the quantum action from linear gauge to non-linear gauge. The results are establish…
We show that the BV (Batalin Vilkovisky) action, formulated with an extended BRST symmetry (including the shift symmetry), is also invariant under an extended anti-BRST transformation (where the antifields are the parameters of the transformation), when the gauge fixing Lagrangian is both BRST and anti-BRST invariant. We show that for a general gauge fixing Lagrangian, the BV action can be written in a manifestly extended BRST invariant manner in a superspace with one Grassmann coordinate whereas it can be expressed in a manifestly extended BRST and anti-BRST invariant manner in a superspace w…
We show that cohomology of the variational complex in field-antifield BRST theory on an arbitrary manifold is equal to the de Rham cohomology of this manifold.
We construct the field dependent mixed BRST (combination of BRST and anti-BRST) transformations for pure gauge theories. These are shown to be an exact nilpotent symmetry of both the effective action as well as the generating functional for certain choices of the field dependent parameters. We show that the Jacobian contributions for path integral measure in the definition of generating functional arising from BRST and anti-BRST part compensate each other. The field dependent mixed BRST transformations are also considered in field/antifield formulation to show that the solutions of quantum mas…
We extend previous work on antifield dependent local BRST cohomology for matter coupled gauge theories of Yang-Mills type to the case of gauge groups that involve free abelian factors. More precisely, we first investigate in a model independent way how the dynamics enters the computation of the cohomology for a general class of Lagrangians in general spacetime dimensions. We then discuss explicit solutions in the case of specific models. Our analysis has implications for the structure of characteristic cohomology and for consistent deformations of the classical models, as well as for divergenc…
Using BRST-BV formulation of relativistic dynamics, arbitrary spin massless and massive field propagating in flat space and arbitrary spin massless fields propagating in AdS space are considered. For such fields, BRST-BV Lagrangians invariant under gauge transformations are obtained. The Lagrangians and gauge transformations are built in terms of traceless gauge fields and traceless gauge transformation parameters. The use of the Poincare parametrization of AdS space allows us to get simple BRST-BV Lagrangian for AdS fields. By imposing the Siegel gauge condition, we get gauge-fixed Lagrangian…
We compute completely the BRST--antibracket cohomology on local functionals in two-dimensional Weyl invariant gravity for given classical field content (two dimensional metric and scalar matter fields) and gauge symmetries (two dimensional diffeomorphisms and local Weyl transformations). This covers the determination of all classical actions, of all their rigid symmetries, of all background charges and of all candidate gauge anomalies. In particular we show that the antifield dependence can be entirely removed from the anomalies and that, if the target space has isometries, the condition for t…
Quantization of anomalous gauge theories with closed, irreducible gauge algebra within the extended Field-Antifield formalism is further pursued. Using a Pauli-Villars (PV) regularization of the generating functional at one loop level, an alternative form for the anomaly is found which involves only the regulator. The analysis of this expression allows to conclude that recently found ghost number one cocycles with nontrivial antifield dependence can not appear in PV regularization. Afterwards, the extended Field-Antifield formalism is further completed by incorporating quantum effects of the e…
The antifield-BRST formalism and the various cohomologies associated with it are surveyed and illustrated in the context of Yang-Mills gauge theory. In particular, the central role played by the Koszul-Tate resolution and its relation to the characteristic cohomology are stressed.
We consider the BRST invariant Gribov-Zwanziger theory with appropriate horizon term in Batalin-Vilkovisky formalism. The usual infinitesimal BRST transformation is generalized by considering the parameter finite and field dependent. We show that such finite field dependent BRST transformation with suitable choice of finite parameter relates the generating functional of Gribov-Zwanziger theory to that of the Yang-Mills theory.
We analyze the BRST field-antifield construction for generalized gauge fields consisting of massless mixed representations of the Lorentz Group and we calculate all the strictly gauge invariant interactions between them. All these interactions are higher derivative terms constructed out from the derivatives of the curl of field strength.
We discuss in detail the construction of topological field theories using the Batalin--Vilkovisky (BV) quantisation scheme. By carefully examining the dependence of the antibracket on an external metric, we show that differentiating with respect to the metric and the BRST charge do not commute in general. We introduce the energy momentum tensor in this scheme and show that it is BRST invariant, both for the classical and quantum BRST operators. It is antifield dependent, guaranteeing gauge independence. For topological field theories, this energy momentum has to be quantum BRST exact. This lea…
A definition of soft breaking of BRST symmetry in the field-antifield formalism is proposed, valid for general gauge theories and arbitrary gauge fixing. The Ward identities for the generating functionals of Green's functions are derived, and their gauge dependence is investigated. We discuss the Gribov-Zwanziger action for the one-parameter family of R_xi gauges. It is argued that gauge theories with a soft breaking of BRST symmetry are inconsistent.
Recently, the superstring was covariantly quantized using the BRST-like operator $Q = \oint λ^αd_α$ where $λ^α$ is a pure spinor and $d_α$ are the fermionic Green-Schwarz constraints. By performing a field redefinition and a similarity transformation, this BRST-like operator is mapped to the sum of the Ramond-Neveu-Schwarz BRST operator and $η_0$ ghost. This map is then used to relate physical vertex operators and tree amplitudes in the two formalisms. Furthermore, the map implies the existence of a $b$ ghost in the pure spinor formalism which might be useful for loop amplitude computations.
The couplings of a collection of BF models to matter theories are addressed in the framework of the antifield-BRST deformation procedure. The general theory is exemplified in the case where the matter fields are a set of Dirac spinors and respectively a collection of real scalar fields.
We consider the Gribov-Zwanziger (GZ) theory with appropriate horizon term which exhibits the nilpotent BRST invariance. This infinitesimal BRST transformation has been generalized by allowing the parameter to be finite and field dependent (FFBRST). By constructing appropriate finite field dependent parameter we show that the generating functional of GZ theory with horizon term is related to that of Yang-Mills (YM) theory through FFBRST transformation.
Although it is not known how to covariantly quantize the Green-Schwarz (GS) superstring, there exists a semi-light-cone gauge choice in which the GS superstring can be quantized in a conformally invariant manner. In this paper, we prove that BRST quantization of the GS superstring in semi-light-cone gauge is equivalent to BRST quantization using the pure spinor formalism for the superstring.
A constrained BRST-BV Lagrangian formulation for totally symmetric massless HS fields in a $d$-dimensional Minkowski space is extended to a non-minimal constrained BRST-BV Lagrangian formulation by using a non-minimal BRST operator $Q_{c|\mathrm{tot}}$ with non-minimal Hamiltonian BFV oscillators $\overline{C}, \overline{\mathcal{P}}, λ, π$, as well as antighost and Nakanishi-Lautrup tensor fields, in order to introduce an admissible self-consistent gauge condition. The gauge-fixing procedure involves an operator gauge-fixing BRST-BFV Fermion $Ψ_H$ as a kernel of the gauge-fixing BRST-BV Fermi…
It is shown that the quantum master equation of the Field Antifield quantization method at one loop order can be translated into the requirement of a superfield structure for the action. The Pauli Villars regularization is implemented in this BRST superspace and the case of anomalous gauge theories is investigated. The quantum action, including Wess Zumino terms, shows up as one of the components of a superfield that includes the BRST anomalies in the other component. The example of W2 quantum gravity is also discussed.
We present a BRST analysis of supersymmetry anomalies of $\mathcal{N} = 1$ supersymmetric quantum field theories with anomalous R symmetry. To this end, we consider the coupling of the matter theory to classical $\mathcal{N} = 1$ new minimal supergravity. We point out that a supersymmetry anomaly cocycle associated to the $\mathrm{U}(1){}_\mathrm{R}$ field does exist for this theory. It is non-trivial in the space of supergravity fields (and ghosts), but it becomes BRST-exact in the functional space that includes antifields. Equivalently, the $\mathrm{U}(1){}_\mathrm{R}$ supersymmetry anomaly …
The paper provides a framework for a systematic analysis of the local BRST cohomology in a large class of gauge theories. The approach is based on the cohomology of s+d in the jet space of fields and antifields, s and d being the BRST operator and exterior derivative respectively. It relates the BRST cohomology to an underlying gauge covariant algebra and reduces its computation to a compactly formulated problem involving only suitably defined generalized connections and tensor fields. The latter are shown to provide the building blocks of physically relevant quantities such as gauge invariant…
We show that the specific operators V^a appearing in the triplectic formalism can be viewed as the anti-Hamiltonian vector fields generated by a second rank irreducible Sp(2) tensor. This allows for an explicit realization of the triplectic algebra being constructed from an arbitrary Poisson bracket on the space of the fields only, equipped by the flat Poisson connection. We show that the whole space of fields and antifields can be equipped with an even supersymplectic structure when this Poisson bracket is non-degenerate. This observation opens the possibility to provide the BRST/antiBRST pat…
We present a superfield formulation of the quantization program for theories with first class constraints. An exact operator formulation is given, and we show how to set up a phase-space path integral entirely in terms of superfields. BRST transformations and canonical transformations enter on equal footing, and they allow us to establish a superspace analog of the BFV theorem. We also present a formal derivation of the Lagrangian superfield analogue of the field-antifield formalism, by an integration over half of the phase-space variables.
