Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds

Let (X , omega(X)*) be a separated, -2-shifted symplectic derived C -scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie (2013), of complex virtual dimension vdim(C) X = n is an element of Z, and X-an the underlying complex analytic topological space. We prove that X-an can be given the structure of a derived smooth manifold X-dm, of real virtual dimension vdim(R) X-dm = n. This X-dm is not canonical, but is independent of choices up to bordisms fixing the underlying topological space X-an. There is a one-to-one correspondence between orientations on. (X , omega(X)*) and orientations on X-dm. Because compact, oriented derived manifolds have virtual classes, this means that proper, oriented -2-shifted symplectic derived C -schemes have virtual classes, in either homology or bordism. This is surprising, as conventional algebrogeometric virtual cycle methods fail in this case. Our virtual classes have half the expected dimension. Now derived moduli schemes of coherent sheaves on a Calabi-Yau 4-fold are expected to be -2-shifted symplectic (this holds for stacks). We propose to use our virtual classes to define new Donaldson-Thomas style invariants "counting" (semi) stable coherent sheaves on Calabi-Yau 4-folds Y over C, which should be unchanged under deformations of Y.