Tensor representations for the Drinfeld double of the Taft algebra

is odd, and the ribbon element is unique; however there has been no explicit description of this element. In this work, we determine the ribbon element of

D_{n}

explicitly. For any

n g e q 2

, we use the R-matrix of

D_{n}

to construct an action of the Temperley-Lieb algebra

m a t h s f {T L}_{k} (x i)

with

x i = - (q^{f r a c 12} + q^{- f r a c 12})

on the

k

-fold tensor power

V^{o t i m e s k}

of any two-dimensional simple

D_{n}

-module

V

. This action is known to be faithful for arbitrary

k g e q 1

. We show that

m a t h s f {T L}_{k} (x i)

is isomorphic to the centralizer algebra

e x t {E n d}_{D_{n}} (V^{o t i m e s k})

for

1 l e k l e 2 n - 2

.

Review text

This paper is concerned with tensor representations for the Drinfeld double \(D_n\) of the Taft algebra at a primitive \(n\)th root of unity \(q\in\Bbbk\), where \(\Bbbk\) is an algebraically closed field of characteristic zero, and \(n\ge 2\). It is known that \(D_n\) possesses a structure of a quasitriangular Hopf algebra and, furthermore, by the result from [\textit{L. Kauffman} and \textit{D. Radford}, J. Algebra 159, No. 1, 98--114, (1993; Zbl 0802.16035)], \(D_n\) has a unique ribbon element if and only if \(n\) odd. However, the concrete form of this element was not known. The authors explicitly construct this ribbon element in terms of the generators of \(D_n\) and the \(R\)-matrix \(\mathcal{R}\in D_n\otimes D_n\). Furthermore, they prove that the ribbon element acts on the simple \(D_n\)-module \(V(\ell,r)\) (with \(1\leq \ell \leq n\) and \(r\in \mathbb{Z}_n\)) as the multiplication by \(q^{r(r+\ell-1)+\frac{1}{2}(n-1)(\ell-1)}\). It is known that tensor modules for quasitriangular Hopf algebras admit an action of the braid group. Let \(k\ge 2\) and consider the Iwahori-Hecke algebra \(H_k(q)\), a certain quotient of the group algebra for the braid group (on \(k-1\) strands). Its further quotient defines the Temperley-Lieb algebra \(\mathrm{TL}_k(\xi)\) with \(\xi=-(q^{1/2}+q^{-1/2})\). The authors show that the map \(\pi: \mathrm{TL}_k(\xi)\rightarrow \mathrm{End}_{D_n}\left(V(2,r)^{\otimes k}\right)\) defined on the generators \(\mathsf{t}_i\) of \(\mathrm{TL}_k(\xi)\) by \(q^{1/2}\left( \lambda_r^{-1}\check{\mathrm{R}}_i-\mathrm{id}\right)\), \(1\leq i\leq k-1\), is an injective algebra homomorphism. Here \(\lambda_r=q^{-r(r+1)}\) and \(\check{\mathrm{R}}_i\) stands for the \(D_n\)-module homomorphism obtained by applying \(\mathcal{R}\) to the pair \((i,i+1)\) of tensor slots of \(V(2,r)^{\otimes k}\), followed by the flip map on these slots. For \(V(\ell, r)\) with \(l>2\) the authors also discuss further properties of the action of the braid group and formulate a conjecture concerning the eigenvalues of \(\check{\mathrm{R}}_i\) on \(V(\ell, r)^{\otimes k}\) with \(n\ge 2\) and \(2\ell \leq n+1\). Finally, the Bratelli diagrams techniques are used to find the dimension of the centralizer algebra \(\mathrm{End}_{D_n}(V(\ell, r)^{\otimes k})\) and to prove that for \(1\leq k \leq 2n-2\) the map \(\pi\) is an isomorphism of algebras.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Tensor representations for the Drinfeld double of the Taft algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144401)