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.

The Grothendieck ring of quantum double of quaternion group

Structure of Quantum Doubles of Finite Clifford Monoids

The projective class ring of half-quantum groups at roots of unity

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

On simple modules and automorphisms of the quantum Galilei group

Representations of the small quasi-quantum group

On the Structure and Representations of Non-Balanced Quantum Doubles

Representations of the Small Quasi-Quantum Group ${\Operatorname{q}}\mathbf{u}_{q}(\mathfrak{sl}_{2})$

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

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

Quantum Character Theory

The Product of a Generalized Quaternion Group And a Cyclic Group

p-DG Cyclotomic nilHecke Algebras II

On some mod p representations of quaternion algebra over Qp

A quantum cluster algebra structure on the semi-derived Hall algebra

Linkage and translation for tensor products of representations of simple algebraic groups and quantum groups

Tensor Triangular Geometry for Quantum Groups

Regular Representations of Quantum Groups at Roots of Unity

Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1

Finite Quasi-Quantum Groups of Rank Two