A Darboux theorem for derived schemes with shifted symplectic structure

DOI10.1090/JAMS/910MaRDI QIDQ4613495zbMATH OpenOpenAlexWikidataFDO

Authors Christopher Brav, Vittoria Bussi, Dominic Joyce

Publication date 1 February 2019

Published in Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.6302

zbMATH Keywords

Darboux theoremderived schemesshifted symplectic structure\(d\)-critical locus

Mathematics Subject Classification ID

Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35) Generalizations (algebraic spaces, stacks) (14A20) Stacks and moduli problems (14D23)

Abstract: We prove a 'Darboux theorem' for derived schemes with symplectic forms of degree $k<0$, in the sense of Pantev, Toen, Vaquie and Vezzosi arXiv:1111.3209. More precisely, we show that a derived scheme $X$ with symplectic form $omega$ of degree $k$ is locally equivalent to (Spec $A,omeg{a}^{\prime }$) for Spec $A$ an affine derived scheme whose cdga $A$ has Darboux-like coordinates in which the symplectic form $omeg{a}^{\prime }$ is standard, and the differential in $A$ is given by Poisson bracket with a Hamiltonian function $H$ in $A$ of degree $k+1$. When $k=-1$, this implies that a $-1$-shifted symplectic derived scheme $(X,omega)$ is Zariski locally equivalent to the derived critical locus Crit$(H)$ of a regular function $H:Uo{mathbbA}^1$ on a smooth scheme $U$. We use this to show that the underlying classical scheme of $X$ has the structure of an 'algebraic d-critical locus', in the sense of Joyce arXiv:1304.4508. In the sequels arXiv:1211.3259, arXiv:1305.6428, arXiv:1312.0090, arXiv:1504.00690, 1506.04024 we will discuss applications of these results to categorified and motivic Donaldson-Thomas theory of Calabi-Yau 3-folds, and to defining new Donaldson-Thomas type invariants of Calabi-Yau 4-folds, and to defining 'Fukaya categories' of Lagrangians in algebraic symplectic manifolds using perverse sheaves, and we will extend the results of this paper and arXiv:1211.3259, arXiv:1305.6428 from (derived) schemes to (derived) Artin stacks, and to give local descriptions of Lagrangians in $k$-shifted symplectic derived schemes. Bouaziz and Grojnowski arXiv:1309.2197 independently prove a similar 'Darboux Theorem'.

Recommendations

• A Lagrangian neighbourhood theorem for shifted symplectic derived schemes
• A `Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications
• A classical model for derived critical loci
• Shifted symplectic structures on derived quot-stacks. I: Differential graded manifolds
• The derived moduli stack of shifted symplectic structures

Cites work

• scientific article; zbMATH DE number 2131829 (Why is no real title available?)
• scientific article; zbMATH DE number 5548157 (Why is no real title available?)
• scientific article; zbMATH DE number 1842473 (Why is no real title available?)
• scientific article; zbMATH DE number 256210 (Why is no real title available?)
• A `Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications
• A classical model for derived critical loci
• A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on \(K3\) fibrations.
• A theory of generalized Donaldson-Thomas invariants
• Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants
• Cyclic homology, derivations, and the free loopspace
• Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes
• Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes
• Donaldson-Thomas type invariants via microlocal geometry
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Loop spaces and connections
• Model categories and simplicial methods
• Motivic Donaldson-Thomas invariants: summary of results
• On motivic vanishing cycles of critical loci
• Rational homotopy theory: a brief introduction
• Shifted symplectic structures
• Symmetries and stabilization for sheaves of vanishing cycles (with an appendix by Jörg Schürmann)
• The cyclic homology of affine algebras
• The intrinsic normal cone
• Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
• \(S^1\)-equivariant simplicial algebras, de Rham theory and multiplicative HKR theorems.

Cited in

(25)

• 4-manifold topology, Donaldson-Witten theory, Floer homology and higher gauge theory methods in the BV-BFV formalism
• A `Darboux theorem' for shifted symplectic structures on derived Artin stacks, with applications
• The d-critical structure on the quot scheme of points of a Calabi-Yau 3-fold
• A DERIVED LAGRANGIAN FIBRATION ON THE DERIVED CRITICAL LOCUS
• Localizing virtual cycles for Donaldson-Thomas invariants of Calabi-Yau 4-folds
• Secondary products in supersymmetric field theory
• Generalized Donaldson-Thomas invariants via Kirwan blowups
• D‐critical loci for length n sheaves on local toric Calabi‐Yau 3‐folds
• Volume and symplectic structure for \(\ell\)-adic local systems
• A sheaf-theoretic model for SL \((2, \mathbb C)\) Floer homology
• Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms
• Cosection localization for d-manifolds and \((-2)\)-shifted symplectic derived schemes, revisited
• A classical model for derived critical loci
• Counting sheaves on Calabi-Yau 4-folds. I
• Orientation data for moduli spaces of coherent sheaves over Calabi-Yau 3-folds
• Dimensional reduction in cohomological Donaldson-Thomas theory
• Cosection localization and vanishing for virtual fundamental classes of d-manifolds
• Categorical Equivalence and the Renormalization Group
• A Lagrangian neighbourhood theorem for shifted symplectic derived schemes
• Symmetric semi-perfect obstruction theory revisited
• The Thom-Sebastiani theorem for the Euler characteristic of cyclic \(L_\infty\)-algebras
• The inverse function theorem for curved \(L\)-infinity spaces
• On spin structures and orientations for gauge-theoretic moduli spaces
• The derived moduli stack of shifted symplectic structures
• On motivic vanishing cycles of critical loci

This page was built for publication: A Darboux theorem for derived schemes with shifted symplectic structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4613495)