arxiv:q-alg/ v1 14 Feb 1997

Transcription

1 arxiv:q-alg/97009v 4 Feb 997 On q-clebsch Gordan Rules and the Spinon Character Formulas for Affine C ) Algebra Yasuhiko Yamada Department of Mathematics Kyushu University September 8, 07 Abstract A q-analog of the Clebsch Gordan rules for the tensor products of the fundamental representations of Yangian is introduced. Its relation to the crystal base theory and application to the spinon character formulas are discussed in case of C ) explicitly. Introduction In 99, Reshetikhin conjectured the following particle structure of the onedimensional g-invariant spin chain models []. There exist r= rankg) kinds of particles, each of them corresponds to a fundamental representation of g, or more precisely, of Yangian Yg). Each particle is a kink. They intertwine two integrable representations satisfying the admissibility condition, i.e. the restricted fusion rule. The exchange relations of these particles are described by tensor product of the Vertex-type of the Yangian and RSOS-type R-matrices. The origin of this conjecture is the coincidence of the TBA equations based on the Bethe equation for the spin chain and on the S-matrix theory. It is natural to look for a description of the space of states in terms of these particles, rather than in terms of symmetry currents. Such a particle description was first obtained for sl) level WZW model, and generalized to higher rank and/or level cases. Such basis and corresponding character formulas are called the spinon basis and the spinon character formulas [, 3, 4, 5, 6, 7, 8]. Generalizing the known cases, we will formulate spinon character formulas for C ) case.

2 a 9 35 a Λ α Λ α Figure : The representations of C Denote by n the irreducible representationof C of dimension n. Some lower dimensional representations are listed in Fig.. Let n k) be the integrable representation of affine Lie algebra C ) of level k such that the L 0 -ground space is n. For simplicity, let us consider V = ) case. The space V has a weight decomposition V = n=0v n w.r.t. L 0 -operator. And each weight space V n can be further decomposed into irreducible g-modules, for instance V 0 =, V = 0, V = , V 3 = )

3 One can represent this L 0 g-module decomposition formally as V = V 0 +qv +q V +... = +q0+q )+... = + q q) q+q5+0)+ q q) q +q0+4)+...,.) where q) n = q) q ) q n ), and the expression /q) n should be considered as a formal power series in q. The last expression can be interpreted in terms of the particle picture. The first term is the contribution of the unique ground state. The second term is the contribution of the two particles each of them in 4 representation, and the third term comes from 5. One can recognize the expression [4 ] = q+q5+0, [5 ] = q +q0+4,.3) are q-analog of the Clebsch Gordan rules. For any integrable representation V of C ), it is natural to expect the following formula V = n,m=0 Pq) q) n q) m [4 n 5 m ],.4) where Pq) is some polynomial. The aim of this note is to formulate this expectation as explicit as possible, and check them. The paper is organized as follows. In section, the first definition of the q-clebsch Gordan rules are formulated using a result from the Bethe ansatz [0,,, 3]. In section 3, we prepare some basic data from the crystal theory in C ) case. In section 4, we propose the second definition of the q-clebsch Gordan rules including the restricted case, and apply them to the character formulas. Section 5 is for summary and discussions. q-clebsch Gordan rules via Bethe ansatz Let g be a finite dimensional simple Lie algebra of rank r. Let Λ a, α a and α a = α a /α a, a =,,r) be the fundamental weighs, simple roots and co-roots. We normalize them so that θ = for the long root θ. For a pair of dominant integral weights λ,µ, we define a polynomial M λ,µ q) by the following formula, M λ,µ q) = m q cm) r a=i= [ P a i m)+m a i m a i ]..) q 3

4 The sum is taken over the nonnegative integers m a i a =,,r and i =,, ) such that r λ = µ im a i )α a..) The number Pi a m) is defined by a= i= P a i m) = α a,µ) r b= j= Φ a,b i,j mb j,.3) Φ a,b i,j = α a,α b ) α aα min{iα a,jα b},.4) b The q-binomial coefficients are defined as [ ] a = q) a+b,.5) b q) a q) b q with q) a = q) q ) q a ), and finally, the charge c is given by cm) = r Φ a,b i,j ma im b j..6) a,b=i,j= The definition of M λ,µ comes from the analysis of the Bethe ansatz equation [0,, ]. We denote by Vλ) the irreducible highest weight representation of g with highest weight λ. Denote by W a the minimal irreducible representation of U q g) or Yangian Yg) such that W a VΛ a ). Consider irreducible decomposition of tensor products of these representations W a as g-modules W n W n W nr r = λ M λ,µ Vλ),.7) where n a = α a,µ). By the analysis of the Bethe ansatz equation, the following formula for the multiplicity M λ,µ is obtained []see also []) M λ,µ = r [ ] P a i m)+m a i m a..8) m i a=i= The above definition of M λ,µ q) is a q-analogue of the formula M λ,µ. In this sense, we define the q-clebsch Gordan rules as follows [W n W n W nr r ] = λ M λ,µ q)vλ),.9) In case of g = sl r+, M λ,µ q) is nothing but the Kostka polynomial K λ,µ q), where µ is the transposition of µ as a Young tableaux [9, 3]. And in this case, a crystal theoretic formula of the Kostka polynomial is known [7, 8, 9, 0]. We will generalize it for g = C case. 4

5 3 The Isomorphism and the Energy function Inwhatfollows,weconcentrateontheC ) case. Wecallasequence p p...p m of letters p i {a,b,c,d,e,,,3,4} as a word. In the crystal theory, 4 = {,,3,4} and 5 = {a,b,c,d,e} are the crystal base for the two fundamental ) [4, 5, 6, 7]. Each word labels the crystal base of corresponding tensor product. For instance, abc is a base in By considering a word as a label of the crystal base, one can define an isomorphism and a weight function on them [7]. Here we give their explicit description for the C case. The relevant crystal graphs are given in Appendix. The isomorphism is a rule to identify words corresponding to the equivalent vertices on the crystal graphs. The rule consists of local identification rules concerning two adjacent letters. For 4 and 5 cases, the isomorphism is trivial identity) map. The isomorphism 5 4 = 4 5 is given by representations of C and also for C ) a = a b = b c = b d = c e = 3c a = a b = 3a c = 4a d = d e = 3d a3 = c b3 = 3b c3 = 4b d3 = 4c e3 = 3e a4 = d b4 = e c4 = e d4 = 4d e4 = 4e The Energy function H is a Z-valued function defined for two letters. Explicitly, they are given as follows. { 0, if ij =,,,3,3,33,4,4,43,44 Hi,j) =, if ij =,3,3,4,34,4. 3.) 0, if uv = aa,ba,bb,ca,cb,da,db,dc,dd,ea,eb,ec,ed,ee Hu,v) =, if uv = ab,ac,ad,bc,bd,be,cc,cd,ce,de, if uv = ae. 3.) Hu,j) = Hj,u) = { 0, if uj = a,a,b,b,b3,c,c,c3,d,d,d3,d4,e,e,e3,e4, if uj = a3,a4,b4,c4. 3.3) { 0, if ju = a,b,a,b,c,d,3a,3b,3c,3d,3e,4a,4b,4c,4d,4e, if ju = c,d,e,e. 3.4) 5

6 Here, the sign of H is different from the conventional one. The weight of a word p p...p m is defined as the sum of the index, indp i ), of each letter p i. weightp p...p m ) = m indp i ). 3.5) indp i ) is defined as follows. It is easy to describe it by an example. Let us consider the index of the 4-th letter in the word ae3. By using the isomorphism, onecanmovethe letter tothe top ofthe sequenceasfollows i= ae)3 ae)3 a3)c3 cc3. 3.6) The index is defined as the sum of the Energy function H corresponding to the local exchange at each step H,)+He,)+Ha,3) = +0+ =. 3.7) By similar counting, the index of each letter in the word ae3 is determined as inda) = 0, inde) =, ind) =, ind) =, ind3) = ) Hence, the weight of the word ae3 is = 8. 4 q-clebsch Gordan rules via Crystal theory Here we propose another definition of the q-clebsch Gordan rules. A path is a sequence of arrows on the weight diagram. Each arrow corresponds to one word,,3,4,a,b,c,d or e as depicted in Fig.. Let us recall the level k-restricted) fusion rules. For k = case, there are three integrable representation of C ), denoted by ), 4 ) and 5 ) respectively. Their fusion rules are, for 4 and ) 4 ), 4 ) 5 ), 4 ) 4 ), 5 ) 3 4 ), 4.) ) a 5 ), 4 ) c 4 ), 5 ) e ), 4.) for 5. One can express the fusion rule by the diagram Fig.3. For the higher level k cases, one can represent the fusion rule by a similar diagrams. As an example, we present the diagram for k = 3 Fig.4). If the level k is large enough, the 6

7 fusion rule is noting but the ordinary Clebsch Gordan rule i.e. the unrestricted fusion rule). A path that satisfy the restricted [unrestricted] fusion rule is called the restricted [unrestricted] fusion path. A weight of a path is defined as the weight of corresponding word. We usually put the starting point of the path on k). If the end point is n k), we call the path a n k) -path. For instance, there exist two level -restricted 4 ) -paths in 5 4 3, such as ae4 = [ ) a 5 ) e ) 4 ) 4 ) 4 ) ], ae3 = [ ) a 5 ) e ) 4 ) 5 ) 3 4 ) ]. 4.3) Now we define the level k-restricted q-clebsch Gordan rules as, [4 n 5 m ] k) = q weightp) n k), 4.4) n p where the sum is taken over all the restricted n k) -path in the tensor product 4 n 5 m. By the isomorphism described in previous section, there are different but equivalent) way to represent tensor products. For instance, one has which maps the two paths above as ae4 a3e, ae3 a34a3. 4.5) Since the H-function is invariant w.r.t. the isomorphism, the q-clebsch Gordan rulesareindependentofthischoice, i.e. [ ] k) = [ ] k). We list some examples of level -restricted q-clebsch Gordan rules. -particles 3-particles 4-particles [4 ] ) = q ) +q5 ), [4 5] ) = q4 ), [5 ] ) = q ), 4.6) [4 3 ] ) = q +q 3) 4 ), [4 5] ) = q 3 ) +q 5 ), [4 5 ] ) = q 3 4 ), [5 3 ] ) = q 4 5 ), 4.7) [4 4 ] ) = q 4 +q 6) ) + q 4 +q 5) 5 ), [4 3 5] ) = q 4 +q 5) 4 ), 7

8 [4 5 ] ) = q 5 ) +q 5 5 ), [4 5 3 ] ) = q 6 4 ), [5 4 ] ) = q 8 ). 4.8) For the unrestricted case, the q-clebsch Gordan rules are listed in the appendix 3. From these explicit examples, we observe the following Conjecture. The unrestricted q-clebsch Gordan rules are coincide with the q-clebsch Gordan rules defined in section. Finally, we will formulate the spinon character formulas as an application of the q-clebsch Gordan rules. As in the section, let n k) be the integrable representation of affine C ) algebra with level k and with L 0 -ground space n. Using the restricted) q-clebsch Gordan rules, one can formulate the particle structure of the space n k) as follows, Conjecture. The representation n k) has the following particle decomposition n k) = n,m=0 Pq) q) n q) m [4 n 5 m ], 4.9) where Pq) is the coefficient of the n k) in the restricted q-clebsch Gordan rule [4 n 5 m ] k). This formula is consistent with the known results for g = sl r+ [4, 8]. 5 Summary and Discussions We proposed two definitions of the q-clebsch Gordan rules based on the Bethe ansatzsection ) and crystal theorysection 4), and apply them to the character formulas for affine Lie algebra C ). These two definitions are expected to be equivalent. Similar results has been proved in case of g = sl r+ [7] by using known properties on the Kostka polynomials. We remark a crucial difference between sl r+ and other cases. There exist a generalization of the Kostka polynomials for all Lie algebras as the q-analog of the weight multiplicity. However, as we clarified in C ) case explicitly, what we need for the character formula is the q-analog of the tensor product multiplicity. The latter one is different from the former except for g = sl r+ cases. Another interesting problem is to find the Bethe ansatz formula for the restricted fusion path counting. 8

9 Acknowledgment. I would like to thank A. Nakayashiki and A. N. Kirillov for valuable discussion. 9

10 Appendix : Crystal graphs The crystal graphs for the fundamental representations 4 and 5 are 3 4. a b c d For the tensor product 4 4 = 5 0, one has 3 e Similarly, for 5 5 = 0 4, aa ab ba ca da ea bb cb db ac bc eb cc dc ec ad bd cd dd ed ae be ce de ee. 0

11 For the tensor products 4 5 = 5 4 = 4 6, one has and a a 3a 4a b c b 3b 4b c 3c d d 3d e e 3e 4c 4d 4e. a b c d e a b c a3 d e b3 c3 d3 a4 b4 c4 d4 e3 e4.

12 Appendix : Restricted fusion path Table : level k = ) -path particle content pathweight) φ ae 4 5 a ae aeae a334 7 a aea ae44 0 ae aeae aeaeae 8

13 Table : level k = 4 ) -path particle content pathweight) a ae a33 4 a aea ae4 7 ae aeae a333 9 a334 0 a344 a aea33 aea aeaea3 5 Appendix 3 : q-clebsch Gordan rules -particles 3-particles 4-particles [4 ] = q+q5+0, [4 5] = q4+6, [5 ] = q +q0+4, [4 3 ] = q +q +q 3) 4+ q +q ) 6+0, [4 5] = q 3 + q +q ) 5+ q +q ) 0+q4+35, [4 5 ] = q +q 3) 4+ q +q ) 6+q0+40, [5 3 ] = q +q 3 +q 4) 5+q 3 0+ q +q ) [4 4 ] = q +q 4 +q 6) + q +q 3 +q 4 +q 5) 5+ q +q +q 3 +q 4 +q 5) 0+ q +q 4) 4+ q +q +q 3) a, [4 3 5] = q +q 3 +q 4 +q 5) 4+ q +q +q 3 +q 4) 6+ q +q +q 3) 0+ q +q ) 40+64, [4 5 ] = q 3 +q 5) + q 3 +q 4 +q 5) 5+ 3

14 Table 3: level k = 5 ) -path particle content pathweight) 5 a a3 5 3 aea ae a33 6 a aea aeaea ae4 0 ae aeae 3 q +q 3 +q 4) 0+ q +q +q 3) 4+ q +q +q 3) 35+q30+q35 a +8, [4 5 3 ] = q 3 +q 4 +q 5 +q 6) 4+ q +q 3 +q 4 +q 5) 6+ q +q 3 +q 4) 0+ q +q +q 3) 40+ q +q ) 64+80, [5 4 ] = q 4 +q 6 +q 8) +q 6 5+ q 3 +q 4 +q 5 +q 6 +q 7) 0+ q +q 3 +q 4 +q 5 +q 6) 4+ q 3 +q 4 +q 5) 35+ q +q 4) 35 a + q +q +q 3)

15 References [] N. Reshetikhin, S-matrices in integrable models of isotropic magnetic chains I, J. Phys. A: Math. Gen. 4, ) [] D. Bernard, V. Pasquier and D. Serban, Spinons in conformal field theory, Nucl. Phys. B48, ) [3] P. Bouwknegt, A. Ludwig and K. Schoutens, Spinon bases for higher level SU) WZW models, Phys. Lett. B359, ) [4] P. Bouwknegt and K. Schoutens, The SUN) WZW models: Spinon decomposition and Yangian structure. hep-th/ [5] T. Arakawa, T. Nakanishi, K. Ooshima and A. Tsuchiya, Spectral decomposition of path space in solvable lattice model, Comm. Math. Phys ) [6] A. Nakayashiki and Y. Yamada, Crystallizing the spinon basis, Comm. Math. Phys. 78, 79-00,996) [7] A. Nakayashiki and Y. Yamada, Kostka polynomials and energy functions in solvable lattice models, q-alg/9507 [8] A. Nakayashiki and Y. Yamada, On spinon character formulas, in Frontiers in Quantum Field Theories ed. by H. Itoyama et. al., World Scientific, 996) [9] I. Macdonald, Symmetric functions and Hall polynomials, second edition, Oxford Univ. Press 995) [0] A. N. Kirillov and N. Reshetikhin, The Bethe ansatz and the combinatorics of Young tableaux, J. Soviet Math. 4, ) [] A. N. Kirillov and N. Reshetikhin, Representations of Yangians and multiplicity of occurrence of the irreducible components of the tensor product of representations of simple Lie algebras, J. Soviet Math. 5, ) [] A. Kuniba, T. Nakanishi and J. Suzuki, Functional relations in solvable lattice models: I, Int. J. Mod. Phys. A9, ) [3] A. N. Kirillov, Dilogarithm identities, Prog. Theor. Phys. Suppl.8, ), hep-th/94083 [4] M. Kashiwara, On crystal bases of the q-analogue of universal enveloping algebras, Duke Math. J. 63 No., ) [5] S-J. Kang, M. Kashiwara, K. Misra, T. Miwa, T. Nakashima and A. Nakayashiki, Affine crystals and vertex models, Int. J. Mod. Phys. A7, Suppl. A, ) 5

16 [6] S-J. Kang, M. Kashiwara, K. Misra, T. Miwa, T. Nakashima and A. Nakayashiki, Perfect crystals of quantum affine Lie algebras, Duke Math. J.68 No.3, ) [7] M. Kashiwara and T. Nakashima, Crystal graph for representations of the q-analogue of classical Lie algebras,j. Alg. 65, ) [8] S. Dasmahapatra, On the combinatorics of row and corner transfer matrices of the A ) n restricted models, hep-th/95095 [9] S. Dasmahapatra and O.Foda, Strings, paths, and standard tableaux, q- alg/9600 [0] A. Kuniba, K. C. Misra, M. Okado T. Takagi and J. Uchiyama, Demazure modules and perfect crystals, q-alg/

17 3 4 4 b a c e d 5 Figure : The weights and corresponding arrows Figure 3: The fusion rule for level k = Figure 4: The fusion rule for level k = 3 7