Showing 151–181 of 181 results for author: Henneaux, M

Isomorphisms between the Batalin-Vilkovisky antibracket and the Poisson bracket

Authors: Glenn Barnich, Marc Henneaux

Abstract: One may introduce at least three different Lie algebras in any Lagrangian field theory : (i) the Lie algebra of local BRST cohomology classes equipped with the odd Batalin-Vilkovisky antibracket, which has attracted considerable interest recently~; (ii) the Lie algebra of local conserved currents equipped with the Dickey bracket~; and (iii) the Lie algebra of conserved, integrated charges equipp… ▽ More One may introduce at least three different Lie algebras in any Lagrangian field theory : (i) the Lie algebra of local BRST cohomology classes equipped with the odd Batalin-Vilkovisky antibracket, which has attracted considerable interest recently~; (ii) the Lie algebra of local conserved currents equipped with the Dickey bracket~; and (iii) the Lie algebra of conserved, integrated charges equipped with the Poisson bracket. We show in this paper that the subalgebra of (i) in ghost number $-1$ and the other two algebras are isomorphic for a field theory without gauge invariance. We also prove that, in the presence of a gauge freedom, (ii) is still isomorphic to the subalgebra of (i) in ghost number $-1$, while (iii) is isomorphic to the quotient of (ii) by the ideal of currents without charge. In ghost number different from $-1$, a more detailed analysis of the local BRST cohomology classes in the Hamiltonian formalism allows one to prove an isomorphism theorem between the antibracket and the extended Poisson bracket of Batalin, Fradkin and Vilkovisky. △ Less

Submitted 23 January, 1996; originally announced January 1996.

Comments: 36 pages Latex file

Report number: CGPG-96/1-7

Journal ref: J.Math.Phys. 37 (1996) 5273-5296

Uniqueness of the Freedman-Townsend Interaction Vertex For Two-Form Gauge Fields

Authors: Marc Henneaux

Abstract: Let $B_{μν}^a$ ($a=1,...,N$) be a system of $N$ free two-form gauge fields, with field strengths $H_{μνρ}^a = 3 \partial _{[μ}B_{νρ]}^a$ and free action $S_0$ equal to $(-1/12)\int d^nx\ g_{ab}H_{μνρ}^aH^{bμνρ}$ ($n\geq 4$). It is shown that in $n>4$ dimensions, the only consistent local interactions that can be added to the free action are given by functions of the field strength components and… ▽ More Let $B_{μν}^a$ ($a=1,...,N$) be a system of $N$ free two-form gauge fields, with field strengths $H_{μνρ}^a = 3 \partial _{[μ}B_{νρ]}^a$ and free action $S_0$ equal to $(-1/12)\int d^nx\ g_{ab}H_{μνρ}^aH^{bμνρ}$ ($n\geq 4$). It is shown that in $n>4$ dimensions, the only consistent local interactions that can be added to the free action are given by functions of the field strength components and their derivatives (and the Chern-Simons forms in $5$ mod $3$ dimensions). These interactions do not modify the gauge invariance $B_{μν}^a\rightarrow B_{μν}^a+\partial _{[μ}Λ_{ν]}$ of the free theory. By contrast, there exist in $n=4$ dimensions consistent interactions that deform the gauge symmetry of the free theory in a non trivial way. These consistent interactions are uniquely given by the well-known Freedman-Townsend vertex. The method of proof uses the cohomological techniques developed recently in the Yang-Mills context to establish theorems on the structure of renormalized gauge-invariant operators. △ Less

Submitted 21 November, 1995; originally announced November 1995.

Comments: 12 pages Latex file

Journal ref: Phys.Lett. B368 (1996) 83-88

On The Gauge-Fixed BRST Cohomology

Authors: Marc Henneaux

Abstract: 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 onl… ▽ More 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 the gauge invariant description. By means of explicit counterexamples drawn from the free Maxwell-Klein-Gordon system, we show that the property does not hold, in the case of local functionals, if one replaces the antifields of the gauge invariant description by new antifields adapted to the gauge fixation. In terms of these new antifields, it is not true that a local functional weakly annihilated by the gauge-fixed BRST generator determines a BRST cocycle; nor that a BRST cocycle which vanishes when the antifields are set equal to zero is necessarily exact. △ Less

Submitted 17 October, 1995; originally announced October 1995.

Comments: 14 pages Latex file

Journal ref: Phys.Lett. B367 (1996) 163-169

The local degrees of freedom of higher dimensional pure Chern-Simons theories

Authors: Maximo Banados, Luis J. Garay, Marc Henneaux

Abstract: The canonical structure of higher dimensional pure Chern-Simons theories is analysed. It is shown that these theories have generically a non-vanishing number of local degrees of freedom, even though they are obtained by means of a topological construction. This number of local degrees of freedom is computed as a function of the spacetime dimension and the dimension of the gauge group. The canonical structure of higher dimensional pure Chern-Simons theories is analysed. It is shown that these theories have generically a non-vanishing number of local degrees of freedom, even though they are obtained by means of a topological construction. This number of local degrees of freedom is computed as a function of the spacetime dimension and the dimension of the gauge group. △ Less

Submitted 28 June, 1995; originally announced June 1995.

Comments: 9 pages, RevTeX3.0 (LaTeX2.09), no figures

Report number: Imperial/TP/94--95/45

Journal ref: Phys.Rev.D53:593-596,1996

The asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant

Authors: O. Coussaert, M. Henneaux, P. van Driel

Abstract: Liouville theory is shown to describe the asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant. This is because (i) Chern-Simons theory with a gauge group $SL(2,R) \times SL(2,R)$ on a space-time with a cylindrical boundary is equivalent to the non-chiral $SL(2,R)$ WZW model; and (ii) the anti-de Sitter boundary conditions implement the constraints that… ▽ More Liouville theory is shown to describe the asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant. This is because (i) Chern-Simons theory with a gauge group $SL(2,R) \times SL(2,R)$ on a space-time with a cylindrical boundary is equivalent to the non-chiral $SL(2,R)$ WZW model; and (ii) the anti-de Sitter boundary conditions implement the constraints that reduce the WZW model to the Liouville theory. △ Less

Submitted 13 June, 1995; v1 submitted 8 June, 1995; originally announced June 1995.

Comments: 10 pages in LaTeX, LaTeX problem fixed

Report number: ULB-TH/95/08

Journal ref: Class.Quant.Grav. 12 (1995) 2961-2966

Local BRST cohomology in Einstein--Yang--Mills theory

Authors: Glenn Barnich, Friedemann Brandt, Marc Henneaux

Abstract: We analyse in detail the local BRST cohomology in Einstein-Yang-Mills theory using the antifield formalism. We do not restrict the Lagrangian to be the sum of the standard Hilbert and Yang-Mills Lagrangians, but allow for more general diffeomorphism and gauge invariant actions. The analysis is carried out in all spacetime dimensions larger than 2 and for all ghost numbers. This covers the classi… ▽ More We analyse in detail the local BRST cohomology in Einstein-Yang-Mills theory using the antifield formalism. We do not restrict the Lagrangian to be the sum of the standard Hilbert and Yang-Mills Lagrangians, but allow for more general diffeomorphism and gauge invariant actions. The analysis is carried out in all spacetime dimensions larger than 2 and for all ghost numbers. This covers the classification of all candidate anomalies, of all consistent deformations of the action, as well as the computation of the (equivariant) characteristic cohomology, i.e. the cohomology of the spacetime exterior derivative in the space of (gauge invariant) local differential forms modulo forms that vanish on-shell. We show in particular that for a semi-simple Yang-Mills gauge group the antifield dependence can be entirely removed both from the consistent deformations of the Lagrangian and from the candidate anomalies. Thus, the allowed deformations of the action necessarily preserve the gauge structure, while the only candidate anomalies are those provided by previous works not dealing with antifields, and by ``topological" candidate anomalies which are present only in special spacetime dimensions (6,9,10,13,...). This result no longer holds in presence of abelian factors where new candidate anomalies and deformations of the action can be constructed out of the conserved Noether currents (if any). The Noether currents themselves are shown to be covariantizable, with a few exceptions discussed as well. △ Less

Submitted 12 June, 1995; v1 submitted 29 May, 1995; originally announced May 1995.

Comments: 68 pages, latex, no figures Misprint corrected in list of dimensions where topological anomalies can occur (no such anomaly in 11 dimensions)

Report number: KUL-TF-95/16, ULB-TH-95/07

Journal ref: Nucl.Phys. B455 (1995) 357-408

Gauge Properties of Conserved Currents in Abelian Versus Nonabelian Theories

Authors: S. Deser, M. Henneaux

Abstract: We clarify the physical origin of the difference between gauge properties of conserved currents in abelian and nonabelian theories. In the latter, but not in the former, such currents can always be written on shell as gauge invariants modulo identically conserved, superpotential, terms. For the ``isotopic" vector and the stress tensor currents of spins 1 and 2 respectively, we explain this diffe… ▽ More We clarify the physical origin of the difference between gauge properties of conserved currents in abelian and nonabelian theories. In the latter, but not in the former, such currents can always be written on shell as gauge invariants modulo identically conserved, superpotential, terms. For the ``isotopic" vector and the stress tensor currents of spins 1 and 2 respectively, we explain this difference by the fact that the non-abelian theories are just the self-coupled versions of the abelian ones using these currents as sources. More precisely, we indicate how the self-coupling turns the non-invariantizable abelian conserved currents into (on-shell) superpotentials. The fate of other conserved currents is also discussed. △ Less

Submitted 28 March, 1995; originally announced March 1995.

Comments: latex, 9 pages

Report number: CERN-TH/95-60, BRX-TH-373, ULB-TH-95/04

Journal ref: Mod.Phys.Lett.A10:991-996,1995

Homological Algebra and Yang-Mills Theory

Authors: Marc Henneaux

Abstract: 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. 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. △ Less

Submitted 16 December, 1994; originally announced December 1994.

Comments: 20 pages in LaTeX

Journal ref: J.Pure Appl.Algebra 100 (1995) 3-18

Conserved currents and gauge invariance in Yang-Mills theory

Authors: Glenn Barnich, Friedemann Brandt, Marc Henneaux

Abstract: It is shown that in the absence of free abelian gauge fields, the conserved currents of (classical) Yang-Mills gauge models coupled to matter fields can be always redefined so as to be gauge invariant. This is a direct consequence of the general analysis of the Wess-Zumino consistency condition for Yang-Mills theory that we have provided recently. It is shown that in the absence of free abelian gauge fields, the conserved currents of (classical) Yang-Mills gauge models coupled to matter fields can be always redefined so as to be gauge invariant. This is a direct consequence of the general analysis of the Wess-Zumino consistency condition for Yang-Mills theory that we have provided recently. △ Less

Submitted 27 January, 1995; v1 submitted 28 November, 1994; originally announced November 1994.

Comments: 12 pages, latex, no figures, version to appear in Phys. Lett. B

Report number: ULB-TH-94/18, NIKHEF-H-94-34, KUL-TF-94-37

Journal ref: Phys. Lett. B346 (1995) 81-86

General solution of the Wess-Zumino consistency condition for Einstein gravity

Authors: G. Barnich, F. Brandt, M. Henneaux

Abstract: The Wess-Zumino consistency condition for four-dimensional Einstein gravity is investigated in the space of local forms involving the fields, the ghosts, the antifields and their derivatives. Its general solution is constructed for all values of the form degree and of the ghost number. It is shown in particular that the antifields (= sources for the BRST variations) can occur only through cohomo… ▽ More The Wess-Zumino consistency condition for four-dimensional Einstein gravity is investigated in the space of local forms involving the fields, the ghosts, the antifields and their derivatives. Its general solution is constructed for all values of the form degree and of the ghost number. It is shown in particular that the antifields (= sources for the BRST variations) can occur only through cohomologically trivial terms. △ Less

Submitted 19 September, 1994; originally announced September 1994.

Comments: 4 pages, revtex, NIKHEF--H 94--26, ULB--TH 94/16

Journal ref: Phys.Rev.D51:1435-1439,1995

Self-dual solutions of 2+1 Einstein gravity with a negative cosmological constant

Authors: O. Coussaert, M. Henneaux

Abstract: All the causally regular geometries obtained from (2+1)-anti-de Sitter space by identifications by isometries of the form $P \rightarrow (\exp πξ) P$, where $ξ$ is a self-dual Killing vector of $so(2,2)$, are explicitely constructed. Their remarkable properties (Killing vectors, Killing spinors) are listed. These solutions of Einstein gravity with negative cosmological constant are also invarian… ▽ More All the causally regular geometries obtained from (2+1)-anti-de Sitter space by identifications by isometries of the form $P \rightarrow (\exp πξ) P$, where $ξ$ is a self-dual Killing vector of $so(2,2)$, are explicitely constructed. Their remarkable properties (Killing vectors, Killing spinors) are listed. These solutions of Einstein gravity with negative cosmological constant are also invariant under the string duality transformation applied to the angular translational symmetry $φ\rightarrow φ+a$ The analysis is made particularly convenient through the construction of {\em global} coordinates adapted to the identifications.} △ Less

Submitted 27 July, 1994; originally announced July 1994.

Comments: 15 pages in LaTeX, ULB-TH14/94

A note on the path integral for systems with primary and secondary second class constraints

Authors: M. Henneaux, S. Slavnov

Abstract: It is shown that the phase space path integral for a system with arbitrary second class constraints (primary, secondary ...) can be rewritten as a configuration space path integral of the exponent of the Lagrangian action with some local measure. It is shown that the phase space path integral for a system with arbitrary second class constraints (primary, secondary ...) can be rewritten as a configuration space path integral of the exponent of the Lagrangian action with some local measure. △ Less

Submitted 24 June, 1994; originally announced June 1994.

Comments: 7 pages in LaTeX, ULB-TH 11/94

Journal ref: Phys.Lett. B338 (1994) 47-50

Local BRST cohomology in the antifield formalism: II. Application to Yang-Mills theory

Authors: G. Barnich, F. Brandt, M. Henneaux

Abstract: 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 th… ▽ More 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 ghost number two or higher. Thus at ghost number zero or one, the inclusion of the antifields does not bring in new solutions to the consistency condition $sa+db=0$ besides the already known ones. The analysis does not use power counting and is purely cohomological. It can be easily extended to more general actions containing higher derivatives of the curvature, or Chern-Simons terms. △ Less

Submitted 31 May, 1994; originally announced May 1994.

Comments: 30 pages Latex file, ULB-TH-94/07, NIKHEF-H 94-15

Journal ref: Commun.Math.Phys.174:93-116,1995

Path Integral and Solutions of the Constraint Equations: The Case of Reducible Gauge Theories

Authors: R. Ferraro, M. Henneaux, M. Puchin

Abstract: It is shown that the BRST path integral for reducible gauge theories, with appropriate boundary conditions on the ghosts, is a solution of the constraint equations. This is done by relating the BRST path integral to the kernel of the evolution operator projected on the physical subspace. It is shown that the BRST path integral for reducible gauge theories, with appropriate boundary conditions on the ghosts, is a solution of the constraint equations. This is done by relating the BRST path integral to the kernel of the evolution operator projected on the physical subspace. △ Less

Submitted 25 May, 1994; originally announced May 1994.

Comments: 10 pages Tex file, ULB-TH-94/08

Journal ref: Phys.Lett. B333 (1994) 380-385

Local BRST cohomology in the antifield formalism: I. General theorems

Authors: G. Barnich, F. Brandt, M. Henneaux

Abstract: 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 wi… ▽ More 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 Noether theorem. More generally, the group $H_k(δ|d)$ in form degree $n$ is isomorphic to the space of $n-k$ forms that are closed when the equations of motion hold. The groups $H_k(δ|d)$ $(k>2)$ are shown to vanish for standard irreducible gauge theories. The group $H_2(δ|d)$ is then calculated explicitly for electromagnetism, Yang-Mills models and Einstein gravity. The invariance of the groups $H^{k}(s|d)$ under the introduction of non minimal variables and of auxiliary △ Less

Submitted 13 June, 1994; v1 submitted 17 May, 1994; originally announced May 1994.

Comments: 48 pages LaTeX file, ULB-PMIF-94/06 NIKEF-H 94-13 (minor changes in section 10)

Journal ref: Commun.Math.Phys.174:57-92,1995

Spacetime locality of the antifield formalism : a "mise au point"

Authors: M. Henneaux

Abstract: Some general techniques and theorems on the spacetime locality of the antifield formalism are illustrated in the familiar cases of the free scalar field, electromagnetism and Yang-Mills theory. The analysis explicitly shows that recent criticisms of the usual approach to dealing with locality are ill-founded. Some general techniques and theorems on the spacetime locality of the antifield formalism are illustrated in the familiar cases of the free scalar field, electromagnetism and Yang-Mills theory. The analysis explicitly shows that recent criticisms of the usual approach to dealing with locality are ill-founded. △ Less

Submitted 11 February, 1994; originally announced February 1994.

Comments: 15 pages in LaTeX, ULB-PMIF-93/08

Renormalization of gauge invariant operators and anomalies in Yang-Mills theory

Authors: G. Barnich, M. Henneaux

Abstract: A long-standing conjecture on the structure of renormalized, gauge invariant, integrated operators of arbitrary dimension in Yang-Mills theory is established. The general solution of the consistency condition for anomalies with sources included is also derived. This is achieved by computing explicitely the cohomology of the full unrestricted BRST operator in the space of local polynomial functio… ▽ More A long-standing conjecture on the structure of renormalized, gauge invariant, integrated operators of arbitrary dimension in Yang-Mills theory is established. The general solution of the consistency condition for anomalies with sources included is also derived. This is achieved by computing explicitely the cohomology of the full unrestricted BRST operator in the space of local polynomial functionals with ghost number equal to zero or one. The argument does not use power counting and is purely cohomological. It relies crucially on standard properties of the antifield formalism. △ Less

Submitted 29 December, 1993; originally announced December 1993.

Comments: 10 pages, latex, ULB-PMIF-93/11

Journal ref: Phys.Rev.Lett. 72 (1994) 1588-1591

BRST structure of polynomial Poisson algebras

Authors: A. Dresse, M. Henneaux

Abstract: The BRST structure of polynomial Poisson algebras is investigated. It is shown that Poisson algebras provide non trivial models where the full BRST recursive procedure is needed. Quadratic Poisson algebras may already be of arbitrarily high rank. Explicit examples are provided, for which the first terms of the BRST generator are given. The calculations are cumbersome but purely algorithmic, and… ▽ More The BRST structure of polynomial Poisson algebras is investigated. It is shown that Poisson algebras provide non trivial models where the full BRST recursive procedure is needed. Quadratic Poisson algebras may already be of arbitrarily high rank. Explicit examples are provided, for which the first terms of the BRST generator are given. The calculations are cumbersome but purely algorithmic, and have been treated by means of the computer algebra system REDUCE. Our analysis is classical ($=$ non quantum) throughout. △ Less

Submitted 23 December, 1993; originally announced December 1993.

Comments: 16 pages

Report number: ULB-PMIF-93/05

Journal ref: J.Math.Phys.35:1334,1994

Supersymmetry of the 2+1 black holes

Authors: O. Coussaert, M. Henneaux

Abstract: The supersymmetry properties of the asymptotically anti-de Sitter black holes of Einstein theory in 2+1 dimensions are investigated. It is shown that (i) the zero mass black hole has two exact super- symmetries; (ii) extreme $lM=|J|$ black holes with $M \not= 0$ have only one; and (iii) generic black holes do not have any. It is also argued that the zero mass hole is the ground state of (1,1)-ad… ▽ More The supersymmetry properties of the asymptotically anti-de Sitter black holes of Einstein theory in 2+1 dimensions are investigated. It is shown that (i) the zero mass black hole has two exact super- symmetries; (ii) extreme $lM=|J|$ black holes with $M \not= 0$ have only one; and (iii) generic black holes do not have any. It is also argued that the zero mass hole is the ground state of (1,1)-adS supergravity with periodic (``Ramond") boundary conditions on the spinor fields. △ Less

Submitted 29 October, 1993; originally announced October 1993.

Comments: 9 pages LaTeX file, ULB-PMIF-93/07

Journal ref: Phys.Rev.Lett. 72 (1994) 183-186

Consistent Interactions between Gauge Fields and Local BRST Cohomology : The Example of Yang-Mills Models

Authors: G. Barnich, M. Henneaux, R. Tatar

Abstract: Recent results on the cohomological reformulation of the problem of consistent interactions between gauge fields are illustrated in the case of the Yang-Mills models. By evaluating the local BRST cohomology through descent equation techniques, it is shown (i) that there is a unique local, Poincaré invariant cubic vertex for free gauge vector fields which preserves the number of gauge symmetries… ▽ More Recent results on the cohomological reformulation of the problem of consistent interactions between gauge fields are illustrated in the case of the Yang-Mills models. By evaluating the local BRST cohomology through descent equation techniques, it is shown (i) that there is a unique local, Poincaré invariant cubic vertex for free gauge vector fields which preserves the number of gauge symmetries to first order in the coupling constant; and (ii) that consistency to second order in the coupling constant requires the structure constants appearing in the cubic vertex to fulfill the Jacobi identity. The known uniqueness of the Yang-Mills coupling is therefore rederived through cohomological arguments. △ Less

Submitted 26 July, 1993; originally announced July 1993.

Comments: 6 pages in LaTeX, ULB-PMIF/9304

Journal ref: Int.J.Mod.Phys.D3:139-144,1994

Remarks on the renormalization of gauge invariant operators in Yang-Mills theory

Authors: M. Henneaux

Abstract: A simplified proof of a theorem by Joglekar and Lee on the renormalization of local gauge invariant operators in Yang-Mills theory is given. It is based on (i) general properties of the antifield-antibracket formalism; and (ii) well-established results on the cohomology of semi-simple Lie algebras. A simplified proof of a theorem by Joglekar and Lee on the renormalization of local gauge invariant operators in Yang-Mills theory is given. It is based on (i) general properties of the antifield-antibracket formalism; and (ii) well-established results on the cohomology of semi-simple Lie algebras. △ Less

Submitted 21 June, 1993; originally announced June 1993.

Comments: 12 pages in LaTex, ULB-PMIF/93-03

Journal ref: Phys.Lett. B313 (1993) 35-40; Erratum-ibid. B316 (1993) 633

Ghosts of ghosts for second class constraints

Authors: M. Henneaux

Abstract: When one uses the Dirac bracket, second class constraints become first class. Hence, they are amenable to the BRST treatment characteristic of ordinary first class constraints. This observation is the starting point of a recent investigation by Batalin and Tyutin, in which all the constraints are put on the same footing. However, because second class constraints identically vanish as operators i… ▽ More When one uses the Dirac bracket, second class constraints become first class. Hence, they are amenable to the BRST treatment characteristic of ordinary first class constraints. This observation is the starting point of a recent investigation by Batalin and Tyutin, in which all the constraints are put on the same footing. However, because second class constraints identically vanish as operators in the quantum theory, they are quantum-mechanically reducible and require therefore ghosts of ghosts. Otherwise, the BRST cohomology would not yield the correct physical spectrum. We discuss how to incorporate this feature in the formalism and show that it leads to an infinite tower of ghosts of ghosts. An alternative treatment, in which the brackets of the ghosts are modified, is also mentioned. △ Less

Submitted 21 June, 1993; originally announced June 1993.

Comments: 7 pages in LaTex, ULB-PMIF/93-02

Journal ref: Phys.Lett. B315 (1993) 283-286

Consistent couplings between fields with a gauge freedom and deformations of the master equation

Authors: G. Barnich, M. Henneaux

Abstract: The antibracket in BRST theory is known to define a map $\rm{H^p \times H^q \longrightarrow H^{p+q+1}}$ associating with two equivalence classes of BRST invariant observables of respective ghost number p and q an equivalence class of BRST invariant observables of ghost number p+q+1. It is shown that this map is trivial in the space of all functionals, i.e., that its image contains only the zerot… ▽ More The antibracket in BRST theory is known to define a map $\rm{H^p \times H^q \longrightarrow H^{p+q+1}}$ associating with two equivalence classes of BRST invariant observables of respective ghost number p and q an equivalence class of BRST invariant observables of ghost number p+q+1. It is shown that this map is trivial in the space of all functionals, i.e., that its image contains only the zeroth class. However it is generically non trivial in the space of local functionals. Implications of this result for the problem of consistent interactions among fields with a gauge freedom are then drawn. It is shown that the obstructions to constructing such interactions lie precisely in the image of the antibracket map and are accordingly inexistent if one does not insist on locality. However consistent local interactions are severely constrained. The example of the Chern-Simons theory is considered. It is proved that the only consistent, local, Lorentz covariant interactions for the abelian models are exhausted by the non-abelian Chern-Simons extensions. △ Less

Submitted 14 April, 1993; originally announced April 1993.

Comments: 14 pages LaTeX file, ULB-PMIF-93/01

Journal ref: Phys.Lett. B311 (1993) 123-129

Geometry of the 2+1 Black Hole

Authors: Maximo Banados, Marc Henneaux, Claudio Teitelboim, Jorge Zanelli

Abstract: The geometry of the spinning black holes of standard Einstein theory in 2+1 dimensions, with a negative cosmological constant and without couplings to matter, is analyzed in detail. It is shown that the black hole arises from identifications of points of anti-de Sitter space by a discrete subgroup of $SO(2,2)$. The generic black hole is a smooth manifold in the metric sense. The surface $r=0$ is… ▽ More The geometry of the spinning black holes of standard Einstein theory in 2+1 dimensions, with a negative cosmological constant and without couplings to matter, is analyzed in detail. It is shown that the black hole arises from identifications of points of anti-de Sitter space by a discrete subgroup of $SO(2,2)$. The generic black hole is a smooth manifold in the metric sense. The surface $r=0$ is not a curvature singularity but, rather, a singularity in the causal structure. Continuing past it would introduce closed timelike lines. However, simple examples show the regularity of the metric at $r=0$ to be unstable: couplings to matter bring in a curvature singularity there. Kruskal coordinates and Penrose diagrams are exhibited. Special attention is given to the limiting cases of (i) the spinless hole of zero mass, which differs from anti-de Sitter space and plays the role of the vacuum, and (ii) the spinning hole of maximal angular momentum . A thorough classification of the elements of the Lie algebra of $SO(2,2)$ is given in an Appendix. △ Less

Submitted 10 February, 1993; originally announced February 1993.

Comments: 51 pages, (LaTex file, figures not included, for hard copy figures, contact: [email protected]), Institute for Advanced Study #HEP.92/81

Journal ref: Phys.Rev.D48:1506-1525,1993

Bianchi Cosmological Models and Gauge Symmetries

Authors: Olivier Coussaert, Marc Henneaux

Abstract: We analyze carefully the problem of gauge symmetries for Bianchi models, from both the geometrical and dynamical points of view. Some of the geometrical definitions of gauge symmetries (=``homogeneity preserving diffeomorphisms'') given in the literature do not incorporate the crucial feature that local gauge transformations should be independent at each point of the manifold of the independent… ▽ More We analyze carefully the problem of gauge symmetries for Bianchi models, from both the geometrical and dynamical points of view. Some of the geometrical definitions of gauge symmetries (=``homogeneity preserving diffeomorphisms'') given in the literature do not incorporate the crucial feature that local gauge transformations should be independent at each point of the manifold of the independent variables ( = time for Bianchi models), i.e, should be arbitrarily localizable ( in time). We give a geometrical definition of homogeneity preserving diffeomorphisms that does not possess this shortcoming. The proposed definition has the futher advantage of coinciding with the dynamical definition based on the invariance of the action ( in Lagrangian or Hamiltonian form). We explicitly verify the equivalence of the Lagrangian covariant phase space with the Hamiltonian reduced phase space. Remarks on the use of the Ashtekar variables in Bianchi models are also given. △ Less

Submitted 5 January, 1993; originally announced January 1993.

Comments: 16 pages, Latex file, ULB-PMIF-92/10

Journal ref: Class.Quant.Grav.10:1607-1618,1993

On the Quantization of Reducible Gauge Systems

Authors: R. Ferraro, M. Henneaux, M. Puchin

Abstract: Reducible gauge theories with constraints linear in the momenta are quantized. The equivalence of the reduced phase space quantization, Dirac quantization and BRST quantization is established. The ghosts of ghosts are found to play a crucial role in the equivalence proof. Reducible gauge theories with constraints linear in the momenta are quantized. The equivalence of the reduced phase space quantization, Dirac quantization and BRST quantization is established. The ghosts of ghosts are found to play a crucial role in the equivalence proof. △ Less

Submitted 13 October, 1992; originally announced October 1992.

Comments: 41 pages, Plain Tex file, ULB-PMIF\92-07, GTCRG/92-04

Journal ref: J.Math.Phys.34:2757-2778,1993

Hamiltonian BRST-anti-BRST Theory

Authors: Philippe Gregoire, Marc Henneaux

Abstract: 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 the… ▽ More 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 the $ sp(2) $-covariant formalism are also established. △ Less

Submitted 17 September, 1992; originally announced September 1992.

Comments: 34 pages, Latex file

Report number: ulb-pmif-92/06

Journal ref: Commun.Math.Phys. 157 (1993) 279-304

General Solution of the Consistency Equation

Authors: M. Dubois-Violette, M. Henneaux, M. Talon, CM. Viallet

Abstract: We produce the general solution of the Wess-Zumino consistency condition for gauge theories of the Yang-mills type, for any ghost number and form degree. We resolve the problem of the cohomological independence of these solutions. In other words we fully describe the local version of the cohomology of the BRS operator, modulo the differential on space--time. This in particular includes the prese… ▽ More We produce the general solution of the Wess-Zumino consistency condition for gauge theories of the Yang-mills type, for any ghost number and form degree. We resolve the problem of the cohomological independence of these solutions. In other words we fully describe the local version of the cohomology of the BRS operator, modulo the differential on space--time. This in particular includes the presence of external fields and non--trivial topologies of space--time. △ Less

Submitted 29 June, 1992; originally announced June 1992.

Comments: 11 pages, Latex file, PAR-LPTHE 92/19

Journal ref: Phys.Lett. B289 (1992) 361-367

Gauge Invariance for Generally Covariant Systems

Authors: Marc Henneaux, Claudio Teitelboim, J. David Vergara

Abstract: Previous analyses on the gauge invariance of the action for a generally covariant system are generalized. It is shown that if the action principle is properly improved, there is as much gauge freedom at the endpoints for an arbitrary gauge system as there is for a system with ``internal'' gauge symmetries. The key point is to correctly identify the boundary conditions for the allowed histories a… ▽ More Previous analyses on the gauge invariance of the action for a generally covariant system are generalized. It is shown that if the action principle is properly improved, there is as much gauge freedom at the endpoints for an arbitrary gauge system as there is for a system with ``internal'' gauge symmetries. The key point is to correctly identify the boundary conditions for the allowed histories and to include the appropriate end-point contribution in the action. The path integral is then discussed. It is proved that by employing the improved action, one can use time-independent canonical gauges even in the case of generally covariant theories. From the point of view of the action and the path integral, there is thus no conceptual difference between general covariance and ``ordinary gauge invariance''. The discussion is illustrated in the case of the point particle, for which various canonical gauges are considered. △ Less

Submitted 26 May, 1992; originally announced May 1992.

Comments: 41 pages, ULB-PMIF-92-03

Journal ref: Nucl.Phys. B387 (1992) 391-418

Geometric Interpretation of the Quantum Master Equation in the BRST--anti-BRST Formalism

Authors: Marc Henneaux

Abstract: The geometric interpretation of the antibracket formalism given by Witten is extended to cover the anti-BRST symmetry. This enables one to formulate the quantum master equation for the BRST--anti-BRST formalism in terms of integration theory over a supermanifold. A proof of the equivalence of the standard antibracket formalism with the antibracket formalism for the BRST--anti-BRST symmetry is al… ▽ More The geometric interpretation of the antibracket formalism given by Witten is extended to cover the anti-BRST symmetry. This enables one to formulate the quantum master equation for the BRST--anti-BRST formalism in terms of integration theory over a supermanifold. A proof of the equivalence of the standard antibracket formalism with the antibracket formalism for the BRST--anti-BRST symmetry is also given. △ Less

Submitted 9 May, 1992; originally announced May 1992.

Comments: 12 pages

Journal ref: Phys.Lett. B282 (1992) 372-376

Comments on Unitarity in the Antifield Formalism

Authors: Glenn Barnich, Marc Henneaux

Abstract: It is shown that the local completeness condition introduced in the analysis of the locality of the gauge fixed action in the antifield formalism plays also a key role in the proof of unitarity. It is shown that the local completeness condition introduced in the analysis of the locality of the gauge fixed action in the antifield formalism plays also a key role in the proof of unitarity. △ Less

Submitted 13 August, 2003; v1 submitted 4 May, 1992; originally announced May 1992.

Comments: 15 pages, Latex error corrected, otherwise unchanged

Journal ref: Mod.Phys.Lett. A7 (1992) 2703-2714