Equivariant Lagrangian Floer homology via cotangent bundles of EGN$EG_N$

Abstract

We provide a construction of equivariant Lagrangian Floer homology , for a compact Lie group acting on a symplectic manifold in a Hamiltonian fashion, and a pair of ‐Lagrangian submanifolds . We do so by using symplectic homotopy quotients involving cotangent bundles of an approximation of . Our construction relies on Wehrheim and Woodward's theory of quilts, and the telescope construction. We show that these groups are independent of the auxiliary choices involved in their construction, and are ‐bimodules. In the case when , we show that their chain complex is homotopy equivalent to the equivariant Morse complex of . Furthermore, if zero is a regular value of the moment map and if acts freely on , we construct two ‘Kirwan morphisms’ from to (respectively, from to ). Our construction applies to the exact and monotone settings, as well as in the setting of the extended moduli space of flat ‐connections of a Riemann surface, considered in Manolescu and Woodward's work. Applied to the latter setting, our construction provides an equivariant symplectic side for the Atiyah–Floer conjecture.