Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on algebras. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true for Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.
We provide necessary and sufficient conditions to extend the Hopf-Galois algebra structure on an algebra R to a generalized ambiskew ring based on R, in a way such that the added variables for the extension are skew-primitive in an appropriate sense. We show that the associated Hopf algebra is again a a generalized ambiskew ring, based on a suitable Hopf algebra H(R). Several examples are examined, including the Hopf-Galois objects over Uq(sl2).
The left and right homological integrals are introduced for a large class of infinite dimensional Hopf algebras. Using the homological integrals we prove a version of Maschke's theorem for infinite dimensional Hopf algebras. The generalization of Maschke's theorem and homological integrals are the keys to study noetherian regular Hopf algebras of Gelfand-Kirillov dimension one.
In this paper, our objects of interest are Hopf Galois extensions (e.g., Hopf algebras, Galois field extensions, strongly graded algebras, crossed products, principal bundles, etc.) and families of noncommutative rings (e.g., skew polynomial rings, PBW extensions and skew PBW extensions, etc.). We collect and systematize questions, problems, properties and recent advances in both theories by explicitly developing examples and doing calculations that are usually omitted in the literature. In particular, for Hopf Galois extensions we consider approaches from the point of view of quantum torsors …
A classical result in the theory of Hopf algebras concerns the uniqueness and existence of integrals: for an arbitrary Hopf algebra, the integral space has dimension $\leq 1$, and for a finite dimensional Hopf algebra, this dimension is exaclty one. We generalize these results to quasi-Hopf algebras and dual quasi-Hopf algebras. In particular, it will follow that the bijectivity of the antipode follows from the other axioms of a finite dimensional quasi-Hopf algebra. We give a new version of the Fundamental Theorem for quasi-Hopf algebras. We show that a dual quasi-Hopf algebra is co-Frobenius…
We give some general results on the ring structure of Hochschild cohomology of smash products of algebras with Hopf algebras. We compute this ring structure explicitly for a large class of finite dimensional Hopf algebras of rank one.
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 YD},C)$ are given.
In this paper we prove that if $R$ is a commutative, reduced, local ring, then $R$ is Hopfian if and only if the ring $R[x]$ is Hopfian. This answers a question of Varadarajan, in the case when $R$ is a reduced local ring. We provide examples of non-Noetherian Hopfian commutative domains by proving that the finite dimensional domains are Hopfian. Also, we derive some general results related to Hopfian rings.
This paper has two purposes. The first is to explicate the diagrammatic approach to Hopf algebras due to Kuperberg, and to examine his proof of the existence and uniqueness of integrals in both the diagrammatic and purely algebraic contexts. The second purpose of the paper is to show that the theory of integrals for a finite dimensional Hopf algebra A can be deduced from ideas concerning the trace function on End(A). Connections between Kuperberg's work and the trace function should be of interest to those who study three manifold invariants in relation to Hopf algebras.
We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra upon its finite normal Hopf subalgebra. For the projectivity of a projective Hopf algebras we need some finiteness condition in terms of the module of integral. In particular we show the the module of integral has rank one.
We determine the Grothendieck ring of finite-dimensional comodules for the free Hopf algebra on a matrix coalgebra, and similarly for the free Hopf algebra with bijective antipode and other related universal quantum groups. The results turn out to be parallel to those for Wang and Van Daele's deformed universal compact quantum groups and Bichon's generalization of those results to universal cosovereign Hopf algebras: in all cases the rings are isomorphic to those of non-commutative polynomials over certain sets, these sets varying from case to case. In most cases we are able to give more preci…
For an infinite dimensional Hopf quasigroup, if the faithful integral exists, then it is unique up to scalar. Base on the faithful integrals, we construct the integral dual of a class of infinite dimensional Hopf quasigroups, and show that the integral dual has a similar structure to Hopf coquasigroup, which is a regular multiplier Hopf coquasigroup with a faithful integral.
In establishing a more general version of the McKay correspondence, we prove Auslander's theorem for actions of semisimple Hopf algebras H on noncommutative Artin-Schelter regular algebras A of global dimension two, where A is a graded H-module algebra, and the Hopf action on A is inner faithful with trivial homological determinant. We also show that each fixed ring A^H under such an action arises an analogue of a coordinate ring of a Kleinian singularity.
Let $A$ be a multiplier Hopf coquasigroup. If the faithful integrals exist, then they are unique up to scalar. Furthermore, if $A$ is of discrete type, then its integral duality $\widehat{A}$ is a Hopf quasigroup, and the biduality $\widehat{\widehat{A}}$ is isomorphic to the original $A$ as multiplier Hopf coquasigroups. This biduality theorem also holds for a class of Hopf quasigroups with faithful integrals.
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability under extension of the base field. Furthermore, we show that our polynomial invariants are indeed tensor invariants of the representation category of A, and recognize the difference of the representation category and the representation ring of A. Actually, by computing and comparing polynomial invariants, we find new examples of pairs of Hopf algebras whose r…
Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the Blattner-Montgomery duality theorem. Finally, we give sufficient conditions to get the purity of $A^\circ$ in $R^A$.
We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl2), U_q(sl2) and the enveloping algebra of the 3-dimensional Heisenberg Lie algebra. In a torsion-free case we describe the finite-dimensional simple modules, in particular their dimensions and prove a Clebsch-Gordan decomposition theorem for the tensor product of two simple modules. We construct a Casimir type operator and prove that any finite-dimensional weight module is semisimple.
Two-dimensional integrable differential calculi for classes of Ore extensions of the polynomial ring and the Laurent polynomial ring in one variable are constructed. Thus it is concluded that all affine pointed Hopf domains of Gelfand-Kirillov dimension two which are not polynomial identity rings are differentially smooth.
We introduce partial (co)actions of a Hopf algebra $H$ on an algebra. To this end, we introduce first the notion of lax coring, generalizing Wisbauer's notion of weak coring. We also have the dual notion of lax ring. Several duality results are given, and we develop Galois theory for partial $H$-comodule algebras.
We study integral theory for left (or right) Hopf left bialgebroids. Contrary to Hopf algebroids, the latter ones don't necessary have an antipode $S$ but, for any element $u$, the elements $u_{(1)} \otimes S(u_{(2)})$ (or $u_{(2)}\otimes S^{-1}(u_{(1)})$ ) does exist. Our results extend those of G. Böhm who studied integral theory for Hopf algebroids. We make use of recent results about left Hopf left bialgebroids. We apply our results to the restricted enveloping algebra of a restricted Lie Rinehart algebra.
We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and representation theory. In addition to a Hopf ring presentation, we give geometric cocycle representatives and explicitly determine the structure as an algebra over the Steenrod algebra. All calculations are explicit, with an additive basis which has a clean graphical representation. We also briefly develop related Hopf ring structures on rings of symmetric invar…
In this paper we completely classify nontrivial semisimple Hopf algebras of dimension 16. We also compute all the possible structures of the Grothendieck ring of semisimple non-commutative Hopf algebras of dimension 16. Moreover, we prove that non-commutative semisimple Hopf algebras of dimension p^n, p is prime, cannot have a cyclic group of grouplikes.
We introduce the notion of the Frobenius-Perron dimension of an integral $\Bbb Z_+$-ring and give some applications of this notion to classification of finite dimensional quasi-Hopf algebras with a unique nontrivial simple module, and of quasi-Hopf and Hopf algebras of prime dimension $p$.
Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm co}H}$, and we study the semisimplicity of the category of relative Hopf modules.
This article is made up with two parts. In the first part, we generalize to the case when objects are faithfully flat over the ground ring, the full equivalence between the notions of Hopf-Galois extension and Hopf-Galois system. In the second part of the article, we show that the Kashiwara algebras introduced by Kashiwara in his study of crystal bases are Hopf-Galois objects.
We show that there is a family of complex semisimple Hopf algebras that do not admit a Hopf order over any number ring. They are Drinfel'd twists of certain group algebras. The twist contains a scalar fraction which makes impossible the definability of such Hopf algebras over number rings. We also prove that a complex semisimple Hopf algebra satisfies Kaplansky's sixth conjecture if and only if it admits a weak order, in the sense of Rumynin and Lorenz, over the integers.
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.
The so called induction functors appear in several areas of Algebra in different forms. Interesting examples are the induction functors in the Theory of Affine Algebraic groups. In this note we investigate the so called Hopf pairings (bialgebra pairings) and use them to study induction functors for affine group schemes over arbitrary commutative ground rings. We present also a special type of Hopf pairings (bialgebra pairings), satisfying the so called $α$-condition. For those pairings the induction functor is studied and a nice description of it is obtained. Along the paper several interestin…
A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conjecture by Sorin Dăscălescu and the first author. The proof is of categorical nature and the same result is obtained for Frobenius tensor categories of subexponential growth. A family of co-Frobenius Hopf algebras that are not of finite type over their Hopf socles is constructed, answering so in the nega…
We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra $C$, we introduce the generalized space of integrals $\int_M=\Hom^C(C,M)$ associated to a right $C$-comodule $M$ and study connections between "uniqueness of integrals" $\dim(\int_M)\leq \dim(M)$ and "existence of integrals" $\dim(\int_M)\geq \dim(M)$ for all $M$ and representation theoretic properties of $C$: (quasi)-co-Frobenius, semiperfect. We show that a…
We study quasi-Hopf algebras and their subobjects over certain commutative rings from the point of view of Frobenius algebras. We introduce a type of Radford formula involving an anti-automorphism and the Nakayama automorphism of a Frobenius algebra, then view several results in quantum algebras from this vantage-point. In addition, separability and strong separability of quasi-Hopf algebras are studied as Frobenius algebras.
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 finite-dimensional Hopf algebra but also the case of any Hopf algebra with integrals (co-Frobenius Hopf algebras). The proof follows in a few lines from well-known formulas in the theory of regular multiplier Hopf algebras with integrals. We discuss these formulas and their importance in this theory. We also mention their generalizations to the (in a certain sense) more g…
Let $(A,Δ)$ be a weak multiplier Hopf algebra. It is a pair of a non-degenerate algebra $A$, with or without identity, and a coproduct $Δ$ on $A$, satisfying certain properties. The main difference with multiplier Hopf algebras is that now, the canonical maps $T_1$ and $T_2$ on $A\otimes A$, defined by $$T_1(a\otimes b)=Δ(a)(1\otimes b) \qquad\quad\text{and}\qquad\quad T_2(c\otimes a)=(c\otimes 1)Δ(a),$$ are no longer assumed to be bijective. Also recall that a weak multiplier Hopf algebra is called regular if its antipode is a bijective map from $A$ to itself. In this paper, we introduce and …
A ring $A$ is called Hopfian if $A$ cannot be isomorphic to a proper homomorphic image $A/J$. $A$ is called Bassian if there cannot be an injection of $A$ into a proper homomorphic image $A/J$. We consider classes of Hopfian and Bassian rings, and tie representability of algebras and chain conditions on ideals to these properties. In particular, any semiprime algebra satisfying the ACC on semiprime ideals is Hopfian, and any semiprime affine PI-algebra over a field is Bassian.
We provide a new algebraic description of the structure on the set of all unstable cohomology operations for a suitable generalised cohomology theory, E^*. Our description is as a graded and completed version of a Tall-Wraith monoid. The E^*-cohomology of a space X is a module for this Tall-Wraith monoid. We also show that the corresponding Hopf ring of unstable co-operations is a module for the Tall-Wraith monoid of unstable operations. Further examples are provided by considering operations from one theory to another.
In this paper, we continue our study of the tensor product structure of category $\mathcal W$ of weight modules over the Hopf-Ore extensions $kG(χ^{-1}, a, 0)$ of group algebras $kG$, where $k$ is an algebraically closed field of characteristic zero. We first describe the tensor product decomposition rules for all indecomposable weight modules under the assumption that the orders of $χ$ and $χ(a)$ are different. Then we describe the Green ring $r(\mathcal W)$ of the tensor category $\mathcal W$. It is shown that $r(\mathcal W)$ is isomorphic to the polynomial algebra over the group ring $\math…
The duality between partial actions (partial $H$-module algebras) and co-actions (partial $H$-comodule algebras) of a Hopf algebra $H$ is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is established under certain commutativity conditions. Moreover, we continue this duality study, introducing also partial $H$-module coalgebras and their associated $C$-rings, partial $H$-comodule coalgebras and their associated cosmash coproducts, as well as the mutual interrelations between these structures.
This expository article presents a unified ring theoretic approach, based on the theory of Frobenius algebras, to a variety of results on Hopf algebras. These include a theorem of S. Zhu on the degrees of irreducible representations, the so-called class equation, the determination of the semisimplicity locus of the Grothendieck ring, the spectrum of the adjoint class and a non-vanishing result for the adjoint character.
Let $p$ be an odd prime number and $K$ a number field having a primitive $p$-th root of unity $ζ.$ We prove that Nikshych's non-group theoretical Hopf algebra $H_p$, which is defined over $\mathbb{Q}(ζ)$, admits a Hopf order over the ring of integers $\mathcal{O}_K$ if and only if there is an ideal $I$ of $\mathcal{O}_K$ such that $I^{2(p-1)} = (p)$. This condition does not hold in a cyclotomic field. Hence this gives an example of a semisimple Hopf algebra over a number field not admitting a Hopf order over any cyclotomic ring of integers. Moreover, we show that, when a Hopf order over $\math…
The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit natural Hopf algebra structures that are isomorphic to that of \CGL, and hence to \Sym. The isomorphisms are determined explicitly, along with the specification of standard bases for \CO and \CSp analog…
Let $H$ be a finite dimensional pointed rank one Hopf algebra of nilpotent type. We first determine all finite dimensional indecomposable $H$-modules up to isomorphism, and then establish the Clebsch-Gordan formulas for the decompositions of the tensor products of indecomposable $H$-modules by virtue of almost split sequences. The Green ring $r(H)$ of $H$ will be presented in terms of generators and relations. It turns out that the Green ring $r(H)$ is commutative and is generated by one variable over the Grothendieck ring $G_0(H)$ of $H$ modulo one relation. Moreover, $r(H)$ is Frobenius and …
We prove a structure theorem for Yetter-Drinfel'd Hopf algebras over groups of prime order that are nontrivial, cocommutative, and cosemisimple: Under certain assumptions on the base field, these algebras can be decomposed into a tensor product of the dual group ring of the group of prime order and an ordinary group ring of some other group. This tensor product is a crossed product as an algebra and an ordinary tensor product as a coalgebra. In particular, the dimension of such a Yetter-Drinfel'd Hopf algebra is divisible by the prime under consideration. We also find explicit examples of such…
Let $(H, \a)$ be a monoidal Hom-Hopf algebra and $(A, \b)$ a right $(H, \a)$-Hom-comodule algebra. We first investigate the criterion for the existence of a total integral of $(A, \b)$ in the setting of monoidal Hom-Hopf algebras. Also we prove that there exists a total integral $ϕ: (H, \a)\rightarrow (A, \b)$ if and only if any representation of the pair $(H,A)$ is injective in a functorial way, as a corepresentation of $(H, \a)$, which generalizes Doi's result. Finally, we define a total quantum integral $\g: H\rightarrow Hom(H, A)$ and prove the following affineness criterion: if there exis…
We prove the non-existence of Hopf orders over number rings for two families of complex semisimple Hopf algebras. They are constructed as Drinfel'd twists of group algebras for the following groups: $A_n$, the alternating group on $n$ elements, with $n \geq 5$; and $S_{2m}$, the symmetric group on $2m$ elements, with $m \geq 4$ even. The twist for $A_n$ arises from a $2$-cocycle on the Klein four-group contained in $A_4$. The twist for $S_{2m}$ arises from a $2$-cocycle on a subgroup generated by certain transpositions which is isomorphic to $\mathbb{Z}_2^m$. This provides more examples of com…
This paper extends classical results in the invariant theory of finite groups and finite group schemes to the actions of finite Hopf algebras on commutative rings.
We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig's small quantum groups, whose cohomology was first computed explicitly by Ginzburg and Kumar, as well as many new pointed Hopf algebras. We also show that in general the cohomology ring of a Hopf algebra in a braided category is braided commutative. As a consequence we obtain som…
In general, representation rings are well-known as Green rings from module categories of Hopf algebras. In this paper, we study Green rings in the context of monoidal categories such that representations of Hopf algebras can be investigated through Green rings of various levels from module categories to derived categories in the unified view-point. Firstly, as analogue of representation rings of Hopf algebras, we set up the so-called Green rings of monoidal categories, and then list some such categories including module categories, complex categories, homotopy categories, derived categories an…
By constructing explicit examples, we show that the core of a group-like element in a cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra over the group ring of a finite abelian group is not always completely trivial.
Hopf-Galois extensions of rings generalize Galois extensions, with the coaction of a Hopf algebra replacing the action of a group. Galois extensions with respect to a group $G$ are the Hopf-Galois extensions with respect to the dual of the group algebra of $G$. Rognes recently defined an analogous notion of Hopf-Galois extensions in the category of structured ring spectra, motivated by the fundamental example of the unit map from the sphere spectrum to $MU$. This article introduces a theory of homotopic Hopf-Galois extensions in a monoidal category with compatible model category structure that…
Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when $p=3$. Our techniques are applications of twisted tensor product resolutions and Anick resolutions in combination with May spectral sequences.
