A structure theorem for quasi-Hopf comodule algebras

If is a quasi-Hopf algebra and is a right -comodule algebra such that there exists a morphism of right -comodule algebras, we prove that there exists a left -module algebra such that . The main difference when comparing to the Hopf case is that, from the multiplication of , which is associative, we have to obtain the multiplication of , which in general is not; for this we use a canonical projection arising from the fact that becomes a quasi-Hopf -bimodule.

     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

The structure theorem and duality theorem for endomorphism algebras of weak Hopf algebras

With an aim of exploring homological algebra for weak Hopf modules, this paper investigates the HOM-functor and presents the structure theorem for endomorphism algebras of weak two-sided (A,H)-Hopf modules, and gives the duality theorem for weak “big” smash products.     

Maschke-type theorem and Morita context over weak Hopf algebras

This paper gives a Maschke-type theorem over semisimple weak Hopf algebras, extends the well-known Maschke-type theorem given by Cohen and Fishman and constructs a Morita context over weak Hopf algebras.     

Projectivity and freeness over comodule algebras

Let be a Hopf algebra and an -simple right -comodule algebra. It is shown that under certain hypotheses every -Hopf module is either projective or free as an -module and is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for -simple -module algebras.

     

Hopf algebras over hopf algebras

Summary In any category with products and a terminal object one may define the notions of group, module over a group etc. if f: R′→R is a homomorphism of groups, and M an R-module, then one has an induced R′-module f*(M). If one is working in the category of sets, one may define a functor left adjoint to f* by N→R⊗_R′ N, where N is an R′-module. In this paper we show that f* has a left adjoint when one is working in the category of graded connected coalgebras over a field.     

Hopf coactions on commutative algebras generated by a quadratically independent comodule

Let 𝒜 be a commutative unital algebra over an algebraically closed field k of characteristic ≠2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let 𝒬 be a Hopf algebra that coacts on 𝒜 inner-faithfully, while leaving V invariant. We prove that 𝒬 must be commutative when either: (i) the coaction preserves a non-degenerate bilinear form on V; or (ii) 𝒬 is co-semisimple, finite-dimensional, and char(k) = 0.     

The structure of Hopf algebras

This survey considers work published between 1970 and 1990 on the algebraic aspects of Hopf theory. There are detailed discussions of the properties of antipodes, group and primitive elements, integrals, crossed products, Galois theory, Lie coalgebras, the category of Hopf algebras, quantum groups, etc.Translated from Itogi Nauki i Tekhniki, Seriya Algebra, Topologiya, Geometriya, Vol. 29, pp. 3–63, 1991.     

Bordism of algebras over Hopf algebras

An algebraic theory of bordism via characteristic numbers, analogous to topological bordism, is given. The Steenrod algebra is replaced by a fairly general graded Hopf algebra A, topological spaces by algebras over A, vector bundles by Thom modules, and closed manifolds by Poincaré algebras over A.     

Nichols algebras over weak Hopf algebras

In this paper, we study a Yetter-Drinfeld module V over a weak Hopf algebra H.Although the category of all left H-modules is not a braided tensor category, we can define a Yetter-Drinfeld module. Using this Yetter-Drinfeld modules V, we construct Nichols algebra B(V) over the weak Hopf algebra H, and a series of weak Hopf algebras. Some results of [8] are generalized.     

A maschke type theorem for weak Hopf algebras

In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke＇s Theorem for （H, B）-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.     

Tannaka-Krein duality for Hopf algebroids

We show that a Hopf algebroid can be reconstructed from a monoidal functor from a monoidal category into the category of rigid bimodules over a ring. We study the equivalence between the original category and the category of comodules over the reconstructed Hopf algebroid.     

Galois theory for Hopf algebroids

An extensionB⊂A of algebras over a commutative ringk is anH-extension for anL-bialgebroidH ifA is anH-comodule algebra andB is the subalgebra of its coinvariants. It isH-Galois if the canonical mapA ⊗_B A →A ⊗_L H is an isomorphism or, equivalently, if the canonical coringA ⊗_L H:A is a Galois coring. In the case of Hopf algebroid anyH _R-extension is shown to be also anH _L-extension. If the antipode is bijective then also the notions ofH _R-Galois extensions and ofH _L-Galois extensions are proven to coincide. Results about bijective entwining structures are extended to entwining structures over non-commutative algebras in order to prove a Kreimer-Takeuchi type theorem for a finitely generated projective Hopf algebroidH with bijective antipode. It states that anyH-Galois extensionB⊂A is projective, and ifA isk-flat then already the surjectivity of the canonical map implies the Galois property. The Morita theory, developed for corings by Caenepeel, Vercruysse and Wang is applied to obtain equivalent criteria for the Galois property of Hopf algebroid extensions. This leads to Hopf algebroid analogues of results for Hopf algebra, extensions by Doi and, in the case of Frobenius Hopf algebroids, by Cohen, Fishman and Montgomery.

---

Sunto Un'estensioneB(A di algebre su un anello commutativok è unaH-estensione per unL-bialgebroideH seA è unaH-comodulo algebra eB è la sottoalgebra dei suoi coinvarianti. Essa èH-Galois se l'applicazione canonicaA ⊗_A B→A ⊗_L H è un isomorfismo o, equivalentemente, se il coanello canonicoA ⊗_L H:A è un coanello di Galois. Nel caso di un algebroide di Hopf si dimostra che ogniH _R-estensione è unaH _L-estensione. Se l'antipode è biiettivo allora si dimostra che anche le nozioni di estensioniH _R-Galois eH _L-Galois coincidono. I risultati per le strutture biiettive entwining sono estesi alle strutture entwining su algebre non commutative, al fine di dimostrare un teorema simile al Teorema dii Kreimer-Takeuchi per un Hopf algebroideH proiettivo finitamento generato con antipode biiettivo. Il teorema afferma che ogni estensioneH-GaloisB ⊂A è proiettiva e seA èk-piatto allora la suriettività dell'applicazione canonica è sufficiente a garantire la proprietà di Galois. La teoria di Morita, sviluppata per i coanelli da Caenepeel, Vercruysse e Wang, viene applicata per ottenere criteri equivalenti per la proprietà di Galois per estensioni di algebroidi di Hopf. Questo conduce a risultati analoghi, per algebroidi di Hopf, a quelli ottenuti da Doi per estensioni di algebre di Hopf e da Cohen Fishman e Montgomery nel caso degli algebroidi di Hopf Frobenius.

     

The theorem for semisimple Hopf algebras

We give an algebraic version of a result of G. I. Kac, showing that a semisimple Hopf algebra of dimension , where is a prime and , over an algebraically closed field of characteristic 0 contains a non-trivial central group-like. As an application we prove that, if , is isomorphic to a group algebra.

     

Twisted hopf comodule algebras

For k a commutative ring, H a k‐bialgebra and A a right H‐comodule k‐algebra, we define a new multiplication on the H‐comodule A to obtain a twisted algebra” A^T, T sumHom(H,End (A)). If ^T is convolution invertible, the categories of relative right Hopf modules over A and A^Tare isomorphic. Similarly a convolution invertible left twisting gives an isomorphism of the categories of relative left Hopf modules. We show that crossed products are invertible twistings of the tensor product, and obtain, as a corollary, a duality theorem for crossed products     

Hopf algebroids and H-separable extensions

Since an H-separable extension is of depth two, we associate to it dual bialgebroids and over the centralizer as in Kadison-Szlachányi. We show that has an antipode and is a Hopf algebroid. is also Hopf algebroid under the condition that the centralizer is an Azumaya algebra over the center of . For depth two extension , we show that .

     

Module categories over pointed Hopf algebras

We develop some techniques for studying exact module categories over some families of pointed finite-dimensional Hopf algebras. As an application we classify exact module categories over the tensor category of representations of the small quantum groups u_q(\mathfraksl₂){u_q(\mathfrak{sl}_2)}.