Noncommutative 4-spheres based on all Podlés 2-spheres and beyond (Q5944116): Difference between revisions

Motivated by the Podleś quantum sphere [\textit{P. Podleś}, Lett. Math. Phys. 14, 193-202 (1987; Zbl 0634.46054)] the algebraic quantum 4-sphere \(A(S^4_{p,q,s})\) is defined to be the algebra generated by \(1, \xi, \eta,\zeta, U,V\) with the relations \[ \begin{aligned} \zeta\xi & =q^2\xi \zeta,\;\eta\zeta= q^2\zeta\eta,\;\xi U=pU \xi,\;V\xi=p\xi V,\\ \eta V & =pV\eta,\;U\eta =p\eta U,\;UV=VU,\;U\zeta= \zeta U,\;V\zeta= \zeta V,\\ \xi\eta & =(\zeta-1) (\zeta + s^2)+UV,\;\eta\xi= (q^2\zeta-1) (q^2\zeta +s^2)+UV. \end{aligned} \] If \(q^2\), \(s^2\) are real and \(p=\exp (2\pi i\theta)\), \(\theta\in [0,1)\), \(A(S^4_{p, q,s})\) can be made into a *-algebra \(C(S^4_{q,\theta,s})\) such that \(\zeta^*= \zeta\), \(\xi^*= -\eta\) and \(U^*=V\). After introducing unitary representations of \(C(S^4_{q, \theta,s})\), a noncommutative vector bundle projective module) \(E\) over \(A(S^4_{p,q,s})\) is defined by \(\{{\mathbf v}e\mid{\mathbf v}=(v_1,v_2, v_3, v_4)\), \(v_i\in A(S^4_{p,q,s})\}\), where \(e\) is a projector (its explicit form is given). It is shown that the Chern-Connes character of \(E\) satisfies \(ch_0(E)=0\) and \(ch_1(E)=0\) if and only if \(q=\pm 1\) [cf. \textit{L. Dabrowski}, \textit{G. Landi} and \textit{T. Masuda}, Instanton on the quantum 4-spheres, \(S_q^4\), Commun. Math. Phys. 221, 161-168 (2001; Zbl 1045.58003), \textit{A. Sitarz}, More noncommutative 4-spheres, Lett. Math. Phys. 55, 127-131 (2001; Zbl 0984.58001)]. Similarly, introducing another projector \(\widetilde e\), a noncommutative bundle \(\widetilde E\) such that \(ch_0(\widetilde E)=ch_1 (\widetilde E)=0\) is also constructed. Replacing \(Z\) by \(2Z/(1+s^2)\), \(\widetilde e\) takes the form \({1\over 2}(\begin{smallmatrix} 1+Z & t \\ t & 1+Z\end{smallmatrix})\), where \({\mathbf t}={2\over 1+s^2}(\begin{smallmatrix} 1-\zeta & \xi\\ -\eta & s^2+ q^2\xi\end{smallmatrix})-1\). By using this description, the author interpretes the construction of \(\widetilde E\) and the computation of its Chern-Connes character in terms of the FRT-construction [\textit{L. D. Faddeev}, \textit{N. Yu. Reshetikhin} and \textit{L. A. Takhtajan}, Leningr. Math. J. 1, No. 1, 193-225 (1990; Zbl 0715.17015)].