Abstract
We relate quantum degree cones, parametrizing PBW degenerations of quantized enveloping algebras, to (negative tight monomial) cones introduced by Lusztig in the study of monomials in canonical bases, to Ktheoretic cones for quiver representations, and to some maximal prime cones in tropical flag varieties.
1 Introduction
The aim of this work is to point out a rather unexpected relation between two substantially different degeneration processes arising in the algebraic Lie theory.
The first is the study of toric degenerations of flag varieties G/B of complex semisimple Lie algebras, the totality of which is encoded in tropical flag varieties with respect to Plücker embeddings. The second is the PBWtype degenerations of quantized enveloping algebras \(U_q(\mathfrak {g})\) associated with complex semisimple Lie algebras.
Our link between these two processes is provided by a class of polyhedral cones \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\), called quantum degree cones [2, 9], depending on the complex simple Lie algebra \(\mathfrak {g}\) and a choice of \(\underline{w}_0\), a reduced decomposition of the longest element in the Weyl group of \(\mathfrak {g}\). For such a fixed reduced decomposition, the negative part \(U_q(\mathfrak {n}^)\) of the quantized enveloping algebra is generated by the quantum PBW root vectors with respect to some noncommutative straightening relations. The quantum degree cone is a kind of Gröbner fan in this noncommutative setup, where the monomial ordering is encoded in \(\underline{w}_0\). Interior points of such cones give noncommutative degenerations of \(U_q(\mathfrak {n}^)\) to skew polynomial algebras. As in the commutative Gröbner theory, due to lacking of knowledge on the straightening relations, the facets of the quantum degree cones are usually hard to describe.
The first main result of the present work (Corollary 1) is an embedding (conjectured to be an equality, see Conjecture 1) of the quantum degree cone into the negative tight monomial cone of the Langlands dual Lie algebra, which is a variant of a cone introduced by Lusztig [13] for the identification of monomial elements in the canonical basis of \(U_q(\mathfrak {n}^)\). The proof of this result is based on a detailed analysis of a result of Levendorskii and Soibelman [11] on commutators of quantum PBW root vectors, for which we identify a certain PBW basis element appearing in this commutator with nonvanishing coefficient.
The second main result (Theorem 4) is a proof of the aforementioned conjecture for reduced decompositions adapted to a Dynkin quiver. For the proof, we interpret the quantum degree cone \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\) in terms of the Ktheory of quiver representations, and use known results on their Auslander–Reiten theory [1], which translate to the quantum group setup via Hall algebras [15].
Tropical flag varieties [4] are subfans of Gröbner fans of flag varieties with respect to Plücker embeddings. We observe that, via a result in [7], the quantum degree cone arising from type \(\mathtt A\) and a specific choice of reduced decomposition can be identified with a maximal prime cone in the corresponding tropical flag variety (Theorem 5). This observation is quite surprising, as both cones arise from apparently different Gröbner theory: The straightening relations in the quantum setup become trivial after specialization!
The authors hope that the present observation can be further developed into a more general link allowing the study of tropical flag varieties using the piecewise linear combinatorics arising in quantized enveloping algebras.
The paper is organized as follows: In Sect. 2, we first recall the construction of PBW bases in quantized enveloping algebras and state the commutation formula for root elements. Most of this section is devoted to the proof of the nonvanishing result (Theorem 3) stated above. This result allows us to relate the quantum degree cone and the negative tight monomial cone in Sect. 3, and to formulate our main conjecture (Conjecture 1). In Sect. 4, we review basic results on the representation theory of Dynkin quivers, and on the relation of their associated Hall algebras to the quantized enveloping algebra \(U_q(\mathfrak {n}^)\). This allows us to give a Ktheoretic interpretation of the quantum degree cone and to prove our conjecture (Theorem 4) in many cases. Finally, in Sect. 5 we rephrase the main result of [7] in the present language, identifying a maximal prime cone in the tropical flag variety with a particular quantum degree cone.
2 Commutation relations of quantum PBW root vectors
2.1 Basics on Lie algebras and quantum groups
Let \(\mathfrak {g}\) be a simple Lie algebra of rank n, with Cartan matrix \(A=(a_{ij})_{n\times n}\). We fix \(\Delta _+\) to be the set of positive roots and \(\alpha _1,\ldots ,\alpha _n\) to be the simple roots in \(\Delta _+\). The root lattice will be denoted by \(\mathcal {Q}\) and the weight lattice by \(\mathcal {P}\). We set \(\mathcal {Q}_+:=\mathbb {N}\Delta _+\). Let W be the Weyl group of \(\mathfrak {g}\) generated by the simple reflections \(s_1,\cdots ,s_n\) and \((,)\) the Winvariant scalar product on the weight lattice such that: For any short root \(\alpha \), \((\alpha ,\alpha )=2\); when \(\mathfrak {g}=\mathtt B_n, \mathtt C_n, \mathtt F_4\), for any long root \(\beta \), \((\beta ,\beta )=4\); for \(\mathfrak {g}=\mathtt G_2\) and the long root \(\gamma \), \((\gamma ,\gamma )=6\).
For a positive root \(\alpha \in \Delta _+\), we denote \(d_\alpha :=(\alpha ,\alpha )/2\), and for any simple root \(\alpha _i\), \(d_i:=d_{\alpha _i}\). Let \(\alpha ^\vee =d_\alpha ^{1}\alpha =2\alpha /(\alpha ,\alpha )\). For \(\lambda \in \mathcal {P}\) and \(\alpha \in \mathcal {Q}\), \(\langle \lambda ,\alpha ^\vee \rangle :=\frac{2(\lambda ,\alpha )}{(\alpha ,\alpha )}\). Then the entries of the Cartan matrix are given by: \(a_{ij}=\langle \alpha _j,\alpha _i^\vee \rangle \).
The simple reflections are defined by: \(s_i(\mu )=\mu \langle \mu ,\alpha _i^\vee \rangle \alpha _i\). In particular, \(s_i(\alpha _j)=\alpha _ja_{ij}\alpha _i\).
We fix several Lie theoretic notations. Let \(w_0\in W\) be the longest element in the Weyl group and \(R(w_0)\) the set of all reduced decompositions of \(w_0\). For a reduced expression \(\underline{w}_0=s_{i_1}\cdots s_{i_N}\) where \(N=\#\Delta _+\), we denote \(\beta _t=s_{i_1}\cdots s_{i_{t1}}(\alpha _{i_t})\) for \(1\le t\le N\); then, \(\Delta _+=\{\beta _t\mid \ t=1,\cdots ,N\}\).
Let \(U_q(\mathfrak {g})\) be the generic quantum group associated with \(\mathfrak {g}\). It is generated as an algebra by \(E_i\), \(F_i\) and \(K_i^{\pm 1}\) for \(i=1,\cdots ,n\), subject to the following relations: For \(i,j=1,\cdots ,n\),
and for \(i\ne j\),
where
Let \(U_q(\mathfrak {n}^)\) be the subalgebra of \(U_q(\mathfrak {g})\) generated by \(F_i\) for \(i=1,\cdots ,n\).
Let \(T_i=T_{i,1}''\), \(i=1,\cdots ,n\) be Lusztig’s automorphisms:
for \(i=1,\cdots ,n\), and for \(j\ne i\),
Details can be found in Chapter 37 of [12]. The quantum PBW root vector \(F_{\beta _t}\) associated with \(\beta _t\) is defined by:
Note that for \(i=1,\cdots ,n\), \(F_{\alpha _i}=F_i\). For \(s\in \mathbb {N}\), we define
The PBW theorem of quantum groups says that the set
is a linear basis of \(U_q(\mathfrak {n}^)\) ([12], Corollary 40.2.2).
2.2 Commutation relations of quantum PBW root vectors
The commutation relations of these quantum PBW root vectors are described in the following Levendorskii–Soibelman (LS for short) formula:
Theorem 1
([6, 11]). For any \(1\le k<\ell \le N\),
where \(c(n_{k+1},\ldots ,n_{\ell 1})\in \mathbb {Z}[q^{\pm 1}]\).
A more general result is proved by Xi in [17]:
Theorem 2
([17]). For any \(1\le k<\ell \le N\) and \(s,t\in \mathbb {N}\),
where \(c(n_{k},\ldots ,n_{\ell })\in \mathbb {Z}[q^{\pm 1}]\).
Since the total order \(\beta _1<\beta _2<\ldots <\beta _N\) is convex, by specializing q to 1, we know that in the LS formula (2.1), if there exists \(k<r<\ell \) such that \(\beta _r=\beta _k+\beta _\ell \), then the monomial \(F_{\beta _r}\) appears on the righthand side of (2.1) with nonzero coefficient.
These are all information that can be read off from the specialization \(q\rightarrow 1\). It is natural to ask: What are the monomials appearing on the righthand side of (2.1) with nonzero coefficients?
The goal of the rest of this section is to show that particular monomials may appear in some situations. This will be applied later to study the quantum degree cones.
For \(1\le k\le N\) and \(s\in \mathbb {N}\), we define \(k[s]:=t\) if \(t>k\) such that \(i_t=i_k\) and the number of \(i_k\) appearing in \(\{i_{k+1},\ldots ,i_t\}\) is exactly s; otherwise, we set it to be zero. Hence, \(k[1]=\ell \) implies that \(i_k=i_\ell \) and for any \(k<p<\ell \), \(i_p\ne i_k\).
Theorem 3
Suppose that \(k[1]=\ell \) and \(c_s=\langle \alpha _{i_k},\alpha _{i_s}^\vee \rangle \). The monomial \(F_{\beta _{k+1}}^{(c_{k+1})}\ldots F_{\beta _{\ell 1}}^{(c_{\ell 1})}\) appears in \(F_{\beta _\ell }F_{\beta _k}q^{(\beta _k,\beta _\ell )}F_{\beta _k}F_{\beta _\ell }\) with nonzero coefficient.
The rest of this section will be devoted to proving this theorem.
First observe that by applying \(T_{i_{k1}}^{1}\ldots T_{i_1}^{1}\), we can suppose that \(k=1\). By assumption, \(i_\ell =i_1\).
2.3 Preparations to the proof
We keep the notations in the statement of the theorem and start deriving some combinatorial formulas on roots.
Lemma 1
The following statements hold:

(1).
We have \(\beta _1 + \beta _{\ell } = \sum _{j=2}^{\ell 1} c_j \beta _{j}.\)

(2).
When \(\ell >3\) and \(c_2\ne 0\), the root \(s_{i_1}\ldots s_{i_{\ell 2}}(\alpha _{i_1})\in \mathcal {Q}_+\).
Proof

(1)
By the definition of \(\beta _\ell \), we have:
$$\begin{aligned} \beta _\ell= & {} s_{i_1}\ldots s_{i_{\ell 2}}s_{i_{\ell 1}}(\alpha _{i_1})\\= & {} s_{i_1}\ldots s_{i_{\ell 2}}(\alpha _{i_1}+c_{\ell 1}\alpha _{i_{\ell 1}})\\= & {} s_{i_1}\ldots s_{i_{\ell 2}}(\alpha _{i_1})+c_{\ell 1}\beta _{\ell 1}. \end{aligned}$$Iterating this computation gives
$$\begin{aligned} \beta _\ell =s_{i_1}(\alpha _{i_1})+c_2\beta _2+\ldots +c_{\ell 1}\beta _{\ell 1}.\end{aligned}$$As \(\beta _1=\alpha _{i_1}\), the formula is proved.

(2)
The same argument as in (1) shows that
$$\begin{aligned} s_{i_1}\ldots s_{i_{\ell 2}}(\alpha _{i_1})=\alpha _{i_1}+c_2\beta _2+\ldots +c_{\ell 2}\beta _{\ell 2}.\end{aligned}$$Since for any \(2\le s\le \ell 1\), \(c_s\ge 0\), it suffices to show that \(c_2\beta _2\alpha _{i_1}\) is a positive root. We have
$$\begin{aligned} c_2\beta _2\alpha _{i_1}=c_2\alpha _{i_2}(c_2a_{i_1,i_2}+1)\alpha _{i_1}.\end{aligned}$$As \(c_2=\langle \alpha _{i_1},\alpha _{i_2}^\vee \rangle \ge 1\), \(a_{i_1,i_2}=\langle \alpha _{i_2},\alpha _{i_1}^\vee \rangle \le 1\), this proves the statement.
\(\square \)
The following lemma will be used later.
Lemma 2
Assume that \(\ell >3\), \(c_2\ne 0\) and let \(X:=T_{i_1}\ldots T_{i_{\ell 2}}(F_{i_1})\).

(1)
We have \(X\in U_q(\mathfrak n^)\).

(2)
In the following expression of X:
$$\begin{aligned} X=\sum _{n_1,\ldots ,n_N\ge 0}h(n_1,\ldots ,n_N)F_{\beta _1}^{(n_1)}\ldots F_{\beta _N}^{(n_N)},\end{aligned}$$if \(h(n_1,\ldots ,n_N)\ne 0\), then \(n_{\ell 1}=n_{\ell }=\ldots =n_N=0\).
Proof

(1)
The quantum group \(U_q(\mathfrak {g})\) is graded by the root lattice \(\mathcal {Q}\) where \(E_i\) (resp. \(F_i\)) has degree \(\alpha _i\) (resp. \(\alpha _i\)) and \(K_i^{\pm 1}\) have degree 0. The Lusztig automorphism \(T_i\) preserves this grading and sends a homogeneous element of degree \(\beta \in \mathcal {Q}\) to a homogeneous element of degree \(s_i(\beta )\). According to Lemma 1 (3), the statement holds since X is homogeneous of degree \(s_{i_1}\cdots s_{i_{\ell 2}}(\alpha _{i_1})\).

(2)
Since \(c_2\ne 0\), there exists \(2\le t\le \ell 2\) such that \(c_t\ne 0\) and for any \(t<p\le \ell 2\), \(c_p=0\). Then
$$\begin{aligned} X= & {} T_{i_1}\ldots T_{i_t}(F_{i_1})\\= & {} \sum _{r+s=c_t}(1)^r q_{i_t}^r T_{i_1}\ldots T_{i_{t1}}(F_{i_t}^{(r)})T_{i_1}\ldots T_{i_{t1}}(F_{i_1})T_{i_1}\ldots T_{i_{t1}}(F_{i_t}^{(s)})\\= & {} \sum _{r+s=c_t}(1)^r q_{i_t}^r F_{\beta _t}^{(r)}T_{i_1}\ldots T_{i_{t1}}(F_{i_1}) F_{\beta _t}^{(s)}. \end{aligned}$$Since \(t1<\ell 2\), iterating this procedure and applying Theorem 2 to write the quantum PBW root vectors into correct order, we obtained that \(n_{t+1}=n_{t+2}=\ldots =n_N=0\). As \(t\le \ell 2\), \(n_{\ell 1}=n_\ell =\ldots =n_N=0\).
\(\square \)
2.4 Proof of Theorem 3: rank 2 cases
When the rank of \(\mathfrak {g}\) is 2, to prove the theorem, it suffices to consider the cases \((i_1,i_2,i_3)=(1,2,1)\) and \((i_1,i_2,i_3)=(2,1,2)\).
We first prove the theorem for \((i_1,i_2,i_3)=(2,1,2)\) in \(\mathtt A_2\), \(\mathtt B_2\) and \(\mathtt C_2\), and the other case can be proved similarly.

(1)
Case \(\mathtt A_2\). In this case, \(\beta _1=\alpha _2\), \(\beta _3=\alpha _1\); hence, \(F_{\beta _3}=F_1\). The commutation relation reads \(F_1F_2qF_2F_1\), which is nothing but \(T_2(F_1)\).

(2)
Case \(\mathtt B_2\). In this case, \(\beta _1=\alpha _2\), \(\beta _3=2\alpha _1+\alpha _2\). The commutation relation is
$$\begin{aligned} F_{\beta _3}F_{\beta _1}F_{\beta _1}F_{\beta _3}=(1+q^{2})F_{\beta _2}^{(2)}.\end{aligned}$$ 
(3)
Case \(\mathtt C_2\). In this case, \(\beta _1=\alpha _2\), \(\beta _3=\alpha _1+\alpha _2\). The commutation relation is given by
$$\begin{aligned} F_{\beta _3}F_{\beta _1}F_{\beta _1}F_{\beta _3}=(q+q^{1})F_{\beta _2}.\end{aligned}$$
It remains to consider the \(\mathtt G_2\) case. For \((i_1,i_2,i_3)=(1,2,1)\), \(\beta _1=\alpha _1\) and \(\beta _3=2\alpha _1+3\alpha _2\). The commutation relation reads
For \((i_1,i_2,i_3)=(2,1,2)\), \(\beta _1=\alpha _2\) and \(\beta _3=\alpha _1+2\alpha _2\). The commutation relation is
2.5 Proof of Theorem 3: general case
The proof is executed by induction on \(\ell \). The case \(\ell =3\) is the rank 2 case proved above.
Moreover, we can assume that \(c_2\ne 0\) and \(c_{\ell 1}\ne 0\), since otherwise the statement holds by induction hypothesis.
We start with considering the quantum PBW root vector \(F_{\beta _\ell }\):
We suppose that \(X=T_{i_1}\ldots T_{i_{\ell 2}}(F_{i_1})\) and \(\gamma =s_{i_1}\ldots s_{i_{\ell 2}}(\alpha _{i_1})\). The commutator of quantum PBW root vectors gives
From Theorem 2, we can write
where \(\Sigma _1'\) consists of terms appearing on the righthand side of (2.2); moreover, we set \(\Sigma _1:=F_{\beta _{\ell 1}}^{(r)}X\Sigma _1'\); then,
We claim that \(F_{\beta _2}^{(c_2)}\ldots F_{\beta _{\ell 1}}^{(c_{\ell 1})}\) does not appear with nonzero coefficient in \(\Sigma _1\). Indeed, by Lemma 2, writing X in the PBW basis, \(F_{\beta _{\ell 1}}\) does not appear in any monomial. Hence, commuting \(F_{\beta _{\ell 1}}^{(r)}\) with X using Theorem 2 will not producing any element in the PBW basis with the power of \(F_{\beta _{\ell 1}}\) higher than r. Again by Theorem 2, commuting \(F_{\beta _{\ell 1}}^{(s)}\) and \(F_{\beta _1}\) will produce elements in the PBW basis with the power of \(F_{\beta _{\ell 1}}\) strictly less than s. Combining them together proves the claim.
The same argument shows that, if we write using Theorem 2
where \(\Sigma _2\) is defined in the same way as \(\Sigma _1\), then the monomial \(F_{\beta _2}^{(c_2)}\ldots F_{\beta _{\ell 1}}^{(c_{\ell 1})}\) does not appear in \(\Sigma _2\) with nonzero coefficient.
As a consequence, to study the coefficient of \(F_{\beta _2}^{(c_2)}\ldots F_{\beta _{\ell 1}}^{(c_{\ell 1})}\), it suffices to consider the term
We simplify the power of q in the brackets: By the proof of Lemma 1 (1),
The term in the brackets now reads
By induction hypothesis, in this commutator, when written in the PBW basis, there exists a term \(\lambda F_{\beta _2}^{(c_2)}\ldots F_{\beta _{\ell 2}}^{(c_{\ell 2})}\) with \(\lambda \ne 0\). From this, we obtain the following term in the above sum
We denote
where \(\mu =\sum _{t=2}^{\ell 2}c_t r(\beta _t,\beta _{\ell 1})\). By Theorem 2 again, the monomial \(F_{\beta _2}^{(c_2)}\ldots F_{\beta _{\ell 2}}^{(c_{\ell 2})}F_{\beta _{\ell 1}}^{(r)}\) does not appear in \(\Sigma _3\) with nonzero coefficient. Therefore, the monomial \(F_{\beta _2}^{(c_2)}\ldots F_{\beta _{\ell 2}}^{(c_{\ell 2})}F_{\beta _{\ell 1}}^{(c_{\ell 1})}\) appears in (2.3) with coefficient
It suffices to show that this term is nonzero. We first simplify the power of q: apply Lemma 1 (1) and replace \(s=c_{\ell 1}r\),
where for the third equality, the Winvariance is used. Since both \(\lambda \) and \(q^{(\beta _1,\beta _{\ell 1})}\) are nonzero constants, to show that the coefficient (2.5) is nonzero, it suffices to show that
Here, we used the fact that \(c_{\ell 1}=d_{i_{\ell 1}}^{1}(\alpha _{i_{\ell 1}},\alpha _{i_1})\).
By the assumption, \(c_{\ell 1}\ne 0\); hence, in the case where the rank of \(\mathfrak {g}\) is higher than 2, \(c_{\ell 1}=1\) or 2. If \(c_{\ell 1}=1\), equation (2.6) reads \(1q_{i_{\ell 1}}^2\). If \(c_{\ell 1}=2\), equation (2.6) reads \(1q_{i_{\ell 1}}^2q_{i_{\ell 1}}^4+q_{i_{\ell 1}}^6\). In both cases, they are nonzero. This terminates the proof of Theorem 3.
Remark 1
It is clear from the proof that Theorem 3 still holds when q is not a small root of unity.
3 Quantum degree cone and Lusztig tight monomial cone
3.1 Lusztig tight monomial cones
In [13], Lusztig defined a polyhedral cone in the simply laced cases in order to study monomials in the canonical basis. The natural generalizations to all Lie types are given in [5].
Let \(\underline{w}_0=s_{i_1}\cdots s_{i_N}\) be a reduced decomposition of \(w_0\). The Lusztig tight monomial cone \(\mathcal {L}_{\underline{w}_0}(\mathfrak {g})\subset \mathbb {R}^N\) is the polyhedral cone defined by the following inequalities:

(i)
for any two indices \(1\le p<p'\le N\) with \(p'=p[1]\), we have
$$\begin{aligned} x_p+x_{p'}+\sum _{p<s<p'}a_{i_p,i_s}x_s\le 0;\end{aligned}$$ 
(ii)
for \(1\le p\le N\), \(x_p\ge 0\).
It is shown in [5, Theorem 8.10] that the cone \(\mathcal {L}_{\underline{w}_0}(\mathfrak {g})\) is simplicial.
We will denote \(\mathcal {L}_{\underline{w}_0}^(\mathfrak {g})\subset \mathbb {R}^N\), termed a negative tight monomial cone, the polyhedral cone defined by

(i)’
for any two indices \(1\le p<p'\le N\) with \(p'=p[1]\), we have
$$\begin{aligned} x_p+x_{p'}+\sum _{p<s<p'}a_{i_p,i_s}x_s\ge 0.\end{aligned}$$
The cone \(\mathcal {L}_{\underline{w}_0}^(\mathfrak {g})\) is a product of a lineality space of dimension n and a simplicial cone of dimension \(Nn\). Indeed, the statement on lineality space holds since the matrix defining the polyhedral cone has rank \(Nn\). The simplicial property then follows as there are exactly \(Nn\) inequalities defining \(\mathcal {L}_{\underline{w}_0}^(\mathfrak {g})\).
3.2 Quantum degree cones
The quantum degree cones are defined in [2], motivated by studying the quantum PBW filtration on quantum groups.
We keep the notations in LS formula. The quantum degree cone \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\) associated with a reduced decomposition \(\underline{w}_0\) is defined by:
Our notation here is slightly different to [2]: The quantum degree cone therein is the interior of the cone \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\cap \mathbb {R}_{\ge 0}^{\Delta _+}\).
It is proved in loc.cit. that \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\) is nonempty, and any \(\mathbf {d}\in \mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\) defines a filtered algebra structure on \(U_q(\mathfrak {n}^)\) by letting \(\deg (F_{\beta _i})=d_{\beta _i}\). The associated graded algebra is isomorphic to a skew polynomial algebra if and only if \(\mathbf {d}\) is contained in the interior of \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\).
Remark 2
It is natural to ask for whether it is possible to glue these separate cones into a polyhedral fan. Some related results can be found in [2, Lemma 3.3, Remark 3.4, Theorem 4.5]. For example, in the rank 2 case, it is shown in [2, Proposition 4.4] that all quantum degree cones are the same. We do not have a general answer.
3.3 Relations between two cones
For a fixed \(\underline{w}_0\), we identify \(\mathbb {R}^{\Delta _+}\) with \(\mathbb {R}^N\) by sending \((d_\beta )_{\beta \in \Delta _+}\) to \((d_{\beta _1},d_{\beta _2},\cdots ,d_{\beta _N})\).
As a consequence of Theorem 3, for a fixed \(\underline{w}_0\), we obtain an embedding of the quantum degree cone to the negative tight monomial cone. We denote \(\mathfrak {g}^L\) the Langlands dual of the Lie algebra \(\mathfrak {g}\).
Corollary 1
For any \(\underline{w}_0\in R(w_0)\), we have \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})\subseteq \mathcal {L}_{\underline{w}_0}^(\mathfrak {g}^L)\).
Proof
According to Theorem 3 and the definition of the quantum degree cone, all defining inequalities of \(\mathcal {L}_{\underline{w}_0}^(\mathfrak {g}^L)\) are fulfilled for any point in the quantum degree cone. \(\square \)
We conjecture that these two cones coincide.
Conjecture 1
For any \(\underline{w}_0\in R(w_0)\), we have \(\mathcal {D}_{\underline{w}_0}^q(\mathfrak {g})=\mathcal {L}_{\underline{w}_0}^(\mathfrak {g}^L)\).
In the next section, we prove this conjecture in the case where \(\mathfrak {g}\) is simply laced and \(\underline{w}_0\) is compatible with a quiver.
4 Quiver representations and Hall algebras
The partial proof of Conjecture 1 makes essential use of the representation theory of Dynkin quivers. Namely, the quantum group \(U_q(\mathfrak {n}^)\) can be modeled in this language by identifying it with the socalled generic Hall algebra of a Dynkin quiver. In this way, the conjecture can be derived from a statement about Ktheoretic cones. We will make free use of the basic results on representations of quivers and their Auslander–Reiten theory; a reference is [1]. For Hall algebra methods, we refer to [9, 15].
4.1 Quiver representations
Let \(\mathbb {K}\) be a field. We fix a Dynkin quiver, that is, an oriented graph whose underlying unoriented graph is a Dynkin diagram of type \(\mathtt A\), \(\mathtt D\), or \(\mathtt E\). We denote the set of vertices of Q by I. The number of arrows between any two different vertices i and j (in either direction) thus equals \(a_{ij}\in \{0,1\}\).
Associated with these data, we have the path algebra \(\mathbb {K}Q\) of Q, which is a finite dimensional associative unital algebra. We denote by \(\mathrm {mod}(\mathbb {K}Q)\) the category of finite dimensional \(\mathbb {K}Q\)modules.
We denote by \(K_0:=K_0(\mathbb {K}Q)\) the Grothendieck group of \(\mathbb {K}Q\), which is the free abelian group in isomorphism classes [X] in \(\mathrm {mod}(\mathbb {K}Q)\) modulo the relation \([X]=[M]+[N]\) whenever there exists a short exact sequence \(0\rightarrow M\rightarrow X\rightarrow N\rightarrow 0\). By the Jordan–Hoelder theorem, \(K_0\) is isomorphic to the free abelian group generated by the isomorphism classes of simple modules.
Let \(K_0^\oplus :=K_0^{\oplus }(\mathbb {K}Q)\) be the split Grothendieck group of \(\mathbb {K}Q\)modules, which is the free abelian group in isomorphism classes in \(\mathrm {mod}(\mathbb {K}Q)\) modulo the relations \([M\oplus N]=[M]+[N]\). By the Krull–Schmidt theorem, \(K_0^\oplus \) is freely generated by the isomorphism classes of indecomposable modules.
By definition, there is a welldefined map \(\mathbf {dim}:K_0^\oplus \rightarrow K_0\).
The (isomorphism classes of) simple modules \(S_i\) in \(\mathrm {mod}(\mathbb {K}Q)\) are parametrized by the vertices \(i\in I\). This identifies \(K_0\simeq \mathbb {Z}^I\) with the root lattice of \(\mathfrak {g}\), the Lie algebra having the underlying graph of Q as Dynkin diagram, by mapping the class \([S_i]\) to the simple root \(\alpha _i\). By Gabriel’s theorem, the (isomorphism classes of) indecomposable modules are parametrized by the positive roots in the root lattice: For each \(\alpha \in \Delta _+\), there exists a unique (up to isomorphism) indecomposable module \(U_\alpha \) having dimension vector \(\alpha \).
Using these identifications, the map \(\mathbf {dim}:K_0^\oplus \rightarrow K_0\) just assigns to an isomorphism class its dimension vector. We can also parametrize all isomorphism classes in \(\mathrm {mod}(\mathbb {K}Q)\) by functions \(\varphi :\Delta _+\rightarrow \mathbb {N}\) via
Note that this parametrization is independent of the ground field \(\mathbb {K}\).
The category \(\mathrm {mod}(\mathbb {K}Q)\) is of global dimension at most one, that is, \(\mathrm {Ext}^{\ge 2}(,)\) vanishes identically. For two \(\mathbb {K}Q\)modules M and N, we will use the shorthand notation
and we define \(\langle M,N\rangle =[M,N][M,N]^1\), the homological Euler form of Q. It only depends on the classes of M and N in \(K_0\); thus, we have a welldefined bilinear form
on the root lattice \(\mathcal {Q}\), whose symmetrization \((,)\) is known to equal the bilinear form defined by the Cartan matrix.
4.2 Auslander–Reiten quivers arising from reduced decompositions
For every nonprojective indecomposable U in \(\mathrm {mod}(\mathbb {K}Q)\), there exists a socalled almost split (or Auslander–Reiten) sequence ending in U, that is, a nonsplit short exact sequence
with the following defining property: for every indecomposable V, the space \(C_{U,V}\) defined by
has dimension \(\delta _{[U],[V]}\). The module \(\tau U\) is again indecomposable, and is called the Auslander–Reiten translate of U.
The Auslander–Reiten quiver \(\Gamma _Q\) of \(\mathrm {mod}(\mathbb {K}Q)\) is defined as the quiver with vertices the isomorphism classes [U] of indecomposables, and with an arrow \([U]\rightarrow [V]\) if there exists an irreducible map \(f:U\rightarrow V\), that is, a nonzero nonisomorphism such that, in every factorization \(f=hg\) for
either g is a split monomorphism, or h is a split epimorphism. Moreover, \(\Gamma _Q\) has an additional “translation” structure with translation arrows \([U]\dashrightarrow [\tau U]\).
In fact, the vertices [V] in \(\Gamma _Q\) admitting an arrow to a nonprojective [U] (and, equivalently, those admitting an arrow from \([\tau U]\)) can be characterized as the indecomposable direct summands of \(B_U\).
The Auslander–Reiten quiver of Q is known to be directed, which translates into the fact that the category \(\mathrm {mod}(\mathbb {K}Q)\) is representationdirected, which means that there exists an enumeration \(\beta _1,\cdots ,\beta _N\) of the positive roots such that
We will write \(U_k:=U_{\beta _k}\) for short. It is known [12] that there exists a sequence \(i_1,\cdots ,i_N\) in I such that \(\underline{w}_0:=s_{i_1}\cdots s_{i_N}\) is a reduced decomposition in \(R(w_0)\), and such that \(\beta _k = s_{i_1}\cdots s_{i_{k1}}(\alpha _{i_k})\) for all \(k = 1,\cdots ,N\).
From this reduced decomposition, the Auslander–Reiten quiver can be recovered completely:

(1)
\(\Gamma _Q\) is isomorphic to the translation quiver defined in the following way:

the vertices are \(1,2,\cdots ,N\);

there are arrows \(k\rightarrow \ell \) and \(\ell \rightarrow k[1]\) (when k[1] exists) if there exists an arrow \(i_\ell \rightarrow i_k\) in Q, and \(\ell \) is minimal among those indices larger than k with this property;

there is a translation \(\ell \dashrightarrow k\) if \(\ell =k[1]\).


(2)
for \(k\le \ell \), the dimension \([U_k,U_\ell ]\) equals \(\langle \mathbf {dim}\,U_k,\mathbf {dim}\,U_\ell \rangle \);

(3)
for \(k\le \ell \), the dimension \([U_\ell ,U_k]^1\) equals \(\langle \mathbf {dim}\,U_\ell ,\mathbf {dim}\,U_k\rangle \).
We define a partial order \(U\preceq V\) on the indecomposable modules if there exists a path from U to V in the Auslander–Reiten quiver. By the above argument, this partial order is compatible with the directed enumeration, that is to say, if \(U_k\preceq U_\ell \) then \(k\le \ell \).
4.3 Hall algebras
We recall the definition of the generic Hall algebra \(\mathcal {H}(Q)\) of Q.
For representations V, W and X of Q over a finite base field \(\mathbb {F}_q\), we denote by \(H_{V,W}^X\) the number of submodules U of X which are isomorphic to W, with quotient X/U isomorphic to V. Now recall the fieldindependent parametrization of representations above; given functions \(\varphi , \chi ,\psi :\Delta _+\rightarrow \mathbb {N}\), we can then consider
as a function of the cardinalities q of finite fields. In fact, it behaves polynomially in q ([15]); thus, we will view \(H_{\varphi ,\chi }^\psi (q)\in \mathbb {Z}[q]\) as a polynomial in a variable q, called a Hall polynomial. By slight abuse of notation, we can then, for any field \(\mathbb {K}\), define the Hall polynomial \(H_{V,W}^X(q)\) by
The generic Hall algebra \(\mathcal {H}(Q)\) of Q is then defined as the \(\mathbb {Q}(q)\)algebra with linear \(\mathbb {Q}(q)\)basis \(F_{[V]}\) for V ranging over all isomorphism classes in \(\mathrm {mod}(\mathbb {K}Q)\), with multiplication defined by:
The most important fact about Hall algebras for our present purposes is that \(\mathcal {H}(Q)\) is isomorphic to \(U_q(\mathfrak {n}^)\) [15], the isomorphism
being given by \(F_{[S_i]}\mapsto F_i\). This will now allow us to understand the LS formula in terms of quiver representations.
We first summarize some basic facts about Hall polynomials. For this, we assume the base field \(\mathbb {K}\) to be algebraically closed from now on (to avoid some anomalies over small finite fields):

(1)
\(H_{V,W}^X(q)\ne 0\) if and only if there exists a short exact sequence \(0\rightarrow W\rightarrow X\rightarrow V\rightarrow 0\).

(2)
If \([W,V]=0\) and X is an extension of V by W, then \(H_{V,W}^X(q)=1\).

(3)
If \([V,W]=0\), then \(H_{V,W}^{V\oplus W}(q)=q^{[W,V]}\).
For an indecomposable module U, we denote the image of \(F_{[U]}\) under \(\eta _Q\) by \(F_{\mathbf {dim}\,U}\). Given a finite dimensional \(\mathbb {K}Q\)module M, we can decompose it as
Then in the Hall algebra, we have
For two indecomposable modules \(U\preceq V\) (and thus \([V,U]=0=[U,V]^1\)), we define the qcommutator by:
By the definition of the multiplication in the Hall algebra and the properties of the Hall polynomials mentioned above, we have
and
the sum ranging over all isomorphism classes of nonsplit extensions X of V by U. We thus derive
the sum ranging again over all isomorphism classes of nonsplit extensions X of V by U. According to the first property of Hall polynomials above, all nonsplit extensions X will appear on the righthand side with nonzero coefficient \(c_{[X]}\).
We note two special cases of such qcommutators:

(1)
One special case is when \([V,U]^1=0\); then, \([F_{[V]},F_{[U]}]_q=0\).

(2)
The other special case is when \(U=\tau V\) is the Auslander–Reiten translation of V. In this case, there exists exactly one nonsplit extension X of V by U given by the middle term \(B_V\) of the Auslander–Reiten sequence, and the qcommutator can be computed as
$$\begin{aligned}{}[F_{[V]},F_{[U]}]_q=(qq^{1})^{[U,V]}F_{[B_V]}.\end{aligned}$$
We translate these computations in \(\mathcal {H}(Q)\) to \(U_q(\mathfrak {n}^)\) using the algebra isomorphism \(\eta _Q\) described above. Under this isomorphism, \(F_{[U_k]}\) is sent to the quantum PBW root vector \(F_{\beta _k}\) corresponding to the reduced decomposition arising from the enumeration of positive roots. Then the above formulae can be rewritten as

(1)
If \((\beta _\ell ,\beta _k)=0\), then \(F_{\beta _\ell }F_{\beta _k}=F_{\beta _k}F_{\beta _\ell }\).

(2)
If \(1\le k<\ell \le N\) and \(\ell =k[1]\), then
$$\begin{aligned}_q=(qq^{1})^{\langle \beta _k,\beta _\ell \rangle }\prod _{k<p<\ell ,\ \langle \alpha _{i_p},\alpha _{i_k}\rangle \ne 0}F_{\beta _p}.\end{aligned}$$
4.4 Comparison of cones: quivercompatible case
We now introduce a Ktheoretic cone associated with the quiver Q and use the previous results to relate it to the quantum degree cone.
Recall the map \(\mathbf {dim}:K_0^\oplus \rightarrow K_0\), and denote by \(\Lambda \) its kernel. Then we have the short exact sequence of free abelian groups \(0\rightarrow \Lambda \rightarrow K_0^\oplus \rightarrow K_0\rightarrow 0\). Dualizing by taking \(()^*:={\text {*}}{Hom}(,\mathbb {Z})\), we obtain a short exact sequence
Note that, by definition, \(\Lambda ^*\) consists of additive functions on \(K_0^\oplus \) modulo those functions depending only on the dimension vectors of modules.
Let \(\Lambda _\mathbb {R}:=\Lambda \otimes _\mathbb {Z}\mathbb {R}\). We consider the cone \(\mathcal {E}\subset \Lambda _\mathbb {R}\) generated by expressions \([V]+[W][X]\) whenever there exists a short exact sequence \(0\rightarrow V\rightarrow X\rightarrow W\rightarrow 0\). Inside \(\mathcal {E}\), we consider the subcones:

(1)
\(\mathcal {E}'\) generated by all \([V]+[W][X]\) for V and W indecomposable and X an extension of V by W,

(2)
\(\mathcal {E}''\) generated by all \([U]+[\tau U][B_U]\) for U a nonprojective indecomposable.
Let \(\mathcal {D}:=\mathcal {E}^\vee \subset \Lambda _\mathbb {R}^*\) be the dual cone of \(\mathcal {E}\), that is,
The cone \(\mathcal {D}\) thus consists of those functions \(\varphi \) on \(\Lambda _\mathbb {R}\) which are additive, that is, \(\varphi ([V\oplus W])=\varphi ([V])+\varphi ([W])\), and such that for any short exact sequence \(0\rightarrow V\rightarrow X\rightarrow W\rightarrow 0\), we have \(\varphi ([X])\le \varphi ([V])+\varphi ([W])\).
Using the terminology of [9, Definition 2], such a function \(\varphi \) is an admissible function on isomorphism classes of \(\mathbb {K}Q\)modules. By [9, Theorem 4(1)], the cone \(\mathcal {D}\) is freely generated by the functions \([U,]\) for U a nonprojective indecomposable \(\mathbb {K}Q\)module (since if U is projective, then \([U,]\) only depends on the dimension vector).
Lemma 3
We have \(\mathcal {E}=\mathcal {E}'=\mathcal {E}''\).
Proof
By definition, we have inclusions \(\mathcal {E}''\subset \mathcal {E}'\subset \mathcal {E}\); thus, it suffices to prove that \(\mathcal {E}\subset \mathcal {E}''\) or, in other words, that any expression \([V]+[W][X]\) can be written as a nonnegative linear combination of expressions \([U]+[\tau U][B_U]\). By [3], a linear combination
(the sum ranging over all nonprojective indecomposables) with integral coefficients \(a_{[U]}\) exists. For any nonprojective indecomposable Y, applying \(\mathrm{Hom}(Y,)\) to all modules and using the defining property of almost split sequences, we find
which is thus nonnegative since V, X and W form a short exact sequence. \(\square \)
We can now prove the main result of this section:
Theorem 4
Let Q be a quiver of type \(\mathtt A\), \(\mathtt D\) or \(\mathtt E\) and \(\underline{w}_0\in R(w_0)\) be compatible with Q. Then
Proof
Using \(\mathcal {E}=\mathcal {E}'\), we can characterize \(\mathcal {D}\) as the cone of additive functions \(\varphi \) on representations such that \(\varphi ([X])\le \varphi ([V])+\varphi ([W])\) whenever there exists a nonsplit short exact sequence \(0\rightarrow V\rightarrow X\rightarrow W\rightarrow 0\) with V and W indecomposable. Such modules can be written as \(V=U_k\), \(W=U_\ell \), for \(k<\ell \), and \(X=\bigoplus _pU_p^{n_p}\), where \(n_p\not =0\) only if \(k<p<\ell \) (since otherwise, by directedness, there is no map from U to \(U_p\) or from \(U_p\) to V). Using the quivertheoretic interpretation of the LS formula developed above, \(\mathcal {D}\) can thus be characterized as the cone of functions \(\varphi \) on positive roots such that
whenever \(F_{\beta _{k+1}}^{(n_{k+1})}\cdot \ldots \cdot F_{\beta _{\ell 1}}^{(n_{\ell 1})}\) appears with nonzero coefficient in the qcommutator \([F_{\beta _\ell },F_{\beta _k}]_q\). But this is precisely the definition of the quantum degree cone \(\mathcal {D}^q_{\underline{w}_0}(\mathfrak {g})\). On the other hand, using \(\mathcal {E}=\mathcal {E}''\), we can characterize \(\mathcal {D}\) as the cone of additive functions \(\varphi \) on representations such that \(\varphi ([B_U])\le \varphi ([U])+\varphi ([\tau U])\) for all nonprojective indecomposables U. In this situation, we can write \(\tau U=U_k\), \(U=U_{k[1]}\), and we have
by the combinatorial description of \(\Gamma _Q\) stated above. Thus, \(\mathcal {D}\) can be characterized as the cone of functions \(\varphi \) on positive roots such that
which is precisely the definition of the negative tight monomial cone \(\mathcal {L}_{\underline{w}_0}^(\mathfrak {g})\). \(\square \)
4.5 Example
Let \(\mathfrak {g}=\mathfrak {sl}_{n+1}\) be of type \(\mathtt A_n\) with positive roots
We compute the quantum degree cone \(\mathcal {D}_{\underline{w}_0^\mathrm {max}}^q(\mathfrak {g})\) for
This reduced decomposition is compatible with the following quiver of type \(\mathtt A_n\):
For simplicity, we denote \(d_{i,j}:=d_{\alpha _{i,j}}\) for \(1\le i\le j\le n\). By Theorem 4, it suffices to compute \(\mathcal {L}_{\underline{w}_0^{\mathrm {max}}}^(\mathfrak {g}^L)\), which is given by:
5 Tropical flag varieties
The quantum degree cone can be looked as a cone arising from noncommutative Gröbner theory. It is natural to ask for a connection to the (commutative) Gröbner theory of flag varieties. We describe such a connection in this section.
5.1 Tropical varieties
For an embedded projective variety \(X\hookrightarrow \mathbb {P}^N\), the associated tropical variety with respect to its intersection with the standard torus in \(\mathbb {P}^N\), roughly speaking, is a subfan in the Gröbner fan of the homogeneous prime ideal defining X in \(\mathbb {P}^N\). This polyhedral object is found to be very useful to derive and prove effective results in enumerative geometry and intersection theory (such as Gromov–Witten invariants). Maximal dimension cones in the tropical variety may give toric degenerations of X (here a toric variety is not necessarily irreducible). We briefly recall the definition of a tropical variety in this setting, details see [4].
For a polynomial
we define its support \(\mathrm {supp}(f)\) as those tuples \(\mathbf {a}\in \mathbb {N}^{n+1}\) such that \(\lambda _\mathbf {a}\ne 0\). The tropicalization of f, denoted by \(\mathrm {trop}(f)\), is a map from \(\mathbb {R}^{n+1}\) to \(\mathbb {R}\) defined by:
Let \(\mathbf {1}:=(1,1,\cdots ,1)\in \mathbb {R}^{n+1}\) and \(H:=\mathbb {R}^{n+1}/\mathbb {R}\mathbf {1}\).
Let \(I\subset \mathbb {C}[x_0,x_1,\cdots ,x_n]\) be a homogeneous prime ideal and V(I) be the (irreducible) projective variety associated with I. The tropical variety associated with V(I) is defined by:
The tropical variety \(\mathrm {trop}(V(I))\) is a polyhedral fan of dimension \(\dim (V(I))\); all vectors \(\mathbf {v}\) in the relative interior of a cone C give the same initial ideal \(\mathrm {in}_C(I):=\mathrm {in}_\mathbf {v}(I)\); vectors in different cones give different initial ideals.
A cone C in \(\mathrm {trop}(V(I))\) is called a maximal prime cone if C is a cone of maximal dimension, and \(\mathrm {in}_C(I)\) is a prime ideal. When \(\mathrm {in}_C(I)\) is furthermore a binomial ideal, we get a flat degeneration of the variety V(I) to the toric variety \(V(\mathrm {in}_C(I))\).
It is an important but hard question to give the ray descriptions or the facet descriptions of the cones in such a tropical variety. By the duality construction in [10], knowing the ray description of a maximal prime cone C with binomial initial ideal allows one to recover a higher rank valuation on the homogeneous coordinate ring of \(X:=\mathrm {Proj}(V(I))\) so that the associated Newton–Okounkov body is the polytope defining the toric variety \(\mathrm {in}_C(I)\). On the other hand, we hope that having an explicit description to the facets may shed light on executing the algorithms in Gröbner theory, such as the Gröbner walk, to cross a codimension one face in order to obtain new reduced Gröbner bases, as well as the descriptions of the other cones [16].
5.2 Tropical complete flag varieties
We fix an integer \(n>1\). Let \(\mathrm {SL}_n\) be the special linear group defined over \(\mathbb {C}\) and \(B\subset \mathrm {SL}_n\) be the Borel subgroup consisting of upper triangular matrices in \(\mathrm {SL}_n\). Let \(\mathcal {F}l_n:=\mathrm {SL}_n/\mathrm {B}\) be the complete flag variety and \(\mathbb {C}^n\) be the natural representation of \(\mathrm {SL}_n\). We consider the Plücker embedding of \(\mathcal {F}l_n\) into a product of projective spaces
We fix the standard basis \(e_1,\cdots ,e_n\) of \(\mathbb {C}^n\) and \(I=\{i_1,\cdots ,i_k\}\) such that \(1\le i_1<\cdots <i_k\le n\). The linear function
is called a Plücker coordinate on the product of projective spaces.
For \(I=\{i_1,\cdots ,i_s\}\), \(J=\{j_1,\cdots ,j_t\}\) with \(1\le t\le s\le n1\), \(1\le i_1<\cdots <i_s\le n\), \(1\le j_1<\cdots <j_t\le n\) and a number \(1\le k\le t\), we define a Plücker relation
where
and
Let \(S_n\) be the free polynomial algebra in the Plücker coordinates \(P_I\) with \(1\le \#I\le n1\) and \(R_n\subset S_n\) the ideal generated by all possible Plücker relations \(R_{I,J}^k\). It is a prime homogeneous ideal, and the complete flag variety \(\mathcal {F}l_n\) is defined by \(R_n\) in this product of projective spaces.
Let \(\mathrm {trop}(\mathcal {F}l_n):=\mathrm {trop}(V(R_n))\) be the tropical variety associated with the complete flag variety with respect to intersection with the standard torus in the Plücker embedding. Precisely, a point in \(\mathrm {trop}(\mathcal {F}l_n)\) gives each Plücker coordinate a degree, such that the corresponding initial ideal contains no monomials. Further details and small dimension examples of \(\mathrm {trop}(\mathcal {F}l_n)\) can be found in [4].
5.3 From quantum degree cone to tropical flag variety
The goal of this paragraph is to give the facet description of a cone in each tropical complete flag variety of type \(\mathtt {A}\).
We denote \([n]:=\{1,2,\cdots ,n\}\), \(S:=2^{[n]}\backslash \{\emptyset ,[n]\}\) and recall that
For \(I=\{i_1,\cdots ,i_k\}\in S\) with \(i_1<\cdots <i_k\), we define two tuples \(p_1<\cdots <p_\ell \) and \(q_\ell<\cdots <q_1\) by:
Let \(\mathfrak {g}=\mathfrak {sl}_n(\mathbb {C})\). We define a map
by sending \(\mathbf {d}\in \mathcal {D}_{\underline{w}_0^\mathrm {max}}^q(\mathfrak {g})\) to a vector \(\varphi (\mathbf {d})\) whose coordinates \(\varphi (\mathbf {d})_I\) are given by:

(1)
if \(I=[k]\) for some \(1\le k\le n1\), \(\varphi (\mathbf {d})_I:=0\);

(2)
otherwise \(\varphi (\mathbf {d})_I:=(d_{p_1,q_11}+\cdots +d_{p_\ell ,q_\ell 1})\), where \(d_{i,j}:=d_{\alpha _{i,j}}\).
The negative sign in the definition matches the definition of the initial ideal in the Gröbner theory which takes the maximal degree part in a polynomial.
Then one of the main theorems in [7] can be rephrased as:
Theorem 5
([7]). The map \(\varphi \) maps \(\mathcal {D}_{\underline{w}_0^\mathrm {max}}^q(\mathfrak {g})\) bijectively onto the closure of a maximal cone in \(\mathrm {trop}(\mathcal {F}l_n)\).
Remark 3

(1)
The maximal prime cone obtained as the image of \(\varphi \) gives the flat toric degeneration of G/B to the toric variety associated with the Feigin–Fourier–Littelmann–Vinberg polytopes [7].

(2)
It is shown in [14] that changing the directions of the inequalities in the example in Sect. 4.5 identifies other maximal prime cones in tropical flag varieties.
Example 1
The complete flag variety \(\mathcal {F}l_3\) is defined by \(P_{12,1}^1:=P_1P_{23}P_2P_{13}+P_3P_{12}\) in \(\mathbb {C}[P_1,P_2,P_3,P_{12},P_{13},P_{23}]\). The point \(\mathbf {d}:=(d_{\alpha _2},d_{\alpha _{1,2}},d_{\alpha _1})=(1,1,1)\) is in the quantum degree cone. The vector \(\varphi (\mathbf {d})\) gives \(P_1\), \(P_{12}\) degree 0 and all other Plücker coordinates degree \(1\). The initial part \(\mathrm {in}_{\varphi (\mathbf {d})}(P_{12,1}^1)=P_{1}P_{23}+P_3P_{12}\) is a binomial ideal, implying that \(\varphi (\mathbf {d})\in \mathrm {trop}(\mathcal {F}l_3)\).
The mysterious part in the above theorem is the definition of the map \(\varphi \) which is motivated by the work in [9]. In a forthcoming preprint, using the notion of birational sequences introduced in [8], we will give a general approach to define the map \(\varphi \).
References
Assem, I., Skowronski, A., Simson, D.: Elements of the representation theory of associative algebras Techniques of representation theory London Mathematical Society Student Texts Vol. 1, vol. 65. Cambridge University Press, Cambridge (2006)
Backhaus, T., Fang, X., Fourier, G.: Degree cones and monomial bases of Lie algebras and quantum groups. Glasgow Math. J. 59(3), 595–621 (2017)
Butler, M.C.R.: Grothendieck groups and almost split sequences. In: Roggenkamp, K.W. (ed.) Integral Representations and Applications. Lecture Notes in Mathematics, vol. 882. Springer, Berlin (1981)
Bossinger, L., Lamboglia, S., Mincheva, K., Mohammadi, F Computing toric degenerations of flag varieties. In: Smith G., Sturmfels B. (eds) Combinatorial Algebraic Geometry. Fields Institute Communications, vol 80. Springer, New York, pp.247–281 (2017)
Caldero, P., Marsh, R., MorierGenoud, S.: Represent. Theory. Realisation of Lusztig cones 8, 458–478 (2004)
de Concini, C., Kac, V.G.: Representations of quantum groups at roots of 1. Operator Algebras Unitary Representations, Enveloping Algebras and Invariant Theory. Progress in Mathematics 92, pp. 471–506. BostonBaselBerlin, Birkhäuser (1990)
Fang, X., Feigin, E., Fourier, G., Makhlin, I.: Weighted PBW degenerations and tropical flag varieties. Commun. Contemp. Math. 21(1), 1850016 (2019)
Fang, X., Fourier, G., Littelmann, P.: Essential bases and toric degenerations arising from birational sequences. Adv. Math 312(25), 107–149 (2017)
Fang, X., Fourier, G., Reineke, M.: PBWFiltration on quantum groups of type \(A_n\). J. Algebra 449, 321–345 (2016)
Kaveh, K., Manon, C.: Khovanskii bases higher rank valuations and tropical geometry. SIAM Journal on Applied Algebra and Geometry 3 (2): 292–336 (2019)
Levendorskii, S., Soibelman, Y.: Some applications of quantum Weyl groups. J. Geom. Phys. 7, 241–254 (1990)
Lusztig, G.: Introduction to quantum groups. Reprint of the edition, p. 2010. Modern Birkhäuser Classics, Birkhäuser/Springer, New York (1994)
Lusztig, G.: Tight monomials in quantized enveloping algebras, In:Quantum deformations of algebras and their representations” ed. A.Joseph et al., Isr. Math. Conf. Proc. 7 (1993), Amer. Math. Soc, pp. 117–132
Makhlin, I.: GelfandTsetlin degenerations of representations and flag varieties. Trans. Groups (2020). https://doi.org/10.1007/S0003102009622z
Ringel, C.M.: Hall algebras and quantum groups. Invent. Math. 101, 583–592 (1990)
Sturmfels, B.: Gröbner bases and convex polytopes. University Lecture Series, vol. 8, p. xii+162. American Mathematical Society, Providence, RI (1996)
Xi, N.: A commutation formula for root vectors in quantized enveloping algebras. Pacific J. Math. 189(1), 179–199 (1999)
Acknowledgements
X.F. would like to thank Gleb Koshevoy on discussions related to the tight monomial cones.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fang, X., Fourier, G. & Reineke, M. Cones from quantum groups to tropical flag varieties. J Algebr Comb 54, 815–835 (2021). https://doi.org/10.1007/s10801021010220
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801021010220