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
. 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 [1] we 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
and show that there exists the same factorization. In fact all calculations are very similar to the
-example and modifications due to supersymmetry are simple. The generalization of the previous results [1] to 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
and its representations. We represent the lowest weight modules by polynomials in one even variable (
) and two odd variables (
) and the
-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
and
. 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
lowest weight modules
The superalgebra
has eight generators: four odd
and four even
and
.
Using the natural notations
the commutation relations for the generators of
can be written compactly in the form [6, 7]
where the graded commutator is defined as (we choose the grading
)
There are two central elements [6, 7, 10]
The Verma module is the generic lowest weight
-module
. As a linear space
is spanned by the basis with even elements
and odd elements
The vector
is the lowest weight vector:
We shall use the representation
of
in the infinite-dimensional space
where
of polynomials in even variable
and odd variables
with the monomial basis
and lowest weight vector
[8] . The action of
in
is given by the first-order differential operators
|
(2.1)
|
It is possible to derive the closed expressions for the elements of the basis
It is evident that for the generic
the module
is an irreducible lowest weight
-module isomorphic to
but for the special values of the spin
there exists the finite dimensional invariant subspace. There are three cases depending on the relation between
and
[6, 9, 10] . The first case is for generic
(typical representations) and there exists the
-dimensional invariant subspace. The second and third cases appear for
(atypical representations). For the chiral representation
the
-dimensional invariant subspace is spanned on the vectors
and for the antichiral representation
the
-dimensional invariant subspace is spanned on the vectors
We shall use the three-dimensional chiral representation
.In the basis
the
-generators take the form
|
(2.2)
|
There exists the second three-dimensional representation antichiral representation
. In the basis
the
-generators take the similar form as in chiral representation but
.
We use the standard definition for the matrix
of the linear operator
in the basis
3 Yang-Baxter equation and Lax operator
The Yang-Baxter equation is the following three term relation [11, 12]
for the operators
. We start from the simplest solutions of Yang-Baxter equation and derive the defining equation for the general
-operator [8, 15] . First we put
in Yang-Baxter equation and consider the restriction on the invariant subspace
. We obtain the equation
where the operator
acts on the first and second copy of
in the tensor product
and similarly for the other
-operators. The solution is well known [11, 12]
where
is the (graded)permutation operator in
. We choose the basis
in
so that
are even elements and
is odd element and our grading is:
.
The permutation operator acts on the basis as follows
and additional sign arises for
only. Secondly we choose
and consider the restriction on the invariant subspace
. The restriction of the operator
to the space
coincides up to normalization and shift of spectral parameter with the Lax-operator [11, 12, 13]
and the Yang-Baxter equation coincides with the defining equation for the Lax-operator
where
is the operator which acts nontrivially on the first copy of
and
in the tensor product
and
is the operator which acts nontrivially on the second copy of
and
. The solution coincides up to additive constant with the Casimir operator
for the representation
[12, 14]
where
are
-generators in the chiral representation ( 2.2 ) and
are generators in the generic representation. The algebra
has two three-dimensional representations – chiral
and antichiral
so that there exists the second Lax-operator
The explicit expression for the second Lax-operator is the same but now
are
-generators in the antichiral representation
. In matrix form we obtain [14, 8]
Note the arising some additional signs due to grading. For example, we have
but
so that one obtains
We shall use the chiral Lax-operator
in defining equation for the general
-operator. The Lax-operator depends on three parameters
and we shall use the parametrization
The explicit form of the Lax operator
in the functional representation
is
|
(3.1)
|
There exists the useful factorized representation for the Lax-operator
|
(3.2)
|
where
are covariant derivatives
The
-operator is
-invariant by construction and as consequence one obtains the equality
|
(3.3)
|
Finally we put
in Yang-Baxter equation
change the numeration of the representation spaces
and consider the restriction on the invariant subspace
. In this way one obtains the defining equation for the
-operator
The operator
acts nontrivially on the tensor product
which is isomorphic to
where
and the operator
acts nontrivially on the tensor product
which is isomorphic to
. Note that obtained defining equation is slightly different from the ones which was used in [1] and [8] . The defining equation which is similar to [1, 8] is
|
(3.4)
|
There exists the well known automorphism of the Yang-Baxter equation
.
In the simplest
case we have
but for the more complicated algebras the action of this automorphism is nontrivial. To proceed in close analogy with [1, 8] we shall use the defining equation ( 3.4 ) so that we derive the expression for the operator
.
4 The general R-matrix
It is useful to extract the operator of permutation
from the
-operator
and solve the defining equation for the
-operator. The main defining equation for the
-operator is
The operator
interchanges all parameters in the product of two
-operators and similar to the
-case
-operator can be represented as the product of the simpler ”elementary building blocks” -
-operators.
Proposition 1
There exists operator
which is the solution of the defining equations
|
(4.1)
|
and these requirements fix the operator
up to overall normalization constant
Proposition 2
There exists operator
which is the solution of the defining equations
|
(4.2)
|
and these requirements fix the operator
up to overall normalization constant
Proposition 3
There exists operator
which is the solution of the defining equations
|
(4.3)
|
and these requirements fix the operator
up to overall normalization constant
Proposition 4
The
-operator can be factorized as follows
There exist six equivalent ways to represent
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
-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
-covariance of the
-operator.
Lemma 1
The defining equation ( 4.1 ) for the operator
is equivalent to the system of equations
|
(4.4)
|
|
(4.5)
|
Lemma 2
The defining equation ( 4.2 ) for the operator
is equivalent to the system of equations
|
(4.6)
|
Lemma 3
The defining equation ( 4.3 ) for the operator
is equivalent to the system of equations
|
(4.7)
|
|
(4.8)
|
The relations in the first line are simply the rules of commutation of
-operators with
-generators written in a compact form. In explicit notations we have for
and
The
-invariance of
-matrix follows directly from the properties of
-operators so that the general R-matrix
is automatically
-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
. First we show that the system ( 4.7 ) is the direct consequence of the eq. ( 4.3 ). Let us make the shift
in the defining equation ( 4.3 ).The
-operator is invariant under this shift and
-operators transform as follows
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
-invariance of the
-operator and the commutativity of
and
. We substitute the factorized representation ( 3.2 ) for the operator
in the defining equation for the operator
and perform the similarity transformation
of this matrix equation using the commutativity
and
. Then using the
-invariance of
-operator ( 3.3 )
we derive the equation for the transformed operator
|
(4.9)
|
where
To derive the system of equations which is equivalent to the system ( 4.7 ), ( 4.8 ) written in terms of
we repeat the same trick with the shift of parameters and obtain the system of equations
|
(4.10)
|
|
(4.11)
|
It is evident that all equations of the system ( 4.11 ) contained in the equation ( 4.10 ) except only one
-equation
. We use the system of equation
|
(4.12)
|
as defining system for operator
. 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
) we note that it is possible to factorize the matrix
from the right
In comparison with ( 4.12 ) there are three new equations only
|
(4.13)
|
Indeed the system ( 4.12 ) contains the equations
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
and therefore the operator
depends on the variables
only. For simplicity we use the natural transformation
change
and obtain the system of equations
|
(4.14)
|
|
(4.15)
|
|
(4.16)
|
|
(4.17)
|
First of all the equation ( 4.17 ) is not independent. It is the consequence of equations ( 4.15 ) and
due to commutation relation
. The general solution of the equations ( 4.14 ) is
The equations ( 4.15 ) and ( 4.16 ) results in recurrence relations
The solution of these equations has the form
Collect everything together we obtain the expression for the operator
from the Proposition. All calculations for the operator
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
. First we show that the system ( 4.6 ) is the direct consequence of the eq. ( 4.2 ). Let us make the shift
in the defining equation ( 4.2 ) for the operator
. The
-operator is invariant under this shift and
-operators transform as follows
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
-invariance of the
-operator and the commutativity of
and
.
First of all it is useful to make the transformation
so that
commutes with
now. The corresponding transformation for the
-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
. After all these transformations the defining equation ( 4.2 ) for the
-operator in factorized form looks as follows
Next step we rewrite the defining equation for the transformed operator
in the form
|
(4.18)
|
where
To derive the system of equations which is equivalent to the system ( 4.6 ) written in terms of
we repeat the same trick with the shift of parameters and obtain
|
(4.19)
|
This system results in a simple equations
|
(4.20)
|
|
(4.21)
|
|
(4.22)
|
|
(4.23)
|
|
(4.24)
|
|
(4.25)
|
Returning to the system ( 4.18 )(it is the system ( 4.2 ) written in terms of
) we note that it is possible to factorize the matrix
from the right and the matrix
from the left so that
-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
where
are some constants. The equations ( 4.24 ) and ( 4.25 ) fix these constants
Collect everything together we obtain the expression for the operator
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 [1] we have demonstrated how this factorization arises in the simplest situations of the symmetry algebra
and
. In the present paper we have showed that the same factorization take place for the R-matrix with supersymmetry algebra
. It seems that this phenomenon is quite general and all results can be generalized to the symmetry algebra
and to the supersymmetry algebra
.
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
are divided on two sets. There are the even lowest weights
and the odd lowest weights
In this section we shall calculate the action of
-operators on these lowest weights.
Operator
We have factorized representation for the operator
In the explicit form the action of the operators
and
is
First we calculate the action of
then the action of
and finally action of
so that one obtains
For the odd lowest weights all is simpler
and finally we have
Operator
We have factorized representation for the operator
In the explicit form the action of the operators
and
is
First we calculate the action of
then the action of
and finally one obtains
For the odd lowest weights all is simpler
and finally we have
Operator
We have factorized representation for the operator
and the action of the operators
and
in explicit form is
First we calculate the action of
then the action of
and finally one obtains
For the odd lowest weights we have
Operator R The matrix elements for the
-operator are obtained from the matrix elements of
-operators by the formula
The result of calculations is the following
where
We extract the common normalization factor
After substitution of parameters in explicit form
we recover the formulae for the matrix elements of R-operator from the paper [8] .
References.
-
S.E. Derkachov ”Factorization of the R-matrix.I.” math.QA/0503396
-
N.Beisert ”The Dilatation Operator of N=4 Super Yang-Mills Theory and Integrability”, Phys.Rept. 405, (2005) 1, hep-th/0407277
-
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
-
R.Kirschner, Parton interaction in super Yang-Mills theory, JHEP 0407 (2004) 064
-
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
-
M.Scheunert, W.Nahm and V.Rittenberg , J.Math.Phys.18 (1977) 155
-
P.D.Jarvis, H.S.Green , J.Math.Phys.20 (1979) 2115
-
S.Derkachov, D.Karakhanyan, R.Kirschner ”Heisenberg spin chains based on
symmetry”, Nucl.Phys. B 583, (2000) 691
-
M.Marcu, J.Math.Phys.21 (1980) 1277 , J.Math.Phys.21 (1980) 1284
-
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
-
P.P. Kulish and E.K.Sklyanin , ”On the solutions of the Yang-Baxter equation” Zap.Nauchn.Sem. LOMI 95 (1980) 129
-
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
-
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
-
H.Frahm, M.P.Pfannmüller and A.M.Tsvelik , Phys. Rev. Lett. 81, (1998) 2116
-
P.P. Kulish, N.Yu.Reshetikhin and E.K.Sklyanin, ”Yang-Baxter equation and representation theory”, Lett.Math.Phys. 5 (1981) 393-403