In this paper, we study a sheaf-theoretic analysis of the convolution algebra on quiver varieties. As by-products, we reinterpret the results of H. Nakajima. We also produce a refined form of the BBD decomposition theorem for quiver varieties. Finally, we study a construction of highest weight modules through constructible functions.