Constructible functions on varieties attached to quivers (Q4437893)

Let \(\mathcal U\) be the universal enveloping algebra of a simple complex Lie algebra of type \(A, D\) or \(E\), and let \({\mathcal U}^-\) be the lower triangular part of \(\mathcal U\). One of the actively studied problems in the last few years has been to find an interpretation for these algebras in terms of representations of oriented Coxeter graphs. The Ringel construction of \({\mathcal U}^-\) involves a partial orientation and it is not clear how to extend it to a construction of \(\mathcal U\). The author of the paper under review proved that \({\mathcal U}^-\) can be geometrically be realized using constructible functions on the space of representations of a doubly oriented Coxeter graph. Nakajima has shown that this extends to a construction of \(\mathcal U\) itself in terms of the homology of quiver varieties and triple varieties. In the paper under review the author shows that an arbitrary large finite dimensional quotient of \(\mathcal U\) can be constructed in terms of constructible functions on the triple variety. As an application, he gives a geometric realization of the tensor product of two finite dimensional simple \(\mathcal U\)-modules in terms of constructible functions on a suitable open set in the triple variety. This leads to a construction of a semicanonical basis in such a tensor product. The author also describes the transfer maps between various finite dimensional quotients of \(\mathcal U\). He also shows that the number of points of a triple variety over a finite field behaves as a polynomial in the number of the elements of the field. For the entire collection see [Zbl 1005.00049].