Symplectic Reduction in Infinite Dimensions

This paper develops a theory of symplectic reduction in the infinite-dimensional setting, covering both the regular and singular case. Extending the classical work of Marsden, Weinstein, Sjamaar and Lerman, we address challenges unique to infinite dimensions, such as the failure of the Darboux theorem and the absence of the Marle-Guillemin-Sternberg normal form. Our novel approach centers on a normal form of only the momentum map, for which we utilize new local normal form theorems for smooth equivariant maps in the infinite-dimensional setting. This normal form is then used to formulate the theory of singular symplectic reduction in infinite dimensions. We apply our results to important examples like the Yang-Mills equation and the Teichm\"uller space over a Riemann surface.