Mixed vs Stable Anti-Yetter-Drinfeld Contramodules

We examine the cyclic homology of the monoidal category of modules over a finite dimensional Hopf algebra, motivated by the need to demonstrate that there is a difference between the recently introduced mixed anti-Yetter-Drinfeld contramodules and the usual stable anti-Yetter-Drinfeld contramodules. Namely, we show that Sweedler's Hopf algebra provides an example where mixed complexes in the category of stable anti-Yetter-Drinfeld contramodules (previously studied) are not equivalent, as differential graded categories to the category of mixed anti-Yetter-Drinfeld contramodules (recently introduced).

McKay matrices for finite-dimensional Hopf algebras

For a finite-dimensional Hopf algebra $\mathsf {A}$ , the McKay matrix $\mathsf {M}_{\mathsf {V}}$ of an $\mathsf {A}$ -module $\mathsf {V}$ encodes the relations for tensoring the simple $\mathsf {A}$ -modules with $\mathsf {V}$ . We prove results about the eigenvalues and the right and left (generalized) eigenvectors of $\mathsf {M}_{\mathsf {V}}$ by relating them to characters. We show how the projective McKay matrix $\mathsf {Q}_{\mathsf {V}}$ obtained by tensoring the projective indecomposable modules of $\mathsf {A}$ with $\mathsf {V}$ is related to the McKay matrix of the dual module of $\mathsf {V}$ . We illustrate these results for the Drinfeld double $\mathsf {D}_n$ of the Taft algebra by deriving expressions for the eigenvalues and eigenvectors of $\mathsf {M}_{\mathsf {V}}$ and $\mathsf {Q}_{\mathsf {V}}$ in terms of several kinds of Chebyshev polynomials. For the matrix $\mathsf {N}_{\mathsf {V}}$ that encodes the fusion rules for tensoring $\mathsf {V}$ with a basis of projective indecomposable $\mathsf {D}_n$ -modules for the image of the Cartan map, we show that the eigenvalues and eigenvectors also have such Chebyshev expressions.

Hopf algebra actions and transfer of Frobenius and symmetric properties

If $H$ is a finite-dimensional Hopf algebra acting on a finite-dimensional algebra $A$, we investigate the transfer of the Frobenius and symmetric properties through the algebra extensions $A^H\subset A\subset A\mathbin{\#} H$.

Critical groups for Hopf algebra modules

This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalises the critical groups of complex finite group representations studied in [1, 11]. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. A key role in the formulas is played by the greatest common divisor of the dimensions of the indecomposable projective representations.

Hopfological algebra and categorification at a root of unity: The first steps

Any finite-dimensional Hopf algebra [Formula: see text] is Frobenius and the stable category of [Formula: see text]-modules is triangulated monoidal. To [Formula: see text]-comodule algebras we assign triangulated module-categories over the stable category of [Formula: see text]-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable [Formula: see text], our construction could be a starting point in the program of categorifying quantum invariants of 3-manifolds.

On coideal subalgebras of abelian cocentral extensions and a generalization of Wall's conjecture

It is shown that any coideal subalgebra of a finite-dimensional Hopf algebra is a cyclic module over the dual Hopf algebra. Using this we describe all coideal subalgebras of a cocentral abelian extension of Hopf algebras extending some results from [R. Guralnick and F. Xu, On a subfactor generalization of Wall's conjecture, J. Algebra 332 (2011) 457–468].

Invariants of FP-Projective Dimensions Under Cleft Extensions

Let H be a finite dimensional Hopf algebra and A be an algebra over a fixed field k. Firstly, it is proved that the left FP-projective dimension is invariant under cleft extensions when H is semisimple and A is left coherent. Secondly, using (co)induction functors, we study the relations between FP-projective dimensions in A # H-Mod and the counterparts in AH-Mod. Finally, we characterize the FP-projective preenvelopes (resp., precovers) under H*-extensions and cleft extensions, respectively.