Quiver varieties and Lusztig's algebra. (Q2497329)

The paper under review deals with two related types of associative algebras, the deformed preprojective algebra \(\Pi^\lambda\) and the Lusztig algebra \(L^\lambda\) of a finite (connected) graph/quiver. In characteristic zero the (matrix) Hilbert series of the preprojective algebra \(\Pi^0\) is determined explicitly. This is accomplished by realizing \(\Pi^0\) as preprojective algebra of the modulated graph via the quantum McKay correspondence and by exploiting knowledge of the \(q\)-symmetric algebra. In another result the zeroth Hochschild homology of the deformed preprojective algebra is described in the finite and in the affine cases. \textit{G.\ Lusztig} described Nakajima's quiver varieties (introduced by \textit{H.\ Nakajima} [in Duke Math. J. 76, No. 2, 365-416 (1994; Zbl 0826.17026); ibid. 91, No. 3, 515-560 (1998; Zbl 0970.17017)]) as certain Grassmannians. For this he defined [in Adv. Math. 136, No. 1, 141-182 (1998; Zbl 0915.17008)] a map \(\vartheta\) from Nakajima's variety (weight \(\lambda\)) to the variety of representations of the algebra \(L^\lambda\), and he proved for quivers of ADE type that this map is finite and a homeomorphism onto its image. The main result of the present paper is to show that in the ADE case the map \(\vartheta\) is an algebraic isomorphism onto its image. This was known before only in the \(A\) case [see \textit{A.\ Maffei}, Comment. Math. Helv. 80, No. 1, 1-27 (2005; Zbl 1095.16008)]. As an application the (reduced) variety of representations of Lusztig's algebra is shown to be Poisson.