Global Kuranishi charts and a product formula in symplectic Gromov-Witten theory

We construct global Kuranishi charts for the moduli spaces of stable pseudoholomorphic maps to a closed symplectic manifold in all genera. This is used to prove a product formula for symplectic Gromov-Witten invariants. As a consequence we obtain a Künneth formula for quantum cohomology.