On the Baum–Connes conjecture for discrete quantum groups with torsion and the quantum Rosenberg conjecture

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.

Residually finite quantum group 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.

Discrete Quantum Groups

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.

Graphs of quantum groups and K-amenability

Let G be a countable exact discrete group. G has the strong invariant approximation property(SIAP) if and only if C � u(G,S) G = C � � (G) ⊗ S for any Hilbert space H and closed subspace S ⊆ H. We shall use results of Haagerup and Kraus on the approximation property (AP) to investigate some permanence properties of the SIAP for discrete groups. This can be done most efficiently for exact groups. In this paper we describe that the stability properties of the SIAP property pass to semi direct products, and extensions for discrete exact groups.

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.

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 consider a countable discrete group Γ \Gamma acting ergodically on a standard Borel space S with quasi-invariant measure μ \mu . Let π \pi be a unitary representation of Γ \Gamma on L 2 ( S , d μ , H ) {L^2}(S,d\mu ,\mathcal {H}) "nicely" related with S. We prove that if Γ \Gamma acts amenably on S then π \pi is weakly contained in the regular representation.

The Haagerup property for locally compact groups is generalised to the context of locally compact quantum groups, with several equivalent characterisations in terms of the unitary representations and positive-definite functions established. In particular it is shown that a locally compact quantum group 𝔾 has the Haagerup property if and only if its mixing representations are dense in the space of all unitary representations. For discrete 𝔾 we characterise the Haagerup property by the existence of a symmetric proper conditionally negative functional on the dual quantum group 𝔾 ^ $\hat{\mathbb {G}}$ ; by the existence of a real proper cocycle on 𝔾, and further, if 𝔾 is also unimodular we show that the Haagerup property is a von Neumann property of 𝔾. This extends results of Akemann, Walter, Bekka, Cherix, Valette, and Jolissaint to the quantum setting and provides a connection to the recent work of Brannan. We use these characterisations to show that the Haagerup property is preserved under free products of discrete quantum groups.

The Poisson and Martin boundaries for invariant random walks on the dual of the orthogonal quantum groups are identified with higher-dimensional Podleś spheres that we describe in terms of generators and relations. This provides the first such identification for random walks on non-amenable discrete quantum groups.

More discrete copies of [formula omitted] in [formula omitted

To study outer actions $\alpha$ of a group $G$ on a factor $\mathcal M$ of type $\mathrm{III}_\lambda$, $0<\lambda<1$, we study first the cohomology group of a group with the unitary group of an abelian von Neumann algebra as a coefficient group and establish a technique to reduce the coefficient group to the torus $\mathsf T$ by the Shapiro mechanism based on the groupoid approach. We then show a functorial construction of outer actions of a countable discrete amenable group on an AFD factor of type $\mathrm{III}_\lambda$, sharpening the result in [17, §4]. The periodicity of the flow of weights on a factor $\mathcal M$ of type $\mathrm{III}_\lambda$ allows us to introduce an equivariant commutative square directly related to the discrete core. But this makes it necessary to introduce an enlarged group $\mathrm{Aut}(\mathcal M)_{m}$ relative to the modulus homomorphism $m=\mod\colon \mathrm{Aut}(\mathcal M)\to \mathsf R/T'\mathsf Z$. We then discuss the reduced modified HJR-exact sequence, which allows us to describe the invariant of outer action $\alpha$ in a simpler form than the one for a general AFD factor: for example, the cohomology group $H_{m,s}^{out}(G,N,\mathsf T)$ of modular obstructions is a compact abelian group. Making use of these reductions, we prove the classification result of outer actions of $G$ on an AFD factor $\mathcal M$ of type $\mathrm{III}_{\lambda}$.

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.