Cosovereign Hopf algebras (Q5931429): Difference between revisions

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.