Communications in Mathematical Physics

, Volume 128, Issue 3, pp 627–640 | Cite as

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

  • Jean M. L. Fisch
  • Marc Henneaux
Article

Abstract

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.

Keywords

Gauge Theory Ghost Stationary Surface Master Equation Algebraic Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Fisch, J., Henneaux, M., Stasheff, J., Teitelboim, C.: Commun. Math. Phys.120, 379 (1989)CrossRefGoogle Scholar
  2. 2.
    Hirsch, G.: Bull. Soc. Math. Belg.6, 79 (1953)Google Scholar
  3. 2a.
    Stasheff, J.D.: Trans. Am. Math. Soc.108, 215, 293 (1963)Google Scholar
  4. 3.
    Gugenheim, V.K.A.M.: J. Pure Appl. Alg.25, 197 (1982)CrossRefGoogle Scholar
  5. 3a.
    Gugenheim, V.K.A.M., May, J.P.: Mem. AMS142 (1974)Google Scholar
  6. 3b.
    Gugenheim, V.K.A.M., Stasheff, J.D.: Bull. Soc. Math. Belg.38, 237 (1986)Google Scholar
  7. 3c.
    Lambe, L., Stasheff, J.: Manus. Math.58, 363 (1987)CrossRefGoogle Scholar
  8. 4.
    Fradkin, E.S., Fradkina, T.E.: Phys. Lett.72B, 343 (1978)Google Scholar
  9. 5.
    Batalin, I.A., Fradkin, E.S.: Phys. Lett.122 B, 157 (1983)Google Scholar
  10. 6.
    Henneaux, M.: Thèse d'Agrégation (Bruxelles 1984); Phys. Rep.126 C, 1 (1985)Google Scholar
  11. 6a.
    Contribution in: Quantum mechanics of Fundamental Systems 1. Teitelboim, C. (ed.), New York: Plenum Press 1988, p. 117Google Scholar
  12. 7.
    McMullan, D.: J. Math. Phys.23, 428 (1987)CrossRefGoogle Scholar
  13. 7a.
    Browning, A.D., McMullan, D.: J. Math. Phys.28, 438 (1987)CrossRefGoogle Scholar
  14. 8.
    Stasheff, J.D.: Suppl. Rend. Circ. Mat. Palermo II,16, 239 (1987); Bull. Am. Math. Soc.19, 287 (1988); Homological reduction of constrained algebras. North Carolina preprint (August 1988)Google Scholar
  15. 9.
    Batalin, I.A., Vilkovisky, G.A.: Phys. Lett.102 B, 27 (1981)Google Scholar
  16. 10.
    Batalin, I.A., Vilkovisky G.A.: Phys. Rev. D28, 2567 (1983); Phys. Rev. D30, 508 (1984)CrossRefGoogle Scholar
  17. 11.
    Bochicchio, M.: Phys. Lett.193 B, 31 (1987); Phys. Lett.188 B, 330 (1987)Google Scholar
  18. 11a.
    de Alwis, S.P., Grisara, M.T., Mezincescu, L.: Nucl. Phys.B 303, 57 (1988)CrossRefGoogle Scholar
  19. 11b.
    Diaz, A.H.: Phys. Lett.203B, 408 (1988)Google Scholar
  20. 11c.
    Baulieu, L., Bergshoeff, E., Sezgin, E.: Nucl. Phys. B307, 348 (1988)CrossRefGoogle Scholar
  21. 11d.
    Batlle, C., Gomis, J.: Phys. Rev. D38, 1169 (1988)CrossRefGoogle Scholar
  22. 11e.
    Batlle, C.: Teories de camps de cordes. Ph. D. Thesis (Barcelona, 1988)Google Scholar
  23. 11f.
    Labastida, J.M.F., Pernici, M., Witten, E.: Nucl. Phys. B310, 611 (1988)CrossRefGoogle Scholar
  24. 12.
    Koszul, J.L.: Bull. Soc. Math. France78, 5 (1950)Google Scholar
  25. 13.
    Tate, J.: Illinois J. Math.1, 14 (1957)Google Scholar
  26. 14.
    Borel, A.: Ann. Math.57, 115 (1953)Google Scholar
  27. 15.
    Voronov, B.L., Tyutin, I.V.: Theor. Math. Phys.50, 218 (1982)CrossRefGoogle Scholar
  28. 16.
    Batalin, I.A., Vilkovisky, G.A.: J. Math. Phys.26, 172 (1985)CrossRefGoogle Scholar
  29. 17.
    Henneaux, M., Teitelboim, C.: Commun. Math. Phys.115, 213 (1988)CrossRefGoogle Scholar
  30. 18.
    Dubois-Violette, M.: Ann. Inst. Fourier37, 45 (1987)Google Scholar
  31. 19.
    Siegel W.: Nucl. Phys. B238, 307 (1984)CrossRefGoogle Scholar
  32. 20.
    de Wit, B., van Holten, J.W.: Phys. Lett.79 B, 389 (1979)Google Scholar
  33. 21.
    Dixon, J.A.: Nucl. Phys. B99, 420 (1975)Google Scholar
  34. 22.
    Del Duca, V., Magnea, L., van Nieuwenhuizen, P.: Int. J. Mod. Phys. A3, 1081 (1988)CrossRefGoogle Scholar
  35. 23.
    Batlle, C., Gomis, J., Paris, J., Roca, J.: Phys. Lett.226 B, 288 (1989)Google Scholar
  36. 23a.
    Fisch, J.M.L., Henneaux, M.: Phys. Lett.226B, 80 (1989)Google Scholar
  37. 23b.
    Siegel, W.: Int. J. Mod. Phys. A4, 3951 (1989)CrossRefGoogle Scholar
  38. 24.
    Henneaux, M.: Lectures on the antifield BRST formalism for gauge theories, ULB preprint ULBTH2/89-07 (September, 1989), to appear in Proceedings of the 1989 GIFT Meeting (North Holland, Amsterdam 1990) and In: Quantum Mechanics of Fundamental Systems III, Teitelboim, C., Zanelli, J. (eds.). New York: Plenum Press 1990Google Scholar
  39. 25.
    Fisch, J.M.L.: On the antibracket-antifield BRST formalism and its applications, ULB preprint ULB TH2/90-01 (Ph. D. Thesis, in preparation)Google Scholar

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • Jean M. L. Fisch
    • 1
  • Marc Henneaux
    • 1
    • 2
  1. 1.Faculté des SciencesUniversité Libre de BruxellesBruxellesBelgium
  2. 2.Centro de Estudios Cientificos de SantiagoSantiagoChile

Personalised recommendations