Compact quantum subgroups and left invariant \(C^*\)-subalgebras of locally compact quantum groups (Q537708)

The paper extends to the quantum group setting the fact that there is a one-to-one correspondence between compact subgroups \(H\) of locally compact groups \(G\) and non-zero, left-translation invariant \(C^*\)-subalgebras \(X\) of the continuous functions vanishing at infinity of \(G\), \(C_0(G)\), which was established in [\textit{A. T.-M. Lau} and \textit{V. Losert}, ``Complementation of certain subspaces of \(L_{\infty}(G)\) of a locally compact group'', Pac. J. Math. 141, No.~2, 295--310 (1990; Zbl 0726.43006)]. The main result establishes a one-to-one correspondence between compact quantum subgroups of a co-amenable locally compact quantum group \(\mathbb{G}\) and certain left invariant \(C^*\)-subalgebras of \(C_0(\mathbb{G})\), Furthermore, it is proved that there is a one-to-one correspondence between open subgroups of an amenable locally compact quantum group \(\mathbb{G}\) and non-zero, invariant \(C^*\)-subalgebras of \(C_r^*(\mathbb{G})\). In the proof of these results the author invokes the following fact, which seems to be of independent interest, namely, that a compact quantum subgroup of a co-amenable quantum group is also co-amenable. The investigations are based on the \(C^*\)-algebraic approach to quantum groups due to \textit{J. Kustermans} and \textit{S. Vaes} [``Locally compact quantum groups'', Ann. Sci. Éc. Norm. Supér. (4) 33, No.~6, 837--934 (2000; Zbl 1034.46508)].