Hiraku Nakajima. Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras. Duke Math. J. 76 (1994), no. 2, 365–416. doi:10.1215/S0012-7094-94-07613-8
Hiraku Nakajima. Heisenberg algebra and Hilbert schemes of points on projective surfaces. Ann. of Math. (2) 145 (1997), no. 2, 379–388. doi:10.2307/2951818, arXiv:alg-geom/9507012
Hiraku Nakajima. Quiver varieties and Kac-Moody algebras. Duke Math. J. 91 (1998), no. 3, 515–560. doi:10.1215/S0012-7094-98-09120-7
Hiraku Nakajima. Quiver varieties and finite-dimensional representations of quantum affine algebras. J. Amer. Math. Soc. 14 (2001), no. 1, 145–238. doi:10.1090/S0894-0347-00-00353-2