A Remark on Twists and the Notion of Torsion-free Discrete Quantum Groups

In this paper twists of reduced locally compact quantum groups are studied. Twists of the dual coaction on a reduced crossed product are introduced and the twisted dual coactions are proved to satisfy a type of Takesaki–Takai duality. The twisted Takesaki–Takai duality implies that twists of discrete, torsion-free quantum groups are torsion-free. Cocycle twists of duals of semisimple, compact Lie are studied leading to a locally compact quantum group contained in the Drinfeld–Jimbo algebra which gives a dual notion of Woronowicz deformations for semisimple, compact Lie groups. These cocycle twists are proven to be torsion-free whenever the Lie group is simply connected.     

Pontryagin Duality for a Class of Locally Compact Quantum Groups

A class of locally compact quantum semigroups in the sense of WORONOWICZ , containing the quantized Heisenberg group, is studied. The underlying quantum space is described in terms of a crossed product. We show the existence of a universal corepresentation and a Pontryagin dual, which turns out to be a twisted crossed product. The Pontryagin duality for these quantum semigroups is investigated.     

On the similarity problem for locally compact quantum groups

A well-known theorem of Day and Dixmier states that any uniformly bounded representation of an amenable locally compact group G on a Hilbert space is similar to a unitary representation. Within the category of locally compact quantum groups, the conjectural analogue of the Day–Dixmier theorem is that every completely bounded Hilbert space representation of the convolution algebra of an amenable locally compact quantum group should be similar to a ?-representation. We prove that this conjecture is false for a large class of non-Kac type compact quantum groups, including all q-deformations of compact simply connected semisimple Lie groups. On the other hand, within the Kac framework, we prove that the Day–Dixmier theorem does indeed hold for several new classes of examples, including amenable discrete quantum groups of Kac-type.     

Galois groups of quantum group actions and regularity of fixed-point algebras

It is shown that, for a minimal and integrable action of a locally compact quantum group on a factor, the group of automorphisms of the factor leaving the fixed-point algebra pointwise invariant is identified with the intrinsic group of the dual quantum group. It is proven also that, for such an action, the regularity of the fixed-point algebra is equivalent to the cocommutativity of the quantum group.

     

Reduced Crossed Products of Pro-Banach Algebras*

This paper gives the concept of the reduced pro-Banach algebra crossed product associated with inversely pro-Banach algebra dynamical system, and shows that the reduced crossed product is an inverse limit of an inverse system of Banach algebra crossed products. Also, the authors show that if the locally compact group is amenable, then the crossed product and the reduced crossed product are isometrically isomorphic.     

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.     

Convolution semigroups of states

Convolution semigroups of states on a quantum group form the natural noncommutative analogue of convolution semigroups of probability measures on a locally compact group. Here we initiate a theory of weakly continuous convolution semigroups of functionals on a C*-bialgebra, the noncommutative counterpart of a locally compact semigroup. On locally compact quantum groups we obtain a bijective correspondence between such convolution semigroups and a class of C ₀-semigroups of maps which we characterise. On C*-bialgebras of discrete type we show that all weakly continuous convolution semigroups of states are automatically norm-continuous. As an application we deduce a known characterisation of continuous conditionally positive-definite Hermitian functions on a compact group.     

On traceable factor representations of crossed products

In this paper we give a complete classification of the traceable factor representations of the C¹-algebra which is the crossed product of the gauge group of automorphisms with the fermion algebra. Besides the type I representations, this algebra has an uncountable family of type II_∞ traceable factor representations. Unlike the fermion algebra, it has no finite factor representations. We present a similar analysis of the crossed product of SU(2) with the fermion algebra, where the action is the natural product action.     

The Unitary Implementation of a Locally Compact Quantum Group Action

In this paper we study actions of locally compact quantum groups on von Neumann algebras and prove that every action has a canonical unitary implementation, paralleling Haagerup's classical result on the unitary implementation of a locally compact group action. This result is an important tool in the study of quantum groups in action. We will use it in this paper to study subfactors and inclusions of von Neumann algebras. When α is an action of the locally compact quantum group (M, Δ) on the von Neumann algebra N we can give necessary and sufficient conditions under which the inclusion N^αNM_αN is a basic construction. Here N^α denotes the fixed point algebra and M_αN is the crossed product. When α is an outer and integrable action on a factor N we prove that the inclusion N^αN is irreducible, of depth 2 and regular, giving a converse to the results of M. Enock and R. Nest (1996, J. Funct. Anal.137, 466–543; 1998, J. Funct. Anal.154, 67–109). Finally we prove the equivalence of minimal and outer actions and we generalize the main theorem of Yamanouchi (1999, Math. Scand.84, 297–319): every integrable outer action with infinite fixed point algebra is a dual action.     

A characterization of the closed unital ideals of the Fourier-Stieltjes algebra B(G) of a locally compact amenable group G

Let G be a locally compact amenable group, B(G) its Fourier-Stieltjes algebra and I be a closed ideal of it. In this paper we prove the following result: The ideal I has a unit element iff it is principal. This is the noncommutative version of the Glicksberg-Host-Parreau Theorem. The paper also contains an abstract version of this theorem.     

Equivariant Poincaré duality for quantum group actions

We extend the notion of Poincaré duality in KK-theory to the setting of quantum group actions. An important ingredient in our approach is the replacement of ordinary tensor products by braided tensor products. Along the way we discuss general properties of equivariant KK-theory for locally compact quantum groups, including the construction of exterior products. As an example, we prove that the standard Podle? sphere is equivariantly Poincaré dual to itself.     

Ideals with bounded approximate identities in Fourier algebras

We make use of the operator space structure of the Fourier algebra A(G) of an amenable locally compact group to prove that if H is any closed subgroup of G, then the ideal I(H) consisting of all functions in A(G) vanishing on H has a bounded approximate identity. This result allows us to completely characterize the ideals of A(G) with bounded approximate identities. We also show that for several classes of locally compact groups, including all nilpotent groups, I(H) has an approximate identity with norm bounded by 2, the best possible norm bound.     

Algebraic quantum hypergroups

An algebraic quantum group is a regular multiplier Hopf algebra with integrals. In this paper we will develop a theory of algebraic quantum hypergroups. It is very similar to the theory of algebraic quantum groups, except that the comultiplication is no longer assumed to be a homomorphism. We still require the existence of a left and of a right integral. There is also an antipode but it is characterized in terms of these integrals. We construct the dual, just as in the case of algebraic quantum groups and we show that the dual of the dual is the original quantum hypergroup. We define algebraic quantum hypergroups of compact type and discrete type and we show that these types are dual to each other. The algebraic quantum hypergroups of compact type are essentially the algebraic ingredients of the compact quantum hypergroups as introduced and studied (in an operator algebraic context) by Chapovsky and Vainerman.We will give some basic examples in order to illustrate different aspects of the theory. In a separate note, we will consider more special cases and more complicated examples. In particular, in that note, we will give a general construction procedure and show how known examples of these algebraic quantum hypergroups fit into this framework.     

Compact quantum groups and group duality

In this paper, we consider the *-representations of compact quantum groups and group duality. The main results in the paper are: (1) there is a one-to-one correspondence between the *-representations of compact quantum groups and *-representations of the dual Banach *-algebra; (2) the category of commutative compact quantum groups (semigroups) is a dual category to the category of compact groups (semigroups); (3) the dual category of the category of locally compact groups (semigroups) is the category of commutative Hopf C^*-algebras with a particular property. Our group duality has the flavor of a Gelfand-Naimark type theorem for compact quantum groups, and for Hopf C^*-algebras.     

The interior of the Šilov boundary of M(G) is trivial

Let G be a non-discrete locally compact abelian group, and let M(G) be the convolution algebra of regular bounded Borel measures on G. Let Γ denote the dual group of G. Then the interior of the ?ilov boundary of M(G) is exactly Γ. The proof uses generalized Riesz products for the compact metrizable case and standard liftings from that case.     

Canonical extension of actions of locally compact quantum groups

In this paper, we generalize the notion of the canonical extension of automorphisms of von Neumann algebras to the case of actions of locally compact quantum groups (in the sense of Kustermans and Vaes). Various expected properties will be shown to hold for this new canonical extension. As an application, we describe the flow of weights of the crossed product of a type III factor by some special action of a discrete Kac algebra.     

On the symmetry of L1 algebras of locally compact motion groups,and the Wiener Tauberian theorem

Let G be a locally compact motion group, i.e., it is a semidirect product of a compact subgroup with a closed abelian normal subgroup, the action of the compact subgroup on the other one being by conjugation. The main result of this paper is that the group algebra of such a group is symmetric. This result is then used to prove that a generalization of the Wiener-Tauberian theorem holds for such groups. Precisely, it is shown that every proper closed two-sided ideal in L₁(G) is annihilated by an irreducible unitary representation of G, lifted to L₁(G).     

A new approach to induction and imprimitivity results

Given a closed quantum subgroup of a locally compact quantum group, we study induction of unitary corepresentations of the quantum subgroup to the ambient quantum group. More generally, we study induction given a coaction of the quantum subgroup on a C^*-algebra. We prove imprimitivity theorems that unify the existing theorems for actions and coactions of groups. This means that we define quantum homogeneous spaces as C^*-algebras and that we prove Morita equivalence of crossed products and homogeneous spaces. We essentially use von Neumann algebraic techniques to prove these Morita equivalences between C^*-algebras.     

A Central Extension Theorem-for Hopf Algebras

The construction used in Schur's central extension theorem is generalized by proving that given a cocommutative Hopf algebra H, there is a cocornmutative central extension B of H such that any projective representation of H lifts to an ordinary representation of B. The extension B is the crossed product of H with the finite dual of the group algebra kZ₁, where Z₁denotes the group of normal cocycles on H with values in the ground field k.