Finitness of the basic intersection cohomology of a Killing foliation

We prove that the basic intersection cohomology ${I H}^{^{*}}_{_{\bar{p}}}{(M/\mathcal{F})},$ where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, is finite dimensional

Loop Groups, Kaluza-Klein Reduction and M-Theory

We show that the data of a principal G-bundle over a principal circle bundle is equivalent to that of a \hat{LG} = U(1) |x LG bundle over the base of the circle bundle. We apply this to the Kaluza-Klein reduction of M-theory to IIA and show that certain generalized characteristic classes of the loop group bundle encode the Bianchi identities of the antisymmetric tensor fields of IIA supergravity. We further show that the low dimensional characteristic classes of the central extension of the loop group encode the Bianchi identities of massive IIA, thereby adding support to the conjectures of hep-th/0203218.Comment: 26 pages, LaTeX, utarticle.cls, v2:clarifications and refs adde