Shifted symplectic reduction of derived critical loci

Mathieu Anel, Damien Calaque

We prove that the derived critical locus of a $G$-invariant function $S:X\to {\mathbb{A}}^1$ carries a shifted moment map, and that its derived symplectic reduction is the derived cri…