Last update: 2 June 2014
This is a typed copy of the LOMI preprint Quantized universal enveloping algebras, the Yang-Baxter equation and invariants of links, I by N.Yu. Reshetikhin.
Recommended for publication by the Scientific Council of Steklov Mathematical Institute, Leningrad Department (LOMI) 6, June, 1987.
The interest in the quantum inverse scattering method (QISM) and in the solutions of Yang-Baxter equations has significantly increased recently, for it happened that interesting mathematical constructions lie at the basis of QISM - these are noncommutative and noncocommutative Hopf algebras. The first example of such an algebra was the of a universal enveloping algebra [Dri1985,Dri1986-3,Jim1985]. The algebras where is a simple or a Kac-Moody algebra, have been constructed (un works) by Drinfeld and Jimbo [Dri1985,Dri1986-3,Jim1985]. All these Hopf algebras are connected with an entire class of solutions of Yang-Baxter equation.
V. Jones [Jon1986] has recently shown that under certain additional conditions solutions of the Yang-Baxter equations can be used for constructing invariants of links. He also showed that two-parameters invariant of links constructed by Freyd-Yetter, Lickorish-Millet, Ocneanu and Hoste (FILMOH) [FYL1985] is connected with the solution of the Yang-Baxter equation found by Jimbo and Cherednik [Skl1982,SklNONE,Skl1985,Che1982]. Following this idea Turaev [Tur1988] showed that the found by Jimbo [Jim1986-2] are connected with the Kauffman invariant [Yan1967,Bax1982,Fad1984,KSk1982].
This paper argues that to each algebra where is a simple Lie algebra, we can associate a countable set of invariants of links. If a link contains components then an invariant depending on one continuous parameter and discrete parameters can be defined for it. These discrete parameters correspond to a highest weight of the algebra Solutions of the Yang-Baxter equations (they are what the link invariants are built from) will be called following the terminology of QISM.
In the beginning of section 1 some information on the algebras and on universal connected with them is given. Next the following important theorem is proved.
Theorem (1.5). If and are irreducible representations of with highest weights with multiplicity equal to one, is and is the matrix of Clebsh-Gordan (CGC), then where is a set of positive roots of the algebra
A fusion procedure [KRS1981] for connected with the algebras is given by theorem 1.6.
Theorem (1.6). Let be a CGC matrix, (the index numbers if the multiplicity of in is greater than one) then the matrices and are connected by the following relation Their exact meaning is given in section 2.
Section 2 introduces a graphical interpretation of and of CGC in order to clarify visually their relations. All of these relations are expressed graphically. The last theorem 1.8 of section 1 is proven with the help of this graphical interpretation.
This graphical interpretation is actively exploited in subsequent sections.
Section 3 explores the structure of the centraliser of the algebra in the space where is the basic representation of (see section 1). These results are applied for calculating the matrices through the matrix It is shown that the matrices form the centraliser From the complete irreducibility of finite dimensional representation of follows the analog of Weyl's duality: where is an irreducible finite dimensional and is an irreducible In the spaces orthogonal basis analogous to the Young basis for built. It is shown how to calculate the matrix elements of in this basis, when CGC are known. A of the Young basis is built out of (A of the Young projectors). Using the expression for the Young projectors through the matrices it is shown how the matrices are expressed through
The results of sections 1-3 are applied to the connected with the algebra in section 4. This section has a methodological character. Most probably an explicit description of the ideal by which the Hecke algebra should be factorized in order to obtain is new. Other results (obtained in [Jim1985,Jon1986]) are given merely for the purpose of drawing a fuller picture.
Section 5 focuses on connected with the algebras and corresponding to tensorial representation of these algebras are analysed. The matrices found earlier by Jimbo [Jim1986-2], are constructed using the results of sections 1-3. It is shown that and are both equal to a factor of Birman-Wenzl algebra [J. Birman, H. Wenzl] over an ideal given explicitly. A block structure of the matrices corresponding to the embeddings is given. The second half of section 5 deals with spinorial representations of and It is shown that the matrices where are spinorial representations, form a of the Clifford algebra, finally, it is shown how spinorial are expressed through the matrices and
Section 6 is concerned with the solutions of Yang-Baxter equation connected with All of the results are quite similar to tensorial representations of the algebras and
A matrix for the algebra is found in section 7, based on the results of sections 1-3. A block structure of corresponding to the embedding is obtained.
Section 8 applies the result obtained in the previous sections to knot theory. It is shown how to build with the help of the solutions of Yang-Baxter equation satisfying certain auxiliary condition representations of the group of partially coloured braids and invariants of links as characters of these representations. This result is a natural generalisation of Jones construction [Jon1986]. Next, it is shown that the matrices connected with irreducible representations of the algebras satisfy the necessary conditions and generate a class of invariants of links. Two ways of description are offered for these invariants. In the first way the invariants are interpreted as characters of the braid group representations. In the second way the invariants are looked upon as statistical sums (state functionals) on the diagram of the link. At the end of the section a combinatorial rule, which helps to reduce the calculation of invariants built on the matrices to the calculation of the basic invariant (built on the matrix
Section 9 discusses the invariants connected with the of classical Lie algebras. The basic invariants connected with these algebras give invariant and the Kauffman invariant. Theorem 9.1 is a new result which allows us to reduce the calculation of the Kauffman invariant to the calculation of the FILMOH invariant for some reconstructed links. At the end of the section it is shown how the calculation of invariants built on spinorial is reduced to the calculation of Kauffman invariants for reconstructed links.
In Section 10 a rule by which a basic invariant connected with can be calculated by means of Jones's invariant [Abe1980] is given.
Finally, in conclusion some hypotheses are formulated.
I thank L.D. Faddeev, I.M. Gelfand, V.G. Drinfeld, A.N. Krillov, S.V. Kerov, M.A. Semenov-Tian-Shansky, E.K. Sklyanin, V.G. Turaev and O.Ya. Viro for useful and stimulating discussions.