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.

Crystal Bases and Simple Modules for Hecke Algebra of Type Dn

Crystal Bases and Simple Modules for Hecke Algebras of Type G(p,p,n)

Crystal of Affine (s)over-capl<sub>l</sub> and Modular Branching Rules for Hecke Algebras of Type <i>D<sub>n</sub></i>

Crystal of Affine 𝔰𝔩_ℓ and Modular Branching Rules for Hecke Algebras of Type D n

Hecke Algebras of Type D-N at Roots of Unity

Matrix Units and Primitive Idempotents for the Hecke Algebra of Type Dn

On simple modules of Hecke algebras of type D n

Crystal of Affine Type Aˆℓ−1 and Hecke Algebras at a Primitive 2ℓth Root of Unity

Heaps, crystals, and preprojective algebra modules

Crystal of affine $\widehat{\mathfrak{sl}}_{\ell}$ and Hecke algebras at a primitive $2\ell$th root of unity

Finite-Dimensional Simple Modules over Generalized Heisenberg Algebras

Bases of q-Schur Module A(lambda)

Polyhedral realizations of crystal bases for quantum algebras of finite types

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

Modular representations of Hecke algebras of type G(p,p,n)

Real simple modules over simply-laced quantum affine algebras and categorifications of cluster algebras

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

On the Hecke Module of $\text{GL}_n(k[[z]])\backslash \text{GL}_n(k((z)))/\text{GL}_n(k((z^2)))$

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

Heisenberg Algebras and Rational Double Affine Hecke Algebras

Rigid dualizing complexes of affine Hecke algebras