The Derived Marsden-Weinstein Quotient is Symplectic
  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. 
Jeremy Pecharich
math.AG math.RT math.SG