Академический Документы
Профессиональный Документы
Культура Документы
-algebra structure known as the double triangle algebra. The graph G is a generalized
Coxeter-Dynkin graph of SU(N) type associated to a given modular invariant, the graph A (with
same dual Coxeter number as G) is the graph describing the fusion algebra and is the Ocneanu
graph describing hidden quantum symmetries of G [6, 13, 14, 9, 22, 20]. A system of several
generalized 6- j symbols, called Ocneanu cells represented by 3-simplice which are labeled
by vertices and edges of the previous graphs, appears as consistency conditions to ensure the
axioms of the underlying Ocneanu quantum groupod [28, 15, 7, 8, 33, 21]. The starting point
is a given modular invariant partition function associated to a graph G. It includes many pieces
of information on spectral and quantum data. The algebra Oc(G) of quantum symmetries and
the associated Ocneanu graph (G) are deduced from the use of the so-called modular splitting
technique needing only the fusion nimreps and the modular invariant [28, 10, 24, 20].
Outline:
Fusion algebras and the properties of the A
k
graphs.
The module graphs G and self-fusion.
The algebra of quantum symmetries and the Ocneanu graph (G).
The double triangle algebra.
References.
Notations:
For the A
k
graphs: vertices are denoted by , , ..., and the N
1
+
2
2
/
1
,
2
N,
1
+
2
k}
180
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
- - - -
- - -
- -
-
u u
u
u
r
r
r
e
e
e
e
e
e
b
b
b
(0,0) (1,0)
(0,1)
(1,1)
(0,2)
(2,0)
(2,1)
(1,2)
(3,0)
(0,3)
(k,0)
(0,k)
real axis
u
= 0
er
= 1
be
= 2
Triality : (
1
,
2
) =
1
2
mod 3
Z
3
-orbifold z: z(
1
,
2
) = (k
1
2
,
1
)
Gannon twist: () = z
k()
()
Conjugation :
= (
2
,
1
)
Modular transformations (SL(2, Z)):
S : 1/ and T : 1+
characters of irreps of SU(3):
() = Tr [exp(2i(L
0
c/24))]
Modular exponents:
T [(
1
,
2
)] = (
1
+1)
2
+(
1
+1) (
2
+1) +(
2
+1)
2
1
and
2
are the fundamental weights of the SU(3) Lie group and
1
,
2
are the corresponding
Dynkin labels. (0, 0) is the unit representation which index the unit vertex of A
k
and is related
to the vacuum state, (1, 0) is the fundamental generator (irrep) of SU(3)
k
and (0, 1) is its
conjugate. The number of vertices of A
k
is d
A
k
= (k +1)(k +2)/2.
The nimreps N
k
i j
(non-negative integer valued matrix representations), subject to the Verlinde
formula [39], give a d
A
k
d
A
k
-dimensional matrix representation for the fusion algebra:
N
=
A
k
N
and N
k
i j
=
mA
k
S
im
S
jm
S
km
S
0m
.
The N
=
_
(
= exp(2i
T[])
.
181
1.2 First example: The A
3
graph of SU(3) type
In the following, we present, in Figure 2, the A
3
graph, with = 6, and the corresponding
adjacency matrix A(A
3
) =N
(1,0)
.
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
- - -
- -
-
t t
t
t
s
s
s
e
e
e
c
c
c
e
e
e
q q q q q q
q
q
q
q
q
q q q
q
q q
q q
q
q
q
q
q
q
q
q
q
q
q
A(A
3
) =
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
. 1 . . . . . . . .
. . 1 1 . . . . . .
1 . . . 1 . . . . .
. . . . 1 . 1 . . .
. 1 . . . 1 . 1 . .
. . 1 . . . . . 1 .
. . . . . . . 1 . .
. . . 1 . . . . 1 .
. . . . 1 . . . . 1
. . . . . 1 . . . .
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
Figure 2: The A
3
graph and its adjacency matrix.
The biggest eigenvalue of A(A
3
) is the norm of the graph: = [3]
q
= 2. The corresponding
normalized Perron-Frobenius vector
(A
3
) = {[1], [3], [3], [3], [2][4], [3], [1], [3], [3], [1]} gives
the quantum dimensions of vertices of A
3
.
2 The module graphs G and self-fusion
2.1 Denitions
Each modular invariant of afne SU(N) type is associated to a graph G. Such graphs are con-
sidered as modules over the fusion algebras A (G) with same Coxeter number [6, 13, 9].
A (G) Vert(G) Vert(G)
.a
b
F
b
a
b
The action of A-module on Vert(G) , the vector space spanned by vertices of G, is encoded in
nim-reps (F
)
ab
giving new d
G
d
G
-dimensional matrix representation of the fusion algebra,
which provides solutions to the Cardy equation in boundary conformal eld theory (BCFT) [5],
F
, and F
b
a
=
mE xp(G)
S
m
S
0m
m
a
(
m
b
)
.
To each irrep of A (G) is associated a matrix F
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
`
- - -
- -
-
t t
t
t
er
er
er
eb
eb
eb
(0,0)
(3,0)
(0,3)
(1,1)
M (D
3
) =W
00
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 . . . . . 1 . . 1
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . 3 . . . . .
. . . . . . . . . .
1 . . . . . 1 . . 1
. . . . . . . . . .
. . . . . . . . . .
1 . . . . . 1 . . 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
,
Z
D
3
=|
(0,0)
+
(3,0)
+
(0,3)
|
2
+3|
(1,1)
|
2
Figure 3: The modular diagram of the D
3
graph.
>
>
>
>
>
>
>
.
t
t t t
ft fd
0
1 1
2
2
A(D
3
) =
_
_
_
_
_
_
_
. 1 . . . .
. . 2 . . .
1 . . 1 1 1
. 1 . . . .
. 1 . . . .
. 1 . . . .
_
_
_
_
_
_
_
Figure 4: The D
3
graph and its adjacency matrix.
Once the adjacency matrix A(D
3
) = F
(1,0)
is known, one can easily deduce all other annular
matrices F
. Many interesting information could be extracted from the modular invariant toric
matrix M . First of all are the spectral data. Indeed, the diagonal entries M
are in bi-univoque
correspondence with the Coxeter exponents (r
1
, r
2
) Exp(G) (a subset of Exp(A (G)) A (G))
[35]. So, the D
3
graph has six eigenvalues
(r
1
,r2)
(the last one is triple) associated with the
exponents (0, 0), (3, 0), (0, 3) and (1, 1) respectively:
(r
1
,r2)
= exp
2i(2(r
1
+1) +(r
2
+1))
3
[1+exp
2i(r
1
+1)
+exp
2i((r
1
+1) +(r
2
+1))
]
The norm of the D
3
graph is =
(0,0)
= 1 +2cos(2/) = [3]
q
= 2 and the corresponding
normalized Perron-Frobenius vector [6] is
(D
3
) = {1, 2, 2, 1, 1, 1}.
2.2.2 The graph algebra of D
3
The D
3
graph possesses a self-fusion i.e there exists an associative, unital commutative algebra
structure in the sense that one can multiply generators of D
3
by each other and this multi-
plication is compatible with the module multiplication by elements of A described by the F
matrices. Such graph is called a subgroup graph of the quantum group SU(3)
q
. To each gen-
erator a D
3
we associate a N-valued matrix G
a
of size d
G
d
G
such that the coefcients G
c
ab
satisfy a generalized Verlinde formula
G
0
=I
d
G
, G
1
=A(D
3
), G
a
G
b
=
cD
3
G
c
ab
G
c
and G
c
ab
=
Exp(G)
0
183
The trace of M gives the cardinality of the graph: d
G
= Tr(M ). Explicit values of G
a
for D
3
are deduced from the multiplication by the fundamental generator
G
0
=I
6
, G
1
= (G
1
)
tr
=A(D
3
), and G
2
+G
2
+G
2
=G
1
G
1
G
0
The subset J ={0, 2, 2
, 2
of A (G) :
=
z
(W
0z
)
(W
z0
)
.
which enable to compute all toric matrices W
0z
or W
z0
with one defect line z. its generalization
gives a relation between twisted toric matrices with two defect lines.
z
(W
xz
)
(W
zy
)
(W
xy
)
,
The others W
xy
, which give the generalized twisted partition functions of the theory with two
defect lines (say x and y), are given by
z
(W
xz
)
W
z0
= N
W
x0
(N
)
tr
.
Note that very often the algebra Oc(G) can be realized as an appropriate quotient of the tensor
product of a graph algebra H on which G acts as an H-module (H could be A (G) or G it-
self): Oc(G) = H
J (H)
H. This fact can shows that Oc(G) is always block diagonalisable and
isomorphic to a direct sum of nite dimensional matrix algebras as
,
M
_
M
, C
_
. When
some M
are greater than 2, the Oc(G) is a non-commutative algebra due to the presence of
this matrix blocks. A faithful anti-representation
1
of the Ocneanu algebra Oc(G) is carried
by N-valued matrices called Ocneanu quantum matrices O
x
of size d
, which attached
attached to the generators x of (G) and satisfy
O
x
O
y
=
z
O
z
yx
O
z
.
1
In general Oc(G) is a non-commutative algebra, otherwise its structure constants satisfy O
z
xy
=O
z
yx
and the set
of quantum matrices forms a representation.
184
3.2 The double fusion algebra
It is convenient to introduce new nimreps for the tensor square of the fusion algebra A
k
A
k
called the double fusion algebra. To each pair (, ) of vertices of A
k
one associates a matrix
V
)
xy
= (W
xy
)
and V
)
xy
y =
y
(W
xy
)
y
There are some compatibility conditions between the algebra of quantum symmetries and this
bimodule structure given by
O
x
V
= V
O
x
=
z
(V
)
xz
O
z
.
in particular if we set x = 0, we can deduce the twisted toric matrices W
xy
from the data of O
z
and W
0z
W
xy
=
z
(O
z
)
xy
W
0z
.
Furthermore the knowledge of the matrices V
L
V
(0,0)(0,1)
=O
1
R
which are the adjacency matrices for the Ocneanu graph (G), its unit vertex is assigned to
V
(0,0)(0,0)
= I
d
=
Tr(M M
tr
) and the exponents of the spectrumof A() is given by the non-zero diagonal entries
of M M
tr
.
3.4 G as an Oc(G)-module
The graph G acts as a module on the Ocneanu algebra Oc(G). This structure is encoded in a set
of nim-reps (S
x
)
ab
called dual annular coefcients:
Oc(G) G G
x.a
b
S
b
xa
b
The set of matrices S
x
of size d
G
d
G
associated to vertices x (G) forms a new anti-
representation of the Ocneanu algebra:
S
x
S
y
=
z
O
z
yx
S
z
.
185
3.5 Example: The Ocneanu graph (D
3
)
Applying the above formalism to the D
3
case, we nd the expressions of the left and right chiral
generators of (D
3
) [20]:
O
1
0
=
_
_
G
1
. .
. G
1
.
. . G
1
_
_
O
1
1
=
_
_
. . G
1
G
1
. .
. G
1
.
_
_
>
>
>
>
>
>
>
.
s
s s s
dr db
0
0
1
0
1
0
2
0
2
0
2
0
.
,
.
,
,
,
,
,
`
`
`
-
-
-
D
(0)
3
>
>
>
>
>
>
>
.
s
s s s
dr db
0
1
1
1
1
1
2
1
2
1
2
1
D
(2)
3
>
>
>
>
>
>
>
s
s s s
dr db
0
1
1
1
1
2
1
2
1
2
D
(3)
3
Figure 5: The Ocneanu graph (D
3
)
The graph (D
3
) has d
=Tr
_
M M
tr
_
. The analysis
of the graph shows that we can split it into three subgraphs as
(D
3
) D
(0)
3
D
(1)
3
D
(2)
3
The algebra of quantum symmetries is non-commutative and can be written as a square tensor
product of the graph algebra D
3
over the modular subalgebra J or as a semi-direct product of
D
3
by the discrete group Z
3
as it is seen in Figure 5:
Oc(D
3
) D
3
J
D
3
= D
3
Z
3
.
This noncommutativity comes from the fact that the decomposition [2, 27] of Oc(G) contains
a matrix bloc M(3, C), coming from the fact that the modular invariant partition function is of
the form: Z (D
3
) =|00+30+03|
2
+3|11|
2
. So it is written as:
Oc(D
3
)
=
r=9
r=1
C
r
M(3, C)
186
4 The double triangle algebra
4.1 Essential paths on G and the double triangle algebras
We move from the geometry on the graph G to the geometry describing the paths on G.
Essential horizontal paths [28, 6] (or horizontal triangle)
ab
of type going from a to b span a
vector space H paths(G) graded by : H paths(G) =
A
H
with cardinality
A
d
where
d
=
a,bG
(F
)
ab
.
Essential vertical paths (or vertical triangles)
x
ab
of type x going from a to b span a vector
space V paths(G) graded by x: V paths(G) =
x
V
x
. Its dimension is
x
d
x
where d
x
=
a,bG
(S
x
)
ab
.
ab
=
a b
a b
x
ab =
a
b
x
=
a
b
x
Now, if we consider the vector spaces of endomorphisms on essential paths, we obtain two
(dual) algebras
2
which are both semi-simple and cosemi-simple:
B =
(G)
H
(G)
B =
x
B
x
=
x
V
x
(G)
V
x
(G).
A basis for the algebra (B , ) is dened by
_
e
_
where e
stands for
ab
cd
and are rep-
resented by matrix units. For the dual algebra
_
B ,
_
a basis is dened by
_
f
_
where f
means
x
ab
x
cd
.
e
a a
b b
a a
b b
x
=
x
c
c
d
x
c
c
d
d
B ,
_
The two type of products and on both isomorphic algebras B and
B are dened respectively
by:
e
and f
x
f
=
xx
2
dimB =
(d
)
2
=
x
(d
x
)
2
= dim
B ,
_
The existence of a product in
B allows to dene a coproduct on B by:
_
f
, e
_
=
_
f
, e
_
. In analogous way a coproduct
is dened on
B using the product in its dual
B :
_
_
f
_
, e
_
=
_
f
, e
_
.
4.2.3 The units and counits
The unit elements of B and
B are dened via the corresponding minimal central projectors
3
as
I =
for B and
I =
x
x
for
B .
We can show that the axiom (I) = I I for usual Hopf algebras is weakened for B and
B
and one get (I) =I
(1)
I
(2)
and
I
_
=
I
(1)
I
(2)
, where Swedler notation is used.
The counit of B satisfy (e e
) =
_
eI
(1)
_
_
I
(2)
e
_
, for all e, e
) =
_
f
I
(1)
_
I
(2)
f
_
, for all f , f
B . This means that these
two maps are not algebra homomorphisms.
4.2.4 The antipodes
An antipode S on B can be dened as an algebra anti-homomorphism like a conjugation of
elements of B in the following way: S
_
e
_
= ke
, where =
ab
=
ba
and k =
_
(a)(d)
(b)(c)
is a function of quantum dimensions of the vertices of G. By analogy, an antipode
S on
B
can be dened as an anti-homomorphism of algebras by
S( f
x
) = k f
x
. S and
S fulll all the
properties dening the weak Hopf algebras.
4.2.5 Gathering the pieces
To ensure the axioms of weak Hopf algebras [3, 26] for both algebra structures (B , , I, , , S)
and
_
B , ,
I,
,,
S
_
, some C-valued 3-simplices
(i)
C, i = 0, 1, ...4, called cells are introduced
and are related to quantum standard Racah symbols. There is only two kind of vertices for each
tetrahedron: A and and only three types of oriented edges, the one going from to
is excluded.
(1)
C and
(3)
C cells are introduced to dene the explicit actions of and
respectively and
(0)
C and
(43)
C cells to ensure their associativity.
(2)
C are called Ocneanu cells and are quite
special in the sense that the two set of bases
_
e
_
and
_
f
_
are not dual: If we try the basis
change in
B between
_
f
_
and
_
e
_
, the dual one of
_
e
_
, then their pairing is given by:
_
f
, e
_
=
(2)
C =
(2)
C
x
.
In TQFT language, the set of cells
(i)
C gives a generalization of quantum 3 j and 6 j symbols.
In RCFT, there is a natural link between these cells and the coefcients of Moore and Sieberg.
3
The minimal central projector of the block is dened by
such that
, and projects
B on the block B
by
(B ) = B
x
such
that
x
y
=
xy
x
, and projects
B on the block
B
x
by
x
_
B
_
=
B
x
.
188
u e u u
u e
a
e e
x
(0)
C{
} =
u u
u
u
(2)
C{
ab
dxc
} =
e e
u
u
a
x
c
d
b
(4)
C{
xyz
tuv
} =
e e
e
e
x
u
y
z
t
v
(1)
C{
abc
} =
e u
u
u
a
b
c
(3)
C{
aeb
zxy
} =
u e
e
e
a
y
b
e
z
x
The correspondence to Nimreps of the theory is the following:
(0)
C N
,
(1)
C F
ab
,
(3)
C S
x
ab
,
(4)
C O
z
xy
.
In this way, we give the necessary data needed to construct two nite dimensional algebras
4
(B , , I, , , S) and
_
B , ,
I,
,,
S
_
. In RCFT, the representation theory of B is described by
the fusion algebra A (G) via the coefcients N
and d
x
for the two types of blocks from the
determination of annular and dual annular coefcients allows to check the quadratic sum rule:
(d
)
2
=
x
(d
x
)
2
= 1032 which is the common dimension of B and
B . However, the linear
sum rule is not fullled in this case
=
x
d
x
and one must introduce suitable symmetry
factors. It is worth to mention that more details can be found in [9, 20, 21] for the SU(3) cases
and many others explicit examples in [7, 15, 12, 8] for the SU(2) cases. Finally, there are many
open problems in this direction like the explicit computation of quantum 6-j symbols for SU(N)
models or the determination of quantum symmetries related to systems of general Lie groups
other than SU(N) groups.
Acknowledgements
This work is the result of a fruitful and enjoyable collaboration with R. Coquereaux and G.
Schieber. The authors have a great pleasure to thank them here for many interesting suggestions
and critical remarks. We are very happy to thank the organizers of the NoMaP conference for
the warm hospitality during our stay in Brussels at the Vrije Universiteit Brussel..
References
[1] J. B ockenhauer and D. E. Evans, Modular invariants, graphs and -induction for nets of
subfactors I, Comm. Math. Phys. 197 (1998), 361-386; II, Comm. Math. Phys. 200 (1999),
57103; III, Comm. Math. Phys. 205 (1999), 183223.
[2] J. B ockenhauer, D. E. Evans and Y. Kawahigashi, On -induction, chiral generators and
modular invariants for subfactors, Comm. Math. Phys. 208 (1999), 429489.
4
In fact these are two isomorphic algebras and they describe the same double triangle algebra (DTA) [28]
189
[3] G. B ohm and K. Szlach anyi, A coassociative C
coque/.
[7] R. Coquereaux, The A
2
quantum groupod in Algebraic structures and their representa-
tions, Contemp. Math. 376 (2005), 227247.
[8] R. Coquereaux, Racah-Wigner quantum 6 j symbols, Ocneanu cells for A
N
diagrams and
quantum groupods, J. Geom. Phys. 57 (2007), 387434.
[9] R. Coquereaux, D. Hammaoui, G. Schieber and E. H. Tahri, Comments about quantum
symmetries of SU(3) graphs, J. Geom. Phys. 57 (2006), 269292.
[10] R. Coquereaux and E. Isasi, On quantum symmetries of the non-ADE graph F
4
, Adv.
Theor. Math. Phys. 8 (2004), 955985.
[11] R. Coquereaux and M. Huerta, Torus structure on graphs and twisted partition functions
for minimal and afne models, J. Geom. Phys. 48 (2003), 580634.
[12] R. Coquereaux and A. Garcia, On bialgebras associated with paths and essential paths on
ADE graphs, Int. J. Geom. Meth. Mod. Phys. 2 (2005), 441466.
[13] R. Coquereaux and G. Schieber, Twisted partition functions for ADE boundary conformal
eld theories and Ocneanu algebras of quantum symmetries, J. Geom. Phys. 781 (2002)
143.
[14] R. Coquereaux and G. Schieber, Determination of quantum symmetries for higher ADE
systems from the modular T matrix, J. Math. Phys. 44 (2003), 38093837.
[15] R. Coquereaux and R. Trinchero, On quantum symmetries of ADE graphs, Adv. Theor.
Math. Phys. 8 (2004), 189216.
[16] P. Di Francesco, P. Mathieu and D. S en echal, Conformal eld theory, Springer-Verlag,
New York, 1997.
[17] P. Di Francesco an J.-B. Zuber, SU(N) lattice integrable models associated with graphs,
Nucl. Phys. B 338 (1990), 602646.
[18] J. Fuchs, I. Runkel and C. Schweigert, TFT construction of RCFT correlators I: Partition
functions, Nucl. Phys. B 646 (2002), 353497; II: Unoriented world sheets, Nucl. Phys.
B 678 (2004), 511-637; III, Simple currents, Nucl. Phys. B 694 (2004), 277353; IV:
Structure constants and correlations functions, Nucl. Phys. B 715 (2005), 539638.
190
[19] T. Gannon, The classication of afne SU(3) modular invariants, Comm. Math. Phys. 161
(1994), 233263.
[20] D. Hammaoui, G eom etrie quantique dOcneanu des graphes de Di Francesco-Zuber as-
soci es aux mod` eles conformes de type
su(3), Th` ese de Doctorat national, Jan 2007.
LPTPM, Oujda University, Morocco.
[21] D. Hammaoui, The smallest Ocneanu quantum groupod of SU(3) type, Arabian J. Sci.
Eng., 33(2C) (2008), 225238.
[22] D. Hammaoui and E. H. Tahri, Quantum symmetries of the A
4
graphs of the Di Francesco-
Zuber system, African J. Math. Phys. 3 (2006), 163169.
[23] D. Hammaoui, G. Schieber and E. H. Tahri, Higher Coxeter graphs associated to afne
su(3) modular invariants, J. Phys. A: Math. Gen. 38 (2005), 82598268.
[24] E. Isasi and G. Schieber, From modular invariants to graphs: the modular splitting method,
J. Phys. A: Math. Theor. 40 (2007), 65136537.
[25] R. Longo and K. -H. Rehren, Nets of subfactors, Rev. Math. Phys. 7 (1995), 567597.
[26] F. Nill, Axioms for weak bialgebras, Diff. Geom. Quan. Phys. 334 (1998), 148.
[27] A. Ocneanu, The classication of subgroups of quantum SU(N), Contemp. Math. 294
(2002), 133159.
[28] A. Ocneanu, Paths on Coxeter diagrams: From platonic solids and singularities to minimal
models and subfactors, (Notes by S. Goto) in Lectures on operator theory, Fields Inst.
Monographs 13, Amer. Math. Soc., Providence (1999).
[29] A. Ocneanu, Quantum symmetries, operator algebras and invariants of manifolds, talk
given at the First Caribbean Spring School of Mathematical and Theoretical Physics,
Saint-Francois, Guadeloupe (1993).
[30] V. Ostrik, Module categories, weak Hopf algebras and modular invariants, Transform.
Groups 8 (2003), 177206.
[31] V. Pasquier, Ethiology of IRF models, Comm. Math. Phys. 118 (1988), 33564; Two-
dimensional critical systems labelled by Dynkin diagrams, Nucl. Phys. B 285 [FS19]
(1987), 162172.
[32] P. A. Pearce and Y. K. Zhou, Intertwiners and A-D-E lattice models, Int. J. Mod. Phys. B
7 (1993), 36493705.
[33] V. B. Petkova and J. -B. Zuber, The many faces of Ocneanu cells, Nucl. Phys. B 603
(2001), 449496.
[34] V. B. Petkova and J. -B. Zuber, Generalized twisted partition functions, Phys. Lett. B 504
(2001), 157164.
191
[35] V. B. Petkova and J. -B. Zuber, Quantum eld theories, graphs and quantum algebras, in
Math. Phys. Odyssey: integrable models and beyond, Birkhauser (2001); BCFT: from
the boundary to the bulk, PRHEP-tmr2000/038 (Proc. of the TMR network conference
Nonperturbative Quantum Effects (2000)).
[36] Ph. Roche, Ocneanu cell calculus and integrable lattice models, Comm. Math. Phys. 127
(1990), 395424.
[37] N. Sochen, Integrable models through representations of the Hecke algebras, Nucl. Phys.
B 360 (1991), 613640.
[38] R. Trinchero, Symmetries of face models and the double triangle algebra, Adv. Theor.
Math. Phys. 10 (2006), 4975.
[39] E. Verlinde, Fusion rules and modular transformations in 2D conformal eld theories,
Nucl. Phys. B 300 (1988), 360376.
192