Based on invariant algebras, we introduce representations$^{6-th}$ of Lie algebras and representations$^{< 4-th>}$ of Leibniz algebras, give the extended P-B-W Theorems in the context of the new representations of Lie algebras and Leibniz algebras, and generalize the Hopf-algebra structure on the enveloping algebras of Lie Algebras.
It is well-known that any weak Hopf algebra gives rise to a Hopf algebroid. Moreover it is possible to characterize those Hopf algebroids that arise in this way. Recently, the notion of a weak Hopf algebra has been extended to the case of algebras without identity. This led to the theory of weak multiplier Hopf algebras. Similarly also the theory of Hopf algebroids was recently developed for algebras without identity. They are called multiplier Hopf algebroids. Then it is quite natural to investigate the expected link between weak multiplier Hopf algebras and multiplier Hopf algebroids. This r…
Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is normal Hopf subalgebra.
Let $k$ be an algebraically closed field of characteristic 0. In this paper, we obtain the structure theorems for semisimple Hopf algebras of dimension $9q^2$ over $k$, where $q$ is a prime number. We also prove that odd-dimensional semisimple Hopf algebras over $k$ of dimension less than 600 are of Frobenius type.
The main purpose of this paper is to unify the theory of actions of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras to one of actions of weak multiplier Hopf algebras introduced by A. Van Daele and S. H. Wang. Using such developed actions, we will define the notion of a module algebra over weak multiplier Hopf algebras and construct their smash products. The main result is the duality theorem for actions and their dual actions on the smash product of weak multiplier Hopf algebras. As an application, we recover the main results found in the literature for weak Hopf algebras, mult…
Let $L/F$ be a Galois extension of fields with Galois group isomorphic to the quaternion group of order $ 8 $. We describe all of the Hopf-Galois structures admitted by $ L/F $, and determine which of the Hopf algebras that appear are isomorphic as Hopf algebras. In the case that $ F $ has characteristic zero we also determine which of these Hopf algebras are isomorphic as $ F $-algebras and explicitly compute their Wedderburn-Artin decompositions.
We study Doi-Hopf data and Doi-Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi-Hopf datum; to a Doi-Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi-Hopf datum, using a smash product type construction. The category of Doi-Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter-Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular gra…
We investigate the structures of Hopf $\ast$-algebra on the Radford algebras over $\mathbb {C}$. All the $*$-structures on $H$ are explicitly given. Moreover, these Hopf $*$-algebra structures are classified up to equivalence.
We investigate the theory of Hopf-Galois extensions for monoidal Hom-Hopf algebras. As the main result of this paper, we prove the Schneider's affineness theorems in the case of monoidal Hom-Hopf algebras in terms of the theory of the total integral and Hom-Hopf Galois extensions. In addition, we obtain the affineness criterion for relative Hom-Hopf module associated with faithfully flat Hom-Hopf Galois extensions.
By using the language of cogroupoids, we show that Hopf-Galois objects of a twisted Calabi-Yau Hopf algebra with bijective antipode are still twisted Calabi-Yau, and give their Nakayama automorphism explicitly. As applications, cleft Galois objects of twisted Calabi-Yau Hopf algebras and Hopf-Galois objects of the quantum automorphism groups of non-degenerate bilinear forms are proved to be twisted Calabi-Yau.
We obtain the double factorization of braided bialgebras or braided Hopf algebras, give relation among integrals and semisimplicity of braided Hopf algebra and its factors.
In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.
We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf algebra is a groupoid algebra or its dual. We obtain weak versions of strongly graded rings, and classical Galois extensions.
This paper generalizes the Drinfel'd twist to the multiplier Hopf algebra case. For a multiplier Hopf algebra $A$ with a twist $J$, we construct a new multiplier Hopf algebra $A^{J}$. Furthermore, if $A$ is quasitriangular, then $A^{J}$ is also. Finally, for a counimodular algebraic quantum group $A$, $A^{J}$ is an algebraic quantum group.
The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor…
For a Poisson algebra $A$, by exploring its relation with Lie-Rinehart algebras, we prove a Poincaré-Birkoff-Witt theorem for its universal enveloping algebra $A^e$. Some general properties of the universal enveloping algebras of Poisson Hopf algebras are studied. Given a Poisson Hopf algebra $B$, we give the necessary and sufficient conditions for a Poisson polynomial algebra $B[x; α, δ]_p$ to be a Poisson Hopf algebra. We also prove a structure theorem for $B^e$ when $B$ is a pointed Poisson Hopf algebra. Namely, $B^e$ is isomorphic to $B#_σ\mathcal{H}(B)$, the crossed product of $B$ and $\m…
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.
Let $H$ be a pointed Hopf algebra. We show that under some mild assumptions $H$ and its associated graded Hopf algebra $\gr H$ have the same Gelfand-Kirillov dimension. As an application, we prove that the Gelfand-Kirillov dimension of a connected Hopf algebra is either infinity or a positive integer. We also classify connected Hopf algebras of GK-dimension three over an algebraically closed field of characteristic zero.
We introduce a family of braided Hopf algebras that generalizes the rank 1 Hopf algebras introduced by Krop anad Radford and we study its cleft extensions
The Hopf dual $H^\circ$ of any Poisson Hopf algebra $H$ is proved to be a co-Poisson Hopf algebra provided $H$ is noetherian. Without noetherian assumption, it is not true in general. There is no nontrivial Poisson Hopf structure on the universal enveloping algebra of a non-abelian Lie algebra. The Poisson Hopf structures on $A=k[x_1, x_2, \cdots, x_d]$, viewed as the universal enveloping algebra of a finite-dimensional abelian Lie algebra, are exactly linear Poisson structures on $A$. The co-Poisson structures on polynomial Hopf algebra $A$ are characterized. Some correspondences between co-P…
In 1999, Y. Kashina introduced the exponent of a Hopf algebra. In this paper, we prove that the exponent of a finite dimensional non-cosemisimple Hopf algebra with Chevalley property in characteristic 0 is infinite, and the exponent of a finite dimensional non-cosemisimple pointed Hopf algebra in positive characteristic is finite.
We investigate when a skew polynomial extension T = R[x; σ, δ] of a Hopf algebra R admits a Hopf algebra structure, substantially generalising a theorem of Panov. When this construction is applied iteratively in characteristic 0 one obtains a large family of connected noetherian Hopf algebras of finite Gelfand-Kirillov dimension, including for example all enveloping algebras of finite dimensional solvable Lie algebras and all coordinate rings of unipotent groups. The properties of these Hopf algebras are investigated.
The notion of double coset for semisimple finite dimensional Hopf algebras is introduced. This is done by considering an equivalence relation on the set of irreducible characters of the dual Hopf algebra. As an application formulae for the restriction of the irreducible characters to normal Hopf subalgebras are given.
This note presents some results on projective modules and the Grothendieck groups K_0 and G_0 for Frobenius algebras and for certain Hopf Galois extensions. Our principal technical tools are the Higman trace for Frobenius algebras and a product formula for Hattori-Stallings ranks of projectives over Hopf Galois extensions.
In this paper we study twisted algebras of multiplier Hopf ($^*$-)algebras which generalize all kinds of smash products such as generalized smash products, twisted smash products, diagonal crossed products, L-R-smash products, two-sided crossed products and two-sided smash products for the ordinary Hopf algebras appeared in [P-O].
A criterion for subcoalgebras to be invariant under the adjoint action is given generalizing Masuoka's criterion for normal Hopf subalgebras. At the level of characters, the image of the induction functor from a normal Hopf subalgebra is isomorphic to the image of the restriction functor.
Hopf crossed products, or in other words, cleft comodule algebras form a special but important class in Hopf-Galois extensions. To discuss this interesting subject, we will start with the more familiar group crossed products, and then see that they are naturally generalized by Hopf crossed products; these Hopf crossed products are characterized as Hopf-Galois extensions with normal basis. After showing this characterization due to Doi and Takeuchi, we will proceed to two applications of Hopf crossed products---the equivariant smoothness of Hopf algebras, and the tensor product decomposition in…
A brief survey of some aspects of noetherian Hopf algebras is given, concentrating on structure, homology, and classification, and accompanied by a panoply of open problems.
In this paper, we completely determine the group of algebra automorphisms for the two-parameter Hopf algebra ${\check U}_{r,s}^{\geq 0}({\mathfrak sl_{3}})$. As a result, the group of Hopf algebra automorphisms is determined for $\V$ as well. We further characterize all the derivations of the subalgebra $U^{+}_{r,s}({\mathfrak sl_{3})}$, and calculate its first degree Hochschild cohomology group.
We studied both the double cross product and the bicrossproduct constructions for the Hom-Hopf algebras of general $(α,β)$-type. This allows us to consider the universal enveloping Hom-Hopf algebras of Hom-Lie algebras, which are of $(α,{\rm Id})$-type. We show that the universal enveloping Hom-Hopf algebras of a matched pair of Hom-Lie algebras form a matched pair of Hom-Hopf algebras. We observe also that, the semi-dualization of a double cross product Hom-Hopf algebra is a bicrossproduct Hom-Hopf algebra. In particular, we apply this result to the universal enveloping Hom-Hopf algebras of a…
In this note the notion of kernel of a representation of a semisimple Hopf algebra is introduced. Similar properties to the kernel of a group representation are proved in some special cases. In particular, every normal Hopf subalgebra of a semisimple Hopf algebra H is the kernel of a representation of H.
For a matrix coalgebra $C$ over some field, we determine all small subcoalgebras of the free Hopf algebra on $C$, the free Hopf algebra with a bjective antipode on $C$, and the free Hopf algebra with antipode $S$ satisfying $S^{2d}={\rm id}$ on $C$ for some fixed $d$. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.
We construct a class of non-commutative, non-cocommutative, semisimple Hopf algebras of dimension $2n^2$ and present conditions to define an inner faithful action of these Hopf algebras on quantum polynomial algebras, providing, in this way, more examples of semisimple Hopf actions which do not factor through group actions. Also, under certain condition, we classify the inner faithful Hopf actions of the Kac-Paljutkin Hopf algebra of dimension $8$, $H_8$, on the quantum plane.
We introduce the Hopf algebra of uniform block permutations and show that it is self-dual, free, and cofree. These results are closely related to the fact that uniform block permutations form a factorizable inverse monoid. This Hopf algebra contains the Hopf algebra of permutations of Malvenuto and Reutenauer and the Hopf algebra of symmetric functions in non-commuting variables of Gebhard, Rosas, and Sagan.
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 find a new class of Hopf algebras, local quasitriangular Hopf algebras, which generalize quasitriangular Hopf algebras. Using these Hopf algebras, we obtain solutions of the Yang-Baxter equation in a systematic way. The category of modules with finite cycles over a local quasitriangular Hopf algebra is a braided tensor category.
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…
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.
We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing (then restricting) modules several times as opposed to one time creates no new simple constituents. This point of view was taken in the paper http://arxiv.org/abs/math/0409346 which established a normality result in case H and K are finite group algebras. On the other hand this means that K is normal in H when H | K is a Galois extension with respect to action o…
This paper is devoted to the study of the quasitriangularity of Hopf algebras via Hopf quiver approaches. We give a combinatorial description of the Hopf quivers whose path coalgebras give rise to coquasitriangular Hopf algebras. With a help of the quiver setting, we study general coquasitriangular pointed Hopf algebras and obtain a complete classification of the finite-dimensional ones over an algebraically closed field of characteristic 0.
We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a Hopf coreflection and on every algebra there exists a cofree Hopf algebra. In this way we give an affirmative answer to a forty years old problem posed by Sweedler. On the route the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.
In the present work, we study Yetter-Drinfeld algebras over a pairing of multiplier Hopf algebras. Our main motivation is the construction of a self-dual theory of (C*-)algebraic quantum transformation groupoids. Instead of the standard characterization of Yetter-Drinfeld algebras given in the case of Hopf algebras, we develop an equivalent "only coaction" characterization in the framework of multiplier Hopf algebras. Finally, as a special case, we focus on Yetter-Drinfeld structures over Van Daele's algebraic quantum groups.
The present article takes advantage of the properties of algebras in the category of S-modules (twisted algebras) to investigate further the fine algebraic structure of Hopf operads. We prove that any Hopf operad P carries naturally the structure of twisted Hopf P-algebra. Many properties of classical Hopf algebraic structures are then shown to be encapsulated in the twisted Hopf algebraic structure of the corresponding Hopf operad. In particular, various classical theorems of Lie theory relating Lie polynomials to words (i.e. elements of the tensor algebra) are lifted to arbitrary Hopf operad…