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.

Canonical Bases and Quantum Coordinate Algebras

On Dual Canonical Bases

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

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

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

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

Bases of Quantized Enveloping Algebras

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

Dual Canonical Bases for the Quantum General Linear Supergroup

Generic Extensions and Canonical Bases for Cyclic Quivers

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

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

Bases of the Quantum Cluster Algebra of the Kronecker Quiver

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

Bases of $Q$-Schur Module $\Mathcal{a}^{\lambda}$

An Elementary Construction of Monomial Bases of Modified Quantum Affine Gln

Quantum affine $\frak{gl}_n$ via Hecke algebras

Bases of q-Schur Module A(lambda)

Polyhedral realizations of crystal bases for quantum algebras of finite types

A Quantum Analogue of Generic Bases for Affine Cluster Algebras

Affine Hecke Algebras and Quantum Symmetric Pairs