Characterizations of compact and discrete quantum groups through second duals

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) t...

We establish a one to one correspondence between idempotent states on a locally compact quantum group G and integrable coideals in the von Neumann algebra of bounded measurable functions on G that are preserved by the scaling group. In particular we show that there is a 1-1 correspondence between idempotent states on G and psi-expected left invariant von Neumann subalgebras of bounded measurable functions on G. We characterize idempotent states of Haar type as those correspon...

We define, for a locally compact quantum group $G$ in the sense of Kustermans--Vaes, the space of $LUC(G)$ of left uniformly continuous elements in $L^\infty(G)$. This definition covers both the usual left uniformly continuous functions on a locally compact group and Granirer's uniformly continuous functionals on the Fourier algebra. We show that $LUC(G)$ is an operator system containing the $C^*$-algebra $C_0(G)$ and contained in its multiplier algebra $M(C_0(G))$. We use th...

It is well-known that any compact Lie group appears as closed subgroup of a unitary group, $G\subset U_N$. The unitary group $U_N$ has a free analogue $U_N^+$, and the study of the closed quantum subgroups $G\subset U_N^+$ is a problem of general interest. We review here the basic tools for dealing with such quantum groups, with all the needed preliminaries included, and we discuss as well a number of more advanced topics.

Given a locally convex space $(\mathcal{A},\tau)$ with a Hausdorff locally convex topology $\tau$ such that the following maps are continuous; $u \mapsto u^*$ for all $u \in \mathcal{A}$, $x \mapsto x\cdot y$ and $x \mapsto z\cdot x$ for every left and right multipliers of $\mathcal{A}$. In this paper we re-characterized the locally convex partial $*$-algebra $(\mathcal{A}, \Gamma,\cdot,*,\tau)$ arising from these continuous maps in terms of convolution algebra of a Lie group...

A result of Gilbert shows that every completely bounded multiplier $f$ of the Fourier algebra $A(G)$ arises from a pair of bounded continuous maps $\alpha,\beta:G \rightarrow K$, where $K$ is a Hilbert space, and $f(s^{-1}t) = (\beta(t)|\alpha(s))$ for all $s,t\in G$. We recast this in terms of adjointable operators acting between certain Hilbert C$^*$-modules, and show that an analogous construction works for completely bounded left multipliers of a locally compact quantum g...

Given a (reduced) locally compact quantum group $A$, we can consider the convolution algebra $L^1(A)$ (which can be identified as the predual of the von Neumann algebra form of $A$). It is conjectured that $L^1(A)$ is operator biprojective if and only if $A$ is compact. The "only if" part always holds, and the "if" part holds for Kac algebras. We show that if the splitting morphism associated with $L^1(A)$ being biprojective can be chosen to be completely positive, or just co...

We compare algebraic objects related to a compact quantum group action on a unital C*-algebra in the sense of Podle\'s and Baum et al. and show that they differ by the kernel of the morphism describing the action. Then we address ways to remove the kernel without changing the Podle\'s algebraic core. A minimal such procedure is described. We end the paper with a natural example of an action of a reduced compact quantum group with non-trivial kernel.

An algebra is said to be quasi-directly finite when any left-invertible element in its unitization is automatically right-invertible. It is an old observation of Kaplansky that the von Neumann algebra of a discrete group has this property; in this note, we collate some analogous results for the group $C^*$-algebras of more general locally compact groups. Partial motivation comes from earlier work of the author on the phenomenon of empty residual spectrum for convolution opera...

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 $\mathbb{G}$ and 1-injectivity of $L^{\infty}(\widehat{\mathbb{G}})$ as an operator $L^1(\widehat{\mathbb{G}})$-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...