Duality and Rational Modules in Hopf Algebras over Commutative Rings

As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We...

We show that many noetherian Hopf algebras A have a rigid dualising complex R with R isomorphic to ^{\nu}A^1 [d]. Here, d is the injective dimension of the algebra and \nu is a certain k-algebra automorphism of A, unique up to an inner automorphism. In honour of the finite dimensional theory which is hereby generalised we call \nu the Nakayama automorphism of A. We prove that \nu = S^2\XXi, where S is the antipode of A and \XXi is the left winding automorphism of A determined...

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 $\mathsf{Rep}(B)$ for some indecomposable exact left $H$-comodule algebra $B$. This paper reconstructs and determines a quasi-Hopf algebra structure from the dual tensor category of $\mathsf{Rep}(H)$ with respect to $\mathsf{Rep}(B)$, when $B$ ...

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.

In previous work, Eli Aljadeff and the first-named author attached an algebra B_H of rational fractions to each Hopf algebra H. The generalized Noether problem is the following: for which finite-dimensional Hopf algebra H is B_H the localization of a polynomial algebra? A positive answer to this question when H is the algebra of functions on a finite group implies a positive answer for the classical Noether problem for the group. We show that the generalized Noether problem h...

In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$.

We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic object. We derive general structure theorems for these theories in the special cases of commutative and cocommutative Hopf algebroids. Finally, we compute the cyclic theory in examples associated to Lie-Rinehart algebras and \'etale groupoids.

The notion of $P$-algebra due to Margolis, building on work of Moore and Peterson, was motivated by the case of the Steenrod algebra at a prime and its modules. We develop aspects of this theory further, focusing especially on coherent modules and finite dimensional modules. We also discuss the dual Hopf algebra of $P$-algebra and its comodules. One of our aims is provide a collection of techniques for calculating cohomology groups over $P$-algebras and their duals, in partic...

We develop the Tannaka-Krein duality for monoidal functors with target in the categories of bimodules over a ring. The $\coend$ of such a functor turns out to be a Hopf algebroid over this ring. Using the result of a previous paper we characterize a small abelian, locally finite rigid monoidal category as the category of rigid comodules over a transitive Hopf algebroid.

Aguiar and Mahajan's bimonoids A in a duoidal category M are studied. Under certain assumptions on M, the Fundamental Theorem of Hopf Modules is shown to hold for A if and only if the unit of A determines an A-Galois extension. Our findings are applied to the particular examples of small groupoids and of Hopf algebroids over a commutative base algebra.