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.

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

Dual Canonical Bases for the Quantum General Linear Supergroup

On Dual Canonical Bases

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

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

Canonical Bases and Quantum Coordinate Algebras

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

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

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

Bases of the Quantum Cluster Algebra of the Kronecker Quiver

Two-parameter Quantum Algebras, Canonical Bases and Categorifications

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

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

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

A quantum analogue of the first fundamental theorem of invariant theory

U-q(sl(m+1))-Module Algebra Structures on the Coordinate Algebra of a Quantum Vector Space

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

A Quantum Analogue of the First Fundamental Theorem of Classical Invariant Theory

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}$

A New Realization Of Quantum Algebra Su(Q)(2) In Terms Of The Basis Of Lie-Algebra Su(2)