Cosovereign Hopf algebras (Q5931429): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2082758915 / rank | |||
Normal rank |
Latest revision as of 11:11, 30 July 2024
scientific article; zbMATH DE number 1591095
Language | Label | Description | Also known as |
---|---|---|---|
English | Cosovereign Hopf algebras |
scientific article; zbMATH DE number 1591095 |
Statements
Cosovereign Hopf algebras (English)
0 references
20 September 2001
0 references
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.
0 references
Hopf algebras
0 references
sovereign categories
0 references
categories of comodules
0 references
cosovereign structures
0 references