Shifted symplectic reduction of derived critical loci

Abstract

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 critical locus of the induced function $S_{red}:X/G\to {\mathbb{A}}^1$ on the orbit stack. We also provide a relative version of this result, and show that derived symplectic reduction commutes with derived lagrangian intersections.

arXiv commentfinal version, appeared in ATMP

References in corpus (13)

• Higher Topos Theory
• The Geometry of the Master Equation and Topological Quantum Field Theory
• Iterated spans and classical topological field theories
• Classical and quantum Lagrangian field theories with boundary
• Multiple Derived Lagrangian Intersections
• Lagrangian structures on mapping stacks and semi-classical TFTs
• Quasi-Hamiltonian reduction via classical Chern-Simons theory
• Shifted cotangent stacks are shifted symplectic
• Perversely categorified Lagrangian correspondences
• Relative critical loci and quiver moduli
• The AKSZ Construction in Derived Algebraic Geometry as an Extended Topological Field Theory
• Derived intersections over the Hochschild cochain complex
• Classical BV formalism for group actions

Cited by in corpus (2)

• Relative critical loci and quiver moduli
• Shifted coisotropic structures for differentiable stacks