We explain that a new theorem of Deligne on symmetric tensor categories implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has Chevalley property, and in particular the list of finite dimensional triangular Hopf algebras over such a field given in math.QA/0008232, math.QA/0101049 is complete. We also use Deligne's theorem to settle a number of questions about triangular Hopf algebras, raised in our previous publications, and generalize Deligne's result to nondegenerate semisimple categories in characteristic $p$, by using lifting methods developed in math.QA/0203060.
We investigate the transformed Hopf algebras in Hopf Galois extensions. The final goal of this paper is to introduce certain triangular Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic $p>0$.
A fundamental problem in the theory of Hopf algebras is the classification and construction of finite-dimensional (minimal) triangular Hopf algebras (A,R) introduced by Drinfeld. Only recently Etingof and the author completely solved this problem for semisimple A over algebraically closed fields of characteristics 0 and p>>dim(A) (any p if one assumes that A is also cosemisimple). In this paper we take the first step towards solving this problem for finite-dimensional pointed Hopf algebras over an algebraically closed field k of characteristic 0. We first prove that the fourth power of the ant…
We say that a Hopf algebra has the Chevalley property if the tensor product of any two simple modules over this Hopf algebra is semisimple. In this paper we classify finite dimensional triangular Hopf algebras with the Chevalley property, over the field of complex numbers. Namely, we show that all of them are twists of triangular Hopf algebras with R-matrix having rank <=2, and explain that the latter ones are obtained from group algebras of finite supergroups by a simple modification procedure. We note that all examples of finite dimensional triangular Hopf algebras which are known to the aut…
The goal of this paper is to give a new method of constructing finite-dimensional semisimple triangular Hopf algebras, including minimal ones which are non-trivial (i.e. not group algebras). The paper shows that such Hopf algebras are quite abundant. It also discovers an unexpected connection of such Hopf algebras with bijective 1-cocycles on finite groups and set-theoretical solutions of the quantum Yang-Baxter equation defined by Drinfeld.
Recall that a triangular Hopf algebra A is said to have the Chevalley property if the tensor product of any two simple A-modules is semisimple, or, equivalently, if the radical of A is a Hopf ideal. There are two reasons to study this class of triangular Hopf algebras: First, it contains all known examples of finite-dimensional triangular Hopf algebras; second, it can be, in a sense, "completely understood". Namely, it was shown in our previous work with Andruskiewitsch that any finite-dimensional triangular Hopf algebra with the Chevalley property is obtained by twisting of a finite-dimension…
We consider an interesting class of braidings defined by a combinatorial property in an earlier paper. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras with abelian coradical. As a tool we define a reduced version of the FRT construction. For braidings induced by U_q(g)-modules the reduced FRT construction is calculated explicitly.
A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras, introduced by Drinfeld (e.g. the quantum double of a Hopf algebra). However, this intriguing problem turns out to be extremely hard and it is still widely open. One can hope that resolving the problem in the triangular case would contribute to the understanding of the general case. There is no complte classification of finite-dimensional triangular Hopf algebras ye…
In a previous paper we prove that any semisimple triangular Hopf algebra A over an algebraically closed field of characteristic 0 (say the field of complex numbers C) is obtained from a finite group after twisting the ordinary comultiplication of its group algebra in the sense of Drinfeld; that is A=C[G]^J for some finite group G and a twist J\in C[G]\ot C[G]. In this paper we explicitly describe the representation theory of co-triangular semisimple Hopf algebras A^*=(C[G]^J)^* in terms of representations of some associated groups. As a corollary we prove that Kaplansky's 6th conjecture from 1…
One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to certain classes of Hopf algebras, e.g. to semisimple ones. Semisimple Hopf algebras deserve to be considered as "quantum" analogue of finite groups, but even so, the problem remains extremely hard (even in low dimensions) and very little is known. A great boost to the theory of Hopf algebras was given by Drinfeld who invented the fundamental class of (quasi)trian…
In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\in G is a central element of order \l…
We determine the corepresentation theory of universal cosovereign Hopf algebras, for generic matrices over an algebraically closed field of characteristic zero.
Following the ideas of our previous works math.QA/0008232 (joint with Andruskiewitsch) and math.QA/0101049, we study families of triangular Hopf algebras obtained by twisting finite supergroups by a twist lying entirely in the odd part. These families are parametrized by data (G,V,u,B), where G is a finite group, V its finite dimensional representation, u a central element of G of order 2 acting by -1 on V, and B an element of S^2V. We fix the discrete data G,V,u, and find the set of isomorphism classes of the members of the family as Hopf algebras, in terms of the continuous parameter B. This…
In this survey, we first review some known results on the representation theory of algebras with triangular decomposition, including the classification of the simple modules. We then discuss a recipe to construct Hopf algebras with triangular decomposition. Finally, we extend to these Hopf algebras the main results of arXiv:1612.09220 regarding projective modules over Drinfeld doubles of bosonizations of Nichols algebras and groups.
We determine finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero, whose Hopf coradical is isomorphic to a non-pointed basic Hopf algebra of dimension $24$ and the infinitesimal braidings are indecomposable objects. In particular, we obtain families of new finite-dimensional Hopf algebras without the dual Chevalley property.
A basis B of a finite dimensional Hopf algebra H is said to be positive if all the structure constants of H relative to B are non-negative. A quasi-triangular structure $R\in H\otimes H$ is said to be positive with respect to B if it has non-negative coefficients in the basis $B \otimes B$ of $H\otimes H$. In our earlier work, we have classified all finite dimensional Hopf algebras with positive bases. In this paper, we classify positive quasi-triangular structures on such Hopf algebras. A consequence of this classification is a new way of constructing set-theoretical solutions of the Yang-Bax…
Let p and q be distinct odd primes and assume k is an algebraically closed field of characteristic zero. We classify all quasitriangular Hopf algebras of dimension pq^2 over k, which are not simple as Hopf algebras. Moreover, we obtained all quasitriangular structures on these Hopf algebras.
One way to obtain Quantized Universal Enveloping Algebras (QUEAs) of non-semisimple Lie algebras is by contracting QUEAs of semisimple Lie algebras. We prove that every contracted QUEA in a certain class is a cochain twist of the corresponding undeformed universal envelope. Consequently, these contracted QUEAs possess a triangular quasi-Hopf algebra structure. As examples, we consider kappa-Poincare in 3 and 4 spacetime dimensions.
We prove that every semisimple Hopf algebra of dimension less than 60 over an algebraically closed field k of characteristic zero is either upper or lower semisolvable up to a cocycle twist.
We classify finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradcial is isomorphic to the smallest non-pointed basic Hopf algebra, under the assumption that the diagrams are strictly graded. In particular, we obtain some new Nichols algebras of non-diagonal type and new finite-dimensional Hopf algebras without the dual Chevalley property.
We determine and classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradicals are isomorphic to dual Radford algebras of dimension $4p$ for a prime $p>5$. In particular, we obtain families of new examples of finite-dimensional Hopf algebras without the dual Chevalley property.
Let H be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. In this paper we describe all annihilator ideals of indecomposable H-modules by generators. In particular, we give the classification of all ideals of finite-dimensional pointed Hopf algebra of rank one of nilpotent type over Klein 4-group.
We find the general solution to the twisting equation in the tensor bialgebra $T({\bf R})$ of an associative unital ring ${\bf R}$ viewed as that of fundamental representation for a universal enveloping Lie algebra and its quantum deformations. We suggest a procedure of constructing twisting cocycles belonging to a given quasitriangular subbialgebra ${\cal H}\subset T({\bf R})$. This algorithm generalizes Reshetikhin's approach, which involves cocycles fulfilling the Yang-Baxter equation. Within this framework we study a class of quantized inhomogeneous Lie algebras related to associative ring…
We develop explicit formulae for the eigenvalues of various invariants for highest weight irreducible representations of the quantum supergroup $U_q[gl(m|n)]$. The techniques employed make use of modified characteristic identity methods and allow for the evaluation of generator matrix elements and reduced Wigner coefficients.
Let $A$ be a Poisson Hopf algebra over an algebraically closed field of characteristic zero. If $A$ is finitely generated and connected graded as an algebra and its Poisson bracket is homogeneous of degree $d \geq 0$, then $A$ is unimodular; that is, the modular derivation of $A$ is zero. This is a Poisson analogue of a recent result concerning Hopf algebras which are connected graded as algebras.
Let $\mathds{k}$ be an algebraically closed field of characteristic zero. We determine all finite-dimensional Hopf algebras over $\mathds{k}$ whose Hopf coradical is isomorphic to the unique $12$-dimensional Hopf algebra $\mathcal{C}$ without the dual Chevalley property, such that the diagrams are strictly graded and the corresponding infinitesimal braidings are indecomposable objects in ${}_{\mathcal{C}}^{\mathcal{C}}\mathcal{YD}$. In particular, we obtain new Nichols algebras of dimension $18$ and $36$ and two families of new Hopf algebras of dimension $216$.
We introduce quasi-Hopf $*$-algebras i.e. quasi-Hopf algebras equipped with a conjugation (star) operation. The definition of quasi-Hopf $*$-algebras proposed ensures that the class of quasi-Hopf $*$-algebras is closed under twisting and additionally, that any Hopf $*$-algebra becomes a quasi-Hopf $*$-algebra via twisting. The basic properties of these algebras are developed. The relationship between the antipode and star structure is investigated. Quasi-triangular quasi-Hopf $*$-algebras are introduced and studied.
Let p be an odd prime and k an algebraically closed field of characteristic zero. We classify nonsemisimple Hopf algebras over k of dimension 8p with the Chevalley property, and give partial results on nonsemisimple Hopf algebras of dimension 24.
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.
Let $\mathbb{k}$ be an algebraically closed field. We give a complete classification of non-connected pointed Hopf algebras of dimension $16$ with char$\,\mathbb{k}=2$ that are generated by group-like elements and skew-primitive elements. It turns out that there are infinitely many classes (up to isomorphism) of pointed Hopf algebras of dimension 16. In particular, we obtain infinitely many new examples of non-commutative non-cocommutative finite-dimensional pointed Hopf algebras.
In this paper, we present an approach to the definition of multiparameter quantum groups by studying Hopf algebras with triangular decomposition. Classifying all of these Hopf algebras which are of what we call weakly separable type over a group, we obtain a class of pointed Hopf algebras which can be viewed as natural generalizations of multiparameter deformations of universal enveloping algebras of Lie algebras. These Hopf algebras are instances of a new version of braided Drinfeld doubles, which we call asymmetric braided Drinfeld doubles. This is a generalization of an earlier result by Be…
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 parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work of N. Andruskiewitsch and the second author. Special cases are the multiparameter deformations of the enveloping algebras of semisimple Lie algebras where the deforming parameters are not roots of unity and some of their finite-dimensional versions in the root of unity case.
We prove that a Hopf algebra of prime dimension $p$ over an algebraically closed field, whose characteristic is equal to $p$, is either a group algebra or a restricted universal enveloping algebra. Moreover, we show that any Hopf algebra of prime dimension $p$ over a field of characteristic $q>0$ is commutative and cocommutative when $q=2$ or $p<4q$. This problem remains open in positive characteristic when $2<q<p/4$.
A deeper understanding of recent computations of the Brauer group of Hopf algebras is attained by explaining why a direct product decomposition for this group holds and describing the non-interpreted factor occurring in it. For a Hopf algebra $B$ in a braided monoidal category $\C$, and under certain assumptions on the braiding (fulfilled if $\C$ is symmetric), we construct a sequence for the Brauer group $\BM(\C;B)$ of $B$-module algebras, generalizing Beattie's one. It allows one to prove that $\BM(\C;B) \cong \Br(\C) \times \Gal(\C;B),$ where $\Br(\C)$ is the Brauer group of $\C$ and $\Gal(…
We give a complete classification of the 32-dimensional pointed Hopf algebras over an algebraically closed field k with characteristic different from 2. It turns out that there are infinite families of isomorphism classes of pointed Hopf algebras of dimension 32. In [Andruskiewitsch-Schneider, J. Alg 209], [Beattie-Dascalescu-Grunenfelder, Invent. Math. 136 (1)] and [Gelaki, J. Alg 209] are given families of counterexamples for the tenth Kaplansky conjecture. Up to now, 32 is the lowest dimension where Kaplansky conjecture fails.
We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute explicitly the canonical isomorphisms in $\yd^{\rm fd}$. Finally, we show that certain duals of $H_0$, the braided Hopf algebra introduced in \cite{bn,bpv}, are isomorphic as braided Hopf algebras if $H$ is a finite dimensional triangular quasi-Hopf algebra.
In continuation of the article \cite{L} we classify all radically graded basic Hopf algebras of tame type over an algebraically closed field of characteristic 0.
By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact mono…
The article is devoted to the describtion of quasitriangular structures (universal R-matrices) on cocommutative Hopf algebras. It is known that such structures are concentrated on finite dimensional Hopf subalgebras. In particular, quasitriangular structure on group algebra is defined by the pairs of normal inclusions of an finite abelian group and by invariant bimultiplicative form on it. The structure is triangular in the case of coinciding inclusions and skewsymmetric form. The nonstandart $λ$-structure on the representation ring of finite group, corresponding to the triangular structure on…
We complete the classification of Hopf algebras of dimension 16 over an algebraically closed field of characteristic zero. We show that a non-semisimple Hopf algebra of dimension 16, has either the Chevalley property or its dual is pointed.
Let A be a commutative unital algebra over an algebraically closed field k of characteristic not equal to 2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let Q be a Hopf algebra that coacts on A inner-faithfully, while leaving V invariant. We prove that Q must be commutative when either: (i) the coaction preserves a non-degenerate bilinear form on V; or (ii) Q is co-semisimple, finite-dimensional, and char(k)=0.
We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions over a dihedral group D_m, with m=4a> 11. We obtain this classification by means of the lifting method, where we use cohomology theory to determine all possible deformations. Our result provides an infinite family of new examples of finite-dimensional copointed Hopf algebras over dihedral groups.
Let k be an algebraically closed field of characteristic 0 and let D_m be the dihedral group of order 2m with m= 4t, with t bigger than 2. We classify all finite-dimensional Nichols algebras over D_m and all finite-dimensional pointed Hopf algebras whose group of group-likes is D_m, by means of the lifting method. Our main result gives an infinite family of non-abelian groups where the classification of finite-dimensional pointed Hopf algebras is completed. Moreover, it provides for each dihedral group infinitely many non-trivial new examples.
Let $p,q$ be prime numbers with $p>q^3$, and $k$ an algebraically closed field of characteristic 0. In this paper, we obtain the structure theorems for semisimple Hopf algebras of dimension $pq^3$.
Using the standard filtration associated with a generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf subalgebra isomorphic to the smallest non-pointed non-cosemisimple Hopf algebra ${\mathcal{K}}$ and the corresponding infinitesimal module is an indecomposable object in ${}^{\mathcal{K}}_{\mathcal{K}}\mathcal{YD}$ (we assume that the diagrams are Nichols algebras). As a byproduct, we obtain new Nichols algebras of dimension 8 and new Hopf algebras of dimension 64.
We classify all noetherian Hopf algebras $H$ over an algebraically closed field $k$ of characteristic zero which are integral domains of Gelfand-Kirillov dimension two and satisfy the condition $\Ext^1_H(k,k)\neq 0$. The latter condition is conjecturally redundant, as no examples are known (among noetherian Hopf algebra domains of GK-dimension two) where it fails.
In this paper, we obtain a canonical central element $ν_H$ for each semi-simple quasi-Hopf algebra $H$ over any field $k$ and prove that $ν_H$ is invariant under gauge transformations. We show that if $k$ is algebraically closed of characteristic zero then for any irreducible representation of $H$ which affords the character $χ$, $χ(ν_H)$ takes only the values 0, 1 or -1, moreover if $H$ is a Hopf algebra or a twisted quantum double of a finite group then $χ(ν_H)$ is the corresponding Frobenius-Schur Indicator. We also prove an analog of a Theorem of Larson-Radford for split semi-simple quasi-…
Let H be a Hopf algebra of dimension pq over an algebraically closed field of characteristic zero, where p, q are odd primes with p < q < 4p+12. We prove that H is semisimple and thus isomorphic to a group algebra, or the dual of a group algebra.
Let k be an algebraically closed field of characteristic 0. We conclude the classification of finite dimensional pointed Hopf algebras whose group of group-likes is S_4. We also describe all pointed Hopf algebras over S_5 whose infinitesimal braiding is associated to the rack of transpositions.
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.
For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show that $A\#H$ is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra $\operatorname{End}A^{\ast}\otimes H$. With these structure, $_{A\#H}\operatorname{Mod}$ is the monoidal category introduced by Cohen and Westreich, and $_{\operatorname{End}A^{\ast}\otimes H}\mathcal{M}$ is tensor equivalent to $_{H}\mathcal{M}$. If $A$ is in the M{ü}ger cen…
Let $k$ be an algebraically closed field of characteristic $0$. In this paper, we obtain the structure theorems for semisimple Hopf algebras of dimension $p^2q^2$ over $k$, where $p,q$ are prime numbers with $p^2<q$. As an application, we also obtain the structure theorems for semisimple Hopf algebras of dimension $9p^2$ and $25q^2$ for all primes $3\neq p$ and $5\neq q$.
Let $H$ be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If $H$ is not semisimple and $\dim(H)=2n$ for some odd integer $n$, then $H$ or $H^*$ is not unimodular. Using this result, we prove that if $\dim(H)=2p$ for some odd prime $p$, then $H$ is semisimple. This completes the classification of Hopf algebras of dimension $2p$.
This paper studies the duals of some finite dimensional pointed Hopf algebras, with abelian group of grouplikes, over an algebraically closed field of characteristic 0, which are either Radford biproducts or else nontrivial liftings of a biproduct.
We generalize the theory of the second invariant cohomology group $H^2_{\rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that for connected affine algebraic groups $G$ over an algebraically closed field of characteristic $0$, the map $Θ$ from [GK] is bijective (unlike for some finite groups, as shown in [GK]). This allows us to compute $H^2_{\rm inv}(G)$ in this case, and in particular show that this group is commutative (while for finite groups it can be noncommutative, as shown …
This paper constitutes the first part of a program to classify all affine prime regular Hopf algebras $H$ of Gelfand-Kirillov dimension one over an algebraically closed field of characteristic zero. We prove a number of properties of such an algebra, list some classes of examples, and then prove that - when the PI-degree of $H$ is prime - our list contains all such algebras.
The objects of study in this paper are Hopf algebras $H$ which are finitely generated algebras over an algebraically closed field and are extensions of a commutative Hopf algebra by a finite dimensional Hopf algebra. Basic structural and homological properties are recalled and classes of examples are listed. Bounds are obtained on the dimensions of simple $H$-modules, and the structure of $H$ is shown to be severely constrained when the finite dimensional extension is semisimple and cosemisimple.
Let $H$ be a semisimple Hopf algebras over an algebraically closed field $k$ of characteristic $0.$ We define Hopf algebraic analogues of commutators and their generalizations and show how they are related to $H',$ the Hopf algebraic analogue of the commutator subgroup. We introduce a family of central elements of $H',$ which on one hand generate $H'$ and on the other hand give rise to a family of functionals on $H.$ When $H=kG,\,G$ a finite group, these functionals are counting functions on $G.$ It is not clear yet to what extent they measure any specific invariant of the Hopf algebra. Howeve…
