Projective modules of finite type over the supersphere \(S^{2,2}\) (Q5931428)

Let \(S^{2,2}\) be the (2,2)-dimensional de Witt supermanifold with the body \(S^2\), \({\mathcal U}(1)\) the Grassmann extension of \(U(1)\). Super \({\mathcal U}(1)\)-bundles over \(S^{2,2}\) are constructed by means of global projectors via equivariant maps. Each projector determines the projective module of finite type of sections of the corresponding superline bundle over \(S^{2,2}\). Their supercharges are computed by using canonical connections. By using these results, it is shown that \(\widetilde K_0(S^{2,2}) = \mathbb{Z}\oplus \mathbb{Z} = \widetilde K_0(S^2)\oplus\Pi \widetilde K_0(S^2)\), where \(\Pi\) is the parity change functor [cf. \textit{Yu. I. Manin}, `Gauge field theory and complex geometry', Springer Verlag Berlin (1988; Zbl 0641.53001), Section 7, (7.1) and (7.2)]. The technique used in this paper is a little different from usual noncommutative geometry. It may be said to be supergeometry, or graded commutative geometry. Brief explanations on supergeometry and supergroup are given in Sections 2 and 3 [cf. \textit{G. Landi}, `An introduction to noncommutative spaces and their geometries', Berlin, Springer Verlag (1997; Zbl 0909.46060)]. Projectors are constructed in Section 4, the main part of this paper. Generalities on connections and Chern classes are exposed in Section 5. Then their explicit computations are given in Section 6. In Section 7, the last Section, \(K\)-theory of \(S^{2,2}\) is discussed.