There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
This is an introduction to a provisional mathematical definition of Coulomb
branches of 3-dimensional N=4 supersymmetric gauge theories,
studied in arXiv:1503.03676, arXiv:1601.03586. This is an expanded version of
an article arXiv:1612.09014 appeared in the 61st DAISUUGAKU symposium
proceeding (2016), written originally in Japanese.
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,ω) is a k-shifted symplectic derived Artin stack for k<0 in the sense of arXiv:1111.3209, then near each x∈X we can find a 'minimal' smooth atlas φ:U→X with U an affine derived scheme, such that (U,φ∗(ω)) may be written explicitly in coordinates in a standard 'Darboux form'. (b) If (X,ω) 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∙X,s on X, such that whenever T is a scheme and t:T→X is smooth of relative dimension n, then T is locally modelled on a critical locus Crit(f:U→A1) for U smooth, and t∗(P∙X,s)[n] is locally modelled on the perverse sheaf of vanishing cycles PV∙U,f of f. (d) If (X,s) is a finite type oriented d-critical stack, we can define a natural motive MFX,s in a ring of motives ˉMst,ˆμX on X, such that whenever T is a finite type scheme and t:T→X is smooth of dimension n, then T is locally modelled on a critical locus Crit(f:U→A1) for U smooth, and L−n/2⊙t∗(MFX,s) is locally modelled on the motivic vanishing cycle MFmot,ϕU,f of f in ˉMst,ˆμT. Our results have applications to categorified and motivic extensions of Donaldson-Thomas theory of Calabi-Yau 3-folds