Related papers: Radford's formula for biFrobenius algebras and app…
The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of…
This is a survey of results obtained jointly with E. Aljadeff and published in Adv. Math. 218 (2008), 1453-1495. We explain how to set up a theory of polynomial identities for comodule algebras over a Hopf algebra, and concentrate on the…
We obtain two characterizations of the bi-inner Hopf *-automorphisms of a finite-dimensional Hopf C*-algebra, by means of an analysis of the structure of convolution products in this class of Hopf C*-algebra.
The exact sequence of ``coordinate-ring'' Hopf algebras A(SL(2,C)) -> A(SL_q(2)) -> A(F) determined by the Frobenius map Fr, and the same way obtained exact sequence of (quantum) Borel subgroups, are studied when q is a cubic root of unity.…
We give a new formula for the antipode of the algebra of rooted trees, directly in terms of the bialgebra structure. The equivalence, proved in this paper, among the three available formulae for the antipode, reflects the equivalence among…
In this paper we introduce the notion of a Hopf C*-algebra and construct the counit and antipode. A Hopf C*-algebra is a C*-algebra with comultiplication satisfying some extra condition which makes possible the construction of the counit…
The aim of this work is to discuss the concepts of degeneration, deformation and rigidity, and to apply them to the geometric study of the varieties of Hopf algebras. The main result is the description of the n-dimensional rigid Hopf…
Inspired by the work of Radford, for $H$ an arbitrary quasi-Hopf algebra we describe all the Hopf algebras of dimension $2$ within the braided category of left Yetter-Drinfeld modules over $H$ and determine the biproduct quasi-Hopf algebras…
Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and…
In this article -that has also the intention to survey some known results in the theory of compact quantum groups using methods different from the standard and with a strong algebraic flavor- we consider compact o-coalgebras and Hopf…
This is a short review on the Fa\`a di Bruno formulas, and some Hopf algebras associated to them. These allow, among several other things, a short proof of the Lie-Scheffers theorem, and relating the Lagrange inversion formulas with…
We give a rigorous proof that the (codimension one) Connes-Moscovici Hopf algebra H_CM is isomorphic to a bicrossproduct Hopf algebra linked to a group factorisation of the group of positively-oriented diffeomorphisms of the real line. We…
Any finite-dimensional Hopf algebra has a left and a right integral. Conversely, Larsen and Sweedler showed that, if a finite-dimensional algebra with identity and a comultiplication with counit has a faithful left integral, it has to be a…
Certain sufficient homological and ring-theoretical conditions are given for a Hopf algebra to have bijective antipode with applications to noetherian Hopf algebras regarding their homological behaviors.
We study Frobenius 1-morphisms $\i$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(\i\x\ib,\i\x\ib)$ and $\c^2(\ib\x\i,\ib\x\i)$ can be equipped with dual Hopf algebroid…
The objects of study in this paper are Hopf algebras $H$ which are finitely generated algebras over an algebraically closed field and are extensions of a commutative Hopf algebra by a finite dimensional Hopf algebra. Basic structural and…
Hopf (bi-)modules and crossed modules over a bialgebra B in a braided monoidal category C are considered. The (braided) monoidal equivalence of both categories is proved provided B is a Hopf algebra (with invertible antipode). Bialgebra…
We analyze the homothety types of associative bilinear forms that can occur on a Hopf algebra or on a local Frobenius \(k\)-algebra \(R\) with residue field \(k\). If \(R\) is symmetric, then there exists a unique form on \(R\) up to…
Let $\mathbf D$ be the set of isomorphism types of finite double partially ordered sets, that is sets endowed with two partial orders. On $\BZ\mathbf D$ we define a product and a coproduct, together with an internal product, that is,…
The theory of integrals is used to analyse the structure of Hopf algebroids, introduced in math.QA/0302325. We prove that the total algebra of the Hopf algebroid is a separable extension of the base algebra if and only if it is a…