Podleś spheres for the braided quantum \(\mathrm{SU}(2)\) (Q2174513)

Podleś quantum sphere \(\mathsf{S}^2_q=\mathrm{SU}_q(2)/\mathbb{T}\), \(q\) is a real number with \(0<|q|\le 1\) is extended to the quotient of braded quantum \(\mathrm{SU}_q(2)\), \(q\) is a complex number with \(0<|q)\le 1\) [\textit{P. Kasprzak} et al., J. Noncommut. Geom. 10, No. 4, 1611--1625 (2016; Zbl 1358.81128)]. That is define (braided) quantum sphere \(\mathbb{S}^2_q\) by \(\mathbb{S}^2_q=\mathrm{SU}_q(2)/\mathbb{T}\), \(q\) a complex number \(0<|q|\le 1\). Let \(\mathbb{S}^2_q\) be the braided quantum sphere and \(\mathsf{S}^2_q\) be the Pofleś' quantum sphere Then it is shown \(\mathbb{S}^2_q=\mathsf{S}^2_{|q|}\) (\S4. \S7, Cor. 7.3). An axiomatic definition of braided quantum sphere is also given (\S6. Remark 6.1, \S7. Def.7.2). To define and study braded quantum \(\mathrm{SU}_q(2)\) use braided tensor product \(A\boxtimes B\). It is explained in\S2 together with related topics following [loc. cit.] and [\textit{R. Meyer} et al., Int. J. Math. 25, No. 2, Article ID 1450019, 37 p. (2014; Zbl 1315.46076)]. Braided quantum \(\mathrm{SU}_q(2)\) is explained in \S3, and shwo the algebra of functions \(C(\mathrm{SU}_q(2)\) is the uiversal \(C^\ast\)-algebras generated by two elements \(\alpha, \gamma\), together with their relations ((3.1),(3.2)) Braided quantum sphere \(\mathbb{S}^2_q\) is defined as the quotient \(\mathrm{SU}_q(2)/\mathbb{T}\) in \S4. It is shown \(C(\mathbb{S}^2_q)\) is the closed unital \(\ast\)-subalgebra of \(C(\mathrm{SU}_q(2))\) generated by \(\alpha\gamma^\ast\) and \(\gamma^\ast\gamma\) (Cor.4.3). From this corollary and [\textit{P. Podleś}, Lett. Math. Phys. 14, 193--202 (1987; Zbl 0634.46054)] \(\mathbb{S}^2_q=\mathsf{S}^2_{|q|}\) is derived. To obtain axiomatic definition \(\mathbb{S}^2_q\), that says a compact quantum space with \(\mathbb{T}\)-action is a braided quantum sphere, if and only if there exists \(\Gamma:\mathbb{C}(\mathbb{X})\to C(\mathrm{SU}_q(2))\boxtimes_\zeta C(\mathbb{X})\); \[(\Gamma\boxtimes_\zeta\circ\Gamma)=(\mathrm{id})\circ\Gamma=(\mathrm{id}\boxtimes_\zeta \Delta_{\mathrm{SU}_q(2)})\circ\Gamma, \] with 4 conditions, stated in the beginning of \S6, the three dimensional irreducible representation of \(\mathrm{SU}_q(2)\) found as an irreducible subrepresentation of the tensor square of the fundamental representation is defined and studied in \S5. Then the four conditions found in \S6, from discussions in \S5 and \S4. \S7, the last Section, show that \(C^\ast\)-algebra defined by relations in \S6 indeed carry and action of the braided \(\mathrm{SU}_q(2)\) and that they coincide with Podleś sphere (Def.7,2. Cor. 7.3). Some hard calculus in the study of the tensor product of the fundamental representation are given in Appendix.