Abstract:The quantum Grothendieck ring of a certain category of finite-dimensional modules over a quantum loop algebra associated with a complex finite-dimensional simple Lie algebra $\mathfrak{g}$ has a quantum cluster algebra structure of skew-symmetric type. Partly motivated by a search of a ring corresponding to a quantum cluster algebra of {\em skew-symmetrizable} type, the quantum {\em virtual} Grothendieck ring, denoted by $\mathfrak{K}_q(\mathfrak{g})$, is recently introduced by Kashiwara--Oh \cite{KO23} as a subring of the quantum torus based on the $(q,t)$-Cartan matrix specialized at $q=1$. In this paper, we prove that $\mathfrak{K}_q(\mathfrak{g})$ indeed has a quantum cluster algebra structure of skew-symmetrizable type. This task essentially involves constructing distinguished bases of $\mathfrak{K}_q(\mathfrak{g})$ that will be used to make cluster variables and generalizing the quantum $T$-system associated with Kirillov--Reshetikhin modules to establish a quantum exchange relation of cluster variables. Furthermore, these distinguished bases naturally fit into the paradigm of Kazhdan--Lusztig theory and our study of these bases leads to some conjectures on quantum positivity and $q$-commutativity.

Bases of the Quantum Cluster Algebra of the Kronecker Quiver

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

A generalized quantum cluster algebra of Kronecker type

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

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

A Quantum Analogue of Generic Bases for Affine Cluster Algebras

The multiplication theorem and bases in finite and affine quantum cluster algebras

Cluster Multiplication Theorem in the Quantum Cluster Algebra of Type A2(2) and the Triangular Basis

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

Recursive Formulas for the Kronecker Quantum Cluster Algebra with Principal Coefficients

A $\mathbb{Z}$-basis for the cluster algebra associated to an affine quiver

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

Integral Bases of Cluster Algebras and Representations of Tame Quivers

Quantization of virtual Grothendieck rings and their structure including quantum cluster algebras

Dual Canonical Bases for the Quantum General Linear Supergroup

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

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

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

Bases of q-Schur Module A(lambda)

Nakajima's quiver varieties and triangular bases of bipartite cluster algebras