Related papers: Radford's formula for biFrobenius algebras and app…

For a matrix coalgebra $C$ over some field, we determine all small subcoalgebras of the free Hopf algebra on $C$, the free Hopf algebra with a bjective antipode on $C$, and the free Hopf algebra with antipode $S$ satisfying $S^{2d}={\rm…

It is known that a dual quasi-bialgebra with antipode $H$, i.e. a dual quasi-Hopf algebra, fulfils a fundamental theorem for right dual quasi-Hopf $H$-bicomodules. The converse in general is not true. We prove that, for a dual…

If H is a Hopf algebra whose square of the antipode is the identity, $v\in\l (V)\otimes H$ is a corepresentation, and $\pi :H\to\l (W)$ is a representation, then $u=(id\otimes\pi)v$ satisfies the equation $(t\otimes id)u^{-1}=((t\otimes…

Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $\pi$ from $A$ to $H$…

We extend the decomposition conjecture to 2d quantum field theories with a gauged $\text{Rep}(H)$ symmetry category for $H$ a finite-dimensional semisimple Hopf algebra with $\text{Rep}(G)$ trivially-acting and $\text{Vec}(\Gamma)$ the…

We study the compatibility between the antipode and the preLie product of a Com-PreLie Hopf algebra, that is to say a commutative Hopf algebra with a complementary preLie product, compatible with the product and the coproduct in a certain…

The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$…

We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the…

We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration, and…

Recall that a finite group is called perfect if it does not have non-trivial 1-dimensional representations (over the field of complex numbers C). By analogy, let us say that a finite dimensional Hopf algebra H over C is perfect if any…

We introduce the notions of Hopf quasigroup and Hopf coquasigroup $H$ generalising the classical notion of an inverse property quasigroup $G$ expressed respectively as a quasigroup algebra $k G$ and an algebraic quasigroup $k[G]$. We prove…

Let $(H, \sigma)$ be a coquasitriangular Hopf algebra, not necessarily finite dimensional. Following methods of Doi and Takeuchi, which parallel the constructions of Radford in the case of finite dimensional quasitriangular Hopf algebras,…

In this paper we study the isotypic decomposition of the regular module of a finite-dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a semisimple Hopf algebra, the idempotents realizing the isotypic…

We explore special features of the pair (U^*, U_*) formed by the right and left dual over a (left) bialgebroid U in case the bialgebroid is, in particular, a left Hopf algebroid. It turns out that there exists a bialgebroid morphism S^*…

Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$. We show that the antipode $S$ of $H$ satisfies the equality $S^2(h)=\mathbf{u}h\mathbf{u}^{-1}$, where…

We introduce a notion of antipode for monoidal (complete) decomposition spaces, inducing a notion of weak antipode for their incidence bialgebras. In the connected case, this recovers the usual notion of antipode in Hopf algebras. In the…

A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a…

We apply a combinatorial formula of the first author and Rosso, for products in Hopf quiver algebras, to determine the structure of Nichols algebras. We illustrate this technique by explicitly constructing new examples of Nichols algebras…

We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions…

Let $L/F$ be a Galois extension of fields with Galois group isomorphic to the quaternion group of order $ 8 $. We describe all of the Hopf-Galois structures admitted by $ L/F $, and determine which of the Hopf algebras that appear are…