Abstract
We establish general theorems on the cohomologyH * (s/d) of the BRST differential modulo the spacetime exterior derivative, acting in the algebra of localp-forms depending on the fields and the antifields (=sources for the BRST variations). It is shown thatH −k (s/d) is isomorphic toH k (δ/d) in negative ghost degree−k (k>0), where δ is the Koszul-Tate differential associated with the stationary surface. The cohomology groupH 1 (δ/d) in form degreen is proved to be isomorphic to the space of constants of the motion, thereby providing a cohomological reformulation of Noether's theorem. More generally, the groupH k (δ/d) in form degreen is isomorphic to the space ofn−k forms that are closed when the equations of motion hold. The groupsH k (δ/d)(k>2) are shown to vanish for standard irreducible gauge theories. The groupH 2 (δ/d) is then calculated explicitly for electromagnetism, Yang-Mills models and Einstein gravity. The invariance of the groupsH k (s/d) under the introduction of non-minimal variables and of auxiliary fields is also demonstrated. In a companion paper, the general formalism is applied to the calculation ofH k (s/d) in Yang-Mills theory, which is carried out in detail for an arbitrary compact gauge group.
Similar content being viewed by others
References
de Wit, B., van Holten, J.W.: Phys. Lett.B79, 389 (1978); Batalin, I.A., Vilkovisky, G.A.: Phys. Lett.B102, 27 (1981), Phys. Rev.D28, 2567 (1983), Phys. Rev.D30, 508 (1984)
Becchi, C., Rouet, A., Stora, R.: Commun. Math. Phys.42, 127 (1975), Ann. Phys. (NY)98, 287 (1976)
Tyutin, I.V.: Gauge invariance in field theory and statistical mechanics. Lebedev preprint FIAN, no 39 (1975)
Zinn-Justin, J.: Renormalisation of gauge theories. In: Trends in elementary particle theory. Lecture notes in Physics n.37, Berlin, Heidelberg, New York: Springer, 1975
Kallosh, R.F.: Nucl. Phys.B141, 141 (1978)
Fisch, J.M.L., Henneaux, M.: Commun. Math. Phys.128, 627 (1990)
Henneaux, M.: Nucl. Phys. B. (Proc. Suppl.)18A, 47 (1990)
Hirsch, G.: Bull. Soc. Math. Belg.6, 79 (1953); Stasheff, J.D.: Trans. Am. Math. Soc.108, 215, 293 (1963); Gugenheim, V.K.A.M.: J. Pure Appl. Alg.25, 197 (1982); Gugenheim, V.K.A.M., Stasheff, J.D.: Bull. Soc. Math. Belg.38, 237 (1986). The ideas of Homological Perturbation Theory have been applied to physics first in the Hamiltonian formulation of the BRST symmetry in Fisch, J., Henneaux, M., Stasheff, J., Teitelboim, C.: Commun. Math. Phys.127, 379 (1989)
Henneaux, M., Teitelboim, C.: Quantization of Gauge Systems. Princeton NJ.: Princeton University Press 1992
Alfaro, J., Damgaard, P.H.: Nucl. Phys.B404, 751 (1993); see also De Jonghe, F.: Ph. D. Thesis, K.U.L. (1994)
Zinn-Justin, J.: Quantum Field Theory and Critical Phenomena. 2nd Edition, Oxford: Clarendon Press 1993
Howe, P.S., Lindström, U., White, P.: Phys. Lett.B246, 430 (1990); Troost, W., van Nieuwenhuizen, P., van Proeyen, A.: Nucl. Phys.B333, 727 (1990)
Barnich, G., Henneaux, M.: Phys. Lett.B311, 123 (1993)
Barnich, G., Brandt, F., Henneaux, M.: Local BRST cohomology in the antifield formalism: II. Application to Yang-Mills theory. Commun. Math. Phys., to appear
Voronov, B.L., Tyutin, I.V.: Theor. Math. Phys.50, 218 (1982)
Henneaux, M.: Commun. Math. Phys.140, 1 (1991)
Anderson, I.M.: The variational bicomplex. Boston: Academic Press 1994, Contemp. Math.132, 51 (1992)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics, volume107, Berlin, Heidelberg, New York: Springer, 1986
Saunders, D.J.: The Geometry of Jet Bundles. London Mathematical Society Lecture Note Series142, Cambridge: Cambridge University Press, 1989
Mc Cloud, P.: Class. Quant. Grav.11, 567 (1994)
Gel'fand, I.M., Dorfman, I.Ya.: Funct. Anal. Appl.13, 174 (1979)
Henneaux, M.: Spacetime locality of the antifield formalism: A ‘mise au point.” Preprint hep-th 9402068
Henneaux, M.: Phys. Lett.B313, 35 (1993)
Vinogradov, A.M.: Sov. Math. Dokl.18, 1200 (1977),19, 144 (1978),19, 1220 (1978); Takens, F.: J. Diff. Geom14, 543 (1979); De Wilde, M.: Lett. Math. Phys.5, 351 (1981); Tulczyjew, W.M.: Lecture Notes in Math.836, 22 (1980); Dedecker, P., Tulczyjew, W.M.: Lecture Notes in Math.836, 498 (1980); Tsujishita, T.: Osaka J. Math.19, 311 (1982); Bonora, L., Cotta-Ramusino, P.: Commun. Math. Phys.87, 589 (1983)
Brandt, F., Dragon, N., Kreuzer, M.: Nucl. Phys.B332, 224 (1990)
Dubois-Violette, M., Henneaux, M., Talon, M., Viallet, C.M.: Phys. Lett.B267, 81 (1991)
Wald, R.M.: J. Math. Phys.31, 2378 (1990)
Dickey, L.A.: Contemp. Math.132, 307 (1992)
Torre, C.G.: Some remarks on gravitational analogs of magnetic charge. Preprint gr-qc 9411014
Barnich, G., Henneaux, M., Brandt, F.: Local BRST cohomology in Einstein-Yang-Mills theory, to appear in Nucl. Phys. B
Witten, E.: Mod. Phys. Lett.A5, 487 (1990)
Noether, E.: Nachr. Kgl. Ges. d. Wiss. z. Göttingen, Math.-phys. Kl.2, 235 (1918)
Bak, D., Cangemi, D., Jackiw, R.: Energy-momentum conservation in general relativity. Preprint CTP #2245, hep-th/9310025
Torre, C.G., Anderson, I.M.: Phys. Rev. Lett.70, 3525 (1993); Classification of generalized symmetries for the vacuum Einstein equations I. Preprint gr-qc 9404030
Bryant, R.L., Griffiths, P.A.: Characteristic Cohomology of Differential Systems (I): General Theory. Duke University Mathematics Preprint Series, volume1993 n0 1, January 1993
De Jonghe, F., Siebelink, R., Troost, W.: Phys. Lett.B306, 295 (1993); see also Gomis, J., París, J.: Nucl. Phys.B395, 288 (1993)
Henneaux, M.: Phys. Lett.B238, 299 (1990)
Dresse, A., Grégoire, P., Henneaux, M.: Phys. Lett.B245, 192 (1990)
Brandt, F.: Phys. Lett.B320, 57 (1994)
Author information
Authors and Affiliations
Additional information
Communicated by G. Felder
Supported by Deutsche Forschungsgemeinschaft
Rights and permissions
About this article
Cite this article
Barnich, G., Brandt, F. & Henneaux, M. Local BRST cohomology in the antifield formalism: I. General theorems. Commun.Math. Phys. 174, 57–91 (1995). https://doi.org/10.1007/BF02099464
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02099464