Cosovereign Hopf algebras

From MaRDI portal



Abstract: In this paper we define and study the algebraic conterpart of sovereign monoidal categories : cosovereign Hopf algebras.


Let \(k\) be a field. The notions of (co)-sovereign Hopf algebra over \(k\) are introduced, and it is shown via Tannakian reconstruction type arguments that the category of finite dimensional (co)-modules of a Hopf algebra \(A\) admits a sovereign structure if and only if \(A\) admits a (co)-sovereign Hopf algebra structure. As a consequence of a theorem of Deligne, which can be found in a paper of \textit{D. N. Yetter} [Contemp. Math. 134, 325-349 (1992; Zbl 0812.18005)], when \((A,\sigma)\) is a coquasitriangular Hopf algebra, cosovereign structures on \(A\) correspond bijectively to coribbon structures on \(A\). A universal cosovereign Hopf algebra is constructed and a family of examples related to the quantum \(\text{SU}(n)\) groups of Woronowicz are discussed. Suppose that the characteristic of \(k\) is zero and \(A\) is finite dimensional over \(k\). It is also shown that if the dimension of \(A\) (computed in the sovereign monoidal category of finite dimensional \(A\) comodules as in [\textit{G. Maltsiniotis}, Cah. Topologie Géom. Différ. Catégoriques 36, No. 3, 195-288 (1995; Zbl 0831.18002)]) is non-zero, then the square of the antipode of \(A\) is the identity and \(A\) is therefore semisimple and cosemisimple.



Cites work


Cited in
(34)








This page was built for publication: Cosovereign Hopf algebras

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