W-algebra

From Wikipedia, the free encyclopedia

In conformal field theory and representation theory, a W-algebra is an associative algebra that generalizes the Virasoro algebra. W-algebras were introduced by Alexander Zamolodchikov,[1] and the name "W-algebra" comes from the fact that Zamolodchikov used the letter W for one of the elements of one of his examples.

There are at least three different but related notions called W-algebras: classical W-algebras, quantum W-algebras, and finite W-algebras.

Classical W-algebras[]

Performing classical Drinfeld-Sokolov reduction on a Lie algebra provides the Poisson bracket on this algebra.

Quantum W-algebras[]

Bouwknegt and Schoutens define a (quantum) W-algebra to be a meromorphic conformal field theory (roughly a vertex operator algebra) together with a distinguished set of generators satisfying various properties.[2]

They can be constructed from a Lie (super)algebra by quantum Drinfeld–Sokolov reduction. Another approach is to look for other conserved currents besides the Stress–energy tensor in a similar manner to how the Virasoro algebra can be read off from the expansion of the stress tensor.

Finite W-algebras[]

Wang compares several different definitions of finite W-algebras, which are certain associative algebras associated to nilpotent elements of semisimple Lie algebras.[3]

The original definition, provided by Alexander Premet, starts with a pair consisting of a reductive Lie algebra over the complex numbers and a nilpotent element e. By the Jacobson-Morozov theorem, e is part of a sl2 triple (e, h, f). The eigenspace decomposition of ad(h) induces a -grading on :

Define a character (i.e. a homomorphism from to the trivial 1-dimensional Lie algebra) by the rule , where denotes the Killing form. This induces a non-degenerate anti-symmetric bilinear form on the −1 graded piece by the rule:

After choosing any Lagrangian subspace , we may define the following nilpotent subalgebra which acts on the universal enveloping algebra by the adjoint action.

The left ideal of the universal enveloping algebra generated by is invariant under this action. It follows from a short calculation that the invariants in under ad inherit the associative algebra structure from . The invariant subspace is called the finite W-algebra constructed from , and is usually denoted .

Notes[]

  1. ^ Zamolodchikov 1985, pp. 347–359.
  2. ^ Bouwknegt & Schoutens 1993, pp. 183–276.
  3. ^ Wang 2011, pp. 71–105.

Sources[]

  • Bouwknegt, Peter; Schoutens, Kareljan (1993). "W symmetry in conformal field theory". Physics Reports. 223 (4): 183–276. arXiv:hep-th/9210010. Bibcode:1993PhR...223..183B. doi:10.1016/0370-1573(93)90111-P. ISSN 0370-1573. MR 1208246. S2CID 118959569.
  • Wang, Weiqiang (2011). "Nilpotent orbits and finite W-algebras". In Neher, Erhard; Savage, Alistair; Wang, Weiqiang (eds.). Geometric representation theory and extended affine Lie algebras. Fields Institute Communications Series. Vol. 59. Providence RI. pp. 71–105. arXiv:0912.0689. Bibcode:2009arXiv0912.0689W. ISBN 978-082185237-8. MR 2777648.
  • Zamolodchikov, A.B. (1985). "Infinite extra symmetries in two-dimensional conformal quantum field theory". Akademiya Nauk SSSR. Teoreticheskaya I Matematicheskaya Fizika (in Russian). 65 (3): 347–359. ISSN 0564-6162. MR 0829902.

Further reading[]

Retrieved from ""