Noncommutative Riemannian and spin geometry of the standard \(q\)-sphere (Q1781845)

The standard quantum sphere is the invariant subalgebra of the standard quantum group coordinate ring \({\mathbb C}_q[SL_2]\) under a coaction of \({\mathbb C}[t, t^{-1}]\). The \(q\)-monopole principal bundle with total space \({\mathbb C}_q[SL_2]\) and base \({\mathbb C}_q[S^2]\) was constructed as an example of the theory of quantum principal bundles [\textit{T. Brzeziński, S. Majid}, Commun. Math. Phys. 157, 591--638 (1993; Zbl 0817.58003)] and many of the ingredients of the geometry for \({\mathbb C}_q[S^2]\) are known. The author shows that \({\mathbb C}_q[S^2]\) fits perfectly into the quantum frame bundle approach to noncommutative geometry as a quantum framed Riemannian manifold, and studies the quantum sphere \({\mathbb C}_q[S^2]\) as a quantum Riemannian manifold, using a systematic frame bundle approach to noncommutative geometry in [\textit{S. Majid}, J. Geom. Phys. 30, 113--146 (1999; Zbl 0940.58004)]; [Commun. Math. Phys. 225, 131--170 (2002; Zbl 0999.58004)] and [Lett. Math. Phys. 63, 39--54 (2003; Zbl 1020.58007)]. The author represents its 2-dimensional cotangent bundle \(\Omega^1({\mathbb C}_q[S^2])\) as a direct sum \(\Omega^{0;1}\oplus\Omega^{ 1;0}\) in a double complex. The natural metric, volume form, Hodge-\(\star\)-operator, Laplace operator, Maxwell operator and projective module structure are investigated. It is shown that the \(q\)-monopole as spin connection induces a natural Levi-Civita type connection, and its Ricci curvature and \(q\)-Dirac operator are investigated.