A ‘Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applications
By O. Ben-Bassat, Christopher Brav, Vittoria Bussi, D. Joyce. 2013
119 citations recorded by the source corpus.
This is the fifth in a series arXiv:1304.4508, arXiv:1305,6302, arXiv:1211.3259, arXiv:1305.6428 on the '$k$-shifted symplectic derived algebraic geometry' of Pantev, Toen, Vaquie and Vezzosi, arXiv:1111.3209. This paper extends the previous three from (derived) schemes to (derived) Artin stacks. We prove four main results: (a) If $(X,\omega)$ is a $k$-shifted symplectic derived Artin stack for $k<0$ in the sense of arXiv:1111.3209, then near each $x\in X$ we can find a 'minimal' smooth atlas $\varphi:U\to X$ with $U$ an affine derived scheme, such that $(U,\varphi^*(\omega))$ may be written explicitly in coordinates in a standard 'Darboux form'. (b) If $(X,\omega)$ is a $-1$-shifted symplectic derived Artin stack and $X'$ the underlying classical Artin stack, then $X'$ extends naturally to a 'd-critical stack' $(X',s)$ in the sense of arXiv:1304.4508. (c) If $(X,s)$ is an oriented d-critical stack, we can define a natural perverse sheaf $P^\bullet_{X,s}$ on $X$, such that whenever $T$ is a scheme and $t:T\to X$ is smooth of relative dimension $n$, then $T$ is locally modelled on a critical locus Crit$(f:U\to{\mathbb A}^1)$ for $U$ smooth, and $t^*(P^\bullet_{X,s})[n]$ is locally modelled on the perverse sheaf of vanishing cycles $PV_{U,f}^\bullet$ of $f$. (d) If $(X,s)$ is a finite type oriented d-critical stack, we can define a natural motive $MF_{X,s}$ in a ring of motives $\bar{\mathcal M}^{st,\hat\mu}_X$ on $X$, such that whenever $T$ is a finite type scheme and $t:T\to X$ is smooth of dimension $n$, then $T$ is locally modelled on a critical locus Crit$(f:U\to{\mathbb A}^1)$ for $U$ smooth, and ${\mathbb L}^{-n/2}\odot t^*(MF_{X,s})$ is locally modelled on the motivic vanishing cycle $MF^{mot,\phi}_{U,f}$ of $f$ in $\bar{\mathcal M}^{st,\hat\mu}_T$. Our results have applications to categorified and motivic extensions of Donaldson-Thomas theory of Calabi-Yau 3-folds
Subfields: Geometry and Topology, Mathematical Physics
View Paper: https://www.semanticscholar.org/paper/cf3214db6fd79096c79f8df928364e3cad6872b8
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Geometry and Topology
In Mathematical Physics
Citations in the corpus
- The finiteness conjecture for skein modules (2019, methodology): “One model of such a BV quantization is constructed by Ben-Bassat, Brav, Bussi and Joyce [BBBBJ15] given the choice of orientation of LocSL2(M) (which is automatic in our context).”
- Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds (2015, result): “as we want to, and they can do this under the assumptions that either Mα coh-sh is smooth, or (in our language) that the −2-shifted symplectic derived scheme (Mα coh-sh,ω ∗) is locally of the form T∗X[2] for Xa quasi-smooth derived C-scheme. To compare our work with theirs: given Mα alg-vb ⊂M α coh-”
- A Darboux theorem for derived schemes with shifted symplectic structure (2013, unknown): “The fifth paper [3] will extend the results of this paper and [7,9] from (derived) schemes to (derived) Artin stacks.”
- Shifted Poisson and symplectic structures on derived N ‐stacks (2015, background): “The Darboux theorems of [2, 3] imply the existence of shifted Poisson structures locally on derived Deligne–Mumford stacks, but not globally.”
- Sheaves of categories and the notion of 1-affineness (2013, background): “became popular because of its role in Donaldson-Thomas theory ([19], [20]). Derived stacks are expected to play an important role in a deeper understanding of Donaldson–Thomas theory, see for example [3, 4, 5, 8, 16, 7, 10, 11, 9] and the references therein. One type of examples come from Calabi-Yau”