On noncommutative principal bundles with finite abelian structure group (Q2264067)

The Serre-Swan theorem (SST) says that the category of vector bundles over a manifold \(M\) is equivalent to the category of finitely generated projective modules over the commutative \(C^*\)-algebra of continuous complex-valued functions on \(M\); the SST is one of the basic facts of noncommutative geometry bridging topology and analysis. Instead of vector bundles one can look at the principal bundles, e.g., homogeneous spaces of the Lie groups. The author of the paper under review initiated a program of generalization of the SST to principal bundles; here he works out such a generalization for the principal bundles with a finite abelian structure group.