Theorem 5.5 has been strengthened in

Malkin,Ostrik,Vybornov: "Quiver varieties and Lusztig's algebra", RT/0403222.

where it is shown that the morphism in Theorem 5.5 is in fact an isomorphism 
of algebraic varieties.