arxiv:math/ v1 [math.qa] 16 Sep 1998

Transcription

1 FREE FIELD REALIZATION OF VERTEX OPERATORS FOR LEVEL TWO MODULES OF U q YUJI HARA arxiv:math/ v1 [math.qa] 16 Sep 1998 Abstract. Free field realization of vertex operators for level two modules of U q are shown through the free field realization of the modules given by Idzumi in Ref.[4, 5]. We constructed types I and II vertex operators when the spin of the associated evaluation module is 1/2 and type II s for the spin Introduction Vertex operators for the quantum affine algebra U q have played essential roles in the algebraic analysis of solvable lattice models since the pioneering works of [1, 2, 3]. In these works which analyze the XXZ model, type I vertex operators are identified with half infinite transfer matrices as their representation-theoretical counter part and type II vertex operators are interpreted as particle creation operators. To perform concrete computation such as a trace of composition of vertex operators, we need free field realization of modules and operators. In the said example of the XXZ model, the integral expressions of n-point correlation functions which are special cases of the traces are obtained through bosonization of level one module of U q. Motivated by these results, Idzumi [4, 5] constructed level two modules and type I vertex operators accompanied by spin 1 evaluation modules for U q in terms of bosons and fermions and then calculated correlation functions of a spin 1 analogue of the XXZ model. The purpose of this paper is to extend Idzumi s free field realization to other kinds of vertex operators i.e. type I and II vertex operators for the level two modules associated with the evalution module of spin 1/2 and the type II s for the spin 1. The results are given in Section 3 and their derivation is discussed in the first case in Section 4. The results together with Ref.[4, 5] give the complete set of vertex operators for level two module of U q and enable one to calculate form factors of the spin 1 analogue of the XXZ model. Recently Jimbo and Shiraishi [7] showed a coset-type construction for the deformed Virasoro algebra with the vertex operators for U q. They constructed a primary operator for the deformed Virasoro algebra as coset type composition of vertex operators which may be denoted as (U q U k q )/U q. We hope that our results will be helpful 1 k+1 1

2 for extending this work to the deformed supersymmetric Virasoro algebra through (U q (ŝl(2) U q )/U )2 q. k+2 2. Free field realization of level two module 2.1. Convention. In the following we will use U to denote the quantum affine algebra U q. Unless mentioned, we follow the notations of Ref.[4, 5]. As for the free field representation, we slightly modify the convention. The quantum affine algebra U is an associative algebra with unit 1 generated by e i, f i (i = 0, 1), q h (h P ) with relations q 0 = 1, q h q h = q h+h, q h e i q h = q h,α i e i, q h f i q h = q h,α i f i, [e i, f i ] t i t 1 i = δ ij q q 1, (t i = q h i ) e 3 i e j [3]e 2 i e je i + [3]e i e j e 2 i e je 3 i = 0, f 3 i f j [3]f 2 i f jf i + [3]f i f j f 2 i f jf 3 i = 0, where P = ZΛ 0 + ZΛ 1 + Zδ is the weight lattice of the affine Lie algebra ŝl(2) and P is the dual lattice to P with the dual basis {h 0, h 1, d to {Λ 0, Λ 1, δ with respect to the natural pairing, : P P Z. We also use current type generators introduced by Drinfeld [11] [2k] γ k γ k [a k.a l ] = δ k+l,0 k q q, 1 Ka k K 1 = a k, Kx ± k K 1 = q ±2 x ± k, k where ψ k, and ϕ k are defined as [A,B]=AB-BA [a k, x ± l ] = ±[2k] k γ k /2 x ± k+l, x ± k+l x± l q ±2 x ± l x± k+l = q±2 x ± k x± l+1 x± l+1 x± k, [x + k, x l ] = γ k l 2 ψ k+l γ l k 2 φ k+l q q 1, k 0 ψ k z k = K exp { (q q 1 ) k 1 a k z k, 2

3 k 0 φ k z k = K 1 exp { (q q 1 ) k 1 The relation between two types of generators are a k z k. t 1 = K, t 0 = γk 1, e 1 = x + 0, e 0t 1 = x 1, f 1 = x 0, t 1 1 f 1 = x 1 0. The higest weight module and the evaluation module are described compactly in Ref.[4]. Commutation and anti commutation relations of bosons and fermions are given by [a m, a n ] = δ m+n,0 [2m] 2 m, {φ m, φ n = δ m+n,0 η m, η m = q 2m + q 2m. where m, n Z + 1/2 or Z for Neveu-Schwarz-sector or Ramond-sector respectively. Fock spaces and vacuum vectors are denoted as F a, F φns, F φr and vac, NS, R for the boson and NS and R fermion respectively. Fermion currents are defined as φ NS (z) = φ NS n z n, φ R (z) = φ R nz n. n Z n Z+ 1 2 Q = Zα is the root lattice of sl 2 and F[Q] be the group algebra. We use as [, α] = V (2Λ 0 ), V (2Λ 1 ). The highest weight module V (2Λ 0 ) is identified with the Fock space (1) F (0) + = F a { (Feven φns F[2Q]) (FφNS odd eα F[2Q]), subscripts even and odd represent the number of fermions. The highest weight vector is vac NS 1. V (2Λ 1 ) is (2) F (0) = F a { (Feven φns e α F[2Q]) (F φns odd F[2Q]) with the highest weight vector being vac NS e α. Note that F (0) = F (0) F (0) +. F (0) = F a F φns F[Q]. The operators are realized in the following manner. γ = q 2, K = q, x ± (z) = m Z x ± mz m = E ± <(z)e ± >(z)φ NS (z)e ±α z 1 2 ±1 2, {A,B=AB-BA 3

4 and (3) (4) E < ± (z) = exp (± a m [2m] q m z m ), E > ± (z) = exp ( a m [2m] q m z m ), m>0 m>0 N a m = d = (λ, λ) 4 m [2m] 2a ma m, m=1 mn a m k>0 kn φns k, N φns k = 1 η m φ NS m φns m (m > 0), where the higest weight vector of the module should be substituted for λ of (3) V (Λ 0 + Λ 1 ). The module V (Λ 0 + Λ 1 ) is identified with (5) F (1) = F a F φr e α 2 F[Q], where φ R 0 R = R. The highest weight vector is identified with vac R e α 2. Operators are constructed in the same way as before except that subscripts for fermion sector are R instead of NS. 3. Free field realizations of vertex operators Let V, V be level two modules and V (k) z be a spin k/2 evaluation module of U. Vertex operators we will consider are U-linear maps of the following kinds [8, 9] (6) (7) Φ V,k V (z) : V V V z (k), Ψ k,v V (z) : V V z (k) V. Vertex operators of the form (6,7) are called type I and II respectively. Components of vertex operators are defined as Φ(z) V,k V = k n=0 Φ n (z) u n, Ψ(z) k,v V = k u n Ψ n (z) type I Vertex Operators for level 2 and spin 1/2. We show free field realization of type I vertex operators of the following kinds n=0 (8) (9) where i = 0 or 1. Φ Λ 0+Λ 1,1 2Λ i (z) : V (2Λ i ) V (Λ 0 + Λ 1 ) V (1) z, Φ 2Λ i,1 (z) : V (Λ 0 + Λ 1 ) V (2Λ i ) V z (1) 4

5 Under the free field realization of level 2 modules reviewed in Secton 2, the explicit forms of the components of the vertex operators in (8) are (10) (11) Φ 1 (z) = B I,< (z)b I,> (z)ω R NS(z)e α/2 ( q 4 z) /4, dw Φ 0 (z) = 2πi B I,<(z)E< (w)b I,>(z)E> (w)ωr NS (z)φns (w) e α/2 ( q 4 z) /4 w /2 ( q 4 zw 3 q ) 3 z ; q4) { 1 2 qz ; q4) w 1 q 3 w/z + q 5 z 1 q 5 z/w, (12) (13) B I,< (z) = exp ( B I,> (z) = exp ( n=1 n=1 [n]a n [2n] 2 (q5 z) n), [n]a n [2n] 2 (q3 z) n). The integrand of Φ 0 (z) has poles only at w = q 5 z, q 3 z except for w = 0, and the contour of integration encloses w = 0, q 5 z, details are discussed in Sec.4. For those of (9) we just replace Ω R NS (z) with ΩNS R (z) in (10,11). The fermionic part Ω(z) s are maps between different fermion sectors and satisfy (14) ( q φ NS (w)ω(z) NS 4 z R = w ) 1/2 q 3 z ; q4) (q 7 z w ; q4) qz ; q4) (q 5 z w ; q4) Ω(z) NS R φ R (w) and exactly the same equation except subscripts for fermion sectors are exchanged. This kind of mapping for fermions first appeared in high-energy phisics theory as fermion emission vertex operator [6, 10]. Their free field realizations are (15) (16) Y = + m 0 k 0 m>n 0 Ω R NS (z) = NS ey R, X m,n ϕ R m ϕr n zm+n k>l 0 X m, k 1/2 ϕ R mϕ NS k+1/2z m k 1/2 X k+1/2,l+1/2 ϕ NS k+1/2 ϕns l+1/2 z k l 1 5

6 (17) (18) Y = k>l 0 k 0 m 0 Ω NS R (z) = R ey NS, X k+1/2,l+1/2 ϕ NS k 1/2 ϕns l 1/2 zk+l+1 + X k 1/2,m ϕ NS k 1/2ϕ R mz k m+1/2 m>n 0 X m,n ϕ R m ϕr n z m n (19) (20) (21) ϕ R 0 = φr 0, ϕ NS k+1/2 = φ NS γ k q 3k 2 k+1/2 ( ( 1) 1/2 ), η k+1/2 ϕr m = γ m q 5m φr m, ϕ R m η = γ m q 3m φr m (m > 0), m η m γ n = (q2 ; q 4 ) n (q 4 ; q 4 ) n, ϕ NS k 1/2 = φ NS γ k q 5k+2 k 1/2 ( 1) 1/2 (k > 0), η k+1/2 X k,l = q4k q 4l 1 q 4(k+l), (q 2 z; q 4 ) (z; q 4 ) = (15,17) are to mean that a matrix element is given by γ n z n. n=0 R out Ω R NS (z) in NS = R out NS e Y R in NS, for out R F φr, in NS F φns. We define the normalized vertex operators Φ(z) s as follows and these are given by (22) (23) (24) (25) Λ 0 + Λ 1 Φ 1 (z) 2Λ 0 = 1, 2Λ 1 Φ 1 (z) Λ 0 + Λ 1 = 1, Λ 0 + Λ 1 Φ 0 (z) 2Λ 1 = 1, 2Λ 0 Φ 0 (z) Λ 0 + Λ 1 = 1, Φ Λ 0+Λ 1,1 2Λ 0 (z) = Φ(z), Φ 2Λ 1,1 (z) = ( q 4 z) 1/4 Φ(z), Φ 2Λ 0,1 (z) = ( q 4 z) 1/4 Φ(z), Φ Λ 0+Λ 1,1 2Λ 1 (z) = ( q 6 z) 1/2 Φ(z) type II Vertex Operators for level 2 and spin 1/2. We consider type II vertex operators of the following kind (26) (27) Ψ 1,Λ 0+Λ 1 2Λ i (z) : V (2Λ i ) V (1) z V (Λ 0 + Λ 1 ), Ψ 1,2Λ i (z) : V (Λ 0 + Λ 1 ) V (1) z V (2Λ i ). 6

7 Explicit forms of the components are as follows. (28) (29) (30) (31) Ψ 0 (z) = B II,< (z)b II,> (z)ω(q 2 z)e α/2 ( q 2 z) /4, dw Ψ 1 (z) = 2πi B II,<(z)E <(w)b + II,> (z)e >(w)ω(q + 2 z)φ(w) e α/2 ( q 2 z) /4 w /2 ( q 2 zw 3 qz ; q4) { ) 1 2 (qw z ; q4) B II,< (z) = exp ( n=1 B II,> (z) = exp ( n=1 [n]a n [2n] 2 (qz)n), [n]a n [2n] 2 (q3 z) n). w 1 q 3 w/z + q 3 z 1 qz/w The integrand of Ψ 1 (z) has poles only at w = q 3 z, qz except for w = 0, and the contour of integration encloses w = 0, qz. Subscripts for fermion sectors are abbreviated. Normalized vertex operators are defined by the conditions and these are given by (32) (33) (34) (35) Λ 0 + Λ 1 Ψ 1 (z) 2Λ 0 = 1, 2Λ 1 Ψ 1 (z) Λ 0 + Λ 1 = 1, Λ 0 + Λ 1 Ψ 0 (z) 2Λ 1 = 1, 2Λ 0 Ψ 0 (z) Λ 0 + Λ 1 = 1, Ψ 1,Λ 0+Λ 1 2Λ 0 (z) = ( q) 1 Ψ(z), Ψ 1,2Λ 1 (z) = ( q 6 z) 1/4 Ψ(z), Ψ 1,2Λ 0 (z) = ( q 2 z) 1/4 Ψ(z), Ψ 1,Λ 0+Λ 1 2Λ 1 (z) = ( q 2 z) 1/2 Ψ(z) type II Vertex Operators for level 2 and spin 1. When the spin of the evaluation module is 1, the type II vertex operators do not contain any fermion emission vertex operators. (36) (37) Ψ 2,2Λ i 2Λ i (z) : V (2Λ i ) V (2) z V (2Λ i ), Ψ 2,Λ 0+Λ 1 (z) : V (Λ 0 + Λ 1 ) V (2) z V (Λ 0 + Λ 1 ). Explicit form of the components are as follows., (38) (39) Ψ 0 (z) = F II,< (z)f II,> (z)e α ( q 2 z) /2+1, dw Ψ 1 (z) = 2πi F II,<(z)E < + (w)f II,>(z)E > + (w)φ(w) q 2 z { w 1/2 1 1 w q 4 z + w ( 1 z ), q 4 z w ) /2 7

8 The integration contour encircles poles w = 0, z but the pole w = q 4 z lies outside of it. dw2 dw1 (40) Ψ 2 (z) = 2πi 2πi F II,<(z)E <(w + 1 )E <(w + 2 )F II,> (z)e >(w + 1 )E >(w + 2 ) ( e α w1 w ) /2(w1 { 2 w q 2 2 ) 1/2 1 + z ( { [2] 1 : φ(w 1 )φ(w 2 ) : + (w 1 w 2 ) 1/2( 1 w 2 w 1 ) 1 w 1 q 4 z q 2 z ( 1 q2 w 2 w 1 )( 1 w 2 q 4 z w 1 q 2 w 2 q 2 z ( 1 w 2 ) + q 4 w 1 ) q 4 z ( z ) w 1 1 w 1 (w 1 1 w 1 q 2 w 2 ) 1 z w 2 ) 1/2 1 ) 1 w 2 w 2 ( 1 q 2 w 1 w 2 ) ( 1 z w 2 ) We have to prepare two contours because of the fermionic part and one is for the term including : φ(w 1 )φ(w 2 ) : and the other is for the rest. The former satisfies w 2 q 4 w 1 < 1, w 2 > z and the same condition satisfied by the contour for Psi 1 with substitution w = w 1. The latter satisfies q 2 w 2 < w 1 < q 2 w 2 and the same conditions as Psi 1 with w = w 1, w 2. ( F II,< (z) = exp a ) m (41) [2m] (qz)m, m>0 ( a ) m (42) F II,> (z) = exp [2m] (q3 z) m. Under the normailzation Ψ(z) are given by m>0 2Λ 0 Ψ 0 (z) 2Λ 1 = 1, 2Λ 1 Ψ 2 (z) 2Λ 0 = 1, Λ 0 + Λ 1 Ψ 1 (z) Λ 0 + Λ 1 = 1,, (43) (44) (45) Ψ 2,2Λ 0 2Λ 1 (z) = Ψ(z), Ψ 2,Λ 0+Λ 1 (z) = ( q 2 z) 1/2 Ψ(z), Ψ 2,2Λ 1 2Λ 0 (z) = ( q 4 z) 1 Ψ(z). 4. Derivation Taking Φ Λ 0+Λ 1,1 2Λ i (z) as an example, we discuss the derivation of the results in the previous section. Other cases can be treated in almost the same way General structure of Φ 0 (z) and Φ 1 (z). Calculating (x)φ(z) = Φ(z)x 8

9 for x = Chevalley generators of U and a n, we get 0 = [Φ 1 (z), x + 0 ], KΦ 1 (z) = [Φ 0 (z), x + 0 ], 0 = x 0 Φ 0(z) qφ 0 (z)x 0, (46) (47) (48) Φ 0 (z) = Φ 1 (z)x 0 qx 0 Φ 1(z), 0 = Φ 0 (z)x 1 qx 1 Φ 0(z), q 3 zφ 0 (z) = Φ 1 (z)x 1 q 1 x 1 Φ 1(z), (qzk) 1 Φ 1 (z) = [Φ 0 (z), x + 1 ], 0 = [Φ 1 (z), x + 1], KΦ 1 (z)k 1 = qφ 1 (z), KΦ 0 (z)k 1 = q 1 Φ 0 (z), (49) [a m, Φ 1 (z)] = (q 5 z) m[m] m Φ 1(z), (50) [a m, Φ 1 (z)] = (q 3 z) m[m] m Φ 1(z). From (48,49,50), we can speculate the form of Φ 1 (z) as Φ 1 (z) = B I,< (z)b I,> (z)ω R NS (z)eα/2 y. To determine y and the fermionic part Ω R NS (z), we impose the following conditions on Φ 1(z) Φ 1 (z)x 0 qx 0 Φ 1(z) = (q 3 z) 1 (Φ 1 (z)x 1 q 1 x 1 Φ 1(z)), 0 = [Φ 1 (z), x + (w)], which can be easily seen from (46,47) and the proposition of Section 4.4 of Ref.[12]. Then we have (10,14) Φ 1 (z) = B I,< (z)b I,> (z)ω R NS (z)eα/2 ( q 4 z) /4, φ R (w)ω R NS (z) = ( q 4 z w ) 1/2 q 3 z ; q4) (q 7 z w ; q4) qz ; q4) (q 5 Ω R NS z (z)φns (w). w ; q4) 9

10 Φ 1 (z) can be calculated through (46) dw 1 Φ 0 (z) = 2πi w {Φ 1(z)x (w) qx (w)φ 1 (z) dw = 2πi B I,<(z)E<(w)B I,> (z)e>(w)ω R NS(z)φ NS (w) e α/2 ( q 4 z) /4 w /2 ( q 4 zw 3 q ) 3 z ; q4) { 1 2 qz ; q4) w 1 q 3 w/z + q 5 z 1 q 5 z/w To determine the contour of integration we have to find the poles of Ω R NS (z)φns (w) and this can be seen from R Ω R NS (z)φns (w) NS = qz ; q4) q 3 z ; q4) Hence as a composite Ω R NS (z)φns (w) is the one encloses w = 0, q 5 z., NS Ω NS R (z)φr (w) R = q 4 z q 3 z ; q4) qz ; q4), ) 1/2 qz ; q4) q 3 z ; q4) in the integrand has no poles and the contour 4.2. Fermion emission vertex operator. In Ref.[6], Eqn.(15) appears in the study of the Ising model and its free field realization is given without any details. Thus we give the exposition of its derivation. The main point of derivating free field realization of the fermion emission vertex operator Ω R NS (z) (15,16) is to expand ΩR NS (z) as Ω R NS (z) = K,L a K,L φ R k 1 φ R k 2 R NS φ NS l 1 φ NS l 2, K = {k i, L = {l i, and to calculate the coefficients a K,L. After normalizing φ n suitably to ϕ n (19,20), we see a K,L /(normalization factor) are identified with Pfaffians of X k,l. With the aid of a relation satisfied by Pfaffian ω n = n!pf(b ij )x 1 x 2 x 2n, where x k (1 k 2n) is a Grassmann variable and we get (15,16). ω = 1 i<j 2n b ij x i x j, We are indebted to M.Jimbo for explaining the details of Ref.[6].. 10

11 Wick s theorem can be generalized to the present situation and we only need to calculate oneand two-point correlation functions for a K,L. To calculate these, we rewrite (14) and introduce auxiliary operators (51) (52) φ NS (w)ω NS R (q 4 ) = Ω NS R (q 4 ) φ R (w), φ NS (w) = ( 1) 1/2 w 1/2 (qw 1 ; q 4 ) (q 3 w 1 ; q 4 ) φ NS (w), (53) φ R (w) = (qw; q4 ) (q 3 w; q 4 ) φ R (w) = f + (w)φ R (w), we set Ω(z = q 4 ) for simplicity. They are defined to satisfy and this enables us to see that NS φ NS n = 0 (n < 0), φr n R = 0 (n > 0), φr 0 R = R, NS Ω NS R (q 4 ) φ R (z) φ R (w) NS = NS φ NS (z)ω NS R (q 4 ) φ R (w) NS contains only negative (positive) powers of z (w). On the other hand the expectation value of { φ R (z), φ ( R (w) = f + (z)f + (w) δ ( q 2 w) ) ) + δ, z q 2 z with respect to NS Ω NS R (q 4 ) and R is δ(z) = n Z z n, NS Ω NS R (q 4 ) φ R (z) φ R (w) NS + NS Ω NS ( = f + (z)f + (w) δ ( q 2 w z where we normalize NS Ω NS R (q 4 ) R = 1. And we get NS Ω NS R (q 4 ) φ R (z) φ R (w) R = R (q 4 ) φ R (w) φ R (z) NS ) ) ) + δ q 2 z 1 qw 1 q 2 w/z + 1 q 1 w 1 q 2 w/z 1 Expanding the last line of the following equation as in C NS Ω NS R (q 4 )φ R (z)φ R (w) R = NS Ω NS R (q 4 )φ R n φr m R z n w m we have = n,m Z 1 { 1 qw f + (z)f + (w) 1 q 2 w/z + 1 q 1 w 1 q 2 w/z 1, (54) NS Ω NS R (q 4 )φ R n φr m R = X m,nγ n γ m q n+m (n, m 0). 11

12 Similar calculation yields (55) (56) NS φ NS k+1/2ω NS R (q 4 )φ R n R = ( 1) 1/2 X k 1/2,n γ n γ k q n+k (n, k 0), NS φ NS k+1/2 φns l+1/2 ΩNS R (q 4 ) R = X l+1/2,k+1/2 γ l γ k q l+k (k, l 0). z-dependence of Ω R NS (z) is recovered with the equation (57) ζ dr Ω R NS (z)ζ dns = Ω R NS (ζ 1 z), where d i s are the fermionic part of d of (3) ζ di φ i (z)ζ di = φ i (ζz), d i = k>0 i d i = d i i = 0, kn φi k, (i = NS or R) and satisfy [d i, φ i n] = nφ n. To derive (57), we multiply (14) by ζ dr, ζ dns from left and right respectively. Acknowledgement The author thanks M.Jimbo, H.Konno, S.Odake and J.Shiraishi for helpful discussions. He also thanks A.Kuniba for warm encourragement. Appendix A. boson Followings are useful formulae for normal ordering bosons. We set (z) = (z; q 4 ) for brevity. B I,> (z)e <(w) = (qw/z) (q 1 w/z) E <(w)b I,> (z), E >(w)b I,< (z) = (q9 z/w) (q 7 z/w) B I,< (z)e >(w), B I,> (z)e + < (w) = (q 3 w/z) (q 1 w/z) E + < (w)b I,>(z), E + >(w)b I,< (z) = (q5 z/w) (q 7 z/w) B I,< (z)e + >(w), B II,> (z)e + <(w) = (q 1 w/z) (q 3 w/z) E + <(w)b II,> (z), E + > (w)b II,<(z) = (q3 z/w) (qz/w) B II,< (z)e + > (w), 12

13 B II,> (z)e< (w) = (q 1 w/z) E< (qw/z) (w)b II,>(z), E >(w)b II,< (z) = (q3 z/w) (q 5 z/w) B II,< (z)e >(w), F II,> (z)e< w (w) = (1 q 2 z )E < (w)f II,>(z), E > (w)f II,<(z) = (1 q2 z w )F II,<(z)E > (w), F II,> (z)e < + (w) = 1 1 q 4 w/z E+ < (w)f II,>(z), E > + (w)f 1 II,<(z) = 1 z/w F II,<(z)E> (w), E> (w 1)E < + (w 1 2) = E < + 1 w 2 /w (w 2)E> (w 1), 1 E + > (w 2)E < (w 1) = 1 1 w 1 /w 2 E < (w 1)E + > (w 2), Appendix B. fermion For Ω NS R (z), we show the equations corresponding to the ones from (51) to (56) (58) (59) (60) φ R (w)ω R NS (q 4 ) = Ω R NS (q 4 ) φ NS (w), φ R (w) = (q/w; q4 ) (q 3 /w; q 4 ) φ R (w), φ NS (w) = ( 1) 1/2 w 1/2 (qw; q4 ) (q 3 w; q 4 ) φ NS (w), R φ R n = 0 (n < 0), R φ R 0 = R, φns n NS = 0 (n > 0), R φ R (z) φ R (w)ω R NS (q 4 ) NS = 1 q/z 1 q 2 w/z + 1 q 1 /z 1 q 2 w/z 1 R φ R nφ R mω R NS(q 4 ) NS = X n,m γ n γ m q n+m (n, m 0), R φ R n ΩR NS (q 4 )φ NS k 1/2 NS = ( 1)1/2 X k 1/2,n γ n γ k q n+k (n, k 0), R Ω R NS (q 4 )φ NS k 1/2 φns l 1/2 NS = X l+1/2,k+1/2γ l γ k q l+k (k, l 0) 13

14 Appendix C. Calculation of Eqn.(54) We show details of calculation of (54). From (21) NS Ω NS R (q 4 )φ R (z)φ R (w) R 1 { 1 qw = f + (z)f + (w) 1 q 2 w/z + 1 q 1 w 1 q 2 w/z 1 = { ( γ k (qz) k γ l (qw) l (1 qw) ( q 2 w) a + (1 w/q) ) ) a 1 z q 2 z k 0,l 0 a 0 = γ n+a γ m a η a q n+m z n w m γ n+a γ m a 1 (q 2a + q 2(a+1) )q n+m z n w m γ n γ m z n w m 0 a m Hence the equation to be proved is X n,m γ n γ m = γ n γ m η a which is equivalent to (61) 0 a m 0 a m 1 0 a m 1 X n,m = 1 + (1 t 1 )(1 + t 2n ) 1 a m γ n+a γ m a 1 (q 2a + q 2(a+1) ) γ n γ m z n w m, (t 1+2n ; t 2 ) a 1 (t 2m 2a+2 ; t 2 ) a t a (t 2+2n ; t 2 ) a 1 (t 2m 2a+1 ; t 2 ) a 1 t 2(n+a) where we set t = q 2. It can be proved by induction with respect to k that the summation over a = m, m 1,, m k yields t m k (t1+2n ; t 2 ) m k 1 (t 2k+2 ; t 2 k ) m k j=0 t2j (t 2+2n ; t 2 ) m k 1 (t 2k+1 ; t 2 ) m k 1 t 2(n+k). Setting k = m 1 we can see that the right hand side of (61) is equal to t2m t 2n 1 t 2(n+m). References [1] B.Davies, O.Foda, M.Jimbo, T.Miwa and A.Nakayashiki, Diagonalization of the XXZ Hamiltonian by vertex operators, Commun. Math. Phys. 151, 89 (1993). [2] M.Jimbo, K.Miki, T.Miwa and A.Nakayashiki, Correlation functions of the XXZ model for < 1, Phys.Lett.A, 168, 256 (1992). [3] M.Jimbo, T.Miwa, Algebraic Analysis of Solvable Lattice Models, American Mathematical Society, [4] M.Idzumi, Level two irreducible representations of U q, vertex operators and their correlations, Int.J.Mod.Phys. A9, 4449 (1994). [5] M.Idzumi, Correlation functions of the spin-1 analog of the XXZ model, hep-th/ [6] O.Foda, M.Jimbo, T.Miwa, K.Miki and A.Nakayashiki, Vertex operators in solvable lattice models, J.Math.Phys. 35, 13 (1994). [7] M.Jimbo and J.Shiraishi, A Coset-type construction for the deformed Virasoro algebra, Lett. Math. Phys. 43, 173 (1998). [8] I.B.Frenkel, N.Yu.Reshetikhin, Quantum affine algebras and holonomic difference equations, Commun.Math.Phys. 146, 1 (1992). 14

15 [9] E.Date, M.Jimbo, M.Okado, Crystal base and q-vertex operators, Commun.Math.Phys. 155, 47 (1993). [10] D.Friedan, Z.Qiu and S.Shenker, Superconformal invariance in two dimensions and the tricritical Ising model, Phys.Lett.B 151, 37 (1985); E.F.Corrigan and D.I.Olive, Fermion-meson vertices in dual theories, Nuovo Cim. 11A, 749 (1972); E.F.Corrigan and P.Goddard, Gauge conditions in the dual fermion model, Nuovo Cim. 18A, 339 (1973); M.Kato and S.Matsuda, Null Field Construction in Conformal and Superconformal Algebras, Adv.Std.Pure Math. 16, 205 (1988). [11] V.G.Drinfeld, A new realization of Yangians and quantized affine algebras, Soviet Math. Doklady 36, 212 (1988). [12] V.Chari and A.Pressley, Quantum Affine Algebra, Commun. Math. Phys. 142, 261 (1991). Institute of Physics, Graduate School of Arts and Sciences, University of Tokyo, Tokyo 153, Japan address: ss77070@komaba.ecc.u-tokyo.ac.jp 15