Equivariant multiplicities via representations of quantum affine algebras

Abstract

For any simply-laced type simple Lie algebra $\mathfrak{g}$ and any height function $\xi$ adapted to an orientation Q of the Dynkin diagram of $\mathfrak{g}$, Hernandez–Leclerc introduced a certain category ${\mathcal{C}}^{\le \xi }$ of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$, as well as a subcategory ${\mathcal{C}}_Q$ of ${\mathcal{C}}^{\le \xi }$ whose complexified Grothendieck ring is isomorphic to the coordinate ring $\mathbb{C}[\mathbf{N}]$ of a maximal unipotent subgroup. In this paper, we define an algebraic morphism ${\tilde{D}}_{\xi }$ on a torus ${\mathcal{Y}}^{\le \xi }$ containing the image of $K_0({\mathcal{C}}^{\le \xi })$ under the truncated q-character morphism. We prove that the restriction of ${\tilde{D}}_{\xi }$ to $K_0({\mathcal{C}}_Q)$ coincides with the morphism $\overline{D}$ recently introduced by Baumann–Kamnitzer–Knutson in their study of equivariant multiplicities of Mirković–Vilonen cycles. This is achieved using the T-systems satisfied by the characters of Kirillov–Reshetikhin modules in ${\mathcal{C}}_Q$, as well as certain results by Brundan–Kleshchev–McNamara on the representation theory of quiver Hecke algebras. This alternative description of $\overline{D}$ allows us to prove a conjecture by the first author on the distinguished values of $\overline{D}$ on the flag minors of $\mathbb{C}[\mathbf{N}]$. We also provide applications of our results from the perspective of Kang–Kashiwara–Kim–Oh’s generalized Schur–Weyl duality. Finally, we use Kashiwara–Kim–Oh–Park’s recent constructions to define a cluster algebra ${\overline{\mathcal{A}}}_Q$ as a subquotient of $K_0({\mathcal{C}}^{\le \xi })$ naturally containing $\mathbb{C}[\mathbf{N}]$, and suggest the existence of an analogue of the Mirković–Vilonen basis in ${\overline{\mathcal{A}}}_Q$ on which the values of ${\tilde{D}}_{\xi }$ may be interpreted as certain equivariant multiplicities.

Introduction

Since their introduction by Drinfeld [10] and Jimbo [25], the quantized enveloping algebras of Lie algebras and Kac–Moody algebras have been intensively studied and were at the heart of numerous important developments in the past decades. The quantum group $U_q(\mathfrak{g})$ associated to a finite-dimensional simple Lie algebra $\mathfrak{g}$ can be viewed as a deformation of the universal enveloping algebra of $\mathfrak{g}$. The construction of remarkable bases of the negative part $U_q(\mathfrak{n})$ arising from a triangular decomposition of $U_q(\mathfrak{g})$ has been one of them, initiated with the construction of the dual canonical basis by Lusztig [37] and the upper global basis by Kashiwara [27]. Other bases with good properties were later considered, such as Lusztig’s dual semi-canonical basis or the Mirković–Vilonen basis arising from the geometric Satake correspondence [39]. The attempt towards a combinatorial description of the dual canonical basis has been one of the main motivations for the introduction of cluster algebras by Fomin and Zelevinsky [12]. It was proved by Berenstein–Fomin–Zelevinsky [2] that the coordinate ring $\mathbb{C}[\mathbf{N}]$ of a maximal unipotent subgroup of the Lie group $\mathbf{G}$ of $\mathfrak{g}$ has a cluster algebra structure. This cluster algebra has infinitely many seeds in general, but there is a finite family

$$\begin{array}{c}\hfill \{{\mathcal{S}}^{\mathbf{i}}=\left((x_1^{\mathbf{i}},\dots ,x_N^{\mathbf{i}}),,,Q^{\mathbf{i}}\right),\mathbf{i}\in \text{Red}(w_0)\}\end{array}$$

of distinguished seeds called standard seeds, whose cluster variables are given by explicit regular functions on $\mathbf{N}$ and whose exchange quiver $Q^{\mathbf{i}}$ is constructed purely combinatorially. They are indexed by the set $\text{Red}(w_0)$ of all reduced expressions of the longest element $w_0$ of the Weyl group of $\mathfrak{g}$. The cluster variables $x_1^{\mathbf{i}},\dots ,x_N^{\mathbf{i}}$ are called the flag minors associated to $\mathbf{i}$.

In their recent proof of Muthiah’s conjecture [40], Baumann–Kamnitzer–Knutson [1] introduced a remarkable algebra morphism

$$\begin{array}{c}\hfill \overline{D}:\mathbb{C}[\mathbf{N}]⟶\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)\end{array}$$

essentially via Fourier transforms of the Duistermaat–Heckmann measures (here ${\alpha }_1,\dots ,{\alpha }_n$ are formal variables corresponding to the simple roots of $\mathbf{G}$). They proved that the evaluation of $\overline{D}$ on the elements of the Mirković–Vilonen basis are related to certain geometric invariants of the corresponding Mirković–Vilonen cycles called equivariant multiplicities, defined by Joseph [26], Rossmann [44] and later developed by Brion [4]. Furthermore, the morphism $\overline{D}$ turns out to be useful to compare good bases of $\mathbb{C}[\mathbf{N}]$: in an appendix of the same work [1], Dranowski, Kamnitzer, and Morton–Ferguson use this morphism $\overline{D}$ to prove that the MV basis and the dual semi-canonical basis are not the same.

The main purpose of the present paper is to extend $\overline{D}$ to a larger algebra naturally containing $\mathbb{C}[\mathbf{N}]$, defined as the complexified Grothendieck ring of a monoidal category ${\mathcal{C}}^{\le \xi }$ of finite-dimensional representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$. This category was introduced by Hernandez-Leclerc [24], who showed that its Grothendieck ring has a cluster algebra structure. Recently Kashiwara–Kim–Oh–Park [32] proved that ${\mathcal{C}}^{\le \xi }$ provides a monoidal categorification of this cluster algebra in the sense of [22]. Restricting our construction to $\mathbb{C}[\mathbf{N}]$ allows us to investigate the behaviour of $\overline{D}$ on the elements of the dual canonical basis using former results by Hernandez–Leclerc [23]. Our motivations are two-fold.

Firstly, the cluster algebra $\mathbb{C}[\mathbf{N}]$ has another monoidal categorification using quiver Hecke algebra [30]. It was proved by the first author in [7] that when $\mathfrak{g}$ is of type $A_n,n\ge 1$ or $D_4$, the morphism $\overline{D}$ takes distinguished values on the flag minors of $\mathbb{C}[\mathbf{N}]$, similar to its values on the classes of Kleshchev–Ram’s strongly homogeneous modules over the quiver Hecke algebras associated to $\mathfrak{g}$ or on the elements of the MV basis corresponding to smooth MV cycles. Certain polynomial identities relating these values for flag minors belonging to the same standard seed were also exhibited and were proved (for all simply-laced types) to be preserved under cluster mutation from one standard seed to another ([7, Theorem 5.6]). But the cases where $\mathfrak{g}$ is of type $D_n,n\ge 5$ or $E_r,r=6,7,8$ were left open ([7, Conjecture 5.5]), and the meaning of these remarkable families of polynomial identities still remained mysterious.

The second motivation for the present work comes from the fact that Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$ is known to admit natural interpretations in terms of various categorifications of $\mathbb{C}[\mathbf{N}]$. For instance, the evaluation of $\overline{D}$ on the elements of the dual semi-canonical basis can be naturally expressed in terms of the Euler characteristics of certain varieties of representations of the preprojective algebra associated to $\mathfrak{g}$. For an element of the dual canonical basis, viewed as the isomorphism class of a module M over the quiver Hecke algebras associated to $\mathfrak{g}$, a similar formula can be written using the dimensions of the weight subspaces of M. However, the dual canonical basis admits another categorification, due to Hernandez–Leclerc [23], which involves certain finite-dimensional representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$. For instance, such representations were used in [9] to study the dual canonical basis of the Grassmannian cluster algebra $\mathbb{C}[\text{Gr}(k,n)]$. It is thus natural to ask whether the values of $\overline{D}$ can be interpreted in a natural way using this other categorification.

The present paper provides answers to these questions. Although it is also related to the behaviour of $\overline{D}$ with respect to the cluster structure of $\mathbb{C}[\mathbf{N}]$, our approach involves different ideas from those of [7]. Furthermore, whereas the results of [7] were proved using the representation theory of quiver Hecke algebras, and thus could only make sense on $\mathbb{C}[\mathbf{N}]$, the framework we develop here allows to extend these results to larger cluster algebras and therefore opens new perspectives (see Sect. 11 for example). It also yields natural proofs and interpretations of the polynomial identities mentioned above as well as several other conjectural observations made in [7] (for instance [7, Remark 6.4]).

Hernandez–Leclerc’s categorification of $\mathbb{C}[\mathbf{N}]$ involves a family of monoidal categories ${\mathcal{C}}_Q$ of finite-dimensional representations of $U_q(\widehat{\mathfrak{g}})$, indexed by the orientations Q of the Dynkin diagram of $\mathfrak{g}$. The main result in [23] consists in constructing for each choice of Q a ring isomorphism from the Grothendieck ring $K_0({\mathcal{C}}_Q)$ to $\mathbb{C}[\mathbf{N}]$ inducing a bijective correspondence between the classes of simple objects in ${\mathcal{C}}_Q$ and the elements of the dual canonical basis of $\mathbb{C}[\mathbf{N}]$ ([23, Theorem 6.1]). In [32], Kashiwara–Kim–Oh–Park defined a larger monoidal category ${\mathcal{C}}^{\le \xi }$ containing ${\mathcal{C}}_Q$ for each choice of height function $\xi$ adapted to Q. In the case where $\xi$ corresponds to a sink-source orientation, ${\mathcal{C}}^{\le \xi }$ coincides with the category ${\mathcal{C}}^{-}$ introduced by Hernandez–Leclerc in [24]. There is an injective ring morphism

$$\begin{array}{cc}\hfill & {\tilde{\chi }}_q:K_0({\mathcal{C}}^{\le \xi })⟶{\mathcal{Y}}^{\le \xi }:=\mathbb{Z}[Y_{i,p}^{\pm 1},(i,p)\in I^{\le \xi }]\text{where}\hfill \\ \hfill & I^{\le \xi }:=\{(i,p),i\in I,p\in \xi (i)+2{\mathbb{Z}}_{\le 0}\}\hfill \end{array}$$

called truncated q-character morphism, which is a truncated version of Frenkel-Reshetikhin’s q-character [14]. An important family of simple objects in ${\mathcal{C}}^{\le \xi }$ are the Kirillov–Reshetikhin modules $X_{i,p}^{(k)},(i,p)\in I^{\le \xi },k\ge 1$, whose (truncated) q-characters are known to satisfy certain distinguished identities called T-systems (see [21]). It is shown ([24, Theorem 5.1]) that the Grothendieck ring of ${\mathcal{C}}^{\le \xi }$ has a cluster algebra structure, with an initial seed given by an explicit (infinite) quiver $Q_{\xi }$ ([24, Sect. 2.1.2]) with set of vertices $I^{\le \xi }$, together with a cluster consisting of the isomorphism classes of the Kirillov–Reshetikhin modules of the form $X_{i,p}:=X_{i,p}^{(1+(\xi (i)-p)/2)},(i,p)\in I^{\le \xi }$. The T-system relations between the characters of the $X_{i,p}^{(k)}$ correspond to the exchange relations of certain sequences of mutations for the cluster structure of $K_0({\mathcal{C}}^{\le \xi })$. Moreover, denoting by ${\mathbf{i}}_Q$ a reduced expression of $w_0$ adapted to Q, the exchange quiver $Q^{{\mathbf{i}}_Q}$ of the standard seed ${\mathcal{S}}^{{\mathbf{i}}_Q}$ of $\mathbb{C}[\mathbf{N}]$ can be viewed as a (finite) subquiver of $Q_{\xi }$, and the cluster variables (flag minors) $x_1^{{\mathbf{i}}_Q},\dots ,x_N^{{\mathbf{i}}_Q}$ of ${\mathcal{S}}^{{\mathbf{i}}_Q}$ are identified with the classes of the modules $X_{i,p},(i,p)\in I_Q$ via the natural embedding $\mathbb{C}[\mathbf{N}]\simeq K_0({\mathcal{C}}_Q)\hookrightarrow K_0({\mathcal{C}}^{\le \xi })$ (where $I_Q$ is a finite subset of $I^{\le \xi }$).

In this paper we introduce an algebra morphism ${\tilde{D}}_{\xi }$ from the complexified torus $\mathbb{C}\otimes {\mathcal{Y}}^{\le \xi }$ to the field $\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$. Its definition involves the coefficients of the inverse of the quantum matrix of $\mathfrak{g}$, which are a family of integers ${\tilde{C}}_{i,j}(m),i,j\in I,m\in \mathbb{Z}$ appearing in the theory of q-characters [14] initiated by Frenkel and Reshetikhin, q, t-characters initiated by Nakajima [42], and then further developed in [20, 23]. We also refer to [16] for recent advances in this area. The precise definition of ${\tilde{D}}_{\xi }$ is the following:

$$\begin{array}{c}\hfill \forall (i,p)\in I^{\le \xi },{\tilde{D}}_{\xi }(Y_{i,p}):=\prod _{(j,s)\in I^{\le \xi }}{\left({ϵ}_{j,s},{\tau }_Q^{(\xi (j)-s)/2},({\gamma }_j)\right)}^{{\tilde{C}}_{i,j}(s-p-1)-{\tilde{C}}_{i,j}(s-p+1)}\end{array}$$

where for each $j\in I$, ${\gamma }_j$ is the sum of the simple roots ${\alpha }_i$ such that there exists a path from i to j in Q, ${\tau }_Q$ is the Coxeter transformation associated to Q and ${ϵ}_{j,s}\in \{-1,1\}$ is the unique sign such that ${\tau }_Q^{(\xi (j)-s)/2}({\gamma }_j)\in {ϵ}_{j,s}{\mathrm{\Phi }}_{+}$ for every $(j,s)\in I^{\le \xi }$. Note that this product is always finite, because ${\tilde{C}}_{i,j}(m):=0$ if $m\le 0$. In Sect. 6.2, we investigate the images under ${\tilde{D}}_{\xi }$ of the truncated q-characters of the Kirillov–Reshetikhin modules $X_{i,p},(i,p)\in I^{\le \xi }$ categorifying the cluster variables of Hernandez–Leclerc’s initial seed in $K_0({\mathcal{C}}^{\le \xi })$. We prove that the rational fractions ${\tilde{D}}_{\xi }\left({\tilde{\chi }}_q,(X_{i,p})\right)$ satisfy remarkable properties analogous to those exhibited in [7] for the values of $\overline{D}$ on the flag minors of $\mathbb{C}[\mathbf{N}]$.

We also consider the restriction ${\tilde{D}}_Q$ of ${\tilde{D}}_{\xi }$ to the torus ${\mathcal{Y}}_Q:=\mathbb{Z}[Y_{i,p}^{\pm 1},(i,p)\in I_Q]$ image of $K_0({\mathcal{C}}_Q)$ under the truncated q-character morphism ${\tilde{\chi }}_q$. Our first main result is the following:

Theorem 1

(cf. Theorem 6.1) For every simply-laced type Lie algebra $\mathfrak{g}$ and for every orientation Q of the Dynkin diagram of $\mathfrak{g}$, the following diagram commutes:

A significant part of this paper (Sects. 7 and 8 as well as the beginning of Sect. 9) will be devoted to proving Theorem 1 in the case of a particular well-chosen orientation $Q_0$ for each simply-laced type (see Sect. 7). It is achieved by proving that $\overline{D}$ and ${\tilde{D}}_{Q_0}$ agree on the dual root vectors associated to ${\mathbf{i}}_{Q_0}$, which are known to generate $\mathbb{C}[\mathbf{N}]$ as an algebra. The dual root vectors are categorified on the one hand by the so-called cuspidal representations over quiver Hecke algebras (see [5, 35, 38]) and by the fundamental representations in ${\mathcal{C}}_Q$ on the other hand. In Sect. 7, we use the representation theory of quiver Hecke algebras to provide formulas for the evaluation of $\overline{D}$ on the dual root vectors of $\mathbb{C}[\mathbf{N}]$. Our proof crucially relies on certain results by Brundan–Kleshchev–McNamara [5] on cuspidal representations as well as Kleshchev-Ram’s construction [34] of (strongly) homogeneous modules. In Sect. 8, we prove several formulas for the evaluation of ${\tilde{D}}_{Q_0}$ on the classes of all Kirillov–Reshetikhin modules in ${\mathcal{C}}_Q$ using the T-system relations satisfied by the (truncated) q-characters of these modules. As the fundamental representations are particular cases of Kirillov–Reshetikhin modules, we can conclude by comparing with the results obtained in Sect. 7.

The values of $\overline{D}$ (resp. ${\tilde{D}}_{Q_0}$) on the dual root vectors of $\mathbb{C}[\mathbf{N}]$ (resp. the classes of Kirillov–Reshetikhin modules in ${\mathcal{C}}_{Q_0}$) are obtained in Sect. 7 (resp. Sect. 8) by considering each simply-laced type. The case of type $A_n$ is in fact contained as a subcase of the type $D_n$ but for the reader’s convenience we chose to state the formulas in different subsections for each of these types. We deal with the types $E_r,r=6,7,8$ separately using a computer software. For certain dual root vectors, the results are extremely complicated, which suggests there exists probably no uniform formula for the image of ${\tilde{D}}_Q$ on the classes of Kirillov–Reshetikhin modules (or even simply on the dual root vectors) that would hold for any simply-laced type and for an arbitrary orientation Q.

Combining Theorem 1 with [7, Theorem 5.6] allows us to prove the second main result of this paper, which was stated as a conjecture in [7] ([7, Conjecture 5.5]).

Theorem 2

(cf. Theorem 9.1) Let $\mathfrak{g}$ be a simple Lie algebra of simply-laced type. Then for any reduced expression $\mathbf{i}=(i_1,\dots ,i_N)$ of $w_0$, the flag minors $x_1^{\mathbf{i}},\dots ,x_N^{\mathbf{i}}$ satisfy $\overline{D}(x_j^{\mathbf{i}})=1/P_j^{\mathbf{i}}$ where $P_j^{\mathbf{i}}$ is a product of positive roots. Furthermore, the polynomials $P_1^{\mathbf{i}},\dots ,P_N^{\mathbf{i}}$ satisfy the identities

$$\begin{array}{c}\hfill \forall 1\le j\le N,P_j^{\mathbf{i}}{P}_{j_{-}}^{\mathbf{i}}={\beta }_j\prod _{\begin{array}{c}l<j<l_{+}\\ i_l\sim i_j\end{array}}{P}_l^{\mathbf{i}}.\end{array}$$

where ${\beta }_j:=s_{i_1}\cdots s_{i_{j-1}}({\alpha }_{i_j})$ for each $j\in \{1,\dots ,N\}$.

We refer to Sects. 2.1 and 2.2 for precise definitions of the notations involved in this identity. We first prove the statement in the case $\mathbf{i}={\mathbf{i}}_{Q_0}$ using Theorem 1, which provides an efficient way of computing the images under $\overline{D}$ of the flag minors $x_1^{{\mathbf{i}}_{Q_0}},\dots ,x_N^{{\mathbf{i}}_{Q_0}}$ because the Kirillov–Reshetikhin modules $X_{i,p}$ have truncated q-characters reduced to a single term. Then [7, Theorem 5.6] guarantees that the result holds for arbitrary reduced expressions of $w_0$. In the case of reduced expressions of $w_0$ adapted to orientations of the Dynkin diagram of $\mathfrak{g}$, these polynomial identities are now naturally understood as consequences of the well-known recursive relations between the coefficients ${\tilde{C}}_{i,j}(m)$. Sect. 6.2 contains further explanations about this, as well as analogous interpretations of various other observations from [7], such as [7, Remark 6.4].

We have been informed that it could be also possible to obtain a geometric proof of Theorem 1 relying on the geometric Satake correspondence and the results from [1]. The idea is to prove that the MV cycles associated to the flag minors of the standard seed ${\mathcal{S}}^{{\mathbf{i}}_Q}$ satisfy certain smoothness properties, which allow one to compute their equivariant multiplicities, and hence the values of $\overline{D}$ using [1, Corollary 10.6]. One could then conclude by combining this with the results of Sect. 6 of the present paper.

Our approach has the advantage to provide closed formulas for the evaluation of $\overline{D}$ on a large family of cluster variables in $\mathbb{C}[\mathbf{N}]$ (namely, all the classes of the Kirillov–Reshetikhin modules in ${\mathcal{C}}_{Q_0}$), several of which correspond to MV cycles that fail to satisfy any smoothness property (this can be seen for example by the fact the numerators may not be equal to 1 in our formulas). Furthermore, the techniques used in the present paper can be extended in a direct way beyond $\mathbb{C}[\mathbf{N}]$ to obtain formulas for the evaluation of ${\tilde{D}}_{\xi }$ on classes of Kirillov–Reshetikhin modules in $K_0({\mathcal{C}}^{\le \xi })$, which are not described by the geometric Satake correspondence.

In Sect. 10 we present some applications of our results involving Kang–Kashiwara–Kim–Oh’s generalized quantum affine Schur–Weyl duality [29]. An element of the dual canonical basis of $\mathbb{C}[\mathbf{N}]$ can be viewed either as the class of a (simple) module L in ${\mathcal{C}}_Q$, or as the class of the corresponding object ${\mathcal{F}}_Q(L)$ in R-mod, where ${\mathcal{F}}_Q$ denotes Kang–Kashiwara–Kim–Oh’s generalized quantum affine Schur–Weyl duality functor. Then Theorem 1 yields the following identity

$$\begin{array}{c}\hfill \sum _{{\mathfrak{m}}^{\prime }\preccurlyeq \mathfrak{m}}dim(L_{{\mathfrak{m}}^{\prime }}){\tilde{D}}_Q({\mathfrak{m}}^{\prime })=\sum _{\mathbf{j}=(j_1,\dots j_d)}dim\left({({\mathcal{F}}_Q(L))}_{\mathbf{j}}\right){\overline{D}}_{\mathbf{j}}\end{array}$$ 1.1

where ${\mathfrak{m}}^{\prime }$ are the Laurent monomials in the variables $Y_{i,s}$ appearing in the truncated q-character of L, and the ${\overline{D}}_{\mathbf{j}}$ are certain explicit rational fractions for each weight $\mathbf{j}$ of ${\mathcal{F}}_Q(L)$ (see Sect. 10). In other words, although the objects of the categories ${\mathcal{C}}_Q$ and R-mod are a priori of different natures, the equality (1.1) provides an unexpected explicit relationship between the respective weight-subspace structures of a representation L of ${\mathcal{C}}_Q$ and the corresponding module ${\mathcal{F}}_Q(L)$ in R-mod. We provide a concrete illustration of this fact by proving a formula relating the dimensions of ${\mathcal{F}}_{Q_0}(L)$ and the truncated part of L when $\mathfrak{g}$ is of type $A_n$ and $Q=Q_0$ (Theorem 10.1).

In the final section of this work (Sect. 11), we turn back to the geometric motivations at the origin of the construction of $\overline{D}$ by Baumann–Kamnitzer–Knutson [1]. As our results show that ${\tilde{D}}_{\xi }$ is an extension of $\overline{D}$ to $\mathbb{C}\otimes K_0({\mathcal{C}}^{\le \xi })$, it is natural to ask whether certain values of ${\tilde{D}}_{\xi }$ may be possibly related to certain equivariant multiplicities of some closed algebraic varieties. However, it turns out that unlike $\overline{D}$, ${\tilde{D}}_{\xi }$ takes trivial values on certain cluster variables of $K_0({\mathcal{C}}^{\le \xi })$, which seems difficult to understand geometrically. To circumvent this issue, we show that the values of ${\tilde{D}}_{\xi }$ on the cluster variables $[X_{i,p}]$ of Hernandez–Leclerc’s initial seed in $K_0({\mathcal{C}}^{\le \xi })$ satisfy certain periodicity properties (Corollary 11.2). This is derived from the periodicity of the coefficients ${\tilde{C}}_{i,j}(m)$ established by Hernandez–Leclerc ([23, Corollary 2.3]). Therefore one looses essentially no information by restricting ${\tilde{D}}_{\xi }$ to a smaller cluster algebra ${\mathcal{A}}_Q$ of finite cluster rank still containing $\mathbb{C}[\mathbf{N}]$ as a subalgebra. In some sense, one can view ${\mathcal{A}}_Q$ as a period of ${\tilde{D}}_{\xi }$ and $\mathbb{C}[\mathbf{N}]$ as a half-period of ${\tilde{D}}_{\xi }$. Then we prove (Corollary 11.3) that ${\tilde{D}}_{\xi }$ takes trivial values on the frozen variables of ${\mathcal{A}}_Q$. Therefore it factors through a morphism ${\overline{D}}_Q$ defined on the quotient algebra ${\overline{\mathcal{A}}}_Q$. We propose this algebra ${\overline{\mathcal{A}}}_Q$ as the most appropriate domain to study ${\tilde{D}}_{\xi }$. We ask for the existence of a basis in ${\overline{\mathcal{A}}}_Q$ containing the Mirković–Vilonen basis of $\mathbb{C}[\mathbf{N}]$, whose elements may be indexed by a family of closed algebraic varieties, such that the values of ${\overline{D}}_Q$ on the elements of this basis could be interpreted as certain equivariant multiplicities of the corresponding varieties with respect to the action of some torus. In a different direction, the recent results by Kashiwara–Kim–Oh–Park [32] imply that ${\mathcal{A}}_Q$ admits a monoidal categorification (in the sense of Hernandez–Leclerc [22]) by a subcategory of ${\mathcal{C}}^{\le \xi }$. Therefore, it would be interesting to investigate whether the quotient algebra ${\overline{\mathcal{A}}}_Q$ could also be studied via monoidal categorification using the categorical specialization techniques developped by Kang–Kashiwara–Kim [28] and more recently Kashiwara–Kim–Oh–Park [31].

Our construction also suggests possible connections with the quantum cluster algebra structures of quantized coordinate rings and more generally of certain quantum Grothendieck rings of Hernandez–Leclerc’s categories. Indeed, the expressions ${\tilde{C}}_{i,j}(s-p-1)-{\tilde{C}}_{i,j}(s-p+1)$ involved in the definition of ${\tilde{D}}_{\xi }$ coincide (up to sign) with the entries of the t-commutation matrix describing Hernandez–Leclerc’s quantum torus [23, Equation (8)]. This is known from the works of Bittmann [3] to correspond to the quantum torus of a quantum cluster algebra $K_t({\mathcal{C}}^{\le \xi })$, which is a non-commutative deformation of $K_0({\mathcal{C}}^{\le \xi })$ naturally containing the quantized coordinate ring ${\mathcal{A}}_q(\mathfrak{n})$ (dual of $U_q(\mathfrak{n})$) via an algebra isomorphism ${\mathcal{A}}_q(\mathfrak{n})\simeq K_t({\mathcal{C}}_Q)$ identifying the indeterminates t and q.

The paper is organized as follows. In Sect. 2 we gather all the necessary reminders about Hernandez and Leclerc’s categorification of cluster algebras and its applications to the study of the coordinate ring $\mathbb{C}[\mathbf{N}]$. In Sect. 3, we provide some reminders about the coefficients of the inverses of quantum Cartan matrices and prove a couple of elementary properties which will be useful in the sequel of the paper. In Sect. 4, we recall the main results from the representation theory of quiver Hecke algebras, in particular certain results from [5]. Section 5 is devoted to some reminders about Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$ as well as the main results from [7]. In Sect. 6, we introduce the main objects of the present paper, namely the morphisms ${\tilde{D}}_{\xi }$ and ${\tilde{D}}_Q$, investigate several of their properties and state our first main result Theorem 6.1. In Sect. 7, we use the representation theory of quiver Hecke algebras to compute the values of $\overline{D}$ on the dual root vectors of $\mathbb{C}[\mathbf{N}]$ associated to a well-chosen orientation $Q_0$ of the Dynkin diagram of $\mathfrak{g}$. In Sect. 8, we provide formulas in types $A_n$ and $D_n$ for the values of ${\tilde{D}}_{Q_0}$ on the classes of all Kirillov–Reshetikhin modules in ${\mathcal{C}}_{Q_0}$. Section 9 is devoted to the proofs of the two main results of this paper, Theorems 6.1 and 9.1. We begin by proving Theorem 6.1 in the case $Q=Q_0$, which allows us to prove Theorem 9.1, which can then be used to prove Theorem 6.1 for arbitrary orientations. In Sect. 10, we provide a representation-theoretic interpretation of Theorem 6.1 from the perspective of Kang–Kashiwara–Kim–Oh’s generalized quantum affine Schur–Weyl duality, with an application when $\mathfrak{g}$ is of type $A_n$ (Theorem 10.1). Finally in Sect. 11 we define a cluster algebra ${\overline{\mathcal{A}}}_Q$ naturally containing $\mathbb{C}[\mathbf{N}]$ and discuss possible geometric interpretations of the values taken by ${\tilde{D}}_{\xi }$ on ${\overline{\mathcal{A}}}_Q$.

Hernandez–Leclerc’s category ${\mathcal{C}}^{\le \xi }$

In this section, we recall Hernandez–Leclerc’s categorifications of certain cluster algebras via the categories ${\mathcal{C}}^{\le \xi }$ introduced in [24] (denoted ${\mathcal{C}}^{-}$ in [24]), for each height function $\xi$ on the vertices of the Dynkin diagram of $\mathfrak{g}$. We also recall Hernandez–Leclerc’s former construction [23] of categorifications of coordinate rings via subcategories ${\mathcal{C}}_Q$ of ${\mathcal{C}}^{\le \xi }$, where Q is an orientation of the Dynkin graph of $\mathfrak{g}$ adapted to $\xi$.

Coordinate rings and their cluster structures

Let $\mathfrak{g}$ be a simple complex Lie algebra of simply-laced type, let I be the set of vertices of the Dynkin diagram of $\mathfrak{g}$, and let $n=|I|$. We denote by $C=(c_{i,j})$ the Cartan matrix of $\mathfrak{g}$ and for any $i,j\in I$ we will write $i\sim j$ for $c_{i,j}=-1$. Let us fix a nilpotent subalgebra $\mathfrak{n}$ arising from a triangular decomposition of $\mathfrak{g}$ and let $\mathbf{N}$ denote the corresponding Lie group. We consider the ring $\mathbb{C}[\mathbf{N}]$ of regular functions on $\mathbf{N}$, which we will refer to as the coordinate ring in what follows. We also let W denote the Weyl group of $\mathfrak{g}$ and $w_0$ denote the longest element of W. We let ${\alpha }_1,\dots ,{\alpha }_n$ (resp. ${\omega }_1,\dots ,{\omega }_n$) denote the simple roots (resp. the fundamental weights) of $\mathfrak{g}$. Let ${\mathrm{\Gamma }}_{+}:={⨁}_i\mathbb{N}{\alpha }_i$ and let ${\mathrm{\Phi }}_{+}\subset {\mathrm{\Gamma }}_{+}$ denote the set of positive roots of $\mathfrak{g}$.

The coordinate ring $\mathbb{C}[\mathbf{N}]$ contains a distinguished family of elements $D(u\lambda ,v\lambda )$ called unipotent minors parametrized by triples $(\lambda ,u,v)\in P_{+}\times W\times W$ where $P_{+}$ stands for the set of dominant weights of $\mathfrak{g}$. These unipotent minors always belong to the dual canonical basis of $\mathbb{C}[\mathbf{N}]$ when they are not zero (see for instance [30, Lemma 9.1.1]). Two special subsets of unipotent minors will play a central role throughout this paper, both of them depending on a choice of reduced expression of $w_0$. Let $N:=♯{\mathrm{\Phi }}_{+}=l(w_0)$ and let $\mathbf{i}=(i_1,\dots ,i_N)$ be a reduced expression of $w_0$. On the one hand, we will consider the unipotent minors

$$\begin{array}{c}\hfill x_k^{\mathbf{i}}:=D(s_{i_1}\cdots s_{i_k}{\omega }_{i_k},{\omega }_{i_k}),1\le k\le N\end{array}$$

which are called the flag minors associated to $\mathbf{i}$. On the other hand, the unipotent minors

$$\begin{array}{c}\hfill {r_k^{\ast }}^{\mathbf{i}}:=D(s_{i_1}\cdots s_{i_k}{\omega }_{i_k},s_{i_1}\cdots s_{i_{k-1}}{\omega }_{i_k}),1\le k\le N\end{array}$$

are called the dual root vectors associated to $\mathbf{i}$. Note that the dual root vectors also belong to the dual PBW basis corresponding to $\mathbf{i}$.

One of the properties of $\mathbb{C}[\mathbf{N}]$ we will be mostly interested in is its cluster algebra structure in the sense of Fomin-Zelevinsky [12]: a cluster algebra is defined as the subalgebra of a field of functions $\mathbb{Q}(x_1,\dots ,x_N)$ generated by a family of distinguished elements called cluster variables. These are obtained by performing a recursive procedure starting from the initial data (called a seed) of a N-tuple $x_1,\dots ,x_N$ of variables (called a cluster) as well as a quiver with N vertices and without any loop or 2-cycles (called an exchange quiver). For every $1\le k\le N$, one can define a new generator $x_k^{\prime }$ given by the exchange relation

$$\begin{array}{c}\hfill x_k^{\prime }=\frac{1}{x_k}\left(\prod _{j\to k\text{in}Q},x_j,+,\prod _{j\leftarrow k\text{in}Q},x_j\right)\end{array}$$ 2.1

as well as a new quiver $Q_k^{\prime }$, both uniquely determined by $x_1,\dots ,x_N$ and Q. This yields a new seed given by ${\mathcal{S}}_k^{\prime }:=((x_1,\dots ,x_{k-1},x_k^{\prime },x_{k+1},\dots ,N),Q_k^{\prime })$. This procedure is called the mutation in the direction k of the seed $\mathcal{S}:=((x_1,\dots ,x_N),Q)$. It has the important property of being involutive, i.e. performing the mutation in the same direction k to the seed ${\mathcal{S}}_k^{\prime }$ recovers the seed $\mathcal{S}$. Iterating this for all possible sequences of directions of mutations, we get a (finite or infinite) set of new generators called cluster variables, each of them appearing in several clusters. The rank of a cluster algebra is the cardinality of each of its clusters.

The general theory of cluster algebras developed in particular in [13] has found a large range of applications to various areas of mathematics such as representation theory, Poisson geometry, representations of quivers etc... As far as coordinate rings are concerned, the main result that will be relevant for us is the following.

Theorem 2.1

(Berenstein–Fomin–Zelevinsky [2], Geiss–Leclerc–Schröer [19])

1. The coordinate ring $\mathbb{C}[\mathbf{N}]$ has a cluster algebra structure, of rank equal to the number of positive roots of $\mathfrak{g}$.

2. For each reduced expression $\mathbf{i}$ of $w_0$, the flag minors $D(s_{i_1}\cdots s_{i_k}{\omega }_{i_k},{\omega }_{i_k}),1\le k\le N$ form a cluster in $\mathbb{C}[\mathbf{N}]$.

There is in addition a purely combinatorial way of defining a quiver $Q^{\mathbf{i}}$ with N vertices for each reduced expression $\mathbf{i}$, which yields a seed in $\mathbb{C}[\mathbf{N}]$:

$$\begin{array}{c}\hfill {\mathcal{S}}^{\mathbf{i}}=\left((x_1^{\mathbf{i}},\dots ,x_N^{\mathbf{i}}),,,Q^{\mathbf{i}}\right).\end{array}$$

The seeds ${\mathcal{S}}^{\mathbf{i}}$ are called the standard seeds of $\mathbb{C}[\mathbf{N}]$. Note that different reduced expressions may yield the same seed: this is the case for instance for reduced expressions in the same commutation class. Moreover, cluster mutations from one standard seed to another correspond to performing braid relations on the corresponding reduced expressions.

Remark 2.2

1. The cluster structure of $\mathbb{C}[\mathbf{N}]$ can have infinitely many seeds in general (in fact it is always the case, unless $\mathfrak{g}$ is of type $A_n,n\le 4$ see [18])

2. The exchange relations associated to the cluster mutations from one standard seed to another are special cases of the determinantal identities which play an important role in the work of Geiss–Leclerc–Schröer (see [19, Proposition 5.4]) as well as in the work of Fomin-Zelevinsky [11].

Auslander–Reiten theory

We fix an orientation Q of the Dynkin diagram of $\mathfrak{g}$. Let ${⟨·,·⟩}_Q$ denote the Euler-Ringel form of the quiver Q, i.e. the unique bilinear form on the free abelian group $\mathrm{\Gamma }:={⨁}_i\mathbb{Z}{\alpha }_i$ given on simple roots by ${⟨{\alpha }_i,{\alpha }_j⟩}_Q:={\delta }_{i,j}-♯\{i\to j\text{in}Q\}$. Finally we denote by $(·,·)$ the Cartan pairing associated to $\mathfrak{g}$, i.e. the symmetric bilinear form on ${\mathrm{\Gamma }}_{+}$ defined by $({\alpha }_i,{\alpha }_j)=c_{i,j}$. Recall that one has $(\beta ,\gamma )={⟨\beta ,\gamma ⟩}_Q+{⟨\gamma ,\beta ⟩}_Q$ for any $\beta ,\gamma \in {\mathrm{\Gamma }}_{+}$.

We fix a height function $\xi :I\to \mathbb{Z}$ adapted to Q i.e. an integer-valued function satisfying

$$\begin{array}{c}\hfill \xi (j)=\xi (i)-1\text{if there is an arrow}i\to j\text{in}Q.\end{array}$$

For $i\in I$, denote by $s_i(Q)$ the quiver obtained from Q by changing the orientation of every arrow with source i or target i. A sequence $\mathbf{i}=(i_1,\dots ,i_k)$ of elements of I is called adapted to Q if $i_1$ is a source of Q, $i_2$ is a source of $s_{i_1}(Q)$, $\dots$, $i_k$ is a source of $s_{i_{k-1}}\cdots s_{i_1}(Q)$. There is a unique Coxeter element in W, denoted by ${\tau }_Q$, having reduced expressions adapted to Q. It satisfies ${\tau }_Q^h=1$ where h denotes the dual Coxeter number defined by $h:=2N/n$, where N is the number of positive roots in the root system of $\mathfrak{g}$.

Most importantly, we also fix a reduced expression ${\mathbf{i}}_Q=(i_1,\dots ,i_N)$ of $w_0$ adapted to Q. Recall that such a reduced word always exists and is unique up to commutation. For each $i\in I$, we denote by $n_Q(i)$ the number of occurrences of the letter i in the reduced word ${\mathbf{i}}_Q$. For every $i\in I$, let B(i) denote the set of indices $j\in I$ such that there exists a path from j to i in Q, and let ${\gamma }_i:={\sum }_{j\in B(i)}{\alpha }_j$. Then ${\gamma }_i\in {\mathrm{\Phi }}_{+}$ for every $i\in I$, and moreover one has

$$\begin{array}{c}\hfill {\mathrm{\Phi }}_{+}=\{{\tau }_Q^{r-1}({\gamma }_i),i\in I,1\le r\le n_Q(i)\}.\end{array}$$

Following [32], we also define an infinite sequence ${\widehat{\mathbf{i}}}_Q=(i_1,i_2,\dots )$ of elements of I as follows. For each $i\in I$, we let $i^{\ast }$ denote the unique element of I such that $w_0({\alpha }_i)=-{\alpha }_{i^{\ast }}$. The map $i\mapsto i^{\ast }$ is an involution. Then for each $1\le k\le N$ and each $m\ge 0$, we set

$$\begin{array}{c}\hfill i_{k+Nm}:=\left\{\begin{array}{cc}{i}_k\hfill & \text{if}m\text{is even,}\hfill \\ i_k^{\ast }\hfill & \text{if}m\text{is odd.}\hfill \end{array}\right)\end{array}$$

It is proved (see [32, Proposition 6.11]) that for any $t\ge 1$, the finite sequence

$$\begin{array}{c}\hfill (i_t,i_{t+1},\dots ,i_{t+N-1})\end{array}$$

is a reduced expression of $w_0$ adapted to the orientation $s_{i_{t-1}}\cdots s_{i_1}(Q)$.

We will use the following notation from [32, Eq. (4.2)]. For each $t\ge 1$, we set

$$\begin{array}{c}\hfill t_{+}:=min\left(\{t^{\prime }>t,i_{t^{\prime }}=i_t\},\cup ,\{+\infty \}\right)\text{and}{t}_{-}:=max\left(\{t^{\prime }<t,i_{t^{\prime }}=i_t\},\cup ,\{0\}\right).\end{array}$$

For $t_{+}$, the set $\{t^{\prime }>t,i_{t^{\prime }}=i_t\}$ is never empty. For $t_{-}$, the set $\{t^{\prime }<t,i_{t^{\prime }}=i_t\}$ can be empty so we use the convention $max\mathrm{\varnothing }:=0$.

We set

$$\begin{array}{c}\hfill I^{\le \xi }:=\{(i,p)\mid i\in I,p\in \xi (i)+2{\mathbb{Z}}_{\le 0}\}.\end{array}$$

There is a bijection $\phi :I^{\le \xi }⟶{\mathbb{Z}}_{\ge 1}$ defined by

$$\begin{array}{c}\hfill \phi (i,p):=\left\{\begin{array}{cc}min\{t\ge 1,i_t=i\}\hfill & \text{if}p=\xi (i),\hfill \\ {\left(\phi ,(,i,,,p,+,2,)\right)}_{+}\hfill & \text{otherwise.}\hfill \end{array}\right)\end{array}$$ 2.2

Equivalently, $\phi (i,p)$ is the position of the mth occurrence of the letter i in ${\widehat{\mathbf{i}}}_Q$, where $m:=(\xi (i)-p+2)/2$. The inverse of $\phi$ is given by

$$\begin{array}{c}\hfill {\phi }^{-1}(k)=(i_k,\xi (i_k)-2N_Q(k)+2)\text{where}{N}_Q(k):=♯\{k^{\prime }\le k,i_{k^{\prime }}=i_k\}.\end{array}$$

We also set

$$\begin{array}{c}\hfill I_Q:={\phi }^{-1}\left(\{,1,,,\dots ,,,N,\}\right)=\{(j,s)\in I^{\le \xi },\xi (j)\ge s\ge \xi (j)-2n_Q(j)+2\}.\end{array}$$ 2.3

Then following [23] one can define a sequence of positive roots ${({\beta }_k)}_{k\ge 1}\in {\mathrm{\Phi }}_{+}^{{\mathbb{Z}}_{\ge 1}}$ by setting

$$\begin{array}{c}\hfill {\beta }_{\phi (j,\xi (j))}:={\gamma }_j\text{and}{\beta }_{\phi (j,s-2)}=\left\{\begin{array}{cc}{\tau }_Q\left({\beta }_{\phi (j,s)}\right)\hfill & \text{if}{\tau }_Q\left({\beta }_{\phi (j,s)}\right)\in {\mathrm{\Phi }}_{+},\hfill \\ -{\tau }_Q\left({\beta }_{\phi (j,s)}\right)\hfill & \text{if}{\tau }_Q\left({\beta }_{\phi (j,s)}\right)\in -{\mathrm{\Phi }}_{+}.\hfill \end{array}\right)\end{array}$$ 2.4

for every $(j,s)\in I^{\le \xi }$. We also denote by ${ϵ}_{j,s}\in \{-1,1\}$ the unique sign such that

$$\begin{array}{c}\hfill {\tau }^{(\xi (j)-s)/2}({\gamma }_j)={ϵ}_{j,s}{\beta }_{\phi (j,s)}.\end{array}$$

We have the following result.

Proposition 2.3

([17, Corollary 2.40]) For every $(j,s)\in I^{\le \xi }$ one has ${\beta }_{\phi (j,s)}={\beta }_{\phi (j^{\ast },s+h)}$ and ${ϵ}_{j,s}=-{ϵ}_{j^{\ast },s+h}$.

In other words one has ${\tau }^{(\xi (j)-s)/2}({\gamma }_j)=-{\tau }^{(\xi (j^{\ast })-s-h)/2}({\gamma }_{j^{\ast }})$ for every $(j,s)\in I^{\le \xi }$. Consequently, given (j, s) and $(j^{\prime },s^{\prime })$ in $I^{\le \xi }$, one has ${\beta }_{\phi (j,s)}={\beta }_{\phi (j^{\prime },s^{\prime })}$ if and only if $j^{\prime }=j$ and $s^{\prime }\in s+2h\mathbb{Z}$ (and in this case ${ϵ}_{j,s}={ϵ}_{j^{\prime },s^{\prime }}$) or $j^{\prime }=j^{\ast }$ and $s^{\prime }\in s+h+2h\mathbb{Z}$ (and in this case ${ϵ}_{j,s}=-{ϵ}_{j^{\prime },s^{\prime }}$). Moreover it is known (see for instance [32, Proposition 6.11 (2)–(iii)] and references therein) that for every $(j,s)\in I^{\le \xi }$ one has $\phi (j,s)=\phi (j,s+2h)+2N$. Therefore we have

$$\begin{array}{c}\hfill {\phi }^{-1}([1,2N])=\{(j,s)\in I^{\le \xi }\mid \xi (j)\ge s\ge \xi (j)-2h+2\}.\end{array}$$ 2.5

Moreover, it is also known that if $(j,s)\in {\phi }^{-1}([1,2N])$ then ${ϵ}_{j,s}=1$ if and only if $(j,s)\in {\phi }^{-1}([1,N])$, and in this case we have ${\tau }^{(\xi (j)-s)/2}({\gamma }_j)={\beta }_t=s_{i_1}\cdots s_{i_{t-1}}{\alpha }_{i_t}$ where $t:=\phi (j,s)$ (see [32, Proposition 6.11 (2)–(ii)]).

Remark 2.4

Comparing with the notations used in [17], our bijection $\phi$ corresponds to the projection onto the first component of the bijection ${\varphi }_Q$ defined in [17, Sect. 2.7]. Moreover ${ϵ}_{j,s}={(-1)}^k$ where k is the second component of ${\varphi }_Q(j,s)$.

Quantum affine algebras and their representations

The quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ is a Hopf algebra that is a q-deformation of the universal enveloping algebra of $\widehat{\mathfrak{g}}$ [10, 25]. In this paper, we take q to be a non-zero complex number which is not a root of unity.

Denote by $\mathcal{P}$ the free abelian group generated by $Y_{i,a}^{\pm 1}$, $i\in I$, $a\in {\mathbb{C}}^{\times }$, denote by ${\mathcal{P}}^{+}$ the submonoid of $\mathcal{P}$ generated by $Y_{i,a}$, $i\in I$, $a\in {\mathbb{C}}^{\times }$. Let $\mathcal{C}$ denote the monoidal category of finite-dimensional representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$.

Any finite dimensional simple object in $\mathcal{C}$ is a highest l-weight module with a highest l-weight $\mathfrak{m}\in {\mathcal{P}}^{+}$, denoted by $L(\mathfrak{m})$ (cf. [8]). The elements in ${\mathcal{P}}^{+}$ are called dominant monomials.

Frenkel-Reshetikhin [14] introduced the q-character map which is an injective ring morphism ${\chi }_q$ from the Grothendieck ring of $\mathcal{C}$ to $\mathbb{Z}\mathcal{P}=\mathbb{Z}{[Y_{i,a}^{\pm 1}]}_{i\in I,a\in {\mathbb{C}}^{\times }}$. For a $U_q(\widehat{\mathfrak{g}})$-module V, ${\chi }_q(V)$ encodes the decomposition of V into common generalized eigenspaces for the action of a large commutative subalgebra of $U_q(\widehat{\mathfrak{g}})$ (the loop-Cartan subalgebra). These generalized eigenspaces are called l-weight spaces and generalized eigenvalues are called l-weights. One can identify l-weights with monomials in $\mathcal{P}$ [14]. Then the q-character of a $U_q(\widehat{\mathfrak{g}})$-module V is given by (cf. [14])

$$\begin{array}{c}\hfill {\chi }_q(V)=\sum _{\mathfrak{m}\in \mathcal{P}}dim(V_{\mathfrak{m}})\mathfrak{m}\in \mathbb{Z}\mathcal{P},\end{array}$$

where $V_{\mathfrak{m}}$ is the l-weight space with l-weight $\mathfrak{m}$.

Let ${\mathcal{Q}}^{+}$ be the monoid generated by

$$\begin{array}{c}\hfill A_{i,a}=Y_{i,aq}{Y}_{i,a{q}^{-1}}\prod _{j\in I,i\sim j}{Y}_{j,a}^{-1},i\in I,a\in {\mathbb{C}}^{\times }.\end{array}$$ 2.6

There is a partial order $\preccurlyeq$ on $\mathcal{P}$ (cf. [14]) defined by ${\mathfrak{m}}^{\prime }\preccurlyeq \mathfrak{m}\text{if and only if}\mathfrak{m}{{\mathfrak{m}}^{\prime }}^{-1}\in {\mathcal{Q}}^{+}$. For any $\mathfrak{m}\in {\mathcal{P}}^{+}$, one has

$$\begin{array}{c}\hfill {\chi }_q(L(\mathfrak{m}))=\mathfrak{m}\left(1,+,\sum _{{\mathfrak{m}}^{\prime }\prec \mathfrak{m}},a_{\mathfrak{m},{\mathfrak{m}}^{\prime }},{\mathfrak{m}}^{\prime }\right)\end{array}$$

where only finitely many terms are non zero. For $i\in I$, $a\in {\mathbb{C}}^{\times }$, $k\in {\mathbb{Z}}_{\ge 1}$, the modules

$$\begin{array}{c}\hfill X_{i,a}^{(k)}:=L(Y_{i,a}{Y}_{i,a{q}^2}\cdots Y_{i,a{q}^{2k-2}})\end{array}$$

are called Kirillov–Reshetikhin modules. The modules $X_{i,a}^{(1)}=L(Y_{i,a})$ are called fundamental modules.

Categorification of cluster algebras

Recall the indeterminates $Y_{i,a},i\in I,a\in {\mathbb{C}}^{\times }$ from the previous Section. As in the works of Hernandez–Leclerc [22–24], we will only be considering shift parameters a such that $a\in q^{\mathbb{Z}}$ and therefore we will simply write $Y_{i,p}$ instead of $Y_{i,q^p}$ for every $p\in \mathbb{Z}$. In the same way we have

$$\begin{array}{c}\hfill A_{i,p}=Y_{i,p+1}{Y}_{i,p-1}\prod _{j\in I,i\sim j}{Y}_{j,p}^{-1},i\in I,p\in \mathbb{Z}.\end{array}$$ 2.7

Following [32], we consider the smallest monoidal subcategory ${\mathcal{C}}^{\le \xi }$ of $\mathcal{C}$ containing all fundamental representations $L(Y_{i,p}),(i,p)\in I^{\le \xi }$ and stable under taking subquotients and extensions (this category was denoted ${\mathcal{C}}^{-}$ in [24] where it was introduced for certain choices of height functions $\xi$). The Kirillov–Reshetikhin modules belonging to ${\mathcal{C}}^{\le \xi }$ are the $X_{i,p}^{(k)}$ such that $(i,p)\in I^{\le \xi }$ and $1\le k\le 1+(\xi (i)-p)/2$. As shown by the results below from [23, 24], a special subfamily of these simple objects play a distinguished role from the perspective of the cluster theory, namely

$$\begin{array}{c}\hfill X_{i,p}:=X_{i,p}^{1+(\xi (i)-p)/2}=L(Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,\xi (i)})(i,p)\in I^{\le \xi }.\end{array}$$

Constructed by Hernandez–Leclerc in a former work [23], the category ${\mathcal{C}}_Q$ is the monoidal subcategory of ${\mathcal{C}}^{\le \xi }$ generated by the fundamental representations $L(Y_{i,p}),(i,p)\in I_Q$. The Kirillov–Reshetikhin modules belonging to ${\mathcal{C}}_Q$ are the $X_{i,p}^{(k)}$ such that $(i,p)\in I_Q$ and $1\le k\le 1+(\xi (i)-p)/2$.

Recall the bijection $\phi$ from Sect. 2.2. One of the main results of [23] is the following:

Theorem 2.5

([23, Theorem 6.1]) There is an algebra isomorphism $\mathbb{C}\otimes K_0({\mathcal{C}}_Q)\simeq \mathbb{C}[\mathbf{N}]$ inducing a bijection from the set of isomorphism classes of simple objects in ${\mathcal{C}}_Q$ to the elements of the dual canonical basis of $\mathbb{C}[\mathbf{N}]$. Furthermore, under this isomorphism, one has

$$\begin{array}{c}\hfill \forall (i,p)\in I_Q,{r_{\phi (i,p)}^{\ast }}^{{\mathbf{i}}_Q}=[L(Y_{i,p})]\text{and}{x}_{\phi (i,p)}^{{\mathbf{i}}_Q}=[X_{i,p}].\end{array}$$

The next statement deals with the larger category ${\mathcal{C}}^{\le \xi }$.

Theorem 2.6

([24, Theorem 5.1]) The complexified Grothendieck ring $\mathbb{C}\otimes K_0({\mathcal{C}}^{\le \xi })$ is isomorphic to a cluster algebra ${\mathcal{A}}^{\le \xi }$, with an initial cluster given by the classes of the Kirillov–Reshetikhin modules $X_{i,p},(i,p)\in I^{\le \xi }$.

The exchange quiver associated to the cluster given by Theorem 2.6 is explicitly constructed in [24]. It is checked in [32] (see [32, Proposition 7.27]) that this quiver is essentially the same as the exchange quivers considered by Berenstein–Fomin–Zelevinsky [2] and Geiss–Leclerc–Schröer [19]. Hence by analogy with the standard seeds ${\mathcal{S}}^{\mathbf{i}}$ in $\mathbb{C}[\mathbf{N}]\simeq \mathbb{C}\otimes K_0({\mathcal{C}}_Q)$ (see Sect. 2.1), we will denote by $Q^{{\widehat{\mathbf{i}}}_Q}$ this exchange quiver, and by ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ the seed of ${\mathcal{A}}^{\le \xi }$ given by

$$\begin{array}{c}\hfill {\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}=\left(\left(x_1^{{\widehat{\mathbf{i}}}_Q},,,x_2^{{\widehat{\mathbf{i}}}_Q},,,\dots \right),,,Q^{{\widehat{\mathbf{i}}}_Q}\right)\text{with}{x}_t^{{\widehat{\mathbf{i}}}_Q}=[X_{{\phi }^{-1}(t)}]\text{for each}t\ge 1.\end{array}$$

In particular, if $1\le t\le N$, then the flag minor $x_t^{{\mathbf{i}}_Q}\in \mathbb{C}[\mathbf{N}]$ is identified with the cluster variable $x_t^{{\widehat{\mathbf{i}}}_Q}\in {\mathcal{A}}^{\le \xi }$ via the injection

$$\begin{array}{c}\hfill \mathbb{C}[\mathbf{N}]\simeq \mathbb{C}\otimes K_0({\mathcal{C}}_Q)\hookrightarrow \mathbb{C}\otimes K_0({\mathcal{C}}^{\le \xi })\simeq {\mathcal{A}}^{\le \xi }.\end{array}$$

Truncated q-characters and T-systems

Using the notations of Sect. 2.2, we let ${\mathcal{Y}}^{\le \xi }$ and ${\mathcal{Y}}_Q$ denote the subtori of $\mathcal{Y}$ given by

$$\begin{array}{c}\hfill {\mathcal{Y}}^{\le \xi }:=\mathbb{Z}[Y_{i,p}^{\pm 1},(i,p)\in I^{\le \xi }]\text{and}{\mathcal{Y}}_Q:=\mathbb{Z}[Y_{i,p}^{\pm 1},(i,p)\in I_Q]\subset {\mathcal{Y}}^{\le \xi }.\end{array}$$

A useful tool to study the structure of the objects of ${\mathcal{C}}^{\le \xi }$ or ${\mathcal{C}}_Q$ is the notion of truncated q-character, a truncated version of Frenkel–Reshetikhin q-character [14]. It is an algebra homomorphism

$$\begin{array}{c}\hfill {\tilde{\chi }}_q:K_0({\mathcal{C}}^{\le \xi })⟶{\mathcal{Y}}^{\le \xi }\end{array}$$

such that for every object M in ${\mathcal{C}}^{\le \xi }$, the truncated q-character ${\tilde{\chi }}_q(M)$ is obtained from ${\chi }_q(M)$ by removing all monomials which do not belong to ${\mathcal{Y}}^{\le \xi }$. It is proved in [24] that ${\tilde{\chi }}_q$ is injective. This morphism restricts to an embedding

$$\begin{array}{c}\hfill K_0({\mathcal{C}}_Q)⟶{\mathcal{Y}}_Q\end{array}$$

that we still denote ${\tilde{\chi }}_q$. It is known that the truncated q-characters of the modules $X_{i,p},(i,p)\in I^{\le \xi }$ are reduced to a single term namely their dominant monomial $Y_{i,p}\cdots Y_{i,\xi (i)}$ (this is of course not true anymore for the other Kirillov–Reshetikhin modules).

It is shown in [21, 42] that q-characters of Kirillov–Reshetikhin modules satisfy T-system relations. Therefore the truncated q-characters of Kirillov–Reshetikhin modules also satisfy T-system relations:

$$\begin{array}{cc}& {\tilde{\chi }}_q(L(X_{i,p}^{(k)})){\tilde{\chi }}_q(L(X_{i,p-2}^{(k)}))={\tilde{\chi }}_q(L(X_{i,p-2}^{(k+1)})){\tilde{\chi }}_q(L(X_{i,p}^{(k-1)}))+\prod _{j\sim i}{\tilde{\chi }}_q(L(X_{j,p-1}^{(k)})).\hfill \end{array}$$ 2.8

Quantum Cartan matrices

Let $\mathfrak{g}$ be of simply-laced type and let C(z) be the corresponding quantum Cartan matrix, given by

$$\begin{array}{c}\hfill C_{i,j}(z):=\left\{\begin{array}{cc}z+z^{-1}\hfill & \text{if}i=j,\hfill \\ -1\hfill & \text{if}i\sim j,\hfill \\ 0\hfill & \text{otherwise.}\hfill \end{array}\right)\end{array}$$

This matrix is invertible and we denote by $\tilde{C}(z)$ its inverse. For each $(i,j)\in I^2$, we let ${\tilde{C}}_{i,j}(z)$ denote the entry of the matrix $\tilde{C}(z)$ in position (i, j). For every $m\ge 1$ we define ${\tilde{C}}_{i,j}(m)$ as the coefficient of the term of degree m in the expansion of ${\tilde{C}}_{i,j}(z)$ as a power series in z, i.e.

$$\begin{array}{c}\hfill {\tilde{C}}_{i,j}(z)=\sum _{m\ge 1}{\tilde{C}}_{i,j}(m)z^m.\end{array}$$

By convention we extend this definition to all integers by setting ${\tilde{C}}_{i,j}(m):=0$ if $m\le 0$. It is a well-known fact (that can be straightforwardly deduced from the definition) that the ${\tilde{C}}_{i,j}(m)$ satisfy the following relations:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\tilde{C}}_{i,j}(m+1)+{\tilde{C}}_{i,j}(m-1)-{\sum }_{k\sim j}{\tilde{C}}_{i,k}(m)=0\text{for any}m\ge 1\hfill \\ {\tilde{C}}_{i,j}(1)={\delta }_{i,j}.\hfill \end{array}\right)\end{array}$$ 3.1

The following important result is due to Hernandez–Leclerc [23]. We state it using the bijection $\phi$ and the signs ${ϵ}_{i,p}$ introduced in Sect. 2.2.

Theorem 3.1

([23, Proposition 2.1]) Let (i, p) and (j, s) be two elements of $I^{\le \xi }$ and assume $s\ge p$. Then one has

$$\begin{array}{c}\hfill {\tilde{C}}_{i,j}(s-p+1)={ϵ}_{i,p}{ϵ}_{j,s}{〈{\beta }_{\phi (i,p)},,,{\beta }_{\phi (j,s)}〉}_Q.\end{array}$$

The following consequence will be also useful for us, especially for the computations we perform in Sect. 8. It can be straightforwardly deduced from Theorem 3.1 using the expression of the Cartan pairing in terms of Euler-Ringel forms (see Sect. 2.2) as well as the well-known identity ${⟨\beta ,\gamma ⟩}_Q=-{⟨{\tau }_Q^{-1}(\gamma ),\beta ⟩}_Q$.

Corollary 3.2

([23, Proposition 3.2]) For any $(i,p),(j,s)\in {(I^{\le \xi })}^2$ define $\mathcal{N}(i,p;j,s):={\tilde{C}}_{i,j}(s-p+1)-{\tilde{C}}_{i,j}(s-p-1)$. Then one has

$$\begin{array}{c}\hfill \mathcal{N}(i,p;j,s)=\left\{\begin{array}{cc}{ϵ}_{i,p}{ϵ}_{j,s}\left({\beta }_{\phi (i,p},,,{\beta }_{\phi (j,s)}\right)\hfill & \text{if}s>p,\hfill \\ {\delta }_{i,j}{\delta }_{p,s}\hfill & \text{otherwise.}\hfill \end{array}\right)\end{array}$$ 3.2

We conclude this section with the following elementary property of the coefficients ${\tilde{C}}_{i,j}(m)$ that will be useful in Sects. 6.2 and 11.1.

First of all, let us denote by d(i, j) the length of the shortest (non oriented) path from i to j in the Dynkin diagram of $\mathfrak{g}$ (this makes sense as it is a connected acyclic graph). In particular $d(i,i)=0$ for any i and $d(i,j)=1$ if $i\sim j$.

Lemma 3.3

Let $i,j\in I$ and let $m\in {\mathbb{N}}_{\ge 1}$. Assume that $m\le d(i,j)$. Then one has ${\tilde{C}}_{i,j}(m)=0$.

Proof

We prove by strong induction on $m\ge 1$ the statement

$$\begin{array}{c}\hfill \forall i,jd(i,j)\ge m\Rightarrow {\tilde{C}}_{i,j}(m)=0.\end{array}$$

If $m=1$ then this amounts to prove that if $i\ne j$ then ${\tilde{C}}_{i,j}(1)=0$. But this follows from the second equality of (3.1). Let $m\ge 1$ and assume the desired statement holds for all $m^{\prime }$ such that $1\le m^{\prime }\le m$. Let $i,j\in I$ such that $d(i,j)\ge m+1$. Then the first relation of (3.1) yields

$$\begin{array}{c}\hfill {\tilde{C}}_{i,j}(m+1)=-{\tilde{C}}_{i,j}(m-1)+\sum _{k\sim j}{\tilde{C}}_{i,k}(m).\end{array}$$

One has $d(i,j)\ge m+1>m-1$ hence ${\tilde{C}}_{i,j}(m-1)=0$ by the induction assumption. Moreover for each $k\sim j$, one has $d(i,k)=d(i,j)\pm 1$ and hence $d(i,k)\ge m$. Thus the induction assumption again yields ${\tilde{C}}_{i,k}(m)=0$ for each $k\sim j$. This proves the Lemma. $\square$

Remark 3.4

With similar arguments, one can also prove that ${\tilde{C}}_{i,j}(d(i,j)+1)=1$ for any $i,j\in I$.

Example 3.5

Consider $\mathfrak{g}$ of type $A_3$. Then the series ${\tilde{C}}_{i,j}(z),i,j\in \{1,2,3\}$ are given as follows:

$$\begin{array}{cc}\hfill {\tilde{C}}_{1,1}(z)& =z-z^7+z^9-z^{15}+\cdots \hfill \\ \hfill {\tilde{C}}_{1,2}(z)& =z^2-z^6+z^{10}-z^{14}+\cdots \hfill \\ \hfill {\tilde{C}}_{1,3}(z)& =z^3-z^5+z^{11}-z^{13}+\cdots \hfill \\ \hfill {\tilde{C}}_{2,2}(z)& =z+z^3-z^5-z^7+z^9+z^{11}-z^{13}-z^{15}+\cdots \hfill \\ \hfill {\tilde{C}}_{2,3}(z)& =z^2-z^6+z^{10}-z^{14}+\cdots \hfill \\ \hfill {\tilde{C}}_{3,3}(z)& =z-z^7+z^9-z^{15}+\cdots \hfill \\ \hfill \end{array}$$

Representation theory of quiver Hecke algebras

This section is devoted to some reminders on quiver Hecke algebras and their finite-dimensional representations. We will mostly focus on certain distinguished families of representations, such as the cuspidal modules and the (strongly) homogeneous modules following [5, 34, 35]. Although a large part of the content of this section remains valid in non-simply-laced types, we will restrict ourselves to the setting of Sect. 2.1, and refer to [5, 35] for a more general exposition.

Quiver Hecke algebras

Let $\mathcal{M}$ denote the set of all finite words over the alphabet I. For any such word $\mathbf{j}=(j_1,\dots ,j_d)$, the weight of $\mathbf{j}$ is defined as

$$\begin{array}{c}\hfill \text{wt}(\mathbf{j}):=\sum _{i\in I}♯\{k,j_k=i\}{\alpha }_i\in {\mathrm{\Gamma }}_{+}.\end{array}$$

Quiver Hecke algebras are defined as a family $\{R(\beta ),\beta \in {\mathrm{\Gamma }}_{+}\}$ of associative $\mathbb{C}$-algebras indexed by ${\mathrm{\Gamma }}_{+}$. For every $\beta \in {\mathrm{\Gamma }}_{+}$, the algebra $R(\beta )$ is generated by three kind of generators: there are polynomial generators $x_1,\dots ,x_n$, braiding generators ${\tau }_1,\dots ,{\tau }_{n-1}$, and idempotents $e(\mathbf{j}),\mathbf{j}\in \text{Seq}(\beta )$ where $\text{Seq}(\beta )$ is the finite subset of $\mathcal{M}$ given by

$$\begin{array}{c}\hfill \text{Seq}(\beta ):=\{\mathbf{j}\in \mathcal{M}\mid \text{wt}(\mathbf{j})=\beta \}.\end{array}$$

The idempotent generators commute with the polynomial ones and are orthogonal to each other in the sense that $e(\mathbf{j})e({\mathbf{j}}^{\prime })={\delta }_{\mathbf{j},{\mathbf{j}}^{\prime }}e(\mathbf{j})$. For each $\beta \in {\mathrm{\Gamma }}_{+}$, one can consider the category $R(\beta )$-mod of finite dimensional $R(\beta )$-modules, as well as

$$\begin{array}{c}\hfill R-mod:=\underset{\beta }{⨁}R(\beta )-mod.\end{array}$$

The category R-mod can be endowed with a structure of a monoidal category via a monoidal product $\circ$ constructed as a parabolic induction. Therefore the Grothendieck group $K_0(R)$-mod has a ring structure.

The following results are the main properties of quiver Hecke algebras:

Theorem 4.1

(Khovanov–Lauda [33], Rouquier [45]) There is an algebra isomorphism

$$\begin{array}{c}\hfill \mathbb{C}\otimes K_0(R-mod)\stackrel{\simeq }{\to }\mathbb{C}[\mathbf{N}].\end{array}$$

Theorem 4.2

(Rouquier [45], Varagnolo–Vasserot [48]) The above isomorphism induces a bijection between the set of classes of simple objects in R-mod and the dual canonical basis of $\mathbb{C}[\mathbf{N}]$.

Irreducible finite-dimensional representations

This subsection is devoted to some reminders about the main results of classification of simple objects in the category R-mod associated to a finite-type simple Lie algebra $\mathfrak{g}$, due to Kleshchev–Ram [35], McNamara [38] and Brundan–Kleshchev–McNamara [5]. We recall in particular the notion of cuspidal representation with respect to any fixed convex ordering on the set of positive roots ${\mathrm{\Phi }}_{+}$.

We assume < is an arbitrary convex ordering on ${\mathrm{\Phi }}_{+}$, and we let $(i_1,\dots ,i_N)$ denote the corresponding reduced expression of $w_0$, the longest element of the Weyl group W of $\mathfrak{g}$. Then one has ${\mathrm{\Phi }}_{+}=\{{\beta }_1<\cdots <{\beta }_N\}$ with

$$\begin{array}{c}\hfill {\beta }_k=s_{i_1}\cdots s_{i_{k-1}}({\alpha }_{i_k})\end{array}$$

for every $1\le k\le N$. Recall from Sect. 2.1 the dual root vectors ${r_j^{\ast }}^{\mathbf{i}}\in \mathbb{C}[\mathbf{N}]$ for each $1\le j\le N$. It was proved by McNamara [38] that there exists a family of simple modules $\{S_{\beta },\beta \in {\mathrm{\Phi }}_{+}\}$ in R-mod, unique up to isomorphism, such that $[S_{{\beta }_j}]={r_j^{\ast }}^{\mathbf{i}}$ for every $1\le j\le N$. The module $S_{\beta }$ is called the cuspidal module associated to $\beta$ (with respect to the chosen convex ordering < on ${\mathrm{\Phi }}_{+}$).

Generalizing Leclerc’s algorithm ([36, Sect. 4.3]), Brundan–Kleshchev–McNamara [5] describe a procedure producing a word ${\mathbf{j}}_{\beta }\in \mathcal{M}$ for every positive root $\beta \in {\mathrm{\Phi }}_{+}$, which we now briefly recall. The crucial tool, that will be useful in the sequel of the present paper, is the notion of minimal pair.

Definition 4.3

(McNamara [38], Brundan–Kleshchev–McNamara [5]) Let $\beta \in {\mathrm{\Phi }}_{+}$ be a positive root. A pair of positive roots $(\gamma ,\delta )\in {\mathrm{\Phi }}_{+}^2$ with $\gamma <\delta$ is called a minimal pair for $\beta$ if $\gamma +\delta =\beta$ and there is no other pair $({\gamma }^{\prime },{\delta }^{\prime })$ such that ${\gamma }^{\prime }+{\delta }^{\prime }=\beta$ and $\gamma <{\gamma }^{\prime }<\beta <{\delta }^{\prime }<\delta$.

Let us now fix a choice of a minimal pair $({\gamma }_{\beta },{\delta }_{\beta })$ for each positive root $\beta$. One inductively defines the words ${\mathbf{j}}_{\beta }$ as follows. For each $i\in I$, set ${\mathbf{j}}_{{\alpha }_i}:=(i)$. If $\beta \in {\mathrm{\Phi }}_{+}$ is not a simple root, then ${\mathbf{j}}_{\beta }:={\mathbf{j}}_{{\gamma }_{\beta }}{\mathbf{j}}_{{\delta }_{\beta }}$. This yields a finite collection of words, in bijection witht the set of positive roots of $\mathfrak{g}$. In the case considered in [35], where the order < arises from a total order on I, the words ${\mathbf{j}}_{{\beta }_1},\dots ,{\mathbf{j}}_{{\beta }_N}$ are called good Lyndon words.

We can now state the main classification result.

Theorem 4.4

(Kleshchev–Ram [35], McNamara [38], Brundan–Kleshchev–McNamara [5]) There is a bijection between the set of isomorphism classes of simple objects in R-mod and the set ${\mathbb{N}}^{{\mathrm{\Phi }}_{+}}$, given by

$$\begin{array}{c}\hfill \mathbf{c}:=(c_1,\dots ,c_N)\in {\mathbb{N}}^{{\mathrm{\Phi }}_{+}}⟼L(\mathbf{c}):=\text{hd}\left(S_{{\beta }_N}^{\circ c_N},\circ ,\cdots ,\circ ,S_{{\beta }_1}^{\circ c_1}\right).\end{array}$$

Moreover, for each $(c_1,\dots ,c_N)\in {\mathbb{N}}^{{\mathrm{\Phi }}_{+}}$, one has

$$\begin{array}{c}\hfill {dim}_{\mathbb{C}}\left(e,({\mathbf{j}}_{{\beta }_N}^{c_N}\cdots {\mathbf{j}}_{{\beta }_1}^{c_1}),L,(\mathbf{c})\right)=1.\end{array}$$

In this statement, $\text{hd}(M)$ stands for the head of a module M, i.e. the quotient of M by its radical (the intersection of its maximal submodules).

Short exact sequences in R-mod

In this paragraph, we recall an important result proved in [5] as the length two property. It will play a crucial role in Sect. 7 for our computations of the images of certain dual root vectors under Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$, especially in type $D_n,n\ge 4$.

We fix an arbitrary convex ordering < on ${\mathrm{\Phi }}_{+}$.

Theorem 4.5

([5, Theorem 4.7]) Let $\beta \in {\mathrm{\Phi }}_{+}$ and let $(\gamma ,\delta )$ be a minimal pair for $\beta$. Let $\mathbf{c}=(c_1,\dots ,c_N)$ be the N-tuple of integers defined by $c_k:=1$ if ${\beta }_k\in \{\gamma ,\delta \}$ and $c_k:=0$ otherwise. Then one has a short exact sequence in R-mod:

$$\begin{array}{c}\hfill 0⟶S_{\beta }⟶S_{\delta }\circ S_{\gamma }⟶L(\mathbf{c})⟶0.\end{array}$$

Remark 4.6

This short exact sequence is an ungraded version of Brundan–Kleshchev–McNamara’s statement, but it will be sufficient for our purpose.

Homogeneous modules over quiver Hecke algebras

In this paragraph, we recall Kleshchev–Ram’s construction of simple homogeneous representations of simply-laced type quiver Hecke algebras. We begin with some reminders on the combinatorics of fully-commutative elements of Weyl groups following Stembridge [47]. For any $w\in W$, we will denote by $\text{Red}(w)$ the set of all reduced expressions of w.

For $w\in W$ and $\mathbf{i}=(i_1,\dots ,i_N)\in \text{Red}(w)$, one can define an infinite sequence $\widehat{\mathbf{i}}:=(i_1,i_2,\dots )$ exactly as in Sect. 2.2. Then using the notation $k_{+}$ introduced in Sect. 2.2, for every $1\le k\le N$ we have that $k_{+}>N$ if and only if k is the position of the last occurrence of $i_k$ in $\mathbf{i}$.

The following definition is essentially due to Stembridge [47] relying on former constructions by Proctor [43]. Here we write it in a way suited to simply-laced cases.

Definition 4.7

(Stembridge [47]) Let $w\in W$.

• The element w is called fully-commutative if for every $\mathbf{i}\in \text{Red}(w)$ and $1\le k\le N$, one has

  $$\begin{array}{c}\hfill k_{+}\le N\Rightarrow ♯\{l\mid k<l<k_{+},i_k\sim i_l\}\ge 2.\end{array}$$
• The element w is called dominant minuscule if for every $\mathbf{i}\in \text{Red}(w)$ and $1\le k\le N$, one has

  $$\begin{array}{c}\hfill k_{+}\le N\Rightarrow ♯\{l\mid k<l<k_{+},i_k\sim i_l\}=2\text{and}{k}_{+}>N\iff ♯\{l\mid l>k,i_k\sim i_l\}=1.\end{array}$$

We will denote by $\mathcal{F}\mathcal{C}$ (resp. $\mathcal{M}i{n}^{+}$) the set of fully-commutative (resp. dominant minuscule) elements of W. Note that $\mathcal{M}i{n}^{+}\subset \mathcal{F}\mathcal{C}$.

We now recall the construction of simple homogeneous representations following Kleshchev–Ram [34].

Theorem 4.8

([34, Theorem 3.6]) For every $w\in \mathcal{F}\mathcal{C}$ and for every $\mathbf{i}\in \text{Red}(w)$, there exists a unique simple module $S(\mathbf{i})$ in R-mod such that $dime(\mathbf{i})S(\mathbf{i})=1$. Moreover, if $\mathbf{i}$ (resp. ${\mathbf{i}}^{\prime }$) is a reduced expression of w (resp. $w^{\prime }$), then the modules $S(\mathbf{i})$ and $S({\mathbf{i}}^{\prime })$ are isomorphic in R-mod if and only if $w=w^{\prime }$.

For each $w\in \mathcal{F}\mathcal{C}$, we denote by S(w) the module $S(\mathbf{i})$ for an arbitrary reduced expression $\mathbf{i}$ of w.

Remark 4.9

The modules $S(w),w\in \mathcal{F}\mathcal{C}$ are called homogeneous. This is due to the fact the quiver Hecke algebras $R(\beta ),\beta \in {\mathrm{\Gamma }}_{+}$ carry a natural $\mathbb{Z}$-grading, and the modules S(w) are precisely those which are concentrated in a single degree for this grading.

The following distinguished family of homogeneous representations will be of particular interest for us, especially in Proposition 5.2 below.

Definition 4.10

(Kleshchev–Ram [34]) The simple modules S(w) for $w\in \mathcal{M}i{n}^{+}$ are called strongly homogeneous.

Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$

This section is devoted to several reminders on the definition and some of the main properties of the algebraic morphism $\overline{D}$ recently introduced by Baumann–Kamnitzer–Knutson [1]. We also recall certain results from the first author [7] that will be needed in Sect. 9, in particular the propagation result [7, Theorem 5.6] (Theorem 5.3 below) which will be involved in the proof of the second main result of this paper (Theorem 9.1).

Geometric Satake correspondence

Throughout this section $\mathbf{G}$ denotes a simple simply-connected group, P stands for the weight lattice and W the Weyl group of $\mathbf{G}$. Let ${\mathbf{G}}^{\vee }$ denote the Langlands dual of $\mathbf{G}$, fix a Borel subgroup ${\mathbf{B}}^{\vee }$ in ${\mathbf{G}}^{\vee }$ and a maximal torus ${\mathbf{T}}^{\vee }$ in ${\mathbf{B}}^{\vee }$. Furthermore for every $\lambda \in P^{+}$ we let $L(\lambda )$ denote the finite-dimensional irreducible representation of $\mathbf{G}$ of highest weight $\lambda$, and $L{(\lambda )}_{\mu }$ denote its weight subspace of weight $\mu$ for any $\mu \in P$.

We set $\mathcal{O}:=\mathbb{C}[[t]]$ and $\mathcal{K}:=\mathbb{C}((t))$. The affine Grassmannian $G{r}_{{\mathbf{G}}^{\vee }}$ of ${\mathbf{G}}^{\vee }$ is defined as

$$\begin{array}{c}\hfill G{r}_{{\mathbf{G}}^{\vee }}:={\mathbf{G}}^{\vee }(\mathcal{K})/{\mathbf{G}}^{\vee }(\mathcal{O}).\end{array}$$

There is a natural action of ${\mathbf{T}}^{\vee }(\mathbb{C})$ on $G{r}_{{\mathbf{G}}^{\vee }}$ whose locus of fixed points is given by a collection $\{L_{\mu },\mu \in P\}$ of points in $G{r}_{{\mathbf{G}}^{\vee }}$ indexed by the weight lattice of $\mathbf{G}$. For each $(\lambda ,\mu )\in P^{+}\times P$, Mirković–Vilonen [39] constructed a closed subvariety $\mathcal{M}{\mathcal{V}}^{\lambda ,\mu }$ of $G{r}_{{\mathbf{G}}^{\vee }}$ such that there is an isomorphism of vector spaces

$$\begin{array}{c}\hfill H_{\bullet }(\mathcal{M}{\mathcal{V}}^{\lambda ,\mu })\simeq L{(\lambda )}_{\mu }.\end{array}$$ 5.1

The irreducible components of $\mathcal{M}{\mathcal{V}}^{\lambda ,\mu }$ are called the MV cycles of type $\lambda$ and of weight $\mu$. For every $\lambda \in P^{+}$, the images under the isomorphism (5.1) of the homology classes of all MV cycles of type $\lambda$ and of weight $\mu$ ($\mu \in P$) form a basis of $L(\lambda )$, called the MV basis of $L(\lambda )$. Using the classical injections from $L(\lambda )$ to the coordinate ring $\mathbb{C}[\mathbf{N}]$ (see for example [1, Sect. 2.5]), one can then build a basis of $\mathbb{C}[\mathbf{N}]$ out of the MV bases of all the simple representations $L(\lambda )$ of $\mathbf{G}$, called the MV basis of $\mathbb{C}[\mathbf{N}]$, whose elements are indexed by certain MV cycles called stable MV cycles. We denote by $b_Z$ the element of the MV basis corresponding to the stable MV cycle Z.

Equivariant multiplicities

One of Baumann–Kamnitzer–Knutson’s main motivations was Muthiah’s conjecture [40] stating the W-equivariance of a certain map $L(\lambda )⟶\mathbb{C}(\mathbf{T})$. The proof of [1] relies on the notion of equivariant multiplicities developped by Brion [4] out of former constructions due to Joseph [26] and Rossmann [44].

Given a closed projective scheme X together with an action of a torus T on X, we let $X^T$ denote the set of fixed points of this action and $H_{\bullet }^T(X)$ denote the T-equivariant homology of X. It follows from Brion’s results [4] that the set of homology classes of the points in $X^T$ actually forms a basis of $H_{\bullet }^T(X)$. Therefore, for any closed subvariety $Y\subset X$ stable under the action of T, one can decompose the class of Y on this basis as

$$\begin{array}{c}\hfill [Y]=\sum _{p\in X^T}{ϵ}_p^T(Y)[\{p\}].\end{array}$$

The coefficient ${ϵ}_p^T(Y)$ is an element of the field $\mathbb{C}(T)$ of functions on T and is called the equivariant multiplicity of Y at p. Note that ${ϵ}_p^T(Y)=0$ if $p\notin Y$ (see [4, Theorem 4.2 (i)]).

The morphism $\overline{D}$

Baumann–Kamnitzer–Knutson [1] used this notion of equivariant multiplicity in the study of the MV basis of $\mathbb{C}[\mathbf{N}]$ via Duistermaat–Heckman measures. With the notations of the previous section, we consider $X:=G{r}_{{\mathbf{G}}^{\vee }}$ together with the action of the torus ${\mathbf{T}}^{\vee }(\mathbb{C})$. As recalled above, the set of fixed points of this action is $\{L_{\mu },\mu \in P\}$.

The definition of $\overline{D}$ goes as follows. It is known (see for instance [18, 19]) that $\mathbb{C}[\mathbf{N}]$ can be identified with the dual (as a Hopf algebra) of $U(\mathfrak{n})$. For any $f\in \mathbb{C}[\mathbf{N}]$ and $e\in U(\mathfrak{n})$, we will denote by f(e) the canonical pairing between f and e. Choose a root vector $e_i\in \mathfrak{n}$ of weight ${\alpha }_i$ for each $i\in I$. Then Baumann–Kamnitzer–Knutson [1] define the following map:

$$\begin{array}{c}\hfill \begin{array}{cccc}\overline{D}:& \mathbb{C}[\mathbf{N}]& ⟶& \mathbb{C}(T)=\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)\\ & f& ⟼& {\sum }_{\mathbf{j}}f(e_{j_1}\cdots e_{j_d})\frac{1}{{\alpha }_{j_1}({\alpha }_{j_1}+{\alpha }_{j_2})\cdots ({\alpha }_{j_1}+\cdots {\alpha }_{j_d})}.\end{array}\end{array}$$ 5.2

Although this sum a priori runs over all arbitrary sequences $\mathbf{j}$ of elements of I, it is nevertheless finite as $U(\mathfrak{n})$ acts locally nilpotently on $\mathbb{C}[\mathbf{N}]$. The following statement, which is one of the main results of [1], asserts that the evaluation of $\overline{D}$ on an element $b_Z$ of the Mirković–Vilonen basis can be related to a certain equivariant multiplicity of the corresponding MV cycle Z.

Theorem 5.1

([1, Lemma 8.3, Corollary 10.6]) (1) The map $\overline{D}$ is an algebra morphism.

(2) For any $\mu \in -{\mathrm{\Gamma }}_{+}$ and any stable MV cycle Z of weight $\mu$, one has

$$\begin{array}{c}\hfill \overline{D}(b_Z)={ϵ}_{L_{\mu }}^{{\mathbf{T}}^{\vee }}(Z).\end{array}$$

The morphism $\overline{D}$ provides a useful tool to compare various remarkable bases of $\mathbb{C}[\mathbf{N}]$. For instance, the definition of $\overline{D}$ can be conveniently reformulated using the categorification of $\mathbb{C}[\mathbf{N}]$ via modules over the quiver Hecke algebras associated to $\mathfrak{g}$ (see Sect. 4.1): for any $\beta \in {\mathrm{\Gamma }}_{+}$, any module M in $R(\beta )$-mod can be decomposed into weight subspaces:

$$\begin{array}{c}\hfill M=\underset{\mathbf{j}\in \text{Seq}(\beta )}{⨁}e(\mathbf{j})·M\end{array}$$

(we refer to Sect. 4.1 for the notations). Then one has

$$\begin{array}{c}\hfill \overline{D}([M])=\sum _{\begin{array}{c}\mathbf{j}\in \text{Seq}(\beta )\\ \mathbf{j}:=(j_1,\dots ,j_d)\end{array}}dim\left(e,(,\mathbf{j},),·,M,)\right)\frac{1}{{\alpha }_{j_1}({\alpha }_{j_1}+{\alpha }_{j_2})\cdots ({\alpha }_{j_1}+\cdots +{\alpha }_{j_d})}.\end{array}$$ 5.3

In Sect. 7 we will use this to investigate the values of $\overline{D}$ on the elements of the dual canonical basis of $\mathbb{C}[\mathbf{N}]$. A similar expression can be written for the evaluation of $\overline{D}$ on the elements of the dual semi-canonical basis of $\mathbb{C}[\mathbf{N}]$ in terms of representations of preprojective algebras. The dimensions of the weight subspaces of modules in R-mod are then replaced by the Euler characteristics of certain type-$\mathbf{j}$ flag varieties in the terminology of Geiss–Leclerc–Schröer [18]. As an application of Theorem 5.1, Dranowski, Kamnitzer, and Morton-Ferguson show in an appendix of [1] that the MV basis and the dual semicanonical basis of $\mathbb{C}[\mathbf{N}]$ are not the same by exhibiting elements of these bases satisfying some compatibility condition (see [1, Definition 12.1]) but where $\overline{D}$ nonetheless takes different values.

We conclude this paragraph by recalling from [7] the following remarkable property of Kleshchev–Ram’s strongly homogeneous modules in R-mod (see Sect. 4.4) involving Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$. It can be essentially viewed as a representation-theoretic reformulation of Nakada’s colored hook formula [41] using the identity (5.3).

Proposition 5.2

([7, Proposition 5.1]) Let w be a dominant minuscule element in W and S(w) the strongly homogeneous simple module in R-mod corresponding to w under the bijection of Theorem 4.8. Then one has

$$\begin{array}{c}\hfill \overline{D}([S(w)])=\prod _{\beta \in {\mathrm{\Phi }}_{+}^w}\frac{1}{\beta }\text{where}{\mathrm{\Phi }}_{+}^w:={\mathrm{\Phi }}_{+}\cap (-w{\mathrm{\Phi }}_{+}).\end{array}$$

The values of $\overline{D}$ on the flag minors of $\mathbb{C}[\mathbf{N}]$

We now recall some setting from the first author’s previous work [7] and in particular the propagation result [7, Theorem 5.6]. Recall from Sect. 2.1 that there is a distinguished family of cluster variables in $\mathbb{C}[\mathbf{N}]$ called flag minors, grouped into clusters indexed by the set of reduced epressions of $w_0$. The main aim of [7] was to investigate the values taken by Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$ on the flag minors of $\mathbb{C}[\mathbf{N}]$. It was observed in particular that these values seemed to share a similar form with the images under $\overline{D}$ of the elements of the dual canonical basis corresponding to Kleshchev–Ram’s strongly homogeneous modules (see Proposition 5.2 above) or the elements of the MV basis associated to smooth MV cycles.

As in [7], we consider the following properties of the flag minors $x_1^{\mathbf{i}},\dots ,x_N^{\mathbf{i}}$ for any reduced expression $\mathbf{i}=(i_1,\dots ,i_N)$ of $w_0$:

$({\text{A}}_{\mathbf{i}})$

For every $1\le j\le N$, one has

$$\begin{array}{c}\hfill \overline{D}(x_j^{\mathbf{i}})=1/P_j^{\mathbf{i}}\end{array}$$

where $P_j^{\mathbf{i}}$ is a product of positive roots.

$({\text{B}}_{\mathbf{i}})$

For every $1\le j\le N$ one has

$$\begin{array}{c}\hfill P_j^{\mathbf{i}}{P}_{j_{-}}^{\mathbf{i}}={\beta }_j\prod _{\begin{array}{c}l<j<l_{+}\\ i_l\sim i_j\end{array}}{P}_l^{\mathbf{i}}\end{array}$$

where ${\beta }_j=s_{i_1}\cdots s_{i_{j-1}}({\alpha }_{i_j})$.

$({\text{C}}_{\mathbf{i}})$

For every j such that $j_{+}\le N$ and every $1\le i\le N$, one has

$$\begin{array}{c}\hfill [{\beta }_i;P_j^{\mathbf{i}}]-[{\beta }_i;P_{j_{+}}^{\mathbf{i}}]\le 1\end{array}$$

where $[\beta ;P]$ stands for the multiplicity of the positive root $\beta$ in the polynomial P.

The following statement was one of the main results of [7]. It will be involved in the proof of the second main result of this paper (Theorem 9.1).

Theorem 5.3

([7, Theorem 5.6]) Let $\mathfrak{g}$ be a simple Lie algebra of simply-laced type. Assume there exists a reduced expression ${\mathbf{i}}_0$ such that the standard seed ${\mathcal{S}}^{{\mathbf{i}}_0}$ satisfies the three properties $(A_{{\mathbf{i}}_0}),(B_{{\mathbf{i}}_0}),(C_{{\mathbf{i}}_0})$. Then for every reduced expression $\mathbf{i}$ of $w_0$, the properties $(A_{\mathbf{i}}),(B_{\mathbf{i}}),(C_{\mathbf{i}})$ hold for the standard seed ${\mathcal{S}}^{\mathbf{i}}$ of $\mathbb{C}[\mathbf{N}]$.

Definition and properties of the morphism ${\tilde{D}}_{\xi }$

In this section we introduce the main object of the present paper, namely the morphism ${\tilde{D}}_{\xi }:\mathbb{C}\otimes {\mathcal{Y}}^{\le \xi }⟶\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$. The definition of ${\tilde{D}}_{\xi }$ involves the coefficients of the inverse of the quantum Cartan matrix associated to $\mathfrak{g}$ (see Sect. 3). We state the first main result of this paper (Theorem 6.1), which relates the restriction ${\tilde{D}}_Q$ of ${\tilde{D}}_{\xi }$ on the subtorus $\mathbb{C}\otimes {\mathcal{Y}}_Q$ to Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$ introduced in [1]. In this framework, we also provide a general formula for the images under ${\tilde{D}}_{\xi }$ of the cluster variables of the seed ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ of ${\mathcal{A}}^{\le \xi }$ arising from Hernandez–Leclerc’s construction [24] and we prove that the obtained rational fractions satisfy a family of remarkable properties, analogous to $(A_{\mathbf{i}}),(B_{\mathbf{i}}),(C_{\mathbf{i}})$ from [7] (see also Sect. 5.4 above).

The morphisms ${\tilde{D}}_{\xi }$ and ${\tilde{D}}_Q$

Let Q be an arbitrary orientation of the Dynkin diagram of a simply-laced Lie algebra $\mathfrak{g}$ and let $\xi$ be a height function adapted to Q. Recall from Sect. 2 the set $I^{\le \xi }$ (resp. $I_Q$), the torus ${\mathcal{Y}}^{\le \xi }$ (resp. ${\mathcal{Y}}_Q$) containing the truncated q-characters of all the representations in the category ${\mathcal{C}}^{\le \xi }$ (resp. ${\mathcal{C}}_Q$), as well as the bijection $\phi :I^{\le \xi }⟶{\mathbb{Z}}_{\ge 1}$.

We define the algebra morphism ${\tilde{D}}_{\xi }$ from the complexified torus $\mathbb{C}\otimes {\mathcal{Y}}^{\le \xi }$ to the field $\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$ as follows:

$$\begin{array}{c}\hfill \forall (i,p)\in I^{\le \xi },{\tilde{D}}_{\xi }(Y_{i,p}):=\prod _{(j,s)\in I^{\le \xi }}{\beta }_{\phi (j,s)}^{{\tilde{C}}_{i,j}(s-p-1)-{\tilde{C}}_{i,j}(s-p+1)}.\end{array}$$ 6.1

As ${\tilde{C}}_{i,j}(m):=0$ if $m\le 0$, only the couples $(j,s)\in I^{\le \xi },s\ge p$ have a non trivial contribution, and hence this product is finite. We also define the morphism ${\tilde{D}}_Q$ as the restriction of ${\tilde{D}}_{\xi }$ to the complexified torus $\mathbb{C}\otimes {\mathcal{Y}}_Q$.

The composition of the truncated q-character morphism ${\tilde{\chi }}_q$ (see Sect. 2.5) with Hernandez–Leclerc’s isomorphisms (see Theorems 2.5 and 2.6) yields an embedding

$$\begin{array}{c}\hfill \iota :{\mathcal{A}}^{\le \xi }⟶\mathbb{C}\otimes {\mathcal{Y}}^{\le \xi }\end{array}$$

that restricts to an embedding $\mathbb{C}[\mathbf{N}]⟶\mathbb{C}\otimes {\mathcal{Y}}_Q$ following the commutative diagram

We now state the first main result of this work.

Theorem 6.1

Let $\mathfrak{g}$ be a simple Lie algebra of simply-laced type and let Q be an arbitrary orientation of the Dynkin diagram of $\mathfrak{g}$. Then the following diagram commutes:

In other words, Hernandez–Leclerc’s categorification allows to embed $\mathbb{C}[\mathbf{N}]$ into the torus ${\mathcal{Y}}_Q$ via the (truncated) q-character morphism; then $\overline{D}$ can be interpreted as the restriction of ${\tilde{D}}_Q$ on $\mathbb{C}[\mathbf{N}]$, viewed as a subalgebra of ${\mathcal{Y}}_Q$. The proof of this statement will require several steps which we now briefly describe. We begin in Sect. 6.2 by establishing a family of remarkable properties satisfied by the values of ${\tilde{D}}_{\xi }$ on the cluster variables $x_t^{{\widehat{\mathbf{i}}}_Q},t\ge 1$ of the initial seed of ${\mathcal{A}}^{\le \xi }$ constructed by Hernandez–Leclerc [24] (see Sect. 2.4). The proofs are valid for any simply-laced type and any orientation Q. These properties will play a crucial role in Sect. 9 for the proofs of Theorem 6.1 as well as the second main result of this paper (Theorem 9.1). Before that, we investigate in detail the case where Q is a certain specific orientation $Q_0$ of the Dynkin diagram of $\mathfrak{g}$. Sections 7 and 8 are respectively devoted to providing explicit formulas in types $A_n$ and $D_n$ for the evaluation of $\overline{D}$ and ${\tilde{D}}_{Q_0}$ on the dual root vectors of $\mathbb{C}[\mathbf{N}]$ (with respect to the convex ordering on ${\mathrm{\Phi }}_{+}$ corresponding to ${\mathbf{i}}_{Q_0}$). Note that the case of type $A_n$ is in fact contained as a subcase of the case of type $D_n$ but for we chose to treat them in distinct subsections, for the sake of readibility. We treat the types $E_6,E_7$ and $E_8$ separately. We then prove in Sect. 9 that $\overline{D}$ and ${\tilde{D}}_{Q_0}$ coincide on $\mathbb{C}[\mathbf{N}]$. Together with the propagation result from the first author’s previous work [7] (Theorem 5.3 above), this allows us to prove the second main result of this paper (Theorem 9.1). The proof is valid for any simply-laced type and any orientation Q. We conclude the proof of Theorem 6.1 for an arbitrary orientation by combining this with the properties of ${\tilde{D}}_{\xi }$ established in Sect. 6.2.

Properties of ${\tilde{D}}_{\xi }$ and initial seed for ${\mathcal{A}}^{\le \xi }$

In this subsection, we consider the initial seed ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ in the cluster algebra ${\mathcal{A}}^{\le \xi }$ (see Sect. 2.4). Recall that the cluster variables of ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ are given by $x_1^{{\widehat{\mathbf{i}}}_Q},x_2^{{\widehat{\mathbf{i}}}_Q},\dots$ with $\iota (x_t^{{\widehat{\mathbf{i}}}_Q})={\tilde{\chi }}_q(X_{{\phi }^{-1}(t)})$ for each $t\ge 1$ where $\phi$ is the bijection introduced in Sect. 2.2. Throughout the rest of this section, we will simply write $x_t$ for $x_t^{{\widehat{\mathbf{i}}}_Q}$. We prove that the images of these cluster variables under the morphism ${\tilde{D}}_{\xi }$ satisfy properties $(A_{{\widehat{\mathbf{i}}}_Q}),(B_{{\widehat{\mathbf{i}}}_Q}),(C_{{\widehat{\mathbf{i}}}_Q})$ analogous to the properties $(A_{{\mathbf{i}}_Q}),(B_{{\mathbf{i}}_Q}),(C_{{\mathbf{i}}_Q})$ from Sect. 5.4, with ${\mathbf{i}}_Q$ replaced by its infinite analogue ${\widehat{\mathbf{i}}}_Q$ (see Sect. 2.2). Whereas the latter properties remained mysterious in [7], the former are now naturally deduced from the definition of ${\tilde{D}}_{\mathit{xi}}$ using the properties of the coefficients ${\tilde{C}}_{i,j}(m)$ (Sect. 3). Note that each property $(A_{{\widehat{\mathbf{i}}}_Q}),(B_{{\widehat{\mathbf{i}}}_Q})$ (resp. $(C_{{\widehat{\mathbf{i}}}_Q})$) is an infinite system of equalities (resp. inequalities) indexed by ${\mathbb{Z}}_{\ge 1}$, whereas $(A_{{\mathbf{i}}_Q}),(B_{{\mathbf{i}}_Q}),(C_{{\mathbf{i}}_Q})$ were finite systems, indexed by $\{1,\dots ,N\}$.

Lemma 6.2

Let $t\ge 1$ and let $(i,p):={\phi }^{-1}(t)\in I^{\le \xi }$. Then one has

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }\left(\iota ,(,x_t,)\right)=\prod _{(j,s)\in I^{\le \xi }}\frac{1}{{\beta }_{\phi (j,s)}^{{\tilde{C}}_{i,j}(s-p+1)}}.\end{array}$$

Proof

Let us fix $t\ge 1$ and $(i,p):={\phi }^{-1}(t)\in I^{\le \xi }$. Recall from Sect. 2 that one has ${\tilde{\chi }}_q(X_{i,p})=Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,\xi (i)}$. Hence applying the definition of ${\tilde{D}}_{\xi }$, we get

$$\begin{array}{cc}\hfill {\tilde{D}}_{\xi }\left(\iota ,(,x_t,)\right)={\tilde{D}}_{\xi }\left({\tilde{\chi }}_q,(X_{i,p})\right)& ={\tilde{D}}_{\xi }(Y_{i,p}\cdots Y_{i,\xi (i)})={\tilde{D}}_{\xi }(Y_{i,p})\cdots {\tilde{D}}_Q(Y_{i,\xi (i)})\hfill \\ \hfill & =\prod _{(j,s)\in I^{\le \xi }}{\beta }_{\phi (j,s)}^{-\left(\mathcal{N},(,i,,,p,;,j,,,s,),+,\cdots ,+,\mathcal{N},(,i,,,\xi ,(,i,),;,j,,,s,)\right)}\hfill \end{array}$$

where $\mathcal{N}(i,t;j,s):={\tilde{C}}_{i,j}(s-t+1)-{\tilde{C}}_{i,j}(s-t-1)$ as in Sect. 3. Obviously one has

$$\begin{array}{c}\hfill \mathcal{N}(i,p;j,s)+\cdots +\mathcal{N}(i,\xi (i);j,s)={\tilde{C}}_{i,j}(s-p+1)-{\tilde{C}}_{i,j}(s-\xi (i)-1)\end{array}$$

In order to conclude, it remains to observe that one always has $\xi (p)-\xi (q)\le d(p,q)$ for any $p,q\in I$ (with equality if and only if $p\in B(q)$ with the notations of Sect. 2.2) where d(p, q) is the distance function on I defined in Sect. 3. In particular one has $s-\xi (i)-1\le \xi (j)-\xi (i)-1<d(i,j)$ for every $(j,s)\in I^{\le \xi }$. Thus Lemma 3.3 implies

$$\begin{array}{c}\hfill \mathcal{N}(i,p;j,s)+\cdots +\mathcal{N}(i,\xi (i);j,s)={\tilde{C}}_{i,j}(s-p+1)\end{array}$$

which proves the Lemma.

We now prove the main statements of this section (Propositions 6.3,  6.5 and 6.8) which can be seen as analogues of $(A_{{\mathbf{i}}_Q})$, $(B_{{\mathbf{i}}_Q})$ and $(C_{{\mathbf{i}}_Q})$ for the seed ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ in ${\mathcal{A}}^{\le \xi }$. Note that Proposition 6.3 restricts to the variables $x_t,t\le 2N$. We postpone the case $t>2N$ to Sect. 11 (see Corollary 11.2), as it is not strictly necessary for the proof of Theorem 9.1.

Proposition 6.3

(Property $(A_{{\widehat{\mathbf{i}}}_Q})$) Let $t\in \{1,\dots ,2N\}$. Then one has

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }\left(\iota ,(,x_t,)\right)=\prod _{\beta \in {\mathrm{\Phi }}_{+}}\frac{1}{{\beta }^{n_t(\beta )}}\text{with}{n}_t(\beta )\in \mathbb{N}\text{for every}\beta \in {\mathrm{\Phi }}_{+}.\end{array}$$

Moreover, if $n_t(\beta )\ne 0$ then $n_t(\beta )=|{⟨{\beta }_t,\beta ⟩}_Q|$.

Proof

Let $(i,p):={\phi }^{-1}(t)$ and $\gamma :={\beta }_t$. As $1\le t\le 2N$, we have $\xi (i)\ge p>\xi (i)-2h$ by (2.5). Let $\beta \in {\mathrm{\Phi }}_{+}$. By Lemma 6.2 the multiplicity $n_t(\beta )$ of $\beta$ in ${\left({\tilde{D}}_{\xi },(\iota (x_t))\right)}^{-1}$ is

$$\begin{array}{c}\hfill n_t(\beta )=\sum _{(j,s)\in I_{p,\beta }}{\tilde{C}}_{i,j}(s-p+1),I_{p,\beta }:=\{(j,s)\in I^{\le \xi }\mid s\ge p,{\beta }_{\phi (j,s)}=\beta \}.\end{array}$$

If $I_{p,\beta }=\mathrm{\varnothing }$ then $n_t(\beta )=0$ and we are done. Otherwise, let $(j,s)\in I_{p,\beta }$. If $(j,s)\notin {\phi }^{-1}([1,2N])$ then $s<\xi (j)-2h+2$ by (2.5) and hence we have $\xi (i)-2h+2\le p\le s<\xi (j)-2h+2$. In particular we have $0\le s-p<\xi (j)-\xi (i)\le d(i,j)$. By Lemma 3.3 this implies ${\tilde{C}}_{i,j}(s-p+1)=0$.

On the other hand for any $(j,s)\in I_{p,\beta }\cap {\phi }^{-1}([1,2N])$, one has that for any $m\ge 1$, $(j,s-2mh)\notin {\phi }^{-1}([1,2N])$ as $s-2mh\le \xi (j)-2h$, and $(j,s+2mh)\notin I^{\le \xi }$ as $s+2mh>\xi (j)$. Consequently Proposition 2.3, implies that $I_{p,\beta }\cap {\phi }^{-1}([1,2N])$ is either of the form $\{(j,s);(j^{\ast },s+h)\}$ or of the form $\{(j,s)\}$, for some $(j,s)\in I^{\le \xi }$. In the first case, Theorem 3.1 implies

$$\begin{array}{cc}\hfill n_t(\beta )& ={\tilde{C}}_{i,j}(s-p+1)+{\tilde{C}}_{i,j^{\ast }}(s+h-p+1)={ϵ}_{j,s}{ϵ}_{i,p}{⟨\gamma ,\beta ⟩}_Q+{ϵ}_{j^{\ast },s+h}{ϵ}_{i,p}{⟨\gamma ,\beta ⟩}_Q\hfill \\ \hfill & ={ϵ}_{j,s}{ϵ}_{i,p}{⟨\gamma ,\beta ⟩}_Q-{ϵ}_{j,s}{ϵ}_{i,p}{⟨\gamma ,\beta ⟩}_Q=0.\hfill \end{array}$$

where we used again Proposition 2.3.

If $I_{p,\beta }\cap {\phi }^{-1}([1,2N]):=\{(j,s)\}$ then we distinguish two subcases. If (i, p) and (j, s) belong both to ${\phi }^{-1}([1,N])$ (resp. both to ${\phi }^{-1}([N+1,2N])$), then ${ϵ}_{j,s}={ϵ}_{i,p}$ and on the other hand the condition $s\ge p$ implies that there are (possibly trivial) morphisms but no extensions from the indecomposable object of dimension vector $\gamma$ to the one of dimension vector $\beta$ in the heart $\text{mod}\mathbb{C}Q$ (resp. $(\text{mod}\mathbb{C}Q)[-1]$) of ${\mathcal{D}}^b(\text{mod}\mathbb{C}Q)$. Hence ${⟨\gamma ,\beta ⟩}_Q\ge 0$ and Theorem 3.1 yields

$$\begin{array}{c}\hfill n_t(\beta )={\tilde{C}}_{i,j}(s-p+1)={ϵ}_{j,s}{ϵ}_{i,p}{⟨\gamma ,\beta ⟩}_Q={⟨\gamma ,\beta ⟩}_Q\ge 0.\end{array}$$

If on the contrary (i, p) and (j, s) do not belong both to ${\phi }^{-1}([1,N])$ or ${\phi }^{-1}([N+1,2N])$, then ${ϵ}_{j,s}=-{ϵ}_{i,p}$ and on the other hand, in the heart containing (i, p) the unique couple $(j^{\prime },s^{\prime })$ such that ${\beta }_{\phi (j^{\prime },s^{\prime })}=\beta$ necessarily satisfies $s^{\prime }<p$ (otherwise $I_{p,\beta }$ would be of cardinality 2). Therefore there are no morphisms from the indecomposable object of dimension vector $\gamma$ to the one of dimension vector $\beta$ in this heart, which implies ${⟨\gamma ,\beta ⟩}_Q\le 0$. Theorem 3.1 yields

$$\begin{array}{c}\hfill n_t(\beta )={\tilde{C}}_{i,j}(s-p+1)={ϵ}_{j,s}{ϵ}_{i,p}{⟨\gamma ,\beta ⟩}_Q=-{⟨\gamma ,\beta ⟩}_Q\ge 0.\end{array}$$

This concludes the proof of the Proposition. $\square$

Remark 6.4

In the case of the fundamental modules $X_{i,\xi (i)}=L(Y_{i,\xi (i)})$, the formula of Lemma 6.2 can also be rewritten explicitly from the quiver Q as

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }\left(\iota ,(,x_{\phi (i,\xi (i))},)\right)={\tilde{D}}_{\xi }(Y_{i,\xi (i)})=\prod _{j\in B(i)}\frac{1}{{\gamma }_j}\end{array}$$

where B(i) denotes the set of indices j such that there is a path from j to i in Q (see Sect. 2.2). Indeed, one has

$$\begin{array}{c}\hfill {\tilde{C}}_{i,j}(s-\xi (i)+1)=\left\{\begin{array}{cc}1\hfill & \text{if}s=\xi (j)\text{and}\xi (j)-\xi (i)=d(i,j)\text{by Remark 3.4,}\hfill \\ 0\hfill & \text{otherwise, by Lemma 3.3.}\hfill \end{array}\right)\end{array}$$

As already mentioned in the end of the proof of Lemma 6.2, $\xi (j)-\xi (i)=d(i,j)$ if and only if $j\in B(i)$, which yields the formula.

Proposition 6.5

(Property $(B_{{\widehat{\mathbf{i}}}_Q})$) Let $t\ge 1$ and let $(i,p):={\phi }^{-1}(t)\in I^{\le \xi }$. Then one has

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }\left(\iota ,(,x_t,)\right){\tilde{D}}_{\xi }\left(\iota ,(,x_{t_{-}},)\right)={\beta }_t^{-1}\prod _{\begin{array}{c}r<t<r_{+}\\ i_r\sim i\end{array}}{\tilde{D}}_{\xi }\left(\iota ,(,x_r,)\right).\end{array}$$

Recall the notation $N_Q(k)$ from Sect. 2.2. We will need the following observation:

Lemma 6.6

Let $t\ge 1$ and let $(i,p):={\phi }^{-1}(t)\in I^{\le \xi }$. Then for any $r\ge 1$ such that $i_r\sim i$ one has

$$\begin{array}{c}\hfill r<t<r_{+}\iff {\phi }^{-1}(r)=(i_r,p+1).\end{array}$$

Proof

This is a consequence of the well-known fact that reduced expressions of $w_0$ adapted to orientations of Dynkin graphs are alternating (see for instance [49]). This means that each neighbour of the letter i appears exactly once between two consecutive occurrences of i in ${\mathbf{i}}_Q$. Therefore this also holds for the infinite sequence ${\widehat{\mathbf{i}}}_Q$, as any finite subword of length N of ${\widehat{\mathbf{i}}}_Q$ is still a reduced expression of $w_0$ adapted to some orientation of the Dynkin graph of $\mathfrak{g}$ (see Sect. 2.2). Thus there are two possibilities: if the first occurrence of $i_r$ appears before the first occurrence of i, then there is an arrow from $i_r$ to i in Q and hence $\xi (i_r)=\xi (i)+1$; furthermore the kth occurrence of i appears between the kth and the $k+1$th occurrences of $i_r$. In other words, $r<t<r_{+}\iff N_Q(r)=N_Q(t)$. Thus we get $(\xi (i_r)-\xi (i)+2N_Q(t)-1)/2=N_Q(t)=N_Q(r)$. If on the other hand the first occurrence of $i_r$ appears after the first occurrence of i, then there is an arrow from i to $i_r$ in Q and hence $\xi (i_r)=\xi (i)-1$; furthermore the kth occurrence of i appears between the $k-1$th and the kth occurrences of $i_r$. In other words, $r<t<r_{+}\iff N_Q(r)=N_Q(t)-1$. Thus we get $(\xi (i_r)-\xi (i)+2N_Q(t)-1)/2=N_Q(t)-1=N_Q(r)$. Thus we have proved that

$$\begin{array}{c}\hfill (i_r\sim i\text{and}r<t<r_{+})\iff (i_r\sim i\text{and}{N}_Q(r)=(\xi (i_r)-\xi (i)+2N_Q(t)-1)/2).\end{array}$$

Recalling the definition of ${\phi }^{-1}$ from Sect. 2.2, this is equivalent to

$$\begin{array}{c}\hfill {\phi }^{-1}(r)=\left(i_r,,,\xi ,(i_r),-,2,N_Q,(r),+,2\right)=\left(i_r,,,\xi ,(i),-,2,N_Q,(t),+,3\right)=\left(i_r,,,p,+,1\right).\end{array}$$

This finishes the proof of the Lemma. $\square$

We are now ready to prove Proposition 6.5.

Proof of Proposition 6.5

Let us fix $(j,s)\in I^{\le \xi }$ and investigate the multiplicity of the positive root ${\beta }_{\phi (j,s)}$ in both hand sides of this equality. By Lemma 6.6, one has

$$\begin{array}{c}\hfill \prod _{\begin{array}{c}r<t<r_{+}\\ i_r\sim i\end{array}}{\tilde{D}}_{\xi }\left(\iota ,(,x_r,)\right)=\prod _{k\sim i}{\tilde{D}}_{\xi }\left(\iota ,(,x_{\phi (k,p+1)},)\right).\end{array}$$

Therefore using Lemma 6.2, the multiplicity of ${\beta }_{\phi (j,s)}$ in the right hand side can be written as

$$\begin{array}{c}\hfill -{\delta }_{i,j}{\delta }_{p,s}-\sum _{k\sim i}{\tilde{C}}_{k,j}(s-p).\end{array}$$

Using the relations (3.1) with $m=s-p$, this is equal to

$$\begin{array}{c}\hfill -\left({\tilde{C}}_{i,j},(s-p+1),+,{\tilde{C}}_{i,j},(s-p-1)\right).\end{array}$$

By Lemma 6.2, this is exactly the multiplicity of ${\beta }_{\phi (j,s)}$ in the product

$$\begin{array}{c}\hfill {\tilde{D}}_Q\left(\iota ,(,x_{\phi (i,p)},)\right){\tilde{D}}_Q\left(\iota ,(,x_{\phi (i,p+2)},)\right),\end{array}$$

which is equal to ${\tilde{D}}_Q\left(\iota ,(,x_t,)\right){\tilde{D}}_Q\left(\iota ,(,x_{t_{-}},)\right)$ by (2.2). Thus the multiplicities of ${\beta }_{\phi (j,s)}$ on both hand sides coincide for every $(j,s)\in I^{\le \xi }$ which proves the Proposition. $\square$

Remark 6.7

Recall from (2.7) the variables $A_{j,s},j\in I,s\in \mathbb{Z}$. It is straightforward to check either from Proposition 6.5 or directly from the definition of ${\tilde{D}}_{\xi }$ that for every $(i,p)\in I^{\le \xi }$ one has

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }\left(A_{i,p-1}^{-1}\right)=\frac{{\beta }_{\phi (i,p-2)}}{{\beta }_{\phi (i,p)}}=\frac{{\beta }_{t_{+}}}{{\beta }_t}\end{array}$$

where $t:=\phi (i,p)$. This can be viewed as a generalization of [7, Remark 6.4] as it is known from the works of Hernandez–Leclerc [24] that the $A_{i,p-1}^{-1},(i,p)\in I^{\le \xi }$ are exactly the images under $\iota$ of Fomin-Zelevinsky’s variables $\widehat{y_j}$ (see [13]) for the seed ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ (up to the convention used for the definition of $\widehat{y_j}$).

Recall from Sect. 5.4 that for any rational fraction Y and any positive root $\beta$, we denote by $[\beta ;Y]$ the (algebraic) multiplicity of $\beta$ in Y.

Proposition 6.8

(Property $(C_{{\widehat{\mathbf{i}}}_Q})$) Let $(i,p)\in I^{\le \xi }$. Then for any $\beta \in {\mathrm{\Phi }}_{+}$, one has $\mid [\beta ;{\tilde{D}}_{\xi }(Y_{i,p})]\mid \le 1$.

Proof

Let us fix $\beta \in {\mathrm{\Phi }}_{+}$ and let $\gamma :={\beta }_{\phi (i,p)}$. By (6.1) one has

$$\begin{array}{cc}\hfill & -[\beta ;{\tilde{D}}_{\xi }(Y_{i,p})]=\sum _{(j,s)\in I_{p,\beta }}\mathcal{N}(i,p;j,s),\hfill \\ \hfill & \mathcal{N}(i,p;j,s):={\tilde{C}}_{i,j}(s-p+1)-{\tilde{C}}_{i,j}(s-p-1)\hfill \end{array}$$

where we use the notation $I_{p,\beta }$ from the proof of Proposition 6.3.

Let s be the smallest integer such that there exists $j\in I$ with $(j,s)\in I_{p,\beta }$. It follows from Proposition 2.3 that $I_{p,\beta }$ is either of the form $\{(j,s),(j^{\ast },s+h),(j,s+2h),(j^{\ast },s+3h),\dots ,(j,s+2mh)\}$ for some $m\ge 1$ if $♯I_{p,\beta }$ is odd, or of the form $\{(j,s),(j^{\ast },s+h),(j,s+2h),(j^{\ast },s+3h),\dots ,(j,s+2mh),(j^{\ast },s+(2m+1)h)\}$ for some $m\ge 1$ if $♯I_{p,\beta }$ is even. Then Corollary 3.2 yields

$$\begin{array}{cc}& \mathcal{N}(i,p;j^{\ast },s+(2k-1)h)+\mathcal{N}(i,p;j,s+2kh)\hfill \\ \hfill & ={ϵ}_{i,p}{ϵ}_{j^{\ast },s+(2k-1)h}(\beta ,\gamma )+{ϵ}_{i,p}{ϵ}_{j,s+2kh}(\beta ,\gamma )\hfill \\ \hfill & =0\hfill \end{array}$$

as ${ϵ}_{j^{\ast },s+(2k-1)h}=-{ϵ}_{j,s+2kh}$ for any $k\ge 1$. Thus we obtain

$$\begin{array}{c}\hfill -[\beta ;{\tilde{D}}_{\xi }(Y_{i,p})]=\left\{\begin{array}{cc}\mathcal{N}(i,p;j,s)\hfill & \text{if}♯I_{p,\beta }\text{is odd,}\hfill \\ \mathcal{N}(i,p;j,s)-{ϵ}_{i,p}{ϵ}_{j,s}(\beta ,\gamma )\hfill & \text{if}♯I_{p,\beta }\text{is even.}\hfill \end{array}\right)\end{array}$$

where in the second case we used Corollary 3.2 for $(i,p),(j^{\ast },s+(2m+1)h)$ and the fact that ${ϵ}_{j^{\ast },s+(2m+1)h}=-{ϵ}_{j,s}$.

From this together with Corollary 3.2, we obtain that if $s>p$ then $[\beta ;{\tilde{D}}_{\xi }(Y_{i,p})]$ is equal to $(\beta ,\gamma )$ up to some sign if $♯I_{p,\beta }$ is odd, and to 0 if $♯I_{p,\beta }$ is even. Note that in this case one has $\beta \ne \gamma$ (if $\beta =\gamma$ then $(i,p)\in I_{p,\beta }$ and thus $s=p$ by minimality). Then it is elementary to check that for any simply-laced type Lie algebra $\mathfrak{g}$, the Cartan pairing of any two distinct positive roots of $\mathfrak{g}$ is always equal to $-1,0$ or 1. This can be deduced for instance from Lemmas 8.1 and 8.5 below respectively for types $A_n$ and $D_n$, and can be checked directly for the types $E_6,E_7$ and $E_8$.

If on the other hand $s=p$, then Corollary 3.2 implies $\mathcal{N}(i,p;j,s)={\delta }_{i,j}$ and moreover by standard Auslander-Reiten theory one has $(\beta ,\gamma )=0$ if $i\ne j$ and $(\beta ,\gamma )=(\beta ,\beta )=2$ if $i=j$. In other words, one has $(\beta ,\gamma )=2{\delta }_{i,j}$. Therefore, $-[\beta ;{\tilde{D}}_{\xi }(Y_{i,p})]$ is equal either to ${\delta }_{i,j}$ if $♯I_{p,\beta }$ is odd, or to $-{\delta }_{i,j}$ if $♯I_{p,\beta }$ is even. This concludes the proof of the Proposition. $\square$

Evaluation of $\overline{D}$ on the dual root vectors

This section is devoted to the computation of the values taken by Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$ on the dual root vectors of $\mathbb{C}[\mathbf{N}]$ with respect to the convex ordering on ${\mathrm{\Phi }}_{+}$ corresponding to ${\mathbf{i}}_{Q_0}$ where $Q_0$ is the orientation of the Dynkin graph of $\mathfrak{g}$ shown in Fig. 1. We provide explicit formulas in types $A_n,n\ge 1$ and $D_n,n\ge 4$. The computations in types $E_r,r=6,7,8$ are performed separately using a computer software.

Fig. 1.

The orientation $Q_0$ for each simply-laced type

Type $A_n,n\ge 1$

We consider the case where $\mathfrak{g}$ is of type $A_n,n\ge 1$. For every $1\le i\le j\le n$, we set ${\alpha }_{i,j}:={\alpha }_i+\cdots +{\alpha }_j$, and we have ${\mathrm{\Phi }}_{+}=\{{\alpha }_{i,j},1\le i\le j\le n\}$. We choose the following reduced expression of $w_0$:

$$\begin{array}{c}\hfill (1,2,\dots ,n,1,2,\dots ,n-1,\dots ,1,2,1)\end{array}$$

which is adapted to the orientation $Q_0$ (the so-called monotonic orientation) of the Dynkin graph of $\mathfrak{g}$ (see Fig. 1). The corresponding convex ordering on ${\mathrm{\Phi }}_{+}$ is given by

$$\begin{array}{c}\hfill {\alpha }_{i,j}<{\alpha }_{k,l}\iff i<k\text{or}i=k\text{and}j<l.\end{array}$$

Thus, it coincides with the Lyndon ordering arising from the choice of the natural order $1<2<\cdots <n$ on the index set of simple roots. Consequently, the cuspidal representations are explicitly constructed in [35, Sect. 8.4], namely one has ${\mathbf{j}}_{{\alpha }_{i,j}}=(i,i+1,\dots ,j)$ and $S_{{\alpha }_{i,j}}$ is the one-dimensional vector space generated by a single vector on which all the generators of the quiver Hecke algebras $R(\beta ),\beta \in {\mathrm{\Gamma }}_{+}$ act by zero, except the idempotent $e({\mathbf{j}}_{{\alpha }_{i,j}})$. Applying Equation (5.3) we obtain

$$\begin{array}{c}\hfill \overline{D}([S_{{\alpha }_{i,j}}])=\frac{1}{{\alpha }_i({\alpha }_i+{\alpha }_{i+1})\cdots ({\alpha }_i+\cdots +{\alpha }_j)}=\prod _{i\le k\le j}\frac{1}{{\alpha }_{i,k}}.\end{array}$$ 7.1

Alternatively one can note that the word ${\mathbf{j}}_{{\alpha }_{i,j}}$ is dominant minuscule, hence $S_{{\alpha }_{i,j}}$ is strongly homogeneous (see Definition 4.10) and we can conclude using Proposition 5.2.

Type $D_n,n\ge 4$

We now focus on the case where $\mathfrak{g}$ is of type $D_n,n\ge 4$. We will use the following notations: for any $(p,q)\in {\{1,\dots ,n-1\}}^2$, we set:

$$\begin{array}{c}\hfill {\theta }_{p,q}:={\alpha }_{min(p,q)}+\cdots +{\alpha }_{max(p,q)-1}+2({\alpha }_{max(p,q)}+\cdots +{\alpha }_{n-2})+{\alpha }_{n-1}+{\alpha }_n.\end{array}$$

and for every $1\le p\le q\le n$ we set:

$$\begin{array}{c}\hfill {\alpha }_{p,q}:=\left\{\begin{array}{cc}{\alpha }_p+\cdots +{\alpha }_q\hfill & \text{if}q\le n-1,\hfill \\ {\alpha }_p+\cdots +{\alpha }_{n-2}+{\alpha }_n\hfill & \text{if}q=n.\hfill \end{array}\right)\end{array}$$

In particular we have ${\alpha }_{n-1,n}={\alpha }_{n,n}:={\alpha }_n$. Also note that ${\theta }_{p,q}$ is a positive root if and only if $p\ne q$. We have

$$\begin{array}{c}\hfill {\mathrm{\Phi }}_{+}=\{{\theta }_{p,q},1\le p<q\le n-1\}\bigsqcup \{{\alpha }_{p,q},1\le p\le q\le n\}.\end{array}$$

We will need to consider the automorphism $\sigma$ of the Dynkin diagram of $\mathfrak{g}$ defined by $\sigma (i)=i$ if $1\le i\le n-2$, $\sigma (n-1)=n$ and $\sigma (n)=n-1$. We choose the following reduced expression of $w_0$:

$$\begin{array}{c}\hfill {(1,2,\dots ,n)}^{n-1}\end{array}$$

which is adapted to the orientation $Q_0$ of the Dynkin graph of $\mathfrak{g}$ shown in Fig. 1. The corresponding convex ordering on ${\mathrm{\Phi }}_{+}$ is given by

$$\begin{array}{cc}\hfill {\alpha }_{i,j}<{\alpha }_{k,l}& \iff (i<k)\text{or}\hfill \\ \hfill & \left(i,=,k,,\text{and},,(,j,<,min,(l,n-1),,\text{or},,j,=,{\sigma }^i,(n),,\text{and},,l,=,{\sigma }^i,(n-1),)\right),\hfill \\ \hfill {\alpha }_{i,j}<{\theta }_{p,q}& \iff i<q\text{or}i\le q\text{and}j\le n-2,\hfill \\ \hfill {\theta }_{p,q}<{\theta }_{r,s}& \iff q<s\text{or}q=s\text{and}p<r.\hfill \end{array}$$

The cuspidal representations corresponding to the positive roots ${\alpha }_{i,j}$ are given in the same way as in type $A_n$, i.e. for every $1\le i\le j\le n$, one has ${\mathbf{j}}_{{\alpha }_{i,j}}=(i,i+1,\dots ,j)$ and the cuspidal representation $S_{{\alpha }_{i,j}}$ has a unique non trivial one-dimensional weight space of weight ${\mathbf{j}}_{{\alpha }_{i,j}}$ (if $j=n$ then the word ${\mathbf{j}}_{{\alpha }_{i,j}}=(i,i+1,\dots ,j)$ is understood as $(i,i+1,\dots ,n-2,n)$). Thus the conclusion is the same as in the previous paragraph.

Let us now focus on the cuspidal representations associated to the positive roots ${\theta }_{p,q},1\le p<q\le n-1$. These cuspidal modules turn out to be not homogeneous. It is therefore not possible to compute $\overline{D}([S_{{\theta }_{p,q}}])$ directly. This is why we use Brundan–Kleshchev–McNamara’s distinguished short exact sequences from Theorem 4.5.

Lemma 7.1

Fix p, q such that $1\le p<q\le n-1$. Then the couple of positive roots $({\alpha }_{p,{\sigma }^p(n-1)},{\alpha }_{q,{\sigma }^p(n)})$ is a minimal pair for ${\theta }_{p,q}$ with respect to the chosen order < on ${\mathrm{\Phi }}_{+}$.

Proof

Assume there exists $(\gamma ,\delta )\in {\mathrm{\Phi }}_{+}^2$ such that $\gamma +\delta ={\theta }_{p,q}$ and ${\alpha }_{p,{\sigma }^p(n-1)}<\gamma <{\theta }_{p,q}<\delta <{\alpha }_{q,{\sigma }^p(n)}$. If $\gamma$ is of the form ${\theta }_{r,s}$, then one has either $s<q$ or $s=q$ and $r<p$. In both cases, ${\theta }_{p,q}-\gamma \notin {\mathrm{\Gamma }}_{+}$ which is a contradiction. Thus $\gamma$ is of the form ${\alpha }_{i,j}$. Then ${\alpha }_{p,{\sigma }^p(n-1)}<\gamma$ implies $i>p$. Now if $\delta$ was of the form ${\theta }_{r,s}$ then ${\theta }_{p,q}<\delta <{\alpha }_{q,{\sigma }^p(n)}$ implies $r>p$. If on the other hand $\delta ={\alpha }_{u,v}$ then ${\theta }_{p,q}<\delta$ implies $u\ge q>p$. In both cases, ${\alpha }_p$ appears neither in $\gamma$ nor in $\delta$ which contradicts $\gamma +\delta ={\theta }_{p,q}$ as ${\alpha }_p$ appears in ${\theta }_{p,q}$. $\square$

Proposition 7.2

Fix p, q such that $1\le p<q\le n-1$. Then one has

$$\begin{array}{c}\hfill \overline{D}([S_{{\theta }_{p,q}}])=\frac{{\theta }_{p,p}}{{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{p,p}\cdots {\alpha }_{p,n}{\theta }_{p,q}}.\end{array}$$

Proof

We assume p is even, the other case being identical. By Lemma 7.1, we have a minimal pair for ${\theta }_{p,q}$ given by $({\alpha }_{p,n-1},{\alpha }_{q,n})$. By Theorem 4.5, there is a short exact sequence in R-mod:

$$\begin{array}{c}\hfill 0⟶S_{{\theta }_{p,q}}⟶S_{{\alpha }_{q,n}}\circ S_{{\alpha }_{p,n-1}}⟶L({\mathbf{c}}_{p,q})⟶0\end{array}$$ 7.2

where ${\mathbf{c}}_{p,q}$ is the N-tuple of integers whose entries are all zero, except the two entries corresponding to the positive roots ${\alpha }_{p,n-1}$ and ${\alpha }_{q,n}$ which are equal to 1. Hence Theorem 4.4 implies that

$$\begin{array}{c}\hfill {dim}_{\mathbb{C}}\left(e,({\mathbf{j}}_{{\alpha }_{q,n}}{\mathbf{j}}_{{\alpha }_{p,n-1}}),L,({\mathbf{c}}_{p,q})\right)=1.\end{array}$$

As recalled above, we have that ${\mathbf{j}}_{{\alpha }_{q,n}}=(q,q+1,\dots ,n-2,n)$ and ${\mathbf{j}}_{{\alpha }_{p,n-1}}=(p,p+1,\dots ,n-2,n-1)$. It is now straightforward to check from Definition 4.7 that the word ${\mathbf{j}}_{{\alpha }_{q,n}}{\mathbf{j}}_{{\alpha }_{p,n-1}}$ is dominant minuscule (i.e. it is a reduced expression of a dominant minuscule element of W). Consequently, Theorem 4.8 implies that $L({\mathbf{c}}_{p,q})$ is strongly homogeneous, and hence Proposition 5.2 yields

$$\begin{array}{c}\hfill \overline{D}([L({\mathbf{c}}_{p,q})])=\prod _{\beta \in {\mathrm{\Phi }}_{+}^{w_{p,q}}}\frac{1}{\beta }\end{array}$$

where $w_{p,q}:=s_q{s}_{q+1}\cdots s_{n-2}{s}_n{s}_p{s}_{p+1}\cdots s_{n-2}{s}_{n-1}$. For every $q\le s\le n-2$, we have $s_q\cdots s_{s-1}({\alpha }_s)={\alpha }_{q,s}$. We also have that $s_q\cdots s_{n-2}({\alpha }_n)={\alpha }_{q,n}$. For every $p\le r<n-2$, we have

$$\begin{array}{c}\hfill s_q\cdots s_{n-2}{s}_n{s}_p\cdots s_{r-1}({\alpha }_r)=s_q\cdots s_{n-2}({\alpha }_{p,r})=\left\{\begin{array}{cc}{\alpha }_{p,r}\hfill & \text{if}r<q-1,\hfill \\ {\alpha }_{p,r+1}\hfill & \text{if}r\ge q-1.\hfill \end{array}\right)\end{array}$$

Finally the last two positive roots are $s_q\cdots s_{n-2}{s}_n{s}_p\cdots s_{n-3}({\alpha }_{n-2})=s_q\cdots s_{n-2}({\alpha }_{p,n})={\alpha }_{p,n}$ and $s_q\cdots s_{n-2}{s}_n{s}_p\cdots s_{n-2}({\alpha }_{n-1})=s_q\cdots s_{n-2}{s}_n({\alpha }_{p,n-1})=s_q\cdots s_{n-2}({\theta }_{p,n-1})={\theta }_{p,q}$. Thus we have

$$\begin{array}{c}\hfill \overline{D}([L({\mathbf{c}}_{p,q})])=\frac{1}{{\alpha }_{p,p}\cdots {\alpha }_{p,q-2}{\alpha }_{p,q}\cdots {\alpha }_{p,n}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{q,n}{\theta }_{p,q}}.\end{array}$$

As $\overline{D}$ is an algebra morphism on $\mathbb{C}[\mathbf{N}]\simeq K_0(R)$-mod, the short exact sequence (7.2) yields

$$\begin{array}{cc}\hfill \overline{D}([S_{{\theta }_{p,q}}])& =\overline{D}([S_{{\alpha }_{p,n-1}}])\overline{D}([S_{{\alpha }_{q,n}}])-\overline{D}([L({\mathbf{c}}_{p,q})])\hfill \\ \hfill & =\frac{1}{{\alpha }_{p,p}\cdots {\alpha }_{p,n-1}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{q,n}}\hfill \\ \hfill & -\frac{1}{{\alpha }_{p,p}\cdots {\alpha }_{p,q-2}{\alpha }_{p,q}\cdots {\alpha }_{p,n}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{q,n}{\theta }_{p,q}}\hfill \\ \hfill & =\frac{{\theta }_{p,q}{\alpha }_{p,n}-{\alpha }_{p,q-1}{\alpha }_{p,n-1}}{{\alpha }_{p,p}\cdots {\alpha }_{p,n-1}{\alpha }_{p,n}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{q,n}{\theta }_{p,q}}\hfill \\ \hfill & =\frac{{\theta }_{p,q}{\alpha }_{q,n}+{\alpha }_{p,q-1}({\theta }_{p,q}-{\alpha }_{p,n-1})}{{\alpha }_{p,p}\cdots {\alpha }_{p,n-1}{\alpha }_{p,n}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{q,n}{\theta }_{p,q}}\hfill \\ \hfill & =\frac{{\theta }_{p,q}{\alpha }_{q,n}+{\alpha }_{p,q-1}{\alpha }_{q,n}}{{\alpha }_{p,p}\cdots {\alpha }_{p,n-1}{\alpha }_{p,n}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\alpha }_{q,n}{\theta }_{p,q}}\hfill \\ \hfill & =\frac{{\theta }_{p,p}}{{\alpha }_{p,p}\cdots {\alpha }_{p,n-1}{\alpha }_{p,n}{\alpha }_{q,q}\cdots {\alpha }_{q,n-2}{\theta }_{p,q}}\hfill \end{array}$$

which concludes the proof. $\square$

Types $E_6,E_7,E_8$

When $\mathfrak{g}$ is a simple Lie algebra of type $E_r,r=6,7,8$ we use a computer software to compute the values of $\overline{D}$ on the dual root vectors of $\mathbb{C}[\mathbf{N}]$. This is based on Brundan–Kleshchev–McNamara’s algorithm [5, Theorem 4.2] (see also [36]) which allows to recursively determine the graded characters of the cuspidal representations with respect to the convex ordering on ${\mathrm{\Phi }}_{+}$ corresponding to ${\mathbf{i}}_{Q_0}$. Then we can simply forget the grading and compute the values of $\overline{D}$ using the equality (5.3).

On the contrary to the types $A_n$ and $D_n$, the formulas we get cannot be written in a simple way (especially the numerators cannot be factored as products of linear terms). We refer to Sect. 8.3 for more comments about this.

Evaluation of ${\tilde{D}}_{Q_0}$ on the classes of Kirillov–Reshetikhin-modules

In this section, we provide explicit formulas for the evaluation of ${\tilde{D}}_{Q_0}$ on the classes of Kirillov–Reshetikhin-modules of ${\mathcal{C}}_{Q_0}$ when $\mathfrak{g}$ is of type $A_n,n\ge 1$ or $D_n,n\ge 4$ and $Q_0$ is the orientation of the Dynkin displayed in Fig. 1. This yields in particular explicit formulas for the evaluation of ${\tilde{D}}_{Q_0}$ on the classes of fundamental representations, which are known from the work of Hernandez–Leclerc [23] to categorify the dual root vectors of $\mathbb{C}[\mathbf{N}]$. For the classical types, we obtain formulas that could be written in a uniform way (the formulas for the type $A_n,n\ge 1$ are special cases contained in the ones for the types $D_n$). However, for the sake of readability, we prefer dealing with the two cases in different subsections. We discuss the types $E_r,r=6,7,8$ separately in Sect. 8.3.

Throughout this section, we will simply write $\tilde{D}$ (resp. $\tau$) for ${\tilde{D}}_{Q_0}$ (resp. ${\tau }_{Q_0}$) as there will be no ambiguity. The techniques used in this Section can be naturally extended and applied to classes of Kirillov–Reshetikhin modules not belonging to ${\mathcal{C}}_Q$. Therefore, one could obtain formulas for the evaluation of $\tilde{D}$ on a large family of cluster variables in cluster algebras strictly larger than $\mathbb{C}[\mathbf{N}]$, such as the algebra ${\overline{\mathcal{A}}}_Q$ we introduce in Sect. 11 or even the whole cluster algebra $K_0({\mathcal{C}}^{\le \xi })$ itself.

Type $A_n,n\ge 1$

We have $n_{Q_0}(i)=n-i+1$ for each $i\in I$ and $I_{Q_0}=\{(i,\xi (i)-2r+2),i\in I,1\le r\le n-i+1\}$. For each $(i,s)\in I_{Q_0}$ with $r:=\frac{{\xi }_i-s+2}{2}$ and for each $k\in \{1,\dots ,r\}$, we set

$$\begin{array}{c}\hfill D_{i,s}^{(k)}:=\prod _{\begin{array}{c}r-k+1\le p\le r\\ r\le q\le r+i-1\end{array}}\frac{1}{{\alpha }_{p,q}}\text{and}{d}_{i,s}^{(k)}:=\frac{D_{i,s}^{(k)}}{D_{i,s+2}^{(k-1)}}\end{array}$$ 8.1

where $D_{i,s}^{(0)}:=1$ for any i, s. We also denote $D_{i,s}:=D_{i,s}^{(r)}$ and $d_{i,s}:=d_{i,s}^{(r)}$. Note that one has $d_{i,s}=D_{i,s}/D_{i,s+2}$. The aim is to prove that the value of $\tilde{D}$ on the class of the Kirillov–Reshetikhin module $X_{i,s}^{(k)}$ is given by $D_{i,s}^{(k)}$ (Theorem 8.4). We first prove this in the case $r=k$ (Corollary 8.3). By Theorem 2.5, the corresponding Kirillov–Reshetikhin modules $X_{i,s}$ categorify the cluster variables of the standard seed ${\mathcal{S}}^{{\mathbf{i}}_{Q_0}}$. We then prove the general formula using the T-systems from Sect. 2.5, which correspond to certain cluster mutations in $\mathbb{C}[\mathbf{N}]$. We begin with the following elementary lemma.

Lemma 8.1

For every $1\le i\le p\le n$ and $1\le j\le q\le n$ one has

$$\begin{array}{c}\hfill ({\alpha }_{k,i},{\alpha }_{l,j})={\delta }_{k,l}+{\delta }_{i,j}-{\delta }_{k-1,j}-{\delta }_{l-1,i}.\end{array}$$

Proposition 8.2

For every $(i,s)\in I_{Q_0}$, one has $\tilde{D}(Y_{i,s})=d_{i,s}$.

Proof

Let us fix $(i,s)\in I_{Q_0}$ and set $r:=\frac{{\xi }_i-s+2}{2}$ as above. For this choice of orientation, we have $n_{Q_0}(i)=n-i+1$ for each $i\in I$ and $\xi (j)-\xi (i)=i-j$ for every $i,j\in I$. Let $(j,t)\in I^{\le \xi }$ and assume $(j,t)\notin I_{Q_0}$. Thus $t\le \xi (j)-2n_{Q_0}(j)$ by (2.3). If $t\ge s$ then $\xi (i)-2n_{Q_0}(i)<s\le t\le \xi (j)-2n_{Q_0}(j)$ and in particular $t-s<\xi (j)-\xi (i)-2(n_{Q_0}(j)-n_{Q_0}(i))=i-j-2(i-j)=j-i=d(i,j)$. Hence Lemma 3.3 implies that ${\tilde{C}}_{i,j}(t-s+1)={\tilde{C}}_{i,j}(t-s-1)=0$. This is also the case if $t<s$ as ${\tilde{C}}_{i,j}(m)=0$ if $m\le 0$. Therefore, we can rewrite (6.1) as

$$\begin{array}{cc}\hfill {\tilde{D}}_{Q_0}(Y_{i,s})=& \prod _{(j,t)\in I_{Q_0}}{\beta }_{\phi (j,s)}^{{\tilde{C}}_{i,j}(t-s-1)-{\tilde{C}}_{i,j}(t-s+1)}\hfill \\ \hfill =& \prod _{(j,t)\in I_{Q_0}}{\left({\tau }^{(\xi (j)-t)/2},({\gamma }_j)\right)}^{{\tilde{C}}_{i,j}(t-s-1)-{\tilde{C}}_{i,j}(t-s+1)}.\hfill \end{array}$$

Moreover, one has ${\tau }^{r-1}({\gamma }_i)={\alpha }_{r,r+i-1}$ and ${\tau }^{l-1}({\gamma }_j)={\alpha }_{l,l+j-1}$ for every $j\in \{1,\dots ,n\}$ and $l\in \{1,\dots ,n-j\}$. Therefore, Corollary 3.2 together with Lemma 8.1 yield

$$\begin{array}{cc}\hfill \tilde{D}(Y_{i,s})& =\frac{1}{{\alpha }_{r,r+i-1}}\prod _{2(l-r)<i-j}{\alpha }_{l,l+j-1}^{-{\delta }_{r,l}-{\delta }_{r+i-1,l+j-1}+{\delta }_{r-1,l+j-1}+{\delta }_{r+i,l}}\hfill \\ \hfill & =\frac{1}{{\alpha }_{r,r+i-1}}\prod _{1\le j<i}\frac{1}{{\alpha }_{r,r+j-1}}\prod _{i<j\le r+i-1}\frac{1}{{\alpha }_{r+i-j,r+i-1}}\prod _{1\le j\le r-1}{\alpha }_{r-j,r-1}\hfill \\ \hfill & =\frac{{\prod }_{1\le p\le r-1}{\alpha }_{p,r-1}}{\left({\prod }_{1\le p\le r-1},{\alpha }_{p,r+i-1}\right)\left({\prod }_{r\le q\le r+i-2},{\alpha }_{r,q}\right)}\hfill \\ \hfill & =\left(\prod _{\begin{array}{c}1\le p\le r-1\\ r-1\le q\le i+r-2]\end{array}},{\alpha }_{p,q}\right){\left(\prod _{\begin{array}{c}1\le p\le r\\ r\le q\le i+r-1\end{array}},{\alpha }_{p,q}\right)}^{-1}=\frac{D_{i,r,{\xi }_i-2r+2}}{D_{i,r-1,{\xi }_i-2r+4}}=d_{i,r,{\xi }_i-2r+2}.\hfill \end{array}$$

$\square$

Corollary 8.3

For every $(i,s)\in I_{Q_0}$, one has $\tilde{D}({\tilde{\chi }}_q(X_{i,s}))=D_{i,s}$.

Proof

Recall from Sect. 2.5 that the truncated q-character of the Kirillov–Reshetikhin module $X_{i,s}$ has only term, namely the dominant monomial $Y_{i,s}{Y}_{i,s+2}\cdots Y_{i,\xi (i)}$. Therefore, Proposition 8.2 implies

$$\begin{array}{c}\hfill \tilde{D}({\tilde{\chi }}_q(X_{i,s}))=\tilde{D}(Y_{i,s})\tilde{D}(Y_{i,s+2})\cdots \tilde{D}(Y_{i,\xi (i)})=d_{i,s}{d}_{i,s+2}\cdots d_{i,\xi (i)}=D_{i,s}.\end{array}$$

$\square$

Theorem 8.4

For every $(i,s)\in I_{Q_0}$ and every $k\in \{1,\dots ,r\}$, we have $\tilde{D}({\tilde{\chi }}_q(X_{i,s}^{(k)}))=D_{i,s}^{(k)}$.

Proof

By Corollary 8.3, the statement is true if $r=k$ i.e. for the Kirillov–Reshetikhin modules corresponding to the cluster variables of the (standard) seed ${\mathcal{S}}^{{\mathbf{i}}_{Q_0}}$. As $\tilde{D}$ is an algebra morphism, the rational fractions $\tilde{D}(X_{i,s}^{(k)})$ satisfy the T-systems (2.8). Since the solution to the T-system with a given initial condition is unique, it suffices to show that $D_{i,s}^{(k)}$ satisfies the recursive equations:

$$\begin{array}{c}\hfill D_{i,s}^{(k)}{D}_{i,s-2}^{(k)}=D_{i,s-2}^{(k+1)}{D}_{i,s}^{(k-1)}+\prod _{j\sim i}{D}_{j,s-1}^{(k)}.\end{array}$$

Recall that $r=\frac{{\xi }_i-s+2}{2}$. By definition of the $D_{i,s}^{(k)}$, we have

$$\begin{array}{cc}& D_{i,s}^{(k)}{D}_{i,s-2}^{(k)}-D_{i,s-2}^{(k+1)}{D}_{i,s}^{(k-1)}\hfill \\ \hfill & =\prod _{\begin{array}{c}p\in [r-k+1,r]\\ q\in [r,r+i-1]\end{array}}\frac{1}{{\alpha }_{p,q}}\prod _{\begin{array}{c}p\in [r-k+2,r+1]\\ q\in [r+1,r+i]\end{array}}\frac{1}{{\alpha }_{p,q}}-\prod _{\begin{array}{c}p\in [r-k+1,r+1]\\ q\in [r+1,r+i]\end{array}}\frac{1}{{\alpha }_{p,q}}\prod _{\begin{array}{c}p\in [r-k+2,r]\\ q\in [r,r+i-1]\end{array}}\frac{1}{{\alpha }_{p,q}}\hfill \\ \hfill & =\prod _{\begin{array}{c}p\in [r-k+2,r]\\ q\in [r,r+i-1]\end{array}}\frac{1}{{\alpha }_{p,q}}\prod _{\begin{array}{c}p\in [r-k+2,r+1]\\ q\in [r+1,r+i]\end{array}}\frac{1}{{\alpha }_{p,q}}\left(\frac{1}{{\prod }_{q\in [r,r+i-1]}{\alpha }_{r-k+1,q}},-,\frac{1}{{\prod }_{q\in [r+1,r+i]}{\alpha }_{r-k+1,q}}\right)\hfill \\ \hfill & =\prod _{\begin{array}{c}p\in [r-k+2,r]\\ q\in [r,r+i-1]\end{array}}\frac{1}{{\alpha }_{p,q}}\prod _{\begin{array}{c}p\in [r-k+2,r+1]\\ q\in [r+1,r+i]\end{array}}\frac{1}{{\alpha }_{p,q}}\left(\frac{{\alpha }_{r+1,r+i}}{{\alpha }_{r-k+1,r+i}{\prod }_{q\in [r,r+i-1]}{\alpha }_{r-k+1,q}}\right)\hfill \\ \hfill & =\prod _{\begin{array}{c}p\in [r-k+1,r]\\ q\in [r,r+i]\end{array}}\frac{1}{{\alpha }_{p,q}}\prod _{\begin{array}{c}p\in [r-k+2,r+1]\\ q\in [r+1,r+i-1]\end{array}}\frac{1}{{\alpha }_{p,q}}=D_{i+1,s-1}^{(k)}{D}_{i-1,s-1}^{(k)}.\square \hfill \end{array}$$

Type $D_n,n\ge 4$

We have $n_{Q_0}(i)=n-1$ for each $i\in I$ and $I_{Q_0}=\{(i,\xi (i)-2r+2),i\in I,1\le r\le n-1\}$. For each $(i,s)\in I_{Q_0}$ with $r:=\frac{{\xi }_i-s+2}{2}$ and for each $k\in \{1,\dots ,r\}$, we denote $r^{\prime }:=r+i-n+1$, $r^{\prime \prime }:=max(r^{\prime }-k+1,0)$, and $r^{\prime \prime \prime }:=r-k+1$. We define

$$\begin{array}{cc}& D_{i,s}^{(k)}:=\left\{\begin{array}{cc}\left(\prod _{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2+min(0,r^{\prime })]\end{array}},\frac{1}{{\alpha }_{p,q}}\right)\left(\prod _{p\in [r^{\prime \prime },r^{\prime }]},\frac{{\theta }_{p,p}}{\left({\prod }_{q\in [r^{\prime \prime \prime },r]},{\theta }_{p,q}\right)\left({\prod }_{q\in [r^{\prime },n]},{\alpha }_{p,q}\right)}\right),\hfill & 1\le i\le n-2,\hfill \\ \left(\prod _{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2]\end{array}},\frac{1}{{\alpha }_{p,q}}\right)\frac{1}{\left({\prod }_{p\in [r^{\prime \prime \prime },r]},{\alpha }_{p,{\sigma }^{r-1}(i)}\right)\left({\prod }_{r^{\prime \prime \prime }\le p<q\le r},{\theta }_{p,q}\right)},\hfill & i\in \{n-1,n\},\hfill \end{array}\right)\hfill \end{array}$$ 8.2

where we used the convention that ${\theta }_{p,q}=1$ if $p=0$ and ${\alpha }_{p,q}=1$ if $p=0$. As in the previous subsection, we also set $d_{i,s}^{(k)}:=\frac{D_{i,s}^{(k)}}{D_{i,s+2}^{(k-1)}}$. We also denote $D_{i,s}:=D_{i,s}^{(r)}$ and $d_{i,s}:=d_{i,s}^{(r)}$. Note that one has $d_{i,s}=D_{i,s}/D_{i,s+2}$.

Lemma 8.5

For every $1\le i\le j\le n$ with $i\le n-1$, $1\le p<q\le n-1$, $1\le r<s\le n-1$, we have that

1. $({\alpha }_{k,i},{\alpha }_{l,j})=\left\{\begin{array}{cc}{\delta }_{k,l}+2{\delta }_{i,j}-1\hfill & \text{if both}i\text{and}j\text{are in}\{n-1,n\},\hfill \\ {\delta }_{k,l}+{\delta }_{i,j}-{\delta }_{k-1,j}-{\delta }_{l-1,i}\hfill & \text{otherwise.}\hfill \end{array}\right)$

2. $({\theta }_{p,q},{\alpha }_{l,j})={\delta }_{l,p}+{\delta }_{l,q}-{\delta }_{j+1,p}-{\delta }_{j+1,q}$.

3. $({\theta }_{p,q},{\theta }_{r,s})={\delta }_{s,p}+{\delta }_{s,q}+{\delta }_{r,p}+{\delta }_{r,q}$.

Proposition 8.6

For every $(i,s)\in I_{Q_0}$, one has $\tilde{D}(Y_{i,s})=d_{i,s}$.

Proof

Similar arguments as in the proof of Proposition 8.2 show that (6.1) can be written as

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}(Y_{i,s})=\prod _{(j,t)\in I_{Q_0}}{\left({\tau }^{(\xi (j)-t)/2},({\gamma }_j)\right)}^{{\tilde{C}}_{i,j}(t-s-1)-{\tilde{C}}_{i,j}(t-s+1)}.\end{array}$$

First of all, note that for our choice of orientation we have

$$\begin{array}{c}\hfill {\tau }^{l-1}({\gamma }_j)=\left\{\begin{array}{cc}{\alpha }_{l,l+j-1}\hfill & \text{if}j<n-l,\hfill \\ {\theta }_{i+l-n+1,l}\hfill & \text{if}n-l\le j\le n-2,\hfill \\ {\alpha }_{l,{\sigma }^{l-1}(j)}\hfill & \text{if}j\in \{n-1,n\}.\hfill \end{array}\right)\end{array}$$

We distinguish three distinct cases.

Case 1 $i\le n-2$ and $r\le n-i-1$. In this case, we have ${\tau }^{r-1}({\gamma }_i)={\alpha }_{r,r+i-1}$ and the proof is identical to the proof of Proposition 8.2.

Case 2 $i\le n-2$ and $r\in \{n-i,\dots ,n-1\}$. Recall that $r^{\prime }:=i+r-n+1$. Corollary 3.2 together with Lemma 8.5 yield

$$\begin{array}{cc}\hfill \tilde{D}(Y_{i,s})& =\frac{1}{{\theta }_{r^{\prime },r}}\prod _{\begin{array}{c}j<n-l\\ 2(l-r)<i-j\end{array}}{\alpha }_{l,l+j-1}^{-{\delta }_{l,r^{\prime }}-{\delta }_{l,r}+{\delta }_{l+j,r^{\prime }}+{\delta }_{l+j,r}}\hfill \\ \hfill & \times \prod _{\begin{array}{c}n-l\le j\le n-2\\ 2(l-r)<i-j\end{array}}{\theta }_{j+l-n+1,l}^{-({\delta }_{l,r^{\prime }}+{\delta }_{l,r}+{\delta }_{j+l-n+1,r^{\prime }}+{\delta }_{j+l-n+1,r})}\prod _{2(l-r)<i-n+1}{\alpha }_{l,n}^{-{\delta }_{l,r^{\prime }}-{\delta }_{l,r}+{\delta }_{l,n}}\hfill \\ \hfill & =\frac{1}{{\theta }_{r^{\prime },r}}\prod _{1\le j\le n-r^{\prime }}\frac{1}{{\alpha }_{r^{\prime },r^{\prime }+j-1}}\prod _{1\le j<n-r}\frac{1}{{\alpha }_{r,r+j-1}}\prod _{1\le j\le r^{\prime }-1}{\alpha }_{r^{\prime }-j,r^{\prime }-1}\prod _{1\le j\le r-1}{\alpha }_{r-j,r-1}\hfill \\ \hfill & \times \prod _{n-r^{\prime }\le j\le n-2}\frac{1}{{\theta }_{j+r^{\prime }-n+1,r^{\prime }}}\prod _{1\le l^{\prime }<r^{\prime }}\frac{1}{{\theta }_{l^{\prime },r}}\prod _{r^{\prime }<l<r}\frac{1}{{\theta }_{r^{\prime },l}}\times \frac{1}{{\alpha }_{r^{\prime },n}}\hfill \\ \hfill & =\frac{1}{{\theta }_{r^{\prime },r}}\prod _{r^{\prime }\le q\le n}\frac{1}{{\alpha }_{r^{\prime },q}}\prod _{r\le q\le n-2}\frac{1}{{\alpha }_{r,q}}\prod _{1\le j\le r^{\prime }-1}{\alpha }_{j,r^{\prime }-1}\prod _{1\le j\le r-1}{\alpha }_{j,r-1}\hfill \\ \hfill & \times \prod _{1\le j\le r^{\prime }-1}\frac{1}{{\theta }_{j,r^{\prime }}}\prod _{1\le p\le r^{\prime }-1}\frac{1}{{\theta }_{p,r}}\prod _{r^{\prime }<l<r}\frac{1}{{\theta }_{r^{\prime },l}}\hfill \\ \hfill & =\frac{{\theta }_{r^{\prime },r^{\prime }}\left({\prod }_{p\in [r^{\prime }-1]},{\alpha }_{p,r^{\prime }-1}\right)\left({\prod }_{p\in [r-1]},{\alpha }_{p,r-1}\right)}{\left({\prod }_{q\in [r-1]},{\theta }_{r^{\prime },q}\right)\left({\prod }_{p\in [r^{\prime }]},{\theta }_{p,r}\right)\left({\prod }_{q\in [r^{\prime },n]},{\alpha }_{r^{\prime },q}\right)\left({\prod }_{q\in [r,n-2]},{\alpha }_{r,q}\right)}.\hfill \end{array}$$

On the other hand, we have

$$\begin{array}{c}\hfill D_{i,s}=\frac{{\prod }_{p\in [i+r-n+1]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [i+r-n+1]\\ q\in [r]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [i+r-n+1]\\ q\in [i+r-n+1,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Similarly we have

$$\begin{array}{c}\hfill D_{i,s+2}=\frac{{\prod }_{p\in [i+r-n]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [i+r-n]\\ q\in [r-1]\end{array}},{\theta }_{p,q},)\right)\left({\prod }_{\begin{array}{c}p\in [i+r-n]\\ q\in [i+r-n,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r-1]\\ q\in [r-1,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Therefore

$$\begin{array}{c}\hfill d_{i,s}=\frac{D_{i,s}}{D_{i,s+2}}=\frac{{\theta }_{r^{\prime },r^{\prime }}\left({\prod }_{p\in [r^{\prime }-1]},{\alpha }_{p,r^{\prime }-1}\right)\left({\prod }_{p\in [r-1]},{\alpha }_{p,r-1}\right)}{\left({\prod }_{q\in [r-1]},{\theta }_{r^{\prime },q}\right)\left({\prod }_{p\in [r^{\prime }]},{\theta }_{p,r}\right)\left({\prod }_{q\in [r^{\prime },n]},{\alpha }_{r^{\prime },q}\right)\left({\prod }_{q\in [r,n-2]},{\alpha }_{r,q}\right)}.\end{array}$$

This proves the desired statement in the case $i\le n-2,n-i\le r\le n-1$.

Case 3 $i\in \{n-1,n\}$. For simplicity, we assume r is odd, as the proof is identical in the other case. Corollary 3.2 together with Lemma 8.5 yield

$$\begin{array}{cc}\hfill \tilde{D}(Y_{i,s})& =\frac{1}{{\alpha }_{r,i}}\prod _{\begin{array}{c}j<n-l\\ 2(l-r)<n-1-j\end{array}}{\alpha }_{l,l+j-1}^{-{\delta }_{l,r}-{\delta }_{l+j-1,i}+{\delta }_{r-1,l+j-1}+{\delta }_{l-1,i}}\hfill \\ \hfill & \times \prod _{\begin{array}{c}n-l\le j\le n-2\\ 2(l-r)<n-1-j\end{array}}{\theta }_{j+l-n+1,l}^{-{\delta }_{r,j+l-n+1}-{\delta }_{r,l}+{\delta }_{i,j+l-n}+{\delta }_{i,l-1}}\prod _{2(l-r)<0}{\alpha }_{l,i}^{-({\delta }_{r,l}+1)}{\alpha }_{l,\sigma (i)}^{-({\delta }_{r,l}-1)}\hfill \\ \hfill & =\frac{1}{{\alpha }_{r,i}}\prod _{1\le j<n-r}\frac{1}{{\alpha }_{r,r+j-1}}\prod _{1\le l\le r-1}{\alpha }_{l,r-1}\prod _{1\le l^{\prime }\le r-1}\frac{1}{{\theta }_{l^{\prime },r}}\times \prod _{1\le l\le r-1}\frac{{\alpha }_{l,\sigma (i)}}{{\alpha }_{l,i}}\hfill \\ \hfill & =\frac{\left({\prod }_{l\in [r-1]},{\alpha }_{l,r-1}\right)\left({\prod }_{l\in [r-1]},{\alpha }_{l,{\sigma }^r(i)}\right)}{\left({\prod }_{q\in [r,n-2]},{\alpha }_{r,q}\right)\left({\prod }_{l\in [r]},{\alpha }_{l,{\sigma }^{r-1}(i)}\right)\left({\prod }_{p\in [r-1]},{\theta }_{p,r}\right)}.\hfill \end{array}$$

On the other hand, we have that

$$\begin{array}{c}\hfill D_{i,s}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r]},{\alpha }_{p,i}\right)\left({\prod }_{1\le p<q\le r},{\theta }_{p,q}\right)}.\end{array}$$

Since $k-1$ is even, we have

$$\begin{array}{c}\hfill D_{i,s+2}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r-1]\\ q\in [r-1,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r-1]},{\alpha }_{p,\sigma (i)}\right)\left({\prod }_{1\le p<q\le r-1},{\theta }_{p,q}\right)}.\end{array}$$

Therefore

$$\begin{array}{c}\hfill d_{i,s}=\frac{D_{i,s}}{D_{i,s+2}}=\frac{\left({\prod }_{p\in [r-1]},{\alpha }_{p,r-1}\right)\left({\prod }_{p\in [r-1]},{\alpha }_{p,\sigma (i)}\right)}{\left({\prod }_{q\in [r,n-2]},{\alpha }_{r,q}\right)\left({\prod }_{p\in [r]},{\alpha }_{p,i}\right)\left({\prod }_{p\in [r-1]},{\theta }_{p,r}\right)}.\end{array}$$

$\square$

This concludes the proof.

Corollary 8.7

For every $(i,s)\in I_{Q_0}$ one has $\tilde{D}({\tilde{\chi }}_q(X_{i,s}))=D_{i,s}$.

Proof

The proof is identical to the proof of Corollary 8.3, using Proposition 8.6. $\square$

Theorem 8.8

For every $(i,s)\in I_{Q_0}$ and every $k\in \{1,\dots ,r\}$ we have $\tilde{D}({\tilde{\chi }}_q(X_{i,s}^{(k)}))=D_{i,s}^{(k)}$.

Proof

By Corollary 8.7, the statement is true if $r=k$. Similarly to the proof of Theorem 8.4, we prove that the fractions $D_{i,s}^{(k)}$ satisfy the recursive equations:

$$\begin{array}{cc}& D_{i,s}^{(k)}{D}_{i,s-2}^{(k)}=D_{i,s-2}^{(k+1)}{D}_{i,s}^{(k-1)}+\prod _{j\sim i}{D}_{j,s-1}^{(k)}.\hfill \end{array}$$

is the same as the case of type $A_n$.

Case 2 $i\in [n-2]$, $r\in [n-i-1,n-2]$. In this case, $r^{\prime }=i+r-n+1\ge 0$. We will prove the case where r is odd. The case where r is even is similar.

We have that

$$\begin{array}{cc}& D_{i,s}^{\left(k\right)}=\frac{{\prod }_{p\in [r^{\prime \prime },r^{\prime }]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime },r^{\prime }]\\ q\in [r^{\prime \prime \prime },r]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime },r^{\prime }]\\ q\in [r^{\prime },n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)}.\hfill \end{array}$$

Since $\frac{{\xi }_i-(s-2)+2}{2}=r+1$, we have that

$$\begin{array}{c}\hfill D_{i,s-2}^{\left(k\right)}=\frac{{\prod }_{p\in [r^{\prime \prime }+1,r^{\prime }+1]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }+1]\\ q\in [r^{\prime \prime \prime }+1,r+1]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }+1]\\ q\in [r^{\prime }+1,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Similarly we have

$$\begin{array}{c}\hfill D_{i,s-2}^{\left(k,+,1\right)}=\frac{{\prod }_{p\in [r^{\prime \prime },r^{\prime }+1]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime },r^{\prime }+1]\\ q\in [r^{\prime \prime \prime },r+1]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime },r^{\prime }+1]\\ q\in [r^{\prime }+1,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

We have

$$\begin{array}{c}\hfill D_{i,s}^{\left(k,-,1\right)}=\frac{{\prod }_{p\in [r^{\prime \prime }+1,r^{\prime }]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }]\\ q\in [r^{\prime \prime \prime }+1,r]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }]\\ q\in [r^{\prime },n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Since $\frac{{\xi }_{i-1}-(s-1)+2}{2}=\frac{{\xi }_i+1-(s-1)+2}{2}=r+1$, we have that

$$\begin{array}{c}\hfill D_{i-1,s-1}^{\left(k\right)}=\frac{{\prod }_{p\in [r^{\prime \prime },r^{\prime }]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime },r^{\prime }]\\ q\in [r^{\prime \prime \prime }+1,r+1]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime },r^{\prime }]\\ q\in [r^{\prime },n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Divide $D_{i,s}^{\left(k\right)}{D}_{i,s-2}^{\left(k\right)}-D_{i,s-2}^{\left(k,+,1\right)}{D}_{i,s}^{\left(k,-,1\right)}$ by

$$\begin{array}{cc}& \frac{{\prod }_{p\in [r^{\prime \prime }+1,r^{\prime }]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }]\\ q\in [r^{\prime \prime \prime }+1,r]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }]\\ q\in [r^{\prime },n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)}\times \hfill \\ & \times \frac{{\prod }_{p\in [r^{\prime \prime }+1,r^{\prime }+1]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }+1]\\ q\in [r^{\prime \prime \prime }+1,r+1]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }+1]\\ q\in [r^{\prime }+1,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)},\hfill \end{array}$$

we obtain

$$\begin{array}{cc}& \frac{{\theta }_{r^{\prime \prime },r^{\prime \prime }}}{\left({\prod }_{p\in [r^{\prime \prime },r^{\prime }]},{\theta }_{p,r^{\prime \prime \prime }}\right)\left({\prod }_{q\in [r^{\prime \prime \prime }+1,r]},{\theta }_{r^{\prime \prime },q}\right)\left({\prod }_{q\in [r^{\prime }+1,n]},{\alpha }_{r^{\prime \prime },q}\right)\left({\prod }_{q\in [r+1,n-2]},{\alpha }_{r^{\prime \prime \prime },q}\right)}\times \hfill \\ \hfill & \times \left(\frac{1}{{\alpha }_{r^{\prime \prime },r^{\prime }}{\alpha }_{r^{\prime \prime \prime },r}},-,\frac{1}{{\theta }_{r^{\prime }+1,r^{\prime \prime \prime }}{\theta }_{r^{\prime \prime },r+1}}\right)\hfill \\ \hfill & =\frac{{\theta }_{r^{\prime \prime },r^{\prime \prime }}}{\left({\prod }_{p\in [r^{\prime \prime },r^{\prime }]},{\theta }_{p,r^{\prime \prime \prime }}\right)\left({\prod }_{q\in [r^{\prime \prime \prime }+1,r]},{\theta }_{r^{\prime \prime },q}\right)\left({\prod }_{q\in [r^{\prime }+1,n]},{\alpha }_{r^{\prime \prime },q}\right)\left({\prod }_{q\in [r+1,n-2]},{\alpha }_{r^{\prime \prime \prime },q}\right)}\times \hfill \\ \hfill & \times \frac{{\theta }_{r^{\prime \prime },r^{\prime \prime \prime }}{\theta }_{r^{\prime }+1,r+1}}{{\alpha }_{r^{\prime \prime },r^{\prime }}{\alpha }_{r^{\prime \prime \prime },r}{\theta }_{r^{\prime }+1,r^{\prime \prime \prime }}{\theta }_{r^{\prime \prime },r+1}}\hfill \\ \hfill & =\frac{{\theta }_{r^{\prime \prime },r^{\prime \prime }}{\theta }_{r^{\prime }+1,r+1}}{\left({\prod }_{p\in [r^{\prime \prime }+1,r^{\prime }+1]},{\theta }_{p,r^{\prime \prime \prime }}\right)\left({\prod }_{q\in [r^{\prime \prime \prime }+1,r+1]},{\theta }_{r^{\prime \prime },q}\right)\left({\prod }_{q\in [r^{\prime },n]},{\alpha }_{r^{\prime \prime },q}\right)\left({\prod }_{q\in [r,n-2]},{\alpha }_{r^{\prime \prime \prime },q}\right)}.\hfill \end{array}$$

Subcase 2.1 $i\in [n-3]$. Since $\frac{{\xi }_{i+1}-\left(s,-,1\right)+2}{2}=\frac{{\xi }_i-1-\left(s,-,1\right)+2}{2}=r$, we have that

$$\begin{array}{c}\hfill D_{i+1,s-1}^{\left(k\right)}=\frac{{\prod }_{p\in [r^{\prime \prime }+1,r^{\prime }+1]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }+1]\\ q\in [r^{\prime \prime \prime },r]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime }+1,r^{\prime }+1]\\ q\in [r^{\prime }+1,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Therefore $D_{i,s}^{(k)}{D}_{i,s-2}^{(k)}-D_{i,s-2}^{(k+1)}{D}_{i,s}^{(k-1)}=D_{i-1,s-1}^{(k)}{D}_{i+1,s-1}^{(k)}$.

Subcase 2.2 $i=n-2$. In this case, $r^{\prime }=i+r-n+1=r-1\ge 0$, $r^{\prime \prime }=max(r^{\prime }-k+1,0)=max(r-k,0)=r-k=r^{\prime }-k+1=r^{\prime \prime \prime }-1$, $r^{\prime \prime \prime }=r-k+1\ge 1$.

We have $\frac{{\xi }_{n-1}-(s-1)+2}{2}=\frac{{\xi }_{n-2}-1-(s-1)+2}{2}=r$. Since r is odd, we have

$$\begin{array}{c}\hfill D_{n-1,s-1}^{(k)}=\frac{1}{({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2]\end{array}}{\alpha }_{p,q})({\prod }_{p\in [r^{\prime \prime \prime },r]}{\alpha }_{p,n-1})({\prod }_{r^{\prime \prime \prime }\le p<q\le r}{\theta }_{p,q})}.\end{array}$$

We have $\frac{{\xi }_n-(s-1)+2}{2}=\frac{{\xi }_{n-2}-1-(s-1)+2}{2}=r$. Since r is odd, we have

$$\begin{array}{c}\hfill D_{n,s-1}^{\left(k\right)}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime },r]},{\alpha }_{p,n}\right)\left({\prod }_{r^{\prime \prime \prime }\le p<q\le r},{\theta }_{p,q}\right)}.\end{array}$$

Using $r^{\prime \prime }+1=r^{\prime \prime \prime }$ and

$$\begin{array}{cc}\hfill \prod _{\begin{array}{c}p\in [r^{\prime \prime }+1,r]\\ q\in [r^{\prime \prime }+1,r+1]\end{array}}{\theta }_{p,q}=& \prod _{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r^{\prime \prime }+1,r+1]\end{array}}{\theta }_{p,q}\hfill \\ \hfill =& \frac{{\left({\prod }_{r^{\prime \prime \prime }\le p<q\le r},{\theta }_{p,q}\right)}^2\left({\prod }_{p\in [r^{\prime \prime \prime },r]},{\theta }_{p,r+1}\right)\left({\prod }_{p\in [r^{\prime \prime \prime },r]},{\theta }_{p,p}\right)}{{\prod }_{q\in [r^{\prime \prime \prime },r]}{\theta }_{r^{\prime \prime \prime },q}},\hfill \end{array}$$

we have that

$$\begin{array}{c}\hfill D_{n-2,s}^{(k)}{D}_{n-2,s-2}^{(k)}-D_{n-2,s-2}^{(k+1)}{D}_{n-2,s}^{(k-1)}=D_{n-3,s-1}^{(k)}{D}_{n-1,s-1}^{(k)}{D}_{n,s-1}^{(k)}.\end{array}$$

Case 3 $i\in [n-1,n]$, $r\in [n-2]$. We will prove the case where r is odd. The case where r is even is similar.

We have that

$$\begin{array}{cc}& D_{i,s}^{\left(k\right)}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime },r]},{\alpha }_{p,i}\right)\left({\prod }_{r^{\prime \prime \prime }\le p<q\le r},{\theta }_{p,q}\right)}.\hfill \end{array}$$

Since $\frac{{\xi }_i-\left(s,-,2\right)+2}{2}=r+1$ and $r+1$ is even, we have that

$$\begin{array}{c}\hfill D_{i,s-2}^{\left(k\right)}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime }+1,r+1]},{\alpha }_{p,i^{\prime }}\right)\left({\prod }_{r^{\prime \prime \prime }+1\le p<q\le r+1},{\theta }_{p,q}\right)},\end{array}$$

and

$$\begin{array}{c}\hfill D_{i,s-2}^{\left(k,+,1\right)}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime },r+1]},{\alpha }_{p,i^{\prime }}\right)\left({\prod }_{r^{\prime \prime \prime }\le p<q\le r+1},{\theta }_{p,q}\right)}.\end{array}$$

We also have

$$\begin{array}{c}\hfill D_{i,s}^{\left(k,-,1\right)}=\frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime }+1,r]},{\alpha }_{p,i}\right)\left({\prod }_{r^{\prime \prime \prime }+1\le p<q\le r},{\theta }_{p,q}\right)}.\end{array}$$

We have $\frac{{\xi }_{n-2}-(s-1)+2}{2}=\frac{{\xi }_i+1-(s-1)+2}{2}=r+1$. Therefore the integers $r^{\prime },r^{\prime \prime },r^{\prime \prime \prime }$ corresponding to the couple $(n-2,s-1)$ are respectively given by

$$\begin{array}{cc}& (n-2)+(r+1)-n+1=r,\hfill \\ \hfill & max(r_{n-2,s-1}^{\prime }-k+1,0)=max(r-k+1,0)=r-k+1=r^{\prime \prime \prime },\hfill \\ \hfill & r_{n-2,s-1}-k+1=r-k+2=r^{\prime \prime \prime }+1.\hfill \end{array}$$

It follows that

$$\begin{array}{c}\hfill D_{n-2,s-1}^{\left(k\right)}=\frac{{\prod }_{p\in [r^{\prime \prime \prime },r]}{\theta }_{p,p}}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r^{\prime \prime \prime }+1,r+1]\end{array}},{\theta }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r,n]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)}.\end{array}$$

Divide $D_{i,s}^{(k)}{D}_{i,s-2}^{(k)}-D_{i,-2}^{(k+1)}{D}_{i,s}^{(k-1)}$ by

$$\begin{array}{cc}& \frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r]\\ q\in [r,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime }+1,r]},{\alpha }_{p,i}\right)\left({\prod }_{r^{\prime \prime \prime }+1\le p<q\le r},{\theta }_{p,q}\right)}\times \hfill \\ & \times \frac{1}{\left({\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime }+1,r+1]\\ q\in [r+1,n-2]\end{array}},{\alpha }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime }+1,r+1]},{\alpha }_{p,i^{\prime }}\right)\left({\prod }_{r^{\prime \prime \prime }+1\le p<q\le r+1},{\theta }_{p,q}\right)},\hfill \end{array}$$

we obtain

$$\begin{array}{cc}& \frac{1}{\left({\prod }_{q\in [r+1,n-2]},{\alpha }_{r^{\prime \prime \prime },q}\right)\left({\prod }_{q\in [r^{\prime \prime \prime }+1,r]},{\theta }_{r^{\prime \prime \prime },q}\right)}\left(\frac{1}{{\alpha }_{r^{\prime \prime \prime },i}{\alpha }_{r^{\prime \prime \prime },r}},-,\frac{1}{{\alpha }_{r^{\prime \prime \prime },i^{\prime }}{\theta }_{r^{\prime \prime \prime },r+1}}\right)\hfill \\ \hfill & =\frac{{\alpha }_{r+1,i^{\prime }}{\theta }_{r^{\prime \prime \prime },r^{\prime \prime \prime }}}{\left({\prod }_{q\in [r,n]},{\alpha }_{r^{\prime \prime \prime },q}\right)\left({\prod }_{q\in [r^{\prime \prime \prime }+1,r+1]},{\theta }_{r^{\prime \prime \prime },q}\right)}.\hfill \end{array}$$

Using ${\prod }_{\begin{array}{c}p\in [r^{\prime \prime \prime },r]\\ q\in [r^{\prime \prime \prime }+1,r+1]\end{array}}{\theta }_{p,q}=\left({\prod }_{r^{\prime \prime \prime }\le p<q\le r+1},{\theta }_{p,q}\right)\left({\prod }_{r^{\prime \prime \prime }+1\le p<q\le r},{\theta }_{p,q}\right)\left({\prod }_{p\in [r^{\prime \prime \prime }+1,r]},{\theta }_{p,p}\right)$, we conclude that

$$\begin{array}{c}\hfill D_{i,s}^{(k)}{D}_{i,s-2}^{(k)}-D_{i,s-2}^{(k+1)}{D}_{i,s}^{(k-1)}=D_{n-2,s-1}^{(k)}.\end{array}$$

$\square$

Types $E_6,E_7,E_8$

Assume $\mathfrak{g}$ is of type $E_r,r=6,7,8$ and $Q=Q_0$ is the orientation considered in Fig. 1. Using SageMath [46], we use the T-systems (2.8) to compute the images under $\tilde{D}$ of the truncated q-characters of Kirillov–Reshetikhin modules, and thus in particular fundamental representations.

For every fundamental module $L(Y_{i,s})$ in ${\mathcal{C}}_Q$, we computed the graded character of the corresponding cuspidal representation $\mathcal{F}(L(Y_{i,s}))=S_{{\beta }_{\phi (i,s)}}$ of the quiver Hecke algebra using the algorithm in [5, 36]. Then we obtain the corresponding ungraded character and we apply the map $\overline{D}$ to the resulting character. Since $\tilde{D}(L(Y_{i,s}))$ and $\overline{D}(S_{{\beta }_{\phi (i,s)}})$ are rational functions in ${\alpha }_1,\dots ,{\alpha }_n$, to check that they are equal, it suffices to check that they are equal for a few choices of numbers for ${\alpha }_1,\dots ,{\alpha }_n$. In this way, we verified that $\tilde{D}(L(Y_{i,s}))=\overline{D}(S_{{\beta }_{\phi (i,s)}})$.

As we already mentioned in Sect. 7.3, the formulas of ${\tilde{D}}_Q$ of Kirillov–Reshetikhin modules in type E can be very complicated and it does not seem possible to write them in a form similar to (8.1) or (8.2). This motivates us to believe that there is no general formula for the images under ${\tilde{D}}_Q$ of the truncated q-characters of Kirillov–Reshetikhin modules (or even fundamental modules) for arbitrary orientations Q in any simply-laced type.

The SageMath program to verify the above can be found in the link: https://drive.google.com/drive/folders/1jXW8WG0p_01GkEqYU9s8tLBOvlmlZnT6?usp=sharing.

Proofs of the main results

This section is devoted to the proofs of Theorems 6.1 and 9.1. We proceed in the following way: we begin by proving Theorem 6.1 in the particular case of the orientation $Q_0$, combining the results obtained in Sects. 7 and 8. This allows us to prove Theorem 9.1 for the standard seed ${\mathcal{S}}^{{\mathbf{i}}_{Q_0}}$. The statement for arbitrary reduced expressions of $w_0$ then follows from Theorem 5.3. Finally, we prove Theorem 6.1 in full generality i.e. for an arbitrary orientation Q of the Dynkin diagram of $\mathfrak{g}$, by using Theorem 9.1 with $\mathbf{i}={\mathbf{i}}_Q$.

Proof

(Proof of Theorem 6.1 in the case of the orientation $Q_0$) Let us fix the orientation $Q_0$ of the Dynkin diagram of $\mathfrak{g}$ as in Fig. 1. Recall from Sects. 2.4 and 4.2 that the dual root vectors associated to ${\mathbf{i}}_{Q_0}$ are categorified on the one hand by the fundamental representations of ${\mathcal{C}}_{Q_0}$ (see Theorem 2.5) and on the other hand by the cuspidal representations of R-mod (for the convex ordering on ${\mathrm{\Phi }}_{+}$ corresponding to ${\mathbf{i}}_{Q_0}$, see Sect. 7). More precisely, for any $i\in I$ and any $1\le r\le n_{Q_0}(i)$, we have

$$\begin{array}{c}\hfill [L(Y_{i,\xi (i)-2(r-1)})]=[S_{{\tau }^{r-1}({\gamma }_i)}]\end{array}$$

in $\mathbb{C}[\mathbf{N}]$. Moreover, the dual root vectors generate $\mathbb{C}[\mathbf{N}]$ as an algebra. Thus, in order to prove that ${\tilde{D}}_{Q_0}$ and $\overline{D}$ coincide, it suffices to prove that they agree on the dual root vectors.

Recall (see for example Sect. 2.3) that the fundamental representation $L(Y_{i,\xi (i)-2(r-1)})$ is the Kirillov–Reshetikhin module $X_{i,\xi (i)-2(r-1)}^{(1)}$. Thus we apply the formulas obtained in Sect. 8 with $k=1$. When $\mathfrak{g}$ is of type $A_n,n\ge 1$, Theorem 8.4 yields

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}\left({\tilde{\chi }}_q,(L(Y_{i,\xi (i)-2(r-1)}))\right)=D_{i,(\xi (i)-2(r-1))}^{(1)}=\prod _{r\le q\le r+i-1}\frac{1}{{\alpha }_{r,q}}.\end{array}$$

On the other hand, Equation (7.1) yields

$$\begin{array}{c}\hfill \overline{D}([S_{{\tau }^{r-1}({\gamma }_i)}])=\overline{D}([S_{{\alpha }_{r,r+i-1}}])=\prod _{r\le q\le r+i-1}\frac{1}{{\alpha }_{r,q}}.\end{array}$$

This proves the Theorem in type $A_n$. When $\mathfrak{g}$ is of type $D_n,n\ge 4$, Theorem 8.8 yields

$$\begin{array}{cc}& {\tilde{D}}_{Q_0}\left({\tilde{\chi }}_q,(L(Y_{i,\xi (i)-2(r-1)}))\right)=D_{i,(\xi (i)-2(r-1))}^{(1)}\hfill \\ \hfill & =\left\{\begin{array}{cc}\prod _{r\le q\le r+i-1}\frac{1}{{\alpha }_{r,q}}\hfill & \text{if}i\le n-2\text{and}r\le n-i-1,\hfill \\ \frac{{\theta }_{r^{\prime },r^{\prime }}}{{\theta }_{r^{\prime },r}}\times \prod _{r^{\prime }\le q\le n}\frac{1}{{\alpha }_{r^{\prime },q}}\times \prod _{r\le q\le n-2}\frac{1}{{\alpha }_{r,q}}\hfill & \text{if}i\le n-2\text{and}r\ge n-i,\hfill \\ \frac{1}{{\alpha }_{r,{\sigma }^{r-1}(i)}}\times \prod _{r\le q\le n-2}\frac{1}{{\alpha }_{r,q}}\hfill & \text{if}i\in \{n-1,n\}.\hfill \end{array}\right)\hfill \end{array}$$

On the other hand, if $i\le n-2$ and $r\le n-i-1$, then one has ${\tau }^{r-1}({\gamma }_i)={\alpha }_{r,r+i-1}$ and the conclusion is the same as in type $A_n$; if $i\le n-2$ and $r\ge n-i$, then ${\tau }^{r-1}({\gamma }_i)={\theta }_{r^{\prime },r}$ and Proposition 7.2 yields

$$\begin{array}{c}\hfill \overline{D}([S_{{\theta }_{r^{\prime },r}}])=\frac{{\theta }_{r^{\prime },r^{\prime }}}{{\alpha }_{r,r}\cdots {\alpha }_{r,n-2}{\alpha }_{r^{\prime },r^{\prime }}\cdots {\alpha }_{r^{\prime },n}{\theta }_{r^{\prime },r}}.\end{array}$$

This coincides with the above expression of ${\tilde{D}}_{Q_0}\left({\tilde{\chi }}_q,(X_{i,\xi (i)-2(r-1)}^{(1)})\right)$ in this case. Finally, if $i\in \{n-1,n\}$, then ${\tau }^{r-1}({\gamma }_i)={\alpha }_{r,{\sigma }^{r-1}(i)}$ and thus we have

$$\begin{array}{c}\hfill \overline{D}([S_{{\tau }^{r-1}({\gamma }_i)}])=\overline{D}([S_{{\alpha }_{r,{\sigma }^{r-1}(i)}}])=\frac{1}{{\alpha }_{r,{\sigma }^{r-1}(i)}}\times \prod _{r\le q\le n-2}\frac{1}{{\alpha }_{r,q}}.\end{array}$$

This proves the Theorem in type $D_n$. For the types $E_6,E_7$ and $E_8$ we check by computer that the respective values given by $\overline{D}$ (see Sect. 7.3) and ${\tilde{D}}_{Q_0}$ (see Sect. 8.3) agree on the dual root vectors. $\square$

We can now use the properties of ${\tilde{D}}_{\xi }$ established in Sect. 6.2 to prove the second main result of the present paper, which was stated as a Conjecture in [7] ([7, Conjecture 5.5]).

Theorem 9.1

Let $\mathfrak{g}$ be a simple Lie algebra of simply-laced type. Then for any reduced expression $\mathbf{i}$ of $w_0$, the flag minors $x_1^{\mathbf{i}},\dots ,x_N^{\mathbf{i}}$ satisfy $\overline{D}(x_j^{\mathbf{i}})=1/P_j^{\mathbf{i}}$ where $P_j^{\mathbf{i}}$ is a product of positive roots. Furthermore, one has $[\beta ;P_j^{\mathbf{i}}]-[\beta ;P_{j_{+}}^{\mathbf{i}}]\le 1$ for any $\beta \in {\mathrm{\Phi }}_{+}$ and any j such that $j_{+}\le N$, and the polynomials $P_1^{\mathbf{i}},\dots ,P_N^{\mathbf{i}}$ satisfy the identities

$$\begin{array}{c}\hfill \forall 1\le j\le N,P_j^{\mathbf{i}}{P}_{j_{-}}^{\mathbf{i}}={\beta }_j\prod _{\begin{array}{c}l<j<l_{+}\\ i_l\sim i_j\end{array}}{P}_l^{\mathbf{i}}.\end{array}$$

Proof

We begin by proving the desired statement for $\mathbf{i}={\mathbf{i}}_{Q_0}$. We deduce the relations $(A_{{\mathbf{i}}_{Q_0}}),(B_{{\mathbf{i}}_{Q_0}}),(C_{{\mathbf{i}}_{Q_0}})$ respectively from Propositions 6.3,  6.5 and 6.8. Recall from Sect. 6.1 the natural embedding $\mathbb{C}[\mathbf{N}]\hookrightarrow {\mathcal{A}}^{\le \xi }$. Recall also that for any Q, the flag minors $x_j^{{\mathbf{i}}_Q},1\le j\le N$ are identified under this embedding with the cluster variables $x_t^{{\widehat{\mathbf{i}}}_Q},1\le t\le N$ of Hernandez–Leclerc’s initial seed in ${\mathcal{A}}^{\le \xi }$ (see Sect. 2.4). Thus in the proof below, we will use the notation $x_j^{{\mathbf{i}}_{Q_0}}$ for both the flag minor of the standard seed ${\mathcal{S}}^{{\mathbf{i}}_{Q_0}}$ in $\mathbb{C}[\mathbf{N}]$ and its image in ${\mathcal{A}}^{\le \xi }$.

Denote ${\mathbf{i}}_{Q_0}=(i_1,\dots ,i_N)$ and let $j\in \{1,\dots ,N\}$. Then by Theorem 6.1 with $Q=Q_0$ proved above, one has

$$\begin{array}{c}\hfill \overline{D}(x_j^{{\mathbf{i}}_{Q_0}})={\tilde{D}}_{Q_0}\left(\iota ,(,x_j^{{\mathbf{i}}_{Q_0}},)\right).\end{array}$$

Therefore by Proposition 6.3 we have

$$\begin{array}{c}\hfill \overline{D}(x_j^{{\mathbf{i}}_{Q_0}})=\prod _{\beta \in {\mathrm{\Phi }}_{+}}\frac{1}{{\beta }^{n_j(\beta )}}\end{array}$$

where $n_j(\beta )$ is a nonnegative integer for each $\beta \in {\mathrm{\Phi }}_{+}$. This proves that the relation $(A_{{\mathbf{i}}_{Q_0}})$ holds.

For the relation $(B_{{\mathbf{i}}_{Q_0}})$, we denote $P_j:={\left(\overline{D},(x_j^{{\mathbf{i}}_{Q_0}})\right)}^{-1}$ for each $1\le j\le N$. Then using Theorem 6.1 with $Q=Q_0$, we have

$$\begin{array}{cc}\hfill P_j{P}_{j_{-}}& ={\left(\overline{D},(x_j^{{\mathbf{i}}_{Q_0}}),\overline{D},(x_{j_{-}}^{{\mathbf{i}}_{Q_0}})\right)}^{-1}={\left({\tilde{D}}_{Q_0},(\iota (x_j^{{\mathbf{i}}_{Q_0}})),{\tilde{D}}_{Q_0},(\iota (x_{j_{-}}^{{\mathbf{i}}_{Q_0}}))\right)}^{-1}\hfill \\ & ={\beta }_j\prod _{\begin{array}{c}r<t<r_{+}\\ i_r\sim i\end{array}}{\tilde{D}}_{Q_0}{(\iota (x_r^{{\mathbf{i}}_{Q_0}}))}^{-1}\text{by Proposition 6.5}\hfill \\ & ={\beta }_j\prod _{\begin{array}{c}r<t<r_{+}\\ i_r\sim i\end{array}}\overline{D}{(x_r^{{\mathbf{i}}_{Q_0}})}^{-1}={\beta }_j\prod _{\begin{array}{c}r<t<r_{+}\\ i_r\sim i\end{array}}{P}_r\text{using again Theorem 6.1 for}{Q}_0.\hfill \end{array}$$

For the relation $(C_{{\mathbf{i}}_{Q_0}})$, let $j\in \{1,\dots ,N\}$ such that $j_{+}\le N$ and let $(i,p):={\phi }^{-1}(j)\in I_{Q_0}$. By (2.2) we have $j_{+}=\phi (i,p-2)$. Thus applying Theorem 6.1 for $Q_0$ we get

$$\begin{array}{cc}\hfill P_{j_{+}}& =\overline{D}{(x_{j_{+}}^{{\mathbf{i}}_{Q_0}})}^{-1}={\tilde{D}}_{Q_0}{\left(\iota ,(,x_{j_{+}}^{{\mathbf{i}}_{Q_0}},)\right)}^{-1}={\tilde{D}}_{Q_0}{\left({\tilde{\chi }}_q,(X_{i,p-2})\right)}^{-1}\hfill \\ \hfill & ={\tilde{D}}_{Q_0}{(Y_{i,p-2})}^{-1}{\tilde{D}}_{Q_0}{\left({\tilde{\chi }}_q,(X_{i,p})\right)}^{-1}={\tilde{D}}_{Q_0}{(Y_{i,p-2})}^{-1}\overline{D}{(x_j^{{\mathbf{i}}_{Q_0}})}^{-1}={\tilde{D}}_{Q_0}{(Y_{i,p-2})}^{-1}{P}_j.\hfill \end{array}$$

Hence for each $\beta \in {\mathrm{\Phi }}_{+}$, one has $[\beta ;P_j]-[\beta ;P_{j_{+}}]=[\beta ;{\tilde{D}}_{Q_0}(Y_{i,p-2})]$. The conclusion follows from Proposition 6.8.

We have proved the desired statement in the case $\mathbf{i}={\mathbf{i}}_{Q_0}$. The conclusion for arbitrary reduced expressions of $w_0$ is provided by Theorem 5.3 ([7, Theorem 5.6]), which ensures that the properties $(A_{\mathbf{i}}),(B_{\mathbf{i}}),(C_{\mathbf{i}})$ hold for each standard seed ${\mathcal{S}}^{\mathbf{i}}$ of $\mathbb{C}[\mathbf{N}]$. This finishes the proof of Theorem 9.1. $\square$

Remark 9.2

Alternatively, the relation $(A_{{\mathbf{i}}_{Q_0}})$ can also be deduced from Corollaries 8.3 and 8.7 when $\mathfrak{g}$ is of type $A_n,n\ge 1$ or $D_n,n\ge 4$, and can be checked by computer when $\mathfrak{g}$ is of type $E_6,E_7$ or $E_8$. For the type $A_n$, we recover the formulas of [7, Lemma 7.2] which were there obtained using certain results from [6].

Now we can use Theorem 9.1 to prove Theorem 6.1 in full generality i.e. for an arbitrary orientation of the Dynkin diagram of $\mathfrak{g}$.

Proof of Theorem 6.1: the general case

Let Q be an arbitrary orientation of the Dynkin diagram of $\mathfrak{g}$ and let us fix ${\mathbf{i}}_Q$ a reduced expression of $w_0$ adapted to Q. By Theorem 9.1, the standard seed ${\mathcal{S}}^{{\mathbf{i}}_Q}$ of $\mathbb{C}[\mathbf{N}]$ satisfies Properties $(A_{{\mathbf{i}}_Q}),(B_{{\mathbf{i}}_Q})$ and $(C_{{\mathbf{i}}_Q})$. So we have

$$\begin{array}{c}\hfill \forall 1\le j\le N,\overline{D}(x_j^{{\mathbf{i}}_Q})\overline{D}(x_{j_{-}}^{{\mathbf{i}}_Q})={\beta }_j^{-1}\prod _{l<j<l_{+}}\overline{D}(x_l^{{\mathbf{i}}_Q}).\end{array}$$

On the other hand, by Proposition 6.5 the rational fractions ${\tilde{D}}_Q\left(\iota ,(,x_j^{{\mathbf{i}}_Q},)\right),1\le j\le N$ satisfy the same relations. Thus by a straightforward induction we have $\overline{D}(x_j^{{\mathbf{i}}_Q})={\tilde{D}}_Q\left(\iota ,(,x_j^{{\mathbf{i}}_Q},)\right)$ for each $1\le j\le N$. As $\overline{D}$ and ${\tilde{D}}_Q\circ \iota$ are both algebra morphisms and the ring $\mathbb{C}[\mathbf{N}]$ has a cluster structure with a seed given by ${\mathcal{S}}^{{\mathbf{i}}_Q}$, this implies that ${\tilde{D}}_Q\circ \iota =\overline{D}$ on the whole algebra $\mathbb{C}[\mathbf{N}]$. $\square$

Application to the generalized quantum affine Schur–Weyl duality

In this section we provide a representation-theoretic interpretation of Theorem 6.1 from the perspective of Kang–Kashiwara–Kim–Oh’s generalized quantum affine Schur–Weyl duality [29].

For any simply-laced type Lie algebra $\mathfrak{g}$ and for any orientation Q of the Dynkin graph of $\mathfrak{g}$, Kang–Kashiwara–Kim–Oh [29] defined a monoidal functor ${\mathcal{F}}_Q$ from the category R-mod of finite-dimensional modules over the quiver Hecke algebras associated to $\mathfrak{g}$ (see Sect. 4.1) to the category ${\mathcal{C}}_Q$. This functor ${\mathcal{F}}_Q$, called the generalized quantum affine Schur–Weyl duality functor was moreover proved by Fujita [15] to be an equivalence of categories. However, the structures of the objects themselves are a priori very different. For instance the objects in R-mod carry a natural $\mathbb{Z}$-grading (see Sect. 4.1) which is not the case for the objects of ${\mathcal{C}}_Q$. On the other hand, the classes of the representations in ${\mathcal{C}}_Q$ can be described via Frenkel–Reshetikhin’s (truncated) q-character [14] which allows to perform computations in certain tori (such as ${\mathcal{Y}}_Q$), whereas the characters of the objects in R-mod take values in the shuffle algebra, which is much more difficult to tackle with.

Theorem 6.1 yields a surprising connection between the weight subspaces decompositions of M and ${\mathcal{F}}_Q(M)$ for every object M in ${\mathcal{C}}_Q$. Indeed, by Theorem 6.1, we have

$$\begin{array}{c}\hfill {\tilde{D}}_Q({\tilde{\chi }}_q(M))=\overline{D}([{\mathcal{F}}_Q(M)]).\end{array}$$

By definition, the truncated q-character of M encodes the dimensions of certain of the loop weight spaces of M (see Sect. 2.3). Hence, recalling Equation (5.3), the previous equality can be written as

$$\begin{array}{c}\hfill \sum _{{\mathfrak{m}}^{\prime }\preccurlyeq \mathfrak{m}}dim(M_{{\mathfrak{m}}^{\prime }}){\tilde{D}}_Q({\mathfrak{m}}^{\prime })=\sum _{\mathbf{j}=(j_1,\dots j_d)}dim\left({({\mathcal{F}}_Q(M))}_{\mathbf{j}}\right){\overline{D}}_{\mathbf{j}}\end{array}$$ 10.1

where for each $\mathbf{j}:=(j_1,\dots ,j_d)$,

$$\begin{array}{c}\hfill {\overline{D}}_{\mathbf{j}}:=\frac{1}{{\alpha }_{j_1}({\alpha }_{j_1}+{\alpha }_{j_2})\cdots ({\alpha }_{j_1}+\cdots +{\alpha }_{j_d})}.\end{array}$$

The sum on the left hand-side runs over all monomials ${\mathfrak{m}}^{\prime }\in {\mathcal{Y}}_Q$ that are smaller than $\mathfrak{m}$ for the Nakajima ordering (see Sect. 2.3), and on the right hand-side ${({\mathcal{F}}_Q(M))}_{\mathbf{j}}:=e(\mathbf{j})·{\mathcal{F}}_Q(M)$ denotes the weight subspace given by the action of the idempotent $e(\mathbf{j})$ on ${\mathcal{F}}_Q(M)$. Equation (10.1) is an explicit identity between rational fractions in $\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$ involving the dimensions of the weight subspaces of a representation of ${\mathcal{C}}_Q$ on the one hand and those of the corresponding object in R-mod via the generalized Schur–Weyl duality functor on the other hand.

We now provide a concrete illustration of this fact. For any object M in ${\mathcal{C}}_Q$ with ${\tilde{\chi }}_q(M):={\sum }_{\mathfrak{m}}{a}_{\mathfrak{m}}\mathfrak{m}$, we set ${\widetilde{dim}}_{\mathbb{C}}(M):={\sum }_{\mathfrak{m}}{a}_{\mathfrak{m}}$. This can be viewed as a truncated dimension of M, in the sense that it gives the sum of the dimensions of the weight subspaces of M that are not killed by the truncation.

Theorem 10.1

Assume $\mathfrak{g}$ is of type $A_n,n\ge 1$ and consider the monotonic orientation $Q_0$ of the Dynkin diagram of $\mathfrak{g}$ as in Fig. 1. Let M be a simple object in ${\mathcal{C}}_{Q_0}$ and let $\mathfrak{m}:={\prod }_{i\in I,1\le r\le n-i+1}{Y}_{i,\xi (i)-2(r-1)}^{m_{i,r}}$ denote the corresponding dominant monomial. Then one has

$$\begin{array}{c}\hfill \frac{{dim}_{\mathbb{C}}\left({\mathcal{F}}_{Q_0},(M)\right)}{{\widetilde{dim}}_{\mathbb{C}}(M)}=\left(\sum _{\begin{array}{c}1\le i\le n\\ 1\le r\le n-i+1\end{array}},i,·,m_{i,r}\right)!\prod _{\begin{array}{c}1\le i\le n\\ 1\le r\le n-i+1\end{array}}{\left(\frac{(r-1)!}{(r+i-1)!}\right)}^{m_{i,r}}.\end{array}$$

Proof

By Remark 6.7, we have

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}(A_{i,\xi (i)-2r+1}^{-1})=\frac{{\beta }_{\phi (i,\xi (i)-2r)}}{{\beta }_{\phi (i,\xi (i)-2r+2)}}=\frac{{\tau }^r({\gamma }_i)}{{\tau }^{r-1}({\gamma }_i)}=\frac{{\alpha }_{r+1,r+i}}{{\alpha }_{r,r+i-1}}\end{array}$$

for each $i\in I$ and $1\le r<n_{Q_0}(i)$ (see the proof of Proposition 8.2). Moreover, the positive roots ${\alpha }_{r,r+i-1}$ and ${\alpha }_{r+1,r+i}$ are segments of same length i, for every $r\ge 1$. Hence we obtain

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}(A_{i,\xi (i)-2r+1}^{-1}){\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}=1\end{array}$$

for every $i\in I$ and $1\le r<n_{Q_0}(i)$. Therefore we have

$$\begin{array}{cc}\hfill {\tilde{D}}_{Q_0}\left({\tilde{\chi }}_q,(M)\right){\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}& ={\widetilde{dim}}_{\mathbb{C}}(M)·{\tilde{D}}_{Q_0}(\mathfrak{m}){\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}\hfill \\ & ={\widetilde{dim}}_{\mathbb{C}}(M)·\prod _{\begin{array}{c}1\le i\le n\\ 1\le r\le n-i+1\end{array}}{\left({\tilde{D}}_{Q_0},(Y_{i,\xi (i)-2(r-1)}),{\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}\right)}^{m_{i,r}}.\hfill \end{array}$$

Now it follows from Proposition 8.2 that for every $i\in I$ and $1\le r\le n-i+1$ one has

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}(Y_{i,\xi (i)-2(r-1)})=\frac{{\prod }_{1\le p\le r-1\le q\le r+i-2}{\alpha }_{p,q}}{{\prod }_{1\le p\le r\le q\le r+i-1}{\alpha }_{p,q}}=\prod _{r\le q\le r+i-1}\frac{1}{{\alpha }_{r,q}}\prod _{1\le p\le r-1}\frac{{\alpha }_{p,r-1}}{{\alpha }_{p,r+i-1}}.\end{array}$$

Specializing ${\alpha }_1,\dots ,{\alpha }_n$ to 1, this yields

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}(Y_{i,\xi (i)-2(r-1)}){\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}=\frac{(r-1)!}{(r+i-1)!}.\end{array}$$

Hence we have

$$\begin{array}{c}\hfill {\tilde{D}}_{Q_0}\left({\tilde{\chi }}_q,(M)\right){\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}=\prod _{\begin{array}{c}1\le i\le n\\ 1\le r\le n-i+1\end{array}}{\left(\frac{(r-1)!}{(r+i-1)!}\right)}^{m_{i,r}}·{\widetilde{dim}}_{\mathbb{C}}(M).\end{array}$$

On the other hand, specializing the equality (5.3), we get

$$\begin{array}{c}\hfill \overline{D}([{\mathcal{F}}_{Q_0}(M)]){\mid }_{{\alpha }_1=\cdots ={\alpha }_n=1}=\frac{1}{d!}{dim}_{\mathbb{C}}({\mathcal{F}}_{Q_0}(M))\end{array}$$

where d is the length of the (unique) element $\beta \in {\mathrm{\Gamma }}_{+}$ such that ${\mathcal{F}}_{Q_0}(M)\in R(\beta )$-mod. It follows from Kang–Kashiwara–Kim–Oh’s construction [29] that $d={\sum }_{i,r}{m}_{i,r}\mid {\tau }^{r-1}({\gamma }_i)\mid ={\sum }_{i,r}i·m_{i,r}$. Therefore Eq. (10.1) yields

$$\begin{array}{c}\hfill {dim}_{\mathbb{C}}({\mathcal{F}}_{Q_0}(M))=\left(\sum _{\begin{array}{c}1\le i\le n\\ 1\le r\le n-i+1\end{array}},i,·,m_{i,r}\right)!\prod _{\begin{array}{c}1\le i\le n\\ 1\le r\le n-i+1\end{array}}{\left(\frac{(r-1)!}{(r+i-1)!}\right)}^{m_{i,r}}·{\widetilde{dim}}_{\mathbb{C}}(M).\end{array}$$

$\square$

Perspectives towards a Mirković–Vilonen basis for new cluster algebras

In this section we open perspectives relating the morphism ${\tilde{D}}_{\xi }$ to the geometric motivations underlying Baumann–Kamnitzer–Knutson’s constructions [1]. For this purpose, we introduce a cluster algebra ${\overline{\mathcal{A}}}_Q$ as a subquotient of ${\mathcal{A}}^{\le \xi }$ naturally containing $\mathbb{C}[\mathbf{N}]$ and prove that ${\tilde{D}}_{\xi }$ descends to a morphism ${\overline{D}}_Q:{\overline{\mathcal{A}}}_Q\to \mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$ extending $\overline{D}$. We suggest the existence of a basis in ${\overline{\mathcal{A}}}_Q$ containing the Mirković–Vilonen basis of $\mathbb{C}[\mathbf{N}]$ where the values of ${\overline{D}}_Q$ may be interpreted as the equivariant multiplicities of certain closed algebraic varieties in the spirit of Theorem 5.1. We also point out possible developments via monoidal categorifications of cluster algebras relying on Kashiwara–Kim–Oh–Park’s recent advances [31, 32].

The cluster algebra ${\overline{\mathcal{A}}}_Q$

In this paragraph, we define the cluster algebra ${\overline{\mathcal{A}}}_Q$ and show that ${\tilde{D}}_{\xi }$ yields a well-defined morphism ${\overline{D}}_Q:{\overline{\mathcal{A}}}_Q\to \mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$ extending $\overline{D}$. For this purpose, we prove a technical property of ${\tilde{D}}_{\xi }$ (Proposition 11.1) implying that the values of ${\tilde{D}}_{\xi }$ on the initial cluster variables $x_t^{{\widehat{\mathbf{i}}}_Q},t\ge 1$ of ${\mathcal{A}}^{\le \xi }$ satisfy certain periodicity properties (Corollary 11.2). This mainly relies on the periodicity of the coefficients ${\tilde{C}}_{i,j}(m)$ established by Hernandez–Leclerc ([23, Corollary 2.3]). We then prove that the quotient map ${\overline{D}}_Q$ is well-defined (Corollary 11.3).

Kashiwara–Kim–Oh–Park [32] recently introduced for each $1\le a\le b\le +\infty$ a monoidal subcategory ${\mathcal{C}}^{[a,b]}$ of ${\mathcal{C}}^{\le \xi }$ defined as the smallest subcategory of ${\mathcal{C}}^{\le \xi }$ containing all the fundamental representations $L(Y_{i,p})$ for $(i,p)\in {\phi }^{-1}([a,b])$ and stable under extensions, subquotients and monoidal products. Obviously ${\mathcal{C}}^{[a,b]}$ can be naturally viewed as a monoidal subcategory of ${\mathcal{C}}^{[a^{\prime },b^{\prime }]}$ if $[a,b]\subset [a^{\prime },b^{\prime }]$.

Here we will be focusing on the category ${\mathcal{C}}^{[1,2N]}$(recall that N denotes the number of positive roots of $\mathfrak{g}$). It follows from the results in [32] that the Grothendieck ring $K_0({\mathcal{C}}^{[1,2N]})$ has a cluster algebra structure whose frozen variables are identified with the classes of the Kirillov–Reshetikhin modules $X_{i,p}$ such that ${\left(\phi ,(,i,,,p,)\right)}_{+}>2N$. These are in bijection with I via $I\ni i\mapsto X_{i,p_i}$ with $p_i:=\xi (i)-2h+2$ for each $i\in I$ (where h is the dual Coxeter number of $\mathfrak{g}$, see Sect. 2.2). We define the cluster algebra ${\overline{\mathcal{A}}}_Q$ in the following way:

$$\begin{array}{c}\hfill {\overline{\mathcal{A}}}_Q:=K_0({\mathcal{C}}^{[1,2N]})/\left([,X_{i,p_i},],-,1,,,i,\in ,I\right).\end{array}$$

The algebra ${\overline{\mathcal{A}}}_Q$ has a cluster algebra structure of rank $2N-n$ with no frozen variables. The set of isomorphism classes of Kirillov–Reshetikhin modules $X_{i,p},(i,p)\in {\phi }^{-1}([1,2N-n])$ forms a cluster in ${\overline{\mathcal{A}}}_Q$. The coordinate ring $\mathbb{C}[\mathbf{N}]\simeq \mathbb{C}\otimes K_0({\mathcal{C}}_Q)$ is naturally embedded into ${\overline{\mathcal{A}}}_Q$ via $x_t^{{\mathbf{i}}_Q}⟼[X_{{\phi }^{-1}(t)}],t\in \{1,\dots ,N\}$ as illustrated in Fig. 3 below.

Fig. 3.

Initial seeds for the cluster structures of ${\overline{\mathcal{A}}}_Q$ (left) and $\mathbb{C}[\mathbf{N}]$ (right) in type $A_3$. The variables in grey boxes are frozen

Proposition 11.1

Let $(i,p)\in I^{\le \xi }$ such that $p\le \xi (i)-2h+2$. Then one has

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }(Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,p+2h-2})=1.\end{array}$$

Proof

Recall the notation $\mathcal{N}(i,p;j,s)$ from Sect. 3. Applying the definition of ${\tilde{D}}_{\xi }$ (see (6.1)) we have

$$\begin{array}{cc}\hfill {\tilde{D}}_{\xi }(Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,p+2h-2})& ={\tilde{D}}_{\xi }(Y_{i,p}){\tilde{D}}_{\xi }(Y_{i,p+2})\cdots {\tilde{D}}_{\xi }(Y_{i,p+2h-2})\hfill \\ \hfill & =\prod _{(j,s)\in I^{\le \xi }}{\beta }_{\phi (j,s)}^{\mathcal{N}(i,p;j,s)+\mathcal{N}(i,p+2;j,s)+\cdots +\mathcal{N}(i,p+2h-2;j,s)}\hfill \\ \hfill & =\prod _{(j,s)\in I^{\le \xi }}{\beta }_{\phi (j,s)}^{{\tilde{C}}_{i,j}(s-p+1)-{\tilde{C}}_{i,j}(s-p-2h+1)}.\hfill \end{array}$$

If $(j,s)\in I^{\le \xi }$ is such that $s\ge p+2h$ then [23, Corollary 2.3] implies ${\tilde{C}}_{i,j}(s-p-2h+1)={\tilde{C}}_{i,j}(s-p+1)$. Recalling moreover that ${\tilde{C}}_{i,j}(m)=0$ if $m\le 0$, we can thus rewrite the above expression as

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }(Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,p+2h-2})=\prod _{\begin{array}{c}(j,s)\in I^{\le \xi }\\ p\le s<p+2h\end{array}}{\beta }_{\phi (j,s)}^{{\tilde{C}}_{i,j}(s-p+1)}=\prod _{\beta \in {\mathrm{\Phi }}_{+}}{\beta }^{m(\beta )}\end{array}$$

where

$$\begin{array}{c}\hfill m(\beta ):=\sum _{(j,s)\in J_{p,\beta }}{\tilde{C}}_{i,j}(s-p+1),J_{p,\beta }:=\{(j,s)\in I^{\le \xi }\mid p\le s<p+2h,{\beta }_{\phi (j,s)}=\beta \}\end{array}$$

for each $\beta \in {\mathrm{\Phi }}_{+}$. It follows from Proposition 2.3 that $J_{p,\beta }$ is non empty. Moreover, if $(j,s)\in J_{p,\beta }$ then $s+2h\ge p+2h$ and $s-2h<p$. Hence $(j,s\pm 2h)\notin J_{p,\beta }$ and similarly for all the $(j,s\pm 2mh)$ for any $m\in \mathbb{Z}\backslash \{0\}$. Therefore Proposition 2.3 implies $♯J_{p,\beta }\le 2$ and in case of equality we have $J_{p,\beta }=\{(j,s);(j^{\ast },s+h)\}$ for some $(j,s)\in I^{\le \xi }$. We now fix $\beta \in {\mathrm{\Phi }}_{+}$ and prove that $m(\beta )=0$. We distinguish two cases.

Case 1 $♯J_{p,\beta }=2$. Applying Theorem 3.1 we get

$$\begin{array}{cc}\hfill m(\beta )& ={\tilde{C}}_{i,j}(s-p+1)+{\tilde{C}}_{i,j^{\ast }}(s+h-p+1)\hfill \\ \hfill & ={ϵ}_{i,p}{ϵ}_{j,s}{⟨{\beta }_{\phi (i,p)},\beta ⟩}_Q+{ϵ}_{i,p}{ϵ}_{j^{\ast },s+h}{⟨{\beta }_{\phi (i,p)},\beta ⟩}_Q.\hfill \end{array}$$

As ${ϵ}_{j,s}=-{ϵ}_{j^{\ast },s+h}$ by Proposition 2.3, we get $m(\beta )=0$.

Case 2 $♯J_{p,\beta }=1$. Let us write $J_{p,\beta }:=\{(j,s)\}$. Then $m(\beta )={\tilde{C}}_{i,j}(s-p+1)={ϵ}_{i,p}{ϵ}_{j,s}{⟨{\beta }_{\phi (i,p)},\beta ⟩}_Q$ by Theorem 3.1.

On the other hand, by Proposition 2.3 one has ${\beta }_{\phi (j^{\ast },s-h)}=\beta$. As $(j^{\ast },s-h)\notin J_{p,\beta }$, one must have $s-h<p$. This implies $s+h<p+2h$. As $(j^{\ast },s+h)\notin J_{p,\beta }$ this is possible only if $(j^{\ast },s+h)\notin I^{\le \xi }$ i.e. $s+h>\xi (j^{\ast })$. Therefore we have

$$\begin{array}{c}\hfill \xi (j^{\ast })<s+h<p+2h\le \xi (i).\end{array}$$

In particular, $p+2h>s+h$ and $(p+2h)-(s+h)<\xi (i)-\xi (j^{\ast })\le d(i,j^{\ast })$. Thus Lemma 3.3 yields ${\tilde{C}}_{i,j^{\ast }}((p+2h)-(s+h)+1)=0$. As $p+2h>s+h$ we can again apply Theorem 3.1 and we get

$$\begin{array}{cc}\hfill 0=& {\tilde{C}}_{i,j^{\ast }}((p+2h)-(s+h)+1)={ϵ}_{i,p+2h}{ϵ}_{j^{\ast },s+h}{⟨{\beta }_{\phi (i,p+2h)},\beta ⟩}_Q\hfill \\ \hfill =& {ϵ}_{i,p}{ϵ}_{j^{\ast },s+h}{⟨{\beta }_{\phi (i,p)},\beta ⟩}_Q\hfill \end{array}$$

by Proposition 2.3. Thus ${⟨{\beta }_{\phi (i,p)},\beta ⟩}_Q=0$ and hence $m(\beta )=0$ as well.

This concludes the proof of the Proposition. $\square$

Corollary 11.2

For any $t\ge 1$, one has ${\tilde{D}}_{\xi }\left(\iota ,(,x_{t+2N},)\right)={\tilde{D}}_{\xi }\left(\iota ,(,x_t,)\right)$.

Proof

Let $(i,p):={\phi }^{-1}(t+2N)$. Then we have ${\phi }^{-1}(t)=(i,p+2h)$ (see Sect. 2.2). We can write

$$\begin{array}{cc}\hfill {\tilde{D}}_{\xi }\left(\iota ,(,x_{t+2N},)\right)& ={\tilde{D}}_{\xi }\left({\tilde{\chi }}_q,(X_{i,p})\right)={\tilde{D}}_{\xi }(Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,\xi (i)})\hfill \\ \hfill & ={\tilde{D}}_{\xi }(Y_{i,p}{Y}_{i,p+2}\cdots Y_{i,p+2h-2})·{\tilde{D}}_{\xi }(Y_{i,p+2h}{Y}_{i,p+2}\cdots Y_{i,\xi (i)})\hfill \\ \hfill & ={\tilde{D}}_{\xi }(Y_{i,p+2h}{Y}_{i,p+2}\cdots Y_{i,\xi (i)})\text{by Proposition 11.1}\hfill \\ \hfill & ={\tilde{D}}_{\xi }\left({\tilde{\chi }}_q,(X_{i,p+2h})\right)={\tilde{D}}_{\xi }\left(\iota ,(,x_t,)\right).\hfill \end{array}$$

In particular, this implies that the statement of Proposition 6.3 actually holds for all $t\ge 1$. $\square$

Corollary 11.3

The morphism ${\tilde{D}}_{\xi }$ factors into an algebra morphism

$$\begin{array}{c}\hfill {\overline{D}}_Q:{\overline{\mathcal{A}}}_Q⟶\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n).\end{array}$$

Proof

Let $i\in I$ and $p_i:=\xi (i)-2h+2$. Applying Proposition 11.1 with $p=p_i$, we obtain

$$\begin{array}{c}\hfill {\tilde{D}}_{\xi }\left({\tilde{\chi }}_q,(X_{i,p_i})\right)={\tilde{D}}_{\xi }(Y_{i,p_i}{Y}_{i,p_i+2}\cdots Y_{i,\xi (i)})=1.\end{array}$$

By construction of ${\overline{\mathcal{A}}}_Q$, this shows that ${\tilde{D}}_{\xi }$ yields a morphism ${\overline{D}}_Q:{\overline{\mathcal{A}}}_Q⟶\mathbb{C}({\alpha }_1,\dots ,{\alpha }_n)$. $\square$

Remark 11.4

Corollary 11.2 shows that most of the information of the morphism ${\tilde{D}}_{\xi }$ on ${\mathcal{A}}^{\le \xi }$ is actually contained in its restriction to $K_0({\mathcal{C}}^{[1,2N]})$. The motivation for considering the quotient ${\overline{\mathcal{A}}}_Q$ comes from the geometric perspective explained in Sect. 11.4 below: the trivial values of ${\tilde{D}}_{\xi }$ have to be discarded if one wants to interpret the images of ${\tilde{D}}_{\xi }$ as equivariant multiplicities of certain closed algebraic varieties as in Theorem 5.1.

The cluster algebra ${\overline{\mathcal{A}}}_Q$ contains a seed whose exchange quiver can be viewed as a finite part of Hernandez–Leclerc’s quiver $Q^{{\widehat{\mathbf{i}}}_Q}$, (strictly) containing the exchange quiver of the standard seed ${\mathcal{S}}^{{\mathbf{i}}_Q}$ of $\mathbb{C}[\mathbf{N}]$. However, unlike $\mathbb{C}[\mathbf{N}]$ or other cluster algebras of the form $K_0({\mathcal{C}}^{[1,M]}),M\ge 1$, the cluster algebra ${\overline{\mathcal{A}}}_Q$ does not have any frozen variable.

An example in type $A_3$

In this section, we study a detailed example of the main features of the present paper when $\mathfrak{g}$ is of type $A_3$ and $\xi$ is a height function adapted to a sink-source orientation of the corresponding Dynkin diagram.

We choose the height function $\xi :I⟶\mathbb{Z}$ given by $\xi (1)=\xi (3)=-1$ and $\xi (2)=0$. The corresponding orientation Q of the type $A_3$ Dynkin graph is given by the following sink-source orientation

The corresponding Coxeter transformation is given by ${\tau }_Q=s_2{s}_1{s}_3$. We choose the reduced expression ${\mathbf{i}}_Q=(2,1,3,2,1,3)$ of $w_0$, which is clearly adapted to Q. The infinite sequence ${\widehat{\mathbf{i}}}_Q$ is given by

$$\begin{array}{c}\hfill {\widehat{\mathbf{i}}}_Q=(2,1,3,2,1,3,2,1,3,2,1,3,\dots ).\end{array}$$

We have $I^{\le \xi }=\{(1,-(2k+1)),(2,-2k),(3,-(2k+1)),k\in {\mathbb{Z}}_{\ge 0}\}$ and the bijection $\phi$ is given by $\phi (1,-(2k+1))=2+3k,\phi (2,-2k)=1+3k,\phi (3,-(2k+1))=3+3k$. The exchange quiver $Q^{{\widehat{\mathbf{i}}}_Q}$ of the initial seed ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ considered by Hernandez–Leclerc is given by the graph denoted $G^{-}$ in [24, Fig. 1]. In Fig. 2 we reproduce this quiver, were we put at the node (i, p) the inverse of the value of ${\tilde{D}}_{\xi }$ on the cluster variable $x_{\phi (i,p)}=[X_{i,p}]$. Figure 3 provides the exchange quivers and cluster variables (in terms of classes of Kirillov–Reshetikhin modules) for the respective initial seeds of the cluster algebras ${\overline{\mathcal{A}}}_Q$ and $\mathbb{C}[\mathbf{N}]$. The picture for $\mathbb{C}[\mathbf{N}]$ is contained in the one of ${\overline{\mathcal{A}}}_Q$ in an obvious way.

Fig. 2.

Values of ${\tilde{D}}_{\xi }^{-1}$ on the cluster variables of the seed ${\mathcal{S}}^{{\widehat{\mathbf{i}}}_Q}$ of ${\mathcal{A}}^{\le \xi }$ in type $A_3$

Towards a monoidal categorification of ${\overline{\mathcal{A}}}_Q$

It is proved in [32] that ${\mathcal{C}}^{[1,2N]}$ is in fact a monoidal categorification of a cluster algebra in the sense of [22], i.e. the classes of simple objects in ${\mathcal{C}}^{[1,2N]}$ belong to the set of cluster monomials in $K_0({\mathcal{C}}^{[1,2N]})$. In a previous work [31], Kashiwara–Kim–Oh–Park introduced the notion of commuting family of (graded) braiders in certain categories of modules over quiver Hecke algebras which were known from [30] to provide monoidal categorifications of cluster algebras (namely the unipotent cells of $\mathbb{C}[\mathbf{N}]$). In [31], it is shown that the simple objects corresponding to the frozen variables of these cluster structures form a commuting family of braiders. This allows to construct new monoidal categories by specializing these simple objects to the unit object, following former constructions by Kang–Kashiwara–Kim [28]. Therefore, it would be interesting to investigate whether the simple modules $X_{i,p_i},i\in I$ categorifying the frozen variables in $K_0({\mathcal{C}}^{[1,2N]})$ are commuting braiders. This would yield a monoidal category ${\overline{\mathcal{C}}}_Q:={\mathcal{C}}^{[1,2N]}[X_{i,p_i}\simeq \mathbf{1},i\in I]$ such that ${\overline{\mathcal{A}}}_Q=K_0({\overline{\mathcal{C}}}_Q)$.

Towards a Mirković–Vilonen basis for ${\overline{\mathcal{A}}}_Q$

The morphism ${\overline{D}}_Q$ defined in Sect. 11.1 obviously coincides with ${\tilde{D}}_Q$ on $\mathbb{C}[\mathbf{N}]$ (viewed as a subalgebra of ${\overline{\mathcal{A}}}_Q$). Thus by Theorem 6.1 it also coincides with Baumann–Kamnitzer–Knutson’s morphism $\overline{D}$ on $\mathbb{C}[\mathbf{N}]$. We now provide evidences that the morphism ${\overline{D}}_Q$ on ${\overline{\mathcal{A}}}_Q$ can take values not belonging to the image of $\overline{D}$. These values nonetheless share a similar form as the values of $\overline{D}$ on certain reasonable elements of $\mathbb{C}[\mathbf{N}]$ such as cluster variables for instance.

Let us provide a couple of examples of such new rational fractions. The cluster structure of ${\overline{\mathcal{A}}}_Q$ allows us to mutate in the direction of $x_4:=x_4^{{\widehat{\mathbf{i}}}_Q}=[X_{2,-2}]$. As recalled in Sect. 2.1, this mutation produces a new seed consisting in a new quiver $Q^{\prime }$ (which we do not display here) and with the same cluster variables, except $x_4$ which is replaced by $x_4^{\prime }$ given by the exchange relation (2.1). As ${\overline{D}}_Q$ is an algebra morphism, it is then straightforward to compute ${\overline{D}}_Q(x_4^{\prime })$. We find

$$\begin{array}{c}\hfill {\overline{D}}_Q(x_4^{\prime })=\frac{{\alpha }_1+2{\alpha }_2+{\alpha }_3}{{\alpha }_1{\alpha }_2{\alpha }_3({\alpha }_1+{\alpha }_2+{\alpha }_3)}.\end{array}$$

We can perform similar computations starting with the same initial seed as above and mutating in the direction of $x_5:=x_5^{{\widehat{\mathbf{i}}}_Q}=[X_{1,-3}]$ or $x_6:=x_6^{{\widehat{\mathbf{i}}}_Q}=[X_{3,-3}]$. We respectively obtain

$$\begin{array}{c}\hfill {\overline{D}}_Q(x_5^{\prime })=\frac{{\alpha }_2+2{\alpha }_3}{{\alpha }_1{\alpha }_2({\alpha }_1+{\alpha }_2)}\text{and}{\overline{D}}_Q(x_6^{\prime })=\frac{2{\alpha }_1+{\alpha }_2}{{\alpha }_2{\alpha }_3({\alpha }_2+{\alpha }_3)}.\end{array}$$

It is not hard to check that the rational fractions ${\overline{D}}_Q(x_4^{\prime }),{\overline{D}}_Q(x_5^{\prime }),{\overline{D}}_Q(x_6^{\prime })$ do not belong to the image of $\overline{D}$. Nonetheless, these fractions share a similar form as the values taken by $\overline{D}$ on the cluster variables of $\mathbb{C}[\mathbf{N}]$, which belong to the MV basis. Recalling Theorem 5.1 it is therefore natural to ask the following:

Question 1

Is it possible to construct a basis $\mathcal{B}=(b_Y)$ of ${\overline{\mathcal{A}}}_Q$ indexed by a family of closed varieties Y, such that

• The cluster variables $x_t^{{\widehat{\mathbf{i}}}_Q},1\le t\le 2N-n$ belong to $\mathcal{B}$.

• The elements of the MV basis of $\mathbb{C}[\mathbf{N}]$ are sent onto elements of $\mathcal{B}$ under the natural injection $\mathbb{C}[\mathbf{N}]⟶{\overline{\mathcal{A}}}_Q$.

• For every Y, there exists $p\in Y$ such that ${\overline{D}}_Q(b_Y)$ is equal to the equivariant multiplicity ${ϵ}_p^T(Y)$ of Y at p with respect to the action of some torus T.

Remark 11.5

It is a general fact (see for instance [4, Theorem 4.2]) that if X is a closed projective scheme with an action of a torus T and if p is a non-degenerate point in a T-invariant closed subvariety $Y\subset X$ such that Y is smooth at p, then one has ${ϵ}_p^T(Y)=1/P$ where P is the product of the weights of the action of T on the tangent space $T_{p}Y$. Therefore Proposition 6.3 suggests to investigate possible smoothness properties of the varieties that would correspond to the cluster variables $x_t^{{\widehat{\mathbf{i}}}_Q},1\le t\le 2N-n$ via the first part of Question 1.

Funding Information

Open access funding provided by Austrian Science Fund (FWF).