Integral Kirwan Surjectivity

We refine Kirwan's surjectivity and formality theorems for a Hamiltonian G-action on a compact symplectic manifold M. For a regular value of the moment map, we show that the Kirwan map is surjective and additively split after inverting the orders of stabilizers in the reduction. In particular, for a free quotient, it is surjective integrally. We generalize this to a splitting of MU-module spectra. We also give a stable version of Kirwan's equivariant formality theorem. The novel idea is to exploit the Atiyah-Bott argument in Morava K-theory, then return to bordism and cohomology.