Affine quivers and canonical bases (Q1802681): Difference between revisions

Let \(U\) be the quantized enveloping algebra, and \(U=U^ +\otimes U^ \circ\otimes U^ -\) its triangular decomposition. The author gave a purely geometric construction of \(U^ \leq=U^ \circ\otimes U^ -\) in terms of perverse sheaves on moduli space of representations of a quiver; and described a canonical basis of \(U^ -\) with very favourable properties in [J. Am. Math. Soc. 4, 365-421 (1991; Zbl 0738.17011)]. According to \textit{J. McKay} [Proc. Symp. Pure Math. 37, 183-186 (1980; Zbl 0451.05026)], there is a natural \(1\)-\(1\) correspondence between symmetric affine Cartan matrices and finite subgroups \(\Gamma\) of \(SL(\rho)\), where \(\rho\) is a two-dimensional \(\mathbb{C}\)-vector space. In this paper, the author gives a description of the simple perverse sheaves in concrete terms which form the canonical basis in the affine case, and he shows in this case that the construction of \(U^ \leq\) can be reformulated in terms of the corresponding finite group \(\Gamma\) of \(SL(\rho)\). Thus, in the affine case, \(U^ \leq\) (and hence, \(U\)) are constructed directly in terms of \(\Gamma\). If one replaces \(\Gamma\) by a closed reductive infinite subgroup of \(SL(\rho)\), then one gets an infinite graph: of type \(A\) (infinite in both directions), of type \(B\) (infinite in one direction, finite in the other) or type \(D\), and then the finite case can be extended in an obvious way to the infinite case, and the infinite case is actually simpler.