Central extensions of preprojective algebras, the quantum Heisenberg algebra, and 2-dimensional complex reflection groups.

DOI10.1016/J.JALGEBRA.2006.01.005MaRDI QIDQ2497422zbMATH OpenOpenAlexFDO

Authors Eric Rains, Pavel Etingof

Publication date 4 August 2006

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0503393

zbMATH Keywords

central extensionscomplex reflection groupscyclotomic Hecke algebrasdeformed preprojective algebrasDynkin quiversfinite quiversorders in semisimple algebraspreprojective componentsquantum Heisenberg algebraquantum symmetric algebrasroot systems

Mathematics Subject Classification ID

Representations of quivers and partially ordered sets (16G20) Hecke algebras and their representations (20C08)

Abstract: We introduce a central extension of the preprojective algebra of a finite Dynkin quiver (depending on a regular weight for the corresponding root system), whose natural deformed version is flat (unlike that for the preprojective algebra). We calculate the Hilbert polynomial of the central extension, and show that it is a Frobenius algebra. As a corollary, we obtain the Hilbert series of the usual deformed preprojective algebra in which the deformation parameters are variables, and show that this algebra is Gorenstein (although it is not a flat module over the ring of parameters). The proofs are based on the fact that our central extension for the weight ho is the image of the quantum Heisenberg algebra in the fusion category of representations of quantum SL(2) under a tensor functor into bimodules over a semisimple algebra. Finally, we explain how our algebras are connected to cyclotomic Hecke algebras of complex reflection groups of rank 2, and in particular show that the dimension of the latter for generic parameters is equal to the order of the group, as conjectured by Broue, Malle, and Rouquier.

Review text

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\).

Recommendations

• A new approach to simple modules for preprojective algebras
• Geometry of the moment map for representations of quivers.
• Quantum groups and deformations of preprojective algebras
• Representations of rational Cherednik algebras of rank one in positive characteristic.
• scientific article; zbMATH DE number 1879568
• On the center of affine Hecke algebras of type \(A\).
• Hochschild homology of affine Hecke algebras.
• Reflection functors and symplectic reflection algebras for wreath products.
• Representation type of finite quiver Hecke algebras of type \(D^{(2)}_{\ell +1}\)
• Representation type of finite quiver Hecke algebras of type \(C^{(1)}_{l}\)

Cites work

• Finite Unitary Reflection Groups
• Geometry of the moment map for representations of quivers.
• scientific article; zbMATH DE number 1014783 (Why is no real title available?)
• scientific article; zbMATH DE number 1176965 (Why is no real title available?)
• scientific article; zbMATH DE number 1550535 (Why is no real title available?)
• scientific article; zbMATH DE number 2169383 (Why is no real title available?)
• scientific article; zbMATH DE number 2188796 (Why is no real title available?)
• scientific article; zbMATH DE number 970052 (Why is no real title available?)
• Model algebras and representations of graphs
• Module categories over representations of \(\text{SL}_q(2)\) and graphs
• Monodromy for systems of vector bundles and multiplicative preprojective algebras
• Noncommutative deformations of Kleinian singularities
• On the category \(\mathcal O\) for rational Cherednik algebras.
• Quiver varieties and Lusztig's algebra.
• Rings with Auslander dualizing complexes
• Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism.
• The Coxeter element and the branching law for the finite subgroups of SU(2)

Cited in

(20)

• Calabi-Yau Frobenius algebras.
• Representations of deformed preprojective algebras and quantum groups.
• Proof of the Broué-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin-G. Pfeiffer)
• On refined filtration by supports for rational Cherednik categories \(\mathcal {O}\)
• Proof of the BMR conjecture for \(G_{20}\) and \(G_{21}\)
• The cubic Hecke algebra on at most 5 strands.
• The freeness and trace conjectures for parabolic Hecke subalgebras
• On central extensions of preprojective algebras.
• Monodromy of Fuchsian systems on complex linear spaces
• The BMR freeness conjecture for the 2-reflection groups
• Some generalizations of preprojective algebras and their properties
• The freeness conjecture for Hecke algebras of complex reflection groups, and the case of the Hessian group \(G_{26}\).
• Two-dimensional centrally extended quantum Galilei groups and their algebras
• The BMR freeness conjecture for the tetrahedral and octahedral families
• The BMR freeness conjecture for the first two families of the exceptional groups of rank 2
• BMR Freeness for Icosahedral Family
• A boson-fermion correspondence in cohomological Donaldson–Thomas theory
• Quiver Heisenberg algebras and the algebra B(Q)
• The Hilbert series of preprojective algebras
• A combinatorial generalisation of rank two complex reflection groups via generators and relations

This page was built for publication: Central extensions of preprojective algebras, the quantum Heisenberg algebra, and 2-dimensional complex reflection groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2497422)