arxiv:q-alg/ v1 19 Jul 1996

Transcription

1 SKEW YOUNG DIAGRAM METHOD IN SPECTRAL DECOMPOSITION OF INTEGRABLE LATTICE MODELS Anatol N. Kirillov, Atsuo Kuniba, and Tomoki Nakanishi 3 arxiv:q-alg/960707v 9 Jul 996 Department of Mathematical Sciences, University of Tokyo Komaba, Meguro-ku, Tokyo 53, Japan Institute of Physics, University of Tokyo Komaba, Meguro-ku, Tokyo 53, Japan 3 Department of Mathematics, University of North Carolina Chapel Hill, NC 7599, USA July, 996 Abstract. The spectral decomposition of the path space of the vertex model associated to the vector representation of the quantized affine algebra U q (ŝl n) is studied. We give a one-to-one correspondence between the spin configurations and the semistandard tableaux of skew Young diagrams. As a result we obtain a formula of the characters for the degeneracy of the spectrum in terms of skew Schur functions. We conjecture that our result describes the sl n -module contents of the Yangian Y (sl n )- module structures of the level integrable modules of the affine Lie algebra ŝl n. An analogous result is obtained also for a vertex model associated to the quantized twisted affine algebra U q (A () n ), where Y (B n) characters appear for the degeneracy of the spectrum. The relation to the spectrum of the Haldane-Shastry and the Polychronakos models are also discussed. Permanent address: Steklov Mathematical Institute, Fontanka 7, St. Petersburg, 90, Russia 3 Permanent address: Department of Mathematics, Nagoya University, Chikusa-ku, Nagoya 464, Japan

2 SKEW YOUNG DIAGRAM METHOD. Introduction The corner transfer matrix (CTM) has been attracting much attention in the recent study of integrable lattice models based on the Yang-Baxter equation [3]. The CTM acts on the space of paths, which is often identified with the semi-infinite tensor product of a finite-dimensional quantum group module. It is well known that the trace of the CTM of a vertex model associated to the quantized affine algebra U q (ĝ) is related to affine Lie algebra characters. We call this correspondence the DJKMO (Date-Jimbo-Kuniba-Miwa-Okado) correspondence. In [] a fine structure of the CTM spectrum, called the spectral decomposition, is studied in the U q (ŝl ) vertex models. The idea behind it is as follows: The logarithmic derivative of the CTM is regarded as the energy operator, or the Hamiltonian, of the path space. As a nature of an integrable system, we expect that there exists a family of commuting operators (the integrals of motion) which act on the path space and commute with the Hamiltonian. The spectral decomposition is the simultaneous diagonalization of these integrals of motion. The degeneracy of the spectrum, then, reflects the non-abelian symmetry which commutes with these integrals of motion. In the meanwhile, the action of the Yangian algebra Y (sl ) is defined on the level integrable modules of the untwisted affine Lie algebra ŝl in [], and their Y (sl )- module structures are determined [6]. It turns out that the degeneracy of the spectrum of the CTM Hamiltonian in the U q (ŝl ) vertex model exactly describes the Y (sl )- module structure of the level integrable modules []. We believe this coincidence is a universal phenomena. Namely, we expect that a similar coincidence occurs between the spectrum of the commutant of the non-abelian, probably some quantum group, symmetry of a conformal field theory and the CTM spectrum in the corresponding lattice model. Motivated by this expectation, in this paper we study the spectral decomposition of the vertex model of the vector representation of the U q (ŝl n). The counter part of the DJKMO correspondence is the level integrable modules of ŝl n. The action of the Yangian Y (sl n ) on these modules is defined in [], but the Y (sl n )-module structure is not fully studied yet (however, see [5] for a related result). In this paper we determine the characters of the degeneracy of the spectrum, and show that they are the characters of irreducible Y (sl n )-modules as expected. Therefore, we conjecture that our spectral decomposition exactly describes the Y (sl n )-module structure of the level integrable modules at the character level. Conceptually, the spectral decomposition in the sl n case is formulated just as in the case of sl. However, due to the complexity of the irreducible modules of Y (sl n ) for n 3, the incidence matrix technique used in [] is not very efficient. A key to overcome this difficulty is the observation that there exists a natural one-to-one correspondence between the paths of the vertex model and the semi-standard tableaux of certain skew Young diagrams. The appearance of the skew Young diagrams is not

3 SKEW YOUNG DIAGRAM METHOD 3 quite unexpected, because they label a family of Y (sl n )-modules, called the tame modules in [0]. Thanks to this correspondence, we can express the characters of the degeneracy of the spectrum in terms of the skew Schur functions. This enables us to identify them as irreducible Y (sl n ) characters. It is possible to extend our analysis for a vertex model associated to the quantized twisted affine algebra U q (A () n). The characters of the degeneracy of the spectrum are analogues of the skew Schur functions. They are conjectured in [8] to be irreducible Y (B n ) characters. The content of the paper is as follows: In section we review the DJKMO correspondence for the vertex model in the sl n case. In section 3 we formulate the spectral decomposition of the model. In section 4 some properties of skew Young diagrams and skew Schur functions are given. In section 5 we describe the correspondence between the configurations of the vertex model and the semi-standard tableaux, and determine the characters of the degeneracy of the spectrum. In section 6 the identifications with irreducible Y (gl n ) and Y (sl n ) characters are given. In section 7 we discuss the relation with the spectrum of other type of spin models, such as the Haldane-Shastry model and the Polychronakos model. In section 8 an analogous result for an U q (A () n) vertex model is presented. In Appendix A the equality between the skew Schur functions and the Rogers-Szegö polynomials is proved. In Appendix B a new combinatorial description of the Kostka-Foulkes polynomials is given. In Appendix C we describe the level character of A () n.. DJKMO correspondence We review the correspondence between the CTM spectrum of the vertex models of the vector representation of U q (ŝl n) and the affine Lie algebra characters of ŝl n [8]. For given two infinite sequences, a = (a, a,...) and b = (b, b,...), of any kind of objects a i, b i, we write a b if a i b i only for finitely many i. We often use a shorthand notation a = (a,...,a k, (a k+,...,a k+m ) ) for such a periodic sequence as a = (a,...,a k, a k+,...,a k+m, a k+,...,a k+m,...). Let Λ,..., Λ n be the fundamental weights of the Lie algebra sl n, and let ǫ i = Λ i Λ i (.) for i =,...,n with Λ 0 = Λ n = 0. Then B(Λ ) = {ǫ,...,ǫ n } is the set of all the weights of the irreducible representation (vector representation) of sl n whose highest weight is Λ. We give a total ordering in B(Λ ) as ǫ ǫ ǫ n. We define the local energy function H : B(Λ ) B(Λ ) {0, } as 0 if ǫ i ǫ j, H(ǫ i, ǫ j ) = (.) if ǫ i ǫ j.

4 4 SKEW YOUNG DIAGRAM METHOD The function H will play an essential role in our study. It is the logarithm of the R-matrix associated to the vector representation of U q (ŝl n) in the limit q 0. An infinite sequence s = (s i ), s i B(Λ ), is called a spin configuration if it has a form s = (s,...,s m, (ǫ, ǫ,...,ǫ n ) ), where s,...,s m is an arbitrary finite sequence. Equivalently, s is a spin configuration if s s (k) for some k = 0,...,n, where s (k) = (ǫ, ǫ,...,ǫ k, (ǫ, ǫ,..., ǫ n ) ). (.3) The set of all the spin configurations S has a natural decomposition S = n k=0 S (k), S (k) = { s s s (k) }. (.4) For s = (s i ) S (k) we define its energy E( s) and sl n -weight wt( s) as E( s) = i { H(s i, s i+ ) H(s (k) i, s (k) i+) }, i= wt( s) = Λ k + i= (.5a) ( si s (k) ) i. (.5b) Proposition.. Let s = (s,...,s m, (ǫ,...,ǫ n ) ) be any element of S (k). Then m wt( s) = s i. Proof. Since m k modulo n, m i= s (k) i = Λ k. Thus m m s i = Λ k + (s i s (k) i ) = Λ k + (s i s (k) i ) = wt( s). i= i= i= i= There is a remarkable connection between the partition function of S (k) and an affine Lie algebra character. Theorem. (DJKMO correspondence [8, 5]). For k = 0,,..., n, let L(Λ k ) be the level integrable module of the untwisted affine Lie algebra ŝl n whose highest weight is the kth fundamental weight Λ k of ŝl n. Then the following equality holds: ch L(Λ k ) = q k c/4 q E( s) e wt( s) (.6a) s S (k) = q k c/4 q E( s) e wt( s), (.6b) s S (n k)

5 SKEW YOUNG DIAGRAM METHOD 5 where ch L(Λ k ), k = k(n k)/n, and c = n are the (normalized) character, the conformal dimension, and the Virasoro central charge of L(Λ k ), respectively [3]. In (.6b) S (n) = S (0). Remark. Often spin configurations are described by an alternative notion, paths. An infinite sequence p = (p i ) of ŝl n-weights is called a path if it satisfies the conditions: (i) p i+ p i B(Λ ), (ii) p = (p,...,p m, (Λ 0, Λ,...,Λ n ) ). It is clear that the map p = (p i ) s = (p i+ p i ) is a bijection from the set of all the paths P to S. By this identification our spin configurations are also called paths in some literature. The sl n -weight of a path p = (p i ) is defined as wt( p) = p. Then, under the bijection p s, wt( p) = wt( s) holds. It is this context where (.6b) is proved in [8]. The expression (.6a) follows from (.6b) by the Dynkin diagram automorphism α i α n i of sl n. 3. Spectral decomposition We introduce the local energy map h : S {0, } N such that h : s = (s i ) h = (h i ), h i = H(s i, s i+ ). (3.) Each number h i is called the ith local energy of s. We call the image Sp = h(s) the spectrum of S. Let Sp (k) = h(s (k) ). Then we have the decomposition Sp = n k=0 Sp(k). The element of Sp (k) is characterized as follows. Proposition 3.. An element h = (h i ) {0, } N belongs to Sp (k) if and only if it satisfies the conditions, (i) h i + h i+ + + h i+n for any i. (ii) h h (k), where h (k) := h( s (k) ) = (0,...,0,, (0,..., 0, ) ). }{{}}{{} k n (3.a) (3.b) One can paraphrase the condition (3.a) as There are at most n consecutive 0 s in h. Here we prove only the necessity of the conditions. The sufficiency will be proved after Prop. 5. in section 5. Proof. Let us assume h i = h i+ = = h i+n = 0. Then we have s i s i+ s i+n, from which s i+n = ǫ n follows. Therefore, h i+n = H(s i+n, s i+n ) = regardless of the value of s i+n. The condition (ii) is an immediate consequence of (.3). Any element h of Sp (k) is uniquely written in the form [m,...,m r ] := (0,..., 0,,...,0,..., 0,, (0,..., 0, ) ), m }{{}}{{}}{{} i n, m r n. m m r n (3.3)

6 6 SKEW YOUNG DIAGRAM METHOD Obviously Sp (k) = {[m,..., m r ] r 0, m i n, m r n, r m i k mod n}. i= The surjection h : S (k) Sp (k) induces the decomposition of S (k), S (k) = S h, S h = h ( h). (3.4) h Sp (k) We call this decomposition the spectral decomposition of S (k). Let us introduce the character of the degeneracy of the spectrum at h, ch S h = q k c/4 s S h q E( s) e wt( s) = q k c/4+ i= i(h i h (k) i ) χ h, χ h = s S h e wt( s). (3.5) As is standard in the character theory of sl n, we regard χ h = χ h (x) as a function of the variables x = e ǫ, x = e ǫ,...,x n = e ǫn with the relation x x x n =. Due to Theorem., the character of L(Λ k ) is decomposed as ch L(Λ k )(q, x) = q k c/4 h Sp (k) q i= i(h i h (k) i ) χ h (x). (3.6) The main purpose of the paper is to calculate the characters χ h and to show that they are irreducible characters of Y (sl n ). To do it, we make use of a hidden relation between spin configurations and skew Young diagrams. 4. Skew diagrams and skew Schur functions Let us recall the definitions of a skew diagram, a semi-standard tableau, and the skew Schur function. We basically follow the definitions and notations of [9]. A partition λ = (λ, λ,...,λ m ) is a non-increasing sequence of non-negative integers, λ λ λ m 0. We let λ = m i= λ i. The length l(λ) of λ is the number of the non-zero elements in λ. As usual, a partition λ is represented by a (Young) diagram, which is denoted by the same symbol λ. We conveniently identify the partitions (λ,...,λ m ), (λ,...,λ m, 0), (λ,...,λ m, 0, 0), etc. The conjugate of a partition λ is a partition λ whose diagram is the transpose of the diagram of λ along the main diagonal. For example, if λ = (4, 3, ), then its conjugate is λ = (3, 3,, ). For a pair of partitions λ and µ, we write λ µ if λ i µ i for any i. If λ µ, the diagram µ is naturally embedded inside the diagram λ. Then the skew (Young) diagram λ/µ (denoted by λ µ in [9]) is obtained by subtracting the diagram µ from the diagram λ. For example, if λ = (5, 4, 4, ) and µ = (4, 3,, 0), then λ/µ looks as

7 SKEW YOUNG DIAGRAM METHOD 7 m r m m Figure. A border strip m,...,m r. follows: We set λ/µ = λ µ. We say λ/µ is a skew diagram of rank n if the length of any column of λ/µ does not exceed n. Two boxes in a skew diagram are adjacent if they share a common side. A skew diagram λ/µ is connected if, for any pair of boxes a and a in λ/µ, there exits a series of boxes b = a, b,...,b j = a in λ/µ such that b i and b i+ are adjacent. A skew diagram is called a border strip if it is connected, and contains no block of boxes. Let m,...,m r denote the border strip of r columns such that the length of ith column (from the right) is m i (Fig. ). For a skew diagram λ/µ, we now define the skew Schur function s λ/µ. In each box of a given skew diagram λ/µ, let us inscribe one of the numbers,,..., n. We call such an arrangement of numbers a semi-standard tableau T of shape λ/µ, if it satisfies the following condition: Let a and b be the inscribed numbers in any pair of adjacent boxes. Then, (i) a < b if b is lower-adjacent to a. (ii) a b if b is left-adjacent to a. (4.a) (4.b) The sl n -weight of a semi-standard tableau T is defined as n wt (T) = m a ǫ a, (4.) a= where m a is the number counting how many a s are in T, and ǫ a is given in (.). Definition 4.. The skew Schur function s λ/µ is defined as s λ/µ (x) = e wt (T), x i = e ǫ i, (4.3) T SST(λ/µ)

8 8 SKEW YOUNG DIAGRAM METHOD where SST(λ/µ) is the set of all the semi-standard tableaux of shape λ/µ. The following proposition is well-known. See section 5 of [9] for a proof. Proposition 4.. The skew Schur function s λ/µ is also expressed as s λ/µ (x) = det(e λ i µ j i+j (x)) i,j r, (4.4) where r l(λ ), and e m = e m (x) is the mth elementary symmetric polynomial of variables x,..., x n for m = 0,..., n, and e m = 0 for other m. We impose the relation x x x n = throughout the paper. Then e m is the character of the mth fundamental representation of sl n with the highest weight Λ m for m =,..., n. The following properties of s λ/µ follow either from (4.3) or from (4.4): (i) If λ/µ is not a skew diagram of rank n, then s λ/µ = 0. (ii) When µ = (0), the expression (4.4) reduces to the Jacobi-Trudi formula of the ordinary Schur function s λ. (iii) Let c λ µν, λ = µ + ν, be the Littlewood-Richardson coefficient, i.e., s µ s ν = λ c λ µνs λ. Then, s λ/µ = ν c λ µνs ν. The conjugate s λ/µ of the skew Schur function s λ/µ is defined as s λ/µ = det(e n λ i +µ j +i j ) i,j r (4.5) = e wt (T). (4.6) T SST(λ/µ) It is also possible to express s λ/µ as a skew Schur function. Suppose λ/µ is of rank n with µ = (µ,...,µ m ). Then we have a new pair µ = (λ,...,λ }{{, µ },...,µ m ) λ, n and the compliment of λ/µ, (λ/µ) c := µ/λ, is also a skew diagram of rank n. The picture below illustrates the example of n = 4, λ = (5, 4, 3, ), µ = (3, ): λ/µ (λ/µ) c Proposition 4.. Let λ/µ be a skew diagram of rank n. Then s λ/µ = s (λ/µ) c. Proof. s (λ/µ) c = det(e n+µ i λ j i+j ) = det(e n λ i +µ j +i j ) = s λ/µ.

9 SKEW YOUNG DIAGRAM METHOD 9. n n a a 4 a 3 a a 6 a 5 Figure. A semi-standard tableau T of shape κ( h) for h = (0,,, 0,,..., (0,...,0, ) ). 5. Correspondence between spin configurations and semi-standard tableaux We proceed to calculate the character χ h of (3.5) using the language of skew diagrams and tableaux. For a given h Sp, we associate a skew diagram κ( h) of infinite-size in the following procedure:. Write the first box.. Attach the second box under (resp. left to) the first box if h = 0 (resp. h = ). 3. Similarly attach the i + th box under (resp. left to) the ith box if h i = 0 (resp. h i = ) for i =, 3,... Then κ( h) has the following properties. (i) It is a border strip. (ii) It is of rank n, i.e., the length of any column of κ( h) does not exceed n, due to (3.a). (iii) Due to (3.b), it has a periodic tail which consists of length-n columns. Equivalently, for h = [m,...,m r ], κ( h) is the border strip m,...,m r, n, n,.... A semi-standard tableau T of shape κ( h) is an arrangement of numbers,...,n in the boxes of κ( h) obeying the conditions (4.a) and (4.b), just in the same way as in the finite-size case. See Fig.. Notice that the arrangements in the length-n columns are uniquely determined, or frozen, because of the semi-standard condition (4.a). Since κ( h) is a border strip, one can give a total ordering of the boxes in it from the right to the left and from the top to the bottom in the unique way. Let (a i ) = (a, a,..., (,,..., n) ).

10 0 SKEW YOUNG DIAGRAM METHOD be the sequence of the content of T along the total ordering of the boxes. Now we have a natural map ϕ from the set of the semi-standard tableaux of shape κ( h) to the set of the spin configurations S defined by A key observation of this paper is ϕ( T) := (ǫ ai ) = (ǫ a, ǫ a,...,(ǫ, ǫ,..., ǫ n ) ). (5.) Proposition 5.. The map ϕ gives a one-to-one correspondence between the semistandard tableaux of shape κ( h) and the spin configurations in S h. Proof. A necessary and sufficient condition for a sequence (a, a,...), a i {,..., n} to be the sequence of the content of a semi-standard tableau of shape κ( h) is a i+ > a i, (resp. a i+ a i ) h i = 0, (resp. h i = ). (5.) This is an immediate consequence of the construction of κ( h) and (4.a,b). On the other hand (5.) is also a necessary and sufficient condition for a sequence (ǫ a, ǫ a,...) to belong to S h because of (.), (3.), and (3.4). The first application of Prop. 5. is to prove the sufficiency part of Prop. 3.. Proof. By Prop. 5. we have only to show that there exists at least one semi-standard tableau of shape κ( h) for any h. In fact, for a given h, a semi-standard tableau of shape κ( h) is obtained by filling the boxes by,, 3,... from the top to the bottom in each column. This completes the proof of Prop. 3.. For our purpose it is convenient to define a finite part κ( h) of the infinite diagram κ( h) by cutting off its periodic tail. Namely, for h = [m,..., m r ] we define κ( h) = m,..., m r. (For h = h (0), κ( h (0) ) is the empty diagram.) It is clear that the map κ : h κ( h) is injective, and we get the following description of the space of the spectrum Sp in terms of border strips. Theorem 5.. The space Sp is parametrized by the border strips of rank n such that the lengths of their leftmost columns are less than n. The following lemma is obvious. Lemma 5.3. There is a one-to-one correspondence between the semi-standard tableaux of shape κ( h) and the ones of shape κ( h). The correspondence is given by the restriction of a semi-standard tableau of shape κ( h) on κ( h). Combining the bijection in Lemma 5.3 with the bijection ϕ of (5.), we obtain a bijection ϕ : SST(κ( h)) S h.

11 SKEW YOUNG DIAGRAM METHOD Proposition 5.4. The bijection ϕ : SST(κ( h)) S h is weight-preserving, i.e., for any T SST(κ( h)), wt(ϕ(t)) = wt (T) holds. Proof. Let (a,...,a m ) be the content of T aligned along our total order of the boxes in κ( h). Then ϕ(t) = (ǫ a,...,ǫ am, (ǫ,...,ǫ n ) ). From Prop.. and (4.), we have wt(ϕ(t)) = m i= ǫ ai = wt (T). Now we state the first half of our main theorem. Theorem 5.5. (i) The character χ h of S h is equal to the skew Schur function s κ( h). (ii) Let h = [m,...,m r ] Sp. Then s κ( h) = s m,...,m r = 0 e mr e mr+m r e mr+ +m e mr e m e m +m 0 e m.. (5.3) (iii) The character of the level integrable module L(Λ k ) of ŝl n decomposes as ch L(Λ k )(q, x) = q 4 c q n κ (n κ )+t(κ) s κ (x) (5.4a) κ BS κ k mod n = q 4 c κ BS κ n k mod n q n κ (n κ )+t(κ) s κ c(x), (5.4b) where BS is the set of all the border strips κ = m,...,m r of rank n with m r < n, and t(κ) = r i= (r i)m i. Proof. The property (i) is an immediate consequence of Prop To show (ii), notice that the skew diagram m,...,m r is represented as λ/µ with a pair λ µ such that λ i = m + + m r+ i r + i, µ i = m + + m r i r + i. Substituting them into (4.4) we obtain the formula (5.3). The property (iii) follows from (3.6), Prop. 4., the property (i), and the fact that for h = [m,...,m r ] Sp (k) k + i= i(h i h (k) i ) = r n m(n m) + (r i)m i, m = i= r m i. i= Two expressions (5.4a) and (5.4b) differ from each other when n 3.

12 SKEW YOUNG DIAGRAM METHOD 6. Yangian characters In this section we show, based on the result of [0], that the characters χ h = s κ( h) are irreducible characters of the Yangian algebras Y (gl n ) and Y (sl n ). The Yangian of gl n, Y (gl n ), is an algebra generated by t ij (r), i, j =,...,n, r Z 0 with the relations [t ij (r), t kl (s )] [t ij (r ), t kl (s)] = t kj (s )t il (r ) t kj (r )t il (s ), where t ij ( ) = δ ij, t ij ( ) = 0. The elements t ij (0) generate the universal enveloping algebra of gl n. Therefore sl n acts on Y (gl n )-modules. Consider a pair of partitions λ µ with λ = (λ,...,λ N+n ), µ = (µ,..., µ N ), N. Let V λ be the irreducible gl N+n -module associated to λ, V µ be the irreducible gl N -module associated to µ, and V λ,µ be the space of the multiplicity of V µ in V λ under the standard embedding gl N gl N+n. There is an irreducible action of Y (gl n ) on the space V λ,µ, having a remarkable property (A module with such property is called a tame module [0]): Proposition 6. ([7, 0]). A maximal commutative subalgebra of Y (gl n ), called the Gelfand-Zetlin (GZ) algebra, acts on V λ,µ in a semi-simple way. Furthermore, a basis diagonalizing the GZ algebra is labeled by the GZ schemes of V λ,µ. A GZ scheme \Λ/ of V λ,µ is an array of integers λ mi, λ n λ n λ n,n+n λ λ λ N+n \Λ/ = = λ n, λ n,n+n λ 0 λ 0N λ n, λ n,n+n µ µ N satisfying the condition λ mi λ m,i λ m,i+. The sl n -weight of the basis vector labeled by \Λ/ is n m= { N+m i= λ mi N+m i= λ m,i } ǫ m. Lemma 6.. There is a weight-preserving, one-to-one correspondence between the GZ schemes of V λ,µ and the semi-standard tableaux of shape λ/µ. The correspondence is described as follows. For a given GZ scheme \Λ/, we have a sequence of partitions, λ (0) = µ λ () λ () λ (n) = λ, λ (m) = (λ m, λ m,..., λ m,n+m ).

13 SKEW YOUNG DIAGRAM METHOD 3 A semi-standard tableau of shape λ/µ is obtained by inscribing the number m in λ (m) /λ (m ), which is a part of the diagram λ/µ. For example, It is easy to check that this map is bijective and weight-preserving. It follows from Prop. 6. and Lemma 6. that the sl n -character of V λ,µ is equal to s λ/µ. In particular, we have Theorem 6.3. The character χ h = s κ( h) is the sl n -character of the irreducible Y (gl n )- module V λ,µ with λ/µ = κ( h). The Yangian of sl n, Y (sl n ), is generated by x ± ik, h ik, i =,..., n, k Z 0 with the relations [h ik, h jl ] = 0, [h i0, x ± jl ] = ±A ijx ± jl, [x+ ik, x jl ] = δ ijh ik+l, [h ik+, x ± jl ] [h ik, x ± jl+ ] = ± A ij(h ik x ± jl + x± jl h ik), [x ± ik+, x± jl ] [x± ik, x± jl+ ] = ± A ij(x ± ik x± jl + x± jl x± ik ), [ [ [ ] ]] x ± ik σ(), x ± ik σ(),..., x ± ik, x± σ( Aij ) jl... = 0, σ:permutation where A ij is the Cartan matrix of sl n. An irreducible finite-dimensional module of Y (sl n ) is characterized by n monic polynomials (the Drinfel d polynomials), P (u),..., P n (u). The polynomial P i (u) describes the action of h i (u) = + k=0 h ik u k on a highest weight vector v as h i (u)v = (P i (u + )/P i (u))v [9]. Proposition 6.4 ([0]). There is a one-parameter family of irreducible Y (sl n )-module structures on V λ,µ with a parameter b C, whose Drinfel d polynomials are [0] P i (u) = λ j= λ j µ j =i (u + (λ j + µ j) j + + b ). (6.) These Y (sl n )-module structures on V λ,µ are the ones induced by a one-parameter family of embeddings of Y (sl n ) into Y (gl n ). There is a simple pictorial interpretation of the zeros of P i (u) as shown in Fig. 3. As a corollary of Prop. 6.4, we obtain the second half of our main theorem: The Drinfel d polynomials here are the one in [9]. The convention in [0] is slightly different. Their P i (u) is equal to ( ) degpi P i ( u n/4 + i/) here.

14 4 SKEW YOUNG DIAGRAM METHOD 4 b 3 b b 3 b x = b Figure 3. An example: λ = (5, 4, 4, ), µ = (4, 3,, 0). The Drinfel d polynomials are P (u) = (u+3+b)(u+b)(u 4+b), P (u) = u 3 +b, and P i (u) = for i 3. The zeros of P i (u) are identified with the intersections of the line x = b and the diagonal lines passing through the middle points of the columns of length i. Theorem 6.5. The character χ h = s κ( h) is the sl n -character of the one-parameter family of the irreducible Y (sl n )-modules whose Drinfel d polynomials are given by (6.) with λ/µ = κ( h). We have shown that the characters χ h of the degeneracy of the spectrum are irreducible Y (sl n ) characters. Furthermore, the Y (sl n )-module structure of L(Λ k ) partially studied in [] agrees with (5.4a). Based on these strong evidences, we conjecture that Conjecture 6.6. The decomposition (5.4a) describes the Y (sl n )-module structure on L(Λ k ) of []. 7. The relation with the spectrum in other spin models 7.. The Haldane-Shastry model. The sl n Haldane-Shastry (HS) model is a lattice model with the Hamiltonian H HS = x j x k (x j x k )(x k x j ) (P jk ), x j = e π j/n j k N acting on the vector space V N, V = C n, where P jk exchanges the jth and kth components of V N. There is an action of Y (sl n ) on V N which commutes with the Hamiltonian H HS []. By this action the space V N decomposes as [5] V N d M N W d, (7.)

15 SKEW YOUNG DIAGRAM METHOD 5 where W d are certain irreducible Y (sl n ) modules described below. M N is the set of the binary sequences d = (d,...,d N ), d i {0, }, such that there are at most n consecutive s. The eigenvalue of H HS on the eigenspace W d is given by N i= id i(id i N). We notice that the condition for d M N turns into (3.a) through the identification h i = d i. For a given d M N, let hd = ( d, d,..., d N,, (0,..., 0, ) ) Sp. }{{} n We translate the description of the Y (sl n )-module structure of W d in [5] into our language as follows: Proposition 7. ([5]). As a Y (sl n )-module, the eigenspace W d is isomorphic to the irreducible module whose Drinfel d polynomials are given by (6.), where in (6.) λ and b are certain constants independent of d, and λ/µ = κ( h d ). Comparing Prop. 7. with Prop. 6.4 and Theorem 6.5, we obtain the following proposition, which answers the questions of the sl n -module content of W d and its factorizability asked in [5, 0,, ]. Proposition 7.. Let h d = [m,..., m r ]. Then (i) ch W d = s m,...,m r. (ii) s m,...,m r = s m,...,m i s mi+,...,m r if m i + m i+ n +. Proof. We only need to prove the property (ii), which follows from (5.3). 7.. The Polychronakos model. There is another relevant spin model, called the Polychronakos model. The sl n Polychronakos model has the Hamiltonian H P = j<k N E N = n n N (x j x k ) (P jk ) + E N, (7.) N(n N), (7.3) n acting on V N, V = C n, where x,...,x N are the zeros of the Hermite polynomial of degree N, and N N mod n, 0 N n. The constant E N is added to make the ground state energy zero. Define the partition function of the Polychronakos model Z P N(q, x) = tr V N q H P n i= x h i+ +h n i, (7.4) This intriguing relation between the spectrum of the HS model and the vertex model was first indicated by Bernard [4] in the sl case.

16 6 SKEW YOUNG DIAGRAM METHOD where h i s are the standard basis of the Cartan subalgebra of sl n. It is shown in [] that Z P N(q, x) = q E N H N (q, x), (7.5) where H N (q, x) is a generalization of the Rogers-Szegö polynomial [], H N (q, x) = k i Z 0 k + +kn=n (q) N (q) k (q) k (q) kn x k x kn n, (q) k = k ( q i ). i= (7.6) Again there is an action of Y (sl n ) on V N, which commutes with H P []. Based on a numerical study, it was conjectured in [] that. As a Y (sl n )-module, the spin space V N decomposes exactly in the same way as in (7.).. The eigenvalue E d of H P on W d is Let us introduce the sets, N E d = id i + E N. (7.7) i= Sp N = { h Sp (N) h i = h (N) i for i N}, (7.8) S N = { s S (N) s i = s (N) i for i N + }. (7.9) Lemma 7.3. Let N be a positive integer. Then (i) The map d h d is a bijection from M N to Sp N. (ii) h (Sp N ) = S N. (iii) For any d M N and s S hd, E d = E( s). (iv) The sl n -character of W d is s κ( hd ) = χ hd. We define ZN vertex (q, x) = q E( s) e wt( s), (7.0) s S N Then Lemma 7.3 and the above conjecture of [] claims the identification, Z P N = Z vertex N. (7.) This exact equivalence of two spectra is intriguing, because the Hamiltonian for Z vertex N is of nearest-neighborhood type, while H P is not. In fact, the following theorem proves (7.) directly, thereby providing a further support for the conjecture of []. Theorem 7.4. For any nonnegative integer N, we have q i= i(h i h (N) i ) s κ( h) (x) = q E N H N (q, x). h SpN

17 SKEW YOUNG DIAGRAM METHOD 7 A proof of Theorem 7.4 is given in Appendix A. As a corollary of Theorem 7.4 we get an expression q k c/4 q E( s) e wt( s) = N lim q k c/4+e N H N (q, x). (7.) s S (k) N k mod n The right hand side of (7.) converges to (cf. [, ]) which is equal to η(q) n k i Z k n k + +kn=0 η(q) n q k + + k n x k xkn n, η(q) = q 4 (q), γ n i= Zα i q Λ k+γ e Λ k+γ, (7.3) where α i s, α i =, are the simple roots of sl n. The series (7.3) is a well-known expression of ch L(Λ k ) [3]. Therefore we have obtained an alternative proof of Theorem.. As another corollary of Theorem 7.4, a new combinatorial description of the Kostka- Foulkes polynomials is obtained. See Appendix B. 8. Vertex model of U q (A () n) One can apply the skew diagram method also to a vertex model associated to the quantized twisted affine algebra U q (A () n ) [7] with an appropriate modification. We expect that the underlying algebra for the degeneracy is the Yangian of B n, Y (B n ). In contrast with the standard textbook [3], we regard A () n as an affinization of the Lie algebra B n rather than C n. Their Dynkin diagrams are depicted in Fig. 4. Let Λ i (i =,...,n) be the fundamental weights of B n, and let ǫ ±i = ±(Λ i Λ i ) for i =,...,n, ǫ ±n = ±(Λ n Λ n ), and ǫ 0 = 0. Then B(Λ ) = {ǫ ǫ n ǫ 0 ǫ n ǫ } is the set of all the weights of the vector representation of B n with a total ordering. The local energy function H : B(Λ ) B(Λ ) {0, } is defined as H(s, s 0 if s s or (s, s ) = (ǫ 0, ǫ 0 ), ) = (8.) if s s and (s, s ) (ǫ 0, ǫ 0 ). A sequence s = (s i ), s i B(Λ ), is a spin configuration if s ((ǫ 0 ) ). Let S be the set of all the spin configurations. For each s S we define E( s) = ih(s i, s i+ ), wt( s) = Λ n + s i. (8.) i= i=

18 8 SKEW YOUNG DIAGRAM METHOD 0 n Figure 4. The Dynkin diagram of A () n. The Dynkin diagram of B n is obtained by removing the node 0. Theorem 8. ([5]). Let ch L(Λ n ) be the unnormalized character of the (unique) level integrable module of A () n. Then ch L(Λ n )(q, x) = s S q E( s) e wt( s), e ǫ ±i = x ± i, e ǫ 0 =. (8.3) See Appendix C for the explicit expression of ch L(Λ n )(q, x). The local energy map h : s h = (h i ), h i = H(s i, s i+ ), has the image h(s) = Sp, where Sp = { h h ((0) )}. Any element h Sp is written in the form [m,...,m r ] := (0,..., 0,,...,0,..., 0,, (0) ), m }{{}}{{} i. m m r We set S h = h ( h) for h Sp, and define χ h (x) = s S h e wt( s). For each h Sp, we associate a skew diagram κ( h) of infinite-size, following the procedures 3 in the beginning of section 5. Namely, if h = [m,...,m r ], then κ( h) is a border strip with r + columns, m,...,m r,. Also we define a border strip κ( h) = m,...,m r, n as a finite part of κ( h). An analogue of the semi-standard condition suited for Y (B n ) is introduced in [8] to characterize the spectrum of the row-to-row transfer matrices with a wide class of auxiliary spaces. We find that the notion in [8] are quite adequate also for the description of χ h. Let J = { n 0 n }. We inscribe the numbers from J in each box of a skew diagram λ/µ. We call such an arrangement an admissible tableau of shape λ/µ if it satisfies the following condition: Let a and b be the inscribed numbers in any pair of adjacent boxes. Then, (i) a b or (a, b) = (0, 0) if b is lower-adjacent to a. (ii) a b and (a, b) (0, 0) if b is left-adjacent to a. (8.4a) (8.4b) Let AT(λ/µ) be the set of all the admissible tableaux of shape λ/µ. Since the condition (8.4a,b) is just in coordinate with (8.), there is a natural bijection between S h and AT( κ( h)) as in section 5. However, the set AT(κ( h)) is larger than AT( κ( h)). Therefore we introduce a further constraint on the elements in AT(κ( h)). An admissible tableau of shape κ( h) is L(eft)-admissible if the content of the bottom n boxes

19 SKEW YOUNG DIAGRAM METHOD 9 in the leftmost column is frozen to the sequence n, n +,...,. 3 We write the set of all the L-admissible tableaux of shape κ( h) as LAT(κ( h)). Then Lemma 8.. There is a bijection from AT( κ( h)) to LAT(κ( h)). The correspondence is a natural one: For T AT( κ( h)), let (a,..., a m, (0) ) be its content, where a m n+,...,a m are in the top n boxes in the leftmost column. Then, (a,...,a m, n,..., ) gives the content of the corresponding tableau T LAT(κ( h)). Combining the two bijections, we obtain a bijection ϕ : LAT(κ( h)) S h. For an L-admissible tableau T LAT(κ( h)) with the content (a,...,a m, n,..., ), its weight is defined as wt (T) = m i= ǫ ai + ni= ǫ i = m i= ǫ ai Λ n, where, following [8], we multiply the factor on the weights corresponding to the bottom n boxes in the leftmost column of κ( h). Comparing it with (8.), we see that the bijection ϕ : LAT(κ( h)) S h is weight-preserving. Therefore we have Theorem 8.3. (i) The character χ h of S h is equal to s L κ( := e wt (T). h) T LAT(κ( h)) (ii) Let h = [m,...,m r ] Sp. Then s L κ( = h) sl m,...,m = σ r,n 0 t mr t mr+m r t mr+ +m 0 t mr... t m t m +m 0 t m where σ is ch V Λn, t m is 0 for m < 0, ch (V Λm V Λm ) for 0 m n, and σ t n m for m n, and V Λj is the jth fundamental representation of B n. (iii) The character of the level integrable module L(Λ n ) of A () n decomposes as ch L(Λ n )(q, x) = q t(κ) s L κ (x), (8.5) κ BS where BS is the set of all the border strips κ = m,...,m r with m r = n, and t(κ) = r i= (r i)m i. Proof. (i) and (iii) are due to the bijection ϕ and Theorem 8.. (ii) is a special case of Theorem 4. in [8], which is an analogue of Prop. 4. for s L λ/µ. 3 The definition of the L-admissibility here is the simplified one especially for a border strip with the length of the last column n. See [8] for the definition for a general L-hatched skew diagram..,

20 0 SKEW YOUNG DIAGRAM METHOD It was conjectured in [8] that s L κ( h) is the B n-character of a certain irreducible Y (B n )-module. Therefore it is natural to conjecture that Conjecture 8.4. There is a canonical action of Y (B n ) on the level integrable module L(Λ n ) of A () n. The decomposition (8.5) describes its Y (B n )-module structure on L(Λ n ). 9. Conclusion In this paper we exhibit intimate relationships among the spectral decomposition of the vertex models, skew diagrams and the associated Schur functions, irreducible characters of the Yangians, Yangian module structures in conformal field theory, spectra of spin models with the inverse-square interaction, and so on. We believe that further study of this interrelation will enlighten our understanding of the common integrable structure behind these models. It is also interesting to investigate other vertex models. For example, for the symmetric fusion models of U q (ŝl n), which correspond to the higher level integrable modules of ŝl n, it is possible to extend our skew diagram approach. Even though conceptually it is quite analogous to the level case, some complexity enters, especially for n 3. Notable changes are, firstly, skew diagrams of non-border strips are necessary to describe the spectrum, and secondly, the characters of non-tame modules appear as the characters of the degeneracy of the spectrum. We hope to give a full report on it in a future publication. At the very last stage of the preparation of the manuscript, the preprint The ŜU(n) WZW models, spinon decomposition and Yangian structure by P. Bouwknegt and K. Schoutens (hep-th/ ) appeared, where the authors obtain a partially overlapping result to ours. Acknowledgment. A. N. K. would like to thank the colleagues from Tokyo University for kind hospitality and support. A. K. and T. N. appreciate the great hospitality of the organizers of the Third International Conference on Conformal Filed Theory and Integrable Models held at Landau Institute of Theoretical Physics, Chernogolovka on June 4 9, 996, where the main result of this paper is presented. T. N. would like to thank G. Felder and A. Varchenko for their warm hospitality at University of North Carolina. Appendix A. A proof of Theorem 7.4 In this appendix we give a proof of Theorem 7.4. Any element of h Sp N is uniquely written as h = (0,...,0,, 0,..., 0,,...,0,..., 0,, (0,..., 0, ) ) }{{}}{{}}{{}}{{} m m m r n

21 SKEW YOUNG DIAGRAM METHOD for an integer r (= the number of s in the first N elements of h) and the integers m i n such that m + m + + m r = N. For such an h S N we associate a border strip m,...,m r. If m r n, the border strip m,...,m r is equal to κ( h). If m r = n, however, m,...,m r has a few more length-n columns than κ( h) on its tail such that the size of m,...,m r is always N. In either case, we have s κ( h) = s m,...,m r thanks to the specialization x x n =. Furthermore, for h Sp N it holds that i(h i h (N) N N i ) = i(h i ) + E N = i(h i ) + E N. i= i= Thus Theorem 7.4 is equivalent to Theorem A.. N r= m i n m + +mr=n i= q N(N+) r i= (m + +m i ) s m,...,m r (x) = H N (q, x). (A.) Remark. Theorem A. is true without assuming the relation x x n = as we show below. We write the left hand side of (A.) as F N (q, x) (F 0 (q, x) = by definition). Example. F 0 (q, x) =, H 0 (q, x) =, F (q, x) = s (x), n H (q, x) = x i, F (q, x) = qs (x) + s (x), H (q, x) = i= n i= x i + ( + q) i<j n x i x j. Following [], we consider the recursion relation for F N (q, x) and H N (q, x). Let G(q, x, t) =, (a; q) = ( aq j ). (tx ; q) (tx ; q) (tx n ; q) Lemma A. ([]). The function G(q, x, t) is the generating function of H N (q, x): H N (q, x) G(q, x, t) = t N. (q) N N=0 Proof. It easily follows from the identity [] = (t; q) N=0 (q) N t N. j=0

22 SKEW YOUNG DIAGRAM METHOD Lemma A.3 ([, ]). The functions H N (q, x) satisfy the following recursion relation: For any N, n H N (q, x) = ( ) i+(q) N e i (x)h N i (q, x) = 0, i= (q) N i (A.) where e i (x) is the ith elementary symmetric function of x,...,x n, and H N (q, x) = 0 for N < 0. Proof. Consider the identity, ( n ) ( n G(q, x, qt) = ( tx i ) G(q, x, t) = ( ) i e i (x)t )G(q, i x, t). i= i=0 Comparing the coefficients of t N of the both sides, and using Lemma A., we have q N (q) N H N (q, x) = from which the lemma follows. n ( ) i e i (x) H N i(q, x), i=0 (q) N i The recursion relation (A.), together with the initial condition H 0 (q, x) =, uniquely determines H N (q, x). In the rest of the appendix we show F N (q, x) also satisfies (A.). We recall s m,...,m r = e mr e mr+m r e mr+ +m e mr e m e m +m 0 e m Expanding the determinant along the first row, we have Lemma A.4... r s m,...,m r = ( ) i+ e mr+ +m r i+ s m,...,m r i. i= (A.3) Substituting (A.3) into F N (q, x), we have

23 SKEW YOUNG DIAGRAM METHOD 3 Lemma A.5. The functions F N (q, x) satisfy the following recursion relation: For any N, N F N (q, x) = A N,m (q)e m (x)f N m (q, x), m= m A N,m (q) = ( ) j+ q c N,m(k,...,k j ), j= k i n k + +k j =m c N,m (k,...,k j ) = N(N + ) (N m)(n m + ) (A.4) (A.5) where F N (q, x) = 0 for N < 0. j (N m + k + + k i ) i= = N(m j) m j m + ik i, i= (A.6) In the right hand side of (A.4) we can replace the summation N m= by n m= because e m (x) = 0 for m > n. To complete the proof of Theorem A., we have only to show that Lemma A.6. For m min(n, N), A N,m (q) = ( ) m+ (q) N (q) N m. Proof. For any N, A N, (q) = q c N,() =. Below we show A N,m (q) = ( q N )A N,m (q), for m N. From these, the lemma follows. Consider m A N,m (q) = ( ) j+ q c N,m(k,...,k j ) j= k i k + +k j =m (A.7) (A.8) (A.9) for m N. Notice that we have dropped the upper inequality k i n in the summation, because it is automatically satisfied under the assumption m n. Let I m = {(k,..., k j ) j, k i, k + + k j = m} be the set of all the ordered partitions of m. Then I m is the disjoint union of I m () I m (), where I () m = {(k,...,k j, ) (k,..., k j ) I m }, I () m = {(k,...,k j + ) (k,...,k j ) I m }. and

24 4 SKEW YOUNG DIAGRAM METHOD, separately. The contri- Let us perform the summation in (A.9) over I m () bution from I m () is m j= = (k,...,k j ) I m ( ) j+ q cn,m(k,...,kj,) m j= The contribution from I () m m j= and I() m (k,...,k j ) I m ( ) j+ q cn,m (k,...,kj) = A N,m (q). is (k,...,k j ) I m ( ) j+ q cn,m(k,...,kj+) m = ( ) j+ q cn,m (k,...,kj)+n = q N A N,m (q). j= (k,...,k j ) I m Putting the both together, we get (A.8). Appendix B. A new combinatorial formula for Kostka-Foulkes polynomials As another corollary of Theorem 7.4, or Theorem A., we get a new formula for the Kostka-Foulkes polynomials in terms of the Littlewood-Richardson tableaux of border strips. See [6, 9] for further information of the material discussed here. For a border strip κ = m,...,m r we define t(κ) as r t(κ) = (r i)m i. i= Further, for a partition λ, we denote by C(κ, λ) the number of the semi-standard tableaux that form lattice permutations (cf. [9]) and are of shape κ and content λ. The number C(κ = µ/ν, λ) has an interpretation as c µ νλ = Mult V λ (V µ,ν ), i.e., the multiplicity of the irreducible representation V λ of sl n in the restriction of the representation V µ,ν of Y (sl n ) to sl n. Proposition B.. Let λ be a partition, then q t(κ) C(κ, λ) = K λ,( )(q), λ κ where the summation is taken over all the border strips κ of rank n with κ = λ. Proof. Theorem A. can be rewritten as κ:border strip κ =N q t(κ) s κ (x) = k i Z 0 k + +kn=n q n i= k i(k i ) (q) N (q) k (q) kn x k x kn n. (B.)

25 SKEW YOUNG DIAGRAM METHOD 5 On the other hand, the degree-n part of Corollary 6 of [6] reads as λ:young diagram λ =N K λ,( λ )(q)s λ (x) = k i Z 0 k + +kn=n q n i= k i(k i ) (q) N x k x kn n. (q) k (q) kn Equate the left hand sides of two equalities, and expand s κ (x) as λ C(κ, λ)s λ (x), where λ = κ in the summation. Using the independence of s λ s, we have (B.). Example. Let λ = (3,, ). Then it is known [9] that K (3,,),( 6 )(q) = q 4 ( + q) ( + q )( + q 3 ). On the other hand, there exist 4 border strips which give non-zero contribution to the left hand side of (B.) with the following tableaux: where the number t(κ) is attached below each diagram. Hence the left hand side of (B.) is q 4 ( + q + q + 3q 3 + 3q 4 + q 5 + q 6 + q 7 ) = K (3,,),( 6 )(q). In the same spirit we define the branching function b Λ k λ (q) of L(Λ k) (as an sl n - module) as Then from (5.4a) we have Proposition B.. b Λ c k λ (q) = q 4 ch L(Λ k )(q, x) = κ BS κ λ, κ k mod n λ:young diagram l(λ)<n, λ k mod n b Λ k λ (q)s λ(x). ( q n κ (n κ )+t(κ) C κ, λ + (( ) n )) κ λ. n We are going to prove an analogue of (B.) for the Kostka-Foulkes polynomials K λ,(l N )(q) (which should correspond to the Y (sl n )-module structure on L(lΛ 0 )) in a separate publication.

26 6 SKEW YOUNG DIAGRAM METHOD Appendix C. The character of the level integrable module of A () n In this appendix we describe the function ch L(Λ n )(q, x) in Theorem Let α 0,...,α n be the simple roots of A () n with the label in Fig. 4. We have the null root δ = α 0 + (α + α n ). Let {ǫ,...,ǫ n } be the orthonormal basis of the dual of the Cartan subalgebra of B n with α 0 = δ ǫ, α = ǫ ǫ,..., α n = ǫ n ǫ n, α n = ǫ n. (C.) On the other hand, let α i = α n i, which favors the subalgebra C n. (Below the prime symbol indicates that we are in the C n picture.) Let {ǫ,...,ǫ n } be the orthonormal basis of the dual of the Cartan subalgebra of C n with α 0 = δ ǫ, α = ǫ ǫ,..., α n = ǫ n ǫ n, α n = ǫ n. Comparing (C.) and (C.), we have the relation ǫ i + ǫ n+ i = δ. The unnormalized character of L(Λ 0) is given by [4] ch L(Λ 0) = Θ/ ( e jδ ) n, Θ = 0 +γ γ δ, M = j= γ M e Λ n Zǫ i. i= (C.) The fundamental weight Λ 0 in the C n picture is related to Λ n in the B n picture as Λ 0 = Λ n + b 0 δ with a certain constant b 0. Thus e b0δ ch L(Λ 0 ) is the unnormalized character of L(Λ n ). After the substitution of Λ 0 = Λ n+ Λ 0+b 0 δ and ǫ i = δ ǫ n+ i, e b0δ Θ is expressed as e b0δ Θ = e Λn δ n e Λ 0+Λ n+γ Λn+γ δ, M = Zǫ i, γ M where Λ n = (ǫ + + ǫ n ). Finally, by setting e δ = q and e Λ 0 =, we have i= ch L(Λ n )(q, x) = q Λn which is the left hand side of (8.3). (q) n γ M q Λn+γ e Λn+γ, e ǫ i = x i, References [] G. E. Andrews, The theory of partitions, Addison-Wesley Publ [] T. Arakawa, T. Nakanishi, K. Oshima, and A. Tsuchiya, Spectral decomposition of path space in solvable lattice model, q-alg/950705, to appear in Commun. Math. Phys. [3] R. J. Baxter, Exactly solved models in statistical mechanics, Academic Press, 98. [4] D. Bernard, Talk given at Yukawa Institute of Theoretical Physics, Kyoto University, Nov It is our pleasure to thank M. Wakimoto for his helpful comments.

27 SKEW YOUNG DIAGRAM METHOD 7 [5] D. Bernard, M. Gaudin, F. D. M. Haldane, and V. Pasquier, Yang-Baxter equation in long-range interacting systems, J. Phys. A6 (993) [6] D. Bernard, V. Pasquier, and D. Serban, Spinons in conformal field theory, Nucl. Phys. B48 (994) [7] I. V. Cherednik, A new interpretation of Gelfand-Zetlin bases, Duke Math. J. 54 (987) [8] E. Date, M. Jimbo, A. Kuniba, T. Miwa, and M. Okado, Path, Maya diagrams and representation of sl(r,c), Adv. Stud. in Pure Math. 9 (989) [9] V. G. Drinfel d, A new realization of Yangians and quantized affine algebras, Soviet Math. Dokl. 36 (988) 6. [0] Z. N. C. Ha and F. D. M. Haldane, Squeezed strings and Yangian symmetry of the Heisenberg chain with long-range interaction, Phys. Rev. B47 (993) [] F. D. M. Haldane, Z. N. C. Ha, J. C. Testra, D. Bernard, and V. Pasquier, Yangian symmetry of integrable quantum chains with long-range interactions and a new description of states in conformal field theory, Phys. Rev. Lett. 69 (99) 0. [] K. Hikami, Yangian symmetry and Virasoro character in a lattice spin system with long-range interactions, Nucl. Phys. B44 [FS] (995) [3] V. G. Kac, Infinite dimensional Lie algebras, third edition, Cambridge University Press, 990. [4] V. G. Kac and D. H. Peterson, Infinite-dimensional Lie algebras, theta functions and modular forms, Advances in Math. 53 (984) [5] S-J. Kang, M. Kashiwara, K. Misra, T. Miwa, T. Nakashima, A. Nakayashiki, Affine crystals and vertex models, Int. J. Mod. Phys. A7, Suppl. A (99) [6] A. N. Kirillov. Dilogarithm identities, Lectures in Mathematical Sciences 7, University of Tokyo, 995; Prog. Theor. Phys. (Suppl. 8) (995) 6 4. [7] A. Kuniba, Exact solution of solid-on-solid models for twisted affine Lie algebras A () n and A () n, Nucl. Phys. B355 (99) [8] A. Kuniba, Y. Ohta, J. Suzuki, Quantum Jacobi-Trudi and Giambelli formulae for U q (B r () ) from the analytic Bethe ansatz, J. Phys. A: Math. Gen. 8 (995) [9] I. G. Macdonald, Symmetric Functions and Hall Polynomials, second edition 995, Oxford Univ. Press. [0] M. Nazarov and V. Tarasov, Representations of Yangians with Gelfand-Zetlin bases, preprint, 994. [] A. P. Polychronakos, Exact spectrum of SU(n) spin chain with inverse-square exchange, Nucl. Phys. B49 [FS] (994) [] K. Schoutens, Yangian symmetry in conformal field theory, Phys. Lett. B33 (994)