• No results found

Trigonometric R Matrices related to ``Dilute'' BWM Algebra - 5277y

N/A
N/A
Protected

Academic year: 2021

Share "Trigonometric R Matrices related to ``Dilute'' BWM Algebra - 5277y"

Copied!
6
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)

UvA-DARE (Digital Academic Repository)

Trigonometric R Matrices related to ``Dilute'' BWM Algebra

Grimm, U.G.

DOI

10.1007/BF00750661

Publication date

1994

Published in

Letters in Mathematical Physics

Link to publication

Citation for published version (APA):

Grimm, U. G. (1994). Trigonometric R Matrices related to ``Dilute'' BWM Algebra. Letters in

Mathematical Physics, 32, 183-187. https://doi.org/10.1007/BF00750661

General rights

It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons).

Disclaimer/Complaints regulations

If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

(2)

© 1994 Kluwer Academic Publishers. Printed in the Netherlands.

Trigonometric R Matrices Related to 'Dilute'

Birman-Wenzl-Murakami Algebra

U W E G R I M M

Instituut voor Theoretische F ysica, Universiteit van Amsterdam, Valckenierstraat 65, 1018 X E Amsterdam, The Netherlands. e-mail:grimm@phys.uva.nl

(Received: 17 February 1994)

Abstract. Explicit expressions for three series of R matrices which are related to a 'dilute' generalisation of the Birman-Wenzl-Murakami algebra are presented. Of those, one series is equivalent to the quantum R matrices of the D.+ 1 generalised Toda systems, whereas the remaining two series appear to be new. ~2) Mathematics Subject Classifications (1991). 20F36, 81R50, 82B23.

A 'dilute' generalisation of the Birman-Wenzl-Murakami (BWM) algebra [1, 2] has recently been introduced [3, 41. It appears 1-3] as a generalised braid-monoid algebra I-5] related to certain exactly solvable lattice models of two-dimensional statistical mechanics. Alternatively, it can be regarded as a particularly simple case of a two-colour braid-monoid algebra 1-4] where one colour is trivially represented (in the sense that the corresponding representation of the subalgebra generated by the elements of this colour is one-dimensional). In [3], it was shown that represen- tations of this algebra can be 'Baxterised' [6], i.e., one can find a general expression

for a local Yang-Baxter operator

X;(u)

[5] (u denoting the spectral parameter) in

terms of the generators of the dilute BWM algebra for which the Yang-Baxter relations

Xj(u)Xi+ ~(u + v)XAv) = sj+ ~(v)Xj(u + v)xj+ ~(u),

(1)

Xj(u)Xa(v) = Xk(V)Xi(u ),

for I J -- k l > 1,

follow algebraically. This implies that every suitable representation of the dilute BWM algebra defines a solvable lattice model. As an example, one series of R matrices of this kind has been given in I-3] which were shown to be equivalent to the

D~2)

n + I vertex models 1-7, 8].

In this Letter, we present the explicit form of three such series of R matrices (where the series mentioned above is included for completeness). In this case, the Yang-

Baxter operator

Xj(u)

acts on a tensor space V ® V ® ... ® V (where V ~ C d+ 1 with

some integer d) as

(3)

184 UWE GRIMM

where/~(u) = PR(u) (P is the permutation m a p on V ® V, i.e., P: v ® w ~, w ® v) acts on

the j and j + 1 factors in the tensor p r o d u c t and R(u) is the corresponding R matrix.

T h e representations of the dilute B W M algebra considered in what follows can be regarded as the 'dilutisation' of well-known representations of the B W M algebra itself. These are the representations which describe the B(. 1), C(. l) and D(. l) vertex models [ 7 - 1 0 ] (and the A(. 2) models as well, see, e.g., [3]), we will refer to the corresponding series of (dilute) models as the (B), (C), and (D) series for short. The corresponding representations of the dilute algebra are obtained by adding a single state (which carries the second ('trivial') colour) to the local space F"-~ C a (with d = 2n + 1 for the (B) and d = 2n for the (C) and (D) series, respectively) yielding

V = P @ C ~ C ~+l.

F o r all three series, the (d + 1) 2 × (d + 1) z matrix/~(u) is given by the following general expression [3] /~(u) = p(~'~) + + C - i t / - i ( z _ z - i ) ( ~ - i z b + ( l , i) _ v z - i b - ( i , i ) ) + + r / - l ( . c z - i _ .C-lz)(p(1,2) + p(2,1)) __ - - / ~ 1 ~ - 1 ~ - I ( Z - - Z - 1)(~'Z - 1 -- -C- lz)(b(i. 2) + b (2,i)) + + ~zrl-l(z - z-i)(e(1,z) + e (2,i)) + + (1 - C - 1 I"/- 1 (z - z - i ) (Tz - 1 - - ,IT - 1 Z)) p ( 2 , 2 ) (3) where z = exp(iu), ff = ((7" - - i f - l ) , t/ = (T - - " c - l )

and where one can choose arbitrary signs ~2 = x~ = 1 (cf. [3]). Here, the relation- ship between a and T is given by "c z = a 2", - a 2n+i, a 2"-1 for the (B), (C), and (D) series, respectively.

Following closely the n o t a t i o n of [8] (with a = k and T z = 4), we find the following explicit expressions for the matrices

p(a,b) = p(.)®p(b), b+_(a,b) and e (a'b) (a, b e {1,2}):

p ( 1 ) = Z E .... (4a) p(2) = Ea + 1,a+ 1, (4b) b +(l't) = ~ a - l ( 1 + (a -- 1)6~,~.)E~,~ ®E~,~ + c¢ + y , (1 + (a - 1)6,,p,)E,,p ® E~,, - -- (0" -- a - 1) 2 E~,. @ Ea,p +

(4)

b -(1'1) = ~ a(1 + (a- 1 _ 1)6~,~,)E~ a ® E~,~ +

+ ~ (1 + (a- 1 _ 1)6a,~,)E,,a ® Eta,, +

_ _ ( i f _ _ i f - l ) 2 E ~ , ~ ® E a , a - a>B -- (tr -- (r -1) ~ e=@tra-aE=,t~ ® E=,a,, (5b) ct<fl b(1'2) =- 2 Ed+I,~ ® Ea,d+l, (5C) b(2'l) = 2 Ea,d+l @ Ea+l,~, (5d) ~t e°'2) = -- 2 o M a + l ) / 2 - ~ @ Ea+

e(2'1)

---- - - Z 8aff°L-(d+ l)/2"Ea', d+ l (~ E.,a+ t,

(6a)

(6b)

where in all expressions the summation variables are restricted to values

1 ~< ct,/? ~< d. Here, Ek,~ denote (d + 1) x (d + 1) matrices with elements

(Ek,0i,j = 6i,k'5;a. Furthermore, 'charge conjugated' states are defined by

~ ' = d + l - c ~ ( l ~ < ~ < d ) and (d + l)' = (d + l).

We use e~ = 1 for the (B) and (D) series whereas

I 1, ~ < 0~'

e~= - 1 , c t > ~ " (7)

for the (C) series. Finally,

{

~+½, ~ < ~ ,

,

= , ~, ~ = ~', (8)

aT-½, c~ > ~',

where the upper sign applies for series (B) and (D) and the lower for the (C) series, respectively.

It is straightforward to show that the above expressions (4a)-(6b) indeed define a matrix representation of the dilute B W M algebra in the sense of [3]. It follows from the results of [3] that the/~ matrix (3) fulfills the quantum Yang-Baxter equation (1) (l~(u) ® I)(I ® R(u + v))(R(v) ® I) = (I ® R(v))(R(u + v) ® I)(I ®/~(u)). (9)

(5)

186

In addition, it satisfies the following relations R(O) = R ( u ) R ( - u) = e(u)o( - u)l ~(u) = 'l~(u) /lkff(U) = 0 unless k" + 7"= p + R(u) = (S ® S) 'R(u)(S ® S) R(u) = (C @ I) t'(PR(2 - u)P)(C @ I ) - ~ UWE GRIMM

(initial condition), (10a) (inversion relation), (10b) (reflection symmetry), (10c) (charge conservation), (10d) (CT invariance), (10e) (crossing symmetry), (10f) where relations (10c) (P invariance) and (10e) (CT invariance) do not hold for the (C) series, but the invariance under the combined operation (CPT invariance) persists. Here, the left superscripts tl and t denote transposition in the first space and in both spaces, respectively. The function Q(u) which enters in the inversion relation (10b) has the form

O(u) = ~ - l rl- l ( o z - 1 - a - l z) (zz -1 - z-lz). (11) The matrix elements of/~(u) are defined by

d + l = R l q ( u ) g q , k ® E p , l (12) k,l,p,q = 1 and rc is given by k - k ' - - - (13) 2

Note that the state d + 1 is charge conjugated to itself, i.e. (d + 1)' = (d + 1), and, hence, d + 1 = 0. Finally, the crossing parameter 2 is determined by z = exp(i2) and the matrices S and C in Equations (10e) and (10f) have the elements

Ci, j = r(i)Si,j = r(i)•i,j, (14)

with crossing multipliers

r(t~) ---~ e~o "~-(d+l)/2, r(d + 1) = - / ~ 2 - (15)

The crossing symmetry (10f) of the/~ matrix (3) can be easily verified by looking at the properties of the individual parts (4a)-(6b) under the 'crossing transformation'

(9 ~ (9 cr = P ( C ® I) rl((9P)(C ® I ) - 1, (16) where (9 denotes any of the matrices of Equations (4a)-(6b). For ~c2 = 1 (see [-3]), one observes

p(1,1) ~ e(1,1) ~ p(1,,), (17a) b+"'l~ ~ b-"'l~ ~ b +"'~, (17b)

(6)

p(1,2) ~ e(1,2) ~_~ p(2,1) ~_~ e(2,D ~_~ p(1,2), b(1,2) ~_~ b(ZA) ~ b(X,2),

p(2,2) ~_~ p(2,2),

where

e t1'1) = I ® I + ~-l(b+(l"J - b-"")). This is exactly what one expects from corresponding generators of the 'dilute'

(17c) (lYd) (17e)

the diagrammatic interpretation of the BWM algebra (in which the crossing transformation (16) corresponds to a clockwise rotation of the two-string diagrams by 90 degrees), compare the discussion in [4].

The R matrices defined in this Letter actually possess a charge conservation that is somewhat stricter than shown in Equation (10d). In fact, the charges of both 'colours' are conserved separately which implies that only vertices with an even number of states d + 1 occur (i.e., the number of states d + 1 is conserved modulo two as this state is conjugated to itself).

As shown explicitly in [3], the (B) series is equivalent to the ~',+1n(2) vertex models, differing from the R matrix of [8] by a local orthogonal transformation only. Essentially, the basis of [8] uses the symmetric and anti-symmetric linear combina- tions (states n + 1 and n + 2 in [8], respectively) of the two 'neutral' states

(d+l)/2=n+l

and d + l = 2 n + 2

in the present parametrisation. For the other two series, it remains an open question if similar relations to known R matrices exist.

Acknowledgements

This work was supported by a Fellowship of the European Community (Human Capital and Mobility Programme). The author thanks P. A. Pearce and S. O. Warnaar for valuable comments.

References

1. Birman, J. and Wenzl, H., Trans. Am. Math. Soc. 313, 249 (1989). 2. Murakami, J., Osaka J. Math. 24, 745 (1987).

3. Grimm, U., Dilute Birman-Wenzl-Murakami algebra and ~',+1"t2) models, Preprint ITFA-94-01. 4. Grimm, U. and Pearee, P. A., J. Phys. A 26, 7435 (1993).

5. Wadati, M., Deguehi, T., and Akutsu, Y., Phys. Rep. 180, 247 (1989). 6. Jones, V. F. R., Int. J. Modern Phys. B 4, 701 (1990).

7. Bazhanov, V., Phys. Lett. B 159, 321 (1985). 8. Jimbo, M., Comm. Math. Phys. 102, 537 (1986).

9. Deguehi, T., Wadati, M., and Akutsu, Y., J. Phys. Soe. Japan 57, 2921 (1988). 10. Cheng, Y., Ge, M.-L., Liu, G. C., and Xue, K., J. Knot Theory Ram. 1, 31 (1992).

Referenties

GERELATEERDE DOCUMENTEN

Because we only have addition and scalar multiplication, all our operations are linear, which is why the study of vector spaces is called linear algebra.. In the next chapter we

Although much of Chapter 1 also relies on the scalar product, we can prove many interesting theorems about Euclidean space using just the addition and scalar multiplication and the

For instance, considering again the symmetric exclusion process in contact with particle reservoirs at different chemical potentials, Spohn used duality to compute the

De twee gelegde vierkanten hierboven hebben dezelf- de oppervlakte; als je van beide vier dezelfde recht- hoekige driehoeken afhaalt, houd je bij de linker figuur de twee

De twee gelegde vierkanten hierboven hebben dezelf- de oppervlakte; als je van beide vier dezelfde recht- hoekige driehoeken afhaalt, houd je bij de linker figuur

Formuleer en bewijs de eerste isomorfismestelling voor ringen.. (zonder die voor groepen te

In the static testing, the DBNs released for the present day, and the DBNs that are in the storage racks in the historical case, were used to determine whether the ABC algorithm,

We kunnen dit construeren door een hulplijn AH te tekenen en daarop de stukken p en q af te passen.. Met behulp van de evenwijdige lijnstukken BH en FE vinden we het