Related papers: Radford's formula for biFrobenius algebras and app…
This note extends Radford's formula for the fourth power of the antipode of a finite dimensional Hopf algebra to co-Frobenius Hopf algebras and studies equivalent conditions to a Hopf algebra being involutory for finite dimensional and…
We study a Hopf algebra $H$, which is finitely generated and projective over a commutative ring $k$, as a $P$-Frobenius algebra. We define modular functions in this setting, and provide a complete proof of Radford's formula for the fourth…
We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a…
In this note, we show that Radford's formula for the fourth power of the antipode can be proven for any regular multiplier Hopf algebra with integrals (algebraic quantum groups). This of course not only includes the case of a…
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.
In Section 1 we introduce Frobenius coordinates in the general setting that includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories of Frobenius algebras and augmented Frobenius algebras with some new material in…
Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common…
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…
In this paper we introduce a trace-like invariant for the irreducible representations of a finite dimensional complex Hopf algebra H. We do so by considering the trace of the map induced by the antipode S on the endomorphisms End(V) of a…
We develop the theory of semisimple weak Hopf algebras and obtain analogues of a number of classical results for ordinary semisimple Hopf algebras. We prove a criterion for semisimplicity and analyze the square of the antipode S^2 of a…
We give explicit formulas for the coproduct and the antipode in the Connes-Moscovici Hopf algebra $\mathcal{H}_{\tmop{CM}}$. To do so, we first restrict ourselves to a sub-Hopf algebra $\mathcal{H}^1_{\tmop{CM}}$ containing the nontrivial…
We use Hopf algebroids to formulate a notion of a noncommutative and non-cocommutative Hopf 2-algebra. We show how these arise from a bicrossproduct Hopf algebra with Peiffer identities. In particular, we show that for a Hopf algebra $H$…
We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of…
In this paper, we study the antipode of a finite-dimensional Hopf algebra $H$ with the dual Chevalley property and obtain an annihilation polynomial for its antipode $S$. The annihilation polynomial is determined by the exponent $N$ of the…
We develop an algebraic theory of colored, semigrouplike-flavored and pathlike co-, bi- and Hopf algebras. This is the right framework in which to discuss antipodes for bialgebras naturally appearing in combinatorics, topology, number…
Quantum complete intersections $A= A({\bf q, a})$ are Frobenius algebras, but in the most cases they can not become Hopf algebras. This paper aims to find bi-Frobenius algebra structures on $A$. A key step is the construction of…
In the recent definition of Hom-Hopf algebras the antipode S is the relative Hominverse of the identity map with respect to the convolution product. We observe that some fundamental properties of the antipode of Hopf algebras and Hom-Hopf…
If H is a connected, graded Hopf algebra, then Takeuchi's formula can be used to compute its antipode. However, there is usually massive cancellation in the result. We show how sign-reversing involutions can sometimes be used to obtain…
Let $H$ be a non-semisimple Hopf algebra with antipode $S$ of dimension $pq$ over an algebraically closed field of characteristic 0 where $p \le q$ are odd primes. We prove that $\Tr(S^{2p})=p^2d$ where $d \equiv pq \pmod{4}$. As a…
We clarify the relation between the `bosonisation' construction (due to the author) which can be used to turn a Hopf algebra $B$ in the category of $H$-modules or $H$-comodules into an equivalent ordinary Hopf algebra, and a version of…