Connectedness and Gaussian parts for compact quantum groups (Q2111038): Difference between revisions

The authors introduce Gaussian functionals on compact quantum groups as normalized hermitian functionals which are conditionally positive and vanish on the cube of the augmentation ideal. Then, the Gaussian part \(\mathrm{Gauss}(\mathbb{G})\) of a compact quantum group \(\mathbb{G}\) is defined as the intersection of all quantum subgroup through which the Gaussian functionals factor. It is shown that the Gaussian part is naturally contained in the strongly connected component of the identity, which itself is inside the Kac part: \(\mathrm{Gauss}(\mathbb{G})\subset\mathbb{G}^{00}\subset\mathrm{Kac}(\mathbb{G})\). Moreover, the relation of Gaussian functionals and Schürmann triples is discussed. For classical compact groups \(G\) the Gaussian part and the strongly connected component of the identity both coincide with the connected component of the identity \(\mathrm{Gauss}(G)=G^{00}=G^0\), while for \(q\)-deformations \(\mathbb{G}_q\) of simply connected semisimple compact Lie groups the Gaussian part is given by the maximal torus in \(\mathbb{G}_q\). For the half-liberated quantum orthogonal group \(\mathrm{O}_N^*\) it is shown that \(\mathrm{Gauss}(\mathrm{O}_N^*)=\mathrm{SO}_N\).