A locally trivial quantum Hopf fibration. (Q2502123)

The coordinate algebra \(\mathcal O(S^3_{pq})\) of the quantum 3-sphere was introduced by \textit{D. Callow, R. Matthes} [J. Geom. Phys. 41, No. 1-2, 114-165 (2002; Zbl 1026.46064)] using the construction of a locally trivial \(H^*\)-extension of the coordinate algebras of quantum disc and quantum 2-sphere. They showed that \(\mathcal O(S^3_{pq})\) is a unital *-algebra generated by elements \(a,b\) subject to defining relations \[ a^*a-qaa^*=1-q,\;b^*b-pbb^*=1-p,\;ab=ba,\;a^*b=ba^*,\;(1-aa^*)(1-bb^*)=0. \] There is found a vector basis of \(\mathcal O(S^3_{pq})\). Let \(\mathcal H\) be a separable Hilbert space with an orthonormal basis \(\{e_j,\;j\geqslant 0\}\). Any irreducible *-representation of \(\mathcal O(S^3_{pq})\) by bounded operators in \(\mathcal H\) is unitarily equivalent to one of the following: \[ \rho_{1,\theta}(a)e_j=\exp(i\theta)e_j,\quad\rho_{1,\theta}(b)e_j=\sqrt{1-p^{j+1}}e_{j+1}; \] \[ \rho_{2,\theta}(a)e_j=\sqrt{1-q^{j+1}}e_{j+1},\quad\rho_{2,\theta}(b)e_j=\exp(i\theta)e_j; \] \[ \rho_{\theta_1,\theta2}(a)=\exp(i\theta_1),\quad\rho_{\theta_1,\theta_2}(b)=\exp(i\theta_2). \] It is shown that \(\mathcal O(S^3_{pq})\) is faithfully embedded into the enveloping \(C^*\)-algebra \(\mathcal C(S^3_{pq})\) for the sup-norm over all bounded *-representations. Moreover \(K_0\), \(K_1\) of \(\mathcal C(S^3_{pq})\) are infinite cyclic groups.