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.

1$\begingroup$ Orbicular, can you be a little more specific? Is the base of the bundle finitedimensional? What's a MorseBott function, for you? (Finitedim critical manifolds? Finitely many negative eigenvalues of the Hessian?) Depending on the specifics, references might be Bott's "Stable homotopy of the classical groups" or CohenJonesSegal's "Floer's infinitedimensional Morse theory and homotopy theory". $\endgroup$ – Tim Perutz Jun 11 '10 at 13:41

$\begingroup$ I am interested in the path space fibration (free loop space over the base with fiber the based loop space) and the loop space of a locally trivial fibre bundle (fibre and base closed and finitedimensional) $\endgroup$ – Orbicular Jun 11 '10 at 19:23

$\begingroup$ Did you have a look at Klingenberg's 'Lectures on Closed Geodesics'? He uses MorseBott theory for free loop spaces. $\endgroup$ – Lennart Meier Jun 11 '10 at 20:44

$\begingroup$ @Lennart: Correct me if I'm wrong, but I always thought Klingenberg was dealing with Morse theory for the energy functional on the free loop space. Timeshifting the "time" coordinate of your closed geodesic gives you another one, yielding S^1families of critical points (in the nondegenerate case). But I am specifically interested in the case where the fibers are not of finite dimension, as for example in the fibration based loop space > free loop space >> base manifold. $\endgroup$ – Orbicular Jun 12 '10 at 9:02

$\begingroup$ The literal answer to your question ("is there work...?") is "lots", including the loopspace examples you discussed with Lennart, and various Floertheoretic examples. But there's no overarching theory, because of the subtleties of gradient flows in infinite dimensions (see e.g. Jost's "Riemannian geometry and geometric analysis"), so you may want to focus your question further. $\endgroup$ – Tim Perutz Jun 13 '10 at 1:01
See Atiyah and Bott's papers on YangMills for Riemann surfaces.
The essence of it is that the YangMills functional acts like a
perfect Morse functional after quotienting by gauge transformations.
So, look at it before the quotient to get your MorseBott function.