Duality and Rational Modules in Hopf Algebras over Commutative Rings

This is a survey on the state-of-the-art of the classification of finite-dimensional complex Hopf algebras. This general question is addressed through the consideration of different classes of such Hopf algebras. Pointed Hopf algebras constitute the class best understood; the classification of those with abelian group is expected to be completed soon and there is substantial progress in the non-abelian case.

The main aim of this paper is the Hopficity of module classes, the study of modules (rings) by properties of their endomorphisms is a classical research subject. In 1986, Hiremath \cite{Hi} introduced the concepts of Hopfian modules and rings, the notion of Hopfian modules are defined as a generalization of modules of finite length as the modules whose surjective endomorphisms are isomorphisms. Later, the dual concepts co-Hopfian modules and rings were given. Hopfian and co-H...

This is a preprint version of a chapter for Handbook of Algebra.

This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exemplifying the concepts introduced.

Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen. The main results of this article extend to working over k of positive characteristic. On the other ha...

The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomology. Now let us consider a Hopf algebra A such that its Jacobson radical J is a nilp...

This is a brief survey of some recent developments in the study of infinite dimensional Hopf algebras which are either noetherian or have finite Gelfand-Kirillov dimension. A number of open questions are listed.

The faithful quasi-dual $H^d$ and strict quasi-dual $H^{d'}$ of an infinite braided Hopf algebra $H$ are introduced and it is proved that every strict quasi-dual $H^{d'}$ is an $H$-Hopf module. The connection between the integrals and the maximal rational $H^{d}$-submodule $H^{d rat}$ of $H^{d}$ is found. That is, $H^{d rat}\cong \int ^l_{H^d} \otimes H$ is proved. The existence and uniqueness of integrals for braided Hopf algebras in the Yetter-Drinfeld category $(^B_B{\cal ...

Let $U$ and $A$ be algebras over a field $k$. We study algebra structures $H$ on the underlying tensor product $U{\otimes}A$ of vector spaces which satisfy $(u{\otimes}a)(u'{\otimes}a') = uu'{\otimes}aa'$ if $a = 1$ or $u' = 1$. For a pair of characters $\rho \in \Alg(U, k)$ and $\chi \in \Alg(A, k)$ we define a left $H$-module $L(\rho, \chi)$. Under reasonable hypotheses the correspondence $(\rho, \chi) \mapsto L(\rho, \chi)$ determines a bijection between character pairs an...

In this article, we investigate Hopf actions on vertex algebras. Our first main result is that every finite-dimensional Hopf algebra that inner faithfully acts on a given \pi_2-injective vertex algebra must be a group algebra. Secondly, under suitable assumptions, we establish a Schur-Weyl type duality for semisimple Hopf actions on Hopf modules of vertex algebras.