Quantization of minimal resolutions of Kleinian singularities. (Q876326)

Let \(\Gamma\subset\text{SL}_2(\mathbb{C})\) be a finite nontrivial subgroup. Associated to \(\Gamma\) is a Kleinian singularity \(X:=\mathbb{C}^2/\Gamma\). \textit{W. Crawley-Boevey} and \textit{M. P. Holland} [Duke Math. J. 92, No. 3, 605-635 (1998; Zbl 0974.16007)] introduced a family \(\{\mathcal O^\lambda\}\) of (generally) noncommutative deformations of \(X\). The main result of this paper is the construction for certain \(\lambda\) with \(\mathcal O^\lambda\) having finite global dimension of a family of filtered \(\mathbb{Z}\)-algebras \(\{B^\lambda(\chi)\}\) with each \(B^\lambda(\chi)\) being Morita equivalent to \(\mathcal O^\lambda\). This is an analogue of a result of \textit{I. Gordon} and \textit{J. T. Stafford} [Adv. Math. 198, No. 1, 222-274 (2005; Zbl 1084.14005)] which states that certain rational Cherednik algebras are Morita equivalent to certain noncommutative deformations of a Hilbert scheme. Both of these results were conjectured by V. Ginzburg. This result provides a new approach to studying the representation theory of \(\mathcal O^\lambda\) which the author investigates in forthcoming work. Moreover, the associated graded \(\mathbb{Z}\)-algebra of \(B^\lambda(\chi)\) is shown to be Morita equivalent to the minimal resolution of \(X\). This affirmatively answers a question posed by \textit{M. P. Holland} [Ann. Sci. Éc. Norm. Supér. (4) 32, No. 6, 813-834 (1999; Zbl 1036.16024)]. In the sense of Holland's work, the algebra \(\mathcal O^\lambda\) can be considered as a `quantization' of \(X\), and Holland asked whether the minimal resolution of \(X\) admitted a quantization. This result shows that these graded algebras are such quantizations. The paper includes a discussion of quivers, particularly the McKay quiver of \(\Gamma\) which is needed for the definition of \(\mathcal O^\lambda\), as well as of the construction of minimal resolutions of \(X\). The author also discusses some fundamental notions about \(\mathbb{Z}\)-algebras and introduces the concept of a Morita \(\mathbb{Z}\)-algebra. A key step in the proof is a stronger version of a categorical equivalence result of Gordon and Stafford. It should be noted that using independent methods a slightly different version of the main result here has been proved by \textit{I. M. Musson} [J. Algebra 293, No. 1, 102-129 (2005; Zbl 1082.14008)] for Kleinian singularities of type \(A\).