Abstract:The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal enveloping algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four. Geiss-Leclerc-Schroeer attached to M a category C_M of nilpotent modules over the preprojective algebra of the Kronecker quiver together with an acyclic cluster algebra A(C_M). The dual semicanonical basis contains all cluster monomials. By construction, the cluster algebra A(C_M) is a subalgebra of the graded dual of the (non-quantized) universal enveloping algebra U(n). We transfer to the quantized setup. Following Lusztig we attach to w a subalgebra U_q^+(w) of U_q(n). The subalgebra is generated by four elements that satisfy straightening relations; it degenerates to a commutative algebra in the classical limit q=1. The algebra U_q^+(w) possesses four bases, a PBW basis, a canonical basis, and their duals. We prove recursions for dual canonical basis elements. The recursions imply that every cluster variable in A(C_M) is the specialization of the dual of an appropriate canonical basis element. Therefore, U_q^+(w) is a quantum cluster algebra in the sense of Berenstein-Zelevinsky. Furthermore, we give explicit formulae for the quantized cluster variables and for expansions of products of dual canonical basis elements.

On Dual Canonical Bases

Dual Canonical Bases for the Quantum Special Linear Group and Invariant Subalgebras

Dual Canonical Bases for the Quantum General Linear Supergroup

Canonical Bases and Quantum Coordinate Algebras

A quantum cluster algebra of Kronecker type and the dual canonical basis

Notes: from dual canonical bases to triangular bases of quantum cluster algebras

Analogs of the dual canonical bases for cluster algebras from Lie theory

Canonical bases of $q$-Brauer algebras and $\imath$Schur dualities

Bases of Quantum Cluster Algebra of Type $\Widetilde{a}^{(1)}_{1}$

Bases of the Quantum Cluster Algebra of the Kronecker Quiver

Canonical bases and new applications of increasing and decreasing subsequences to invariant theory

Generic Extensions and Canonical Bases for Cyclic Quivers

Global bases for Bosonic extensions of quantum unipotent coordinate rings

Bases of Quantized Enveloping Algebras

Tame quivers and affine bases II: nonsimply-laced cases

Dual canonical bases for unipotent groups and base affine spaces

Atomic Bases of Quantum Cluster Algebras of Type A˜2n−1,1

Atomic basis of quantum cluster algebra of type $\widetilde{A}_{2n-1,1}$

The quantum general linear supergroup, canonical bases and Kazhdan-Lusztig polynomials

Lectures on dualities ABC in representation theory

A dual basis for the equivariant quantum $K$-theory of cominuscule varieties