Kirwan surjectivity for quiver varieties (Q1745395)

The authors prove that the `cohomology' of a Nakajima quiver varieties \(\mathfrak{M}\) is generated by the classes of tautological bundles naturally arising from their moduli of quiver representations presentation. Here `cohomology' extends beyond just singualar cohomology over \(\mathbb{Z}\) and even includes the derived category of quasicoherent sheaves. Classical results do not extend to this case since the ambient GIT space is singular. To prove the result, the authors give an explicit modular compactification \(\overline{\mathfrak{M}}\) of \(\mathfrak{M}\). They go on to describe the class of the graph of the inclusion \(\mathfrak{M} \hookrightarrow \overline{\mathfrak{M}}\) by a complex inspired by a construction due to Nakajima. The fact that the complex is composed of terms build from external tensor product of tautological bundles allows the authors to deduce the results using purely topological arguments.