Categorification of shifted symplectic geometry using perverse sheaves

          @misc{ scivideos_PIRSA:16040072,
            doi = {10.48660/16040072},
            url = {https://pirsa.org/16040072},
            author = {Joyce, Dominic},
            keywords = {Mathematical physics},
            language = {en},
            title = {Categorification of shifted symplectic geometry using perverse sheaves},
            publisher = {Perimeter Institute for Theoretical Physics},
            year = {2016},
            month = {apr},
            note = {PIRSA:16040072 see, \url{https://scivideos.org/pirsa/16040072}}
          }
          

Abstract

Let (X,w) be a -1-shifted symplectic derived scheme or stack over C in the sense of Pantev-Toen-Vaquie-Vezzosi with an "orientation" (square root of det L_X). We explain how to construct a perverse sheaf P on the classical truncation X=t_0(X), over a base ring A. The hypercohomology H*(P) is regarded as a categorification of X. Now suppose i : L --> X is a Lagrangian in (X,w) in the sense of PTVV, with a "relative orientation". We outline a programme (work in progress) to construct a natural morphism \mu : A_L[vdim L] --> i^!(P) of constructible complexes on L=t_0(L). If i is proper this is equivalent to a hypercohomology in H^{-vdim L}(P). These natural morphisms / hypercohomology classes \mu satisfy various identities under products, composition of Lagrangian correspondences, etc. This programme will have interesting applications. In particular: (a) Take (X,w) to be the derived moduli stack of coherent sheaves on a Calabi-Yau 3-fold Y, so that the orientation is essentially "orientation data" in the sense of Kontsevich-Soibelman 2008. Then we regard H*(P) as being the Cohomological Hall Algebra of Y (cf Kontsevich and Soibelman 2010 for quivers). Consider i : Exact --> (X,w) x (X,-w) x (X,w) the moduli stack of exact sequences of coherent sheaves on Y, with projections to first, second and third factors. This is a Lagrangian in -1-shifted symplectic. Suppose we have a relative orientation. Then the hypercohomology element \mu associated to Exact should give the COHA multiplication on H*(P), and identities on \mu should imply associativity of multiplication. (b) Let (S,w) be a classical symplectic C-scheme, or complex symplectic manifold, of dimension 2n, and L --> S, M --> S be algebraic / complex Lagrangians (or derived Lagrangians in the PTVV sense), proper over S. Suppose we are given "orientations" on L,M, i.e. square roots of the canonical bundles K_L,K_M. Then the derived intersection X = L x_S M is -1-shifted symplectic and oriented, so we get a perverse sheaf P on X. We regard the shifted hypercohomology H^{*-n}(P) as being a version of the "Lagrangian Floer cohomology" HF*(L,M), and the morphisms L --> M in a "Fukaya category" of (S,w). If L,M,N are oriented Lagrangians in (S,w), then the triple intersection L x_S M x_S N is Lagrangian in the triple product (L x_S M) x (M x_S N) x (N x_S L). The associated hypercohomology element should correspond to the product HF*(L,M) x HF*(M,N) --> HF*(L,N) which is composition of morphisms in the "Fukaya category". Using these techniques we intend to define "Fukaya categories" of algebraic symplectic / complex symplectic manifolds, with many nice properties. Different parts of this programme are joint work with subsets of Lino Amorim, Oren Ben-Bassat, Chris Brav, Vittoria Bussi, Delphine Dupont, Pavel Safronov, and Balazs Szendroi.