BRST Cohomology of the Chapline–Manton Model

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 explicitly 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 considered in the literature, even when one takes the antifields into account. We then characterize explicitly all the nontrivial solutions of the Wess–Zumino consistency conditions. In particular, we provide a cohomological interpretation of the Green–Schwarz anomaly cancellation mechanism.     

BRST cohomology in classical mechanics

The classical (non-quantum) cohomology of the Becchi-Rouet-Stora-Tyutin (BRST) symmetry in phase space is defined and worked out. No group action for the gauge transformations is assumed. The results cover, therefore, the general case of an open algebra and are valid off-shell. Each cohomology class contains all BRST invariant functions with fixed ghost number (an integer) which differ from each other by a BRST variation. If the ghost number is negative there is only the trivial class whose elements are equivalent to zero. If the ghost number is positive or zero there is a bijective correspondence between the BRST classes and those of the exterior derivative along the gauge orbits. These gauge orbits lie in the phase space surface on which the gauge generators are constrained to vanish. The BRST invariant functions of ghost numberp are then related to closedp-forms along the orbits. The addition of a BRST variation corresponds to the addition of an exact form. Some comments about the quantum case are included. The physical meaning of the classes with ghost number greater than zero is not discussed.Chercheur qualifié du Fonds National de la Recherche Scientifique (Belgium)     

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     

Augmented superfield approach to unique nilpotent symmetries for complex scalar fields in QED

The derivation of the exact and unique nilpotent Becchi–Rouet–Stora–Tyutin (BRST) and anti-BRST symmetries for the matter fields, present in any arbitrary interacting gauge theory, has been a long-standing problem in the framework of the superfield approach to the BRST formalism. These nilpotent symmetry transformations are deduced for the four (3+1)-dimensional (4D) complex scalar fields, coupled to the U(1) gauge field, in the framework of an augmented superfield formalism. This interacting gauge theory (i.e. QED) is considered on a six (4,2)-dimensional supermanifold parametrized by four even spacetime coordinates and a couple of odd elements of the Grassmann algebra. In addition to the horizontality condition (that is responsible for the derivation of the exact nilpotent symmetries for the gauge field and the (anti-)ghost fields), a new restriction on the supermanifold, owing its origin to the (super) covariant derivatives, has been invoked for the derivation of the exact nilpotent symmetry transformations for the matter fields. The geometrical interpretations for all the above nilpotent symmetries are discussed, too. PACS 11.15.-q, 12.20.-m, 03.70.+k     

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.     

An alternative to the horizontality condition in the superfield approach to BRST symmetries

We provide an alternative to the gauge covariant horizontality condition, which is responsible for the derivation of the nilpotent (anti-) BRST symmetry transformations for the gauge and (anti-) ghost fields of a (3+1)-dimensional (4D) interacting 1-form non-Abelian gauge theory in the framework of the usual superfield approach to the Becchi–Rouet–Stora–Tyutin (BRST) formalism. The above covariant horizontality condition is replaced by a gauge invariant restriction on the (4,2)-dimensional supermanifold, parameterised by a set of four spacetime coordinates, x^μ(μ=0,1,2,3), and a pair of Grassmannian variables, θ and θ̄. The latter condition enables us to derive the nilpotent (anti-) BRST symmetry transformations for all the fields of an interacting 1-form 4D non-Abelian gauge theory in which there is an explicit coupling between the gauge field and the Dirac fields. The key differences and the striking similarities between the above two conditions are pointed out clearly. PACS 11.15.-q; 12.20.-m; 03.70.+k     

The Yang-Mills fields — from the gauge theory to the mechanical model

The paper presents some mechanical models of gauge theories, i.e. gauge fields transposed in a space with a finite number of degree of freedom. The main focus is on how a global symmetry as the BRST one could be transferred in this context. The mechanical Yang-Mills model modified by taking the ghost type variables into account will be considered as an example of nonlinear dynamical systems.      

Homological perturbation theory and the algebraic structure of the antifield-antibracket formalism for gauge theories

The algebraic structure of the antifield-antibracket formalism for both reducible and irreducible gauge theories is clarified. This is done by using the methods of Homological Perturbation Theory (HPT). A crucial ingredient of the construction is the Koszul-Tate complex associated with the stationary surface of the classical extremals. The Koszul-Tate differential acts on the antifields and is graded by the antighost number. It provides a resolution of the algebraA of functions defined on the stationary surface, namely, it is acyclic except at degree zero where its homology group reduces toA. Acyclicity only holds because of the introduction of the ghosts of ghosts and provides an alternative criterion for what is meant by a proper solution of the master equation. The existence of the BRST symmetry follows from the techniques of HPT. The classical Lagrangian BRST cohomology is completely worked out and shown to be isomorphic with the cohomology of the exterior derivative along the gauge orbits on the stationary surface. The algebraic structure of the formalism is identical with the structure of the Hamiltonian BRST construction. The role played there by the constraint surface is played here by the stationary surface. Only elementary quantum questions (general properties of the measure) are addressed.     

Reducible gauge algebra of BRST-invariant constraints

We show that it is possible to formulate the most general first-class gauge algebra of the operator formalism by only using BRST-invariant constraints. In particular, we extend a previous construction for irreducible gauge algebras to the reducible case. The gauge algebra induces two nilpotent, Grassmann-odd, mutually anti-commuting BRST operators that bear structural similarities with BRST/anti-BRST theories but with shifted ghost number assignments. In both cases we show how the extended BRST algebra can be encoded into an operator master equation. A unitarizing Hamiltonian that respects the two BRST symmetries is constructed with the help of a gauge-fixing boson. Abelian reducible theories are shown explicitly in full detail, while non-Abelian theories are worked out for the lowest reducibility stages and ghost momentum ranks.     

The KT-BRST Complex of a Degenerate Lagrangian System

Quantization of a Lagrangian field system essentially depends on its degeneracy and implies its BRST extension defined by sets of non-trivial Noether and higher-stage Noether identities. However, one meets a problem how to select trivial and non-trivial higher-stage Noether identities. We show that, under certain conditions, one can associate to a degenerate Lagrangian L the KT-BRST complex of fields, antifields and ghosts whose boundary and coboundary operators provide all non-trivial Noether identities and gauge symmetries of L. In this case, L can be extended to a proper solution of the master equation.      

BRST Invariant Theory of a Generalized 1 + 1 Dimensional Nonlinear Sigma Model with Topological Term

We give a generalized Lagrangian density of 1 + 1 Dimensional O(3) nonlinear σ model with subsidiary constraints, different Lagrange multiplier fields and topological term, find a lost intrinsic constraint condition, convert the subsidiary constraints into inner constraints in the nonlinear σ model, give the example of not introducing the lost constraint = 0, by comparing the example with the case of introducing the lost constraint, we obtain that when not introducing the lost constraint, one has to obtain a lot of various non-intrinsic constraints. We further deduce the gauge generator, give general BRST transformation of the model under the general conditions. It is discovered that there exists a gauge parameter β originating from the freedom degree of BRST transformation in a general O(3) nonlinear sigma model, and we gain the general commutation relations of ghost field. PACS numbers: 11.10.Lm; 11.30.Ly     

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.     

1+1维非线性σ模型的BRST变换的等价性和Ward恒等式

在依据Dirac约束规范理论和作推广后的条件下,导出了规范生成元,推导出了1+1维O(3)非线性σ模型的一般条件(β≠0)下的BRST变换,给出了其BRST变换与Dirac规范变换的等价关系,得到了鬼场的新的一般对易关系,且其一般参数β为零时就回到通常的鬼场的对易关系.并由规范生成元导出了BRST荷,进而完成了此模型的一种BRST量子化.还在此基础上进一步导出了此系统的Green函数生成泛函、连通Green函数生成泛函和正规顶角生成泛函,获得了3种不同的Ward恒等式     

Ue(1)-covariant Rξ gauge for the two-Higgs doublet model

A U _e (1)-covariant R _ξ gauge for the two-Higgs doublet model based on BRST (Becchi-Rouet-Stora-Tyutin) symmetry is introduced. This gauge allows one to remove a significant number of nonphysical vertices appearing in conventional linear gauges, which greatly simplifies the loop calculations, since the resultant theory satisfies QED-like Ward identities. The presence of four ghost interactions in these types of gauges and their connection with the BRST symmetry are stressed. The Feynman rules for those new vertices that arise in this gauge, as well as for those couplings already present in the linear R _ξ gauge but that are modified by this gauge-fixing procedure, are presented.     

Free Abelian 2-form gauge theory: BRST approach

We discuss various symmetry properties of the Lagrangian density of a four- (3+1)-dimensional (4D) free Abelian 2-form gauge theory within the framework of Becchi–Rouet–Stora–Tyutin (BRST) formalism. The present free Abelian gauge theory is endowed with a Curci–Ferrari type condition, which happens to be a key signature of the 4D non-Abelian 1-form gauge theory. In fact, it is due to the above condition that the nilpotent BRST and anti-BRST symmetries of our present theory are found to be absolutely anticommuting in nature. For the present 2-form theory, we discuss the BRST, anti-BRST, ghost and discrete symmetry properties of the Lagrangian densities and derive the corresponding conserved charges. The algebraic structure, obeyed by the above conserved charges, is deduced and the constraint analysis is performed with the help of physicality criteria, where the conserved and nilpotent (anti-) BRST charges play completely independent roles. These physicality conditions lead to the derivation of the above Curci–Ferrari type restriction, within the framework of the BRST formalism, from the constraint analysis. PACS  11.15.-q; 12.20.-m; 03.70.+k     

Exact analysis of Coulomb gauge vacuum degeneracies in (2 + 1) dimensions

The solutions of the two-dimensional euclidean σ-model provide an infinite number of pure gauge field configurations satisfying the Coulomb gauge condition, in (2 + 1) dimensions. For vacuum gauge fields associated with finite action instanton solutions of the σ-model, we find that the winding number n configuration leads to n negative eigenvalues for the ghost operator, up to a finite calculable degeneracy.     

Calculation of BRS cohomology with spectral sequences

A method for finding the general form of the BRS cohomology spaceH for the various gauge and supersymmetry theories is presented. The method is adapted for use in the space of integrated local polynomials of the gauge fields and ghosts with arbitrary numbers of fields and dervivatives. The technique uses the Hodge decomposition in a Fock space with a Euclidean inner product, and combines this with spectral sequences to generate simple and soluble equations whose solutions span a simple spaceE isomorphic to the complicated spaceH. The technique is illustrated for pedagogic purposes by the detailed calculation of the ghost charge zero and one sectors ofH for Yang-Mills theory with gauge groupSO (32) in ten dimensions. The method is appropriate for supersymmetric theories, gravity, supergravity and superstrings where higher order terms with many derivatives occur naturally in the effective action.Research supported in part by the Robert A. Welch Foundation and NSF Grants PHY 77-18762 and PHY 9009850     

BRST symmetry of field redefinitions

Field redefinitions are considered as a special case of BRST gauge fixings of more general field-enlarging transformations. At the two-loop level an extra local term in the action, the Gervais-Jevicki potential, is generated by point canonical transformations in the bosonic part of the theory. We give an example of how this additional term can be cancelled by the inclusion of the ghost fields. This is achieved through an anomalous Jacobian factor from the ghost measure.     

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.