Classical BV formalism for group actions

Abstract

We study the derived critical locus of a function $f:[X/G]\to {\mathbb{A}}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f)\simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV formalism in finite dimensions from Lie algebra to group actions.

arXiv commentv3: Final version accepted for publication in Communications in Contemporary Mathematics

References in corpus (15)

• Combinatorial operad actions on cochains
• Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory
• Perturbative quantum gauge theories on manifolds with boundary
• Classical BV theories on manifolds with boundary
• Shifted Poisson Structures and Deformation Quantization
• Loop Spaces and Connections
• Batalin-Vilkovisky formalism in the functional approach to classical field theory
• Shifted cotangent stacks are shifted symplectic
• Homotopy theory of algebraic quantum field theories
• Shifted Poisson and symplectic structures on derived N-stacks
• Derived Algebraic Geometry and Deformation Quantization
• Linear Yang-Mills theory as a homotopy AQFT
• Higher Structures in Algebraic Quantum Field Theory
• Symplectic implosion and the Grothendieck-Springer resolution
• Derived stacks in symplectic geometry

Cited by in corpus (1)

• Shifted symplectic reduction of derived critical loci