Mathematical foundations of geometric quantization.
Let G be a finite loop space such that the mod p cohomology of the classifying space BG is a polynomial algebra. We consider when the adjoint bundle associated with a G-bundle over M splits on mod p cohomology as an algebra. In the case p = 2, an obstruction for the adjoint bundle to admit such a splitting is found in the Hochschild homology concerning the mod 2 cohomologies of BG and M via a module derivation. Moreover the derivation tells us that the splitting is not compatible with the Steenrod...