Search

This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The definition was given in Part I. The existence of a certain canonical idempotent element $E$ plays a central role. In this Part II, we develop the main theory, discussing the structure of our quantum groupoids. We will construct from the defining axioms the right/left regular representations and the antipode map., Comment: Some minor revisions made; Bibliography updated

In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the definition in the C*-algebra framework. Existence of a certain canonical idempotent element is required and it plays a fundamental role, including the establishment of the coassociativity of the comultiplication. This class contains locally compact quantum groups as a subclass.

Consider two non-degenerate algebras B and C over the complex numbers. We study a certain class of idempotent elements E in the multiplier algebra of the tensor product of B with C, called separability idempotents. The conditions include the existence of non-degenerate anti-homomorphisms from B to M(C) and from C to M(B), the multiplier algebras of C and B respectively. They are called the antipodal maps. There also exist what we call distinguished linear functionals. They are unique and faithful in the regular case. The notion is more restrictive than what is generally considered in the case of (finite-dimensional) algebras with identity. The separability idempotents we consider in this paper are of a Frobenius type. It seems to be quite natural to consider this type of separability idempotents in the case of non-degenerate algebras possibly without an identity. One example is coming from a discrete quantum group A. Here we take B=C=A and E is the image under the coproduct of h, where h is the normalized cointegral. The antipodal maps coincide with the original antipode and the distinguished linear functionals are the integrals. Another example is obtained from a weak multiplier Hopf algebra A. Now B and C are the images of the source and target maps. For E we take the canonical idempotent. Again the antipodal maps come from the antipode of the weak multiplier Hopf algebra. These two examples have motivated the study of separability idempotents as used in this paper. We use the separability idempotent to study modules over the base algebras B and C. In the regular case, we obtain a structure theorem for these algebras.

A weak multiplier Hopf algebra is a pair (A,\Delta) of a non-degenerate idempotent algebra A and a coproduct $\Delta$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra properties (like the existence of a counit). Further we impose extra but natural conditions on the ranges and the kernels of the canonical maps T_1 and T_2 defined from A\otimes A to M(A\otimes A) by T_1(a\otimes b)=\Delta(a)(1\otimes b) and T_2(a\ot b)=(a\otimes 1)\Delta(b). The first condition is about the ranges of these maps. It is assumed that there exists an idempotent element E\in M(A\otimes A) such that \Delta(A)(1\ot A)=E(A\ot A) and (A\otimes 1)\Delta(A)=(A\otimes A)E. The second condition determines the behavior of the coproduct on the legs of E. We require (\Delta\otimes \iota)(E)=(\iota\otimes\Delta)(E)=(1\otimes E)(E\ot 1)=(E\otimes 1)(1\otimes E) where $\iota$ is the identity map and where $\Delta\otimes \iota$ and $\iota\otimes\Delta$ are extensions to the multipier algebra M(A\otimes A). Finally, the last condition determines the kernels of the canonical maps T_1 and T_2 in terms of this idempotent E by a very specific relation. From these conditions we develop the theory. In particular, we construct a unique antipode satisfying the expected properties and various other data. Special attention is given to the regular case (that is when the antipode is bijective) and the case of a *-algebra (where regularity is automatic). Weak Hopf algebras are special cases of such weak multiplier Hopf algebras. Conversely, if the underlying algebra of a (regular) weak multiplier Hopf algebra has an identity, it is a weak Hopf algebra. Also any groupoid, finite or not, yields two weak multiplier Hopf algebras in duality.

Let $G$ be a {\it finite group}. Consider the algebra $A$ of all complex functions on G (with pointwise product). Define a coproduct $\Delta$ on A by $\Delta(f)(p,q)=f(pq)$ where $f\in A$ and $p,q\in G$. Then $(A,\Delta)$ is a Hopf algebra. If $G$ is only a {\it groupoid}, so that the product of two elements is not always defined, one still can consider $A$ and define $\Delta(f)(p,q)$ as above when $pq$ is defined. If we let $\Delta(f)(p,q)=0$ otherwise, we still get a coproduct on $A$, but $\Delta(1)$ will no longer be the identity in $A\ot A$. The pair $(A,\Delta)$ is not a Hopf algebra but a weak Hopf algebra. If $G$ is a {\it group}, but {\it no longer finite}, one takes for $A$ the algebra of functions with finite support. Then $A$ has no identity and $(A,\Delta)$ is not a Hopf algebra but a multiplier Hopf algebra. Finally, if $G$ is a {\it groupoid}, but {\it not necessarily finite}, the standard construction above, will give, what we call in this paper, a weak multiplier Hopf algebra. Indeed, this paper is devoted to the development of this 'missing link': {\it weak multiplier Hopf algebras}. We spend a great part of this paper to the motivation of our notion and to explain where the various assumptions come from. The goal is to obtain a good definition of a weak multiplier Hopf algebra. Throughout the paper, we consider the basic examples and use them, as far as this is possible, to illustrate what we do. In particular, we think of the finite-dimensional weak Hopf algebras. On the other hand however, we are also inspired by the far more complicated existing analytical theory. In forthcoming papers on the subject, we develop the theory further.

In this paper, we give an alternative approach to the theory of locally compact quantum groups, as developed by Kustermans and Vaes. We develop the theory completely within the von Neumann algebra framework. At various points, we also do things differently. We have a different treatment of the antipode. We obtain the uniqueness of the Haar weights in an early stage. We take advantage of this fact when deriving the other main results in the theory. We also give a slightly different approach to duality. Finally, we collect, in a systematic way, several important formulas. In an appendix, we indicate very briefly how the $C^*$-approach and the von Neumann algebra approach eventually yield the same objects.

Consider a C*-algebra $A$ with a comultiplication $\Delta$. This pair is usually thought of as locally compact quantum semi-group. When these notes were written, in 1993, it was not at all clear what the extra assumptions on the comultiplication should be for this pair to be a 'locally compact quantum group'. This only became clear in 1999 thanks to the work of Kustermans and Vaes. In the compact case however, rather natural conditions are formulated by Woronowicz and a good notion of a compact quantum group was available in 1993. In these notes, we consider another class of locally compact quantum groups. We assume the existence of a non-zero element $h$ in $A$ satisfying $\Delta(a)(1\otimes h)=a \otimes h$ for all $a$ in $A$. We add some natural conditions and we speak of a 'quasi-discrete locally compact quantum group'. We also discuss the discrete case. We prove the existence of the Haar measure, the regular representation, the fundamental unitary and we obtain the reduced dual. The quasi-discrete case is, in principle, more general than the discrete case. Shortly after these notes were written, Kustermans showed that in fact, the two classes coincided. For this reason, these notes have not been published. Nevertheless, some of the results and techniques seem to be usful and in recent work, we came across similar settings. Therefore, we have decided to make these notes available on the net. We have added some comments at the end of the introduction and we have updated the reference list. But apart from these minor changes, the notes are still as they were written and distributed in 1993.

Any multiplier Hopf *-algebra} with positive integrals gives rise to a locally compact quantum group (in the sense of Kustermans and Vaes). As a special case of such a situation, we have the compact quantum groups (in the sense of Woronowicz) and the discrete quantum groups (as introduced by Effros and Ruan). In fact, the class of locally compact quantum groups arising from such multiplier Hopf *-algebras} is self-dual. The most important features of these objects are (1) that they are of a purely algebraic nature and (2) that they have already a great complexity, very similar to the general locally compact quantum groups. This means that they can serve as a good model for the general objects, at least from the purely algebraic point of view. They can therefore be used to study various aspects of the general case, without going into the more difficult technical aspects, due to the complicated analytic structure of a general locally compact quantum group. In this paper, we will first recall the notion of a multiplier Hopf *-algebra} with positive integrals. Then we will illustrate how these {\it algebraic quantum groups} can be used to gain a deeper understanding of the general theory. An important tool will be the Fourier transform. We will also concentrate on certain actions and how they behave with respect to this Fourier transform. On the one hand, we will study this in a purely algebraic context while on the other hand, we will also pass to the Hilbert space framework.

The classical duality theory associates to an abelian group a dual companion. Passing to a non-abelian group, a dual object can still be defined, but it is no longer a group. The search for a broader category which should include both the groups and their duals, points towards the concept of quantization. Classically, the regular representation of a group contains the complete information about the structure of this group and its dual. In this article, we follow Baaj and Skandalis and study duality starting from an abstract version of such a representation: the multiplicative unitary. We suggest extra conditions which will replace the regularity and irreducibility of the multiplicative unitary. From the proposed structure of a "quantum group frame", we obtain two objects in duality. We equip these objects with certain group-like properties, which make them into candidate quantum groups. We consider the concrete example of the quantum az+b-group, and discuss how it fits into this framework. Finally, we construct the crossed product of a quantum group frame with a locally compact group.

The Haar measure on some locally compact quantum groups is constructed. The main example we treat is the az+b-group of Woronowicz. We also briefly consider some other examples (like the ax+b-group). We get the first examples of a locally compact quantum group where the Haar measure is not invariant with respect to the scaling group.

In this paper we introduce the notion of a Hopf C*-algebra and construct the counit and antipode. A Hopf C*-algebra is a C*-algebra with comultiplication satisfying some extra condition which makes possible the construction of the counit and antipode. The leading example is of course the C*-algebra of continuous, vanishing at infinity functions on a locally compact group. Also locally compact quantum groups will be examples. We include several formulas for the counit and antipode which are familiar from Hopf algebra theory., Comment: 50 pages, LaTeX 2e

We have written down a set of notes on compact quantum groups from which all the different aspects can be learned in an easy way and such that a lot of insight can be obtained without too much effort. Compact quantum groups have been studied by several authors, from different points of view. The difference lies mainly in the choice of the axioms and consequently, in the way the main results are proven. These results however are essentially the same in all these cases. In these notes, we mainly follow the approach of Woronowicz and we extensively motivate this choice. We give a complete and rather detailed treatment, starting from a simple set of axioms and obtaining the main results. We also discuss the most common examples and show how they fit into the framework. During this process, we compare with the existing other treatments., Comment: 43 pages, latex2e