The Haagerup property for locally compact quantum groups

We define a category containing the discrete quantum groups (and hence the discrete groups and the duals of compact groups) and the compact quantum groups (and hence the compact groups and the duals of discrete groups). The dual of an object can be defined within the same category and we have a biduality theorem. This theory extends the duality between compact quantum groups and discrete quantum groups (and hence the one between compact abelian groups and discrete abelian groups). The objects in our category are multiplier Hopf algebras, with invertible antipode, admitting invariant functionals (integrals), satisfying some extra condition (to take care of the non-abelianness of the underlying algebras). If we start with a multiplier Hopf ∗-algebra with positive invariant functionals, then also the dual is a multiplier Hopf ∗-algebra with positive invariant functionals. This makes it possible to formulate this duality also within the framework of C∗-algebras.

This is a survey of some aspects of the subject of approximation properties for locally compact quantum groups, based on lectures given at the {\it Topological Quantum Groups} Graduate School, 28 June - 11 July, 2015 in Bedlewo, Poland. We begin with a study of the dual notions of amenability and co-amenability, and then consider weakenings of these properties in the form of the Haagerup property and weak amenability. For discrete quantum groups, the interaction between these properties and various operator algebra approximation properties are investigated. We also study the connection between central approximation properties for discrete quantum groups and monoidal equivalence for their compact duals. We finish by discussing the central weak amenability and central Haagerup property for free quantum groups.

On square roots of the Haar state on compact quantum groups

This is a transcript of a series of eight lectures, 90 min each, held at IMSc Chennai, India from 5–24 January 2015. We give basic definitions, properties and examples of compact quantum groups and compact matrix quantum groups such as the existence of a Haar state, the representation theory and Woronowicz’s quantum version of the Tannaka–Krein theorem. Building on this, we define Banica–Speicher quantum groups (also called easy quantum groups), a class of compact matrix quantum groups determined by the combinatorics of set partitions. We sketch the classification of Banica–Speicher quantum groups and we list some applications. We review the state-of-the-art regarding Banica–Speicher quantum groups and we list some open problems.

We consider compact matrix quantum groups whose $N$-dimensional fundamental representation decomposes into an $(N-1)$-dimensional and a one-dimensional subrepresentation. Even if we know that the compact matrix quantum group associated to this $(N-1)$-dimensional subrepresentation is isomorphic to the given $N$-dimensional one, it is a priori not clear how the intertwiner spaces transform under this isomorphism. In the context of so-called easy and non-easy quantum groups, we are able to define a transformation of linear combinations of partitions and we explicitly describe the transformation of intertwiner spaces. As a side effect, this enables us to produce many new examples of non-easy quantum groups being isomorphic to easy quantum groups as compact quantum groups but not as compact matrix quantum groups.

We show that Drinfeld's double group construction for locally compact quantum groups preserves the Haagerup property. This shows that the Drinfeld doubles of the quantum groups, $C_{0}(\mathbb{F}_{2})$, $SU_{q}(2)$, $SU_{q}(1,1)_{\text{ext}}$, quantum $ax+b$, quantum $az+b$, and $E_{q}(2)$ have the Haagerup property.

We define and study a notion of free wreath product with amalgamation for compact quantum groups. These objects were already introduced in the case of duals of discrete groups under the name “free wreath products of pairs” in a previous work of ours. We give several equivalent descriptions and use them to establish properties like residual finiteness, the Haagerup property or a smash product decomposition.

Idempotent states on a compact quantum group are shown to yield group-like projections in the multiplier algebra of the dual discrete quantum group. This allows to deduce that every idempotent state on a finite quantum group arises in a canonical way as the Haar state on a finite quantum hypergroup. A natural order structure on the set of idempotent states is also studied and some examples discussed.

It is shown that a locally compact second countable group $G$ has the Haagerup property if and only if there exists a sharply weak mixing 0-type measure preserving free $G$-action $T=(T_g)_{g\in G}$ on an infinite $\sigma $-finite standard measure space $

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

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 0-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.

Building on our previous work, we study the non-relative homology of quantum group convolution algebras. Our main result establishes the equivalence of amenability of a locally compact quantum group and 1-injectivity of as an operator -module. In particular, a locally compact group G is amenable if and only if its group von Neumann algebra VN(G) is 1-injective as an operator module over the Fourier algebra A(G). As an application, we provide a decomposability result for completely bounded -module maps on , and give a simpliûed proof that amenable discrete quantum groups have co-amenable compact duals, which avoids the use of modular theory and the Powers-Størmer inequality, suggesting that our homological techniques may yield a new approach to the open problem of duality between amenability and co-amenability.

We generalize the notion of weakly mixing unitary representations to locally compact quantum groups, introducing suitable extensions of all standard characterizations of weak mixing to this setting. These results are used to complement the non-commutative Jacobs–de Leeuw–Glicksberg splitting theorem of Runde and the author [Ergodic theory for quantum semigroups. J. Lond. Math. Soc. (2) 89(3) (2014), 941–959]. Furthermore, a relation between mixing and weak mixing of state-preserving actions of discrete quantum groups and the properties of certain inclusions of von Neumann algebras, which is known for discrete groups, is demonstrated.

In this paper, we investigate the co-amenability of compact quantum groups. Combining with some properties of regular C*-norms on algebraic compact quantum groups, we show that the quantum double of co-amenable compact quantum groups is unique. Based on this, this paper proves that co-amenability is preserved under formulation of the quantum double construction of compact quantum groups, which exhibits a type of nice symmetry between the co-amenability of quantum groups and the amenability of groups.

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.