Is there any work on MorseBott homology for infinitedimensional manifolds (e.g. Hilbert manifolds). I am particularly interested in the case where we have a locally trivial fiber bundle and the MorseBott function is the function on the total space which is a pulled back Morse function on the base.

See Atiyah and Bott's papers on YangMills for Riemann surfaces. 

