2015/06/30 by Dominic Joyce, Pavel Safronov
Mathematics · #math.AG
paper · pdf · doi:10.5802/afst.1616
published as Ann. Fac. Sci. Toulouse Math. 28 (2019), pp. 831-908 · 68 pages
arxiv created 2017/08/04 · arxiv updated 2020/06/23
Pantev, Toen, Vaquié and Vezzosi arXiv:1111.3209 defined k-shifted symplectic derived schemes and stacks \bf X for k∈\mathbb Z, and Lagrangians \bf f:\bf L→\bf X in them. They have important applications to Calabi-Yau geometry and quantization. Bussi, Brav and Joyce arXiv:1305.6302 proved a 'Darboux Theorem' giving explicit Zariski or étale local models for k-shifted symplectic derived schemes \bf X for k<0 presenting them as twisted shifted cotangent bundles. We prove a 'Lagrangian Neighbourhood Theorem' giving explicit Zariski or etale local models for Lagrangians \bf f:\bf L→\bf X in k-shifted symplectic derived schemes \bf X for k<0, relative to the Bussi-Brav-Joyce 'Darboux form' local models for \bf X. That is, locally such Lagrangians can be presented as twisted shifted conormal bundles. We also give a partial result when k=0. We expect our results will have future applications to k-shifted Poisson geometry (see arXiv:1506.03699), to defining 'Fukaya categories' of complex or algebraic symplectic manifolds, and to categorifying Donaldson-Thomas theory of Calabi-Yau 3-folds and 'Cohomological Hall algebras'.