Algebraic structure of topological superconformal field theory on Riemann surfaces

The algebraic structure of a topological superconformal field theory on a compact Riemann surface is investigated. The Krichever-Novikov [K-N] global operator formalism is used to obtain anN=4 super K-N algebra on a Riemann surface. Subsequently thisN=4 algebra is shown to posses anN=3 K-N subalgebra. TheN=3 subalgebra is then twisted to derive a topological version of the Krichever-Novikov algebra with a residualN=2 superconformal structure. The BRST charge of the associated topological field theory on the Riemann surface is shown to be genus dependent in this formalism and the global generalization of the BRST derivative conditions are obtained. The complete BRST structure of the theory is explicitly elucidated.     

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     

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 equivalence of Floer's and quantum cohomology

We show that the Floer cohomology and quantum cohomology rings of the almost Kähler manifoldM, both defined over the Novikov ring of the loop space M, are isomorphic. We do it using a BRST trivial deformation of the topological A-model. The relevant aspect of noncompactness of the moduli of pseudoholomorphic instantons is discussed. It is shown nonperturbatively that any BRST trivial deformation of A model which does not change the dimensions of BRST cohomology does not change the topological correlation functions either.     

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     

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)     

Existence,uniqueness and cohomology of the classical BRST charge with ghosts of ghosts

A complete canonical formulation of the BRST theory of systems with redundant gauge symmetries is presented. These systems includep-form gauge fields, the superparticle, and the superstring. We first define the Koszul-Tate differential and explicitly show how the introduction of the momenta conjugate to the ghosts of ghosts makes it acyclic. The global existence of the BRST generator is then demonstrated, and the BRST charge is proved to be unique up to canonical transformations in the extended phase space, which includes the ghosts. Finally, the BRST cohomology in classical mechanics is investigated and shown to be equal to the cohomology of the exterior derivative along the gauge orbits, as in the irreducible case. This is done by re-expressing the exterior algebra along the gauge orbits as a free differential algebra containing generators of higher degree, which are identified with the ghosts of ghosts. The quantum cohomology is not dealt with.Aspirant du Fonds National de la Recherche Scientifique (Belgium)Chercheur qualifié au Fonds National de la Recherche Scientifique (Belgium)     

BRST invariance and the conical pendulum

The Hamiltonian formulation of the BRST method for quantizing constrained systems developed recently by Nemeschanskyet al is applied to the well-known problem of the conical pendulum in classical mechanics. The similarity of the system to a gauge theory wherein the two constraints serve as generators of local Abelian gauge transformations is also pointed out. The definition of the physical states of the system as a gauge theory and also as a BRST invariant theory is then discussed in some detail.     

Hamiltonian BRST-anti-BRST theory

The hamiltonian BRST-anti-BRST theory is developed in the general case of arbitrary reducible first class systems. This is done by extending the methods of homological perturbation theory, originally based on the use of a single resolution, to the case of a biresolution. The BRST and the anti-BRST generators are shown to exist. The respective links with the ordinary BRST formulation and with thesp(2)-covariant formalism are also established.Maître de recherches au Fonds National de la Recherche Scientifique.     

Fedosov Deformation Quantization as a BRST Theory

The relationship is established between the Fedosov deformation quantization of a general symplectic manifold and the BFV-BRST quantization of constrained dynamical systems. The original symplectic manifold ℳ is presented as a second class constrained surface in the fibre bundle ?^* _ρℳ which is a certain modification of a usual cotangent bundle equipped with a natural symplectic structure. The second class system is converted into the first class one by continuation of the constraints into the extended manifold, being a direct sum of ?^* _ρℳ and the tangent bundle Tℳ. This extended manifold is equipped with a nontrivial Poisson bracket which naturally involves two basic ingredients of Fedosov geometry: the symplectic structure and the symplectic connection. The constructed first class constrained theory, being equivalent to the original symplectic manifold, is quantized through the BFV-BRST procedure. The existence theorem is proven for the quantum BRST charge and the quantum BRST invariant observables. The adjoint action of the quantum BRST charge is identified with the Abelian Fedosov connection while any observable, being proven to be a unique BRST invariant continuation for the values defined in the original symplectic manifold, is identified with the Fedosov flat section of the Weyl bundle. The Fedosov fibrewise star multiplication is thus recognized as a conventional product of the quantum BRST invariant observables. Received: 28 April 2000 / Accepted: 6 December 2000     

BRST analysis of topologically massive gauge theory: novel observations

A dynamical non-Abelian 2-form gauge theory (with B∧F term) is endowed with the “scalar” and “vector” gauge symmetry transformations. In our present endeavor, we exploit the latter gauge symmetry transformations and perform the Becchi–Rouet–Stora–Tyutin (BRST) analysis of the four (3+1)-dimensional (4D) topologically massive non-Abelian 2-form gauge theory. We demonstrate the existence of some novel features that have, hitherto, not been observed in the context of BRST approach to 4D (non-)Abelian 1-form as well as Abelian 2-form and 3-form gauge theories. We comment on the differences between the novel features that emerge in the BRST analysis of the “scalar” and “vector” gauge symmetries.     

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     

Energy gap,clustering, and the Goldstone theorem in statistical mechanics

We prove a Goldstone-type theorem for a wide class of lattice and continuum quantum systems, both for the ground state and at nonzero temperature. For the ground state (T=0) spontaneous breakdown of a continuous symmetry implies no energy gap. For nonzero temperature, spontaneous symmetry breakdown implies slow clustering (noL ¹ clustering). The methods apply also to nonzero-temperature classical systems.Partial financial support by Fundação de Amparo à Pesquisa do Estado de São Paulo.Partial financial support by CNPq.     

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.     

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     

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.     

BRST quantization ofN = 2, 3, and 4 superconformal theories on higher-genus Riemann surfaces

Complex contour integral techniques, developed in a previous paper for theN=0 and 1 superconformal theories on higher-genus Riemann surfaces, are applied to a Becchi-Rouet-Stora-Tyutin (BRST) quantization procedure of superconformal theories withN=2, 3, and 4 super-Krichever-Novikov (KN) constraint algebras on a genus-g Riemann surface. The BRST charges of the superconformai theories are constructed and the nilpotency of the BRST charges is checked. The critical spacetime dimension and the intercepts are found for theN=2 and 4 cases. Also calculated are the central charge and the intercept for theN=3 case.     

On the cosmological effects of thermal masses in the era 1011K⩾T⩾5xl09K

The cosmological effects of thermal masses of particles (masses induced via interactions at nonzero temperature) as well as ordinary masses are studied. These effects are shown to be negligible for photons. For electrons, however, they modify the dependence of the universe's radiusR and the timet on temperature.     

Field-dependent symmetries in Friedmann–Robertson–Walker models

We consider effective actions of the cosmological Friedmann–Robertson–Walker (FRW) models and discuss their fermionic rigid BRST invariance. Further, we demonstrate the finite field-dependent BRST transformations as a limiting case of continuous field-dependent BRST transformations described in terms of continuous parameter κ$\kappa$. The Jacobian under such finite field-dependent BRST transformations is computed explicitly, which amounts an extra piece in the effective action within functional integral. We show that for a particular choice of a parameter the finite field-dependent BRST transformation maps the generating functional for FRW models from one gauge to another.     

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.