A Hopf Bundle Over a Quantum Four-Sphere from the Symplectic Group

We construct a quantum version of the SU(2) Hopf bundle S⁷→S⁴. The quantum sphere S⁷_q arises from the symplectic group Sp_q(2) and a quantum 4-sphere S⁴_q is obtained via a suitable self-adjoint idempotent p whose entries generate the algebra A(S⁴_q) of polynomial functions over it. This projection determines a deformation of an (anti-)instanton bundle over the classical sphere S⁴. We compute the fundamental K-homology class of S⁴_q and pair it with the class of p in the K-theory getting the value −1 for the topological charge. There is a right coaction of SU_q(2) on S⁷_q such that the algebra A(S⁷_q) is a non-trivial quantum principal bundle over A(S⁴_q) with structure quantum group A(SU_q(2)).