Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

Relative PBW Type Theorems for Symmetrically Braided Hopf Algebras

We show that, for any irreducible symmetrically braided Hopf algebra over a field of characteristic zero, the associated graded algebra with respect to the coradical filtration is a braided symmetric algebra. Consequently, we obtain conditions for a braided Hopf algebra to be of Poincaré–Birkhoff–Witt (PBW) type as module over a braided Hopf subalgebra containing the coradical.     

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.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

A Characterization of Quasitriangular Hopf Algebras

In this paper,we show that if H is a finite dimensional Hopf algebra then H is quasitri-angular if and only if H is coquasi-triangular. As a consequentility ,we obtain a generalized result of Sauchenburg.     

Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras

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.     

Excision in Hopf Cyclic Homology

In this paper, we show that, under natural homological conditions, Hopf cyclic homology theory has excision.     

On the exponent of finite-dimensional non-cosemisimple Hopf algebras

In 1999, Kashina introduced the exponent of a Hopf algebra. In this article, we prove that the exponent of a finite-dimensional non-cosemisimple Hopf algebra with Chevalley property in characteristic 0 is infinite, and the exponent of a finite-dimensional non-cosemisimple pointed Hopf algebra in positive characteristic is finite.     

Non-commutative Hopf algebra of formal diffeomorphisms

This paper deals with two Hopf algebras which are the non-commutative analogues of two different groups of formal power series. The first group is the set of invertible series with the group law being multiplication of series, while the second is the set of formal diffeomorphisms with the group law being a composition of series. The motivation to introduce these Hopf algebras comes from the study of formal series with non-commutative coefficients. Invertible series with non-commutative coefficients still form a group, and we interpret the corresponding new non-commutative Hopf algebra as an alternative to the natural Hopf algebra given by the co-ordinate ring of the group, which has the advantage of being functorial in the algebra of coefficients. For the formal diffeomorphisms with non-commutative coefficients, this interpretation fails, because in this case the composition is not associative anymore. However, we show that for the dual non-commutative algebra there exists a natural co-associative co-product defining a non-commutative Hopf algebra. Moreover, we give an explicit formula for the antipode, which represents a non-commutative version of the Lagrange inversion formula, and we show that its coefficients are related to planar binary trees. Then we extend these results to the semi-direct co-product of the previous Hopf algebras, and to series in several variables. Finally, we show how the non-commutative Hopf algebras of formal series are related to some renormalization Hopf algebras, which are combinatorial Hopf algebras motivated by the renormalization procedure in quantum field theory, and to the renormalization functor given by the double-tensor algebra on a bi-algebra.     

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.      

New coefficients for Hopf Cyclic Cohomology

In this note, the categories of coefficients for Hopf cyclic cohomology of comodule algebras and comodule coalgebras are extended. We show that these new categories have two proper different subcategories where the smallest one is the known category of stable anti Yetter–Drinfeld modules. We prove that components of Hopf cyclic cohomology such as cup products work well with these new coefficients.     

On Semisimple Hopf Algebras of Dimension pq2, II

We obtain further classification results for semisimple Hopf algebras of dimension pq ² over an algebraically closed field k of characteristic zero. We complete the classification of semisimple Hopf algebras of dimension 28.     

Traces on Multiplier Hopf Algebras

In this article we lay the algebraic foundations to establish the existence of trace functions on infinite-dimensional (multiplier) Hopf algebras. We solve the problem within the framework of multiplier Hopf algebra with integrals. By applying this theory to group-cograded multiplier Hopf algebras, we prove the existence of group-traces on group-cograded multiplier Hopf algebras with possibly infinite-dimensional components. We generalize the results as obtained by Virelizier in the case of finite-type Hopf group-coalgebras.     

Cleft extensions of a family of braided Hopf algebras

We introduce a family of braided Hopf algebras that (in characteristic zero) generalizes the rank 1 Hopf algebras introduced by Krop and Radford and we study its cleft extensions.     

Cocycle deformations and Galois objects of semisimple Hopf algebras of dimension 16

Abstract

In this article, we determine cocycle deformations and Galois objects of non-commutative and non-cocommutative semisimple Hopf algebras of dimension 16. We show that these Hopf algebras are pairwise twist inequivalent mainly by calculating their higher Frobenius-Schur indicators, and that except three Hopf algebras which are cocycle deformations of dual group algebras, none of them admit non-trivial cocycle deformations.     

Hopf Algebras of Dimension 12

We conclude the classification of Hopf algebras of dimension 12 over an algebraically closed field of characteristic zero.     

The planar algebra of a semisimple and cosemisimple Hopf algebra

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.     

A New Cyclic Module for Hopf Algebras

We define a new cyclic module, dual to the Connes–Moscovici cocyclic module, for Hopf algebras, and give a characteristic map for coactions of Hopf algebras. We also compute the resulting cyclic homology for cocommutative Hopf algebras, and some quantum groups.     

Galois Theory for Multiplier Hopf Algebras with Integrals

In this paper, we introduce a generalized Hopf Galois theory for regular multiplier Hopf algebras with integrals, which might be viewed as a generalization of the Hopf Galois theory of finite-dimensional Hopf algebras. We introduce the notion of a coaction of a multiplier Hopf algebra on an algebra. We show that there is a duality for actions and coactions of multiplier Hopf algebras with integrals. In order to study the Galois (co)action of a multiplier Hopf algebra with an integral, we construct a Morita context connecting the smash product and the coinvariants. A Galois (co)action can be characterized by certain surjectivity of a canonical map in the Morita context. Finally, we apply the Morita theory to obtain the duality theorems for actions and coactions of a co-Frobenius Hopf algebra.