We determine the group of algebra automorphisms for the two-parameter quantized enveloping algebra $\V$. As an application, we prove that the group of Hopf algebra automorphisms for $\V$ is isomorphic to a torus of rank two.
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.
Let H be a Hopf algebra with antipode S, and let A be an N-Koszul Artin-Schelter regular algebra. We study connections between the Nakayama automorphism of A and S^2 of H when H coacts on A inner-faithfully. Several applications pertaining to Hopf actions on Artin-Schelter regular algebras are given.
Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded.
PBW deformations of Artin-Schelter regular algebras are skew Calabi-Yau. We prove that the Nakayama automorphisms of such PBW deformations can be obtained from their homogenizations. Some Calabi-Yau properties are generalized without Koszul assumption. We also show that the Nakayama automorphisms of such PBW deformations control Hopf actions on them.
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.
Let $k_q[x, x^{-1}, y]$ be the localization of the quantum plane $k_q[x, y]$ over a field $k$, where $0\neq q\in k$. Then $k_q[x, x^{-1}, y]$ is a graded Hopf algebra, which can be regarded as the non-negative part of the quantum enveloping algebra $U_q({\mathfrak sl}_2)$. Under the assumption that $q$ is not a root of unity, we investigate the coalgebra automorphism group of $k_q[x, x^{-1}, y]$. We describe the structures of the graded coalgebra automorphism group and the coalgebra automorphism group of $k_q[x, x^{-1}, y]$, respectively.
We define the concept of \emph{companion automorphism} of a Hopf algebra $H$ as an automorphism $σ:H \rightarrow H$: $σ^2=S^2$ --where $S$ denotes the antipode--. A Hopf algebra is said to be \emph{almost involutive} (AI) if it admits a companion automorphism that can be viewed as a special additional symmetry. We present examples and study some of the basic properties and constructions of AI-Hopf algebras centering the attention in the finite dimensional case. In particular we show that within the family of Hopf algebras of dimension smaller or equal than 15, only in dimension eight and twelv…
We show that many noetherian Hopf algebras A have a rigid dualising complex R with R isomorphic to ^νA^1 [d]. Here, d is the injective dimension of the algebra and ν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 νthe Nakayama automorphism of A. We prove that ν= S^2\XXi, where S is the antipode of A and \XXi is the left winding automorphism of A determined by the left integral of A. The Hochschild homology and cohomology groups with coefficients in a suitably twisted free bimodule are s…
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.
Let $r,s$ be two parameters chosen from $\C^{\ast}$ such that $r^{m}s^{n}=1$ implies $m=n=0$. We compute the derivations of the two-parameter quantized enveloping algebra $\U$ and calculate its first degree Hochschild cohomology group. We further determine the group of algebra automorphisms for the two-parameter Hopf algebra $\V$. As a result, we determine the group of Hopf algebra automorphisms for $\V$.
A weakly equivariant Hopf algebra is a Hopf algebra A with an action of a finite group G up to inner automorphisms. We show that each weakly equivariant Hopf algebra can be replaced by a Morita equivalent algebra B with a strict action of G and with a coalgebra structure that leads to a tensor equivalent representation category. However, the coproduct of this strictification cannot, in general, be chosen to be unital, so that a strictification of the G-action can only be found on a weak Hopf algebra B.
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…
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 study certain subgroups of the full group of Hopf algebra automorphisms of a biproduct. In the process interesting subgroups of certain permutation groups come into play.
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…
Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up to a left $A$-linear Hopf algebra isomorphism, the set of all bicrossed products $A \bowtie H$ associated to all possible matched pairs of Hopf algebras $(A, H, \triangleleft, \triangleright)$ that can be defined between $A$ and $H$. In the construction of ${\mathcal H}^{2} (A, H)$ the key role is played by special elements of $CoZ^{1} (H, A) \times \Aut_{\…
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.
We prove a variety results on tensor product factorizations of finite dimensional Hopf algebras (more generally Hopf algebras satisfying chain conditions in suitable braided categories). The results are analogs of well-known results on direct product factorizations of finite groups (or groups with chain conditions) such as Fitting's Lemma and the uniqueness of the Krull-Remak-Schmidt factorization. We analyze the notion of normal (and conormal) Hopf algebra endomorphisms, and the structure of endomorphisms and automorphisms of tensor products. The results are then applied to compute the automo…
The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy the faithful (co)flatness condition. Hopf center and cocenter are computed for $\mathsf{U}_q(\mathfrak{g})$ and the Hopf algebra $\textrm{Pol}(\mathbb{G}_q)$, where $\mathbb{G}_q$ is the Drinfeld-Jimbo quantization of a compact semisimple simply connected Lie group $\mathbb{G}$ and $\mathfrak{g}$ is a simple complex Lie algebra.
We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.
We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra …
We construct the analogue of Takeuchi's free Hopf algebra in the setting of Poisson Hopf algebras. More precisely, we prove that there exists a free Poisson Hopf algebra on any coalgebra or, equivalently that the forgetful functor from the category of Poisson Hopf algebras to the category of coalgebras has a left adjoint. In particular, we also prove that the category of Poisson Hopf algebras is a reflective subcategory of the category of Poisson bialgebras. Along the way, we describe coproducts and coequalizers in the category of Poisson Hopf algebras, therefore showing that the latter catego…
We define left and right kernels of representations of Hopf algebras. In the case of group algebras, left and right kernels coincide and they are the usual kernels of modules. In the general case we show that these kernels coincide with the categorical left and right Hopf kernels of morphisms of Hopf algebras defined in \cite{AD}. Brauer's theorem for kernels over group algebras is generalized to Hopf 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.
We replace the group of group-like elements of the quantized enveloping algebra $U_q({\frak{g}})$ of a finite dimensional semisimple Lie algebra ${\frak g}$ by some regular monoid and get the weak Hopf algebra ${\frak{w}}_q^{\sf d}({\frak g})$. It is a new subclass of weak Hopf algebras but not Hopf algebras. Then we devote to constructing a basis of ${\frak{w}}_q^{\sf d}({\frak g})$ and determine the group of weak Hopf algebra automorphisms of ${\frak{w}}_q^{\sf d}({\frak g})$ when $q$ is not a root of unity.
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.
We calculate the Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies of the Taft algebra $T_p$ for any integer $p>2$ which is a nonquasi-triangular Hopf algebra. We show that the bracket is indeed zero on Hopf algebra cohomology of $T_p$, as in all known quasi-triangular Hopf algebras. This example is the first known bracket computation for a nonquasi-triangular algebra. Also, we find a general formula for the bracket on Hopf algebra cohomology of any Hopf algebra with bijective antipode on the bar resolution that is reminiscent of Gerstenhaber's original formula for Hochschild co…
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…
An algebra is said to be hopfian if it is not isomorphic to a proper quotient of itself. We describe several classes of hopfian and of non-hopfian unital lattice-ordered abelian groups and MV-algebras. Using Elliott classification and $K_0$-theory, we apply our results to other related structures, notably the Farey-Stern-Brocot AF C$^*$-algebra and all its primitive quotients, including the Behnke-Leptin C$^*$-algebras $\mathcal A_{k,q}$.
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.