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.

Definition

edit

A W-algebra is an associative algebra that is generated by the modes of a finite number of meromorphic fields  , including the energy-momentum tensor  . For  ,   is a primary field of conformal dimension  .[2] The generators   of the algebra are related to the meromorphic fields by the mode expansions

 

The commutation relations of   are given by the Virasoro algebra, which is parameterized by a central charge  . This number is also called the central charge of the W-algebra. The commutation relations

 

are equivalent to the assumption that   is a primary field of dimension  . The rest of the commutation relations can in principle be determined by solving the Jacobi identities.

Given a finite set of conformal dimensions   (not necessarily all distinct), the number of W-algebras generated by   may be zero, one or more. The resulting W-algebras may exist for all  , or only for some specific values of the central charge.[2]

A W-algebra is called freely generated if its generators obey no other relations than the commutation relations. Most commonly studied W-algebras are freely generated, including the W(N) algebras.[3] In this article, the sections on representation theory and correlation functions apply to freely generated W-algebras.

Constructions

edit

While it is possible to construct W-algebras by assuming the existence of a number of meromorphic fields   and solving the Jacobi identities, there also exist systematic constructions of families of W-algebras.

Drinfeld-Sokolov reduction

edit

From a finite-dimensional Lie algebra  , together with an embedding  , a W-algebra may be constructed from the universal enveloping algebra of the affine Lie algebra   by a kind of BRST construction.[2] Then the central charge of the W-algebra is a function of the level of the affine Lie algebra.

Coset construction

edit

Given a finite-dimensional Lie algebra  , together with a subalgebra  , a W-algebra   may be constructed from the corresponding affine Lie algebras  . The fields that generate   are the polynomials in the currents of   and their derivatives that commute with the currents of  .[2] The central charge of   is the difference of the central charges of   and  , which are themselves given in terms of their level by the Sugawara construction.

Commutator of a set of screenings

edit

Given a holomorphic field   with values in  , and a set of   vectors  , a W-algebra may be defined as the set of polynomials of   and its derivatives that commute with the screening charges  . If the vectors   are the simple roots of a Lie algebra  , the resulting W-algebra coincides with an algebra that is obtained from   by Drinfeld-Sokolov reduction.[4]

The W(N) algebras

edit

For any integer  , the W(N) algebra is a W-algebra which is generated by   meromorphic fields of dimensions  . The W(2) algebra coincides with the Virasoro algebra.

Construction

edit

The W(N) algebra is obtained by Drinfeld-Sokolov reduction of the affine Lie algebra  .

The embeddings   are parametrized by the integer partitions of  , interpreted as decompositions of the fundamental representation   of   into representations of  . The set   of dimensions of the generators of the resulting W-algebra is such that   where   is the  -dimensional irreducible representation of  .[5]

The trivial partition   corresponds to the W(N) algebra, while   corresponds to   itself. In the case  , the partition   leads to the Bershadsky-Polyakov algebra, whose generating fields have the dimensions  .

Properties

edit

The central charge of the W(N) algebra is given in terms of the level   of the affine Lie algebra by

 

in notations where the central charge of the affine Lie algebra is

 

It is possible to choose a basis such that the commutation relations are invariant under  .

While the Virasoro algebra is a subalgebra of the universal enveloping algebra of  , the W(N) algebra with   is not a subalgebra of the universal enveloping algebra of  .[6]

Example of the W(3) algebra

edit

The W(3) algebra is generated by the generators of the Virasoro algebra  , plus another infinite family of generators  . The commutation relations are[2]

 
 
 

where   is the central charge, and we define

 

The field   is such that  .

Representation theory

edit

Highest weight representations

edit

A highest weight representation of a W-algebra is a representation that is generated by a primary state: a vector   such that

 

for some numbers   called the charges, including the conformal dimension  .

Given a set   of charges, the corresponding Verma module is the largest highest-weight representation that is generated by a primary state with these charges. A basis of the Verma module is

 

where   is the set of ordered tuples of strictly positive integers of the type   with  , and  . Except for   itself, the elements of this basis are called descendant states, and their linear combinations are also called descendant states.

For generic values of the charges, the Verma module is the only highest weight representation. For special values of the charges that depend on the algebra's central charge, there exist other highest weight representations, called degenerate representations. Degenerate representations exist if the Verma module is reducible, and they are quotients of the Verma module by its nontrivial submodules.

Degenerate representations

edit

If a Verma module is reducible, any indecomposible submodule is itself a highest weight representation, and is generated by a state that is both descendant and primary, called a null state or null vector. A degenerate representation is obtained by setting one or more null vectors to zero. Setting all the null vectors to zero leads to an irreducible representation.

The structures and characters of irreducible representations can be deduced by Drinfeld-Sokolov reduction from representations of affine Lie algebras.[7]

The existence of null vectors is possible only under  -dependent constraints on the charge  . A Verma module can have only finitely many null vectors that are not descendants of other null vectors. If we start from a Verma module that has a maximal number of null vectors, and set all these null vectors to zero, we obtain an irreducible representation called a fully degenerate representation.

For example, in the case of the algebra W(3), the Verma module with vanishing charges   has the three null vectors   at levels 1, 1 and 2. Setting these null vectors to zero yields a fully degenerate representation called the vacuum module. The simplest nontrivial fully degenerate representation of W(3) has vanishing null vectors at levels 1, 2 and 3, whose expressions are explicitly known.[8]

An alternative characterization of a fully degenerate representation is that its fusion product with any Verma module is a sum of finitely many indecomposable representations.[8]

Case of W(N)

edit

It is convenient to parametrize highest-weight representations not by the set of charges  , but by an element   of the weight space of  , called the momentum.

Let   be the simple roots of  , with a scalar product   given by the Cartan matrix of  , whose nonzero elements are  . The   positive simple roots are sums of any number of consecutive simple roots, and the Weyl vector is their half-sum  , which obeys  . The fundamental weights   are defined by  . Then the momentum is a vector

 

The charges   are functions of the momentum and the central charge, invariant under the action of the Weyl group. In particular,   is a polynomial of the momentum of degree  , which under the Dynkin diagram automorphism   behaves as  . The conformal dimension is[9]

 

Let us parametrize the central charge in terms of a number   such that

 

If there is a positive root   and two integers   such that[9]

 

then the Verma module of momentum   has a null vector at level  . This null vector is itself a primary state of momentum   or equivalently (by a Weyl reflection)  . The number of independent null vectors is the number of positive roots such that   (up to a Weyl reflection).

The maximal number of null vectors is the number of positive roots  . The corresponding momentums are of the type[9]

 

where   are integral dominant weights, i.e. elements of  , which are highest weights of irreducible finite-dimensional representations of  . Let us call   the corresponding fully degenerate representation of the W(N) algebra.

The irreducible finite-dimensional representation   of   of highest weight   has a finite set of weights  , with  . Its tensor product with a Verma module   of weight   is  . The fusion product of the fully degenerate representation   of W(N) with a Verma module   of momentum   is then

 

Correlation functions

edit

Primary fields

edit

To a primary state of charge  , the state-field correspondence associates a primary field  , whose operator product expansions with the fields   are

 

On any field  , the mode   of the energy-momentum tensor acts as a derivative,  .

Ward identities

edit

On the Riemann sphere, if there is no field at infinity, we have  . For  , the identity   may be inserted in any correlation function. Therefore, the field   gives rise to   global Ward identities.

Local Ward identities are obtained by inserting  , where   is a meromorphic function such that  . In a correlation function of primary fields, local Ward identities determine the action of   with   in terms of the action of   with  .

For example, in the case of a three-point function on the sphere   of W(3)-primary fields, local Ward identities determine all the descendant three-point functions as linear combinations of descendant three-point functions that involve only  . Global Ward identities further reduce the problem to determining three-point functions of the type   for  .

In the W(3) algebra, as in generic W-algebras, correlation functions of descendant fields can therefore not be deduced from correlation functions of primary fields using Ward identities, as was the case for the Virasoro algebra. A W(3)-Verma module appears in the fusion product of two other W(3)-Verma modules with a multiplicity that is in general infinite.

Differential equations

edit

A correlation function may obey a differential equation that generalizes the BPZ equations if the fields have sufficiently many vanishing null vectors.

A four-point function of W(N)-primary fields on the sphere with one fully degenerate field obeys a differential equation if   but not if  . In the latter case, for a differential equation to exist, one of the other fields must have vanishing null vectors. For example, a four-point function with two fields of momentums   (fully degenerate) and   with   (almost fully degenerate) obeys a differential equation whose solutions are generalized hypergeometric functions of type  .[10]

Applications to conformal field theory

edit

W-minimal models

edit

W-minimal models are generalizations of Virasoro minimal models based on a W-algebra. Their spaces of states are made of finitely many fully degenerate representations. They exist for certain rational values of the central charge: in the case of the W(N) algebra, values of the type

 

A W(N)-minimal model with central charge   may be constructed as a coset of Wess-Zumino-Witten models  .[11]

For example, the two-dimensional critical three-state Potts model has central charge  . Spin observables of the model may be described in terms of the D-series non-diagonal Virasoro minimal model with  , or in terms of the diagonal W(3)-minimal model with  .

Conformal Toda theory

edit

Conformal Toda theory is a generalization of Liouville theory that is based on a W-algebra. Given a simple Lie algebra  , the Lagrangian is a functional of a field   which belongs to the root space of  , with one interaction term for each simple root:

 

This depends on the cosmological constant  , which plays no meaningful role, and on the parameter  , which is related to the central charge. The resulting field theory is a conformal field theory, whose chiral symmetry algebra is a W-algebra constructed from   by Drinfeld-Sokolov reduction. For the preservation of conformal symmetry in the quantum theory, it is crucial that there are no more interaction terms than components of the vector  .[4]

The methods that lead to the solution of Liouville theory may be applied to W(N)-conformal Toda theory, but they only lead to the analytic determination of a particular class of three-point structure constants,[10] and W(N)-conformal Toda theory with   has not been solved.

Logarithmic conformal field theory

edit

At central charge  , the Virasoro algebra can be extended by a triplet of generators of dimension  , thus forming a W-algebra with the set of dimensions  . Then it is possible to build a rational conformal field theory based on this W-algebra, which is logarithmic.[12] The simplest case is obtained for  , has central charge  , and has been particularly well studied, including in the presence of a boundary.[13]

edit

Classical W-algebras

edit

Finite W-algebras

edit

Finite W-algebras are certain associative algebras associated to nilpotent elements of semisimple Lie algebras.[14]

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  .

References

edit
  1. ^ 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.
  2. ^ a b c d e Watts, Gerard M. T. (1997). "W-algebras and their representations" (PDF). In Horváth, Zalán; Palla, László (eds.). Conformal field theories and integrable models (Budapest, 1996). Lecture Notes in Phys. Vol. 498. Berlin, New York: Springer-Verlag. pp. 55–84. doi:10.1007/BFb0105278. ISBN 978-3-540-63618-2. MR 1636798. S2CID 117999633.
  3. ^ de Boer, J.; Fehér, L.; Honecker, A. (1994). "A class of -algebras with infinitely generated classical limit". Nuclear Physics B. 420 (1–2). Elsevier BV: 409–445. arXiv:hep-th/9312049. Bibcode:1994NuPhB.420..409D. doi:10.1016/0550-3213(94)90388-3. ISSN 0550-3213. S2CID 11747034.
  4. ^ a b Litvinov, Alexey; Spodyneiko, Lev (2016). "On W algebras commuting with a set of screenings". Journal of High Energy Physics. 2016 (11): 138. arXiv:1609.06271. Bibcode:2016JHEP...11..138L. doi:10.1007/jhep11(2016)138. ISSN 1029-8479. S2CID 29261029.
  5. ^ Creutzig, Thomas; Hikida, Yasuaki; Rønne, Peter B. (2016). "Correspondences between WZNW models and CFTs with W-algebra symmetry". Journal of High Energy Physics. 2016 (2): 48. arXiv:1509.07516. Bibcode:2016JHEP...02..048C. doi:10.1007/jhep02(2016)048. ISSN 1029-8479. S2CID 44722579.
  6. ^ 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.
  7. ^ De Vos, Koos; van Driel, Peter (1996). "The Kazhdan–Lusztig conjecture for W algebras". Journal of Mathematical Physics. 37 (7). AIP Publishing: 3587–3610. arXiv:hep-th/9508020. Bibcode:1996JMP....37.3587D. doi:10.1063/1.531584. ISSN 0022-2488. S2CID 119348884.
  8. ^ a b Watts, G. M. T. (1995). "Fusion in the W3 algebra". Communications in Mathematical Physics. 171 (1): 87–98. arXiv:hep-th/9403163. doi:10.1007/bf02103771. ISSN 0010-3616. S2CID 86758219.
  9. ^ a b c Fateev, Vladimir; Ribault, Sylvain (2010). "Conformal Toda theory with a boundary". Journal of High Energy Physics. 2010 (12): 089. arXiv:1007.1293. Bibcode:2010JHEP...12..089F. doi:10.1007/jhep12(2010)089. ISSN 1029-8479. S2CID 17631088.
  10. ^ a b Fateev, V.A; Litvinov, A.V (2007-11-05). "Correlation functions in conformal Toda field theory I". Journal of High Energy Physics. 2007 (11): 002. arXiv:0709.3806. Bibcode:2007JHEP...11..002F. doi:10.1088/1126-6708/2007/11/002. ISSN 1029-8479. S2CID 8189544.
  11. ^ Chang, Chi-Ming; Yin, Xi (2012). "Correlators in W N minimal model revisited". Journal of High Energy Physics. 2012 (10). arXiv:1112.5459. doi:10.1007/jhep10(2012)050. ISSN 1029-8479. S2CID 119114132.
  12. ^ Gaberdiel, Matthias R.; Kausch, Horst G. (1996). "A rational logarithmic conformal field theory". Physics Letters B. 386 (1–4). Elsevier BV: 131–137. arXiv:hep-th/9606050. Bibcode:1996PhLB..386..131G. doi:10.1016/0370-2693(96)00949-5. ISSN 0370-2693. S2CID 13939686.
  13. ^ Gaberdiel, Matthias R; Runkel, Ingo (2006-11-08). "The logarithmic triplet theory with boundary". Journal of Physics A: Mathematical and General. 39 (47): 14745–14779. arXiv:hep-th/0608184. Bibcode:2006JPhA...3914745G. doi:10.1088/0305-4470/39/47/016. ISSN 0305-4470. S2CID 10719319.
  14. ^ 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.{{cite book}}: CS1 maint: location missing publisher (link)

Further reading

edit