Search

A moduli space of stable maps to the fibers of a fiber bundle is constructed. The new moduli space is a family version of the classical moduli space of stable maps to a non-singular complex projective variety. The virtual cycle for this moduli space is also constructed, and an analogue of Gromov-Witten invariants is defined. As an application, we recover the formula for the number of rational degree d curves in P3, whose image lies in a plane in P3 (known as planar curves in P3), intersecting r general lines while passing through given s general points, where r + 2s = 3d + 2, firstly proved by R. Mukherjee, R. Kumar Singh and the fourth named author.

We develop a theory of complex Kuranishi structures on projective schemes. These are sufficiently rigid to be equivalent to weak perfect obstruction theories, but sufficiently flexible to admit global complex Kuranishi charts. We apply the theory to projective moduli spaces M of stable sheaves on Calabi-Yau 4-folds. Using real derived differential geometry, Borisov-Joyce produced a virtual homology cycle on M. In the prequel to this paper we constructed an algebraic virtual cycle on M. We prove the cycles coincide in homology after inverting 2 in the coefficients. And when Borisov-Joyce's real virtual dimension is odd, their virtual cycle is 2-torsion., Comment: Incorrect proof (that Borisov-Joyce class is 2-torsion when virtual dimension is odd) replaced by a correct one. 63 pages