The relationship between the gauged BRST symmetry and the ghost number symmetry

A general method of gauging the BRST algebra by combining a (local) ghost number symmetry with the standard (global) BRST algebra, is displayed. This method enables us to construct an automatically nilpotent local BRST algebra and to obtain in a straightforward way the corresponding versions of the action and the eventual anomalies. To illustrate the procedure we study the Yang-Mills and the free bosonic string theories (including the “conformal” Beltrami parametrization) and show that it reproduces the results discussed in the literature. Two major outcomes of this scheme are briefly discussed: a possible connection between ghost number and BRST currents, arising from the Slavnov identities and the implications of the ghost number anomaly for the BRST localization program in theories such as string theory.     

Solving general gauge theories on inner product spaces

By means of a generalized quartet mechanism we show in a model independent way that a BRST quantization on an inner product space leads to physical states of the form ph〉 = exp [Q, ψ]ph〉₀ where Q is the nilpotent BRST operator, ψ a hermitian fermionic gauge-fixing operator, and ph〉_o BRST invariant states determined by a hermitian set of BRST doublets in involution. ph〉₀ does not belong to an inner product space although ph〉 does. Since the BRST quartets are split into two sets of hermitian BRST doublets there are two choices for ph〉₀ and the corresponding ψ. When applied to general, both irreducible and reducible, gauge theories of arbitrary rank within the BFV formulation we find that ph〉₀ are trivial BRST invariant states which only depend on the matter variables for one set of solutions, and for the other set ph〉₀ are solutions of a Dirac quantization. This generalizes previous Lie group solutions obtained by means of a bigrading.     

BRST and Anti-BRST Symmetries in Perturbative Quantum Gravity

In perturbative quantum gravity, the sum of the classical Lagrangian density, a gauge fixing term and a ghost term is invariant under two sets of supersymmetric transformations called the BRST and the anti-BRST transformations. In this paper we will analyse the BRST and the anti-BRST symmetries of perturbative quantum gravity in curved spacetime, in linear as well as non-linear gauges. We will show that even though the sum of ghost term and the gauge fixing term can always be expressed as a total BRST or a total anti-BRST variation, we can express it as a combination of both of them only in certain special gauges. We will also analyse the violation of nilpotency of the BRST and the anti-BRST transformations by introduction of a bare mass term, in the massive Curci-Ferrari gauge.     

Canonical BRST quantisation of worldsheet gravities

We reformulate the BRST quantisation of chiral Virasoro and W₃ worldsheet gravities. Our approach follows directly the classic BRST formulation of Yang-Mills theory in employing a derivative gauge condition instead of the conventional conformal gauge condition, supplemented by an introduction of momenta in order to put the ghost action back into first-order form. The consequence of these simple changes is a considerable simplification of the BRST formulation, the evaluation of anomalies and the expression of Wess-Zumino consistency conditions. In particular, the transformation rules of all fields now constitute a canonical transformation generated by the BRST operator Q, and we obtain in this reformulation a new result that the anomaly in the BRST Ward identity is obtained by application of the anomalous operator Q², calculated using operator products, to the gauge fermion.     

Weil algebra structure and geometrical meaning of BRST transformation in topological quantum field theory

The Weil algebra structure of the BRST transformation of topological quantum field theory is investigated. This structure appears in the gauge and ghost fields sector and is common to both topological quantum field theory and BRS gauge fixed non-abelian gauge theory. By the Weil algebra structure, we can derive the descent equations of topological quantum field theory which generate the Donaldson polynomials. The algebraic structure also reveals the geometrical meaning of the ghost fields ψ and ? in topological quantum field theory as the components of the total curvature.     

Duality theorems in BRST cohomology

In classical mechanics, there is no duality theorem relating the BRST cohomologies at positive and negative ghost numbers since these generically fail to be isomorphic. It is shown in this paper, however, that a duality theorem for the BRST operator cohomology can be established in quantum mechanics. Furthermore, when the hermicity properties of the quantum BRST formalism—which are in general just formal—turn out to be actually well defined, this duality theorem also holds for the state cohomology, as a consequence of the non degenerate pairing between subspaces at positive and negative ghost numbers defined by the BRST scalar product. In the case of gauge systems quantized in the Schrödinger representation with compact gauge orbits, the duality theorem contains ordinary Poincaré duality for a compact manifold. In the Fock representation, the duality theorem sheds a new light on existing decoupling theorems. The comparison with the classical situation is also briefly discussed.     

From conformal quantum mechanics on bordered Riemann surfaces to covariant string field theory

The Faddeev-Popov determinant of the reparametrization ghosts of the closed bosonic string on bordered Riemann surfaces is investigated. It is found that the standard ghost action has to be supplemented by additional boundary terms. These additional terms lead to a nontrivial ghost transition amplitude. It is shown that boundary variations of ghost transition amplitudes are generated by the ghost Virasoro operators. The relevance of the boundary variation operator for string field theory is illustrated. A new interpretation of the BRST operator in terms of boundary variations is obtained and the BRST invariance of the transition amplitudes is demonstrated. A generalization of the Siegel gauge of second quantized closed bosonic string field theory is presented.     

Gauge invariant Lagrangian formulation of higher spin massive bosonic field theory in AdS space

In this work we develop the BRST approach to Lagrangian construction for the massive integer higher spin fields in an arbitrary dimensional AdS space. The theory is formulated in terms of auxiliary Fock space. Closed nonlinear symmetry algebra of higher spin bosonic theory in AdS space is found and a method of deriving the BRST operator for such an algebra is proposed. A general procedure of Lagrangian construction, describing the dynamics of a bosonic field with any spin is given on the base of the BRST operator. No off-shell constraints on the fields and the gauge parameters are used from the very beginning. As an example of general procedure, we derive the Lagrangians for massive bosonic fields with spin 0, 1 and 2, containing the total set of auxiliary fields and gauge symmetries.     

Local BRST Cohomology and Covariance

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 actions, Noether currents and gauge anomalies, as well as of the equations of motion. Received: 25 July 1996 / Accepted: 23 April 1997     

Quantum deformation of BRST algebra

We investigate theq-deformation of the BRST algebra, the algebra of the ghost, matter and gauge fields on one spacetime point using the result of the bicovariant differential caculus. There are two nilpotent operations in the algebra, the BRST transformation _B and the derivatived. We show that one can define the covariant commutation relations among the fields and their derivatives consistently with these two operations as well as the *-operation, the antimultiplicativ e inner involution.This work is partly supported by Alexsander von Humboldt Foundation     

BRST Formalism in Self-Dual Chern-Simons Theory with Matter Fields

We apply BRST method to the self-dual Chern-Simons gauge theory with matter fields and the generators of symmetries of the system from an elegant Lie algebra structure under the operation of Poisson bracket. We discuss four different cases: abelian, nonabelian, relativistic, and nonrelativistic situations and extend the system to the whole phase space including ghost fields. In addition, we obtain the BRST charge of the field system and check its nilpotence of the BRST transformation which plays an important role such as in topological quantum field theory and string theory.     

Gauge invariant Lagrangian construction for massive higher spin fermionic fields

We formulate a general gauge invariant Lagrangian construction describing the dynamics of massive higher spin fermionic fields in arbitrary dimensions. Treating the conditions determining the irreducible representations of Poincaré group with given spin as the operator constraints in auxiliary Fock space, we built the BRST charge for the model under consideration and find the gauge invariant equations of motion in terms of vectors and operators in the Fock space. It is shown that like in massless case [I.L. Buchbinder, V.A. Krykhtin, A. Pashnev, Nucl. Phys. B 711 (2005) 367, hep-th/0410215], the massive fermionic higher spin field models are the reducible gauge theories and the order of reducibility grows with the value of spin. In compare with all previous approaches, no off-shell constraints on the fields and the gauge parameters are imposed from the very beginning, all correct constraints emerge automatically as the consequences of the equations of motion. As an example, we derive a gauge invariant Lagrangian for massive spin 3/2 field.     

On BRST quantization of second class constraint algebras

A BRST quantization of second-class constraint algebras that avoids Dirac brackets is constructed, and the BRST operator is shown to be related to the BRST operator of first class algebra by a nonunitary canonical transformation. The transformation converts the second class algebra into an effective first class algebra with the help of an auxiliary second class algebra constructed from the dynamical Lagrange multipliers of the Dirac approach. The BRST invariant path integral for second class algebras is related to the path integral of the pertinent Dirac brackets, using the Parisi-Sourlas mechaism. As an application the possibility of string theories in subcritical dimensions is considered.     

N = 1 superstring in 2 + 2 dimensions

In this paper we construct a (2,2) dimensional string theory with manifest N = 1 spacetime supersymmetry. We use Berkovits' approach of augmenting the spacetime supercoordinates by the conjugate momenta for the fermionic variables. The worldsheet symmetry algebra is a twisted and truncated “small” N = 4 superconformal algebra. The realisation of the symmetry algebra is reducible with an infinite order of reducibility. We study the physical states of the theory by two different methods. In one of them, we identify a subset of irreducible constraints, which is by itself critical. We construct the BRST operator for the irreducible constraints, and study the cohomology and interactions. This method breaks the SO(2,2) spacetime symmetry of the original reducible theory. In another approach, we study the theory in a fully covariant manner, which involves the introduction of infinitely many ghosts for ghosts.     

Cumulative author index B751–B754

The paper is devoted to the study of BRST charge in perturbed two-dimensional conformal field theory. The main goal is to write the operator equation expressing the conservation law of BRST charge in perturbed theory in terms of purely algebraic operations on the corresponding operator algebra, which are defined via the OPE. The corresponding equations are constructed and their symmetries are studied up to the second order in formal coupling constant. It appears that the obtained equations can be interpreted as generalized Maurer–Cartan ones. We study two concrete examples in detail: the bosonic nonlinear sigma model and perturbed first order theory. In particular, we show that the Einstein equations, which are the conformal invariance conditions for both these perturbed theories, expanded up to the second order, can be rewritten in such generalized Maurer–Cartan form.     

BV formulation of higher form gauge theories in a superspace

We discuss the extended BRST and anti-BRST symmetry (including shift symmetry) in the Batalin–Vilkovisky (BV) formulation for 2- and 3-form gauge theories. Further we develop the superspace formulation for the BV actions for these theories. We show that the extended BRST invariant BV action for these theories can be written manifestly covariant manner in a superspace with one Grassmann coordinate. On the other hand a superspace with two Grassmann coordinates is required for a manifestly covariant formulation of the extended BRST and extended anti-BRST invariant BV actions for higher form gauge theories.     

BRST operator and an open gauge algebra

We show that in gauge theories of a general type with an open generator gauge algebra a nilpotent BRST does not exist.Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 2, pp. 99–102, February, 1987.     

BRST cohomology for certain reducible topological symmetries

In this paper, two different definitions of the BRST complex are connected. We obtain the BRST complex of topological quantum field theories (leading to equivariant cohomology) from the standard definition of the classical BRST complex (leading to Lie algebra cohomology) provided that we include ghosts for ghosts. Hereby, we use a finite dimensional model with a semi-direct product action ofH DiffM on a configuration spaceM, whereH is a compact Lie group representing the gauge symmetry in this model.     

On Batalin–Vilkovisky formalism of non-commutative field theories

We apply the BV formalism to non-commutative field theories, introduce BRST symmetry, and gauge-fix the models. Interestingly, we find that treating the full gauge symmetry in non-commutative models can lead to reducible gauge algebras. As one example we apply the formalism to the Connes–Lott two-point model. Finally, we offer a derivation of a superversion of the Harish-Chandra–Itzykson–Zuber integral.     

Spacetime locality of the BRST formalism

The spacetime locality of the BRST formalism is investigated. The analysis covers gauge theories with either closed or open algebras and is undertaken in the explicit context of the antifield formulation of the BRST theory. Under appropriate conditions, the homology of the Koszul-Tate differential modulo the spacetime exterior derivative is shown to be trivial in the space of non-integrated densities with positive antighost and pure ghost numbers. As a result: (i) the solution of the master equation can be taken to be a local functional; (ii) the gauge fixed action is also a local functional provided one takes the gauge fixing fermion to be a local functional as well; and (iii) the BRST transformation is local.