Abstract
We establish a quantum cluster algebra structure on the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite-dimensional representations of a simply-laced quantum affine algebra. Moreover, the (q, t)-characters of certain irreducible representations, among which fundamental representations, are obtained as quantum cluster variables. This approach gives a new algorithm to compute these (q, t)-characters. As an application, we prove that the quantum Grothendieck ring of a larger category of representations of the Borel subalgebra of the quantum affine algebra, defined in a previous work as a quantum cluster algebra, contains indeed the well-known quantum Grothendieck ring of the category of finite-dimensional representations. Finally, we display our algorithm on a concrete example.
Similar content being viewed by others
1 Introduction
Finite-dimensional representations of quantum affine algebras have been classified by Chari and Pressley [7] with a quantum affine analog of Cartan’s highest weight classification of finite-dimensional representations of simple Lie algebras. Combining this classification with the notations from Frenkel–Reshetikhin q-character [10] theory, one gets the following.
Let \(\mathfrak {g}\) be a finite-dimensional simple Lie algebra, and \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\) be the quantum affine algebra. Irreducible finite-dimensional representations of \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\) are indexed by monomials in the infinite set of variables \(\{Y_{i,a}\}_{i\in I, a\in \mathbb {C}^\times }\), where \(I=\{1, \ldots ,n\}\) are the vertices of the Dynkin diagram of \(\mathfrak {g}\). For such a monomial m, the corresponding simple \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-module is denoted by L(m). If the monomial is just one term \(m=Y_{i,a}\), the corresponding simple module \(L(Y_{i,a})\) is called a fundamental module. Chari–Pressley classification result also implies that every simple module can be obtained as a subquotient of a tensor product of such fundamental modules.
This classification is a major result. However, it gives limited information on the module structure. For that purpose, Frenkel and Reshetikhin have developed a theory of q-characters, giving the decomposition of the modules into generalized eigenspaces for the action of a large commutative subalgebra of \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\). Frenkel–Mukhin established an algorithm to compute those q-characters [9]. This algorithm is guaranteed to work on fundamental modules, but not on all irreducible \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules [36].
When \(\mathfrak {g}\) is of simply-laced type, Nakajima [30] used the input from geometry, and more precisely perverse sheaves on quiver varieties, to construct t-deformations of these q-characters, called \((q,t)\)-characters, as elements of a quantum Grothendieck ring. He introduced a second base for the Grothendieck ring of the category of finite-dimensional representations of \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\), also indexed by the monomials in the variables \(\{Y_{i,a}\}_{i\in I, a\in \mathbb {C}^\times }\), formed by the standard modules. Geometrically, these standard modules correspond to constant sheaves, but algebraically, for each monomial m, the standard module M(m) can be seen as the tensor product of the fundamental modules corresponding to each of the factors in m, in a particular order (see also [39]).
He first used a t-deformed version of Frenkel–Mukhin’s algorithm to compute \((q,t)\)-characters for the fundamental modules, then extended the \((q,t)\)-characters to the standard modules, denoted \([M(m)]_t\). Next, he defined \((q,t)\)-characters for the simple modules as some unique family of elements \([L(m)]_t\) of the quantum Grothendieck ring satisfying some invariance property, as well as having a decomposition of the form
where < is a partial order on the set of Laurent monomials in the variables \(\{Y_{i,a}\}_{i\in I, a\in \mathbb {C}^\times }\), defined by Nakajima, and \(Q_{m',m}(t)\in \mathbb {Z}[t^{\pm 1}]\) is a Laurent polynomial.
Nakajima then showed that these \((q,t)\)-characters were indeed t-deformations of the q-characters of the simple modules L(m), in the sense that the evaluation of the \((q,t)\)-characters at \(t=1\) recovers the q-characters. Finally, inverting the unitriangular decomposition (1.1), one gets an algorithm, of the Kazhdan–Lusztig type, to compute the \((q,t)\)-characters, and so the q-characters of all simple finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules.
This algorithm is theoretically computable, but as noted in [34], trying to compute it in reality can easily exceed the size of computer memory available. The first step of the algorithm is to compute the \((q,t)\)-characters of the fundamental representations, and for example, for \(\mathfrak {g}\) of type \(E_8\), the 5th fundamental representation requires 120Go of memory to compute.
In [22] Hernandez and Leclerc introduced a new point of view on representations of quantum affine algebras, using the theory of cluster algebras that was developed by Fomin and Zelevinsky in the early 2000’s [1, 11,12,13]. In [24] they established a new algorithm to compute q-characters of a particular class of irreducible modules, called Kirillov–Reshetikhin modules, which include the fundamental modules, using the cluster algebra structure of the Grothendieck ring of a subcategory of the category of finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules. The picture is completed when put into the broader context of the category \(\mathcal {O}^+\) of representations of \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\), introduced by Hernandez and Jimbo in [21]. In [25], Hernandez and Leclerc showed that the Grothendieck ring of this category, which contains the finite-dimensional representations, is isomorphic to a cluster algebra built on an infinite quiver, while explicitly giving the identification.
In a previous work [3], the author defined the quantum Grothendieck ring for this category \(\mathcal {O}^+\) of representations as a quantum cluster algebra, as defined by Berenstein and Zelevinsky [4]. However, the question of whether this quantum Grothendieck ring contained the quantum Grothendieck ring of the category of finite-dimensional representations, as used by Nakajima, was only proven in type A, and remained conjectural for other types.
In this article we propose to show that, when \(\mathfrak {g}\) is of simply-laced type, the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules has a quantum cluster algebra structure (Proposition 7.3.3). The proof relies heavily on a family of relations satisfied by the \((q,t)\)-characters of the Kirillov–Reshetikhin modules called quantum T-systems proved in [31]. These relations are t-deformations of the T-systems relations, first stated in [29]. These relations have not been generalized to non-simply-laced types, except for type \(B_n\) in [26]. This is the main reason why the results of this paper are limited to ADE types. This quantum cluster algebra approach gives a new algorithm to compute the \((q,t)\)-characters of the Kirillov–Reshetikhin modules, and in particular of the fundamental modules (see Proposition 6.3.1). This algorithm seems more efficient, at least in terms of number of steps, than the Frenkel–Mukhin algorithm (see Remark 7.3.6).
For certain subcategories of the category of finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules generated by a finite number of fundamental modules, Qin obtained in [37] in a different context results similar to some results whose direct proofs are given here (see Remark 5.2.5). In this present work, we give explicit sequences of mutations to obtain \((q,t)\)-characters of fundamental modules.
Next, we use this new result to prove a conjecture that was stated by the author in the aforementionned work [3]. This previous work dealt with a category \(\mathcal {O}^+\) of representations of the Borel subalgebra of the quantum affine algebra, which contains the finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules. The quantum Grothendieck ring of this category was defined as a quantum cluster algebra, and it was conjectured that this ring contained the quantum Grothendieck ring of the category of finite-dimensional representations. Here, we show that the quantum cluster algebra considered in [3] can be seen as a twisted version (in the sense of [15]) of the quantum cluster algebra occurring in the finite-dimensional case (see Proposition 7.2.3). As an application, the \((q,t)\)-characters of the fundamental modules are obtained as quantum cluster variables in the quantum Grothendieck ring of the category \(\mathcal {O}^+\) (Proposition 7.3.3), and the inclusion of quantum Grothendieck rings conjectured in [3] follows naturally (Theorem 7.3.1 and Corollary 7.3.5).
Note that these results extend the algorithm to compute \((q,t)\)-characters of some simple modules in the category \(\mathcal {O}^+\). However, for this category of representations, the question of defining analogs of standard modules remains open. The author tackled this question in a previous work [2], and gave a complete answer when the underlying simple Lie algebra is \(\mathfrak {g}=\mathfrak {sl}_2\). This work is also a partial answer to the first point of Nakajima’s “to do” list from [35].
The author would also like to note that in type A, parallel results to the ones presented here were proven in [38], via a different approach. In this work, \((q,t)\)-characters of Kirillov–Reshetikhin modules are also obtained as quantum cluster variables in some quantum cluster algebra, the method uses a generalization of the tableaux-sum notations introduced by Nakajima in [32].
Finally, we use this algorithm to explicitly compute, when \(\mathfrak {g}\) is of type \(D_4\), the \((q,t)\)-character of the fundamental representation at the trivalent node.
This paper is organized as follows. In Sects. 2 and 3 we recall notations and results regarding finite-dimensional representations of quantum affine algebras. In Sect. 4, we recall results regarding the t-deformation of Grothendieck rings, such as \((q,t)\)-characters and quantum T-systems. In Sect. 5 we prove the existence of a quantum cluster algebra \( \mathcal {A}_t\) with t-commutations relations coherent with the framework of \((q,t)\)-characters. Then, in Sect. 6 we prove that this quantum cluster algebra is isomorphic to the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules; in this process, we established an algorithm to compute \((q,t)\)-characters of Kirillov–Reshetikhin modules. Section 7 is devoted to the category \(\mathcal {O}^+\), and to the proof of the inclusion Conjecture of [3]. Finally, the explicit computation mentioned just above is done in Sect. 8.
2 Cartan data and quantum Cartan data
2.1 Root data
Let us fix some notations for the rest of the paper. Let \(\mathfrak {g}\) be a simple Lie algebra of rank n and of type A, D or E. This restriction is necessary as one of the main arguments of the proof is the quantum T-systems, which have only been proven for these types as yet. Let \(\gamma \) be the Dynkin diagram of \(\mathfrak {g}\) and let \(I:=\{ 1, \ldots , n \}\) be the set of vertices of \(\gamma \).
The Cartan matrix of \(\mathfrak {g}\) is the \(n\times n\) matrix C such that
Let us denote by \((\alpha _{i})_{i\in I}\) the simple roots of \(\mathfrak {g}\), \((\alpha _{i}^{\vee })_{i\in I}\) the simple coroots and \((\omega _{i})_{i\in I}\) the fundamental weights. We will use the usual lattices \(Q= \bigoplus _{i\in I}\mathbb {Z}\alpha _{i}\), \(Q^{+}= \bigoplus _{i\in I}\mathbb {N}\alpha _{i}\) and \(P= \bigoplus _{i\in I}\mathbb {Z}\omega _{i}\). Let \(P_{\mathbb {Q}}=P\otimes \mathbb {Q}\), endowed with the partial ordering : \(\omega \le \omega '\) if and only if \(\omega ' - \omega \in Q^{+}\).
The Dynkin diagram of \(\mathfrak {g}\) is numbered as in [28], and let \(a_1,a_2,\ldots ,a_n\) be the Kac labels (\(a_0=1\)).
Let h be the (dual) Coxeter number of \(\mathfrak {g}\):
2.2 Quantum Cartan matrix
Let z be an indeterminate.
Definition 2.2.1
The quantum Cartan matrix of \(\mathfrak {g}\) is the matrix C(z) with entries,
Remark 2.2.2
The evaluation C(1) is the Cartan matrix of \(\mathfrak {g}\). As \(\det (C)\ne 0\), then \(\det (C(z))\ne 0\) and we can define \(\tilde{C}(z)\), the inverse of the matrix C(z). The entries of the matrix \(\tilde{C}(z)\) belong to \(\mathbb {Q}(z)\).
One can write
where A is the adjacency matrix of \(\gamma \). Hence,
Therefore, we can write the entries of \(\tilde{C}(z)\) as power series in z. For all \(i,j\in I\),
Example 2.2.3
-
(i)
For \(\mathfrak {g}=\mathfrak {sl}_{2}\), one has
$$\begin{aligned} \tilde{C}_{1 1} = \sum _{n=0}^{+\infty }(-1)^{n}z^{2n+1} = z-z^{3}+z^{5}-z^{7}+z^{9}-z^{11} + \cdots \end{aligned}$$(2.3) -
(ii)
For \(\mathfrak {g}=\mathfrak {sl}_{3}\), one has
$$\begin{aligned} \tilde{C}_{ii}&= z-z^{5}+z^{7}-z^{11}+z^{13} + \cdots , \quad 1 \le i \le 2\\ \tilde{C}_{ij}&= z^{2}-z^{4}+z^{8}-z^{10}+z^{14} + \cdots , \quad 1 \le i \ne j \le 2. \end{aligned}$$
We will need the following lemma:
Lemma 2.2.4
[3, Lemma 3.2.4] For all \((i,j)\in I^2\),
Let us extend the functions \( \tilde{C}_{ij}\) to even functions on \(\mathbb {Z}\)
with the usual convention \(\tilde{C}_{ij}(m)=0\) if \(m\le 0\). Then Lemma 2.2.4 translates as:
2.3 Height function
As \(\mathfrak {g}\) is simply-laced, its Dynkin diagram \(\gamma \) is a bipartite graph. There is partition \(I=I_0 \sqcup I_1\) such that every edge in \(\gamma \) connects a vertex of \(I_0\) to a vertex of \(I_1\).
Definition 2.3.1
Define, for all \(i\in I\),
The map \(\xi : I\rightarrow \{0,1\}\) is called a height function on \(\gamma \).
Remark 2.3.2
In more generality, every function \(\xi : I \rightarrow \mathbb {Z}\) satisfying
is a height function on \(\gamma \). It defines an orientation of the Dynkin diagram \(\gamma \):
Our particular choice of height function defines a sink-source orientation.
Example 2.3.3
If \(\mathfrak {g}\) if of type \(D_5\), then \(\gamma \) is
and if we fix \(\xi _1 = 0\), then
From now on, we fix such a height function \(\xi \). We will also use the notation:
2.4 Semi-infinite quiver
Let us define an infinite quiver \(\Gamma \) as in [24]. First, let
Let \(\Gamma \) be the quiver with vertex set \(\hat{I}\) and arrows
Example 2.4.1
For \(\mathfrak {g}=\mathfrak {sl}_{4}\), one choice of \(\hat{I}\) is
and \(\Gamma \) is the following:
Definition 2.4.2
Let
And define \(G^-\) to be the semi-infinite subquiver of \(\Gamma \) of vertex set \(\hat{I}^-\).
Let
Example 2.4.3
Following Example 2.4.1, for \(\mathfrak {g}=\mathfrak {sl}_{4}\), with the same choice of height function, one has
and \(G^-\) is the following:
Finally, we recall a useful notation from [24]. For \((i,r)\in \hat{I}^-\), define
The vertex (i, r) is the \(k_{i,r}\)th vertex in its column in \(G^-\), starting at the top.
3 Finite-dimensional representations of quantum affine algebras
In this section, we recall the notations and different results regarding quantum affine algebras and finite-dimensional representations of quantum affine algebras.
3.1 Quantum affine algebra
Let \(\hat{\mathfrak {g}}\) be the untwisted affine Lie algebra corresponding to \(\mathfrak {g}\).
Fix an nonzero complex number q, which is not a root of unity, and \(h\in \mathbb {C}\) such that \(q=e^{h}\). Then for all \(r\in \mathbb {Q}, q^{r}:=e^{rh}\). Since q is not a root of unity, for \(r,s\in \mathbb {Q}\), we have \(q^{r}=q^{s}\) if and only if \(r=s\).
Let \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\) be the quantum enveloping algebra of the Lie algebra \(\hat{\mathfrak {g}}\) (see [6]), it is a \(\mathbb {C}\)-Hopf algebra.
3.2 Finite-dimensional representations
Let \(\mathscr {C}\) be the category of all (type 1) finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules. As \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\) is a Hopf algebra, \(\mathscr {C}\) is a tensor category. The simple modules in \(\mathscr {C}\) have been classified by Chari and Pressley ([6]), in terms of Drinfeld polynomials.
The simple finite-dimensional \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-modules are indexed by the monomials in the infinite set of variables \((Y_{i,a})_{i\in I, a \in \mathbb {C}^\times }\), called dominant monomials ([10]). For such a monomial m, let L(m) denote the corresponding simple \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-module.
We define the following sets of dominant monomials:
Definition 3.2.1
Let \(\mathscr {C}_\mathbb {Z}\) be the full subcategory of \(\mathscr {C}\) of objects whose composition factors are of the form L(m), with \(m\in \mathcal {M}\).
Let \(\mathscr {C}_\mathbb {Z}^-\) be the full subcategory of \(\mathscr {C}\) of objects whose composition factors are of the form L(m), with \(m\in \mathcal {M}^-\).
Both categories \(\mathscr {C}_\mathbb {Z}\) and \(\mathscr {C}_\mathbb {Z}^-\) are abelian monoidal categories ([22, 5.2.4] and [24, Proposition 3.10]).
Remark 3.2.2
Every simple object in \(\mathscr {C}\) can be written as a tensor product of simple objects which are essentially in \(\mathscr {C}_\mathbb {Z}\) (see [22, Section 3.7]). Thus, the description of the simple objects of \(\mathscr {C}\) reduces to the description of the simple objects of \(\mathscr {C}_\mathbb {Z}\).
Let us introduce some particular irreducible finite-dimensional representations.
Definition 3.2.3
For all \((i,r)\in \hat{I}\), \(V_{i,r}:=L(Y_{i,q^r})\) is called a fundamental module.
For all \((i,r)\in \hat{I}, k\in \mathbb {Z}_{>0}\), let
The corresponding irreducible module \(L(m_{k,r}^{(i)})\) is called a Kirillov–Reshetikhin module, or KR-module, and denote by
Note that fundamental modules are particular KR-modules, for \(k=1, m_{1,r}^{(i)}= Y_{i,q^r}\).
3.3 q-characters and truncated q-characters
Frenkel and Reshetikhin introduced in [10] an injective ring morphism, called the q-character morphism, on the Grothendieck ring \(K_0(\mathscr {C})\) of the category \(\mathscr {C}\):
Moreover, the q-character \(\chi _q(V)\) of a \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\)-module V gives information about the decomposition into Jordan subspaces for the action of a large commutative subalgebra of \(\mathcal {U}_{q}(\hat{\mathfrak {g}})\).
Here, as we restrict ourselves to the study of the category \(\mathscr {C}_\mathbb {Z}\), the q-character will only involve variables \(Y_{i,q^r}^{\pm 1}\), for \((i,r)\in \hat{I}\). Hence, for simplicity of notation we denote them by: \(Y_{i,r}:=Y_{i,q^r}\). The q-character we are interested in is the injective ring morphism:
We use the usual notation [10],
for all \((i,r)\in \hat{J}\) (see (2.10)). Note that \(A_{i,r}\) is a Laurent monomial in the variables \(Y_{j,s}\), with \((j,s)\in \hat{I}\). The monomials \(A_{i,r}\) are analogs of the simple roots.
Proposition 3.3.1
[9, Theorem 4.1] For m a dominant monomial in \(\mathcal {M}\), the q-character of the finite-dimensional irreducible representation L(m) is of the form
where \(M_p\) is a monomial in the variables \(A_{i,r}^{-1}\), with \((i,r)\in \hat{J}\).
Let us recall Nakajima’s partial order on monomials. For m and \(m'\) Laurent monomials in \(\mathcal {Y}\),
Remark 3.3.2
Note that Proposition 3.3.1 can be translated as follows: for all dominant monomials m, the monomials occurring in the q-character of the finite-dimensional irreducible representation L(m) are lower than m, for Nakajima’s partial order.
We also recall the truncated q-characters from [22]. For m a monomial in \(\mathcal {M}^-\), the q-character \(\chi _q(L(m))\) may contain Laurent monomials in which variables \(Y_{i,r}\), with \((i,r)\in \hat{I}{\setminus } \hat{I}^-\) occur. Let \(\chi _q^-(L(m))\) be the Laurent polynomial obtained from \(\chi _q(L(m))\) by removing any such Laurent monomial. By definition
Example 3.3.3
For \(\mathfrak {g}\) of type \(A_2\), one has
Proposition 3.3.4
[24, Proposition 3.10] The assignment \([L(m)]\mapsto \chi _q^-(L(m))\) extends to an injective ring homomorphism
As such, all simple modules in \(\mathscr {C}_\mathbb {Z}^-\) are identified with their isoclasses through the truncated q-character morphism.
3.4 Cluster algebra structure
One of the main ingredient we want to use in this work is the cluster algebra structure of the Grothendieck ring of the category \(\mathscr {C}_\mathbb {Z}^-\).
Consider the cluster algebra \(\mathcal {A}:=\mathcal {A}(\pmb u, G^-)\), with initial seed \((\pmb u, G^-)\), where
-
\(\pmb u\) are initial cluster variables indexed by \(\hat{I}^-\), \(\pmb u = \left\{ u_{i,r} \mid (i,r) \in \hat{I}^-\right\} \),
-
\(G^-\) is the semi-infinite quiver with vertex set \(\hat{I}^-\) defined in the previous section.
Consider the identification, for all \((i,r)\in \hat{I}^-\),
As these monomials are algebraically independent, this identification defines an injective map on the ring \(\mathbb {Z}[u_{i,r}^{\pm 1}\mid (i,r)\in \hat{I}^-]\). From the Laurent phenomenon, we know that all cluster variables of \( \mathcal {A}\) are Laurent polynomials in the variables \(u_{i,r}\). Thus, via the identification (3.10), \(\mathcal {A}\) is seen as a subring of \(\mathbb {Z}\left[ Y_{i,r}^{\pm 1} \mid (i,r)\in \hat{I}^-\right] \).
Theorem 3.4.1
[24, Theorem 5.1] The injective ring homomorphism \(\chi _q^-\) is an isomorphism between the Grothendieck ring of the category \(\mathscr {C}_\mathbb {Z}^-\) and the cluster algebra \( \mathcal {A}\), after identification (3.10):
Moreover, truncated q-characters of Kirillov–Reshetikhin modules can be obtained as cluster variables, via the identification of initial seed (3.10), it is the main result of [24].
4 Quantum Grothendieck rings
We will recall in this section the definition of the quantum Grothendieck ring of the category \(\mathscr {C}_\mathbb {Z}\), introduce that of the category \(\mathscr {C}_\mathbb {Z}^-\), and study those rings.
Let t be an indeterminate. The quantum Grothendieck rings of the categories \(\mathscr {C}_\mathbb {Z}\) and \(\mathscr {C}_\mathbb {Z}^-\) are non-commutative t-deformations of the Grothendieck rings.
4.1 Quantum torus
Let \(\mathbf{Y}_t\) be the \(\mathbb {Z}[t^{\pm 1}]\)-algebra generated by the variables \(Y_{i,r}^{\pm 1}\), for \((i,r)\in \hat{I}\), and the t-commutations relations:
where \(\mathcal {N}_{i,j} : \mathbb {Z}\rightarrow \mathbb {Z}\) is the odd function:
using the notations from Sect. 2.2. .
Remark 4.1.1
Here we work with the quantum torus of [18] and [23], which is slightly different from the original quantum torus used to define the quantum Grothendieck ring in [33] and [40].
Example 4.1.2
If we continue Example 2.2.3, for \(\mathfrak {g}=\mathfrak {sl}_2\), in this case, \(\hat{I}=(1,2\mathbb {Z})\), for \(r,s\in \mathbb {Z}\), one has
The \(\mathbb {Z}[t^{\pm 1}]\)-algebra \(\mathbf{Y}_t\) is viewed as a quantum torus of infinite rank.
We extend this quantum torus by adjoining a fixed square root \(t^{1/2}\) of t:
Let \(\mathcal {Y}_t^-\) be the quantum torus defined exactly the same way, except by only taking as generators the \(Y_{i,r}^{\pm 1}\), for \((i,r)\in \hat{I}^-\). Let us denote by
the projection of \(\mathcal {Y}_t\) onto \(\mathcal {Y}_t^-\),
Remark 4.1.3
Even if \(\mathcal {Y}_t^-\) is an infinite rank quantum torus, it can be seen as a limit of finite rank quantum tori. As finite rank quantum tori are of polynomial growth, they are Ore domains (see [27]). Moreover, the Ore condition being local (any pair of elements of \(\mathcal {Y}_t^-\) belongs to some sufficiently larger finite rank quantum torus), \(\mathcal {Y}_t^-\) is an Ore domain. Hence we can consider its skew field of fractions \(\mathcal {F}_t\).
4.2 Commutative monomials
For a family of integers with finitely many non-zero components \((n_{i,r})_{(i,r)\in \hat{I}}\), define the commutative monomial \(\prod _{(i,r)\in \hat{I}} Y_{i,r}^{n_{i,r}}\) as
where on the right-hand side an order on \(\hat{I}\) is chosen so as to give meaning to the sum, and the product \(*\) is ordered by it (notice that the result does not depend on the order chosen).
The commutative monomials form a basis of the \(\mathbb {Z}[t^{1/2}]\)-vector space \(\mathcal {Y}_t\). For a monomial m in \(\mathcal {Y}_t\), we will denote the commutative monomial by
The non-commutative product of two commutative monomials \(m_1\) and \(m_2\) in \(\mathcal {Y}_t\) is given by:
where \(m_1m_2\) denotes the commutative product of the monomials, and
4.3 Quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z})\)
We define the quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z})\) of the category \(\mathscr {C}_\mathbb {Z}\) as in [23, Section 5.4] (see Remark 4.1.1 for original references).
For all \((i,r)\in \hat{J}\), let \(A_{i,r}\) denote the commutative monomial in \(\mathcal {Y}_t\) defined as in (3.5):
For all \(i\in I\), define \(K_{i,t}\) the subring of \(\mathcal {Y}_t\) generated by the
In [17], the \(K_{i,t}\) are defined as kernels of t-deformed screening operators, motivated by the results in [10]. Let us detail this, as it will be important in the proof of the main result. For all \(i\in I\), define the free \(\mathcal {Y}_t\)-modules
\(\mathcal {Y}_{t,i}^{l}\) is a direct sum of \(\hat{I}\) copies of \(\mathcal {Y}_t\), whose basis elements are denoted by \(S_{i,r}\). Then let \(\mathcal {Y}_{t,i}\) be the quotient of \(\mathcal {Y}_{t,i}^{l}\) by the left-\(\mathcal {Y}_t\)-module generated by the elements
Lemma 4.3.1
For all \(i\in I\), the module \(\mathcal {Y}_{t,i}\) is free.
Proof
The elements \(Q_{i,r}\) are linearly independent and for all \(r_0\) such that \((i,r_0)\in \hat{I}\) fixed, the set \(\left\{ Q_{i,r}, S_{i,r_0} \mid (i,r) \in \hat{I} \right\} \) forms a basis of \(\mathcal {Y}_{t,i}^{l}\).
Hence \(\mathcal {Y}_{t,i}\) is a quotient of a free module by a submodule generated by elements of a basis, thus it is free. \(\square \)
From [17], for all \(i\in I\), there exists a \(\mathbb {Z}[t^{\pm 1/2}]\)-linear map
which is a derivation and such that
Finally, let
From [30] and [18] we know that for all dominant monomials \(m\in \mathcal {M}\), there exists a unique element \(F_{t}(m) \in K_t(\mathscr {C}_\mathbb {Z})\) such that m occurs in \(F_{t}(m)\) with multiplicity 1 and no other dominant monomial occurs in \(F_{t}(m)\). Thus, all elements of \(K_t(\mathscr {C}_\mathbb {Z})\) are characterized by the coefficients of their dominant monomials. The \(F_{t}(m)\) linearly generate \(K_t(\mathscr {C}_\mathbb {Z})\).
Remark 4.3.2
For all \((i,r)\in \hat{I}^-\),
The \([L(Y_{i,r})]_t\) generate \(K_t(\mathscr {C}_\mathbb {Z})\) algebraically.
4.4 The (q, t)-characters
For a dominant monomial \(m\in \mathcal {M}\), write it as a commutative monomial in \(\mathcal {Y}_t\):
Define
where \(\alpha (m)\in \frac{1}{2}\mathbb {Z}\) is fixed such that m occurs with multiplicity one in the expansion of \([M(m)]_t\) on the basis of the commutative monomials of \(\mathcal {Y}_t\), and the product 
is taken with decreasing \(r\in \mathbb {Z}\).
In particular, from (4.14), for all \((i,r)\in \hat{I}\),
One has, for all \(m\in \mathcal {M}\),
This result is a direct consequence of the definition of \([M(m)]_t\), as it is satisfied for the fundamental modules \([L(Y_{i,r})]_t=F_t(Y_{i,r})\). Thus \([M(m)]_t\) is called the \((q,t)\)-character of the standard module M(m).
As in [33], we consider the \(\mathbb {Z}\)-algebra anti-automorphism \(\overline{~}\) of \(\mathcal {Y}_t\) defined by:
This map is called the bar-involution.
Theorem 4.4.1
[33] There exists a unique family \(\left\{ [L(m)]_t \right\} _{m\in \mathcal {M}}\) of elements of \(K_t(\mathscr {C}_\mathbb {Z})\) such that, for all \(m\in \mathcal {M}\),
-
\(\overline{[L(m)]_t}= [L(m)]_t\),
-
\([L(m)]_t \in [M(m)]_t + \sum _{m'<m}t^{-1}\mathbb {Z}[t^{-1}][M(m')]_t\), where \(m'<m\) for Nakajima’s partial order (3.7).
The following Theorem extends (4.18), but more importantly gives an algorithm, similar to the Kazhdan–Lusztig algorithm, to compute the \((q,t)\)-characters (and thus the q-characters) of the simple modules.
Theorem 4.4.2
[33, Corollary 3.6] The evaluation at \(t=1\) of the \((q,t)\)-characters recovers the q-characters. For all \(m\in \mathcal {M}\),
Moreover, the coefficients of the expansion of \([L(m)]_t\) as a linear combination of Laurent monomials in the variables \((Y_{i,r})_{(i,r)\in \hat{I}}\) belong to \(\mathbb {N}[t^{\pm 1}]\).
Note that the positivity result of this Theorem has only been proven for ADE types as yet.
4.5 Truncated (q, t)-characters and quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z}^-)\)
As in Sect. 3.3, one can define truncated versions of the (q, t)-characters.
For all dominant monomials m in \(\mathcal {M}^-\), let \([L(m)]_t^-\) be the Laurent polynomial obtained from \([L(m)]_t\) by removing any term in which a variable \(Y_{i,r}\), with \((i,r)\in \hat{I}{\setminus }\hat{I}^-\) occurs:
where \(\pi \) is the projection defined in (4.5).
Define \(K_t(\mathscr {C}_\mathbb {Z}^-)\) as the \(\mathbb {Z}[t^{\pm 1/2}]\)-submodule of \(\mathcal {Y}_t^-\) generated by the truncated \((q,t)\)-characters \([L(m)]_t^-\) of the simple finite-dimensional modules L(m) in the category \(\mathscr {C}_\mathbb {Z}^-\).
Lemma 4.5.1
The quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z}^-)\) is actually a subalgebra of \(\mathcal {Y}_t^-\). Moreover, it is algebraically generated by the truncated \((q,t)\)-characters of the fundamental modules:
Proof
For every dominant monomials \(m_1,m_2 \in \mathcal {M}\), one can write:
Hence the image of (4.22) by the projection \(\pi \) of (4.5) is:
Thus \(K_t(\mathscr {C}_\mathbb {Z}^-)\) is stable by products.
By definition the truncated \((q,t)\)-characters of the fundamental modules \(L(Y_{i,r})\), for \((i,r)\in \hat{I}^-\) belong to \(K_t(\mathscr {C}_\mathbb {Z}^-)\).
Conversely, the \((q,t)\)-characters of the fundamental modules \(L(Y_{i,r})\), for all \((i,r)\in \hat{I}\), algebraically generate the quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z})\) (see remark 4.3.2). Hence the truncated \((q,t)\)-characters \([L(Y_{i,r})]_t^-\), for all \((i,r)\in \hat{I}\), algebraically generate \(K_t(\mathscr {C}_\mathbb {Z}^-)\).
From Proposition 3.3.1 and Theorem 4.4.1, for all dominant monomials \(m\in \mathcal {M}\), the \((q,t)\)-character of the simple representation L(m) is of the form
where \(M_p\) is a monomial in the variables \((A_{i,r}^{-1})_{(i,r)\in \hat{J}}\), with coefficients in \(\mathbb {Z}[t^{\pm 1}]\). Thus,
Hence, \(K_t(\mathscr {C}_\mathbb {Z}^-)\) is algebraically generated by the \([L(Y_{i,r})]_t^-\), with \((i,r)\in \hat{I}^-\). \(\square \)
\(K_t(\mathscr {C}_\mathbb {Z}^-)\) is a t-deformation of the Grothendieck ring of the category \(\mathscr {C}_\mathbb {Z}^-\), in the sense that the evaluation \([L(m)]_t^- \xrightarrow {t=1} \chi _q^-(L(m))\) extends to a ring homomorphism
where \( K_0(\mathscr {C}_\mathbb {Z}^-)\) is identified with its image under the truncated q-character (3.9), which is an injective map.
4.6 Quantum T-systems
For quantum affine algebras of simply laced type, the \((q,t)\)-characters of the Kirillov–Reshetikhin modules satisfy some algebraic relations called quantum T-systems. Those are t-deformed versions of the T-system relations, which are satisfied by the q-characters of the KR-modules [20, 29, 33].
Proposition 4.6.1
[31, 23, Proposition 5.6] For all \((i,r)\in \hat{I}\) and \(k\in \mathbb {Z}_{>0}\), the following relation holds in \(K_t(\mathscr {C}_\mathbb {Z})\):
where
Remark 4.6.2
First of all, one notices that the dominant monomials of \(W_{k-1,r+2}^{(i)}\) and \(W_{k+1,r}^{(i)}\) commute:
Moreover, the tensor product of the KR-modules \(W_{k-1,r+2}^{(i)}\otimes W_{k+1,r}^{(i)}\) is irreducible (this result is proved in [5] and also by explicit computation of its \((q,t)\)-character in [31]). Thus their respective \((q,t)\)-characters t-commute (see [23, Corollary 5.5]). As their dominant monomials commute, these \((q,t)\)-characters in fact commute and their product can be written as a commutative product, as in Sect. 4.2.
By the same arguments, for \(j\sim i\), the \((q,t)\)-characters \([W_{k,r+1}^{(j)}]_t\) commute so the order of the factors in 
in (4.24) does not matter.
By taking the image of (4.24) through the projection \(\pi \) of (4.5), one obtains the following relation in \(K_t(\mathscr {C}_\mathbb {Z}^-)\). For all \((i,r)\in \hat{I}\) and \(k\in \mathbb {Z}_{>0}\),
where \(\alpha (i,k)\) and \(\gamma (i,k)\) are defined in (4.25).
Note that in (4.27), the products appearing on the left-hand side are commutative products, which are well-defined from Remark 4.6.2. Hence the change of notations since (4.24).
5 Quantum cluster algebra structure
We define in this section the quantum cluster algebra structure built within the quantum torus \(\mathcal {Y}_t^-\).
5.1 A compatible pair
For all \((i,r)\in \hat{I}^-\), the variable \(u_{i,r}\), written as in (3.10), can be seen as commutative monomial in \(\mathcal {Y}_t^-\). Define
They satisfy the following t-commutation relations. For all \(((i,r),(j,s))\in (\hat{I}^-)^2\),
where
Let \(B_-\) be the \(\hat{I}^-\times \hat{I}^-\)-matrix encoding the quiver \(G^-\), for all \(\left( (i,r),(j,s)\right) \in (\hat{I}^-)^2\):
Let L be the \(\hat{I}^-\times \hat{I}^-\) skew-symmetric matrix
The pair of \(\hat{I}^-\times \hat{I}^-\)-matrices \((L,B_-)\) forms a compatible pair, in the sense of quantum cluster algebras. More precisely, we prove the following.
Proposition 5.1.1
For all \(\left( (i,r),(j,s)\right) \in (\hat{I}^-)^2\),
Remark 5.1.2
In [4], by definition a pair of \(J\times J\)-matrices \((\Lambda ,B)\) forms a compatible pair if \(^TBL\) is a diagonal matrix with positive integer coefficients. But as explained in [3], quantum cluster algebras can be built exactly the same way given as data a pair \((\Lambda ,B)\) such that \(^TBL\) is a diagonal matrix with integer coefficients with constant signs.
Proof
Fix \(\left( (i,r),(j,s)\right) \in (\hat{I}^-)^2\), there are different cases to consider.
-
If \(r\le -2\), one has:
$$\begin{aligned} \left( B_-^T L\right) \left( (i,r),(j,s)\right)&= L\left( (i,r-2),(j,s)\right) - L\left( (i,r+2),(j,s)\right) \\&\quad + \sum _{k\sim i}\left( L\left( (k,r+1),(j,s)\right) - L\left( (k,r-1),(j,s)\right) \right) . \end{aligned}$$One has
$$\begin{aligned} L\left( (i,r-2),(j,s)\right) - L\left( (i,r+2),(j,s)\right)&= - \mathbf{C}_{ij}(s-r-1) - \mathbf{C}_{ij}(s-r+1) \\&\quad +\mathbf{C}_{ij}(-r + 3-\xi _j) + \mathbf{C}_{ij}(-r +1 -\xi _j), \end{aligned}$$where \(\xi : I \rightarrow \{ 0,1\}\) is the height function on the Dynkin diagram of \(\mathfrak {g}\) fixed in Sect. 2.3.
On the other hand, for all \(k\sim i\), one has
$$\begin{aligned} L\left( (k,r+1),(j,s)\right) - L\left( (k,r-1),(j,s)\right)&= \mathbf{C}_{kj}(s-r) - \mathbf{C}_{kj}(-r+2-\xi _j). \end{aligned}$$Thus, with the reformulation (2.5) of Lemma 2.2.4,
$$\begin{aligned} \left( B_-^T L\right) \left( (i,r),(j,s)\right) = \left\{ \begin{array}{ll} -2\delta _{i,j} &{} \text { if } s=r,\\ 0 &{} \text { otherwise.} \end{array}\right. \end{aligned}$$(5.6) -
If \(r=-1\), one has:
$$\begin{aligned} \left( B_-^T L\right) \left( (i,-1),(j,s)\right)&= L\left( (i,-3),(j,s)\right) \\&\quad + \sum _{k\sim i}\left( L\left( (k,0),(j,s)\right) - L\left( (k,-2),(j,s)\right) \right) . \end{aligned}$$However,
$$\begin{aligned} L\left( (i,-3),(j,s)\right)&= \sum _{\begin{array}{c} l\ge 0\\ s+2l\le 0 \end{array}}\left( \mathcal {N}_{ij}(s+2l+3) + \mathcal {N}_{ij}(s+2l+1)\right) ,\\&= \mathbf{C}_{ij}(4-\xi _j) + \mathbf{C}_{ij}(2-\xi _j) - \mathbf{C}_{ij}(s) - \mathbf{C}_{ij}(s+2). \end{aligned}$$And, for all \(k\sim i\),
$$\begin{aligned} L\left( (k,0),(j,s)\right) - L\left( (k,-2),(j,s)\right)&= \mathbf{C}_{ij}(s+1) - \mathbf{C}_{ij}(3-\xi _j). \end{aligned}$$Thus, with relation (2.5),
$$\begin{aligned} \left( B_-^T L\right) \left( (i,-1),(j,s)\right) = \left\{ \begin{array}{ll} -2\delta _{i,j} &{} \text { if } s=-1,\\ 0 &{} \text { otherwise.} \end{array}\right. \end{aligned}$$(5.7) -
If \(r=0\), one has
$$\begin{aligned} \left( B_-^T L\right) \left( (i,0),(j,s)\right) = L\left( (i,-2),(j,s)\right) -\sum _{k\sim i} L\left( (k,-1),(j,s)\right) . \end{aligned}$$However,
$$\begin{aligned} L\left( (i,-2),(j,s)\right) = \mathbf{C}_{ij}(3-\xi _j) + \mathbf{C}_{ij}(1-\xi _j) - \mathbf{C}_{ij}(s+1) - \mathbf{C}_{ij}(s-1). \end{aligned}$$And, for all \(k\sim i\),
$$\begin{aligned} L\left( (k,-4),(j,s)\right) = -\mathbf{C}_{ij}(s) + \mathbf{C}_{ij}(2-\xi _j). \end{aligned}$$Thus, with relation (2.5),
$$\begin{aligned} \left( B_-^T L\right) \left( (i,0),(j,s)\right) = \left\{ \begin{array}{ll} -2\delta _{i,j} &{} \text { if } s=0,\\ 0 &{} \text { otherwise.} \end{array}\right. \end{aligned}$$(5.8)
The combination of the results (5.6),(5.7) and (5.8) gives the general expression (5.5). \(\square \)
5.2 The quantum cluster algebra \( \mathcal {A}_t\)
Definition 5.2.1
Let T be the based quantum torus with generators \(\{~u_{i,r}\mid (i,r)\in \hat{I}^-\}\) satisfying the quasi-commutation relations (5.1):
Let \(\mathcal {F}\) be the skew-field of fractions of T.
As \((L,B_-)\) forms a compatible pair, it defines a quantum seed in \(\mathcal {F}\). Let \(\mathcal {S}\) be the mutation equivalence class of the quantum seed \((L,B_-)\).
Definition 5.2.2
Let \( \mathcal {A}_t\) be the quantum cluster algebra defined by the quantum seed \(\mathcal {S}\), as in [4].
By definition, \( \mathcal {A}_t\) is a \(\mathbb {Z}[t^{\pm 1/2}]\)-subalgebra of \(\mathcal {F}\). However, by the quantum Laurent phenomenon, \( \mathcal {A}_t\) is actually a \(\mathbb {Z}[t^{\pm 1/2}]\)-subalgebra of the quantum torus T.
Lemma 5.2.3
The map
where the variables \(U_{i,r}\) are defined in (3.10), is an isomorphism of quantum tori.
Proof
First of all, this map is well-defined because the variables \(u_{i,r}\) t-commute exactly as the variables \(U_{i,r}\), by definition of the matrix L (5.1).
Secondly, this map is invertible, with inverse:
\(\square \)
With this lemma, we know that the quantum cluster algebra \( \mathcal {A}_t\) belongs to the quantum torus \(\mathcal {Y}_t^-\). The following result is the main result of this paper, it extends Theorem 3.4.1 to the quantum setting.
Theorem 5.2.4
The image of the quantum cluster algebra \( \mathcal {A}_t\) by the injective ring morphism \(\eta \) is the quantum Grothendieck ring of the category \(\mathscr {C}_\mathbb {Z}^-\),
Moreover, the truncated \((q,t)\)-characters of the Kirillov–Reshetikhin modules which are in \(\mathscr {C}_\mathbb {Z}^-\) are obtained as quantum cluster variables.
The proof of this Theorem will be developed in the following section. It is mainly based on Proposition 6.3.1.
Remark 5.2.5
In [37, Theorem 8.4.3], for certain subcategories of \(\mathscr {C}\) generated by a finite number of fundamental modules, Qin proved that there existed an isomorphism between the quantum Grothendieck ring of the category and a quantum cluster algebra, which identifies classes of Kirillov–Reshetikhin modules to cluster variables. It is our understanding that this identification coincides with the truncated \((q,t)\)-characters in our work. Here, the isomorphism is given explicitly, and we obtain directly the truncated \((q,t)\)-characters.
6 Quantum cluster algebras and quantum Grothendieck ring
We prove in this section that the quantum Grothendieck ring of the category \(\mathscr {C}_\mathbb {Z}^-\) is isomorphic to the quantum cluster algebra we have just defined.
6.1 A note on the bar-involution
The bar-involution 
, as defined in (4.19), is a \(\mathbb {Z}\)-algebra anti-automorphism of the quantum torus \(\mathcal {Y}_t\). The commutative monomials are invariant under this involution.
On the other hand, the quantum cluster algebra \( \mathcal {A}_t\) is also equipped with a \(\mathbb {Z}\)-linear bar-involution morphism 
on its quantum torus T (see [4, Section 6]), which satisfies
As noted in [3, Section 7.1], these definitions are compatible. In our case, they define exactly the same involution on \(\mathcal {Y}_t^-\); the following diagram is commutative:
From [4, Remark 6.4], all cluster variables are invariant under the bar-involution. Thus, the images of the quantum cluster variables in \( \mathcal {A}_t\) are bar-invariant elements of \(\mathcal {Y}_t^-\).
We will use the terminology “commutative products”, as in Sect. 4.2 for bar-invariant elements of the quantum torus T.
6.2 A sequence of vertices
In [24] Hernandez and Leclerc exhibited a particular sequence of mutations in the cluster algebra \(\mathcal {A}(\pmb u, G^-)\) (see Sect. 3.4) in order to obtain the truncated q-characters of all the KR-modules, up to a shift of spectral parameter.
The key idea they used was that at each step of this sequence, the exchange relation was a T-system equation.
We will recall this sequence of mutations and show that, if applied to the quantum cluster algebra \( \mathcal {A}_t\), the quantum exchange relations at each step are in fact quantum T-systems relations, as in (4.6). Recall the height function \(\xi : I\rightarrow \{0,1\}\) fixed on the Dynkin diagram of \(\mathfrak {g}\) in Sect. 2.3. First, fix an order on the columns of \(G^-\):
such that if \(k\le l\) then \(\xi _{i_k} \le \xi _{i_l}\) (select first the vertices i such that \(\xi _i=0\) then the others). Then, the sequence \(\mathscr {S}\) is defined by reading each column, from top to bottom, in this order.
Example 6.2.1
We follow Examples 2.4.1 and 2.4.3, \(\mathfrak {g}=\mathfrak {sl}_4\) and
We fix the following order on the columns: 1, 3, 3. Then the sequence \(\mathscr {S}\) is
6.3 Truncated \((q,t)\)-characters as quantum cluster variables
As in [24], let \(\mu _\mathscr {S}\) be the sequence of quantum cluster mutations in \( \mathcal {A}_t\) indexed by the sequence of vertices \(\mathscr {S}\).
For all \(m\ge 1\), let \(u_{i,r}^{(m)}\) be the quantum cluster variable obtained at vertex (i, r) after applying m times the sequence of mutations \(\mu _\mathscr {S}\) to the quantum cluster algebra \( \mathcal {A}_t\) with initial seed \(\{~u_{i,r}\mid (i,r)\in \hat{I}^-\}\). By the quantum Laurent phenomenon, the \(u_{i,r}^{(m)}\) belong to the quantum torus T. Let
where \(\eta : T\rightarrow \mathcal {Y}_t^-\) is the isomorphism defined in Lemma 5.2.3.
The following result is an extension of Theorem 3.1 from [24] to the quantum setting.
Proposition 6.3.1
For all \((i,r)\in \hat{I}^-\) and \(m\ge 0\),
where \(k_{i,r}\) is defined in (2.11).
In particular, if \(2m\ge h\), this truncated \((q,t)\)-character is equal to its \((q,t)\)-character and
Remark 6.3.2
The sequence of vertices \(\mathscr {S}\) is infinite. However, in order to compute one fixed truncated \((q,t)\)-character, one only has to compute a finite number of mutations in the infinite sequence \(\mu _\mathscr {S}\). In [3, Section 7.2], the exact finite sequence needed to compute the \((q,t)\)-characters of the fundamental representations \(V_{i,r}\) is given explicitly, we will also recall it in Sect. 7.
Proof
We prove this Proposition by induction on m, the number of times the mutation sequence \(\mu _\mathscr {S}\) is applied on the initial quantum cluster variables \(\{~u_{i,r}\mid (i,r)\in \hat{I}^-\}\).
The base step is given noting, as in [24], that the images by the isomorphism \(\eta \) of the initial quantum cluster variables are indeed truncated \((q,t)\)-characters. For all \((i,r)\in \hat{I}^-\),
Thus
Let \(m\ge 0\) and \((i,r)\in \hat{I}^-\). Supposed we have applied m times the mutation sequence \(\mu _\mathscr {S}\), and a \((m+1)\)th time on all vertices preceding (i, r) in the sequence \(\mathscr {S}\), and that all those previous vertices satisfy (6.5).
We want to write the quantum exchange relation corresponding to the mutation at vertex (i, r). From the proof of Theorem 3.1 in [24], we know the shape of the quiver just before this mutation (\( \mathcal {A}_t\) and \( \mathcal {A}(\pmb u, G^-)\) are defined on the same initial quiver and the mutation process on the quiver is the same for classical and quantum cluster algebras).
As explained in [24, Section 3.2.3], for a general simply laced Lie algebra \(\mathfrak {g}\), the mutation process takes place at vertices (i, r) having two (or one if \(r=-\xi _i\)) in-going arrows from \((i,r\pm 2)\) and outgoing arrows to vertices (j, s), with \(j\sim i\). Thus the effect of the mutation sequence \(\mu _\mathscr {S}\) on two fixed columns of the quiver is the same as the effect of an iteration of the mutation sequence on the corresponding quiver of rank 2.
Let us recall the mutation process on the quiver when \(\mathfrak {g}\) is of type \(A_2\).
After an infinite number of mutations (or a sufficiently large one), we start mutating on the second column.
Thus, in general, the quantum exchange relation has the form:
where \(u_{i,r+2}^{(m)}=1\) if \(r+2\ge 0\) and \(\epsilon _i\) is defined in (2.7), and both terms are commutative products. This relation can also be written:
where \(\alpha , \beta \in \frac{1}{2}\mathbb {Z}\).
If we apply \(\eta \) to (6.9), clearly all the \(u_{j,s}^{(m)}\) satisfy the induction hypothesis, but \(u_{i,r+2}^{(m+1)}\) and all potential \(u_{j,r+1}^{(m+1)}\), if \(\xi _i=1\) and \(j\sim i\), also. Indeed, the vertices \((i,r+2)\) and \((j,r+1)\), for \(j\sim i\) and \(\xi _i=1\), precedes the vertex (i, r) in the mutation sequence \(\mathscr {S}\). Thus, we get the following relation in \(\mathcal {Y}_t^-\):
Whereas, the corresponding (truncated) quantum T-system relation (4.27) is
where \(\alpha ', \beta '\in \frac{1}{2}\mathbb {Z}\) are given in (4.25). Note that one has indeed
Let \(k=k_{i,r}\) and \(r'=r-2m\). Let us precise how to obtain the coefficients \(\alpha \) and \(\beta \). From (6.8) and (6.9), \(\alpha \) and \(\beta \) are such that the terms
and
are bar-invariant. Thus, if one takes only the dominant monomials of (6.13) and (6.14), they are bar-invariant:
This enables us to compute \(\alpha \) and \(\beta \).
Thus \(\alpha = \alpha (i,k) = -1 + \frac{1}{2}\left( \tilde{C}_{ii}(2k-1) + \tilde{C}_{ii}(2k+1)\right) \). And
Hence \(\beta = \gamma (i,k)= \frac{1}{2}\left( \tilde{C}_{ii}(2k-1) + \tilde{C}_{ii}(2k+1)\right) \).
Thus \(\alpha =\alpha '\) and \(\beta =\beta '\), and
However, \([W_{k,r'}^{(i)}]_t^-\) is invertible in the skew-field of fractions \(\mathcal {F}_t\) of the quantum torus \(\mathcal {Y}_t^-\) (see Remark 4.1.3). Thus
This concludes the induction.
Finally, from [9, Corollary 6.14], we know that for all \((i,r)\in \hat{I}^-\), the monomials m occurring in the q-character \(\chi _q(W_{k,r}^{(i)})\) of the KR-module \(W_{k,r}^{(i)}\) are products of \(Y_{j,r+s}^{\pm 1}\), with \(0\le s\le 2k + h\). Moreover, from Theorem 4.4.1, if one writes the \((q,t)\)-character \([W_{k,r}^{(i)}]_t\) of this KR-module as a linear combination of Laurent monomials in the variables \(Y_{i,s}\), with coefficients in \(\mathbb {Z}[t^{\pm 1}]\), all monomials which occur in this expansion also occur in its q-character. Thus, if \(r+2k+h \le 0\), the truncated \((q,t)\)-character \([W_{k,r}^{(i)}]_t^-\) is equal to the \((q,t)\)-character \([W_{k,r}^{(i)}]_t\). In particular, for \(m\ge h\),
\(\square \)
6.4 Proof of Theorem 5.2.4
We can now prove Theorem 5.2.4. This proof is a quantum analog of the proof of [24, Theorem 5.1]. Naturally, there are technical difficulties brought forth by the non-commutative quantum tori structure. For example, in our situation, the quantum cluster algebra \( \mathcal {A}_t\) is isomorphic to the truncated quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z}^-)\) only via the isomorphism of quantum tori \(\eta \) (5.9). In particular, we need the following result.
Lemma 6.4.1
The identification
extends to a well-defined injective \(\mathbb {Z}[t^{\pm 1/2}]\)-algebras morphism
where \(\mathcal {F}_t\) is the skew-field of fractions of \(\mathcal {Y}_t\) (see Remark 4.1.3).
Moreover, the restriction of \(\eta '\) to the quantum cluster algebra \( \mathcal {A}_t\) has its image in the quantum torus \(\mathcal {Y}_t\) and the \(\mathbb {Z}[t^{\pm 1/2}]\)-algebra morphisms \(\eta ,\eta '\) and \(\pi \) satisfy the following commutative diagram:
Proof
From Proposition 6.3.1, for all \((i,r)\in \hat{I}^-\), the full \((q,t)\)-character \([W_{k_{i,r},r-2h}^{(i)}]_t\) is obtained as the image of the cluster variable sitting at vertex (i, r) after applying h times the mutation sequence \(\mathscr {S}\) (which is locally a finite sequence of mutations):
In particular, for any two vertices (i, r), (j, s), the variables \(u_{i,r}^{(h)}\) and \(u_{j,s}^{(h)}\) belong to a common cluster and t-commute. Thus the \((q,t)\)-characters \([W_{k_{i,r},r-2h}^{(i)}]_t\) t-commute. As the quantum torus \(\mathcal {Y}_t\) is invariant by shift of quantum parameters (\(Y_{j,s}\mapsto Y_{j,s+2}\)), the \((q,t)\)-characters \([W_{k_{i,r},r}^{(i)}]_t\) also t-commute for the product \(*\). Their t-commutation relations are determined by their dominant monomials, which are \(\eta (u_{i,r})\). Thus the \([W_{k_{i,r},r}^{(i)}]_t\) satisfy exactly the same t-commutations relations are the \(u_{i,r}\). This proves the first part of the lemma.
Let X be a cluster variable of \( \mathcal {A}_t\) obtained from the initial seed \(\pmb u =\{u_{i,r}\}\) via a finite sequence of mutations \(\sigma \). We want to show that \(\eta '(X)\in \mathcal {Y}_t\). As the sequence of mutations \(\sigma \) is finite, it will only involve a finite number of cluster variables. Now apply h times the mutation sequence \(\mu _\mathscr {S}\) to the initial seed so as to replace each cluster variable considered by \(u_{i,r}^{(h)}\) (again, we only need a finite number of mutations). Let us summarize:
Let \(X'\) be the cluster variable obtained by applying to this new seed the sequence of mutations \(\sigma \). By construction, \(\eta (X')\) is equal to \(\eta '(X)\), up to the downward shift of spectral parameters by 2h: every variable \(Y_{j,s}^{\pm 1}\) is replaced by \(Y_{j,s-2h}^{\pm 1}\). In particular, \(\eta '(X)\in \mathcal {Y}_t\).
Next, the commutation of diagram (6.18) is verified as it is satisfied on the initial seed \(\pmb u =\{u_{i,r}\}\). \(\square \)
Let \(R_t\) be the image of the quantum cluster algebra \( \mathcal {A}_t\)
Thus the proof of Theorem 5.2.4 amounts to the following.
Proposition 6.4.2
Proof
The inclusion \(K_t(\mathscr {C}_\mathbb {Z}^-) \subset R_t\) is essentially contained in Proposition 6.3.1. For the reverse inclusion, the main idea is to use the characterization of the quantum Grothendieck ring as the intersection of kernel of operators, called deformed screening operators. We show by induction on the length of a sequence of mutations that the images of all cluster variables belong to those kernels. The images of the initial cluster variables \(u_{i,r}\) clearly belong to the quantum Grothendieck ring, and the screening operators being derivations, the exchange relations force the newly created cluster variables to be in the intersection of the kernels too. Let us detail this.
Recall from Lemma 4.5.1 that the quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z}^-)\) is algebraically generated by the truncated \((q,t)\)-characters of the fundamental modules:
By Proposition 6.3.1, for all \((i,r)\in \hat{I}^-\),
Which proves the first inclusion:
We prove the reverse inclusion as explained just above. As explained in Sect. 4.3, Hernandez proved in [17] that for all \(i\in I\) there exists operators \(S_{i,t} : \mathcal {Y}_t \rightarrow \mathcal {Y}_{i,t}\), where \(\mathcal {Y}_{i,t}\) is a \(\mathcal {Y}_t\)-module, which are \(\mathbb {Z}[t^{\pm 1}]\)-linear and derivations, such that
Notice that these operators characterize the quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z})\) and not \(K_t(\mathscr {C}_\mathbb {Z}^-)\). Hence the need for Lemma 6.4.1.
Let us prove by induction that all cluster variables Z in \( \mathcal {A}_t\) satisfy \(\eta '(Z) \in K_t(\mathscr {C}_\mathbb {Z})\).
Let Z be a quantum cluster variable in \( \mathcal {A}_t\). If Z belongs to the initial cluster variables, \(Z=u_{i,r}\) and
If not, then by induction on the length of the sequence \(\mu \), one can assume that Z is obtained via a quantum exchange relation
where \(Z_1\) is a quantum cluster variable of \( \mathcal {A}_t\), \(M_1\) and \(M_2\) are quantum cluster monomials of \( \mathcal {A}_t\) and
Apply \(\eta '\) to (6.25):
For all \(i\in I\), apply the derivation \(S_{i,t}\):
However, by hypothesis,
Moreover, \(\eta '(Z_1 )\ne 0\) and the images of the screening operator is in a free module over \(\mathcal {Y}_t\) by Lemma 4.3.1. Thus \(S_{i,t}\left( \eta '(Z)\right) =0\), for all \(i\in I\). Hence
which concludes the induction. We have proven
Then, by the commutation of the diagram (6.18) in Lemma 6.4.1,
Which concludes the proof of Proposition 6.4.2, and thus of Theorem 5.2.4. \(\square \)
7 Application to the proof of an inclusion conjecture
In this section, we use the quantum cluster algebra structure of the Grothendieck ring \(\mathscr {C}_\mathbb {Z}^-\) to prove that the quantum Grothendieck ring \(K_t(\mathcal {O}^+_\mathbb {Z})\) defined in [3] contains \(K_t(\mathscr {C}_\mathbb {Z}^-)\). In other words, we prove Conjecture 1 in [3]. The result was already proven in that paper in type A, but the core argument used was different.
7.1 The quantum Grothendieck ring \(K_t(\mathcal {O}^+_\mathbb {Z})\)
The quantum Grothendieck ring \(K_t(\mathcal {O}^+_\mathbb {Z})\) is defined as a quantum cluster algebra on the full infinite quiver \(\Gamma \), of which the semi-infinite quiver \(G^-\) is a subquiver.
Let us recall some notations. For all \(i,j\in I\), \(\mathcal {F}_{ij}: \mathbb {Z}\rightarrow \mathbb {Z}\) is the odd function such that, for all \(m\ge 0\),
Let \(\mathcal {T}_t\) be the quantum torus defined as the \(\mathbb {Z}[t^{\pm 1/2}]\)-algebra generated by the variables \(z_{i,r}^\pm \), for \((i,r)\in \hat{I}\), with a non-commutative product \(*\), and the t-commutation relations
Recall also from [3, Proposition 5.2.2] the inclusion of quantum tori \(\mathcal {J}\) (with a slight shift of parameters on the \(z_{i,r}\)):
Let \(\Lambda \) be the infinite skew-symmetric \(\hat{I}\times \hat{I}\)-matrix:
From [3], the quiver \(\Gamma \) and the skew-symmetric matrix \(\Lambda \) form a compatible pair. Let \( \mathcal {A}_t(\Gamma ,\Lambda )\) be the associated quantum cluster algebra. Then, as in [3, Definition 6.3.5],
where \(\mathcal {E}\) is a commutative ring and the completion allows for certain countable sums.
7.2 Intermediate quantum cluster algebras
The general idea is to see the quantum cluster algebra \( \mathcal {A}_t\) as a “sub-quantum cluster algebra” of \( \mathcal {A}_t(\Gamma , \Lambda )\) (this term is not well-defined). However, as in Sect. 6.4 and contrary to the aforementioned proof, as we are dealing with quantum cluster algebras in our setting, this is not done trivially. Mainly, one notices that the map
is not a well-defined inclusion of quantum tori, as the generators \(u_{i,r}\) and \(z_{i,r}\) do not satisfy the same t-commutation relations.
First, consider the subquiver \(\Gamma ^-\) of \(\Gamma \) of index set
such that the vertices (i, r), with \(r>0\) are frozen. To summarize, for \(\xi _i=0\) and \(j\sim i\):
The quivers \(\Gamma \) and \(\Gamma ^-\) are only connected by coefficients (as in [14, Definition 4.1]), thus by [14, Theorem 4.5] the inclusion of seeds \((\Gamma ^-,\Lambda ) \subset (\Gamma ,\Lambda )\) induces an inclusion of the quantum cluster algebra \( \mathcal {A}_t(\Gamma ^-,\Lambda )\) into the quantum cluster algebra of \( \mathcal {A}_t(\Gamma ,\Lambda )\).
Now we need to link the quantum cluster algebras \( \mathcal {A}_t\) and \( \mathcal {A}_t(\Gamma ^-,\Lambda )\). In order to do that, we use a result from [15], which deals with graded cluster algebras.
Definition 7.2.1
[15] A quantum cluster seed \((B, \Lambda )\) is graded if there exists an integer column vector G such that, for all mutable indices k, the kth row of B, \(B_j\) satisfies \(B_j G=0\).
Then, the G-degree of the initial variables are set by the vector G: for all cluster variables \(X_k\) in the initial cluster \(\bar{X}\), \(\deg _G(X_k)=G_k\).
The grading condition is equivalent to the following. For all mutable variables \(X_k\), the sum of the degrees of all variables with arrows to \(X_k\) is equal to the sum of the degrees of all variables with arrows coming from \(X_k\), i.e. exchange relations are homogeneous. Hence, each cluster variable has a well-defined degree.
Let us start by considering the quantum cluster algebra \( \mathcal {A}_t(\Gamma ^-, L)\), built on the quiver \(\Gamma ^-\), and specializing the frozen variables to 1. This quantum cluster algebra is clearly isomorphic to \( \mathcal {A}_t\), and is a graded quantum cluster algebra of grading \(G=0\).
Next, for all \(i\in I\), we apply the process of [15, Theorem 4.6] to add frozen variables \(f_i\), while twisting the t-commutation relations. Let
and
with \(\xi : I\rightarrow \{0,1\}\) the height function, fixed in Sect. 2.3.
Lemma 7.2.2
For all \(i\in I\), \(\underline{u}_i\) and \(\underline{t}_i\) are gradings for the ice quiver \(\Gamma ^-\).
Proof
For all \((j,s) \in \hat{I}^-\), let \(B_{(j,s)}\) be the (j, s)th “row” of the \(\hat{I}^-_{\le 2}\times \hat{I}^-_{\le 2}\)-skew-symmetric matrix encoding the adjacency of the ice quiver \(\Gamma ^-\).
For all \(i\in I\),
And
from Lemma 2.2.4. \(\square \)
Then, by [15, Theorem 4.6] (applied n times), the following is a valid set of initial data for a (multi-)graded quantum cluster algebra \( \mathcal {A}_t(\tilde{\pmb u},\tilde{B},\tilde{L},\tilde{G})\), where
-
or all \((i,r)\in \hat{I}^-_{\le 2}\),
$$\begin{aligned} \tilde{u}_{i,r} = \left\{ \begin{array}{ll} u_{i,r}f_i &{} \text { if } r\le 0,\\ f_i &{} \text { otherwise} \end{array}\right. . \end{aligned}$$(7.9)and \(\tilde{\pmb u}=\{\tilde{u}_{i,r}\}_{(i,r)\in \hat{I}^-_{\le 2}}\).
-
\(\tilde{B}=B\), the \(\hat{I}^-_{\le 2}\times \hat{I}^-_{\le 2}\)-skew-symmetric adjacency matrix of the quiver \(\Gamma ^-\).
-
\(\tilde{L}\) encodes the t-commutations relations, such that, for all \((i,r)\in \hat{I}^-\), and \(j\in I\),
$$\begin{aligned} f_j*u_{i,r} = t^{\underline{t}_j(i,r)} u_{i,r}*f_j, \end{aligned}$$(7.10)and the \(f_j\) pairwise commute.
-
\(\tilde{G}\) is a multi-grading, i.e. instead of being an integer column vector, each entry in \(\tilde{G}\) is in the lattice \(\mathbb {Z}^I\). It is defined by, for all \((i,r)\in \hat{I}^-_{\le 2}\),
$$\begin{aligned} \tilde{G}(\tilde{u}_{i,r})=e_i \quad \in \mathbb {Z}^I, \end{aligned}$$(7.11)or \(\deg _i=\underline{u}_i\), for all \(i\in I\).
This is indeed the construction of [15], with the initial grading on \( \mathcal {A}_t(\Gamma ^-,L)\) being \(G\equiv 0\). The new quantum cluster algebra is denoted by \( \mathcal {A}_t^{\underline{u},\underline{t}}(\Gamma ^-,L)\), to show that it is a twisted version of \( \mathcal {A}_t(\Gamma ^-,L)\).
Proposition 7.2.3
The quantum cluster algebra \( \mathcal {A}_t(\tilde{\pmb u},\tilde{B},\tilde{L})\) is isomorphic to the quantum cluster algebra \( \mathcal {A}_t(\Gamma ^-,\Lambda )\).
Proof
The rest of the data being the same, we only have to check that the \(\hat{I}^-_{\le 2}\times \hat{I}^-_{\le 2}\)-skew-symmetric matrices \(\tilde{L}\) and \(\Lambda _{|\hat{I}^-_{\le 2}}\) are equal.
From (7.4), for all \(\left( (i,r),(j,s)\in \hat{I}^-_{\le 2}\right) \),
And \(\tilde{L}\) is defined as
Hence,
First, notice that, for all \(i,j\in I\), \(m\in \mathbb {Z}\),
This result is proven in [3], in the course of the proof of Proposition 5.2.2. Thus, for all \((i,r),(j,s)\in \hat{I}^-\),
And of course, for all \(i\in I\), \((j,s)\in \hat{I}^-\),
Thus, one had indeed,
\(\square \)
From now on, we will use the notations \(\pmb z =\{z_{i,r}, f_j\}_{(i,r)\in \hat{I}^-,j\in I}\) for the initial clusters variables of both \( \mathcal {A}_t(\Gamma ^-,\Lambda )\) and \( \mathcal {A}_t^{\underline{u},\underline{t}}(\Gamma ^-,L)\).
Remark 7.2.4
-
This result is natural, if we look at what the different initial cluster variables mean in terms of \(\ell \)-weights. From (3.10), for all \((i,r)\in \hat{I}^-\), the cluster variable \(u_{i,r}\) can be identified with the (commutative) dominant monomial \(U_{i,r}=\prod _{\begin{array}{c} k\ge 0 \\ r+2k\le 0 \end{array}}Y_{i,r+2k}\). Whereas, the quantum tori \(\mathcal {Y}_t\) and \(\mathcal {T}_t\) are compared via the inclusion \(\mathcal {J}\) of (7.3)
$$\begin{aligned} \mathcal {J} : Y_{i,r} \longmapsto z_{i,r}\left( z_{i,r+2}\right) ^{-1}, \quad \forall (i,r)\in \hat{I}. \end{aligned}$$Thus, the link between the variables \(u_{i,r}\) and \(z_{i,r}\) is the following:
$$\begin{aligned} u_{i,r} \equiv z_{i,r}\left( f_i\right) ^{-1}, \end{aligned}$$(7.15)with the previous convention \(f_i=z_{i,-\xi _i+2}\). More precisely, there are different maps of quantum tori:
where identification (7.15) is the resulting dotted map, which we will denote by \(\rho \):
$$\begin{aligned} \rho : T\rightarrow \mathcal {T}_t. \end{aligned}$$(7.17)The quantum cluster algebra \( \mathcal {A}_t^{\underline{u},\underline{t}}(\Gamma ^-,L)\) was built with this identification in mind.
-
This process could also be seen as a quantum version of the multi-grading homogenization process of the seed \((\pmb u,G^-)\), as in [16, Lemma 7.1], where the multi-grading is defined by (7.11).
7.3 Inclusion of quantum Grothendieck rings
In the section, we prove that the quantum Grothendieck ring \(K_t(\mathcal {O}^+_\mathbb {Z})\), or more precisely, the quantum cluster algebra \( \mathcal {A}_t(\Gamma ,\Lambda )\) contains the quantum Grothendieck ring \(K_t(\mathscr {C}_\mathbb {Z})\), which is the statement of Conjecture 1 in [3]. Recalled that in [3], the ring \(K_t(\mathcal {O}^+_\mathbb {Z})\) was defined as a completion of the quantum cluster algebra \( \mathcal {A}_t(\Gamma ,\Lambda )\), but the aim was to see it as a quantum Grothendieck ring for the category of representations \(\mathcal {O}^+_\mathbb {Z}\) from [21] and [25]. As this category contains the category \(\mathscr {C}_\mathbb {Z}\), it was expected for the quantum Grothendieck ring \(K_t(\mathcal {O}^+_\mathbb {Z})\) to contain \(K_t(\mathscr {C}_\mathbb {Z})\).
In order to prove this result we will actually prove Conjecture 2 of the same paper, which is a stronger result. We state it as follows.
Theorem 7.3.1
The \((q,t)\)-characters of all fundamental representations in \(\mathscr {C}_\mathbb {Z}\) are obtained as quantum cluster variables in the quantum cluster algebra \( \mathcal {A}_t(\Gamma ,\Lambda )\).
More precisely, we show that for all \(i\in I\), there exists a specific finite sequence of mutations \(S_i\) in \( \mathcal {A}_t(\Gamma ,\Lambda )\) such that, if applied to the initial seed \(\{z_{j,s}\}_{(j,s)\in \hat{I}}\), the cluster variable sitting at vertex \((i,-\xi _i)\) is the image by \(\mathcal {J}\) (of (7.3)) of the \((q,t)\)-character of the fundamental module \([L(Y_{i,-\xi _i-2h'})]_t\), where
with h the Coxeter number of the simple Lie algebra \(\mathfrak {g}\).
Let us define the sequence \(S_i\). Let \((i_1,i_2,\ldots ,j_n)\) be an ordering of the columns of \(\Gamma \) as in (6.2), such that \(i_1=i\) (take first all columns j such that \(\xi _j=\xi _i\)). The sequence \(S_i\) is a sequence of vertices of \(\Gamma \), and more precisely of \(\Gamma ^-\), defined as follows. First read all vertices \((i_1,r)\) for \(-2h'+2\le r \le 0\), from top to bottom, then all \((i_2,r)\), with \(-2h'+2\le r \le 0\), and so on, then read again all vertices \((i_1,r)\) for \(-2h'+4\le r \le 0\), and continue browsing the columns successively, until at the last step you only read the vertex \((i,-\xi _i)\).
Note that applying this sequence \(S_i\) of mutations on the quivers \(\Gamma ^-\) or \(G^-\) has exactly the same effect on the cluster variable sitting at vertex \((i,-\xi _i)\) than applying \(h'\) times the infinite sequence \(\mathscr {S}\) from Sect. 6.2.
Example 7.3.2
For \(\mathfrak {g}\) of type \(D_4\), \(h=6\), then \(h'=3\). Let us give explicitly the sequence \(S_2\) starting on column 2. For simplicity of notations, we assume that the height function is chosen such that \(\xi _2=0\). Then the sequence \(S_2\) has 15 steps:
Let \(r_0=-\xi _i-2h'\). Let \(\tilde{\chi }_{i,r_0} \in \mathcal {T}_t\) be the quantum cluster variable obtained at vertex \((i,-\xi _i)\) after applying the sequence of mutations \(S_i\) to the quantum cluster variable \( \mathcal {A}_t(\Gamma ^-,\Lambda )\) with initial seed \(\{z_{j,s},f_k\}_{(j,s)\in \hat{I}^-, k\in I}\).
Proposition 7.3.3
As an element of the quantum torus \(\mathcal {T}_t\), \(\tilde{\chi }_{i,r_0}\) belongs to the image of the inclusion morphism \(\mathcal {J}\).
Moreover,
Proof
The cluster variable \(\tilde{\chi }_{i,r_0}\) is a variable of the quantum cluster algebra \( \mathcal {A}_t(\Gamma ^-,\Lambda )\), which is isomorphic to \( \mathcal {A}_t^{\underline{u},\underline{t}}(\Gamma ^-,L)\) from Proposition 7.2.3. By [15, Corollary 4.7], there is a bijection between the quantum cluster variables of \( \mathcal {A}_t^{\underline{u},\underline{t}}(\Gamma ^-,L)\) and those of \( \mathcal {A}_t(\Gamma ^-,L)\) (where the frozen variables are specialized to 1). With notations from Sect. 6.3, \(u_{i,-\xi _i}^{(h')}\) is the cluster variable of \( \mathcal {A}_t(\Gamma ^-,L)\) obtained at vertex \((i,-\xi _i)\) after applying the mutations of the sequence \(S_i\). Also from [15, Corollary 4.7], we know that there exists integers \(a_j\in \mathbb {Z}\) such that
written as a commutative product (both \(\tilde{\chi }_{i,r_0}\) and \(u_{i,-\xi _i}^{(h')}\) are bar-invariant), with \(\rho \) defined in (7.17). The term \(u_{i,-\xi _i}^{(h')}\) is a Laurent polynomial in the variables \(u_{j,s}\), which satisfy \(\rho (u_{j,s})=z_{j,s}(f_j)^{-1}\) from (7.15). Thus expression (7.21) is a way of writing \(\tilde{\chi }_{i,r_0}\) as a Laurent polynomial in the initial variables \(\{z_{j,s},f_k\}\). However, one can write \(\tilde{\chi }_{i,r_0}=N/D\), where N is the Laurent polynomial in the cluster variables \(\{z_{j,s},f_k\}\), with coefficients in \(\mathbb {Z}[t^{\pm 1/2}]\) and not divisible by any of the \(f_k\), and D is a monomial in the non-frozen variables \(\{z_{j,s}\}\). Thus \(\prod _{j\in I}f_j^{a_j}\) is the smallest monomial such that
contains only non-negative powers of the frozen variables \(f_k\). Moreover, from Proposition 6.3.1,
However, all Laurent monomials occurring in \([L(Y_{i,r_0})]_t\) already occurred in the q-character \(\chi _q(L(Y_{i,r_0}))\), as the \((q,t)\)-character \([L(Y_{i,r_0})]_t\) has positive coefficients. Indeed, the \((q,t)\)-characters of fundamental modules have been explicitly computed and have been found to have non-negative coefficients (in [32] for types A and D and [34] for type E).
From [9], all monomials in \(\chi _q(L(Y_{i,r_0}))\) are products of \(Y_{j,s}^{\pm 1}\), with \(s\le r_0+h\), but by definition of \(r_0\), \(r_0+h \le 0\), and the term with the highest quantum parameter being the anti-dominant monomial \(Y_{\overline{i},r_0+h}^{-1}\), where 
is the involutive map such that \(\omega _0(\alpha _j)=-\alpha _{\overline{j}}\), with \(\omega _0\) the longest element of the Weyl group of \(\mathfrak {g}\) (no relation with the bar-involution of Sect. 6.1).
Consider the change of variables, for \((j,s)\in \hat{I}^-\),
Thus
All monomials occurring in \([L(Y_{i,r_0})]_t\) are commutative monomials in the variables \(Y_{j,s}^{\pm 1}\), with \(s\le r_0 +h \le 0\). Moreover, the only monomials in which the variables \(Y_{j,s}^{\pm 1}\), with \(s+2 \ge 0\), occur are the anti-dominant monomial \(Y_{\overline{i},r_0+h}^{-1}\), and any possible monomial in which some variable \(Y_{j,r_0+h-1}\) occurs. But for such a monomial m, the variable \(Y_{j,s}^{\pm 1}\) with the highest s in m occurs with a negative power in m (the monomial m is “right-negative”, as from [9, Lemma 6.5]), thus the variable \(Y_{j,r_0+h-1}\) also occurs with a negative power. The image by \(\rho \circ \eta ^{-1}\) of any monomial in the variables \(Y_{j,s}^{\pm 1}\), with \(s+2\le 0\) is a monomial in the variables \(\{z_{j,s}^{\pm 1}\}\) (without frozen variables). Thus, the image
is a Laurent polynomial with only positive powers of the variables \(f_j\). Necessarily, \(\prod _{j\in I}f_j^{a_j}=1\), and (7.21) becomes
Finally, from the diagram (7.16),
which concludes the proof. \(\square \)
Remark 7.3.4
At some point in the proof we used the fact that the \((q,t)\)-characters of the fundamental modules had non-negative coefficients. Note that this part of the proof could easily be extended to non-simply laced types, as the \((q,t)\)-characters of their fundamental representations have also been explicitly computed, and also have non-negative coefficients (in types B and C, the \((q,t)\)-characters of all fundamental representations are equal to their respective q-character, and all coefficients are actually equal to 1 [19, Proposition 7.2], and see [18] for type \(G_2\) and [19] for type \(F_4\)).
Corollary 7.3.5
For all \((i,r)\in \hat{I}\) there exists a quantum cluster variable \(\tilde{\chi }_{i,r}\) in the quantum cluster algebra \( \mathcal {A}_t(\Gamma , \Lambda )\) such that
Proof
For all \((i,r)\in \hat{I}\), let \(\tilde{\chi }_{i,r}\) be the cluster variable of the quantum cluster algebra \( \mathcal {A}_t(\Gamma , \Lambda )\) obtained at vertex \((i,r+2h')\) after applying the sequence of mutations \(S_i\), but starting at vertex \((i,r+2h')\) instead of \((i,-\xi _i)\). Consider the change of variables in \( \mathcal {A}_t(\Gamma , \Lambda )\):
The quantum cluster algebra \( \mathcal {A}_t(\Gamma , \Lambda )\) is invariant under this shift s, and this change of variables is clearly invertible (\(s^{-1}(z_{j,s})=z_{j,s+r-r_0}\)). One has \(s(z_{i,r}) = z_{i,r_0}\), and \(s(z_{i,r+2h'})=z_{i,-\xi _i}\), thus \(s\left( \tilde{\chi }_{i,r}\right) = \tilde{\chi }_{i,r_0}\), and from Proposition 7.3.3,
However, from the definition of the map \(\mathcal {J}\) in (7.3), the shift s also acts as a change of variables in the quantum torus \(\mathcal {Y}_t\), \(s : Y_{j,u} \longmapsto Y_{j,u+r_0-r}\). Hence,
\(\square \)
Thus we have proven Theorem 7.3.1.
Remark 7.3.6
-
When Conjecture 2 was formulated in [3], a recent positivity result of Davison [8] was mentioned there. This work proves the so-called “positivity conjecture” for quantum cluster algebras, which states that the coefficients of the Laurent polynomials into which the cluster variables decompose from the Laurent phenomenon are in fact non-negative. This is an important result, but also a difficult one, and it is not actually needed in order to obtain our result.
-
One can note from this proof that we know a close bound on the number of mutations needed in order to compute the \((q,t)\)-character of a fundamental module. For \(\mathfrak {g}\) a simple-laced simple Lie algebra of rank n and of (dual) Coxeter number h, if \(h'=\lceil h/2\rceil \), then the number of steps is lower than
$$\begin{aligned} n\frac{h'(h'+1)}{2}. \end{aligned}$$(7.26)We have chosen to go into details on the number of steps required for this process because it makes sense from an algorithmic point of view to know its complexity.
One can compare this algorithm to Frenkel and Mukhin [9] to compute q-characters. As explained in [34], when trying to compute q-characters of fundamental representations of large dimension (for example, in type \(E_8\), the q-character of the 5th fundamental representation has approximately \(6.4\times 2^{30}\) monomials), one encounters memory issues. Indeed, this algorithm has to keep track of all the previously computed terms. This advantage of the cluster algebra approach is that one only had to keep the seed in memory.
8 Explicit computation in type \(D_4\)
For \(\mathfrak {g}\) of type \(D_4\), with the height function \(\xi _2 = 0, \xi _1=\xi _3=\xi _4=1\), let us compute the \((q,t)\)-character of the fundamental representation \(L(Y_{2,-6})\) as a quantum cluster variable of the quantum cluster algebra \( \mathcal {A}_t(\Gamma ^-,\Lambda )\), using the algorithm presented in the previous Section.
From Example 7.3.2, the sequence of mutation we have to apply to the initial seed is
One can notice that the required number of steps is indeed lower than 24, which was the bound given in (7.26).
This sequence of mutations is applied to the quiver \(\Gamma ^-\):
Using the latest version (as of January 2019) of Bernhard Keller’s wonderful quiver mutation applet, we were able to compute the mutations and the quantum cluster variables as Laurent polynomials in the variables \(\{z_{i,r},f_j\}_{(i,r)\in \hat{I}, j\in I}\). The quiver obtained after the second to last mutation is the following:
The quantum cluster variable obtained after the last mutation at (2, 0) is:
Here no frozen variable appear when \(z_{2,0}^{(3)}\) is written is the form (7.21), and this quantum cluster variable can also be written as:
Remark 8.0.7
Note here that the coefficient of \(Y_{2,-4}\left( Y_{2,-2}\right) ^{-1}\) is \(t+t^{-1}\). This coefficient is actually the only coefficient of \([L(Y_{2,-6})]_t\) to not be equal to 1. The quantum cluster variables being bar-invariant, all coefficients in the decomposition of the cluster variables into sums of commutative polynomials in the variables \(Y_{i,r}^{\pm 1}\) are symmetric polynomials in \(t^{\pm 1}\) (\(P(t^{-1})=P(t)\)). Thus this is the only coefficient that could have been different from the corresponding one in \([L(Y_{2,-6})]_t\), as it could also have been equal to 2, or any \(t^k + t^{-k}\).
References
Berenstein, A., Fomin, S., Zelevinsky, A.: Cluster algebras. III. Upper bounds and double Bruhat cells. Duke Math. J. 126(1), 1–52 (2005)
Bittmann, L.: Asymptotics of standard modules of quantum affine algebras. Algebr. Represent. Theory 22(5), 1209–1237 (2019)
Bittmann, L.: Quantum Grothendieck rings as quantum cluster algebras. J. Lond. Math. Soc. (2020). arXiv:1902.00502 (to appear)
Berenstein, A., Zelevinsky, A.: Quantum cluster algebras. Adv. Math. 195(2), 405–455 (2005)
Chari, V.: Braid group actions and tensor products. Int. Math. Res. Not. 7, 357–382 (2002)
Chari, V., Pressley, A.: A Guide to Quantum Groups. Cambridge University Press, Cambridge (1995). (Corrected reprint of the 1994 original)
Chari, V., Pressley, A.: Quantum affine algebras and their representations. In: Representations of groups (Banff, AB, 1994), volume 16 of CMS Conf. Proc., pp. 59–78. Amer. Math. Soc., Providence (1995)
Davison, B.: Positivity for quantum cluster algebras. Ann. Math. (2) 187(1), 157–219 (2018)
Frenkel, E., Mukhin, E.: Combinatorics of \(q\)-characters of finite-dimensional representations of quantum affine algebras. Commun. Math. Phys. 216(1), 23–57 (2001)
Frenkel, E., Reshetikhin, N.: The \(q\)-characters of representations of quantum affine algebras and deformations of \(\mathscr {W}\)-algebras. Recent Developments in Quantum Affine Algebras and Related Topics (Raleigh, NC, 1998), Volume 248 of Contemp. Math., pp. 163–205. Amer. Math. Soc., Providence (1999)
Fomin, S., Zelevinsky, A.: Cluster algebras. I. Foundations. J. Am. Math. Soc. 15(2), 497–529 (2002)
Fomin, S., Zelevinsky, A.: Cluster algebras. II. Finite type classification. Invent. Math. 154(1), 63–121 (2003)
Fomin, S., Zelevinsky, A.: Cluster algebras. IV. Coefficients. Compos. Math. 143(1), 112–164 (2007)
Grabowski, J., Gratz, S.: Graded quantum cluster algebras of infinite rank as colimits. J. Pure Appl. Algebra 222(11), 3395–3413 (2018)
Grabowski, J., Launois, S.: Graded quantum cluster algebras and an application to quantum Grassmannians. Proc. Lond. Math. Soc. (3) 109(3), 697–732 (2014)
Grabowski, J.: Graded cluster algebras. J. Algebra. Combin. 42(4), 1111–1134 (2015)
Hernandez, D.: \(t\)-analogues des opérateurs d’écrantage associés aux \(q\)-caractères. Int. Math. Res. Not. 8, 451–475 (2003)
Hernandez, D.: Algebraic approach to q, t-characters. Adv. Math. 187(1), 1–52 (2004)
Hernandez, D.: Monomials of \(q\) and \(q, t\)-characters for non simply-laced quantum affinizations. Math. Z 250(2), 443–473 (2005)
Hernandez, D.: The Kirillov–Reshetikhin conjecture and solutions of \(T\)-systems. J. Reine Angew. Math. 596, 63–87 (2006)
Hernandez, D., Jimbo, M.: Asymptotic representations and Drinfeld rational fractions. Compos. Math. 148(5), 1593–1623 (2012)
Hernandez, D., Leclerc, B.: Cluster algebras and quantum affine algebras. Duke Math. J. 154(2), 265–341 (2010)
Hernandez, D., Leclerc, B.: Quantum Grothendieck rings and derived Hall algebras. J. Reine Angew. Math. 701, 77–126 (2015)
Hernandez, D., Leclerc, B.: A cluster algebra approach to \(q\)-characters of Kirillov–Reshetikhin modules. J. Eur. Math. Soc. (JEMS) 18(5), 1113–1159 (2016a)
Hernandez, D., Leclerc, B.: Cluster algebras and category \(\cal{O}\) for representations of Borel subalgebras of quantum affine algebras. Algebra Number Theory 10(9), 2015–2052 (2016)
Hernandez, D., Oya, H.: Quantum Grothendieck ring isomorphisms, cluster algebras and Kazhdan–Lusztig algorithm. Adv. Math. 347, 192–272 (2019)
Iohara, K., Malikov, F.: Rings of skew polynomials and Gel’fand–Kirillov conjecture for quantum groups. Commun. Math. Phys. 164(2), 217–237 (1994)
Kac, V.: Infinite-dimensional Lie Algebras, third edn. Cambridge University Press, Cambridge (1990)
Kuniba, A., Nakanishi, T., Suzuki, J.: Functional relations in solvable lattice models. I. Functional relations and representation theory. Int. J. Mod. Phys. A 9, 5215–5266 (1994)
Nakajima, H.: \(T\)-analogue of the \(q\)-characters of finite dimensional representations of quantum affine algebras. Physics and combinatorics. 2000 (Nagoya), pp. 196–219. World Sci. Publ, River Edge (2001)
Nakajima, H.: \(t\)-analogs of \(q\)-characters of Kirillov–Reshetikhin modules of quantum affine algebras. Represent. Theory 7, 259–274 (2003)
Nakajima, H.: \(t\)-analogs of \(q\)-characters of quantum affine algebras of type \(A_n, D_n\). Combinatorial and Geometric Representation Theory (Seoul, 2001), Volume 325 of Contemp. Math., pp. 141–160. Amer. Math. Soc, Providence (2003)
Nakajima, H.: Quiver varieties and \(t\)-analogs of \(q\)-characters of quantum affine algebras. Ann. Math. (2) 160(3), 1057–1097 (2004)
Nakajima, H.: \(t\)-analogs of \(q\)-characters of quantum affine algebras of type \(E_6, E_7, E_8\). Representation Theory of Algebraic Groups and Quantum Groups, Volume 284 of Progr. Math., pp. 257–272. Birkhäuser/Springer, New York (2010)
Nakajima, H.: Quiver varieties and cluster algebras. Kyoto J. Math. 51(1), 71–126 (2011)
Nakai, W., Nakanishi, T.: On Frenkel–Mukhin algorithm for \(q\)-character of quantum affine algebras. Exploring New Structures and Natural Constructions in Mathematical Physics, Volume 61 of Adv. Stud. Pure Math., pp. 327–347. Math. Soc. Japan, Tokyo (2011)
Qin, F.: Triangular bases in quantum cluster algebras and monoidal categorification conjectures. Duke Math. J. 166(12), 2337–2442 (2017)
Turmunkh, B.: \((q, t)\)-characters of Kirillov–Reshetikhin modules of type \(A_r\) as quantum cluster variables. Electron. J. Combin. 25(1), 45 (2018). (Paper 1.10)
Varagnolo, M., Vasserot, E.: Standard modules of quantum affine algebras. Duke Math. J. 111(3), 509–533 (2002)
Varagnolo, M., Vasserot, E.: Perverse sheaves and quantum Grothendieck rings. Studies in Memory of Issai Schur (Chevaleret/Rehovot, 2000), Volume 210 of Progr. Math., pp. 345–365. Birkhäuser Boston, Boston (2003)
Acknowledgements
I would like to thank my PhD advisor, David Hernandez, under whose supervision part of the work presented here was carried out. I thank him for his constant support, for his time, and for the numerous discussions. I also thank Bernhard Keller for sharing with me the latest update of his quiver mutation applet, as well as instructions for the new highest weight feature.
Funding
Open access funding provided by University of Vienna. This work is partially supported by Austrian Science Fund (FWF): [P 31705].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bittmann, L. A quantum cluster algebra approach to representations of simply laced quantum affine algebras. Math. Z. 298, 1449–1485 (2021). https://doi.org/10.1007/s00209-020-02664-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02664-9