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.