Lusztig sheaves, characteristic cycles and the Borel-Moore homology of Nakajima's quiver varieties

Abstract

By using characteristic cycles, we build a morphism from the canonical bases of integrable highest weight modules of quantum groups to the top Borel-Moore homology groups of Nakajima's quiver and tensor product varieties, and compare the canonical bases and the fundamental classes. As an application, we show that Nakajima's realization of irreducible highest weight modules and their tensor products can be defined over integers. We also give a new proof of Nakajima's conjecture on the canonical isomorphism of tensor product varieties.