A Note on the Antipode for Algebraic Quantum Groups

Radford's [formula omitted] formula for co-Frobenius Hopf algebras

We give an elementary introduction to the theory of algebraic and topological quantum groups (in the spirit of S. L. Woronowicz). In particular, we recall the basic facts from Hopf (*-) algebra theory, theory of compact (matrix) quantum groups and the theory of their actions on compact quantum spaces. We also provide the most important examples, including the classification of quantum SL(2)-groups, their real forms and quantum spheres. We also consider quantum SLq(N)-groups and quantum Lorentz groups.

A fundamental problem in the theory of Hopf algebras is the classification and construction of finite-dimensional (minimal) triangular Hopf algebras (A,R) introduced by Drinfeld. Only recently Etingof and the author completely solved this problem for semisimple A over algebraically closed fields of characteristics 0 and p>>dim(A) (any p if one assumes that A is also cosemisimple). In this paper we take the first step towards solving this problem for finite-dimensional pointed Hopf algebras over an algebraically closed field k of characteristic 0. We first prove that the fourth power of the antipode of any triangular pointed Hopf algebra A is the identity. We do that by focusing on minimal triangular pointed Hopf algebras (A,R) (every triangular Hopf algebra contains a minimal triangular sub Hopf algebra) and proving that the group algebra of the group of grouplike elements of A (which must be abelian) admits a minimal triangular structure and consequently that A has the structure of a biproduct. We also generalize our result on the order of the antipode to any finite-dimensional quasitriangular Hopf algebra A whose Drinfeld element u acts as a scalar in any irreducible representation of A (e.g. when A^* is pointed). Second, we describe a method of construction of finite-dimensional pointed Hopf algebras which admit a minimal triangular structure, and classify all their minimal triangular structures. We conclude the paper by proving that any minimal triangular Hopf algebra which is generated as an algebra by grouplike elements and skew primitive elements is isomorphic to a minimal triangular Hopf algebra constructed using our method.

Twisted tensor coproduct of multiplier Hopf algebras

Let [Formula: see text] be a groupoid and assume that [Formula: see text] is a family of algebras with identity. First, we introduce the notion of a weak Hopf (groupoid)[Formula: see text]-coalgebra by that if, for each pair [Formula: see text], there is given a unital homomorphism [Formula: see text] satisfying certain properties, generalizing the notion of Hopf group-coalgebras as introduced by Turaev from groups to groupoids and Hopf algebra structures to weak Hopf algebra structures. Then one considers now the direct sum [Formula: see text] of these algebras. It is an algebra, without identity, except when [Formula: see text] is a finite groupoid, but the product is non-degenerate. The maps [Formula: see text] can be used to define a coproduct [Formula: see text] on [Formula: see text] and the conditions imposed on these maps give that [Formula: see text] is a weak multiplier Hopf algebra. It is [Formula: see text]-cograded as explained in this paper. We study these so-called groupoid-cograded weak multiplier Hopf algebras. They are, as explained above, more general than the weak Hopf group-coalgebras (introduced by Van Daele and Wang), generalizing the Turaev’s Hopf group-coalgebras. Moreover, our point of view makes it possible to use results and techniques from the theory of weak multiplier Hopf algebras in the study of weak Hopf groupoid-coalgebras (and generalizations).

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

Hopf algebras have important connections to quantum theory, Lie algebras, knot and braid theory, operator algebras and other areas of physics and mathematics. They have been intensely studied in the past; in particular, the solution of a number of conjectures of Kaplansky from the 1970s has led to progress on the classification of semisimple Hopf algebras and on the structure of pointed Hopf algebras. Among the topics covered are results toward the classification of finite-dimensional Hopf algebras (semisimple and non-semisimple), as well as what is known about the extension theory of Hopf algebras. Some papers consider Hopf versions of classical topics, such as the Brauer group, while others are closer to work in quantum groups. The book also explores the connections and applications of Hopf algebras to other fields.

Weak Hopf Algebras: I. Integral Theory and C-Structure

M. E. Sweedler first constructed a universal Hopf algebra of an algebra. It is known that the dual notions to the existing ones play a dominant role in Hopf algebra theory. Yu. I. Manin and D. Tambara introduced the dual notion of Sweedler's construction in separate works. In this paper, we construct a universal algebra for a finite-dimensional Lie-Yamaguti algebra. We demonstrate that this universal algebra possesses a bialgebra structure, leading to a universal coacting Hopf algebra for a finite-dimensional Lie-Yamaguti algebra. Additionally, we develop a representation-theoretic version of our results. As an application, we characterize the automorphism group and classify all abelian group gradings of a finite-dimensional Lie-Yamaguti algebra.

Symmetries of Lévy processes on compact quantum groups, their Markov semigroups and potential theory

Quantum groups have been studied intensively for the last two decades from various points of view. The underlying mathematical structure is that of an algebra with a coproduct. Compact quantum groups admit Haar measures. However, if we want to have a Haar measure also in the noncompact case, we are forced to work with algebras without identity, and the notion of a coproduct has to be adapted. These considerations lead to the theory of multiplier Hopf algebras, which provides the mathematical tool for studying noncompact quantum groups with Haar measures. I will concentrate on the *-algebra case and assume positivity of the invariant integral. Doing so, I create an algebraic framework that serves as a model for the operator algebra approach to quantum groups. Indeed, the theory of locally compact quantum groups can be seen as the topological version of the theory of quantum groups as they are developed here in a purely algebraic context.

Let ⟨ A, B⟩ be a pairing of two regular multiplier Hopf algebras A and B. One method of constructing the Drinfel'd double 𝒟 = A⋈ B cop is by the use of an invertible twist map R: B⊗ A→ A⊗ B defining an associative product on A⊗ B. In Delvaux (2003) and Drabant and Van Daele (2001), the authors construct R by , where R 2 and is only related to the module actions between A and B. Another way is given in Delvaux and Van Daele (2004a) in which the authors also just consider the module actions and then construct the Drinfel'd double 𝒟 as an algebra of operators on the vector space B⊗ A. In this article we will give two different points of view of constructing the Drinfel'd double 𝒟 for multiplier Hopf algebras. The first is that the Drinfel'd double 𝒟 associated to the pairing ⟨ A, B⟩ is constructed by using not only the module actions but also the comodule coactions, i.e., the Drinfel'd double 𝒟 is given in the framework of a special twisted tensor product algebra structure A ⊡ A op ⊗ A B. The second is as follows: If P is a multiplier Hopf algebra and a reduced (A, B)-bicomodule algebra (an A-Long module algebra), then we present a twisting construction of the product of P via the coactions of A and B on P, and we show that the Drinfel'd double 𝒟 is isomorphic as a multiplier Hopf algebra to the opposite twisting of (A op, cop ⊗ B op, cop ). As an application of our theory, we consider the case of group-cograded multiplier Hopf algebras and the case of Hopf group-coalgebras.

This is an informal introduction to the theory of quasitriangular Hopf algebras and its connections with physics. Basic properties and applications of Hopf algebras and Yang-Baxter equations are reviewed, with the quantum group Uq(sl2) as a frequent example. The development builds up to the representation theory of quasitriangular Hopf algebras. Much of the abstract representation theory is new, including a formula for the rank of a representation.

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000). Finally, we study regular multiplier Hopf algebras of η -discrete type.

We find a finite free resolution of the counit of the free unitary quantum groups of van Daele and Wang and, more generally, Bichon's universal cosovereign Hopf algebras with a generic parameter matrix. This allows us to compute Hochschild cohomology with one‐dimensional coefficients for all these Hopf algebras. In fact, the resolutions can be endowed with a Yetter–Drinfeld structure. General results of Bichon then allow us to compute also the corresponding bialgebra cohomologies. Finding the resolution rests on two pillars. We take as a starting point the resolution for the free orthogonal quantum group presented by Collins, Härtel, and Thom or its algebraic generalization to quantum symmetry groups of bilinear forms due to Bichon. Then, we make use of the fact that the free unitary quantum groups and some of its non‐Kac versions can be realized as a glued free product of a (non‐Kac) free orthogonal quantum group with , the finite group of order 2. To obtain the resolution also for more general universal cosovereign Hopf algebras, we extend Gromada's proof from compact quantum groups to the framework of matrix Hopf algebras. As a by‐product of this approach, we also obtain a projective resolution for the freely modified bistochastic quantum groups. Only a special subclass of free unitary quantum groups and universal cosovereign Hopf algebras decompose as a glued free product in the described way. In order to verify that the sequence we found is a free resolution in general (as long as the parameter matrix is generic, two conditions which are automatically fulfilled in the free unitary quantum group case), we use the theory of Hopf bi‐Galois objects and Bichon's results on monoidal equivalences between the categories of Yetter–Drinfeld modules over universal cosovereign Hopf algebras for different parameter matrices.