Principal fibrations from noncommutative spheres (Q818602)

The authors construct a noncommutative version of the classical Hopf fibration \(\mathrm{SU}(2)\) over the four sphere in the framework of the isospectral deformations introduced by \textit{A. Connes} and \textit{G. Landi} in [Commun. Math. Phys. 221, No. 1, 141--159 (2001; Zbl 0997.81045)]. They consider the algebras \({\mathcal A}\left(S^{4}_{\theta}\right)\) and \({\mathcal A}\left(S^{7}_{\theta'}\right)\) of polynomial functions on the noncommutative spheres \(S^{4}_{\theta}\) and \(S^{7}_{\theta'}\). The algebra \({\mathcal A}\left(S^{7}_{\theta'}\right)\) carries an action of the group \(\mathrm{SU}(2)\) by automorphisms in such a way that its invariant elements are exactly the polynomials on \(S^{4}_{\theta}\). The requirements that \(\mathrm{SU}(2)\) acts by automorphisms and that \(S^{4}_{\theta}\) makes the algebra of invariant functions give \(\theta'\) in terms of \(\theta\). This yields a one-parameter family of noncommutative Hopf fibrations. The noncommutative vector bundles associated to irreducible representations of \(\mathrm{SU}(2)\) are realized as modules of coequivariant maps, and the corresponding projectors are described. The index of Dirac operators with coefficients in associated bundles is computed using the Connes-Moscovici local index formula. Finally, it is shown that the inclusion \({\mathcal A}\left(S^{4}_{\theta}\right)\hookrightarrow {\mathcal A}\left(S^{7}_{\theta'}\right)\) is a not-cleft Hopf-Galois extension. A consequence is the existence of a strong connection.