R-matrices and the magic square

Abstract

The distinguished representations associated to the rows of the Freudenthal magic square have a uniform tensor product graph with edges labelled by linear functions of the dimension of the corresponding division algebra.

1  Introduction

The idea of a series of Lie algebras goes back to the origins of the representation theory of the classical groups. For example, the Lie algebras SL(n) are regarded as a series in the sense that the irreducible representations can be parametrised so that tensor product decompositions and plethysms can be written uniformly and dimensions of representations are written as rational functions of n.
The suggestion that is the motivation for this work is that the Lie algebras in each row of the Freudenthal magic square should also form a series in this sense. This idea was explored explicitly and systematically in [Cvi84] and [Cvi77]. These works are currently unobtainable but this work can be found in [Cvi]. Unfortunately this work seems to have gone unnoticed. Independently of this, the exceptional series of Lie groups was studied in [Del96] ,[DdM96] and [CdM96]. In these papers the exceptional series are regarded as a finite series of simple Lie algebras which include all five of the exceptional simple Lie algebras. The parameter for this series can be taken to be the dual Coxeter number. The main results are several formulae for dimensions of representations written as rational functions in the dual Coxeter number. These dimension formulae were found by computer calculations.
The next development was the paper [LM01]. This paper and [LM02] contain detailed information on each row regarded as a series and are background references for our discussion on ech row. The parameter here is the dimension, m, of the corresponding algebra and this is the parameter we will be using in this paper. The main result is to give infinitely many dimension formulae, for all rows except the first. These dimension formulae are deduced from the Weyl dimension formula and do not require any computer calculations.
These series are all one dimensional in the sense that there is a single parameter. The preprint [Vog99] includes, in the same spirit as for the exceptional series, evidence for a two-dimensional series of simple Lie algebras. Although this work was motivated by a problem on Vassiliev invariants of links and has not been published, it has been influential and may have inspired [Del96]. This plane contains the exceptional series as a line and we discuss the exceptional series in this context.
The motivation for this paper is the proposal that each of these series of Lie algebras can be regarded as a series of quantum groups. The initial evidence for this proposal is that the dimension formulae in [LM01] are deduced from the Weyl dimension formula and so this also gives quantum dimension formulae. These are rational functions of two indeterminates q and qm.
The starting point for this work is the observation that the values of the quadratic Casimir on the composition factors of VÄV can be written as linear combinations of m. The eigenvalues of the universal R-matrix (without spectral parameter) of the quantum group acting on VÄV are powers of q whose exponents are simple linear combinations of the values of the Casimir. This constructs representations of the braid groups over the field of rational functions in two indeterminates, q and qm. It is now natural to ask if we can introduce the spectral parameter. This is the question we study in this paper.
The results of this paper support the proposal that these series can be regarded as series of quantum groups. In all cases except the first row of the Freudenthal magic square the spectral parameter can be introduced. In these cases the Yang-Baxter equation is a powerful tool for working with the centraliser algebras of the tensor powers of the distinguished representation V.
In this paper we look at each row of the Freudenthal magic square from the point of view of the R-matrix with spectral parameter. In this paper we distinguish two versions of the Yang-Baxter equation. A trigonometric solution is asociated to a finite dimensional representation of a quantum affine algebra and is written as
 R1(u)R2(uv)R1(v) = R2(v)R1(uv)R2(u)
and a rational solution is associated to a finite dimensional representation of a Yangian and is written as
 R1(x)R2(x+y)R1(y) = R2(y)R1(x+y)R2(x)
Each trigonometric solution gives a rational solution by putting u=qx and then taking the limit q® 1.
The main method of construction of R-matrices is given by the tensor product graph, see [ZGB91], [DGZ94] and [OW86]. Let V and W be representations of a simple Lie algebra which admit an action of the affine Lie algebra which extends the action of the Lie algebra. This condition implies that there exists an R-matrix for the tensor product. Assume further that the decomposition of the tensor product is multiplicity free. This condition implies that the R-matrix is determined by its eigenvalues. Then the tensor product graph gives a method for determining the eigenvalues. There is a bipartite graph constructed as follows. Each composition factor of VÄW is given a parity. In the case V=W this corresponds to the decomposition of VÄV into the symmetric square S2(V) and the exterior square L2(V). These are the vertices of the graph. Then two vertices U1 and U2 of opposite parity are connected by an edge if U2 is a composition factor of \mathfrakgÄU1 (where \mathfrakg is the adjoint representation). Then the vertices are labelled by the values of the quadratic Casimir, and each directed edge is labelled by the difference of Casimirs.
If the R-matrix exists then the labels on the edges of the graph satisfy a consistency condition for each cycle in the graph. There is no known example of a pair of representations which gives a consistent tensor product graph when there is no R-matrix. There is no explanation of this observation either.
The Freudenthal magic square (from [Fre64]) is a 4×4 square of semi-simple Lie algebras. The rows and columns are labelled by the four real normed division algebras; the real numbers \mathbbR, the complex numbers \mathbbC, the quaternions \mathbbH, and the octonions \mathbbO. For an introduction to the octonions and the exceptional Lie algebras, see [Bae02]. The corresponding entry in the square is a Lie algebra constructed in a uniform way from the ordered pair of algebras. This is discussed in [Vin94], [BS02] and [LM01]. In this paper we extend this square to a rectangle by adding three more columns.
Here is the extended magic square. In this square, each column has a uniform construction given an algebra. For the column labelled m=-2/3 the construction is to take the derivation algebra. For the column labelled m=0 the construction is to take the triality algebra. Taking the columns labelled m=1,2,4,8 and the rows labelled \mathbbR, \mathbbC, \mathbbH, \mathbbO gives the original Freudenthal magic square. The column labelled m=6 is work in progress but will be discussed below.
 -2/3 0 1 2 4 6 8 \mathbbR 0 0 A1 A2 C3 C3.H14 F4 \mathbbC 0 T2 A2 2A2 A5 A5.H20 E6 \mathbbH A1 3A1 C3 A5 D6 D6.H32 E7 \mathbbS A1.H4 (3A1).H8 C3.H14 A5.H20 D6.H32 D6.H32.H44 E7.H56 \mathbbO G2 D4 F4 E6 E7 E7.H56 E8
The convention here is that a Lie algebra G.H2n means that the Lie algebra of type G has a representation V of dimension 2n which admits an invariant symplectic form w. Then G acts on the Heisenberg algebra of (V,w) and G.H2n denotes the semi-direct product. These algebras are not reductive and the Heisenberg algebra is the radical.
These non-reductive Lie algebras are explained by the sextonion algebra. This is a six dimensional alternative algebra intermediate between the complex quaternions and the complex octonions. It does not admit a real form. It has a degenerate norm; the kernel of the norm is the radical of the algebra. This ideal is two dimensional and the quotient is the quaternion algebra. In this paper we do not discuss the sextonion algebra in any detail. However we have mentioned this because it does predict new trigonometric solutions of the Yang-Baxter equation. The vector spaces for these two solutions have dimensions 21 and 44. This also predicts two new rational solutions of the Yang-Baxter equation. The vector spaces for these solutions have dimensions 100 and 191. These examples involve non-reductive groups. However there is a precedent for introducing non-reductive groups namely the odd symplectic groups of [GZ84]. The rational solutions of the Yang-Baxter equation can be constructed in all these cases from the representation theory of these non-reductive Lie algebras. However the trigonometric solutions are conjectural as the quantum groups associated to these non-reductive Lie algebras have not been constructed.
The main result of this paper is to show that each row of this square (except the first) has a uniform tensor product graph. This means that we can construct a tensor product graph with edges labelled by linear functions in m. Then evaluating this linear functions by taking m to be the dimension of the algebra gives the tensor product graphs in each row. This has been extended in [Mac02] who shows that the K-matrices which satisfy the reflection equation and are associated to symmetric spaces also have tensor product graphs which are uniform in the same way.
Next we discuss conventions which will be in force throughout the paper. All of these conventions have precedents in the literature.
For the two rows corresponding to \mathbbC and \mathbbH we will give linear functions of m for the dimension of the representation. For some values of m this may give a negative integer. In these cases the representation is to be understood as a super vector space with zero even part. In practice, the effect of this is to make some dimensions negative and also to interchange the roles of the symmetric and alternating powers of the representation. The best known precedent for this is that the symplectic groups \syp(2n) can be regarded as \so(-2n) by considering them as the automorphism groups of an odd vector space with an invariant symmetric inner product. This principle is also discussed in [Cvi81].
Another convention which was introduced in [Del96] is that although we will use the notation of highest weight vectors for representations the representations we will be working with are in fact representations of the automorphism group of the Lie algebra of the Dynkin diagram. This automorphism group is the semidirect product of the semisimple group of adjoint type associated to the diagram with the finite group of diagram automorphisms. The exception to this is that in the row associated to \mathbbC there is a diagram automorphism which interchanges the highest weight of the distinguished representation and its dual. In this case we work with a subgroup of index two in the automorphism group so that we still have an involution.
Finally we explain some notation.
Notation 1 If V and W are representations with highest weights l and m then we will write VW for the representation with highest weight l+m and Vp for the representation with highest weight pl.
We write highest weights in terms of the basis of fundamental weights and the ordering of the nodes of the Dynkin diagram is the one used by Bourbaki.

2  Tensor product graphs

In this section we discuss the tensor product graphs of the rows of the magic rectangle. We have chosen to treat these in the following sequence; \mathbbC, \mathbbH, \mathbbO, \mathbbR. The reason for choosing this unusual sequence is that the first two cases, \mathbbC and \mathbbH, have uniform tensor product graphs with edges labelled by linear functions of the dimension of the corresponding division algebra. For the other two cases this does not work. However for the \mathbbO case there is a uniform R-matrix for \mathfrakgÅ1, but this is not constructed from a tensor product graph. The remaining case, \mathbbR, is possibly the most interesting as there is no known uniform R-matrix.

2.1  Complex numbers

The Lie algebras are
 m -2 -2/3 0 1 2 4 6 8 G A2 0 T2 A2 A2ÅA2 A5 A5.H20 E6
There is a distinguished representation V of dimension (3m+3).
The common structure to these representations is
 L2(V) = V2        S2(V) = V*ÅV2
where the representation V2 is given by 1.1. The highest weight vectors of these representations are given in the following table.
 A2 A2 2A2 A5 E6 V -[1,0] [2,0] [0,1|1,0] [0,1,0,0,0] [1,0,0,0,0,0] \mathfrakg [1,1] [1,1] [1,1|0,0] [1,0,0,0,1] [0,1,0,0,0,0] V2 -[2,0] [2,1] [1,0|2,0] [1,0,1,0,0] [0,0,1,0,0,0]
The Lie algebra A5.H20 is graded and the representations we are considering can be taken to be graded A5 representations. These are given in the following table
 0 1 2 \mathfrakg l1+l5 l3 1 V l2 l5 V* l4 l1 V2 2l2 (l2+l5) l5 V2 (l1+l3) (l2+l5)Ål1 l4
The quantum dimensions are given by
 dimq(V)
 =
 [3m/2][m+1] [m/2]
 dimq(V2)
 =
 [m+2][m+1][3m/2+1][3m/2] [2][m/2+1][m/2]
 dimq(V2)
 =
 [m+1][m-2][3m/2][3m/2+1] [2][m/2][m/2-1]
 dimq(\mathfrakg)
 =
 [m-2][m][m+1][3m/2+1] [m/2-1][m/2][m/2+2]
In particular, dim(\mathfrakg) and dim(V) are integers if and only if 3m+12 divides 360. This gives a finite list of possible values of m.
The values of the Casimir are
 Vp 4p2/3 + 2pm V2Vp 4p2/3 + 2p(3m+5)/3 + 4(3m+1)/3 V*Vp 4p2/3 + 2p(3m+2)/3 + 2(3m+2)/3 \mathfrakgVp 4p2/3 + 2p(m+1) + 3m
The tensor product graph for VÄVp is
 Vp+1 2p+2 ® V2Vp-1 2m+2p-2 ® V*Vp-1
where the representations Vp are given by 1.1.
The tensor product graph for V*ÄVp is
 V*Vp m+2p+2 ® \mathfrakgVp-1 3m+2p-2 ® Vp-1
These tensor product graphs for m=8 are given in [DGZ94]. The R-matrix for E6 is given in [CK91], [ZGB91] and [Ser91].

2.2  Quaternions

The standard Lie algebras are
 m -2/3 0 1 2 4 6 8 G A1 3A1 C3 A5 D6 D6.H32 E7
This list can be extended as follows
 m -3 -8/3 -5/2 -2 -4/3 -1 G D5 B3 G2 2A1 0 D(2,1,a)
where D(2,1,a) is an exceptional simple super Lie algebra. This series was first studied in [Cvi81].
There is a distinguished representation V of dimension (6m+8). The structure that these representations have in common is that
 L2(V) = 1ÅV2        S2(V) = \mathfrakgÅV2
where V2 is given by 1.1. The highest weight vectors of these representations are given in the following table.
 A1 3A1 C3 A5 D6 E7 V [3] [1,1,1] [0,0,1] [0,0,1,0,0] [0,0,0,0,0,1] [0,0,0,0,0,0,1] V2 [4] [2,2,0] [0,2,0] [0,1,0,1,0] [0,0,0,1,0,0] [0,0,0,0,0,1,0]
The Lie algebra D6.H32 is graded and the representations we are considering can be taken to be graded D6 representations. These are given in the following table
 0 1 2 \mathfrakg l2 l5 1 V l6 l1 V2 2l6 (l1+l6) 2l1 V2 l4 (l1+l6) l2
The representations V in the extension are given by
 D5 B3 G2 2A1 V -[1,0,0,0,0] -[0,0,1] -[1,0] -[1]Ä[1]
The quantum dimensions of these representations are given by
 dimq(\mathfrakg)
 =
 [2m+3][3m/2+2][3m/2] [m/2][m/2+2]
 dimq(V)
 =
 [m+2][3m/2+2][2m+2] [m/2+1][m+1]
 dimq(V2)
 =
 [m+3][3m/2+2][3m/2+3][2m+2][2m+3] [2][m/2+1][m/2+2][m+1]
 dimq(V2)
 =
 [2m+3][2m+2][3m/2][3m/2+3] [2][m/2][m/2+1]
In particular, dim(V) and dim(\mathfrakg) are both integers if and only if (6m+24) divides 720. This gives a finite list of possibilities. If the projection L2(V)® 1 is a symplectic form then dim(V) must be an even integer and this then restricts attention to those values of m such that (3m+12) divides 360.
The tensor product graph for VÄVp is the following:
 Vp-1 2m+p+1 ® \mathfrakgVp-1 m+p+1 ® V2Vp-1 p+1 ® Vp+1
where the representations Vp are given by 1.1.
The R-matrix for E7 is given in [KKM91], [JM95], [CK91], [ZGB91] and [Ser91]. The R-matrix for G2 is given in [Kun90] and [Ma90].
The values of the Casimir are
 Vp 3p2/4 + p(3m+3)/2 \mathfrakgVp 3p2/4 + p(3m+5)/2 + 2m + 2 V2Vp 3p2/4 + p(3m+7) + 3m + 4
The representations in the extension have the common property that
 L2(V) = \mathfrakgÅV2        S2(V) = 1ÅV2
The interpretation that justifies including them in this series is to regard V as a super vector space with zero even part. This has the effect of making the dimension -dim(V) and interchanges the symmetric and exterior powers. This gives the same tensor product graph (except for G2 and p > 1) but not the labels on the edges.

2.3  Octonions

The exceptional series of Lie algebras are
 m -5/2 -3/2 -4/3 -1 -2/3 0 1 2 4 6 8 G 1 SOSp(2,1) A1 A2 G2 D4 F4 E6 E7 E7.H56 E8
where SOsp(2,1) is a simple super Lie algebra of dimension (3,2). This is the only simple super Lie algebra whose finite dimensional representations are all completely reducible.
The Lie algebras in this list are the exceptional series of Lie algebras discussed in [DdM96], [CdM96] and [Del96]. However this series has no distinguished representation, other than the adjoint representation. In [Vog99] evidence is given for a family of Lie algebras depending on three homogeneous parameters. This family includes all the simple Lie algebras and includes the series of exceptional series as a straight line. In this section we will discuss the adjoint representation from the point of view of R-matrices. Our conclusion is that the results of [CP91] fit in nicely with this point of view.
The structure common to the adjoint representation is that
 L2(\mathfrakg)=\mathfrakgÅX        S2(\mathfrakg)=1ÅY(a)ÅY(b)ÅY(g)
Here the projection L2(\mathfrakg)®\mathfrakg is the Lie bracket and the projection S2(\mathfrakg)® 1 is the Killing form. This structure is given in [Mey84].
The weights of these representations for the classical groups are given by the following table. For the corresponding weights for the exceptional groups see [CdM96].
 G \mathfrakg X Y(a) Y(b) Y(g) \spl (n) l1+ln l2+2ln 2l1+2l2 l1+ln l2+ln-1 \so (n) l2 l1+l3 2l2 l4 2l2 \syp (2n) 2l1 2l1+l2 2l2 4l1 l2
In this situation we don't have an obvious parameter, m. Instead we take the values of the Casimir on Y(a), Y(b) and Y(g) as homogeneous parameters (a,b,g). In this paper, we assume that these are non-zero.
Note that there is action of the permutation group S3. This group acts by applying a permutation to the co-ordinates (a,b,g) and to the representations (Y(a),Y(b),Y(g)). The preprint [Vog99] takes the qutient by this action.
The quantum dimensions are given by
 dimq(\mathfrakg) = [a+2b+2g][2a+b+2g][2a+2b+g] [a][b][g]
_q(X) =
[++2][+2+][2++]
[+2+2][2++2][2+2+]
[2+2][2+2][2+2]
_q(Y()) = -[2+2+2][2+2+][2++2]
[++2][+2+][-2-2]
Although the exceptional series does not have a preferred representation (other than the adjoint representation) it is distinguished by the fact that
 S2(\mathfrakg) = 1 ÅY Å\mathfrakg2
or by the property that there is no quartic Casimir.
This plane has a number of lines
 a b g \spl (n) -2 2 n a+b = 0 \so (n) -2 4 n-2 2a+b = 0 \syp (2n) -2 4 -2n-2 2a+b = 0 \mathbbO -2 m+4 2m+4 2a+2b-g = 0 \mathbbH -2 m m+4 2a-b+g = 0
Note that here \syp (2n) can be regarded as \so(-2n). There is one difference which is that \mathfrakg2 is Y(a) for \so(n) and is Y(b) for \syp(n).
The Lie algebra \spl(2) is a degenerate case and satisfies L2(\mathfrakg)=\mathfrakg and S2(\mathfrakg)=1Å\mathfrakg2. This does not determine the values of the three parameters and in fact all points on the line a+b+2g = 0 give the Lie algebra \spl(2).
Another line, which we not discuss in this paper, is the line a+b+g = 0 which gives the series of super Lie algebras \sd(2,1,a).
The odd symplectic Lie algebra \syp(2n+1)=\syp(2n).H2n is graded and the representations we are considering can be taken to be graded \syp(2n) representations. These are given in the following table
 0 1 2 3 4 \mathfrakg 2l1 l1 1 X (2l1+l2) (l1+l2)Å3l1 l2Å2l1 l1 Y(a) 2l2 (l1+l2) 2l1 l-1 1 Y(b) 4l1 3l1 Y(g) l2 l1
The dimensions of these representations of \syp(n) are
 dim(\mathfrakg)
 =
 n(n+1)/2
 dim(X)
 =
 (n-2)n(n+1)(n+3)/8
 dim( Y(a) )
 =
 (n-2)(n-1)n(n+3)/12
 dim( Y(b) )
 =
 n(n+1)(n+2)(n+3)/24
 dim( Y(g) )
 =
 (n-2)(n+1)/2
The Lie algebra E7.H56 is graded and the representations we are considering can be taken to be graded E7 representations. These are given in the following table
 0 1 2 3 4 dim \mathfrakg l1 l7 1 190 X l3 (l1+l7)Ål2 l1Ål6 l7 17765 \mathfrakg2 2l1 (l1+l7) l1Å2l7 l7 1 15504 Y l6 l2Ål7 l1 2640
The Lie algebra D6.H32 is graded and the representations we are considering can be taken to be graded D6 representations. These are given in the following table
 0 1 2 3 4 dim \mathfrakg l2 l5 1 99 X (l1+l3) (l2+l5)Å(l1+l6) l2Ål4 l5 4752 Y(a) 2l2 (l1+l5) l2Å2l5 l5 1 3927 Y(b) l4 l5Å(l1+l6) l2 945 Y(g) 2l1 77
In addition to these lines there is an isolated point with parameters (-1,4,7) (and its permutations). This Lie algebra has dimension 156. The candidate for this Lie algebra is a centraliser of a unipotent element of E8 (see [Car93]). This is a graded Lie algebra where the dimensions of the non-zero components are given by
 0 1 2 78 64+13 1
The Levi subalgebra is the degree zero subalgebra and is B6.
The tensor product graph is not consistent and so this does not give an R-matrix. However in [CP91] it is shown that there is a rational R-matrix for \mathfrakgÅ1. This R-matrix is given by

 R(x) = PX Å æè a+x a-x öø PY(a) Å æè b+x b-x öø PY(b) Å æè g+x g-x öø PY(g) ÅP\mathfrakg ÅP1
Introduce the notation
 a
 =
 a+b+g
 b
 =
 abg
 h(x)
 =
 (x-a)(x-b)(x-g)
Then the matrices P\mathfrakg and P1 are given by
P\mathfrakg =  1

h(x)
æ
ç
ç
è
 -h(x)+2b
 -2x
 0
 2abx
 -h(-x)+2b
 0
 0
 0
 h(x)
ö
÷
÷
ø
and the matrix P1 is given by
P1 =  1

h(x)
æ
ç
è
 -h(x)+2b
 bx/(x-a)
 4ax(x+a)
 (h(-x)+2b)(x+a)/(x-a)
ö
÷
ø
Although the R-matrices have not been worked out, it is also shown in [CP91] that for the exceptional series there are the following uniform minimal affinisations
 Va(Y)
 =
 Y Å\mathfrakgÅ1
 Va(X)
 =
 X ÅY* Å2\mathfrakgÅ1
These are obtained by a fusion argument. This argument generalises to give the uniform affinisations
 Va(Y(a))
 =
 Y(a) Å\mathfrakgÅ1
 Va(X)
 =
 X ÅY(a) Å2\mathfrakgÅ1
and similarly with a replaced by b and g.

2.4  Real numbers

The first row of the Freudenthal magic square gives the following Lie algebras.
 m -2/3 0 1 2 4 6 8 G 0 0 A1 A2 C3 C3.H14 F4
These Lie algebras can be constructed uniformly in terms of a division algebra \mathbbA by taking the derivation algebra of the exceptional Jordan algebra H3(\mathbbA). There is a distinguished representation V of dimension (3m+2). This representation can be constructed as the space of trace-free, anti-Hermitian 3×3 matrices with entries in \mathbbA.
The structure that these representations have in common is that
 L2(V) = \mathfrakgÅV2        S2(V) = \mathbbCÅVÅV2
where the representation V2 is given by 1.1. In particular these representations have invariant symmetric bilinear and trilinear forms. They also have an invariant symmetric form of degree four.
The highest weights of these representations are given in the following table.
 A1 A2 C3 F4 V [4] [1,1] [0,1,0] [0,0,0,1] \mathfrakg [2] [1,1] [2,0,0] [1,0,0,0] V2 [6] [3,0] [1,0,1] [0,0,1,0]
The Lie algebra C3.H14 is graded and the representations we are considering can be taken to be graded C3 representations. These are given in the following table
 0 1 2 \mathfrakg 2l1 l3 1 V l2 l1 V2 2l2 (l1+l2) l3 V2 l1+l3 l1Å(l1+l2) l2
The quantum dimensions are given by
 dimq(V) = [m/4+1] [m/2+2] [5m/2-2] [5m/4-1] [m] [m/2] [3m/2+1]
In particular, dim(V) and dim(\mathfrakg) are both integers if and only if 3m+12 divides 360. This gives a finite list of possible values of m. Some of these can be eliminated using other dimension formulae.
The values of the Casimir are:
 1
 \mathfrakg
 V2
 V2
 V
 0
 5m-4
 6m+4
 6m
 3m
The tensor product graphs are given by
 F4:1 36 ® \mathfrakg -12 ® V2 24 ® V2 4 ® V
This R-matrix is given in [KKM91], [Ma91], [Ser91] and [DGZ94].
C3:
 V
 12 \nearrow
 -4 \searrow
 1
 16 ®
 \mathfrakg
 V2
 -4 \searrow
 12 \nearrow
 V2
This R-matrix is given in [Mac92].

 A1:1 1 ® \mathfrakg 9 ® V -4 ® V2 -3 ® V2
This leads us to consider the tensor product graph
 V
 -2m+4 \nearrow
 3m \searrow
 1
 5m-4 ®
 \mathfrakg
 V2
 m+8 \searrow
 -4 \nearrow
 V2
However this tensor product graph is consistent if and only if m=4 or m=-4/3. The conclusion is that although we have a tensor product graph this is not consistent and so does not give an R-matrix. It may be that these representations have affinisations which give a uniform R-matrix.

References

[Bae02]
John C. Baez. The octonions. Bull. Amer. Math. Soc. (N.S.), 39(2):145-205 (electronic), 2002.
[BS02]
C. H. Barton and A. Sudbery. Magic squares and matrix models of lie algebras. RA/0203010, 2002.
[Car93]
Roger W. Carter. Finite groups of Lie type. Wiley Classics Library. John Wiley & Sons Ltd., Chichester, 1993. Conjugacy classes and complex characters, Reprint of the 1985 original, A Wiley-Interscience Publication.
[CdM96]
Arjeh M. Cohen and Ronald de Man. Computational evidence for Deligne's conjecture regarding exceptional Lie groups. C. R. Acad. Sci. Paris Sér. I Math., 322(5):427-432, 1996.
[CK91]
H. J. Chung and I. G. Koh. Solutions to the quantum Yang-Baxter equation for the exceptional Lie algebras with a spectral parameter. J. Math. Phys., 32(9):2406-2408, 1991.
[CP91]
Vyjayanthi Chari and Andrew Pressley. Fundamental representations of Yangians and singularities of R-matrices. J. Reine Angew. Math., 417:87-128, 1991.
[Cvi]
Predrag Cvitanovi\'c. Group theory. http://www.nbi.dk/GroupTheory/.
[Cvi77]
Predrag Cvitanovi\'c. Group theory. preprint, Oxford University, 1977.
[Cvi81]
P. Cvitanovi\'c. Negative dimensions and E\sb7 symmetry. Nuclear Phys. B, 188(2):373-396, 1981.
[Cvi84]
Predrag Cvitanovi\'c. Group Theory. Nordita, 1984.
[DdM96]
Pierre Deligne and Ronald de Man. La série exceptionnelle de groupes de Lie. II. C. R. Acad. Sci. Paris Sér. I Math., 323(6):577-582, 1996.
[Del96]
Pierre Deligne. La série exceptionnelle de groupes de Lie. C. R. Acad. Sci. Paris Sér. I Math., 322(4):321-326, 1996.
[DGZ94]
Gustav W. Delius, Mark D. Gould, and Yao Zhong Zhang. On the construction of trigonometric solutions of the Yang-Baxter equation. Nuclear Phys. B, 432(1-2):377-403, 1994.
[Fre64]
Hans Freudenthal. Lie groups in the foundations of geometry. Advances in Math., 1(fasc. 2):145-190 (1964), 1964.
[GZ84]
I. M. Gel¢fand and A. V. Zelevinski. Models of representations of classical groups and their hidden symmetries. Funktsional. Anal. i Prilozhen., 18(3):14-31, 1984.
[JM95]
Bai-Qi Jin and Zhong-Qi Ma. R matrix for U\sb qE\sb 7. Comm. Theoret. Phys., 24(4):403-410, 1995.
[KKM91]
J. D. Kim, I. G. Koh, and Zhong Qi Ma. Quantum \check R matrix for E\sb 7 and F\sb 4 groups. J. Math. Phys., 32(4):845-856, 1991.
[Kun90]
Atsuo Kuniba. Quantum R-matrix for G\sb 2 and a solvable 175-vertex model. J. Phys. A, 23(8):1349-1362, 1990.
[LM01]
Joseph M. Landsberg and Laurent Manivel. Triality, exceptional lie algebras and deligne dimension formulas. AG/0107032, 2001.
[LM02]
Joseph M. Landsberg and Laurent Manivel. Series of lie groups. AG/0203241, 2002.
[Ma90]
Zhong Qi Ma. Rational solution for the minimal representation of G\sb 2. J. Phys. A, 23(19):4415-4416, 1990.
[Ma91]
Zhong Qi Ma. The embedding e\sb 0 and the spectrum-dependent R-matrix for q-F\sb 4. J. Phys. A, 24(2):433-449, 1991.
[Mac92]
Niall J. MacKay. The full set of C\sb n-invariant factorized S-matrices. J. Phys. A, 25(24):L1343-L1349, 1992.
[Mac02]
Niall J. MacKay. Rational k-matrices and representations of twisted yangians. J. Phys. A, 35(37):7865-7876 (electronic), 2002. QA/0205155.
[Mey84]
Kurt Meyberg. Spurformeln in einfachen Lie-Algebren. Abh. Math. Sem. Univ. Hamburg, 54:177-189, 1984.
[OW86]
E. Ogievetsky and P. Wiegmann. Factorized S-matrix and the Bethe ansatz for simple Lie groups. Phys. Lett. B, 168(4):360-366, 1986.
[Ser91]
S. M. Sergeev. Spectral decomposition of R-matrices for exceptional Lie algebras. Modern Phys. Lett. A, 6(10):923-927, 1991.
[Vin94]
È. B. Vinberg, editor. Lie groups and Lie algebras, III, volume 41 of Encyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 1994. Structure of Lie groups and Lie algebras, A translation of Current problems in mathematics. Fundamental directions. Vol. 41 (Russian), Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1990 [MR 91b:22001], Translation by V. Minachin [V. V. Minakhin], Translation edited by A. L. Onishchik and È. B. Vinberg.
[Vog99]
Pierre Vogel. The universal lie algebra. http://www.math.jussieu.fr/ vogel/, 1999.
[ZGB91]
R. B. Zhang, M. D. Gould, and A. J. Bracken. From representations of the braid group to solutions of the Yang-Baxter equation. Nuclear Phys. B, 354(2-3):625-652, 1991.

File translated from TEX by TTH, version 3.35.
On 9 May 2003, 13:19.