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.     

Weak Hopf lemma for the invariant Laplacian and related elliptic operators

We obtain a weak version of the Hopf lemma for the invariant Laplacian on the unit ball of the complex n$n$-space. We also show that our result is sharp in some sense. Motivated by this result, we also consider a class of degenerate elliptic operators with the degeneracy depending on the distance to the boundary of the domain. We study the dependence of the validity of Hopf lemma on the degree of degeneracy of the operator. We show that Hopf lemma holds if the degeneracy is small and fails in general if the degeneracy is large. What is more interesting is the critical case for which we show that certain weak version of Hopf lemma holds.     

Hopf bifurcation in a three-species system with delays

A kind of three-species system with Holling II functional response and two delays is introduced. Its local stability and the existence of Hopf bifurcation are demonstrated by analyzing the associated characteristic equation. By using the normal form method and center manifold theorem, explicit formulas to determine the direction of the Hopf bifurcation and the stability of bifurcating periodic solution are also obtained. In addition, the global existence results of periodic solutions bifurcating from Hopf bifurcations are established by using a global Hopf bifurcation result. Numerical simulation results are also given to support our theoretical predictions.     

Cleft extensions in braided categories

Majid in [14] and Bespalov in [2] obtain a braided interpretation of Radford’s theorem about Hopf algebras with projection ([19]). In this paper we introduce the notion of H-cleft comodule (module) algebras (coalgebras) for a Hopf algebra H in a braided monoidal category, and we characterize it as crossed products (coproducts). This allows us give very short proofs for know results in our context, and to introduce others stated for the category of R-modules about of Hopf algebra extensions. In particular we give a proof of the result by Bespalov [2] for a braided monoidal category with co(equalizers).     

Cohomological properties of the quantum shuffle product and application to the construction of quasi-Hopf algebras

For a commutative algebra the shuffle product is a morphism of complexes. We generalize this result to the quantum shuffle product, associated to a class of non-commutative algebras (for example all the Hopf algebras). As a first application we show that the Hochschild-Serre identity is the dual statement of our result. In particular, we extend this identity to Hopf algebras. Secondly, we clarify the construction of a class of quasi-Hopf algebras.     

Graded group schemes and graded group varieties

We define graded group schemes and graded group varieties and develop their theory. Graded group schemes are the graded analogue of a?ne group schemes and are in correspondence with graded Hopf algebras. Graded group varieties take the place of infinitesimal group schemes. We generalize the result that connected graded bialgebras are graded Hopf algebra to our setting and we describe the algebra structure of graded group varieties. We relate these new objects to the classical ones providing a new and broader framework for the study of graded Hopf algebras and a?ne group schemes.     

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.     

Quantum families of quantum group homomorphisms

The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a state). In this paper, we define a quantum family of homomorphisms of locally compact quantum groups. Roughly speaking, we show that such a family is classical. The purely algebraic counterpart of the discussed notion, i.e. a quantum family of homomorphisms of Hopf algebras, is introduced and the algebraic counterpart of the aforementioned result is proved. Moreover, we show that a quantum family of homomorphisms of Hopf algebras is consistent with the counits and coinverses of the given Hopf algebras. We compare our concept with weak coactions introduced by Andruskiewitsch and we apply it to the analysis of adjoint coaction.     

A Categorical Approach to Turaev's Hopf Group-Coalgebras

We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an application, we give an alternative approach to Virelizier's version of the Fundamental Theorem for Hopf algebras. We introduce Yetter–Drinfeld modules over Hopf group-coalgebras using the center construction.     

On corepresentations of multiplier Hopf algebras

We present a general construction producing a unitary corepresentation of a multiplier Hopf algebra in itself and study RR-corepresentations of twisted tensor coproduct multiplier Hopf algebra. Then we investigate some properties of functors, integrals and morphisms related to the categories of the crossed modules and covariant modules over multiplier Hopf algebras. By doing so, we can apply our theory to the case of group-cograded multiplier Hopf algebras, in particular, the case of Hopf group-coalgebras.     

Semidirect products of weak multiplier Hopf algebras: Smash products and smash coproducts

In this paper, we will develop the smash product of weak multiplier Hopf algebras unifying the cases of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras. We will show that the smash product R#A has a regular weak multiplier Hopf algebra structure if R and A are regular weak multiplier Hopf algebras. We shall investigate integrals on R#A. We also consider the result in the ?-situation and new examples. Dually, we consider the smash coproduct of weak multiplier Hopf algebras under an appropriate form and integrals on the smash coproduct and we obtain results in the ?-situation.     

Representation-theoretic rank and double hopf algebras

We compute the intrinsic category-theoretic rank: for quasitriangular Hopf algebras in the case of the quantum double Hopf algebra of Drinfeld. The result is closely related ti recent Hopf algebra invariants of Larson and Radford.     

Hopf algebra forms of the multiplicative group and other groups

The multiplicative group functor, which associates with each k-algebra its group of units, is affine with Hopf algebra k[x,x^–1]. The purpose of this paper is to determine explicitly all Hopf algebra forms of k[x,x^–1] with only minor restrictions on k (2 not a zero-divisor and Pic₍₂₎(k)=0). We also describe explicitly (by generators and relations) the Hopf algebra forms of kC₃, kC₄ and kC₆, where C_n is the cyclic group of order n. Some of our results could be drawn from [1,III §5.3.3] where a similar result as ours is indicated (and left as an exercise). We prefer however a less technical approach, in particular we do not use the extended theory of algebraic groups and functor sheaves.     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

The Steenrod Algebra and Other Copolynomial Hopf Algebras

We say that a Hopf algebra is copolynomial if its dual is polynomialas an algebra. We re-derive Milnor's result that the mod 2 Steenrodalgebra is copolynomial by means of a more general result thatis also applicable to a number of other related Hopf algebras.1991 Mathematics Subject Classification 55S10, 16W30.     

A semi-abelian extension of a theorem by Takeuchi

We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor–Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebras, and this leads to the proof that two definitions of crossed modules of cocommutative Hopf algebras are equivalent in this context.     

Formal Hopf algebra theory I: Hopf modules for pseudomonoids

In this article we develop some of the basic constructions of the theory of Hopf algebras in the context of autonomous pseudomonoids in monoidal bicategories. We concentrate on the notion of Hopf modules. We study the existence and the internalisation of this notion, called the Hopf module construction. Our main result is the equivalence between the existence of a left dualization for A (i.e., A is left autonomous) and the validity of an analogue of the structure theorem of Hopf modules. In this case a Hopf module construction for A always exists. We recover from the general theory developed here results on coquasi-Hopf algebras.     

On Hopf Algebras and Their Generalizations

We survey Hopf algebras and their generalizations. In particular, we compare and contrast three well-studied generalizations (quasi-Hopf algebras, weak Hopf algebras, and Hopf algebroids), and two newer ones (Hopf monads and hopfish algebras). Each of these notions was originally introduced for a specific purpose within a particular context; our discussion favors applicability to the theory of dynamical quantum groups. Throughout the note, we provide several definitions and examples in order to make this exposition accessible to readers with differing backgrounds.     

Some Computations of Frobenius–Schur Indicators of the Regular Representations of Hopf Algebras

We study Frobenius–Schur indicators of the regular representations of finite-dimensional semisimple Hopf algebras, especially group-theoretical ones. Those of various Hopf algebras are computed explicitly. In view of our computational results, we formulate the theorem of Frobenius for semisimple Hopf algebras and give some partial results on this problem.     

Abstract Hopf bifurcation theorem and further extensions via second variation

Sufficient conditions of bifurcation stated in Arutyunov et al. (2009) [5] are investigated in order to reconsider celebrated Hopf bifurcation as the simplest bifurcation of Fredholm operators of zero index. In several examples abstract result is applied to both finite and infinite dynamical systems exhibiting classical Hopf bifurcation as well as double Hopf bifurcation.