Abstract
We define a semi-infinite analogue of the Weil algebra associated an infinite-dimensional Lie algebra. It can be used for the definition of semi-infinite characteristic classes by analogy with the Chern-Weil construction. The second term of a spectral sequence of this Weil complex consists of the semi-infinite cohomology of the Lie algebra with coefficients in its “adjoint semi-infinite symmetric powers.” We compute this cohomology for the Virasoro algebra. This is just the BRST cohomology of the bosonic βγ-system with central charge 26. We give a complete description of the Fock representations of this bosonic system as modules over the virasoro algebra, using Friedan-Martinec-Shenker bosonization. We derive a combinatorial identity from this result.
Similar content being viewed by others
References
Alvarez-Gaume, L., Bost, J.-B., Moore, G., Nelson, P., Vafa, C.: Bosonization on higher genus Riemann surfaces. Commun. Math. Phys.112, 503–552 (1987)
Atiyah, M.: New invariants of three and four dimensional manifolds. Proc. Symp. Pure Math.48, 285–299 (1988)
Atiyah, M., Bott, R.: The moment map and equivariant cohomology. Topology23, 1–28 (1984)
Bauileu, L., Singer, I.: Topological Yang-Mills theory. Nucl. Phys. B (Proc. Suppl.)5 B, 12–19 (1988)
Berline, N., Getzler, E., Vergne, M.: Heat Kernels and Dirac Operators (to appear)
Bouwknegt, P., Ceresole, A., McCarthy, J.G., van Nieuwenhuizen, P.: Extended sugawara construction for the superalgebrasSU(M=1|N+1). Phys. Rev. D39, 2971–2986 (1989)
Bouwknegt, P., McCarthy, J., Pilch, K.: On the free field resolutions for coset conformal field theories, Preprint CTP 1861, June 1990
Becchi, C., Rouet, A., Stora, R.: Ann. Phys.98, 287 (1976)
Brylinski, J.-L.: Representations of loop groups, Dirac operators on loop space, and modular forms. Topology29, 461–480 (1990)
Cartan, H.: La transgression dans un groupe de Lie et dans un espace fibre principal. Colloque de Topologie (Espaces Fibres), 57–71. C.B.R.M. Bruxelles 1950
Date, E., Jimbo, M., Miwa, T., Kashiwara, A.: In: Proc. of RIMS Symp. Jimbo, M., Miwa, T. (eds.) pp. 39–120. Singapore: World Scientific 1983
Dijkgraaf, R., Witten, E.: Mean field theory, topological field theory and multi-matrix models. Nucl. Phys.B342, 486–552 (1990)
Distler, J.: 2D quantum gravity, topological field theory and the multi-critical matrix models. Nucl. Phys.B 342, 523–538 (1990)
Dotsenko, Vl., Fateev, V.: Conformal algebra and multi-point correlation functions in statistical models. Nucl. Phys. B240, 312–348 (1984)
Feigin, B.L.: Semi-infinite cohomology of Lie, Virasoro and Kac-Moody algebras. Russ. Math. Surv.39, 155–156 (1984)
Feigin, B.L., Frenkel, E.V.: Affine Mac-Moody algebras and bosonization. In: Physics and mathematics of strings. V. Knizhnik Memorial Volume Brink, L., Friedan, D., Polyakov, A. (eds.) pp. 271–316. Singapore: World Scientific 1990
Feigin, B.L., Frenkel, E.V.: Affine Kac-Moody algebras and semi-infinite flag manifolds, Commun. Math. Phys.128, 161–189 (1990)
Feigin, B.L., Frenkel, E.V.: Bosonic ghost system and the Virasoro algebra. Phys. Lett.B 246, 71–74 (1990)
Feigin, B.L., Frenkel, E.V.: Quantization of the Drinfeld-Sokolov reduction. Phys. Lett.B 246, 75–81 (1990)
Feigin, B.L., Fuchs, D.B.: Representations of the Virasoro algebra. In: Representations of infinite-dimensional Lie algebras and Lie groups. London: Gordon and Breach 1990
Feigin, B.L., Tsygan, B.L.: Cohomology of the Lie algebra of the generalized Jacobian matrices. Funct. Anal. Appl.17, 86–87 (1983)
Feigin, B.L., Tsygan, B.L.: Riemann-Roch theorem and Lie algebra cohomology. Moscow Preprint 1988
Figueroa-O'Farrill, J., Kimura, T.: Commun. Math. Phys.124, 105–132 (1989)
Floer, A.: Couran Institute Preprint, 1987
Frenkel, I.: Two constructions of affine Lie algebras and boson-fermion correspondence in quantum field theory. J. Funct. Anal.44, 259–327 (1981)
Frenkel, I., Garland, H., Zuckerman, G.: Semi-infinite cohomology of the Virasoro algebra and the no-ghost theorem. Proc. Natl. Acad. Sci. USA83, 8842–8846 (1986)
Friedan, D.: Notes on string theory and two-dimensional conformal field theory. In: Unified string theories. Green, M., Gross, D. (eds.) pp. 169–213, Singapore: World Scientific 1986
Friedan, D., Martinec, E., Shenker, S.: Conformal invariance, supersymmetry and string theory. Nucl. Phys.B 271, 93–165 (1986)
Fuchs, D.B.: Cohomology of infinite-dimensional Lie algebras. New York: Plenum Press 1986
Gelfand, I.M., Fuchs, D.B.: Cohomology of the Lie algebra of formal vector fields. Izv. Acad. Sci. USSR34, N2, 332–337 (1970)
Hosono, S., Tsuchiya, A.: Lie algebra cohomology andN=2 SCFT, based on GKO construction, Preprint UT-561, May 1990
Kac, V., van de Leur, W.: Super boson-fermion correspondence. Ann. Inst. Fourier37, 99–137 (1987)
Kac, V., van de Leur, W.: Super boson-fermion correspondence of typeB. In: Infinitedimensional Lie algebras and groups. Kac, V. (ed.) pp. 369–416. Singapore: World Scientific 1989
Kac, V., Peterson, D.: Infinite-dimensional Lie algebras, theta-functions and modular forms. Adv. Math.53, 125–164 (1984)
Kac, V., Peterson, D.: Spin and wedge representations of infinite-dimensional Lie algebras and groups. Proc. Natl. Acad. Sci. USA78, 3308–3312 (1981)
Kanno, H.: Weil algebra structure and geometrical meaning of BRST transformation in topological quantum field theory. Z. Phys. C43, 477–483 (1989)
Kostant, B., Sternberg, S.: Symplectic reduction BRS cohomology, and infinite-dimensional Clifford algebras. Ann. Phys.176, 49–113 (1987)
Kravchenko, O., Semikhatov, A.: Phys. Lett.B 231, 85–92 (1989)
Lerche, W., Vafa, C., Warner, N.: Chiral rings inN=2 superconformal theories. Nucl. Phys.B 324, 427 (1989)
Lian, B., Zuckerman, G.: BRST cohomology of the supper Virasoro algebras. Commun. Math. Phys.125, 301–335 (1989)
Lian, B., Zuckerman, G.: BRST cohomology and highest weight vector. I Yale University Preprint, April 1990
Mathai, V., Quillen, D.: Superconnections, Thom classes and equivariant differential forms. Topology25, 85–110 (1986)
Segal, G.: Elliptic cohomology, Seminaire Bourbaki,695, 1–15 (1987)
Tannery, J., Molk, J.: Elements de la theorie des fonctions ellipitiques. Paris 1898
Tate, J.: Residues of differential on curves. Ann. Sci. ENS, 4 Ser., t 1, 149–159 (1968)
Tsuchiya, A., Kanie, Y.: Fock space representations of the Virasoro algebra—Intertwining operators. Publ. RIMS, Kyoto Univ.22, 259–327 (1986)
Tyutin, I.V.: Unpublished
Verlinde, E., Verlinde, H.: Princeton Preprint, April 1990
Witten, E.: Introduction to cohomological field theory. Princeton Preprint August 1990
Zuckermann, G.: Semi-infinite homology of the Virasoro algebra, handwritten manuscript, 1986
Zuckerman, G.: Modular forms, strings and ghosts. In: Proc. Symp. Pure Math.49, 273–384 (1989)
Author information
Authors and Affiliations
Additional information
Communicated by N.Yu. Reshetikhin
Rights and permissions
About this article
Cite this article
Feigin, B., Frenkel, E. Semi-infinite Weil complex and the Virasoro algebra. Commun.Math. Phys. 137, 617–639 (1991). https://doi.org/10.1007/BF02100281
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02100281