Characterizations of compact and discrete quantum groups through second duals

We develop a notion of a non-commutative hull for a left ideal of the $L^1$-algebra of a compact quantum group $\mathbb{G}$. A notion of non-commutative spectral synthesis for compact quantum groups is proposed as well. It is shown that a certain Ditkin's property at infinity (which includes those $\mathbb{G}$ where the dual quantum group $\widehat{\mathbb{G}}$ has the approximation property) is equivalent to every hull having synthesis. We use this work to extend recent work...

Let $\Gamma$ be a discrete group. To every ideal in $\ell^{\infty}(\G)$ we associate a C$^*$-algebra completion of the group ring that encapsulates the unitary representations with matrix coefficients belonging to the ideal. The general framework we develop unifies some classical results and leads to new insights. For example, we give the first C$^*$-algebraic characterization of a-T-menability; a new characterization of property (T); new examples of "exotic" quantum groups; ...

These are notes from introductory lectures at the graduate school "Topological Quantum Groups" in B\k{e}dlewo (June 28--July 11, 2015). The notes present the passage from Hopf algebras to compact quantum groups and sketch the notion of discrete quantum groups viewed as duals of compact quantum groups.

In this paper we study various convolution-type algebras associated with a locally compact quantum group from cohomological and geometrical points of view. The quantum group duality endows the space of trace class operators over a locally compact quantum group with two products which are operator versions of convolution and pointwise multiplication, respectively; we investigate the relation between these two products, and derive a formula linking them. Furthermore, we define ...

Mimicking the von Neumann version of Kustermans and Vaes' locally compact quantum groups, Franck Lesieur had introduced a notion of measured quantum groupoid, in the setting of von Neumann algebras. In this article, we suppose that the basis of the measured quantum groupoid is central; in that case, we prove that a specific sub-${\bf C}^*$ algebra is invariant under all the data of the measured quantum groupoid; moreover, this sub-${\bf C}^*$-algebra is a continuous field of ...

We study the dual relationship between quantum group convolution maps $L^1(\mathbb{G})\rightarrow L^{\infty}(\mathbb{G})$ and completely bounded multipliers of $\widehat{\mathbb{G}}$. For a large class of locally compact quantum groups $\mathbb{G}$ we completely isomorphically identify the mapping ideal of row Hilbert space factorizable convolution maps with $M_{cb}(L^1(\widehat{\mathbb{G}}))$, yielding a quantum Gilbert representation for completely bounded multipliers. We a...

We present a simple and intuitive framework for duality of locally compacts groups, which is not based on the Haar measure. This is a map, functorial on a non-degenerate subcategory, on the category of coinvolutive Hopf \cst-algebras, and a similar map on the category of coinvolutive Hopf-von Neumann algebras. In the \cst-version, this functor sends $C_0(G)$ to $C^*(G)$ and vice versa, for every locally compact group $G$. As opposed to preceding approaches, there is an explic...

Given a locally compact quantum group $\mathbb G$, we define and study representations and C$^\ast$-completions of the convolution algebra $L_1(\mathbb G)$ associated with various linear subspaces of the multiplier algebra $C_b(\mathbb G)$. For discrete quantum groups $\mathbb G$, we investigate the left regular representation, amenability and the Haagerup property in this framework. When $\mathbb G$ is unimodular and discrete, we study in detail the C$^\ast$-completions of $...

Motivated by the beautiful work of M. A. Rieffel (1965) and of M. E. Walter (1974), we obtain characterisations of the Fourier algebra $A(G)$ of a locally compact group $G$ in terms of the class of $F$-algebras (i.e. a Banach algebra $A$ such that its dual $A'$ is a $W^*$-algebra whose identity is multiplicative on $A$). For example, we show that the Fourier algebras are precisely those commutative semisimple $F$-algebras that are Tauberian, contain a nonzero real element, an...

In this short article, we obtained some equivalent formulations of property $T$ for a general locally compact quantum group $\mathbb{G}$, in terms of the full quantum group $C^*$-algebras $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ and the $*$-representation of $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ associated with the trivial unitary corepresentation (that generalize the corresponding results for locally compact groups). Moreover, if $\mathbb{G}$ is of Kac type, we show that $\ma...