  We define higher genus Gromov-Witten invariants and establish a mathematical
theory of sigma model coupled with gravity over any semi-positive symplectic
manifolds. As applications, we verify the stablizing conjecture of symplectic
4-manifolds for simply connected elliptic surfaces and construct smooth
6-manifolds admitting infinitely many deformation classes of symplectic
structures.
