Finite Hopf algebras in braided tensor categories (Q1295759)

Let \(\mathcal M\) be a braided monoidal category. A concept of a dual object is introduced and used to define finite objects in \(\mathcal M\). The dual of a finite bialgebra (Hopf algebra) has a natural structure of a bialgebra (Hopf algebra). Two fundamental results about finite dimensional Hopf algebras over a field are the bijectivity of the antipode and the 1-dimensionality of the space of left (right) integrals. The author extends these results to a finite Hopf algebra \(H\) in a braided monoidal category \(\mathcal M\) with equalizers. The method of proof imitates the classical approach. Hopf modules over a Hopf algebra in \(\mathcal M\) are introduced and the fundamental theorem for Hopf modules is proved. This is applied to prove that the antipode of \(H\) is an isomorphism of \(\mathcal M\), and that the `spaces' of left and right integrals of \(H\) are invertible, i.e., they have inverses with respect to the tensor product.