Finite-dimensional Pointed Hopf Algebras Research Articles

Annihilator Ideals of Indecomposable Modules of Finite-Dimensional Pointed Hopf Algebras of Rank One

Let [Formula: see text] be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. We describe all annihilator ideals of indecomposable [Formula: see text]-modules by generators. In particular, we give the classification of all ideals of the finite-dimensional pointed rank one Hopf algebra of nilpotent type over the Klein 4-group.

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type VII. Semisimple classes in PSLn(q) and PSp2n(q)

We show that the Nichols algebra of a simple Yetter-Drinfeld module over a projective special linear group over a finite field whose support is a semisimple orbit has infinite dimension, provided that the elements of the orbit are reducible; we obtain a similar result for all semisimple orbits in a finite symplectic group except in low rank. We prove that orbits of irreducible elements in the projective special linear groups of odd prime degree could not be treated with our methods. We conclude that any finite-dimensional pointed Hopf algebra H with group of group-like elements isomorphic to PSLn(q)(n≥4), PSL3(q)(q>2), or PSp2n(q)(n≥3), is isomorphic to a group algebra.

Pointed Hopf algebras of dimension p2q in characteristic p

Let k be an algebraically closed field of characteristic p. We give the complete classification of pointed Hopf algebras over k of dimension p2q for a prime number q. The result shows that there are finitely many isomorphism classes, including 10 classes that are not generated by group-like elements and skew-primitive elements. In particular, there are many new examples of finite-dimensional pointed Hopf algebras.

On non-connected pointed Hopf algebras of dimension 16 in characteristic 2

Let [Formula: see text] be an algebraically closed field. We give a complete classification of non-connected pointed Hopf algebras of dimension 16 with char [Formula: see text] 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.

Geometric perspective on Nichols algebras

We formulate the generation of finite dimensional pointed Hopf algebras by group-like elements and skew-primitives in geometric terms. This is done through a more general study of connected and coconnected Hopf algebras inside a braided fusion category C. We describe such Hopf algebras as orbits for the action of a reductive group on an affine variety. We then show that the closed orbits are precisely the orbits of Nichols algebras, and that all other algebras are therefore deformations of Nichols algebras. For the case where the category C is the category YDGG of Yetter-Drinfeld modules over a finite group G, this reduces the question of generation by group-like elements and skew-primitives to a geometric question about rigidity of orbits. Comparing the results of Angiono Kochetov and Mastnak, this gives a new proof for the generation of finite dimensional pointed Hopf algebras with abelian groups of group-like elements by skew-primitives and group-like elements. We show that if V is a simple object in C and B(V) is finite dimensional, then B(V) must be rigid. We also show that a non-rigid Nichols algebra can always be deformed to a pre-Nichols algebra or a post-Nichols algebra which is isomorphic to the Nichols algebra as an object of the category C.

Cohomology rings of finite-dimensional pointed Hopf algebras over abelian groups

We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras, we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties, we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In this paper, we complete the verification of these combinatorial properties for major parametric families, including Nichols algebras of Cartan and super types and develop all the theoretical foundations necessary for the case-by-case analysis. The remaining discrete families are addressed in a separate publication. As an application of the main theorem, we deduce finite generation of cohomology for other classes of finite-dimensional Hopf algebras, including basic Hopf algebras with abelian groups of characters and finite quotients of quantum groups at roots of one.

POINTED HOPF ACTIONS ON CENTRAL SIMPLE DIVISION ALGEBRAS

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, generalized Taft algebras with non-nilpotent skew primitive generators, and an example of non-Cartan type.

Ideals of Finite-Dimensional Pointed Hopf Algebras of Rank One

Let [Formula: see text] be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. In this paper we show that any finite-dimensional indecomposable [Formula: see text]-module is generated by one element. In particular, any indecomposable submodule of [Formula: see text] under the adjoint action is generated by a special element of [Formula: see text]. Using this result, we show that the Hopf algebra [Formula: see text] is a principal ideal ring, i.e., any two-sided ideal of [Formula: see text] is generated by one element. As an application, we give explicitly the generators of ideals, primitive ideals, maximal ideals and completely prime ideals of the Taft algebras.

EXAMPLES OF FINITE-DIMENSIONAL POINTED HOPF ALGEBRAS IN CHARACTERISTIC 2

AbstractWe present new examples of finite-dimensional Nichols algebras over fields of characteristic 2 from braided vector spaces that are not of diagonal type, admit realizations as Yetter–Drinfeld modules over finite abelian groups, and are analogous to Nichols algebras of finite Gelfand–Kirillov dimension in characteristic 0. New finite-dimensional pointed Hopf algebras over fields of characteristic 2 are obtained by bosonization with group algebras of suitable finite abelian groups.

Erratum to: Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type V. Mixed classes in Chevalley and Steinberg groups

The article title was originally published with typographical error.

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type V. Mixed classes in Chevalley and Steinberg groups

We show that all classes that are neither semisimple nor unipotent in finite simple Chevalley or Steinberg groups different from mathbf {PSL}_n(q) collapse (i.e. are never the support of a finite-dimensional Nichols algebra). As a consequence, we prove that the only finite-dimensional pointed Hopf algebra whose group of group-like elements is mathbf {PSp}_{2n}(q), mathbf {P}{varvec{Omega }}^+_{4n}(q), mathbf {P}{varvec{Omega }}^-_{4n}(q), ^3D_4(q), E_7(q), E_8(q), F_4(q), or G_2(q) with q even is the group algebra.

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type VI. Suzuki and Ree groups

We analyse the rack structure of conjugacy classes in simple Suzuki and Ree groups and determine which classes are kthulhu. Combining this results with abelian rack techniques, we show that the only finite-dimensional complex pointed Hopf algebras over the simple Suzuki and Ree groups are their group algebras.

Pointed Hopf algebras over non abelian groups with decomposable braidings, I

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.

Pointed Hopf algebras: a guided tour to the liftings

This article serves a two-fold purpose. On the one hand, it is asurvey 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 Cartan type B2.

Liftings of Nichols algebras of diagonal type II: all liftings are cocycle deformations

We classify finite-dimensional pointed Hopf algebras with abelian coradical, up to isomorphism, and show that they are cocycle deformations of the associated graded Hopf algebra. More generally, for any braided vector space of diagonal type V with a principal realization in the category of Yetter–Drinfeld modules of a cosemisimple Hopf algebra H and such that the Nichols algebra $$\mathfrak {B}(V)$$ is finite-dimensional, thus presented by a finite set $${{\mathcal {G}}}$$ of relations, we define a family of Hopf algebras $$\mathfrak {u}(\varvec{\lambda })$$ , $$\varvec{\lambda }\in \Bbbk ^{{{\mathcal {G}}}}$$ , which are cocycle deformations of $$\mathfrak {B}(V)\# H$$ and such that $${\text {gr}}\mathfrak {u}(\varvec{\lambda })\simeq \mathfrak {B}(V)\# H$$ .

Finite generation of some cohomology rings via twisted tensor product and Anick resolutions

Over a field of prime characteristic p>2, we prove that the cohomology rings of some pointed Hopf algebras of dimension p3 are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional pointed Hopf algebras in positive characteristic. They include bosonizations of Nichols algebras of Jordan type in a general setting. When p=3, we also consider their Hopf algebra liftings, that is Hopf algebras whose associated graded algebra with respect to the coradical filtration is given by such a bosonization. Our proofs are based on an algebra filtration and a lemma of Friedlander and Suslin, drawing on both twisted tensor product resolutions and Anick resolutions to locate the needed permanent cocycles in May spectral sequences.

On finite dimensional Nichols algebras of diagonal type

This is a survey on Nichols algebras of diagonal type with finite dimension, or more generally with arithmetic root system. The knowledge of these algebras is the cornerstone of the classification program of pointed Hopf algebras with finite dimension, or finite Gelfand–Kirillov dimension; and their structure should be indispensable for the understanding of the representation theory, the computation of the various cohomologies, and many other aspects of finite dimensional pointed Hopf algebras. These Nichols algebras were classified in Heckenberger (Adv Math 220:59–124, 2009) as a notable application of the notions of Weyl groupoid and generalized root system (Heckenberger in Invent Math 164:175–188, 2006; Heckenberger and Yamane in Math Z 259:255–276, 2008). In the first part of this monograph, we give an overview of the theory of Nichols algebras of diagonal type. This includes a discussion of the notion of generalized root system and its appearance in the contexts of Nichols algebras of diagonal type and (modular) Lie superalgebras. In the second and third part, we describe for each Nichols algebra in the list of Heckenberger (2009) the following basic information: the generalized root system; its label in terms of Lie theory; the defining relations found in Angiono (J Eur Math Soc 17:2643–2671, 2015; J Reine Angew Math 683:189–251, 2013); the PBW-basis; the dimension or the Gelfand–Kirillov dimension; the associated Lie algebra as in Andruskiewitsch et al. (Bull Belg Math Soc Simon Stevin 24(1):15–34, 2017). Indeed the second part deals with Nichols algebras related to Lie algebras and superalgebras in arbitrary characteristic, while the third contains the information on Nichols algebras related to Lie algebras and superalgebras only in small characteristic, and the few examples yet unidentified in terms of Lie theory.

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type III. Semisimple classes in PSL$_n(q)$

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to semisimple orbits, have infinite dimension. We introduce a new criterium to determine when a conjugacy class collapses and prove that for infinitely many pairs (n,q), any finite-dimensional pointed Hopf algebra H with G(H) = PSL(n,q) or SL(n,q) is isomorphic to a group algebra.

Pointed finite tensor categories over abelian groups

We give a characterization of finite pointed tensor categories obtained as de-equivariantizations of the category of corepresentations of finite-dimensional pointed Hopf algebras with abelian group of group-like elements only in terms of the (cohomology class of the) associator of the pointed part. As an application we prove that every coradically graded pointed finite braided tensor category is a de-equivariantization of the category of corepresentations of a finite-dimensional pointed Hopf algebras with abelian group of group-like elements.

Finite dimensional Nichols algebras over certain p-groups

ABSTRACTWe investigate pointed Hopf algebras over finite nilpotent groups of odd order, with nilpotency class 2. For such a group G, we show that if its commutator subgroup coincides with its center, then there exists no non-trivial finite-dimensional pointed Hopf algebra with kG as its coradical. We apply these results to non-abelian groups of order p3, p4 and p5, and list all the pointed Hopf algebras of order p6, whose group of grouplikes is non-abelian.