Title:An algebraic approach to virtual fundamental cycles on moduli spaces of $J$-holomorphic curves

Abstract:We develop techniques for defining and working with fundamental cycles on moduli spaces of $J$-holomorphic curves which are not necessarily cut out transversally. Such techniques have the potential for applications as foundations for invariants in symplectic topology arising from "counting" $J$-holomorphic curves.
Our approach to virtual fundamental cycles is algebraic rather than geometric (in particular, we do not use perturbation). We use sheaf-theoretic tools to give efficient proofs of the key properties of the basic objects of our algebraic "VFC package". A byproduct of our algebraic approach is that we need no smooth structure on the relevant transversely cut out "thickened moduli spaces".
Our methods are based on our notion of an implicit atlas on a moduli space (similar to a Kuranishi atlas in the sense of McDuff-Wehrheim), which is (roughly) a convenient system of local finite-dimensional reductions. We illustrate via specific examples a canonical intrinsic construction of implicit atlases on moduli spaces of $J$-holomorphic curves. This strategy for construction can be applied in wide generality, though in any specific situation requires certain specific gluing theorems (in transverse settings) to be proven.
We apply the tools we develop to define Gromov-Witten invariants and Hamiltonian Floer homology for general closed symplectic manifolds (omitting the proofs of the necessary gluing theorems, however). Conditional on such gluing theorems, we construct the necessary virtual fundamental cycles to carry out (for general closed symplectic manifolds) the standard calculations of Hamiltonian Floer homology. The Arnold conjecture (as treated, in increasing generality, by Floer, Hofer-Salamon, Ono, Liu-Tian, and Fukaya-Ono) is a well-known corollary of this calculation.