arxiv: v1 [math.qa] 18 Nov 2007

Transcription

1 ITEP-TH-66/06 A computation of universal weight function for quantum affine algebra U q ĝl N Sergey Khoroshkin and Stanislav Pakuliak 2 arxiv:07.289v [math.qa] 8 Nov 2007 Institute of Theoretical & Experimental Physics, 7259 Moscow, Russia Laboratory of Theoretical Physics, JINR, 4980 Dubna, Moscow reg., Russia Abstract We compute weight functions off-shell Bethe vectors in any representation with a weight singular vector of the quantum affine algebra U q ĝl N applying the method of projections of Drinfeld currents developed in [EKP]. Introduction In [EKP] a new method for the construction of weight functions, also known as offshell Bethe vectors, was suggested. In this paper we apply the constructions of [EKP] and [KPT] to the quantum affine algebra U q ĝl N and compute explicitly off-shell Bethe vectors in representations with a weight singular vector. Off-shell Bethe vectors in integrable models associated with the Lie algebra gl N have appeared in [KR] in the framework of the algebraic nested Bethe ansatz. Except for N = 2, off-shell Bethe vectors are defined inductively. They are functions of several complex variables. If the variables satisfy the Bethe ansatz equations, the Bethe vectors are eigenvectors of the transfer matrix of the system. The construction of [KR] was developed in [TV], where weight functions were defined as certain matrix elements of monodromy operators. Recently, the construction of [TV] was used in [TV2] for the calculation of nested Bethe vectors in evaluation modules and their tensor products. The approach of [EKP] is based on the new realization of quantum affine algebras [D] and its connection to fundamental coalgebraic properties of weight functions, found in [TV]. The key role is played by certain projections to the intersection of Borel subalgebras of the quantum affine algebra of different kind, introduced in [ER]. It is shown in [KP, EKP] that acting by a projection of a product of Drinfeld currents on highest weight vectors of irreducible finite-dimensional representations of U q ĝl N one obtains a collection of rational functions with the required comultiplication properties, that is, a weight function. In this paper we perform a calculation of those projections and present explicit expressions for weight functions of the quantum affine algebra U q ĝl N in modules with a weight singular vector. We present the result in two different ways. First, we write the khor@itep.ru 2 pakuliak@theor.jinr.ru

2 weight function as a polynomial over Gauss coordinates of defining L-operators with rational dependence of parameters, see eq 5.3; this is equivalent to certain Cauchy type integral over Drinfeld currents, see Theorem ; eq and eq Second, we express the weight function as a polynomial with rational functional coefficients over matrix elements of the same L-operators Theorem 2. As an application we compute off-shell Bethe vectors in evaluation modules. We compare our results with calculation of [TV2] and verify a variant of the conjecture of [KPT] about the coincidence of the two constructions of weight functions. For such a verification we need to adjust our construction to the data of [TV2], were the different R-matrix is used. The paper is organized as follows. In section 2 we recall the two descriptions of U q ĝl N: by means of the fundamental L-operators and the so called new realization of Drinfeld. In Section 3 we describe, following [KPT], the construction of a weight function as a certain projection of products of Drinfeld currents. Section 4 contains the main calculations with the constructions of [EKP] and [KPT]. For this we extend the projection operators of [ER] to a natural completion of the algebra, where we use so called composed currents of [DK] and strings. Their projections are then expressed in Gauss coordinates of the fundamental L-operator. In Section 5 we translate the results to the L-operator s language. The resulting formula, see Theorem 2, is more general then in [TV2]: it does not refer to any evaluation map. Its structure is rather curious: the order of L-operators s entries does not correspond to any normal ordering of the root system. A specialization to the evaluation map is given by eq In Section 6 we compare our results with [TV2]. The R-matrix in [TV2] differs from ours by a finite-dimensional twist. We modify accordingly our construction and observe the resulting literal coincidence with [TV2]. This allows us to verify the conjecture of [KPT] for the R-matrix of [TV2]: the two constructions of weight functions give the same result in any irreducible U q ĝl N-module with a weight singular vector. This result can be formulated on a formal level, see Theorem 3. The paper contains three appendices with important technical results, including various properties of strings and of their projections. 2 Quantum affine algebra U q ĝl N 2. L-operator description Let E ij EndC N be a matrix with the only nonzero entry equal to at the intersection of the i-th row and j-th column. Let Ru, v EndC N C N C[[v/u]], Ru, v = u v E ii E ii + E qu q ii E jj + E jj E ii v i N i<j N + q q 2. ve qu q ij E ji + ue ji E ij, v i<j N be a trigonometric R-matrix associated with the vector representation of gl N. It satisfies the Yang-Baxter equation R 2 u, u 2 R 3 u, u 3 R 23 u 2, u 3 = R 23 u 2, u 3 R 3 u, u 3 R 2 u, u 2, 2.2 2

3 and the inversion relation R 2 u, u 2 R 2 u 2, u =. 2.3 The algebra U q ĝl N with the zero central charge and the gradation operator dropped out is a unital associative algebra generated by the modes L ± ij [±k], k 0, i, j N, of the L-operators L ± z = N k=0 i,j= E ij L ± ij [±k]z k, subject to relations Ru, v L ± u L ± v = L ± v L ± u Ru, v Ru, v L + u L v = L v L + u Ru, v, L + ij [0] = L ji [0] = 0, L+ kk [0]L kk [0] =, i < j N, k N. 2.4 The coalgebraic structure of the algebra U q ĝl N is defined by the rule L ± ij u = N k= L ± kj u L± ik u The current realization of U q ĝl N The algebra U q ĝl N in the current realization with the zero central charge and the gradation operator dropped out is generated by the modes of the Cartan currents k ± i z = m 0 k ± i [±m]z m, k + i [0]k i [0] =, 2.6 i =,...,N, and by the modes of the generating functions called Drinfeld currents E i z = n Z E i [n]z n, F i z = n Z F i [n]z n, 2.7 i =,...,N, subject to relations q z qwe i ze i w = E i we i zqz q w, z we i ze i+ w = E i+ we i zq z qw, qz q wf i zf i w = F i wf i zq z qw, q z qwf i zf i+ w = F i+ wf i zz w, k ± i zf iw k ± i z = q z qw z w F iw, k ± i+ zf iw k ± i+ z = qz q w z w F iw, 2.8 k ± i zf jw k ± i z = F j w if i j, j +, k ± i ze iw k ± i z = 3 z w q z qw E iw,

4 k ± i+ ze iw k ± i+ z = z w qz q w E iw, k ± i ze jw k ± i z = E j w if i j, j +, [E i z, F j w] = δ i,j δz/w q q k + i z/k+ i+ z k i w/k i+ w, together with the Serre relations Sym z,z 2 E i z E i z 2 E i± w q + q E i z E i± we i z E i± we i z E i z 2 = 0, Sym z,z 2 F i z F i z 2 F i± w q + q F i z F i± wf i z F i± wf i z F i z 2 = The isomorphism of the two realization is established with a help of the Gauss decomposition of L-operators. We define Gauss coordinates F ± j,i z, E± i,j z i < j N and k ± i z, i =,..., N by the relations N N N N L ± z = E ii + F ± j,i ze ij k ± i ze N ii E ii + E ± i,j ze ji. 2.0 i= i<j i= i= i<j We identify k ± i z with the Cartan currents 2.6 and set [DF] E i z = E + i,i+ z E i,i+ z, F iz = F + i+,i z F i+,i z. 2. For any series Gt = m Z G[m]t m we denote Gt + = m>0 G[m] t m, and Gt = m 0 G[m] t m. The initial conditions 2.4 imply the relations F ± i+,i z = F iz ±, E ± i,i+ z = z z E i z ±. 2.2 In [D] the current Hopf structure for the algebra U q ĝl N has been defined, D E i z = E i z + k i z k i+ z Ei z, D F i z = F i z + F i z k + i z k + i+ z, 2.3 D k ± i z = k ± i z k± i z. We consider two types of Borel subalgebras of the algebra U q ĝl N. Borel subalgebras U q b ± U q ĝl N are generated by the modes of the L-operators L ± z, respectively. Another type of Borel subalgebras is related to the current realization of U q ĝl N. The Borel subalgebra U F U q ĝl N is generated by the modes F i [n], k + j [m], i =,...,N, j =,..., N, n Z and m 0. The Borel subalgebra U E U q ĝl N is generated by the modes E i [n], k j [ m], i =,..., N, j =,...,N, n Z and m 0. We also consider a subalgebra U F U F, generated by the elements F i [n], k + j [m], i =,..., N, j =,...,N, n Z and m > 0, and a subalgebra U E U E generated by the elements E i [n], k j [ m], i =,..., N, j =,...,N, n Z and m > 0. Further, we will be interested in the intersections, U f = U F U qb, U + F = U F U q b

5 and will describe properties of projections to these intersections. It was proved in [KPT] that the subalgebras U f and U + F are coideals with respect to Drinfeld coproduct 2.3 D U + F U qĝl N U + F, D U f U f U qĝl N, and the multiplication m in U q ĝl N induces an isomorphism of vector spaces m : U f U+ F U F. According to the general theory presented in [EKP] we define projection operators P + : U F U q ĝl N U + F and P : U F U q ĝl N U f by the prescriptions P + f f + = εf f +, P f f + = f εf +, for any f U f, f + U + F. 2.5 Denote by U F an extension of the algebra U F formed by linear combinations of series, given as infinite sums of monomials a i [n ] a ik [n k ] with n n k, and n n k fixed, where a il [n l ] is either F il [n l ] or k + i l [n l ]. It was proved in [EKP] that the action of the projections 2.5 can be extended to the agebra U F ; 2 for any f U F with D f = i f i f i we have f = i P f i P + f i Weight functions 3. Definitions This section is based on the paper [KPT] 3. We call a vector v a weight singular vector if it is annihilated by any non-negative mode E i [n], i =,...,N, n 0 and is an eigenvector for k + i z, i =,..., N E + i,i+ z v = 0, k+ i z v = λ iz v, 3. where Λ i z is a meromorphic function, decomposed as a power series in z. The L-operator 2.0, acting on a weight singular vector v, becomes upper-triangular L + ij z v = 0, i > j, L+ ii z v = λ iz v, i =,...,N. 3.2 We define a weight function by its comultiplication properties. Let Π be the set {,..., N } of indices of the simple positive roots of gl N. A finite collection I = {i,...,i n } with a linear ordering i i i n and a coloring map ι : I Π is called an ordered Π-multiset. Sometimes, we denote the map ι by ι I. A 3 The definition of the weight function used in this paper differs from that of [KPT] by the reverse order of the variables. The definition of the modified weight function is the same. 5

6 morphism between two ordered Π-multisets I and J is a map m : I J that respects the orderings in I and J and intertwines the maps ι I and ι J : ι J m = mι I. In particular, any subset I I of a Π-ordered multiset has a unique structure of Π-ordered multiset, such that the inclusion map is a morphism of Π-ordered multisets. To each Π-ordered multiset I = {i,..., i n } we attach an ordered set of variables {t i i I} = {t i,...,t in }. Each element i k I and each variable t ik has its own type : ιi k Π. Let i and j be elements of some ordered Π-multiset. Define a rational function t i t j qt i q t j, if ιi = ιj +, γt i, t j = q t i qt j t i t j, if ιj = ιi +, qt i q t j q t i qt j, if ιi = ιj,, otherwise. 3.3 Assume that for any representation V of U q ĝl N with a weight singular vector v, and any ordered Π-multiset I = {i,...i n }, there is a V -valued rational function w V,I t i,...,t in V depending on the variables {t i i I}. We call such a collection of rational functions a weight function w, if: a The rational function, corresponding to the empty set, is equal to v: w V, v. b The function w V,I t i,..., t in depends only on an isomorphism class of an ordered Π-multiset, that is, for any isomorphism f : I J of ordered Π-multisets w V,I t fi i I = w V,J t j j J. 3.4 c The functions w V,I satisfy the following comultiplication property. Let V = V V 2 be a tensor product of two representations with singular vectors v, v 2 and weight series {λ b u} and {λ 2 b u}, b =,..., N. Then for any ordered Π-multiset I we have w V,I t i i I = w V,I t i i I w V2,I 2 t i i I2 Φ I,I 2 t i i I I=I I2 where Φ I,I 2 t i i I = i I 2, j I, i j j I λ 2 ιj t j λ 2 ιj+ t j, 3.5 γt i, t j. 3.6 The summation in 3.5 runs over all possible decompositions of the set I into a disjoint union of two non-intersecting subsets I and I 2. The structure of ordered Π-multiset on each subset is induced from that of I. 6

7 Given elements i, j of some ordered multiset define two functions γt i, t j and βt i, t j by the formulae t i t j, if ιi = ιj +, qt i q t j γt i, t j = q t i qt j, if ιj = ιi +, t i t j, otherwise and q t i qt j, if ιi = ιj, βt i, t j = t i t j, otherwise. 3.7 A collection of rational V -valued functions w V,I t i i I, depending on a representation V of U q ĝl N with a weight singular vector v, and an ordered Π-multiset I, is called a modified weight function w, if it satisfies conditions a, b above and the condition c : c Let V = V V 2 be a tensor product of two representations with singular vectors v, v 2 and weight series {λ b u} and {λ 2 b u}, b =,..., N. Then for any multiset I we have w V,I t i i I = w V,I t i i I w V2,I 2 t i i I2 Φ I,I 2 t i i I I=I I2 j I λ 2 ιj t j j I 2 λ ιj+ t j, 3.8 where Φ I,I 2 t i i I = βt i, t j i I, j I 2 i I 2, j I, i j γt i, t j. There is a bijection between weight functions and modified weight functions given by the following relations. Let w be a weight function. Then the collection w V,I t i i I, where w V,I t i i I = w V,I t i i I βt i, t j λ ιi+ t i 3.9 i j i I is a modified weight function. 3.2 Weight function and projections Let I = {i,...,i n } and J = {j,..., j n } be two ordered Π-multisets. Let σ : I J be an invertible map, which intertwines the coloring maps ι I and ι J : ι J σ = σι I, but does not necessarily respect the orderings in I and J that is, σ is a permutation on classes of isomorphisms of ordered Π-multisets. 7

8 Let wt j j J be a function of the variables t j j J. Define a pullback σ,γ wt i i I by the rule σ,γ wt i i I = wt σi i I γt i, t j. 3.0 i,j I, i j, σj σi One may check [KPT] that the pullback operation 3.0 is compatible with the comultiplication rule 3.5. We call a weight function w V,I t i i I q-symmetric, if for any ordered Π-multisets I and J and an invertible map σ : I J, intertwining the colouring maps, we have σ,γ w V,J t i i I = w V,I t i i I. 3. For any multiset I we define a U + F -valued series W It i i I as the projection W I t i i I = P + F ιint in F ιin t in F ιi2 t i2 F ιi t i 3.2 We call the series W I t i i I universal weight function. Theorem [KPT]. A collection of V -valued functions w V,I t i i I = W I t i i I v, where V is a U q ĝl N-module with a singular weight vector v, form a q-symmetric weight function. Let n = {n, n 2,...,n N 2, n } be a set of non-negative integers. Let I n, be an ordered Π-multiset, such that its first n elements have the type, the next n 2 elements have the type 2 and the last n elements have the type N. Denote by t [ n] the set of related variables: { } t [ n] = t,...,t n ; t 2,..., t2 n 2 ;..... ; t N 2,...,tn N 2 N 2 ; t,...,t n. 3.3 The variable t a k is of type a. If n a = 0 for some a, then the variables of the type a are absent in the set 3.3. Denote by W t [ n] the universal weight function associated with the set of variables 3.3. W t [ n] = P + F tn F t F t n F t. 3.4 For any weight singular vector v let w V t [ n] = W t [ n] v be the related weight function and w V t [ n] = β t [ n] N n a a=2 l= the corresponding modified weight function. Here β t [ n] = a= λ a t a l w t [ n] 3.5 q q tal /ta l. t a l<l n a l /ta l We call the modified weight function 3.5 off-shell Bethe vector. One can see that any Π-ordered multiset is isomorphic to a permutation of some I n. The q-symmetric property then implies that the series 3.4 completely describe the universal weight function 3.2, and of-shell Bethe vectors 3.5 completely describe the corresponding modified weight function. 8

9 4 A computation of the universal weight function In this section we express the universal weight function W t n in generators of U q ĝl N, using the definition of the projection operator P +. Our strategy is as follows. Under projection operator in 3.4 we separate all factors F a t a i with a < N and apply to this product the ordering procedure of Proposition 4., based on the property 4.9. We get under total projection a symmetrization of a sum of terms x i P y i P + z i with rational functional coefficients; here each x i is a monomial on the modes of F t, and y i, z i are monomials on the modes of F a t with a < N. Then we reorder x i and P y i. At this stage composed currents, collected in so called strings, appear. The calculation of the projection of strings is a separate problem, which is solved by analytical tools. 4. Basic notations Let l and r be two collections of nonnegative integers satisfying a set of inequalities l a r a, a =,...,N. 4. Denote by [ l, r] a collection of segments which are sets of positive increasing integers {l a +,...,r a, r a } including r a and excluding l a. The length of each segment is equal to r a l a. For a given set [ l, r] of segments we denote by t [ l, r] the set of variables t [ l, r] = {t l +,...,t r ;... ; t N 2 l N 2 +,...,tn 2 r N 2 ; t l +,..., t r }. 4.2 The number of the variables of the type a is equal to r a l a. In this notation, the set of the variables 3.3 is t [ n] t [ 0, n]. One can consider 4.2 as a list of variables, corresponding to the ordered multiset, naturally related to [ l, r]. For any a =,..., N we consider the segment [l a, r a ] = {l a +,...,r a, r a } as an ordered multiset {l a + r a r a }, in which all the elements are of the type a. The related set of variables is denoted as t a [l a,r a] = {t a l a+,...,t a r a }. 4.3 All the variables in 4.3 have the type a. For the segment [l a, r a ] = [0, n a ] we use the shorten notation t a [0,n a] t a [n. a] Our basic calculations are performed on a level of formal series attached to certain ordered multisets. For the save of space we often write some series as rational homogeneous functions with the following prescription. Let {t i i I} = {t i,...,t in } be the ordered set of variables attached to an ordered set I = {i i 2 i n } and gt i i I be a rational function. Then we associate to gt i i I a Loran series which is the expansion of gt i i I in a region t i t i2 t in. If, for instance, 2, then we associate to a rational function a series k 0 t t tk t k 2. With 2 this convention to a rational function of the variables t [ n] we associate a Taylor series on t b k /tc l with b < c and on t a i /ta j with i < j. 9

10 For a collection of variables t [ l, r] we consider an ordered product F t [ l, r] = a r a l>l a F a t a l = F t r F t r F t l +, 4.4 where the series F a t F a+,a t is defined by 2.7. As a particular case, we have F t a = F [ l a, r a] at a r a F a t a l F a+2 at a l. a+ Symbols A a and A a mean ordered products of noncommutative entries A a, a a such that A a is on the right resp., on the left from A b for b > a: j a i A a = A j A j A i+ A i, i a j A a = A i A i+ A j A j For collections of positive integers r and l which satisfy inequalities 4. we denote by S l, r = S r l S r l a direct product of the symmetric groups. The group S l, r naturally acts on functions of the variables t [ l, r] by permutations of variables of the same type. If σ = σ σ S l, r, set σ t [ l, r] = {t,.. σ l +.,t ;.. σ r.;t σ l +,...,t σ r }. 4.5 For a formal series or a function G t r, l the q-symmetrization means Sym t [ l, r] G t [ l, r] = σ S l, r a l>l σ a l<σ a l q q t a σ a l /ta σ a l q qt a σ a l /ta σ a l G σ t [ l, r]. 4.6 The operation 4.6 is well-defined throughout the paper, see [KP] for details. According to 3. we call a formal series G t [ l, r] q-symmetric if Sym t [ l, r] G t [ l, r] = r a l a! G t [ l, r]. 4.7 The q-symmetrization of any series is q-symmetric. For a set of segments [ l, r] we introduce a third collection of nonnegative integers s such that 0 s a r a l a, a =,...,N. Each integer s a divides the segment [ l, r] into two nonintersecting segments [ l, r s] and [ r s, r]. Recall that we include into segment its left edge and exclude the right one. It means that [l a, r a s a ] = {l a +,...,r a s a, r a s a } and [r a s a, r a ] = {r a s a +,...,r a, r a }. For a set of the variables t [ l, r] and a collection of integers s which divide the set of segments [ l, r] we define a series a= Z s t [ l, r] = N 2 a= r a s a<l r a l a+ <l r a+ s a+ q q t a l / ta+ l t a l / ta+ l

11 Note that this series does not depend on the variables tr s +,..., tr and t l +,...,t r s. If s = r then this series does not depend on all variables of the type N from the set t [ l, r]. Also if r a = l a for all a except one value a = j then the collection [ l, r] of segments contains only one segment of the type j and we set the series 4.8 equal to. We call any expression i fi f i +, where f i U f and f i + U + f normal ordered. Using the property 2.6 of the projections we can present any product 4.4 in a normal ordered form. Proposition 4. We have an equality F t [ l, r] = 0 s r l 0 s r l a s a!r a l a s a! Sym t [ l, r] Z s t [ l, r] P F t [ r s, r] P + F t [ l, r s]. 4.9 Proof. We use the coproduct 2.3. The q-symmetrization appears in 4.9 due to the commuting of the Cartan and simple root currents corresponding to the same type, and the series Z s t [ l, r] appears due to the relation k a+t + a+ r a+ s a+ k a+t + a+ l a+ + F at a r a F a t a r = a s a+ = r a s a<l r a l a+ <l r a+ s a+ q q t a l / ta+ l t a l / ta+ l F a t a r a F a t a r a s a+ k + a+t a+ r a+ s a+ k + a+t a+ l a+ + which has to be used in order to apply the operator P in the right hand side of Composed currents and strings Following [DK, KP], we introduce composed currents F j,i t for i < j. The composed currents for nontwisted quantum affine algebras were defined in [DK]. The series F i+,i t, i =,...N, coincides with F i t, cf According to [DK], the coefficients of the series F j,i t belong to the completion U F of the algebra U F, see Section 2.2. The completion U F determines analyticity properties of products of currents and coincide with analytical properties of their matrix coefficients for highest weight representations. One can show that for i j >, the product F i tf j w is an expansion of a function analytic at t 0, w 0. The situation is more delicate for j = i, i ±. The products F i tf i w and F i tf i+ w are expansions of analytic functions at w < q 2 t, while the product F i tf i w is an expansion of an analytic function at w < t. Moreover, the only singularity of the corresponding functions in the whole region t 0, w 0, are simple poles at the respective hyperplanes, w = q 2 t for j = i, i +, and w = t for j = i. The definition of the composed currents may be written in analytical form F j,i t = res w=t F j,atf a,i w dw w = res w=t F j,awf a,i t dw w 4.0

12 for any a = i +,..., j. It is equivalent to the relation F j,i t = F j,a tf a,i w dw q w qt/w t/w F a,iwf j,a t dw w, F j,i t = F j,a wf a,i t dw q w qw/t F a,i tf j,a w dw 4. w/t w. In 4. dw w gw = g 0 for any formal series gw = n Z g nz n. Using the relations 2.8 on F i t we can calculate the residues in 4.0 and obtain the following expressions for F j,i t, i < j: F j,i t = q q j i F i tf i+ t F j t. 4.2 For example, F i+,i t = F i t, and F i+2,i t = q q F i tf i+ t. The last product is well-defined according to the analyticity properties of the product F i tf i+ w, described above. In a similar way, one can show inductively that the product in the right hand side of 4.2 makes sense for any i < j. Formulas 4.2 prove that the defining relations for the composed currents 4.0 or 4. yields the same answers for all possible values i < a < j. Calculating formal integrals in 4. we obtain the following presentation for the composed currents: F j,i t = F j,a tf a,i [0] qf a,i [0]F j,a t + q q k 0 F a,i [k] F j,a t t k, 4.3 F j,i t = F j,a [0]F a,i t q F a,i tf j,a [0] + q q k>0 F a,i t F j,a [k] t k, 4.4 which is useful for the calculation of their projections. The analytical properties of the products of the composed currents, used in the paper, are presented in Appendix A. For two sets of variables {u,..., u k } and {v,..., v k } we introduce the series Y u k,...,u ; v k,...,v = = k m= k m= v m /u m v m /u m k m =m+ m m = q q v m /u m v m /u m q q v m /u m v m /u m. 4.5 Consider again a collection of segments [ l, r] and associated set of variables t [ l, r]. Let j = maxa such that r b = l b for b = a+,..., N. Let s be a set of nonnegative integers, which besides the inequalities satisfies the following admissibility conditions 0 s a r a l a, a =,..., j = s 0 s s 2... s j s j = r j l j

13 Having the set s which satisfy both restrictions 4.6 and 4.7 we define a series depending on the set of the variables t [ r s, r] : j X t [ r s, r] = a= Y t a+ r a+ s a+ +s a,...,t a+ r a+ s a+ +; t a r a,..., t a r a s a+ 4.8 When j = we set X =. Define a special ordered product of the composed currents, which we call a string: F j s t j [l j,r j ] = F j+,a t j l. 4.9 j a l j +s a l>l j +s a The string 4.9 depends only on the variables {t j l j +,...,tj r j } of the type j, corresponding to the segment [l j, r j ]. The set of nonnegative integers s satisfying the admissibility condition 4.7 divides the segment [l j, r j ] into j subsegments [l j + s a, l j + s a ] for a =,...,j. This division defines the product of the composed currents in the string 4.9. Besides the product 4.9 which we called the string we consider the inverse ordered product of the same composed currents which we call the inverse string F j s t j [l j,r j ] = F j+,a t j l a j l j +s a <l l j +s a The inverse string satisfies analytical properties formulated in Appendix A which allows to calculate the projection of the direct and inverse string. 4.3 Recurrence relation Let n be the set of nonnegative integers n = {n,...,n }. We claim that the projection 3.4 satisfies the recurrence relation given by the following Proposition 4.2 W t [ n] = s Sym t [ n] a= s a s a!n a s a! Z s t [ n] X t [ n s, n] P + F s t [n ] W N 2 t [ n s], 4.2 where the sum is taken over all collections s = {s, s 2,...,s }, such that 0 = s 0 s s 2... s N 2 s = n and 0 s a n a, a =,..., N 2. Due to the restriction s = n and definition 4.8, the series Z s t [ n] depends only on the variables with type N missing. The same restriction implies that the set t [ n s] does not contain variables of the type N and an element W N 2 t [ n s] is a universal weight function for the algebra U q ĝl. This fact allows to iterate 3

14 the recurrence relation 4.2 and reduce the universal weight function 3.4 to the q-symmetrization of the product of projection of strings. This will be done in the next section. Proof of Proposition 4.2. The proof of the recurrence relation 4.2 follows the strategy of calculation of the universal weight function which was described in the introductory part to the Section 4. Set n = {n,...,n N 2, 0}. We have a decomposition F t [ n] = F t [n ] F t [ n ] where the first term only contains the variables of the type N, and the last term does not contain the variables of the type N F t [n ] = F t n F t, F t [ n ] = F N 2 t N 2 n N 2 F N 2 t N 2 F t n F t. We apply to the product F t [ n ] the ordering procedure of Proposition 4. and substitute the result into 3.4: W t [ n] = N 2 s N 2,...,s a= s a!n a s a! Sym t [ n ] Z s t [ n ] P + F t [n ] P F t [ n s, n ] W N 2 t [ n s ] The sum is taken over all nonnegative integers {s,...,s N 2 } such that s a n a, a =,...,N 2; s means the collection {s,...,s N 2, 0} and q-symmetrization is performed over the variables t [ n ]. Lemma 4.3 For any n = {n,...,n }, s = {s,...,s } such that all s a n a for a =,..., N 2 and s = n we have P + F t [n ] P F t [ n s, n ] = = 4.23 s! s a=2 a s a! Sym t [ n s, n] X t [ n s, n] P + F s t [n ] if s s 2 s ; otherwise the projection in 4.23 is equal to zero. In 4.23 we follow the above notations n = {n,...,n N 2, 0}, s = {s,...,s N 2, 0}. The series X t [ n s, n] is defined in 4.8. The proof of Lemma is given in the end of this section. Substitute 4.23 into By definition 4.8 the series Z s t [ n ] = Z s t [ n] is symmetric with respect to permutations of the variables t [ n s, n] of the same type, and the universal weight function W N 2 t [ n s ] = W N 2 t [ n s] does now depend on the variables t [ n s, n]. We can so include the series Z s t [ n] and W N 2 t [ n s] inside the q- symmetrization Sym t [ n s, n] and replace the double symmetrization by a single one, using 4.7: Sym t [ n ] Sym t [ n s, n] = 4 N 2 a= s a! Sym t [ n]

15 Proposition 4.2 is proved. Proof of Lemma 4.3. For any j =,..., N denote by U j the subalgebra of U f formed by the modes of F t,...,f j t. Let Uj ε = U j Ker ε be the corresponding augmentation ideal. We claim first that the projection P F t [ n s, n ] can be presented as X t [ n Sym s, n ] t [ n s, n ] s! N 3 a= s P F s N 2 t N 2 [n a+ s a! N 2 s N 2,n N 2 ] mod P 4.24 UN 3 ε U if admissibility conditions 0 s s 2 s N 3 s N 2 are satisfied and is zero modulo P UN 3 ε U otherwise. This can be shown by iteratively using Proposition C.3, proved in Appendix C. Due to 2.5 and 2.6 we have P f f 2 = P f P f 2 for any elements f, f 2 U f. Thus we can present the projection P F t [ n s, n ] as s! P N 2 a 3 F t a [n a s a,n a] F t 2 [n 2 s 2,n 2 ] Sym t [n s,n ]P F t [n s,n ] We now apply C.0 with j = 2 to the last two terms of 4.25, and under condition s s 2 replace them by s 2 s! Sym t [ n 2 s 2, n 2 X t ] [ n 2 s 2, n ]F 2 s t [n 2 s 2,n 2 ] = s 2 s! Sym t 2 [n 2 s 2,n 2 ], t Y t 2 n [n s,n ] 2 s 2 +s,...,t 2 n 2 s 2 +; t n,...,t n s + F 32 t 2 n 2 F 32 t 2 n 2 s 2 +s +F 3 t 2 n 2 s 2 +s F 3 t 2 n 2 s modulo P U ε U 2. Here we use the notation n 2 = {n, n 2, 0,..., 0} and s 2 = {s, s 2, 0,..., 0}. If s 2 < s, the last two terms in 4.25 are zero modulo P U ε U 2. Due to the commutativity [F a t, F t ] = 0 for a 3 we can move the elements of P U ε to the left through the first product a 3 F t a [n a s a,n a] and then out of the projection P, since P P f f = P f P f. These terms are absorbed into P UN 3 ε U in Going further, we replace the appearing string F 2 s t 2 2 [n 2 s 2,n 2 ] by its projection P and apply Proposition C.3 to the product F t 3 [n 3 s 3,n 3 ] Sym t [ n 2 s 2, n 2 ] X t [ n 2 s 2, n 2 ]P F 2 s 2 t 2 [n 2 s 2,n 2 ]. In the notation n 3 = {n, n 2, n 3, 0,..., 0} and s 3 = {s, s 2, s 3, 0,...,0}, and the assumption s 2 s 3 this product is replaced by s 3 s 2! Sym t [ n 3 s 3, n 3 X t [ n 3 s 3, n 3 ] ]F 3 s t 3 3 [n 3 s 3,n 3 ] modulo elements of P U ε 2 U 3, which are again moved to the left out of the projection and are absorbed into P U ε N 3 U in Finally we get

16 For the calculation of the projection P + F t [n ] P F t [ n s, n ] we replace the second factor by Elements of P UN 3 U ε do not contribute, since any element of U N 3 commutes with modes of F t: P + F t [n ] P UN 3 ε U = 0. Thus we are rest to calculate we set s 0 0 N 2 a= s a s a! Sym t [ n s, n ] P + X t [ n s, n ]F t [n ] P F s N 2 t N 2 [n N 2 s N 2,n N 2 ]. Due to Proposition C.3 the latter expression is non-zero only iff s N 2 n and is equal to the right hand side of Iteration of the recurrence relation Let [[ s]] = {s j i, i j} be a triangular matrix with nonnegative integer coefficients. We say that the matrix [[ s]] is n-admissible, and denote this by the symbol [[ s]] n, if it does not increase in the lines and its sum over the columns is n: n a = b=a s b a, a =,...,N We also follow the convention s j 0 = 0 for j =,..., N. s 0 = s 0 s s 2 s = s 2 0 s2 s2 2 [[ s]] = s N 2 s2 N 2... s N 2 N 2 0 = s0 N 2 s N 2... s N 2 N 2 s s2... s N 2 s 0 = s 0 s... s 4.28 Let s j, j =,..., N be the j-th line of the admissible matrix [[ s]]. Define a collection of vectors p s j = s j + s j+ + + s N 2 + s, j =,...,N 4.29 with non-negative integer components. Set p s N = 0. Note that according to admissibility condition 4.27 p s = n. The iteration of the recurrence relations 4.2 gives the following Theorem The weight function 3.4 can be presented as a total q-symmetrization of the sum over all n admissible matrices [[ s]] of the ordered products of the projections of strings with rational coefficients: W t [ n]] = Sym t [ n] j=3 [[ s]] n Z s j t [ n p s j+ ] j=2 b b= a= s b a sb a! X t [ n p s j, n p s j+ ] j P + F j s j t j [s j j ]

17 The rational series in 4.30 may be gathered into a single multi-variable series. Set Z [[ s]] t [ n] = = j=3 b s b a b=2 a= l= Z s j t [ n p s j+ ] j=2 t a l+n a p /t a+ b a l+n a+ p b a+ X t [ n p s j, n p s j+ ] = l+n a+ p b a+ l = q q t a l+n a p /t a+ b a l t a l+n a p /t a+ b a l 4.3 where p b a are components of the vector p sb. Using 4.3 the formula for the universal weight function 4.30 can be written in a compact form: W Z [[ s]] t [ n] t [ n] = Sym t [ n] a b sb a sb a! P F + j s t j j [s j ] j [[ s]] n j Theorem reduces the calculation of the universal weight function to the calculation of the projections of the strings. 4.5 Projection of composed currents and strings Let be the standard comultiplication in U q ĝl N defined by 2.5. For any elements x, y U q ĝl N we define the adjoint action by the relation ad x y = l ax l y x l, where x = l x l x l 4.33 and ax is an antipode map related to the comultiplication 2.5. By screening operators we understand the operators of the adjoint actions of zero modes F i [0] of F i t: S i y = ad Fi [0] y = y F i [0] F i [0] k i+ k i y k i k i where k i are zero modes of k + i t: k i = k + i [0] = k i [0]. Proposition 4.4 For any i, j, i < j N we have the equalities P + F j+,i u = S i S i+ S j P + F j u = S i S i+ S j Fj u + = S i S i+ S j F j u Proof. Taking 4.3 for a = i + and using the definition of the projection P + we obtain P + F j,i t = S i P + F j,i+ t, i < j The first equality of Proposition follows from 4.36 by induction. One should take into account the commutativity of the projections and screening operators proved in [KP]. Then we apply 2.2. An analog of Proposition 4.4 for P F j+,i u is given in Appendix B. For a set {u,...,u n } of formal variables we introduce a set of the rational functions ϕ um u; u,..., u n = n k=, k m 7 u u k u m u k n k= q u m qu k q u qu k 4.37

18 satisfying the normalization conditions ϕ um u s ; u,...,u n = δ ms. We set F j+,i u; u,...,u n = F j+,i u for i j < N. By 4.35 we have n ϕ um u; u,...,u n F j+,i u m 4.38 m= P + F i,j+ u; u,..., u n = S i S i+ S j Fj u + n ϕ um u; u,...,u n S i S i+ S j Fj u m +. m= 4.39 Proposition 4.5 below and the relation 4.39 suggest a factorized form for the projection of the inverse string F s t j [,r j,l j ]. Proposition 4.5 P + Fj s t j [l j,r j ] = a j l j +s a <l l j +s a P + Proof of Proposition 4.40 is shifted to the Appendix B. F j+,a t jl ; tjlj+,...,tjl Projections of the string 4.9 and of the inverse string 4.20 are related, namely P + F j s t j [l j,r j ] = P + Fj s t j [l j,r j ] q q j tl /t j l l j <l<l r j t j l /t j l a j l j +s a <l<l l j +s a j tl /t j l q qt j l /t j l. 4.4 This statement is the direct consequence of the relations between composed currents given by Proposition A.. For the details see [KP]. The particular case of basic relations 2.8, k + j t F j,j tk + j t = q q t/t F t/t j,j t implies the following relation for the projections: and in general k + j t P + F j,j tk + j t = q q t/t n k + j t ap + F j,j t a= n k + j t a = a= n a= t/t P + F j,j t; t, 4.42 q q t/t a t/t a P + F j,j t; t,...,t n

19 Applying a sequence of the screening operators S i S j 2 to 4.43 we obtain n k + j t a P + F j,i t a= n k + j t a = a= n a= q q t/t a t/t a P + F j,i t; t,..., t n 4.44 due to the commutativity of any of zero modes F i [0],...,F j [0] with k + j+ t. We rewrite the relation 4.44 in the form P + F j,i t; t,...,t n n k + j t a = a= n a= t/t a q q t/t a n k + j t a P + F j,i t Using 4.45 and 4.4 we rewrite the relation 4.40 and its analog for the string 4.9 in the following form: a= P + Fj s t j [l j,r j ] = l j <l<l r j r j l=l j + j tl /t j l q q t j l /t j l P + F j s t r j j [l j,r j ] a j l=l j + k + j+ tj l = a j k + j+ tj l = P + F j+,a t j l k + j+ tj l, l j +s a <l l j +s a a j l j +s a <l<l l j +s a P + F j+,a t j l k + j+ tj l. l j +s a <l l j +s a j tl /t j l q qt j l /t j l Weight function and L-operators 5. From Gauss coordinates to L-operator s entries The results of the previous section show that the projection of the string multiplied by certain number of k j+ + tj l can be factorized in such a way that each factor is a product of projection of the composed currents and of some k + j+ tj l. In this section we use this observation and express the weight functions via matrix elements of L-operators 2.0. First, we relate projection of composed currents with Gauss coordinates of L-operators. This is given by the following Proposition 5. We have for any i < j Proof. We use the equality P + F j,i t = q q j i F + j,i t. 5. q q F + j,i t = S i F + j,i+ t, i < j

20 It is proved in [KPT] and is a direct consequence of the relations 2.4 taken for the modes of L-operators. The claim of Proposition now follows by induction from Proposition 4.4 and relation 2.2. Let V be U q ĝl N-module with a weight singular vector v. The relation 4.47 and Proposition 5. allows to rewrite the corollary 4.32 to Theorem in the following form: w V t [ n] = β t [ n] Sym t [ n] s b a <l sb a [[ s]] n q q P b= n b s b b a b sb a s b a! F + b+,a tb l k+ b+ tb l sb a where the series Z [[ s]] t [ n] is given by 4.3. l =l+ Z [[ s]] t [ n] b n b a b t b l tb l q t b l k + qtb b+ tb l v l l=s b b For any c =,...,N denote by I c the left ideal of U q b +, generated by the modes of E + j,i u with i > j c. We have inclusions 0 = I N I I. Lemma 5.2 Fix any c =,..., N. Then i the left ideal I c is generated by modes of L + i,j u with i > j c; ii for any a and b with a < b and b c we have equalities L + a,b t F+ b,a tk+ b t mod I c, L + b,b t k+ b t mod I c, 5.4 iii for any a c and b c the modes of L + a,c t and of L+ b,b t normalize the ideal I c : I c L + a,c t I c I c L + b,b t I c. 5.5 Proof. We have three types of relations 5.: L + a,b t = F+ b,a tk+ b t + F + m,a tk+ m te+ b,m t, a < b, 5.6 b<m N L + b,b t = k+ b t + b<m N L + a,b t = k+ a te+ b,a t + a<m N F + m,b tk+ m te+ b,m t, 5.7 F + m,a tk+ m te+ b,m t, a > b. 5.8 Denote Ē+ j,i u = k+ i te+ j,i t and F + i,j u = F+ i,j tk+ i t for i > j. In these notations the relation 5.8 looks as L + a,b t = Ē+ b,a t + F + m,a tē+ b,m t, a > b. 5.9 a<m N Since k + b t is invertible, the ideal I c is generated by the modes of Ē+ j,i u with i > j c as well. Now we inverse the relations 5.9, that is we write Ē+ j,n t = L+ N,j t for j < N; then Ē+ j, t = L+,j t F+ N, tl+ N,j t for j < N and so on by induction. 20

21 This proves i. In the same manner we rewrite first 5.6 and 5.7 in F + i,j u, E+ j,i u and k + i t and prove by induction that L+ a,b t F + b,a t mod I c and L + b,b t k+ b t mod I c for b c and a < b, which means ii. The statement iii is a corollary of the Yang-Baxter relations 2.2. Let R ij;kl u, v be the matrix elements of the R-matrix 2.. We have for a < c < k and for a < c < j < i: L + k,c ul+ a,ct = R cc;ccu, t R kk;aa u, t L+ a,ctl + k,c u R ka;aku, t R kk;aa u, t L+ a,cul + k,c t, L + i,j ul+ a,c t = R jj;ccu, t R ii;aa u, t L+ a,c tl+ i,j u R ia;aiu, t R ii;aa u, t L+ a,c ul+ i,c t + R cj;jcu, t R ii;aa u, t L+ a,ctl + i,c u. These relations precisely mean the inclusion I c L + a,ct I c. The second part of iii is proved in an analogous manner and is actually well known. Theorem 2 For any U q ĝl N module V with a weight singular vector v we have w V t [ n] = β t [ n] Sym t [ n] b s b a a b l=s b a + [[ s]] n L + a,b+ tb l sb a q q P b= n b s b b a b sb a s b a! t b l tb l q t b l qtb l l =l+ Z [[ s]] t [ n] n b L + b+,b+ tb l v l=s b b Observe that non-commutative products over b and a run in the opposite directions and the ordering in the product over l is not important now, because of commutativity of the matrix elements of L-operators with the same matrix indices. Proof. The theorem states that in 5.3 we can replace each entry of F+ b,a t = F + b,a tk+ b t by L+ a,b t and each entry of k+ b t in the last product of 5.3 by L+ b,b t. This is done with a help of Lemma 5.2. Indeed, we can present the right hand side of 5.3 as a linear combination of terms A N i A i A 2 i B iv, where each A c i is an ordered product of some F + c,at c j, and B i is a product of some k b t b j. We start from A N i. Here we have F + N,a t = L+ a,n t by 5.6. By the statement ii of Lemma 5.2 each multiplier of Ai can be written as L + a, tn 2 j +x j for some a < N, parameter t N 2 j and x j I. Due to the part iii of Lemma 5.2, we can rewrite the whole product in A i as j L+ a, tn 2 j + y with a single y I. Moving further, we replace the product A N i A i A 2 i B i by ĀN i Ā i Ā2 i + y 2 Bi v, 5. where each Āc i equals to A c i with all F + c,a t replaced by L+ a,c t, and y 2 I 2 I. We apply finally the last part of Lemma 5.2, iii and replace 5. by the product Ā N i Ā i Ā2 B i i v, where B i consists of L + b,b tb k only. This proves the theorem. 2

22 We can slightly simplify the formula 5.0 by a renormalization of q-symmetrization see [TV2]. We set for a series or function G t [ n] : Sym q t [ n] G t [ n] = β t [ n] Sym t [ n] G t [ n]. 5.2 Let G sym u,...,u n be any symmetric function of n variables u k, that is G sym σ ū = G sym ū for any element σ from the symmetric group S n. Let βū = q q u k /u k k<k u k. /u k One can check the following property of renormalized q-symmetrization: n! Sym q ū βū G sym ū = [n] q! Sym q ū Gsym ū, 5.3 where [n] q = qn q n, and [n] q q q! = [n] q [n ] q [2] q [] q. We can apply the relation 5.3 to the right hand side of 5.0 because in this formula inside the total q-symmetrization there is a symmetric series in the sets of variables {t b l } for sb a + l sb a, a =,...,b and b =,...,N. This follows from the commutativity of matrix elements of L-operators [L + a,b t, L+ a,b t ] = 0, and from the explicit form of the series 4.3. Restoring this series and denoting p b a = n a p b a = sa a + + sb a we formulate the following corollary of Theorem 2 Corollary 5.3 The off-shell Bethe vectors for quantum affine algebra U q ĝl N can be written as w V t [ n] = Sym q t [ n] q q P b= n b s b b [s b a sb a ] q! [[ s]] n b=2 a= l= b l+ p b a+ b s b a q q t a /t a+ l+ p b a l t a /t a+ t a /t a+ l+ p b a l+ p b a+ l = l+ p b a l s b a L + a,b+ tb l n b L + b+,b+ tb l v. a b l=s b a + l=s b b + a b 5.4 Expression 5.4 for the off-shell Bethe vectors expressed in terms of matrix elements of L-operators can be written as the recurrence relation w V t [ n] = s [s ] q! Sym q t n a N 2 a= q q s a a+ sa ] q![n a sa ] q! [s X t [ n s, n] Z s t [ n] s a L + a,n t l l=s a + N 2 n a a= l = n a s a + w N 2 V t [ n s ] λ a+ t a l, 5.5 where summation in 5.5 runs over first row of the admissible matrix [[ s]]. The vector valued function w N 2 V t [ n s ] is the off-shell Bethe vector for the algebra U q ĝl 22

23 embedded into U q ĝl N. This embedding φ : U q ĝl U q ĝl N can be described on the level of Gauss coordinates of the corresponding L-operators: φ F ± b,a t = F ± b,a t N, φ E ± a,b t = E ± a,b t N, φ k ± a t = k ± a t N, a < b N. 5.6 Here F ± b,a t etc., denote Gauss coordinates of the source U q ĝl while F ± b,a t N etc., the Gauss coordinate of the target U q ĝl N. 5.2 Evaluation homomorphism The quantum affine algebra U q ĝl N contains a quantum group U q gl N. It is generated by the zero modes of L-operators 2.0. Using them, we introduce Cartan-Weyl generators E ab, a, b N of U q gl N. We set L ± L ± [0], and E L + = KL + 0 = E 22 0 νe , 5.7 E NN νe N νe,n L = L 0 K = νe 2 νe N νe N, E E E NN, 5.8 where ν = q q. Generators E aa, E a,a+ and E a+,a may be considered as Chevalley generators of U q gl N with commutation relations E aa E bc E aa = q δ ab δ ac E bc, [E a,a+, E b+,b ] = δ ab E aa E a+,a+ E aa E a+,a+ q q, 5.9 E 2 a±,ae a,a q + q E a±,a E a,a E a±,a + E a,a E 2 a±,a = 0, 5.20 E 2 a,a±e a,a q + q E a,a± E a,a E a,a± + E a,a E 2 a,a± = 0. The rest of E ab may be constructed from these Chevalley generators as follows E c,a = E c,b E b,a qe b,a E c,b, E a,c = E a,b E b,c q E b,c E a,b, a < b < c. 5.2 Using generators E ab we define an evaluation homomorphism: Ev z L + u = L + z u L, Ev z L u = L u z L One can check that the relations 5.9 and 5.2 follow from

24 Let M Λ be a U q gl N -module generated by a vector v, satisfying the conditions E a,a v = q Λa v and E a,b v = 0 for a < b. Then v is a singular weight vector of the evaluation U q ĝl N module M λ z. Taking into account a reordering of the factors N 2 b= n b l=s b b + λ b+ t b l = N 2 b s b a λ a+ t a l+ p 5.23 b a b=2 a= l= we can present the off-shell Bethe vector in M λ z as w a= na M Λ z t [ n] = q q P na b Sym q t [ n] a= a b l= ta l [[ s]] n a b zeb+,a E s b a s b a b+,b+ b s b a q Λ a+ t a l+ p q Λ b a+ z a t a /t a+ b=2 a= l= l+ p b a l+ p b a+ [s b a sb a ] q! v l+ p b a+ l = q q t a l+ p /t a+ b a l t a /t a+ l+ p b a l, 5.24 where p b a = sa a + + sb a. 6 Relation to Tarasov-Varchenko construction The original inductive construction of nested Bethe vectors of [KR] was then developed in [TV], where these vectors were defined as certain matrix elements of monodromy operators see below. In [KPT] a conjecture about the coincidence of the construction from [TV] and those used in the present paper was stated. Recently, Tarasov and Varchenko managed to calculate nested Bethe vectors in evaluation modules [TV2]. In this section we use the results of [TV2] to prove a variant of the conjecture of [KPT]. The R-matrix, used in [TV2] differs from 2.. To achieve a compatibility of the results, we slightly modify our construction. Let R U q b + U q b be the universal R-matrix of U q ĝl N with droped factor q c d+d c/2, and R the universal R-matrix of the Hopf subalgebra U q gl N, described in the previous section. Define ε i U q gl N by the relation q ε i = E ii. Define the reduced R-matrix R 0 of U q gl N by the relation R 2 R 0 = Rq P N i= ε i ε i. Then 0 is a two-cocycle with respect to comultiplication. For any x U q ĝl N we set x 2 = R 0 2 x R 0. The universal R-matrix R for the comultiplication is 2 R = R 0 R R 0. It is an element of U q b + U q b, where the new Borel subalgebras U q b + and U q b are determined by L-operators L + z = πz R 2 and L z = πz R. Here πz is a vector representation of U q ĝl N evaluated at the point z. We have by the construction L ± z = L 0 L ± z L + 0, 6. 24

25 where L ± z are L-operators of Section 2.2, and L ± 0 are given by the relations 5.7 and 5.8. The L-operators L ± z satisfy the Yang-Baxter relations with R-matrix 6.2, initial conditions 6.3 and comultiplication rule 6.4: Ru, v = i N + q q qu q v E ii E ii + i<j N u v qu q v i<j N ue ij E ji + ve ji E ij, E ii E jj + E jj E ii 6.2 L + ji [0] = L ij [0] = 0, L+ kk [0] L kk [0] =, i < j N, k N, 6.3 L± ij u = k L ± kj u L ± ik u. 6.4 Let N L ± z = E ii + i= N F ± j,i ze ij i<j N k ± i ze N ii E ii + i= i= N Ẽ ± i,j ze ji. 6.5 i<j be the Gauss decomposition of L ± z. We have the following connection to the current realization of U q ĝl N: E i z = Ẽ+ i,i+ z Ẽ i,i+ z, F iz = F + i+,i z F i+,i z, 6.6 Ẽ ± i,i+ z = E iz ±, Besides, the correspondence 6. imply the relations F± i+,i z = z z F i z ±. 6.7 Ẽ ± i,i+ z = E± i,i+ z E i[0], F± i,i+ z = F± i,i+ z + F i[0]. 6.8 We have the new decomposition U F = Ũ f Ũ+ F, where Ũ f = U F U q b, and Ũ+ F = U F U q b +, and the new projections P + : U F Ũ+ F and P : U F Ũ f defined as P + f f + = εf f +, P f f + = f εf +, f Ũ f, f + Ũ+ F. 6.9 For any Π-ordered multiset I we set W I t i i I = P + F ιint in F ιin t in F ιi2 t i2 F ιi t i. 6.0 A small modification of arguments of [KPT] shows that a collection of V -valued functions w V,I t i i I = W I t i i I v, where V is a U q ĝl N-module with a singular weight vector v, form a q-symmetric weight function, that is, satisfy the setting of Section 3. with respect to the comultiplication. Denote by W t [ n] the universal weight function associated with the set of variables 3.3. W t [ n] = P F + tn F t F t n F t, 6. 25

26 na and by w V t [ n] = β t n N a=2 l= λ at a l W t [ n] v the related modified weight function, associated with a weight singular vector v of a U q ĝl N-module V. Set Ỹ ū; v = k v m m= u m Y ū; v, where the series Y ū; v is defined by 4.5 and let X t [ r l, r] be the series defined by 4.8 with Y replaced by Ỹ. The first step of the calculation of recurrence relation for 6., as well as the definition of strings is unchanged. The difference appears during the calculation of the projection This difference results that the series X t [ n s, n] in 4.2 is replaced by X t [ n s, n] and the recurrence relation for 6. takes the form W t [ n] = s s! a=2 N 2 s a s a! a= n a s a! Sym t [ n] Z s t [ n] X t [ n s, n] P + F s t [n ] WN 2 t [ n s]. The iteration of this relation yields an analog of Theorem Z W [[ s]] t [ n] t [ n] = Sym t [ n] a b sb a P F + j s t j sb a! j [s j ], 6.2 j where Z [[ s]] t [ n] = [[ s]] n b s b a b=2 a= l= t a l+ p /t a+ b a l+ p b a+ t a /t a+ l+ p b a l+ p b a+ j l+ p b a+ l = q q t a l+ p /t a+ b a l t a /t a+, l+ p b a l and p b a = s a a + + s b a. An analog of Proposition 5., P + F j,i t = q q j i F+ j,i t, i < j. allows to rewrite 6.2 in Gauss coordinates of L-operator L + t: q w q P b= n b s b b V t [ n] = β t [ n] Sym t [ n] Z a b sb a s b [[ s]] t [ n] a! b s b a a b l=s b a + [[ s]] n sb a F+ b+,a tb l k+ b+ tb l l =l+ n b t b l tb l q t b l k + qtb b+ tb l v. l l=s b b + The arguments for the derivation of an analog of Theorem 2 and Corollary 5.3 are unchanged. We get finally the following expression for the modified weight function: w V t [ n] = Sym q t [ n] q q P b= n b s b b [s b a s b a ] q! [[ s]] n b s b a b=2 a= l= b t a l+ p /t a+ b a l+ p b a+ l+ p b a+ a b q q t a /t a+ l+ p b a l t a /t a+ t a /t a+ l+ p b a l+ p b a+ l = l+ p b a l s b a L+ a,b+ tb l n b L+ b+,b+ tb l v. a b l=s b a + l=s b b