Central extensions of preprojective algebras, the quantum Heisenberg algebra, and 2-dimensional complex reflection groups. (Q2497422): Difference between revisions

Let \(Q\) be a finite quiver. The preprojective component of linear \(Q\)-representations over a field \(K\) can be made into a \(K\)-algebra via the mesh relations. This algebra was considered by Gelfand and Ponomarev in 1979. A deformed version of the preprojective algebra (for the ADE case) was introduced in 1996 by the reviewer and independently by \textit{W. Crawley-Boevey} and \textit{M. P. Holland} [Duke Math. J. 92, No. 3, 605-635 (1998; Zbl 0974.16007)] who dealt with the affine case. When \(Q\) is of ADE type, the deformed preprojective algebra \(\Pi\) is an order in a semisimple algebra, but as the preprojective component stops at the injectives, it is not of the form \(\mathbb{Z} Q\), which causes a lack of some nice properties of \(\Pi\) arising in the non-ADE cases. In the paper under review, the authors consider a central extension of \(\Pi\) in the ADE case, depending on a regular weight for the root system of \(Q\), which yields a Frobenius algebra, and they calculate its Hilbert polynomial. To achieve this, they extend a result of Malkin, Ostrik, and Vybornov who obtained the preprojective algebra as an image of the quantum symmetric algebra. So the central extension of \(\Pi\) arises as an image of the quantum Heisenberg algebra. They exhibit an interesting relationship to cyclotomic Hecke algebras \(H\) of two-dimensional complex reflection groups \(\Gamma\) and prove that \(H\) is module-finite over the ring \(\mathbb{C}[T]\) of complex functions on the torus \(T\) of parameters. This implies part of a conjecture of \textit{M. Broué, G. Malle} and \textit{R. Rouquier} [J. Reine Angew. Math. 500, 127-190 (1998; Zbl 0921.20046)] on the dimension of \(H(\Lambda)\) for \(\Lambda\in T\).