On cocycle twisting of compact quantum groups (Q971812)

There is a generalized twisting method to construct new quantum groups from old. This is done in the setting of von Neumann algebraic quantum groups using a dual Galois object. This procedure produces a new quantum group and, in particular, a new von Neumann algebra which is Morita equivalent to the old one. Moreover, this Morita equivalence preserves the coproduct structure and for this reason the associated quantum groups are called comonoidally \(W^*\)-Morita equivalent. This is, in fact, an equivalence relation on the category of von Neumann algebraic quantum groups. A special case of this construction (taking the underlying Morita equivalence to be isomorphic to the identity) consists of specifying a unitary 2-cocycle for the given locally compact quantum group and from that one then gets a new locally compact quantum group. It is then interesting to know what kind of properties are preserved by these twisting constructions. It can be proved, for instance, that discreteness of quantum groups is preserved while amenability is not. In this article, the author gives an explicit example of a compact quantum group and a twisting 2-cocycle on it for which the associated locally compact quantum group is not compact anymore. Thus it is shown that compactness of quantum groups is a property which is not preserved under twisting by a 2-cocycle. The example constructed uses the (compact) quantum \(\text{SU}_q(2)\) group introduced by \textit{S. L. Woronowicz} in [Publ. Res. Inst. Math. Sci. 23, 117--181 (1987; Zbl 0676.46050)]. The twisted von Neumann algebraic quantum group produced is therefore comonoidally \(W^*\)-Morita equivalent to \(\text{SU}_q(2)\) although their underlying \(C^*\)-algebras are not isomorphic. Roughly speaking, this means that twisting cocycle constructions preserve ``measure'' but not ``topological'' structure.