The Derived Marsden-Weinstein Quotient is Symplectic

Jeremy Pecharich

Let $(X,{\omega }_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further ass…