Shifted symplectic structures
- 643 Downloads
This is the first of a series of papers about quantization in the context of derived algebraic geometry. In this first part, we introduce the notion of n-shifted symplectic structures (n-symplectic structures for short), a generalization of the notion of symplectic structures on smooth varieties and schemes, meaningful in the setting of derived Artin n-stacks (see Toën and Vezzosi in Mem. Am. Math. Soc. 193, 2008 and Toën in Proc. Symp. Pure Math. 80:435–487, 2009). We prove that classifying stacks of reductive groups, as well as the derived stack of perfect complexes, carry canonical 2-symplectic structures. Our main existence theorem states that for any derived Artin stack F equipped with an n-symplectic structure, the derived mapping stack Map(X,F) is equipped with a canonical (n−d)-symplectic structure as soon a X satisfies a Calabi-Yau condition in dimension d. These two results imply the existence of many examples of derived moduli stacks equipped with n-symplectic structures, such as the derived moduli of perfect complexes on Calabi-Yau varieties, or the derived moduli stack of perfect complexes of local systems on a compact and oriented topological manifold. We explain how the known symplectic structures on smooth moduli spaces of simple objects (e.g. simple sheaves on Calabi-Yau surfaces, or simple representations of π 1 of compact Riemann surfaces) can be recovered from our results, and that they extend canonically as 0-symplectic structures outside of the smooth locus of simple objects. We also deduce new existence statements, such as the existence of a natural (−1)-symplectic structure (whose formal counterpart has been previously constructed in (Costello, arXiv:1111.4234, 2001) and (Costello and Gwilliam, 2011) on the derived mapping scheme Map(E,T ∗ X), for E an elliptic curve and T ∗ X is the total space of the cotangent bundle of a smooth scheme X. Canonical (−1)-symplectic structures are also shown to exist on Lagrangian intersections, on moduli of sheaves (or complexes of sheaves) on Calabi-Yau 3-folds, and on moduli of representations of π 1 of compact topological 3-manifolds. More generally, the moduli sheaves on higher dimensional varieties are shown to carry canonical shifted symplectic structures (with a shift depending on the dimension).
KeywordsModulus Space Symplectic Form Symplectic Structure Mixed Complex Chern Character
Unable to display preview. Download preview PDF.
- [Br-Bu-Du-Jo]C. Brav, V. Bussi, D. Dupont, and D. Joyce, Shifted symplectic structures on derived schemes and critical loci, preprint, May 2012. Google Scholar
- [Co]K. Costello, Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4, preprint, October 2011, arXiv:1111.4234.
- [Co-Gw]K. Costello and O. Gwilliam, Factorization algebras in perturbative quantum field theory, preprint draft, 2011. Google Scholar
- [Je]L. Jeffrey, Symplectic forms on moduli spaces of flat connections on 2-manifolds, in Geometric Topology (Athens, GA, 1993), AMS/IP Stud. Adv. Math., vol. 2.1, pp. 268–281, Am. Math. Soc., Providence, 1997. Google Scholar
- [Ko-So]M. Kontsevich and Y. Soibelman, Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, 0811.2435, 2008.
- [La]V. Lafforgue, Quelques calculs reliés à la correspondance de Langlands géométrique sur P 1, http://www.math.jussieu.fr/~vlafforg/.
- [Lu2]J. Lurie, Formal moduli problems, in R. Bhatia, A. Pal, G. Rangarajan, V. Srinivas, and M. Vanninathan (eds.), Proceedings of the International Congress of Mathematicians 2010, Vol. 2, World Scientific, Singapore, 2010. Google Scholar
- [Lu3]J. Lurie, DAG V, IX, http://www.math.harvard.edu/~lurie/.
- [Lu5]J. Lurie, Higher algebra, http://www.math.harvard.edu/~lurie/.
- [Na]Y. Namikawa, Equivalence of symplectic singularities, 1102.0865, 2011.
- [Ne-McG]T. Nevins and K. McGerty, Derived equivalence for quantum symplectic resolutions, 1108.6267, 2011.
- [Pa-Th]R. Pandharipande and R. Thomas, Almost closed 1-forms, 1204.3958, April 2012.
- [Pe]J. Pecharich, The derived Marsden-Weinstein quotient is symplectic, in preparation. Google Scholar
- [Sch-To-Ve]T. Schürg, B. Toën, and G. Vezzosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes, J. Reine Angew. Math., to appear. Google Scholar
- [Si1]C. Simpson, Algebraic aspects of higher nonabelian Hodge theory, in Motives, Polylogarithms and Hodge Theory, Part II (Irvine, CA, 1998), Int. Press Lect. Ser., vol. 3, pp. 417–604, International Press, Somerville, 2002. Google Scholar
- [To2]B. Toën, Higher and derived stacks: a global overview, in Algebraic Geometry—Seattle 2005. Part 1, Proc. Symp. Pure Math., vol. 80, pp. 435–487, Am. Math. Soc., Providence, 2009. Google Scholar
- [To-Va-Ve]B. Toën, M. Vaquié, and G. Vezzosi, Deformation theory of dg-categories revisited, in preparation. Google Scholar
- [To-Ve-1]B. Toën and G. Vezzosi, Homotopical Algebraic Geometry II: Geometric Stacks and Applications, Mem. Am. Math. Soc., vol. 193, 2008, no. 902, x+224 pp. Google Scholar
- [To-Ve-2]B. Toën and G. Vezzosi, Caractères de Chern, traces équivariantes et géométrie algébrique dérivée, 0903.3292, version of February 2011.
- [Ve]G. Vezzosi, Derived critical loci I—Basics, 1109.5213, 2011.