Hopf-Frobenius algebras and a simpler Drinfeld double

Tools

Collins, Joseph and Duncan, Ross (2019) Hopf-Frobenius algebras and a simpler Drinfeld double. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

[thumbnail of Collins-Duncan-EPTCS-2019-Hopf-Frobenius-algebras-and-a-simpler-Drinfeld]
Preview
 Text. Filename: Collins_Duncan_EPTCS_2019_Hopf_Frobenius_algebras_and_a_simpler_Drinfeld.pdf
Accepted Author Manuscript
Download (718kB)| Preview

Abstract

The ZX-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of $\dag$-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide the necessary and sufficient condition for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in FVect is a Hopf-Frobenius algebra. Hopf-Frobenius algebras provide a notion of duality, and give us a "dual" Hopf algebra that is isomorphic to the usual dual Hopf algebra in a compact closed category. We use this isomorphism to construct a Hopf algebra isomorphic to the Drinfeld double that is defined on $H \otimes H$ rather than $H \otimes H^*$.

ORCID iDs

Collins, Joseph and Duncan, Ross ORCID logoORCID: https://orcid.org/0000-0001-6758-1573;
CORE (COnnecting REpositories)