The Derived Marsden-Weinstein Quotient is Symplectic

Abstract

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 assumptions, that symplectic reduction along any coadjoint orbit in the category of derived Artin stacks has a 0-symplectic form.

8 pages, comments are welcome