Surjectivity for Hamiltonian loop group spaces

Let G be a compact Lie group, and let LG denote the corresponding loop group. Let (X,) be a weakly symplectic Banach manifold. Consider a Hamiltonian action of LG on (X,), and assume that the moment map :XL ^* is proper. We consider the function ||²:X, and use a version of Morse theory to show that the inclusion map j:^-1(0)X induces a surjection j ^*:H _G ^*(X)H _G ^*(^-1(0)), in analogy with Kirwans surjectivity theorem in the finite-dimensional case. We also prove a version of this surjectivity theorem for quasi-Hamiltonian G-spaces.