No label defined (Q4797989)

The authors associate to a finite subgroup \(\Gamma\) of \(SL(2,\mathbb C)\) and an element \(\tau\) in the center of the group algebra \(\mathbb C[\Gamma]\) a category, which is interpreted as a noncommutative analog of the complex projective plane. This category arises as a quotient of the category of graded modules over a graded version of the deformed preprojective algebra introduced by \textit{W. Crawley-Boevey} and \textit{M. P. Holland} [Duke Math. J. 92, No. 3, 605--635 (1998; Zbl 0974.16007)]. On the other hand, the authors associate to \(\Gamma\), \(\tau\) and each pair of finite dimensional \(\Gamma\)-modules a quiver variety, defined as a geometric invariant theory quotient of a variety of certain triples of homomorphisms. This quiver variety is isomorphic to a Nakajima quiver variety via the McKay correspondence. The first main result is that the quiver variety is naturally isomorphic to a space of isomorphism classes of certain torsion free objects. This is then used to prove a generalized version of a conjecture by Crawley-Boevey and Holland.