Michel Vaquié

Shifted Poisson structures and deformation quantization

This paper is a sequel to [PTVV]. We develop a general and flexible context for differential calculus in derived geometry, including the de Rham algebra and poly-vector fields. We then introduce the formalism of formal derived stacks and prove formal localization and gluing results. These allow us to define shifted Poisson structures on general derived Artin stacks, and prove that the non-degenerate Poisson structures correspond exactly to shifted symplectic forms. Shifted deformation quantization for a derived Artin stack endowed with a shifted Poisson structure is discussed in the last section. This paves the way for shifted deformation quantization of many interesting derived moduli spaces, like those studied in [PTVV] and probably many others.

Stacks and Categories in Geometry, Topology, and Algebra

We extend a recent result of Pantev-Toen-Vaquie-Vezzosi, who constructed shifted symplectic structures on derived mapping stacks having a Calabi-Yau source and a shifted symplectic target. Their construction gives a clear conceptual framework for the so-called AKSZ formalism. We extend the PTVV construction to derived mapping stacks with boundary conditions, which is required in most applications to quantum field theories (see e.g. the work of Cattaneo-Felder on the Poisson sigma model, and the recent work of Cattaneo-Mnev-Reshetikhin). We provide many examples of Lagrangian and symplectic structures that can be recovered in this way. We finally give an application to topological field theories (TFTs). We expect that our approach will help to rigorously constuct a 2 dimensional TFT introduced by Moore and Tachikawa. A subsequent paper will be devoted to the construction of fully extended TFTs (in the sense of Baez-Dolan and Lurie) from mapping stacks.We give a new way to produce examples of Lagrangians in shifted symplectic derived stacks, based on multiple intersections. Specifically, we show that an m-fold homotopy fiber product of Lagrangians in a shifted symplectic derived stack its itself Lagrangian in a certain cyclic product of pairwise homotopy fiber products of the Lagrangians.