The representation-theoretic rank of the doubles of quasi-quantum groups. (Q2464528): Difference between revisions

Quasi-Hopf algebras were first defined by Drinfel'd in 1990. Roughly speaking, a quasi-bialgebra \(H\) over a field \(k\) is a \(k\)-algebra with coalgebra structure maps, comultiplication \(\Delta\) and counit \(\varepsilon\), satisfying the usual conditions except that \(\Delta\) is coassociative only up to a ``reassociator'', \(\Phi\), which is an invertible element in \(H\otimes H\otimes H\) such that for all \(h\in H\), \[ (id\otimes\Delta)(\Delta(h))=\Phi(\Delta\otimes id)(\Delta(h))\Phi^{-1}. \] Also \(\Phi\) satisfies a cocycle and a normality condition. If a quasi-bialgebra \(H\) also has an antipode \((S,\alpha,\beta)\) then \(H\) is called a quasi-Hopf algebra. Here \(S\) is an antimorphism of the algebra \(H\) and \(\alpha,\beta\in H\) such that for all \(h\in H\), \[ S(h_1)\alpha h_2=\varepsilon(h)\alpha\quad\text{and}\quad h_1\beta S(h_2)=\varepsilon(h)\beta, \] and also \((S,\alpha,\beta)\) and \(\Phi\) satisfy a normality condition. For a finite dimensional Hopf algebra \(H\) with antipode \(S\) over a field of characteristic 0, classical results of Larson and Radford state that \(H\) is semisimple iff \(H\) is cosemisimple iff \(H\) is involutory (meaning that \(S^2\) is the identity) iff the trace of \(S^2\) is nonzero. In this paper the authors explore the appropriate analogue for the condition that \(S^2\) is the identity for \(H\) a finite dimensional quasi-Hopf algebra and \(k\) of characteristic 0. They propose that \(H\) be called involutory if the map \[ h\mapsto S^{-2}(S(\beta)\alpha h\beta S(\alpha)) \] is the identity. This definition is motivated by the following observation. For \(V\) an object of a left rigid braided category, the representation-theoretic rank (or quantum dimension) of \(V\), denoted \(\underline{\dim}(V)\) is \(ev_V\circ c_{V,V^*}\circ coev_V\). Here the category in question is \(_{D(H)}\mathcal M^{\text{fd}}\). In Propositions 4.3 and 4.5, the authors show that \(\underline{\dim}(H)=\underline{\dim}(D(H))=Tr(h\mapsto S^{-2}(S(\beta)\alpha h\beta S(\alpha)))\), where \(D(H)\) is the Drinfel'd double of \(H\). In the final section of the paper, it is proved that \(Tr(h\mapsto S^{-2}(S(\beta)\alpha h\beta S(\alpha)))=\varepsilon(r)\lambda(S^{-1}(\alpha)\beta)\) where \(\lambda\in H^*\) is a left cointegral, \(r\in H\) is a right integral, and \(\lambda(r)=1\). There is a conjecture by Hausser and Nill that \(\beta\rightharpoonup\lambda\bowtie r\) is an integral in \(D(H)\). The definition of a cosemisimple quasi-Hopf algebra is via the cointegral; if there is a left cointegral \(\lambda\in H^* \) such that \(\lambda(S^{-1}(\alpha)\beta)=1\) then \(H\) is called cosemisimple. The authors then conjecture that \(D(H)\) is semisimple if and only if \(H\) is both semisimple and cosemisimple iff \(H\) is involutory.