Finite dimensional Nichols algebras over certain p-groups

We 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 p³, p⁴ and p⁵, and list all the pointed Hopf algebras of order p⁶, whose group of grouplikes is non-abelian.     

Classification of Pointed Hopf Algebras of Dimension p 2 over any Algebraically Closed Field

Let p be a prime. We complete the classification of pointed Hopf algebras of dimension p ² over an algebraically closed field k. When char k?≠?p, our result is the same as the well-known result for char k?=?0. When char k?=?p, we obtain 14 types of pointed Hopf algebras of dimension p ², including a unique noncommutative and noncocommutative type.     

Techniques for Classifying Hopf Algebras and Applications to Dimension p 3

Classifying Hopf algebras of a given finite dimension n over ? is a challenging problem. If n is p, p², 2p, or 2p² with p prime, the classification is complete. If n = p³, the semisimple and the pointed Hopf algebras are classified, and much progress on the remaining cases was made by the second author but the general classification is still open. Here we outline some results and techniques which have been useful in approaching this problem and add a few new ones. We give some further results on Hopf algebras of dimension p³ and finish the classification for dimension 27.     

Quasitriangular Pointed Hopf Algebras Constructed by Ore Extensions

We study the quasitriangular structures for a family of pointed Hopf algebras which is big enough to include Taft's Hopf algebras H _n ², Radford's Hopf algebras H _N,n,q, and E(n). We give necessary and sufficient conditions for the Hopf algebras in our family to be quasitriangular. For the case when they are, we determine completely all the quasitriangular structures. Also, we determine the ribbon elements of the quasitriangular Hopf algebras and the quasi-ribbon elements of their Drinfel'd double.     

Cocycles on a finite dimensional quotient of uq (sl(2))

We prove that certain algebra quotients of Hopf algebras are twisted Hopf algebras. On the other handu_q (sl(2)) is a crossed product of a central subalgebra with a quotient [Ubar], when q is a root of 1. Using the cocycle involved in this crossed product we construct non-trivial complex cocycles τ and we find the isomorphism classes of the corresponding twisted Hopf algebras _τ [Ubar]. These provide complex projective representations of [Ubar] which are not ordinary representations.     

Automorphism groups of pointed Hopf algebras

The group of Hopf algebra automorphisms for a finite-dimensional semisimple cosemisimple Hopf algebra over a field k was considered by Radford and Waterhouse. In this paper, the groups of Hopf algebra automorphisms for two classes of pointed Hopf algebras are determined. Note that the Hopf algebras we consider are not semisimple Hopf algebras.      

Finite quantum groups over abelian groups of prime exponent

We classify pointed finite-dimensional complex Hopf algebras whose group of group-like elements is abelian of prime exponent p, p>17. The Hopf algebras we find are members of a general family of pointed Hopf algebras we construct from Dynkin diagrams. As special cases of our construction we obtain all the Frobenius-Lusztig kernels of semisimple Lie algebras and their parabolic subalgebras. An important step in the classification result is to show that all these Hopf algebras are generated by group-like and skew-primitive elements.     

Weakly group-theoretical and solvable fusion categories

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups – weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group-theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq², where p,q,r are distinct primes.     

Hochschild Cohomology and the Coradical Filtration of Pointed Coalgebras: Applications

In this paper we show that there is a close connection between the coradical filtration of a pointed coalgebra and the Hochschild cohomology of that coalgebra with coefficients in some one-dimensional bicomodules. As an application, for a given prime numberpand an algebraically closed fieldkof characteristic 0, we classify all pointed Hopf algebras of dimensionp³overk.     

Pointed hopf algebras of dimension 32

We give a complete classification of the 32-dimensional pointed Hopf algebras over an algebraically closed field k with chark k ≠ 2. It turns out that there are infinite families of isomorphism classes of pointed Hopf algebras of dimension 32. In [AS1], [BDG] and [Ge] are given families of counterexamples for the tenth Kaplansky conjecture. Up to now, 32 is the lowest dimension where Kaplansky conjecture fails.     

Breuil–Kisin Modules and Hopf Orders in Cyclic Group Rings

For K, a finite extension of ? _p with ring of integers R, we show how Breuil–Kisin modules can be used to determine Hopf orders in K-Hopf algebras of p-power dimension. We find all cyclic Breuil–Kisin modules and use them to compute all of the Hopf orders in the group ring KΓ where Γ is cyclic of order p or p ². We also give a Laurent series interpretation of the Breuil–Kisin modules that give these Hopf orders.     

The Structure Theorem of Weak Comodule Algebras

This article mainly gives the structure theorem of weak comodule algebras, that is, assume that H is a weak Hopf algebra, and B a weak right H-comodule algebra, if there exists a morphism φ: H → B of a weak right H-comodule algebras, then there exists an algebra isomorphism: B ? B ^coH #H, where B ^coH denotes the coinvariant subalgebra of B, and B ^coH #H denotes the weak smash product.     

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 $p^3$ 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.     

Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique

Let F be a finite extension of ℚ _p . For each integer n≥1, we construct a bijection from the set ?_F ⁰ (n) of isomorphism classes of irreducible degree n representations of the (absolute) Weil group of F, onto the set ? _F ⁰ (n) of isomorphism classes of smooth irreducible supercuspidal representations of GL _n (F). Those bijections preserve epsilon factors for pairs and hence we obtain a proof of the Langlands conjectures for GL _n over F, which is more direct than Harris and Taylor’s. Our approach is global, and analogous to the derivation of local class field theory from global class field theory. We start with a result of Kottwitz and Clozel on the good reduction of some Shimura varieties and we use a trick of Harris, who constructs non-Galois automorphic induction in certain cases. Oblatum 1-III-1999 & 21-VII-1999 / Published online: 29 November 1999     

Group-cograded Multiplier Hopf ${\left( { * {\text{ - }}} \right)}$algebras

Let G be a group and assume that (A _p ) _p∈G is a family of algebras with identity. We have a Hopf G-coalgebra (in the sense of Turaev) if, for each pair p,q ∈ G, there is given a unital homomorphism Δ _p,q : A _pq → A _p ⊗ A _q satisfying certain properties. Consider now the direct sum A of these algebras. It is an algebra, without identity, except when G is a finite group, but the product is non-degenerate. The maps Δ _p,q can be used to define a coproduct Δ on A and the conditions imposed on these maps give that (A,Δ) is a multiplier Hopf algebra. It is G-cograded as explained in this paper. We study these so-called group-cograded multiplier Hopf algebras. They are, as explained above, more general than the Hopf group-coalgebras as introduced by Turaev. Moreover, our point of view makes it possible to use results and techniques from the theory of multiplier Hopf algebras in the study of Hopf group-coalgebras (and generalizations). In a separate paper, we treat the quantum double in this context and we recover, in a simple and natural way (and generalize) results obtained by Zunino. In this paper, we study integrals, in general and in the case where the components are finite-dimensional. Using these ideas, we obtain most of the results of Virelizier on this subject and consider them in the framework of multiplier Hopf algebras. Presented by Ken Goodearl.     

Defending the negated Kaplansky conjecture

To answer in the negative a conjecture of Kaplansky, four recent papers independently constructed four families of Hopf algebras of fixed finite dimension, each of which consisted of infinitely many isomorphism classes. We defend nevertheless the negated conjecture by proving that the Hopf algebras in each family are cocycle deformations of each other.

     

Structure Theorems for Semisimple Hopf Algebras of Dimension pq 3

Let p, q be prime numbers with p > q ³, and k an algebraically closed field of characteristic 0. In this article, we obtain the structure theorems for semisimple Hopf algebras of dimension pq ³.     

Quiver Hopf algebras

In this paper we study subHopfalgebras of graded Hopf algebra structures on a path coalgebra kQ^c. We prove that a Hopf structure on some subHopfquivers can be lifted to a Hopf structure on the whole Hopf quiver. If Q is a Schurian Hopf quiver, then we classified all simple-pointed subHopfalgebras of a graded Hopf structure on kQ^c. We also prove a dual Gabriel theorem for pointed Hopf algebras.