Kirwan surjectivity for quiver varieties

For algebraic varieties defined by hyperkahler or, more generally, algebraic symplectic reduction, it is a long-standing question whether the "hyperkahler Kirwan map" on cohomology is surjective. We resolve this question in the affirmative for Nakajima quiver varieties. We also establish s...