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.
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.
A skew Calabi-Yau algebra is a generalization of a Calabi-Yau algebra which allows for a non-trivial Nakayama automorphism. We prove three homological identities about the Nakayama automorphism and give several applications. The identities we prove show (i) how the Nakayama automorphism of a smash product algebra A # H is related to the Nakayama automorphisms of a graded skew Calabi-Yau algebra A and a finite-dimensional Hopf algebra H that acts on it; (ii) how the Nakayama automorphism of a graded twist of A is related to the Nakayama automorphism of A; and (iii) that Nakayama automorphism of…
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.
We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider.
We describe all finite-dimensional pointed Hopf algebras whose infinitesimal braiding is a fixed Yetter-Drinfeld module decomposed as the sum of two simple objects: a point and the one of transpositions of the symmetric group in three letters. We give a presentation by generators and relations of the corresponding Nichols algebra and show that Andruskiewitsch-Schneider Conjecture holds for this kind of pointed Hopf algebras.
This article serves a two-fold purpose. On the one hand, it is a survey about the classification of finite-dimensional pointed Hopf algebras with abelian coradical, whose final step is the computation of the liftings or deformations of graded Hopf algebras. On the other, we present a step-by-step guide to carry out the strategy developed to construct the liftings. As an example, we conclude the work with the classification of pointed Hopf algebras of type $B_2$.
We show that any finite-dimensional pointed Hopf algebra over an abelian group $Γ$ such that its infinitesimal braiding is of standard type is generated by group-like and skew-primitive elements. This fact agrees with the long-standing conjecture by Andruskiewitsch and Schneider. We also show that the quantum Serre relations hold in any coradically graded pointed Hopf algebra over $Γ$ of finite dimension and determine how these relations are lifted in the standard case.
We study the pointed or copointed liftings of Nichols algebras associated to affine racks and constant cocycles for any finite group admitting a principal YD-realization of these racks. In the copointed case we complete the classification for the six affine racks whose Nichols algebra is known to be of finite dimension. In the pointed case our method allows us to finish four of them. In all of the cases the Hopf algebras obtained turn out to be cocycle deformations of their associated graded Hopf algebras. All of them are new examples of finite-dimensional copointed or pointed Hopf algebras ov…
We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof and Walton, in which it was shown that most pointed Hopf algebras do not admit faithful actions on fields. We consider all bosonizations of Nichols algebras of finite Cartan type, small quantum groups…
We develop some techniques to the study of 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(\mathfrak{sl}_2)$.
We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of a result of Masuoka about Morita-Takeuchi equivalence and of Schauenburg about Hopf Galois extensions. The "infinitesimal" part of the deforming cocycle and of the deformation determine the deformed multiplication and can be described explicitly in terms of Hochschild cohomology. Applications to, and …
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 introduce the concept of a covering of a graded pointed Hopf algebra. The theory developed shows that coverings of a bosonized Nichols algebra can be concretely expressed by biproducts using a quotient of the universal coalgebra covering group of the Nichols algebra. If there are enough quadratic relations, the universal coalgebra covering is given by the bosonization by the enveloping group of the underlying rack.
We study actions of pointed Hopf algebras in the $\ZZ$-graded setting. Our main result classifies inner-faithful actions of generalized Taft algebras on quantum generalized Weyl algebras which respect the $\ZZ$-grading. We also show that generically the invariant rings of Taft actions on quantum generalized Weyl algebras are commutative Kleinian singularities.
This is a continuation of the authors' study of finite-dimensional pointed Hopf algebras H which act inner faithfully on commutative domains. As mentioned in Part I of this work, the study boils down to the case where H acts inner faithfully on a field. These Hopf algebras are referred to as Galois-theoretical. In this work, we provide classification results for finite-dimensional pointed Galois-theoretical Hopf algebras H of finite Cartan type. Namely, we determine when such H of type A_1^{\times r} and some H of rank two possess the Galois-theoretical property. Moreover, we provide necessary…
We classify exact indecomposable module categories over the representation category of all non-trivial Hopf algebras with coradical S_3 and S_4. As a byproduct, we compute all its Hopf-Galois extensions and we show that these Hopf algebras are cocycle deformations of their graded versions.
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.
In this paper we investigate pointed Hopf algebras via quiver methods. We classify all possible Hopf structures arising from minimal Hopf quivers, namely basic cycles and the linear chain. This provides full local structure information for general pointed Hopf algebras.
We present new examples of finite-dimensional Nichols algebras over fields of positive characteristic. The corresponding braided vector spaces are not of diagonal type, admit a realization as Yetter-Drinfeld modules over finite abelian groups and are analogous to braidings over fields of characteristic zero whose Nichols algebras have finite Gelfand-Kirillov dimension described in arXiv:1606.02521. We obtain nex examples of finite-dimensional pointed Hopf algebras by bosonization with group algebras of suitable finite abelian groups.
Actions of semisimple Hopf algebras H over an algebraically closed field of characteristic zero on commutative domains were classified recently by the authors. The answer turns out to be very simple- if the action is inner faithful, then H has to be a group algebra. The present article contributes to the non-semisimple case, which is much more complicated. Namely, we study actions of finite dimensional (not necessarily semisimple) Hopf algebras on commutative domains, particularly when H is pointed of finite Cartan type. The work begins by reducing to the case where H acts inner faithfully on …
We investigate the representation theory of a large class of pointed Hopf algebras, extending results of Lusztig and others. We classify all simple modules in a suitable category and determine the weight multiplicities; we establish a complete reducibility theorem in this category.
We study the Calabi-Yau property of pointed Hopf algebra $U(\mc{D},\lmd)$ of finite Cartan type. It turns out that this class of pointed Hopf algebras constructed by N. Andruskiewitsch and H.-J. Schneider contains many Calabi-Yau Hopf algebras. To give concrete examples of new Calabi-Yau Hopf algebras, we classify the Calabi-Yau pointed Hopf algebras $U(\mc{D},\lmd)$ of dimension less than 5.
We present examples of color Hopf algebras, i.e. Hopf algebras in color categories (braided tensor categories with braiding induced by a bicharacter on an abelian group), related with quantum doubles of pointed Hopf algebras. We also discuss semisimple color Hopf algebras.
The quiver Hopf algebras are classified by means of ramification systems with irreducible representations. This leads to the classification of Nichols algebras over group algebras and pointed Hopf algebras of type one.
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 classify Hopf actions of Taft algebras T(n) on path algebras of quivers, in the setting where the quiver is loopless, finite, and Schurian. As a corollary, we see that every quiver admitting a faithful Z_n-action (by directed graph automorphisms) also admits inner faithful actions of a Taft algebra. Several examples for actions of the Sweedler algebra T(2) and for actions of T(3) are presented in detail. We then extend the results on Taft algebra actions on path algebras to actions of the Frobenius-Lusztig kernel u_q(sl_2), and to actions of the Drinfeld double of T(n).
We introduce Nakayama functors for coalgebras and investigate their basic properties. These functors are expressed by certain (co)ends as in the finite case discussed by Fuchs, Schaumann, and Schweigert. This observation allows us to define Nakayama functors for Frobenius tensor categories in an intrinsic way. As applications, we establish the categorical Radford $S^4$-formula for Frobenius tensor categories and obtain some related results. These are generalizations of works of Etingof, Nikshych, and Ostrik on finite tensor categories and some known facts on co-Frobenius Hopf algebras.
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.
A detailed presentation of the results obtained during my Ph.D. research. The main investigations concern explicit descriptions of classes of finite dimensional pointed Hopf algebras and their quasi-isomorphism types.
If $\mathcal{M}$ is a finite abelian category and $\mathbf{T}$ is a linear right exact monad on $\mathcal{M}$, then the category $\mathbf{T}\mbox{-mod}$ of $\mathbf{T}$-modules is a finite abelian category. We give an explicit formula of the Nakayama functor of $\mathbf{T}\mbox{-mod}$ under the assumption that the underlying functor of the monad $\mathbf{T}$ has a double left adjoint and a double right adjoint. As applications, we deduce formulas of the Nakayama functor of the center of a finite bimodule category and the dual of a finite tensor category. Some examples from the Hopf algebra the…
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.
We present techniques that allow to decide that the dimension of some pointed Hopf algebras associated with non-abelian groups is infinite. These results are consequences of arXiv:0803.2430v1. We illustrate each technique with applications.
We discuss the relationship between Hopf superalgebras and Hopf algebras. We list the braided vector spaces of diagonal type with generalized root system of super type and give the defining relations of the corresponding Nichols algebras.
We compute higher Frobenius-Schur indicators of pq-dimensional pointed Hopf algebras in characteristic p through their associated graded Hopf algebras. These indicators are gauge invariants for the monoidal categories of representations of these algebras.
We give a presentation in terms of generators and relations of Hopf algebras generated by skew-primitive elements and abelian group of group-like elements with action given via characters. This class of pointed Hopf algebras has shown great importance in the classification theory and can be seen as generalized quantum groups. As a consequence we get an analog presentation of Nichols algebras of diagonal type.
We show that a large class of finite dimensional pointed Hopf algebras is quasi-isomorphic to their associated graded version coming from the coradical filtration, i.e. they are 2-cocycle deformations of the latter. This supports a slightly specialized form of a conjecture of Masuoka.
CIEM-CONICET;Facultad de Matemática, Física, Astronomía y Computación, Universidad Nacional de Córdoba(科尔多瓦国立大学数学、物理、天文学和计算学院);Department of Mathematics and Data Science, Vrije Universiteit Brussel(布鲁塞尔自由大学数学与数据科学系);Shenzhen International Center for Mathematics, Southern University of Science and Technology(南方科技大学深圳国际数学中心);Philipps-Universität Marburg, FB Mathematik und Informatik(马尔堡菲利普斯大学数学与信息学系)
We classify finite-dimensional complex pointed Hopf algebra with group of group-like elements isomorphic to A_5. We show that any pointed Hopf algebra with infinitesimal braiding associated with the conjugacy class of $π$ \in $A_n$ is infinite-dimensional if the order of $π$ is odd except for $π=(1 2 3)$ in $A_4$. We also study pointed Hopf algebras over the dihedral groups.
All -1-type pointed Hopf algebras and central quantum linear spaces with Weyl groups of exceptional type are found. It is proved that every non -1-type pointed Hopf algebra with real $G(H)$ is infinite dimensional and every central quantum linear space over finite group is finite dimensional. It is proved that except a few cases Nichols algebras of reducible Yetter-Drinfeld modules over Weyl groups of exceptional type are infinite dimensional.
We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of results by Masuoka about Morita-Takeuchi equivalence and by Schauenburg about Hopf Galois extensions. We also outline a method to describe the deforming cocycles involved using the exponential map and its q-analogue.
We give a necessary and sufficient PBW basis criterion for Hopf algebras generated by skew-primitive elements and abelian group of group-like elements with action given via characters. This class of pointed Hopf algebras has shown great importance in the classification theory and can be seen as generalized quantum groups. We apply the criterion to classical examples and liftings of Nichols algebras which were determined in arxiv.org:1003.5882.
Any finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group, with the possible exception of the Fischer groups Fi22, the Baby Monster B and the Monster M, is a group algebra.
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 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.
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.
In this paper, we prove that a non-semisimple Hopf algebra H of dimension 4p with p an odd prime over an algebraically closed field of characteristic zero is pointed provided H contains more than two group-like elements. In particular, we prove that non-semisimple Hopf algebras of dimensions 20, 28 and 44 are pointed or their duals are pointed, and this completes the classification of Hopf algebras in these dimensions.
We show that every finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group is a group algebra, except for the Fischer group Fi22, the Baby Monster and the Monster. For these three groups, we give a short list of irreducible Yetter-Drinfeld modules whose Nichols algebra is not known to be finite-dimensional.
In this paper, we study the representations of the new finite-dimensional pointed Hopf algebras in positive characteristic given in \cite{Cib09}. We find that these Hopf algebras are symmetric algebras. We determine the simple modules and their projective covers over these Hopf algebras. We show that these Hopf algebras are of wild representation type.
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…
In this paper we construct and study two new families of finite dimensional pointed Hopf algebras which generalize Radford's families. We show that over any infinite field which contains a primitive nth root of unity, one of the families contains infinitely many non-isomorphic Hopf algebras of any dimension of the form Nn^2, where 2<n<N are integers so that n divides N. We thus answer in the negative Kaplansky's 10th conjecture from 1975 on the finite number of types of Hopf algebras of a given dimension.