Morse inequalities for pseudogroups of local isometries (Q688592)

For complete pseudogroups of local isometries with compact space of orbits, the method of Witten is used to prove Morse inequalities for the invariant cohomology. An inequality is also proved for the cohomology of the space of orbit closures. These results are applied to the basic cohomology of Riemannian foliations, relating the tautness character to basic functions with no degenerate critical leaf closures.