NBI-HE-97-3 July 997 Explct Decompostons of Weyl Reflectons n Affne Le Algebras arxv:q-alg/970706v Jul 997 Jørgen Rasmussen The Nels Bohr Insttute, Blegdamsvej 7, DK-00 Copenhagen Ø, Denmark Abstract In ths paper explct decompostons are provded of the Weyl reflectons n affne Le algebras, n terms of fundamental Weyl reflectons. PACS: 0.0.Sv;.5.Hf Keywords: Affne Le algebra; Le algebra; Weyl group e-mal address: jrasmussen@nb.dk
Introducton An understandng of the Weyl group of an affne Le algebra resdes n the bass of affne Le algebra theory []. Just as n the case of the usual fnte dmensonal Le algebras, the (affne) Weyl group s fundamental n dscussons on e.g. characters. In applcatons of the Weyl group t s sometmes of mportance to be able to decompose the Weyl reflectons nto products of fundamental reflectons whch are reflectons wth respect to smple roots. Ths s the case when consderng sngular vectors along the lnes of Malkov, Fegn and Fuks []. The man result n ths paper s the presentaton of explct decompostons nto fundamental reflectons of all Weyl reflectons n all affne Le algebras based on smple fnte dmensonal Le algebras of the types A r, B r, C r, D r, E 6, E 7, E 8, F 4 and G. The decompostons we present rely on a new unversal lemma and on well known explct, algebra dependent realzatons of the root systems n the assocated fnte dmensonal Le algebras (see e.g. [3]). The lemma reduces the problem to an assocated problem of decomposng classcal Weyl reflectons. By classcal Weyl reflectons we mean reflectons n a standard fnte dmensonal Le algebra. Explct decompostons of the classcal Weyl reflectons are also worked out. To the best of our knowledge, explct decompostons of affne Weyl reflectons are only known n a few examples, see e.g. [4, 5]. Our motvaton for consderng explct decompostons of affne Weyl reflectons s the wsh to use them n a study of fuson rules n conformal feld theores based on affne current algebras [6]. In that respect explct decompostons are necessary n order to generalze a work by Awata and Yamada [7] on fuson rules for affne SL() current algebra. Recently, ther approach has been used to determne the fuson rules for admssble representatons [8, 9] of affne OSp( ) current algebra [0]. Moreover, one needs dfferental operator realzatons of the underlyng fnte dmensonal Le algebras. In the work [, ] by Petersen, Yu and the present author, such realzatons have been worked out for all smple fnte dmensonal Le algebras. The decompostons presented n ths paper then allow generalzng the work [7]. The remanng part of the paper s organzed as follows. Secton serves to fx notaton. Some basc Le algebra and affne Le algebra propertes are revewed. In Secton 3 explct decompostons of affne Weyl reflectons are worked out frst n terms of smple reflectons and classcal Weyl reflectons of the assocated fnte dmensonal Le algebra. The classcal Weyl reflectons are then decomposed nto fundamental reflectons. Secton 4 contans concludng remarks, whle explct, algebra dependent realzatons of root systems n fnte dmensonal Le algebras are revewed n Appendx A. Notaton. Le Algebras Let g be a smple Le algebra of rank g = r. h s a Cartan subalgebra of g. The set of (postve) roots s denoted ( ), and we wrte α > 0 f α. The smple roots are {α } =,...,r. θ s the hghest root, whle α = α/α s the root dual to α. Usng the
trangular decomposton g = g h g () the rasng and lowerng generators are denoted e α g and f α g respectvely wth α, and h h are the Cartan generators. We let j a denote an arbtrary Le algebra generator. For smple roots one sometmes wrtes e = e α, f = f α. The 3r generators e, h, f are the Chevalley generators. Ther commutator relatons are [h, h j ] = 0 [e, f j ] = δ h j [h, e j ] = A e j [h, f j ] = A f j () where A s the Cartan matrx. In the Cartan-Weyl bass we have and [h, e α ] = (α, α)e α, [h, f α ] = (α, α)f α (3) [e α, f α ] = h α = G (α, α )h j (4) where the metrc G s related to the Cartan matrx as A = α α j = (α, α j ) = G α j/, whle the non-vanshng elements of the Cartan-Kllng form are κ α,β = κ(e α f β ) = α δ α,β, κ = κ(h h j ) = G (5) The Weyl reflectons actng on λ h (or equvalently on β ) are defned by and are generators of the Weyl group. It s easly seen that (λ) = λ (λ, α )α (6) σ α =, =, σ σα(β) = σ β (7). Affne Le Algebras The loop algebra g t = g C[t, t ] s generated by the elements j a (n) = j a t n wth defnng commutator relatons [j a (n), j b (m)] = [j a, j b ](n m) (8) It may be centrally extended by addng to t a central algebra element k whch may be treated as a constant snce t commutes wth all generators. Denotng the generators by captal letters we have the followng commutator relatons of the extended algebra [J a (n), J b (m)] = f ab c J c (n m) κ ab knδ nm,0 (9) By further ncludng a dervaton D satsfyng [D, J a (n)] = nj a (n), [D, k] = 0 (0)
one has obtaned an affne Le algebra of level k where k = k θ () Note that whenever we consder affne Le algebras n connecton wth the Vrasoro algebra (through the Sugawara constructon) we may take D = L 0. Also note that the generators {J a (n)} are the modes of the currents J a (z) n an affne current algebra J a (z) J b (w) = J a (z) = κ ab k (z w) f c ab Jc (w) regular terms z w J a (n)z n () n ZZ The roots ˆα wth respect to (H, k, D) are ˆα = ˆα(n) = (α, 0, n) (3) and The smple roots are ˆα = nδ = (0, 0, n), n ZZ \ {0} (4) and thus, the postve roots are ˆα = (α, 0, 0), r ˆα 0 = (θ, 0, ) (5) ˆα = (α, 0, n), n > 0 or (n = 0, α > 0) (6) Weyl reflectons (wth respect to the roots (3)) of the weght lattce of an affne Le algebra are defned by σˆα (Λ) = Λ Λ ˆα ˆα (7) where the scalar product of elements Λ = (λ, k, m) and Λ = (λ, k, m ) s defned by (Λ, Λ ) = Λ Λ = λ λ km k m (8) Reflectons wth respect to the smple roots are sometmes wrtten σ, = 0,..., r. It s obvous that σ ˆα = σˆα, and t s easly seen that the Weyl reflecton wth respect to ˆα = (α, 0, n) takes the weght Λ = (λ, k, m) to ( σˆα (Λ) = (λ n (α )), k, m ) k (λ λ n(α )) λ n (α ) = λ nkα (9) Inspred by ths one may ntroduce the translaton operators (Λ) = ( λ (α ), k, m ) k (λ λ (α )) defned by (0) 3
By nducton t s seen that for all n ZZ The translaton operators satsfy ( t n α (Λ) = λ n (α ), k, m ) k (λ λ n(α )) () and n partcular β = t β = t β, = t α () σˆα = t n α (3) where the defnton of the Weyl reflecton s trvally generalzed to the followng acton on r dmensonal weghts Λ = (λ, k, m): Furthermore, the translaton operator satsfes and from ths t follows mmedately that and n partcular (Λ) = σ (α,0,0) (Λ) = ( (λ), k, m) (4) t σα(β ) = t β (5) = σ (α,0,) σ (α,0,0) (6) t θ = σ 0 σ θ (7) Thus, n the case of SL() where r = and hence θ = α, a general (postve) affne Weyl reflecton may be decomposed as σ (θ,0,n) = σ (σ 0 σ ) n (8) 3 Decompostons of Affne Weyl Reflectons Let us frst present the followng lemma whch s a key ngredent n our decomposton procedure of affne Weyl reflectons Lemma = σ 0 σ θα, θ α = (9) Even though the proof of the lemma s straghtforward, t seems to be a new result. Note that the condton θ α = mples θ α > 0 (see e.g. [3]). A general affne Weyl reflecton σˆα, ˆα = (α, 0, n), may be wrtten σˆα = t n α = (... N ) n (30) where α = α... α N (3) 4
s a unque (nteger) expanson of the dual roo on dual smple roots α. Here we have assumed that α > 0. For ˆα = (α, 0, n) wth α > 0, we have σˆα = t n α = (... N ) n (3) Ths reduces our frst problem of decomposng the affne Weyl reflectons n terms of fundamental reflectons and classcal Weyl reflectons, to one of determnng the translaton operators wth respect to dual smple roots. Usng the explct representatons of the root systems n Appendx A, t turns out that n the (generally non-unque) representaton α = θ β ()... β () M (33) of α, one needs at most dual postve roots β() j, that s M =, (M = 0 only n the smple case of A sl()). Ths means that = t θ β () β () = t β () t t β () θ (34) Example by example one may now attempt to use the lemma on t β (and for M = also on t β ). It turns out that n most cases the lemma apples. However, for, < < r, n C r (and for n C r and for n G, see below) t does not apply drectly, but one may then repeat the procedure for βj = θ γ... γm. Indeed we may wrte α = θ (α) α, = t t (α ) α t θ (35), where θ α =, but θ α,. In the second step we wrte α, = θ (α,), θ α, =, and n concluson we have = t θ t (α, ) (36) = t t (α ) (α, ) = σ 0 σ α σ α σ 0 σ, α, (37) In the followng Table and Table we have summarzed our fndngs. 5
Table g Fundamental translatons A r =,r σ θ =,r,r, σ θ < < r r = r r σ θ B r = σ θ = σ θ 3 = r = r r, r σ θ, σ θ r < < r C r = σ 0 = r = r r, σ θ, < < r D r = r = 3 = r =,r r σ θ,r r, r σ θ r σ θ, σ θ r < < r 6
Table g Fundamental translatons E 6 = 3 = 34 3 = 45 4 = 5 5 = 3 6 = 6 σ θ 3 4 35 4 45 σ θ σ θ σ θ σ θ σ θ E 7 = σ θ = σ θ 3 = σ θ 4 = σ θ 5 = σ θ 6 = 6 σ θ 7 = σ θ E 8 = σ 0 σ 7 α σ 0 σ 8 α σ 0 σ,8 α σ θ 5,7 6 σ θ 6 = 68 7 = 7 8 = 7 8 8 7 σ θ σ θ 8 F 4 = 3 = 3 3 = 3 4 = 4 3 σ θ 3 4 4 4 4 σ θ 4 4 4 σ θ σ θ G = σ θ = σ 0 7
Note that these expressons are nether unque, nor necessarly rreducble. Frst of all because our constructon tself s not unque. Let us llustrate ths by consderng some examples. A smple one s provded by n E 7 where α may be represented n several ways α = θ α abcd α a b c d (a, b, c, d) = (a, b, c, d ) (38) Here there s an even number of mnus sgns amongst the sgns a, b, c, d, and therefore also amongst the sgns a, b, c, d. The result n Table s based on the choce a = b = c = d =. More generally, the commutatvty of the translaton operators mmedately spols an a pror possble unqueness of the procedure. Furthermore, a very smple alternatve to the general procedure for obtanng exsts when α θ =, snce n that case the lemma apples drectly on α. In the followng Table 3 we have lsted those smple roots. Table 3 g A r B r C r D r E 6 E 7 E 8 F 4 G α : α θ = α, α r α α α α 6 α 6 α 6 α α It wll depend on the applcaton whch representaton of the correspondng translaton operator that s superor. Let us fnally comment on G where the procedure does not apply drectly due to t θ = t α (39) However, α θ = so we may smply use the lemma, the result of whch s n Table of fundamental translatons above. Smlarly, the result for n C r s obtaned drectly from the lemma, c.f. Table 3 above. 3. Decompostons of Classcal Weyl Reflectons It remans to account for how to decompose the classcal Weyl reflectons. For ths purpose we use that f β α > 0 then β α =,, 3 and β α, and that from (7) t follows that σ β = σ ββ α α (40) Let us llustrate our procedure for decomposng an arbtrary Weyl reflecton by consderng the case of B r where the root type α may be expanded as α = α j... α (4) We see that (α j... α ) α =, =,..., j (4) 8
so accordng to (40) the decomposton n Table 4 mmedately follows. Smlarly, the expanson α = α r... α (43) leads to the decomposton of. Fnally, we have so accordng to (40) α = α α jj, α α jj = (44) = jj α σ jj α jj = jj jj (45) In Table 4, Table 5 and Table 6 we have summarzed our fndngs for all smple fnte dmensonal Le algebras. Note that for notatonal reasons, the decomposton of a Weyl reflecton may depend on other decompostons gven (above t) n the tables. Table 4 g Decompostons of classcal Weyl reflectons A r = σ... σ j σ j σ j... σ B r = σ... σ j σ j σ j... σ = σ... σ r σ r σ r... σ = jj σ α jj r C r r = σ... σ j σ j σ j... σ = σ r... σ... σ r = σ j... σ r σ r... σ j r = r σ r r j < r r D r = σ... σ j σ j σ j... σ = σ r σ r... σ... σ r σ r < r r = σ r σ r... σ... σ r σ r,r = σ j... σ r,r σ r... σ j j < r 9
Table 5 g Decompostons of classcal Weyl reflectons E 6 j j 3j 45 = σ... σ j σ j σ j... σ = σ 6 σ 6 3 j 5 j σ 6 = σ 6 j = σ j = σ 3 35 σ σ 3 ±±±±± (one, poston ) = σ 5 ±±±±± (three, postons <j<k) = σ 5 ±±±±± (three, postons <j<k) = σ α = σ 45 α σ 5 σ 3 α σ 3 α 45 σ 5 = E 7 j j 3j 4j 56 = σ... σ j σ j σ j... σ = σ 7 σ 7 3 j 6 j σ 7 = σ 7 j = σ j = σ 3 3j = σ 4 46 σ σ 3 σ 4 ±±±±±± (one, poston ) = σ 6 ±±±±±± (three, postons <j<k) = σ 6 ±±±±±± (three, postons <j<k) = σ α ±±±±±± (fve, postons <j<k<l<m) = σ lm α σ 6 = 56 34 σ 6 34 56 σ θ = σ 6 σ 6 σ 6 lm = = 0
Table 6 g Decompostons of classcal Weyl reflectons E 8 j j = σ... σ j σ j σ j... σ j 8 = σ 8 σ 8 3 j 7 j σ 8 3 j 7 = σ 8 j = σ,j ±±±±±±± (one, poston ) = σ 3 6 σ 7 ±±±±±±± (three, postons <j<k) = σ 7 ±±±±±±± (three, postons <j<k) = σ α ±±±±±±± (fve, postons <j<k<l<m) = σ lm α ±±±±±±± (fve, postons <j<k<l<m) = lm = 67 45 78 = σ 7 σ 7 8 = σ,8 8 = σ 7 σ 7 8 = σ,8 σ 7 3 σ 7 3 lm 45 σ 7 67 σ 7 lm j 8 = = σ < 7 σ 7 F 4 = σ 4 σ σ 4 = σ 3 σ 3 = σ 4 σ 4 = σ σ = σ 3 σ 3 = σ 4 σ 4 = σ σ = σ σ = 33 = = σ 3 σ σ 3 σ 4 α = σ 3 = σ 3 α σ 4 α = σ 4 = jj jj G 3 = σ σ σ 3 = σ σ σ σ σ = σ σ σ σ θ = σ σ σ σ σ
Obvously, these decompostons are not unque. In Table 4, Table 5 and Table 6 we have only lsted one soluton for each type of roots and not ncluded all the fundamental Weyl reflectons themselves. 4 Conclusons In ths paper we have provded explct decompostons of affne Weyl reflectons n terms of fundamental reflectons. Together wth the dfferental operator realzatons of the Le algebras [, ], ths result allows generalzng the work [7] on fuson rules n affne SL() current algebra to more general affne current algebras. We ntend to come back elsewhere wth a dscusson along these lnes [6]. Generalzatons to superalgebras are also nterestng. Recently, we have presented dfferental operator realzatons of basc Le superalgebras [4]. However, n order to determne the fuson rules n affne current superalgebras along the lnes of Awata and Yamada [7] we need to work out not only decompostons of affne Weyl (super-)reflectons but also Malkov-Fegn-Fuks type [] expressons for the sngular vectors. Studes of these ssues would be nterestng to undertake n future works. Acknowledgement The author thanks V.K. Dobrev for a copy of the unpublshed preprnt [4] and for pontng out reference [5].
A Embeddng of Root Systems In ths appendx we revew the well known embeddngs (see e.g. [3]) of the root systems n R n by means of an orthonormal bass {e } =,...,n. In the case of g = B r, C r, D r, E 8, F 4 we have n = r, n the case of g = A r, E 7, G we have n = r whle for g = E 6 n = r. The normalzatons of the root systems are such that the short roots have length squared equal to, except for B r and F 4 where the long roots have length squared equal to. However, a fxng of the root lengths here s of no mportance for the general arguments n the man body of ths paper where we keep the normalzaton of the root system (θ ) a free parameter. The explct embeddngs are gven n the followng tables, Table 7, Table 8 and Table 9. Table 7 g Smple roots A r α = e e r α = e e j < j r θ = r = α = e e r B r α = e e < r α ± = e ± e j < j r α r = e r α = e r θ = α r = α = e e C r α = e e < r α ± = e ± e j < j r α r = e r α = e r θ = r = α α r = e D r α = e e < r α ± = e ± e j < j r α r = e r e r θ = α r = α α r α r = e e 3
Table 8 g Smple roots E 6 α = e ( e 4 α ± = ±e e j < j 5 α 5 = e ) ( 7 j= e j e 8 α ±±±±± = 5j= ) (±)e j e 6 e 7 e 8 even number of mnus sgns α 6 = e e θ = α 3α α 3 α 4 ( α 5 α 6 = 5j= ) e j e 6 e 7 e 8 E 7 α = e ( e 5 α ± = ±e e j < j 6 α 6 = e ) 7 j= e j e 8 α 78 = e 7 e 8 ( α 7 = e e α ±±±±±± = 6j= ) (±)e j e 7 e 8 odd number of mnus sgns θ = 3α 4α 3α 3 α 4 α 5 α 6 α 7 = e 7 e 8 E 8 α = e( e 6 α ± = ±e e j < j 8 α 7 = e ) ( 7 j= e j e 8 α ±±±±±±± = 7j= ) (±)e j e 8 even number of mnus sgns α 8 = e e θ = 4α 6α 5α 3 4α 4 3α 5 α 6 α 7 3α 8 = e 7 e 8 4
Table 9 g Smple roots F 4 α = (e e e 3 e 4 ) α ±±± = (e ± e ± e 3 ± e 4 ) α = e e 3 α ± = e ± e j < j 4 α 3 = e 3 e 4 α = e 4 α 4 = e 4 θ = α α 3α 3 4α 4 = e e G α = e e α, α α = e e e 3 α 3 = e e 3, α 3 = e e 3 α = e e e 3 α = e e e 3 θ = 3α α = e e e 3 References [] V.G. Kac, Infnte Dmensonal Le Algebras, (3rd edton, Cambrdge Unv. Press, 990) [] F.G. Malkov, B.L. Fegn and D.B. Fuks, Funkt. Anal. Prlozhen 0 (986) 5 [3] J. Fuchs, Affne Le Algebras and Quantum Groups, (Cambrdge Unv. Press, 99) [4] V.K. Dobrev, Multplet Classfcaton of the Indecomposable Hghest Weght Modules over Affne Le Algebras and Invarant Dfferental Operators: the A () l Example, IC/85/9, preprnt [5] V.K. Dobrev and E. Sezgn, Int. Jour. Mod. Phys. A 6 (99) 4699 [6] J. Rasmussen, Fuson Rules n Affne Current Algebras, work n progress [7] H. Awata and Y. Yamada, Mod. Phys. Lett. A7 (99) 85 [8] V.G. Kac and D.A. Kazhdan, Adv. Math. 34 (979) 97 5
[9] V.G. Kac and M. Wakmoto, Proc. Natl. Acad. Sc. USA 85 (988) 4956; V.G. Kac, and D.A. Kazhdan, Adv. Ser. Math. Phys., Vol. 7 (World Scentfc, 989), p. 38 [0] I.P. Ennes and A.V. Ramallo, Fuson Rules and Sngular Vectors of the osp( ) Current Algebra, US-FT-/97, hep-th/9704065, preprnt [] J. Rasmussen, Applcatons of Free Felds n D Current Algebra, Ph.D. thess (The Nels Bohr Insttute, 996), hep-th/96067 [] J.L. Petersen, J. Rasmussen and M. Yu, Free Feld Realzatons of D Current Algebras, Screenng Currents and Prmary Felds, NBI-HE-97-, AS-ITP-97-0, hepth/970405, accepted for publcaton n Nucl. Phys. B [3] R.V. Moody and A. Panzola, Le Algebras wth Trangular Decompostons, (John Wley and Sons, 995) [4] J. Rasmussen, Free Feld Realzatons of Affne Current Superalgebras, Screenng Currents and Prmary Felds, NBI-HE-97-5, hep-th/970609, preprnt 6