Factorization of the R-matrix. II.

S.E. Derkachov

November 27, 2006

Department of Mathematics, St Petersburg Technology Institute St.Petersburg, Russia. E-mail: S.Derkachov@pobox.spbu.ru Abstract. We study the general rational solution of the Yang-Baxter equation with the supersymmetry algebra s ( 2 | 1 )   . The R-operator acting in the tensor product of two arbitrary representations of the supersymmetry algebra can be represented as the product of the simpler ”building blocks” –   -operators.
Contents

1 Introduction

In the previous paper [1we have shown that the general R-matrix can be represented as the product of the much more simpler   -operators. In this paper we shall consider the general rational solution of the Yang-Baxter equation with the supersymmetry algebra s ( 2 | 1 )   and show that there exists the same factorization. In fact all calculations are very similar to the s ( 3 )   -example and modifications due to supersymmetry are simple. The generalization of the previous results [1to the algebra of supersymmetry is mainly motivated by the possible applications to the super Yang-Mills theory [2, 3, 12, 5.
The presentation is organized as follows. In Section 2 we collect the standard facts about the algebra s ( 2 | 1 )   and its representations. We represent the lowest weight modules by polynomials in one even variable ( z   ) and two odd variables ( θ , θ ¯   ) and the s ( 2 | 1 )   -generators as first order differential operators. We use the notation and formulae from the paper [8. In Section 3 we derive the defining relation for the general R-matrix, i.e. the solution of the Yang-Baxter equation acting on tensor products of two arbitrary representations, the elements of which are polynomials in variables z 1 , θ 1 , θ ¯ 1   and z 2 , θ 2 , θ ¯ 2   . In Section 4 we introduce the natural defining equations for the   -operators and show that the general R-matrix can be represented as the product of such much more simple operators.
Finally, in Section 4 we summarize. In Appendix we calculate the matrix elements of the   -operators and as consequence obtain the matrix elements of R-matrix in full agreement with the results of the paper [8.

2 s l ( 2 | 1 )   lowest weight modules

The superalgebra s ( 2 | 1 )   has eight generators: four odd V ± , W ±   and four even S , S ±   and B   .
Using the natural notations E 31 = S ; E 21 = W ; E 32 = V ; E 13 = S + ; E 23 = W + ; E 12 = V +   E 11 = B S ; E 22 = 2 B ; E 33 = B + S .   the commutation relations for the generators of s ( 2 | 1 )   can be written compactly in the form [6, 7 [ E A B , E C D ] = δ C B E A D ( ) ( A ¯ + B ¯ ) ( C ¯ + D ¯ ) δ A D E C B ; A , B , C , D = 1 , 2 , 3   where the graded commutator is defined as (we choose the grading 1 ¯ = 3 ¯ = 0 , 2 ¯ = 1   ) [ E A B , E C D ] E A B E C D ( ) ( A ¯ + B ¯ ) ( C ¯ + D ¯ ) E C D E A B .   There are two central elements [6, 7, 10 C 2 = 1 2 A B ( ) B ¯ E A B E B A = S 2 B 2 + S + S + V + W + W + V ; C 3 = 1 6 A B C ( ) B ¯ + C ¯ E A B E B C E C A   The Verma module is the generic lowest weight s ( 2 | 1 )   -module V Λ ; Λ = ( , b )   . As a linear space V Λ   is spanned by the basis with even elements a k , b k   a k = S + k a 0 , k = 0 , 1 , 2 ; b k = S + k 1 W + V + a 0 , k = 1 , 2   and odd elements v k , w k   v k = S + k V + a 0 ; w k = S + k W + a 0 , k = 0 , 1 , 2   The vector a 0   is the lowest weight vector:
S a 0 = V a 0 = W a 0 = 0 ; S a 0 = a 0 ; B a 0 = b a 0   We shall use the representation V Λ   of s ( 2 | 1 )   in the infinite-dimensional space C [ Z ]   where Z = ( z , θ , θ ¯ )   of polynomials in even variable z   and odd variables θ , θ ¯   with the monomial basis { z k , θ θ ¯ z k ; θ z k , θ ¯ z k } k = 0   and lowest weight vector a 0 = 1   [8. The action of s ( 2 | 1 )   in V Λ   is given by the first-order differential operators
S = ; V = θ + 1 2 θ ¯ ; W = θ ¯ + 1 2 θ (2.1)
V + = [ z θ + 1 2 θ ¯ z + 1 2 θ ¯ θ θ ] ( b ) θ ¯ ; W + = [ z θ ¯ + 1 2 θ z + 1 2 θ θ ¯ θ ¯ ] ( + b ) θ   S + = z 2 + z θ θ + z θ ¯ θ ¯ + 2 z b θ θ ¯ ; S = z + 1 2 θ θ + 1 2 θ ¯ θ ¯ + ; B = 1 2 θ ¯ θ ¯ 1 2 θ θ + b   It is possible to derive the closed expressions for the elements of the basis a k = S + k 1 = ( 2 ) k [ z k b 2 θ θ ¯ ] z k 1 ; b k = S + k 1 W + V + 1 = b 2 ( 2 ) k [ z + ( b + + k 2 ) θ θ ¯ ] z k 1   v k = S + k V + 1 = ( b ) ( 2 + 1 ) k z k θ ¯ ; w k = S + k W + 1 = ( + b ) ( 2 + 1 ) k z k θ ; ( 2 ) k Γ ( 2 + k ) Γ ( 2 )   It is evident that for the generic n 2   the module V Λ   is an irreducible lowest weight s ( 2 | 1 )   -module isomorphic to V Λ   but for the special values of the spin = n 2   there exists the finite dimensional invariant subspace. There are three cases depending on the relation between b   and n   [6, 9, 10. The first case is for generic b ± n 2   (typical representations) and there exists the 4 n   -dimensional invariant subspace. The second and third cases appear for b = ± n 2   (atypical representations). For the chiral representation b = n 2   the ( 2 n + 1 )   -dimensional invariant subspace is spanned on the vectors Φ k + = ( z θ θ ¯ 2 ) k , k = 0 . . . n ; W k = θ z k , k = 0 . . . n 1   and for the antichiral representation b = n 2   the ( 2 n + 1 )   -dimensional invariant subspace is spanned on the vectors Φ k = ( z + θ θ ¯ 2 ) k , k = 0 . . . n ; V k = θ ¯ z k , k = 0 . . . n 1   We shall use the three-dimensional chiral representation V   .In the basis e 1 = S + 1 = z + θ θ ¯ 2 , e 2 = W + 1 = θ , e 3 = 1   the s ( 2 | 1 )   -generators take the form
s = ( 0 0 0 0 0 0 1 0 0 ) ; w = ( 0 0 0 1 0 0 0 0 0 ) ; v = ( 0 0 0 0 0 0 0 1 0 ) ; s = ( 1 2 0 0 0 0 0 0 0 1 2 ) (2.2)
s + = ( 0 0 1 0 0 0 0 0 0 ) ; w + = ( 0 0 0 0 0 1 0 0 0 ) ; v + = ( 0 1 0 0 0 0 0 0 0 ) ; b = ( 1 2 0 0 0 1 0 0 0 1 2 )   There exists the second three-dimensional representation antichiral representation V ¯   . In the basis e 1 = S + 1 = z θ θ ¯ 2 , e 2 = V + 1 = θ ¯ , e 3 = 1   the s ( 2 | 1 )   -generators take the similar form as in chiral representation but v ± w ± ; b b   .
We use the standard definition for the matrix A i k   of the linear operator A   in the basis { e k }   A e k = i e i A i k  

3 Yang-Baxter equation and Lax operator

The Yang-Baxter equation is the following three term relation [11, 12 R Λ 1 Λ 2 ( u v ) R Λ 1 Λ 3 ( u ) R Λ 2 Λ 3 ( v ) = R Λ 2 Λ 3 ( v ) R Λ 1 Λ 3 ( u ) R Λ 1 Λ 2 ( u v )   for the operators R Λ i Λ j ( u ) : V Λ i V Λ j V Λ i V Λ j   . We start from the simplest solutions of Yang-Baxter equation and derive the defining equation for the general R   -operator [8, 15. First we put Λ 1 = Λ 2 = Λ 3 = ( 1 2 , 1 2 )   in Yang-Baxter equation and consider the restriction on the invariant subspace V V V   . We obtain the equation R 12 ( u v ) R 13 ( u ) R 23 ( v ) = R 23 ( v ) R 13 ( u ) R 12 ( u v )   where the operator R 12 ( u )   acts on the first and second copy of V   in the tensor product V V V   and similarly for the other R   -operators. The solution is well known [11, 12 R 12 ( u ) = u + P 12   where P 12   is the (graded)permutation operator in V V   . We choose the basis { e 1 , e 2 , e 3 }   in V   so that e 1 , e 3   are even elements and e 2   is odd element and our grading is: 1 ¯ = 3 ¯ = 0 , 2 ¯ = 1   .
The permutation operator acts on the basis as follows P 12 e i e k = ( 1 ) i ¯ k ¯ e k e i   and additional sign arises for e 2 e 2   only. Secondly we choose Λ 1 = Λ 2 = ( 1 2 , 1 2 ) ; Λ 3 = Λ = ( , b )   and consider the restriction on the invariant subspace V V V Λ   . The restriction of the operator R Λ 1 Λ ( u )   to the space V V Λ   coincides up to normalization and shift of spectral parameter with the Lax-operator [11, 12, 13 L ( u ) : V V Λ V V Λ   and the Yang-Baxter equation coincides with the defining equation for the Lax-operator R 12 ( u v ) L ( 1 ) ( u ) L ( 2 ) ( v ) = L ( 2 ) ( v ) L ( 1 ) ( u ) R 12 ( u v )   where L ( 1 ) ( u )   is the operator which acts nontrivially on the first copy of V   and V Λ   in the tensor product V V V Λ   and L ( 2 ) ( u )   is the operator which acts nontrivially on the second copy of V   and V Λ   . The solution coincides up to additive constant with the Casimir operator C 2   for the representation V V Λ   [12, 14 L ( u ) u + 2 s S 2 b B + v + W + s + S w V + + w + V + s S + v W +   where s , b , s ± , v ± , w ±   are s ( 2 | 1 )   -generators in the chiral representation ( 2.2 ) and S , B , S ± , V ± , W ±   are generators in the generic representation. The algebra s ( 2 | 1 )   has two three-dimensional representations – chiral V   and antichiral V ¯   so that there exists the second Lax-operator L ¯ ( u ) : V ¯ V Λ V ¯ V Λ ; R 12 ( u v ) L ¯ ( 1 ) ( u ) L ¯ ( 2 ) ( v ) = L ¯ ( 2 ) ( v ) L ¯ ( 1 ) ( u ) R 12 ( u v )   The explicit expression for the second Lax-operator is the same but now s , b , s ± , v ± , w ±   are s ( 2 | 1 )   -generators in the antichiral representation V ¯   . In matrix form we obtain [14, 8 L ( u ) = ( S + B + u W S V + 2 B + u V S + W + B S + u ) ; L ¯ ( u ) = ( S B + u V S W + 2 B + u W S + V + B S + u )   Note the arising some additional signs due to grading. For example, we have v + e 2 = e 1   but v + W e 2 = v + e 2 W = e 1 W   so that one obtains v + e 2 = e 1 v + = ( 0 1 0 0 0 0 0 0 0 ) ; v + W e 2 = e 1 W v + W = ( 0 W 0 0 0 0 0 0 0 )   We shall use the chiral Lax-operator L ( u )   in defining equation for the general R   -operator. The Lax-operator depends on three parameters u , , b   and we shall use the parametrization u 1 = u + b + , u 2 = u + 2 b , u 3 = u + b ; = u 1 u 3 2 , b = u 2 u 1 + u 3 2   The explicit form of the Lax operator L ( u 1 , u 2 , u 3 )   in the functional representation V Λ   is
L ( u 1 , u 2 , u 3 ) = ( z + θ ¯ θ ¯ + u 1 ( θ ¯ + 1 2 θ ) L 21 θ ¯ θ ¯ θ θ + u 2 θ + 1 2 θ ¯ L 31 L 32 z θ θ + u 3 ) (3.1)
L 21 = ( z θ θ ¯ 2 ) θ 1 2 θ ¯ z + ( u 2 u 1 ) θ ¯ ; L 32 = ( z + θ θ ¯ 2 ) θ ¯ 1 2 θ z + ( u 3 u 2 ) θ   L 31 = z 2 + z ( θ θ + θ ¯ θ ¯ ) + ( u 1 u 3 ) z + ( u 1 + u 3 2 u 2 ) θ θ ¯ 2   There exists the useful factorized representation for the Lax-operator
L ( u 1 , u 2 , u 3 ) ( 1 0 0 θ ¯ 1 0 z + θ θ ¯ 2 θ 1 ) ( u 1 D 0 u 2 1 D + 0 0 u 3 ) ( 1 0 0 θ ¯ 1 0 z + θ θ ¯ 2 θ 1 ) (3.2)
where D ±   are covariant derivatives D = θ ¯ + 1 2 θ , D + = θ + 1 2 θ ¯   The L   -operator is s ( 2 | 1 )   -invariant by construction and as consequence one obtains the equality
M 1 L ( u ) M = S 1 L ( u ) S ; S = e α V e α ¯ W e ( λ + α α ¯ 2 ) S ; M = ( 1 0 0 α ¯ 1 0 λ + α α ¯ 2 α 1 ) (3.3)
Finally we put Λ 1 = ( 1 2 , 1 2 )   in Yang-Baxter equation R Λ 1 Λ 2 ( u v ) R Λ 1 Λ 3 ( u ) R Λ 2 Λ 3 ( v ) = R Λ 2 Λ 3 ( v ) R Λ 1 Λ 3 ( u ) R Λ 1 Λ 2 ( u v )   change the numeration of the representation spaces Λ 2 Λ 1 = ( 1 , b 1 ) ; Λ 3 Λ 2 = ( 2 , b 2 )   and consider the restriction on the invariant subspace V V Λ 1 V Λ 2   . In this way one obtains the defining equation for the R   -operator L 1 ( u v ) L 2 ( u ) R Λ 1 Λ 2 ( v ) = R Λ 1 Λ 2 ( v ) L 2 ( u ) L 1 ( u v )   The operator L k   acts nontrivially on the tensor product V V Λ k   which is isomorphic to V C [ Z k ]   where Z k = ( z k , θ k , θ ¯ k )   and the operator R Λ 1 Λ 2 ( u )   acts nontrivially on the tensor product V Λ 1 V Λ 2   which is isomorphic to C [ Z 1 , Z 2 ] = C [ Z 1 ] C [ Z 2 ]   . Note that obtained defining equation is slightly different from the ones which was used in [1and [8. The defining equation which is similar to [1, 8is
R Λ 1 Λ 2 1 ( v u ) L 1 ( u ) L 2 ( v ) = L 2 ( v ) L 1 ( u ) R Λ 1 Λ 2 1 ( v u ) (3.4)
There exists the well known automorphism of the Yang-Baxter equation R Λ 1 Λ 2 ( u ) R Λ 1 Λ 2 1 ( u )   .
In the simplest s ( 2 )   case we have R 1 2 ( u ) R 1 2 1 ( u )   but for the more complicated algebras the action of this automorphism is nontrivial. To proceed in close analogy with [1, 8we shall use the defining equation ( 3.4 ) so that we derive the expression for the operator R Λ 1 Λ 2 1 ( v u )   .

4 The general R-matrix

It is useful to extract the operator of permutation P 12 : C [ Z 1 ] C [ Z 2 ] C [ Z 2 ] C [ Z 1 ] ; P 12 Ψ ( Z 1 , Z 2 ) = Ψ ( Z 2 , Z 1 )   from the R   -operator R Λ 1 Λ 2 1 ( v u ) = P 12 R ˇ Λ 1 Λ 2 ( u ; v )   and solve the defining equation for the R ˇ   -operator. The main defining equation for the R ˇ   -operator is R ˇ ( u ; v ) L 1 ( u 1 , u 2 , u 3 ) L 2 ( v 1 , v 2 , v 3 ) = L 1 ( v 1 , v 2 , v 3 ) L 2 ( u 1 , u 2 , u 3 ) R ˇ ( u ; v )   u 1 = u + b 1 + 1 , u 2 = u + 2 b 1 , u 3 = u + b 1 1 ; v 1 = v + b 2 + 2 , v 2 = v + 2 b 2 , v 3 = v + b 2 2   The operator R ˇ   interchanges all parameters in the product of two L   -operators and similar to the s ( 3 )   -case R ˇ   -operator can be represented as the product of the simpler ”elementary building blocks” -   -operators.
Proposition 1 There exists operator 1   which is the solution of the defining equations
1 L 1 ( u 1 , u 2 , u 3 ) L 2 ( v 1 , v 2 , v 3 ) = L 1 ( v 1 , u 2 , u 3 ) L 2 ( u 1 , v 2 , v 3 ) 1 (4.1)
1 = 1 ( u 1 | v 1 , v 2 , v 3 ) ; 1 ( u 1 | v 1 , v 2 , v 3 ) = 1 ( u 1 + λ | v 1 + λ , v 2 + λ , v 3 + λ )   and these requirements fix the operator 1   up to overall normalization constant 1 S 1 1 [ Γ ( z 2 2 + u 1 v 3 + 1 ) Γ ( z 2 2 + v 1 v 3 + 1 ) ( f 1 + θ ¯ 2 θ ¯ 2 ) Γ ( z 2 2 + u 1 v 3 ) Γ ( z 2 2 + v 1 v 3 + 1 ) z 2 θ 2 θ ¯ 2 ] S 1   S 1 = e θ 2 θ ¯ 2 2 2 e θ 1 V 2 e θ ¯ 1 W 2 e ( z 1 + θ 1 θ ¯ 1 2 ) S 2 ; f 1 = v 1 v 2 u 1 v 1  
Proposition 2 There exists operator 2   which is the solution of the defining equations
2 L 1 ( u 1 , u 2 , u 3 ) L 2 ( v 1 , v 2 , v 3 ) = L 1 ( u 1 , v 2 , u 3 ) L 2 ( v 1 , u 2 , v 3 ) 2 (4.2)
2 = 2 ( u 1 , u 2 | v 2 , v 3 ) ; 2 ( u 1 , u 2 | v 2 , v 3 ) = 1 ( u 1 + λ , u 2 + λ | v 2 + λ , v 3 + λ )   and these requirements fix the operator 2   up to overall normalization constant 2 S 2 1 [ f 2 + u 12 θ 2 θ 2 + v 23 θ ¯ 1 θ ¯ 1 + ( z 12 + θ 1 θ ¯ 2 ) θ ¯ 1 θ 2 + ( u 2 v 2 ) θ 2 θ ¯ 1 θ ¯ 1 θ 2 ] S 2   S 2 = e θ 1 θ 2 e θ ¯ 2 θ ¯ 1 e θ 1 θ ¯ 1 2 1 e θ 2 θ ¯ 2 2 2 ; f 2 = u 21 v 23 v 2 u 2 , u 12 = u 1 u 2 , v 23 = v 2 v 3  
Proposition 3 There exists operator 3   which is the solution of the defining equations
3 L 1 ( u 1 , u 2 , u 3 ) L 2 ( v 1 , v 2 , v 3 ) = L 1 ( u 1 , u 2 , v 3 ) L 2 ( v 1 , v 2 , u 3 ) 3 (4.3)
3 = 3 ( u 1 , u 2 , u 3 | v 3 ) ; 3 ( u 1 , u 2 , u 3 | v 3 ) = 3 ( u 1 + λ , u 2 + λ , u 3 + λ | v 3 + λ )   and these requirements fix the operator 3   up to overall normalization constant 3 S 3 1 [ Γ ( z 1 1 + u 1 v 3 + 1 ) Γ ( z 1 1 + u 1 u 3 + 1 ) ( f 3 + θ 1 θ 1 ) + Γ ( z 1 1 + u 1 v 3 ) Γ ( z 1 1 + u 1 u 3 + 1 ) z 1 θ 1 θ ¯ 1 ] S 3   S 3 = e θ 1 θ ¯ 1 2 1 e θ 2 V 1 e θ ¯ 2 W 1 e ( z 2 + θ 2 θ ¯ 2 2 ) S 1 ; f 3 = u 2 u 3 u 3 v 3  
Proposition 4 The R ˇ   -operator can be factorized as follows R ˇ ( u ; v ) = 1 ( u 1 ; v 1 , u 2 , u 3 ) 2 ( u 1 , u 2 ; v 2 , u 3 ) 3 ( u 1 , u 2 , u 3 ; v 3 )  
There exist six equivalent ways to represent R ˇ   in an factorized form which differ by the order of   -operators and their parameters. All these expressions and the proof of the factorization of the R ˇ   -operator can be obtained using the pictures similar to [1.
The defining system of equations for the   -operator can be reduced to the simpler system which clearly shows the property of s ( 2 | 1 )   -covariance of the   -operator.
Lemma 1 The defining equation ( 4.1 ) for the operator 1   is equivalent to the system of equations
1 [ L 1 ( u 1 , u 2 , u 3 ) + L 2 ( v 1 , v 2 , v 3 ) ] = [ L 1 ( v 1 , u 2 , u 3 ) + L 2 ( u 1 , v 2 , v 3 ) ] 1 (4.4)
1 z 1 = z 1 1 , 1 θ 1 = θ 1 1 , 1 θ ¯ 1 = θ ¯ 1 1  
1 ( V 2 + θ ¯ 1 S 2 ) = ( V 2 + θ ¯ 1 S 2 ) 1 (4.5)
Lemma 2 The defining equation ( 4.2 ) for the operator 2   is equivalent to the system of equations
2 [ L 1 ( u 1 , u 2 , u 3 ) + L 2 ( v 1 , v 2 , v 3 ) ] = [ L 1 ( u 1 , v 2 , u 3 ) + L 2 ( v 1 , u 2 , v 3 ) ] 2 (4.6)
[ 2 , z 1 θ 1 θ ¯ 1 2 ] = 0 , 2 θ 1 = θ 1 2 ; [ 2 , z 2 + θ 2 θ ¯ 2 2 ] = 0 , 2 θ ¯ 2 = θ ¯ 2 2  
Lemma 3 The defining equation ( 4.3 ) for the operator 3   is equivalent to the system of equations
3 [ L 1 ( u 1 , u 2 , u 3 ) + L 2 ( v 1 , v 2 , v 3 ) ] = [ L 1 ( u 1 , u 2 , v 3 ) + L 2 ( v 1 , v 2 , u 3 ) ] 3 (4.7)
3 z 2 = z 2 3 , 3 θ 2 = θ 2 3 , 3 θ ¯ 2 = θ ¯ 2 3  
3 ( W 1 + θ 2 S 1 ) = ( W 1 + θ 2 S 1 ) 3 (4.8)
The relations in the first line are simply the rules of commutation of   -operators with s ( 2 | 1 )   -generators written in a compact form. In explicit notations we have for Λ 1 = ( 1 , b 1 )   and Λ 2 = ( 2 , b 2 )   : V Λ 1 V Λ 2 V Λ 1 V Λ 2   1 : Λ 1 = ( 1 ξ 1 , b 1 + ξ 1 ) ; Λ 2 = ( 2 + ξ 1 , b 2 ξ 1 ) ; ξ 1 = u 1 v 1 2   2 : Λ 1 = ( 1 , b 1 ξ 2 ) ; Λ 2 = ( 2 , b 2 + ξ 2 ) ; ξ 2 = u 2 v 2   3 : Λ 1 = ( 1 + ξ 3 , b 1 + ξ 3 ) ; Λ 2 = ( 2 ξ 3 , b 2 ξ 3 ) ; ξ 3 = u 3 v 3 2   The s ( 2 | 1 )   -invariance of R   -matrix follows directly from the properties of   -operators so that the general R-matrix R Λ 1 Λ 2 1 ( v u ) = P 12 R ˇ Λ 1 Λ 2 ( u ; v )   is automatically s ( 2 | 1 )   -invariant.
Proof Now we are going to the proof of equivalence of defining equation ( 4.3 ) to the system ( 4.7 ) and derivation of explicit formula for the operator 3   . First we show that the system ( 4.7 ) is the direct consequence of the eq. ( 4.3 ). Let us make the shift u k u k + λ , v 1 v 1 + μ , v 2 v 2 + ν , v 3 v 3 + λ   in the defining equation ( 4.3 ).The   -operator is invariant under this shift and L   -operators transform as follows L 1 L 1 + λ 1 l ; L 2 L 2 + λ 1 l + ( μ λ ) ( 1 0 0 θ ¯ 2 0 0 z 2 + θ 2 θ ¯ 2 2 0 0 ) + ( ν λ ) ( 0 0 0 θ ¯ 2 1 0 θ 2 θ ¯ 2 θ 2 0 )   After all one obtains the equation which contains the arbitrary parameters λ   , μ   and ν   and as consequence we derive the system ( 4.7 ) and equation ( 4.8 ). Next we show that from the systems of equations ( 4.7 ), ( 4.8 ) follows eq. ( 4.3 ). This will be almost evident if we rewrite these equations in equivalent form using the s ( 2 | 1 )   -invariance of the L   -operator and the commutativity of 3   and z 2 , θ 2 , θ ¯ 2   . We substitute the factorized representation ( 3.2 ) for the operator L 2   in the defining equation for the operator 3   3 L 1 ( u 1 , u 2 , u 3 ) M ( v 1 D 2 2 0 v 2 1 D 2 + 0 0 v 3 ) M 1 = L 1 ( u 1 , u 2 , v 3 ) M ( v 1 D 2 2 0 v 2 1 D 2 + 0 0 u 3 ) M 1 3   and perform the similarity transformation M 1 M   of this matrix equation using the commutativity 3   and z 2 , θ 2 , θ ¯ 2   . Then using the s ( 2 | 1 )   -invariance of L   -operator ( 3.3 ) M 1 L 1 M = S 1 L 1 S ; S = e θ 2 V 1 e θ ¯ 2 W 1 e ( z 2 + θ 2 θ ¯ 2 2 ) S 1 ; M = ( 1 0 0 θ ¯ 2 1 0 z 2 + θ 2 θ ¯ 2 2 θ 2 1 )   we derive the equation for the transformed operator R = S 3 S 1  
R L 1 ( u 1 , u 2 , u 3 ) L ( v 1 , v 2 , v 3 ) = L 1 ( u 1 , u 2 , v 3 ) L ( v 1 , v 2 , u 3 ) R (4.9)
where L ( v 1 , v 2 , v 3 ) S ( v 1 D 2 2 0 v 2 1 D 2 + 0 0 v 3 ) S 1 = ( v 1 D 2 + W 1 2 + 1 0 v 2 1 D 2 + V 1 0 0 v 3 )   To derive the system of equations which is equivalent to the system ( 4.7 ), ( 4.8 ) written in terms of R   we repeat the same trick with the shift of parameters and obtain the system of equations
R [ L 1 ( u 1 , u 2 , u 3 ) + L ( v 1 , v 2 , v 3 ) ] = [ L 1 ( u 1 , u 2 , v 3 ) + L ( v 1 , v 2 , u 3 ) ] R (4.10)
R L 1 ( u 1 , u 2 , u 3 ) ( 1 0 0 1 0 0 ) = L 1 ( u 1 , u 2 , v 3 ) ( 1 0 0 1 0 0 ) R (4.11)
It is evident that all equations of the system ( 4.11 ) contained in the equation ( 4.10 ) except only one ( 12 )   -equation R W 1 = W 1 R   . We use the system of equation
R [ L 1 ( u 1 , u 2 , u 3 ) + L ( v 1 , v 2 , v 3 ) ] = [ L 1 ( u 1 , u 2 , v 3 ) + L ( v 1 , v 2 , u 3 ) ] R ; R W 1 = W 1 R (4.12)
as defining system for operator R   . This system is equivalent to the system ( 4.7 ), ( 4.8 ). Returning to the system ( 4.9 ) (it is the system ( 4.3 ) written in terms of R   ) we note that it is possible to factorize the matrix d i a g ( v 1 ; v 2 1 ; 1 )   from the right R L 1 ( u 1 , u 2 , u 3 ) ( 1 D 2 + W 1 v 2 1 2 + 1 0 1 D 2 + V 1 0 0 v 3 ) = L 1 ( u 1 , u 2 , v 3 ) ( 1 D 2 + W 1 v 2 1 2 + 1 0 1 D 2 + V 1 0 0 u 3 ) R   In comparison with ( 4.12 ) there are three new equations only
R L 1 ( u 1 , u 2 , u 3 ) ( 1 V 1 v 3 ) = L 1 ( u 1 , u 2 , v 3 ) ( 1 V 1 u 3 ) R (4.13)
Indeed the system ( 4.12 ) contains the equations [ R , D 2 ± ] = [ R , 2 ] = [ R , W 1 ] = 0   and by conditions ( 4.11 ) we obtain the three new equations. It is easy to check that these equations follow from the system ( 4.12 ). Finally the systems of equations ( 4.12 ) is defining and it remains to find the solution. First of all [ R , z 2 ] = [ R , θ 2 ] = [ R , θ ¯ 2 ] = [ R , D 2 ± ] = [ R , 2 ] = 0   and therefore the operator R   depends on the variables z 1 , θ 1 , θ ¯ 1   only. For simplicity we use the natural transformation R = e 1 2 θ 1 θ ¯ 1 1 r e 1 2 θ 1 θ ¯ 1 1   change z 1 , θ 1 , θ ¯ 1 z , θ , θ ¯   and obtain the system of equations
r θ ¯ = θ ¯ r ; r ( z + θ ¯ θ ¯ ) = ( z + θ ¯ θ ¯ ) r ; r ( θ θ θ ¯ θ ¯ ) = ( θ θ θ ¯ θ ¯ ) r (4.14)
r ( z 2 + z ( θ θ + θ ¯ θ ¯ ) + z ( u 1 u 3 ) + θ θ ¯ ( u 3 u 2 ) ) =  
= ( z 2 + z ( θ θ + θ ¯ θ ¯ ) + z ( u 1 v 3 ) + θ θ ¯ ( v 3 u 2 ) ) r (4.15)
r ( z θ ¯ + ( u 2 u 3 ) θ ) = ( z θ ¯ + ( u 2 v 3 ) θ ) r (4.16)
r ( z ( θ + θ ¯ ) + θ θ ¯ θ + ( u 2 u 1 ) θ ¯ ) = ( z ( θ + θ ¯ ) + θ θ ¯ θ + ( u 2 u 1 ) θ ¯ ) r (4.17)
First of all the equation ( 4.17 ) is not independent. It is the consequence of equations ( 4.15 ) and r θ ¯ = θ ¯ r   due to commutation relation [ S + , W ] = W +   . The general solution of the equations ( 4.14 ) is r = a [ z ] + b [ z ] θ θ + c [ z ] z θ θ ¯   The equations ( 4.15 ) and ( 4.16 ) results in recurrence relations a [ z ] a [ z 1 ] = ( u 2 u 3 ) c [ z ] ; b [ z ] = u 3 v 3 u 2 u 3 a [ z ]   c [ z + 1 ] ( z + u 1 u 3 + 1 ) = ( z + u 1 v 3 ) c [ z ]   a [ z + 1 ] ( z + u 1 u 3 ) + ( u 2 u 3 ) c [ z + 1 ] = ( z + u 1 v 3 ) a [ z ]   a [ z ] + b [ z ] ( z + u 1 u 3 ) ( u 2 u 3 ) c [ z ] = a [ z 1 ] + ( z + u 1 v 3 ) b [ z 1 ]   The solution of these equations has the form a [ z ] = Γ ( z + u 1 v 3 + 1 ) Γ ( z + u 1 u 3 + 1 ) ; b [ z ] = u 3 v 3 u 2 u 3 Γ ( z + u 1 v 3 + 1 ) Γ ( z + u 1 u 3 + 1 )   c [ z ] = u 3 v 3 u 2 u 3 Γ ( z + u 1 v 3 ) Γ ( z + u 1 u 3 + 1 )   Collect everything together we obtain the expression for the operator 3   from the Proposition. All calculations for the operator 1   are very similar.
It remains to prove the equivalence of defining equation ( 4.2 ) to the system ( 4.6 ) and derive the explicit formula for the operator 2   . First we show that the system ( 4.6 ) is the direct consequence of the eq. ( 4.2 ). Let us make the shift u 1 u 1 + λ , u 2 u 2 + λ , u 3 u 3 + μ , v 1 v 1 + ν , v 2 v 2 + λ , v 3 v 3 + λ   in the defining equation ( 4.2 ) for the operator 2   . The   -operator is invariant under this shift and L   -operators transform as follows L 1 L 1 + λ 1 l + ( μ λ ) ( 0 0 0 0 0 0 z 1 + θ 1 θ ¯ 1 2 θ 1 1 ) ; L 2 L 2 + λ 1 l + ( ν λ ) ( 1 0 0 θ ¯ 2 λ 0 z 2 + θ 2 θ ¯ 2 2 0 0 )   After all one obtains the equation which contains the arbitrary parameters λ   , μ   and ν   and as consequence we derive the system ( 4.6 ). Next we show that from the systems of equations ( 4.6 ) follows eq. ( 4.2 ). This will be almost evident if we rewrite these equations in equivalent form using the s ( 2 | 1 )   -invariance of the L   -operator and the commutativity of 2   and z 1 θ 1 θ ¯ 1 2 , θ 1 , z 2 + θ 2 θ ¯ 2 2 , θ ¯ 2   .
First of all it is useful to make the transformation 2 = S 1 R S ; S = e θ 1 θ ¯ 1 2 1 e θ 2 θ ¯ 2 2 2   so that R   commutes with z 1 , θ 1 , z 2 , θ ¯ 2   now. The corresponding transformation for the L   -operators can be easily derived using factorized representation ( 3.2 ). Next it is possible to make the two similarity transformations of the defining equation ( 4.2 ) using simple matrices which commute with operator F   . After all these transformations the defining equation ( 4.2 ) for the F   -operator in factorized form looks as follows R l 1 ( u 1 , u 2 , u 3 ) M l 2 ( v 1 , v 2 , v 3 ) = l 1 ( u 1 , v 2 , u 3 ) M l 2 ( v 1 , u 2 , v 3 ) R ; M ( 1 0 0 θ ¯ 2 1 0 z 12 θ 1 θ ¯ 2 θ 1 1 )   l 1 ( u 1 , u 2 , u 3 ) ( 1 0 0 θ ¯ 1 1 0 0 0 1 ) ( u 1 θ ¯ 1 1 0 u 2 1 θ 1 θ ¯ 1 1 0 0 u 3 ) ( 1 0 0 θ ¯ 1 1 0 0 0 1 )   l 2 ( v 1 , v 2 , v 3 ) ( 1 0 0 0 1 0 0 θ 2 1 ) ( v 1 θ ¯ 2 + θ 2 2 2 0 v 2 1 θ 2 0 0 v 3 ) ( 1 0 0 0 1 0 0 θ 2 1 )   Next step we rewrite the defining equation for the transformed operator r = e θ 1 θ 2 e θ ¯ 2 θ ¯ 1 R e θ 1 θ 2 e θ ¯ 2 θ ¯ 1   in the form
r L 1 ( u 1 , u 2 , u 3 ) m L 2 ( v 1 , v 2 , v 3 ) = L 1 ( u 1 , v 2 , u 3 ) m L 2 ( v 1 , u 2 , v 3 ) r (4.18)
where L 1 ( u 1 , u 2 , u 3 ) = ( u 1 1 + θ ¯ 1 θ ¯ 1 θ ¯ 1 1 ( u 2 u 1 ) θ ¯ 1 u 2 1 + θ ¯ 1 θ ¯ 1 θ 1 θ 2 θ ¯ 2 1 0 0 u 3 )   L 2 ( v 1 , v 2 , v 3 ) = ( v 1 θ ¯ 2 + θ ¯ 1 + θ 1 2 2 0 v 2 θ 2 θ 2 θ 2 0 ( v 3 v 2 ) θ 2 v 3 θ 2 θ 2 )   To derive the system of equations which is equivalent to the system ( 4.6 ) written in terms of r   we repeat the same trick with the shift of parameters and obtain
r [ L 1 ( u 1 , u 2 , u 3 ) m + m L 2 ( v 1 , v 2 , v 3 ) ] = [ L 1 ( u 1 , v 2 , u 3 ) m + m L 2 ( v 1 , u 2 , v 3 ) ] r (4.19)
This system results in a simple equations
r ( θ 1 θ ¯ 1 1 ) = ( θ 1 θ ¯ 1 1 ) r ; r ( θ ¯ 2 θ 1 2 ) = ( θ ¯ 2 θ 1 2 ) r ; r ( 1 + 2 ) = ( 1 + 2 ) r (4.20)
r ( θ 2 θ 2 + ( z 12 + θ 1 θ ¯ 2 ) 2 ) = ( θ 2 θ 2 + ( z 12 + θ 1 θ ¯ 2 ) 2 ) r (4.21)
r ( θ ¯ 1 θ ¯ 1 + ( z 12 + θ 1 θ ¯ 2 ) 1 ) = ( θ ¯ 1 θ ¯ 1 + ( z 12 + θ 1 θ ¯ 2 ) 1 ) r (4.22)
r ( θ ¯ 1 θ ¯ 1 θ 2 θ 2 ) = ( θ ¯ 1 θ ¯ 1 θ 2 θ 2 ) r (4.23)
r ( ( z 12 + θ 1 θ ¯ 2 ) θ 2 + ( u 2 u 1 ) θ ¯ 1 ) = ( ( z 12 + θ 1 θ ¯ 2 ) θ 2 + ( v 2 u 1 ) θ ¯ 1 ) r (4.24)
r ( ( z 12 + θ 1 θ ¯ 2 ) θ ¯ 1 + ( v 3 v 2 ) θ 2 ) = ( ( z 12 + θ 1 θ ¯ 2 ) θ ¯ 1 + ( v 3 v 2 ) θ 2 ) r (4.25)
Returning to the system ( 4.18 )(it is the system ( 4.2 ) written in terms of r   ) we note that it is possible to factorize the matrix d i a g ( v 1 ; 1 ; 1 )   from the right and the matrix d i a g ( 1 ; 1 ; u 3 )   from the left so that v 1 , u 3   -dependence disappear from equation. The obtained system of equations is the consequence of the system ( 4.20 )-( 4.25 ). The proof is by direct calculation. Now we are going to the solution of the defining system of equations. The general solution of equations ( 4.20 )-( 4.23 ) has the form r = a + b θ ¯ 1 θ ¯ 1 + c θ 2 θ 2 + d ( z 12 + θ 1 θ ¯ 2 ) θ ¯ 1 θ 2 + e θ ¯ 1 θ 2 θ ¯ 1 θ 2   where a , b , c , d , e   are some constants. The equations ( 4.24 ) and ( 4.25 ) fix these constants a = ( u 2 u 1 ) ( v 2 v 3 ) v 2 u 2 d ; b = ( v 2 v 3 ) d ; c = ( u 1 u 2 ) d ; e = ( u 2 v 2 ) d   Collect everything together we obtain the expression for the operator 2   from the Proposition.

5 Conclusions

We have shown that the general R-matrix can be represented as the product of the simple ”building blocks” –   -operators. In the first paper [1we have demonstrated how this factorization arises in the simplest situations of the symmetry algebra s ( 2 )   and s ( 3 )   . In the present paper we have showed that the same factorization take place for the R-matrix with supersymmetry algebra s ( 2 | 1 )   . It seems that this phenomenon is quite general and all results can be generalized to the symmetry algebra s ( n )   and to the supersymmetry algebra s ( n | m )   .

6 Acknowledgments

I would like to thank D.Karakhanyan, R.Kirschner, G.Korchemsky, P.Kulish and A.Manashov for the stimulating discussions and critical remarks on the different stages of this work. This work was supported by the grant 03-01-00837 of the Russian Foundation for Fundamental Research. Appendix In this Appendix we calculate the matrix elements of the   -operators and as consequence obtain the matrix elements of R-matrix. It is additional check of the main results and after all we recover the formulae from the paper [8.
All lowest weights in the space V 1 , b 1 V 2 , b 2   are divided on two sets. There are the even lowest weights Φ n ± ( Z 12 ± 1 2 θ 12 θ ¯ 12 ) n ; D 1 ± Φ n ± = 0 , S Φ n ± = ( n + 1 + 2 ) Φ n ± , B Φ n ± = ( b 1 + b 2 ) Φ n ±   and the odd lowest weights Ψ n θ 12 Z 12 n ; Ψ n + θ ¯ 12 Z 12 n ; S Ψ n ± = ( n + 1 + 2 + 1 2 ) Ψ n ± , B Ψ n ± = ( b 1 + b 2 ± 1 2 ) Ψ n ±   In this section we shall calculate the action of   -operators on these lowest weights.
Operator 3   We have factorized representation for the operator 3   3 S 3 1 r 3 S 3 ; r 3 Γ ( z 1 1 + u 1 v 3 + 1 ) Γ ( z 1 1 + u 1 u 3 + 1 ) ( u 2 u 3 u 3 v 3 + θ 1 θ 1 ) + Γ ( z 1 1 + u 1 v 3 ) Γ ( z 1 1 + u 1 u 3 + 1 ) z 1 θ 1 θ ¯ 1 .   In the explicit form the action of the operators S 3   and S 3 1   is S 3 Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 , θ 2 , θ ¯ 2 ) = Φ ( z 1 + z 2 + θ 2 θ ¯ 1 2 θ 1 θ ¯ 2 2 θ 1 θ ¯ 1 2 , θ 1 + θ 2 , θ ¯ 1 + θ ¯ 2 | z 2 , θ 2 , θ ¯ 2 )   S 3 1 Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 , θ 2 , θ ¯ 2 ) = Φ ( z 1 z 2 + θ 1 θ ¯ 1 2 + θ 2 θ ¯ 2 2 θ 2 θ ¯ 1 , θ 1 θ 2 , θ ¯ 1 θ ¯ 2 | z 2 , θ 2 , θ ¯ 2 )   First we calculate the action of S 3   S 3 Φ n + = z 1 n ; S 3 Φ n = ( z 1 θ 1 θ ¯ 1 ) n   then the action of r 3   r 3 z 1 n = u 2 u 3 u 3 v 3 Γ ( n + u 1 v 3 + 1 ) Γ ( n + u 1 u 3 + 1 ) z 1 n   r 3 ( z 1 θ 1 θ ¯ 1 ) n = u 2 v 3 u 3 v 3 Γ ( n + u 1 v 3 ) Γ ( n + u 1 u 3 ) ( z 1 θ 1 θ ¯ 1 ) n + ( u 2 u 1 ) Γ ( n + u 1 v 3 ) Γ ( n + u 1 u 3 + 1 ) z 1 n   and finally action of S 3 1   Φ n + = S 3 1 z 1 n ; Φ n = S 3 1 ( z 1 θ 1 θ ¯ 1 ) n   so that one obtains 3 Φ n + = u 2 u 3 u 3 v 3 Γ ( n + u 1 v 3 + 1 ) Γ ( n + u 1 u 3 + 1 ) Φ n +   3 Φ n = u 2 v 3 u 3 v 3 Γ ( n + u 1 v 3 ) Γ ( n + u 1 u 3 ) Φ n + ( u 2 u 1 ) Γ ( n + u 1 v 3 ) Γ ( n + u 1 u 3 + 1 ) Φ n +   For the odd lowest weights all is simpler S 3 Ψ n + = θ ¯ 1 z 1 n ; S 3 Ψ n = θ 1 z 1 n   r 3 θ ¯ 1 z 1 n = u 2 u 3 u 3 v 3 Γ ( n + u 1 v 3 + 1 ) Γ ( n + u 1 u 3 + 1 ) θ ¯ 1 z 1 n ; r 3 θ 1 z 1 n = u 2 v 3 u 3 v 3 Γ ( n + u 1 v 3 + 1 ) Γ ( n + u 1 u 3 + 1 ) θ 1 z 1 n   and finally we have 3 Ψ n + = u 2 u 3 u 3 v 3 Γ ( n + u 1 v 3 + 1 ) Γ ( n + u 1 u 3 + 1 ) Ψ n + ; 3 Ψ n = u 2 v 3 u 3 v 3 Γ ( n + u 1 v 3 + 1 ) Γ ( n + u 1 u 3 + 1 ) Ψ n   Operator 2   We have factorized representation for the operator 2   2 S 1 r 2 S   r 2 ( u 2 u 1 ) ( v 2 v 3 ) v 2 u 2 + ( u 2 u 1 ) θ 12 θ 2 + ( v 2 v 3 ) θ ¯ 12 θ ¯ 1 + ( z 12 + θ 1 θ ¯ 2 ) θ ¯ 1 θ 2 + ( v 2 u 2 ) θ 12 θ ¯ 12 θ ¯ 1 θ 2   In the explicit form the action of the operators S   and S 1   is S Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 , θ 2 , θ ¯ 2 ) = Φ ( z 1 + θ 1 θ ¯ 1 2 , θ 1 , θ ¯ 1 | z 2 θ 2 θ ¯ 2 2 , θ 2 , θ ¯ 2 )   S 1 Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 , θ 2 , θ ¯ 2 ) = Φ ( z 1 θ 1 θ ¯ 1 2 , θ 1 , θ ¯ 1 | z 2 + θ 2 θ ¯ 2 2 , θ 2 , θ ¯ 2 )   First we calculate the action of S   S Φ n + = ( z 12 + θ 1 θ ¯ 2 + θ 12 θ ¯ 12 ) n ; S Φ n = ( z 12 + θ 1 θ ¯ 2 ) n   then the action of r 2   r 2 ( z 12 + θ 1 θ ¯ 2 + θ 12 θ ¯ 12 ) n = ( u 2 v 3 ) ( v 2 u 1 ) v 2 u 2 ( z 12 + θ 1 θ ¯ 2 + θ 12 θ ¯ 12 ) n ( u 1 v 3 + n ) ( z 12 + θ 1 θ ¯ 2 ) n   r 2 ( z 12 + θ 1 θ ¯ 2 ) n = ( u 2 u 1 ) ( v 2 v 3 ) v 2 u 2 ( z 12 + θ 1 θ ¯ 2 ) n   and finally one obtains 2 Φ n + = ( u 2 v 3 ) ( v 2 u 1 ) v 2 u 2 Φ n + ( u 1 v 3 + n ) Φ n ; 2 Φ n = ( u 2 u 1 ) ( v 2 v 3 ) v 2 u 2 Φ n   For the odd lowest weights all is simpler S Ψ n + = θ ¯ 12 ( z 12 + θ 1 θ ¯ 2 ) n ; S Ψ n = θ 12 ( z 12 + θ 1 θ ¯ 2 ) n   r 2 θ ¯ 12 ( z 12 + θ 1 θ ¯ 2 ) n = ( v 2 u 1 ) ( v 2 v 3 ) v 2 u 2 θ ¯ 12 ( z 12 + θ 1 θ ¯ 2 ) n   r 2 θ 12 ( z 12 + θ 1 θ ¯ 2 ) n = ( u 2 u 1 ) ( u 2 v 3 ) v 2 u 2 θ 12 ( z 12 + θ 1 θ ¯ 2 ) n   and finally we have 2 Ψ n + = ( v 2 u 1 ) ( v 2 v 3 ) v 2 u 2 Ψ n + ; 2 Ψ n = ( u 2 u 1 ) ( u 2 v 3 ) v 2 u 2 Ψ n .   Operator 1   We have factorized representation for the operator 1   1 S 1 1 r 1 S 1 ; r 1 Γ ( z 2 2 + u 1 v 3 + 1 ) Γ ( z 2 2 + v 1 v 3 + 1 ) ( v 1 v 2 u 1 v 1 + θ ¯ 2 θ ¯ 2 ) Γ ( z 2 2 + u 1 v 3 ) Γ ( z 2 2 + v 1 v 3 + 1 ) z 2 θ 2 θ ¯ 2   and the action of the operators S 1   and S 1 1   in explicit form is S 1 Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 , θ 2 , θ ¯ 2 ) = Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 + z 1 + θ 2 θ ¯ 2 2 + θ 1 θ ¯ 2 2 θ 2 θ ¯ 1 2 , θ 2 + θ 1 , θ ¯ 2 + θ ¯ 1 )   S 1 1 Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 , θ 2 , θ ¯ 2 ) = Φ ( z 1 , θ 1 , θ ¯ 1 | z 2 z 1 θ 1 θ ¯ 1 2 θ 2 θ ¯ 2 2 + θ 2 θ ¯ 1 , θ 2 θ 1 , θ ¯ 2 θ ¯ 1 )   First we calculate the action of S 1   S 1 Φ n + = ( z 2 ) n ; S 1 Φ n = ( z 1 θ 2 θ ¯ 2 ) n   then the action of r 1   r 1 ( z 2 ) n = v 1 v 2 u 1 v 1 Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 v 3 + 1 ) ( z 2 ) n   r 1 ( z 2 θ 2 θ ¯ 2 ) n = u 1 v 2 u 1 v 1 Γ ( n + u 1 v 3 ) Γ ( n + v 1 v 3 ) ( z 2 θ 2 θ ¯ 2 ) n + ( v 3 v 2 ) Γ ( n + u 1 v 3 ) Γ ( n + v 1 v 3 + 1 ) ( z 2 ) n   and finally one obtains 1 Φ n + = v 1 v 2 u 1 v 1 Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 v 3 + 1 ) Φ n +   1 Φ n = u 1 v 2 u 1 v 1 Γ ( n + u 1 v 3 ) Γ ( n + v 1 v 3 ) Φ n + ( v 3 v 2 ) Γ ( n + u 1 v 3 ) Γ ( n + v 1 v 3 + 1 ) Φ n +   For the odd lowest weights we have 1 Ψ n + = u 1 v 2 u 1 v 1 Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 v 3 + 1 ) Ψ n + ; 1 Ψ n = v 1 v 2 u 1 v 1 Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 v 3 + 1 ) Ψ n   Operator R The matrix elements for the R   -operator are obtained from the matrix elements of   -operators by the formula R ( u ; v ) 1 ( u 1 ; v 1 , u 2 , u 3 ) 2 ( u 1 , u 2 ; v 2 , u 3 ) 3 ( u 1 , u 2 , u 3 ; v 3 )   The result of calculations is the following R Φ n + R { ( u 2 u 3 ) ( v 2 v 1 ) Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 u 3 + 1 ) Φ n + + ( u 2 v 2 ) Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 u 3 ) Φ n + }   R Φ n R { ( u 2 u 1 ) ( v 2 v 3 ) Γ ( n + u 1 v 3 ) Γ ( n + v 1 u 3 ) Φ n + C Γ ( n + u 1 v 3 ) Γ ( n + v 1 u 3 + 1 ) Φ n + }   where C = ( u 2 v 3 ) ( v 2 u 3 ) ( u 1 v 1 ) + ( v 2 u 1 ) ( v 1 u 2 ) ( v 3 u 3 ) + ( u 1 v 1 ) ( u 2 v 2 ) ( u 3 v 3 )   R Ψ n + R ( v 2 u 1 ) ( v 2 u 3 ) Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 u 3 + 1 ) Ψ n +   R Ψ n R ( u 2 v 1 ) ( u 2 v 3 ) Γ ( n + u 1 v 3 + 1 ) Γ ( n + v 1 u 3 + 1 ) Ψ n +   We extract the common normalization factor R ( u 2 u 1 ) ( u 2 u 3 ) ( u 1 v 1 ) ( u 2 v 2 ) ( u 3 v 3 ) .   After substitution of parameters in explicit form u 1 = u + b 1 + 1 , v 1 = v + b 2 + 2 ; u 2 = u + 2 b 1 , v 2 = v + 2 b 2 ; u 3 = u + b 1 1 , v 3 = v + b 2 2   we recover the formulae for the matrix elements of R-operator from the paper [8.
References.

  1. S.E. Derkachov ”Factorization of the R-matrix.I.” math.QA/0503396
  2. N.Beisert ”The Dilatation Operator of N=4 Super Yang-Mills Theory and Integrability”, Phys.Rept. 405, (2005) 1, hep-th/0407277
  3. L.Dolan, C.Nappi and E.Witten ”Yangian symmetry in D=4 superconformal Yang-Mills theory”, hep-th/0401243 L.Dolan and C.Nappi ”Spin models and superconformal Yang-Mills theory”, hep-th/0411020
  4. R.Kirschner, Parton interaction in super Yang-Mills theory, JHEP 0407 (2004) 064
  5. A.Belitsky, S.Derkachov, G.Korchemsky and A.Manashov, ”Dilatation operator in (super-)Yang-Mills theories on the light-cone”, Nucl.Phys.B 708, (2005) 115, hep-th/0409120 A.Belitsky, S.Derkachov, G.Korchemsky and A.Manashov, ”Quantum Integrability in the super Yang-Mills theory on the light-cone”, Phys.Lett.B 594, (2004) 385, hep-th/0403085
  6. M.Scheunert, W.Nahm and V.Rittenberg , J.Math.Phys.18 (1977) 155
  7. P.D.Jarvis, H.S.Green , J.Math.Phys.20 (1979) 2115
  8. S.Derkachov, D.Karakhanyan, R.Kirschner ”Heisenberg spin chains based on s ( 2 | 1 )   symmetry”, Nucl.Phys. B 583, (2000) 691
  9. M.Marcu, J.Math.Phys.21 (1980) 1277 , J.Math.Phys.21 (1980) 1284
  10. D.Arnaudon, C.Chryssomalakos, L.Frappat, J.Math.Phys.36 (1995) 5262 L. Frappat, P. Sorba, A. Sciarrino, DICTIONARY ON LIE SUPERALGEBRAS hep-th/9607161
  11. P.P. Kulish and E.K.Sklyanin , ”On the solutions of the Yang-Baxter equation” Zap.Nauchn.Sem. LOMI 95 (1980) 129
  12. P.P. Kulish , Zap.Nauchn.Sem. LOMI 145 (1985) 140 , J.Soviet. Math. 35 (1986) 1111, ”Yang-Baxter equation and reflection equations in integrable models”, hep-th/9507070
  13. P.P. Kulish and E.K. Sklyanin , ”Quantum spectral transform method. Recent developments”, Lect. Notes in Physics, v 151, (1982) , 61, L.D. Faddeev, ”How Algebraic Bethe Anstz works for integrable model”, Les-Houches lectures 1995, hep-th/9605187, E.K.Sklyanin,”Quantum Inverse Scattering Method.Selected Topics”, in ”Quantum Group and Quantum Integrable Systems” (Nankai Lectures in Mathematical Physics), ed. Mo-Lin Ge,Singapore:World Scientific,1992,pp.63-97; hep-th/9211111
  14. H.Frahm, M.P.Pfannmüller and A.M.Tsvelik , Phys. Rev. Lett. 81, (1998) 2116
  15. P.P. Kulish, N.Yu.Reshetikhin and E.K.Sklyanin, ”Yang-Baxter equation and representation theory”, Lett.Math.Phys. 5 (1981) 393-403