Related papers: Integrals for (dual) quasi-Hopf algebras. Applicat…

We use integrals of left coideal subalgebras to develop Harmonic analysis for semisimple Hopf algebras. We show how $N^*,$ the space of functional on $N,$ is embedded in $H^*.$ We define a bilinear form on $N^*$ and show that irreducible…

Like its precursor this paper is concerned with the Hopf algebra of noncommutative symmetric functions and its graded dual, the Hopf algebra of quasisymmetric functions. It complements and extends the previous paper but is also…

A quasi-Hopf algebra $H$ can be seen as a commutative algebra $A$ in the centre $\mathcal Z(H-Mod)$ of $H-Mod$. We show that the category of $A$-modules in $\mathcal Z(H-Mod)$ is equivalent (as a monoidal category) to $H-Mod$. This can be…

We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…

Let $(H, \a)$ be a monoidal Hom-Hopf algebra and $(A, \b)$ a right $(H, \a)$-Hom-comodule algebra. We first investigate the criterion for the existence of a total integral of $(A, \b)$ in the setting of monoidal Hom-Hopf algebras. Also we…

We extend to the co-Frobenius case a result of Drinfeld and Radford related to the fourth power of the antipode of a finite dimensional (co)quasitriangular Hopf algebra.

We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in…

We introduce a Hopf algebra structure of subword complexes, including both finite and infinite types. We present an explicit cancellation free formula for the antipode using acyclic orientations of certain graphs, and show that this Hopf…

A two-dimensional superintegrable system of singular oscillators with internal degrees of freedom is identified and exactly solved. Its symmetry algebra is seen to be the dual $-1$ Hahn algebra which describes the bispectral properties of…

We discuss the question of whether the global dimension is a monoidal invariant for Hopf algebras, in the sense that if two Hopf algebras have equivalent monoidal categories of comodules, then their global dimensions should be equal. We…

In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear…

We study Hopf algebras via tools from geometric invariant theory. We show that all the invariants we get can be constructed using the integrals of the Hopf algebra and its dual together with the multiplication and the comultiplication, and…

We investigate the property of being Frobenius for some functors strictly related with Hopf modules over a bialgebra and how this property reflects on the latter. In particular, we characterize one-sided Hopf algebras with…

The classification of all Hopf algebras of a given finite dimension over an algebraically closed field of characteristic 0 is a difficult problem. If the dimension is a prime, then the Hopf algebra is a group algebra. If the dimension is…

We show that two competing definitions of a ribbon quasi-Hopf algebra are actually equivalent. Along the way, we look at the Drinfel'd element from a new perspective and use this viewpoint to derive its fundamental properties.

A Frobenius algebra is a finite-dimensional algebra $A$ which comes equipped with a coassociative, counital comultiplication map $\Delta$ that is an $A$-bimodule map. Here, we examine comultiplication maps for generalizations of Frobenius…

In this work, we develop systematically the ``Dirichlet Hopf algebra of arithmetics'' by dualizing addition and multiplication maps. We study the additive and multiplicative antipodal convolutions which fail to give rise to Hopf algebra…

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…

Let $\mathsf{Rep}(H)$ be the category of finite-dimensional representations of a finite-dimensional Hopf algebra $H$. Andruskiewitsch and Mombelli proved in 2007 that each indecomposable exact $\mathsf{Rep}(H)$-module category has form…

Let H be a Hopf algebra of dimension pq over an algebraically closed field of characteristic 0, where p <= q are odd primes. Suppose that S is the antipode of H. If H is not semisimple, then S^{4p}=id_H and Tr(S^{2p}) is an integer…