Geometric realization of affine bases: the Kronecker quiver case

Abstract

In this paper, we study the transition matrix between the PBW basis and the canonical basis for the negative part of the quantized enveloping algebra of the Kronecker quiver from a geometric viewpoint. Building on Lusztig's geometric construction of the canonical basis, we construct sheaf-complex realizations of PBW basis elements by means of flag sheaf complexes over the strata $X(α,m)$ of representation varieties. Our first goal is to give a geometric description of the simple constituents appearing in the restrictions of these flag sheaf complexes to the strata $X(α,m)$. This allows us to compare the PBW-type sheaf complexes with the simple perverse sheaves $IC(X(α),L_χ)$ arising in Lusztig's construction. Using this description together with a purity result for the relevant $\mathbb{F}_q$-structures, we obtain another proof that the elements defined by Lusztig's perverse sheaves indeed form a basis of the composition algebra.Our second goal is to make the transition coefficients between the PBW basis and the canonical basis geometrically explicit. More precisely, we show that these coefficients are governed by the multiplicities of local systems in the restrictions of intersection cohomology complexes to smaller strata. As a consequence, the transition matrix from the canonical basis to the PBW basis is upper triangular with diagonal entries equal to $1$, and its coefficients admit a direct geometric interpretation. In particular, in the Kronecker quiver case we recover the triangularity of the transition matrix and obtain positivity properties of the corresponding coefficient polynomials.