Abstract
The extended T-systems are a number of relations in the Grothendieck ring of the category of finite-dimensional modules over the quantum affine algebras of types \(A_n^{(1)}\) and \(B_n^{(1)}\), introduced by Mukhin and Young as a generalization of the T-systems. In this paper we establish the extended T-systems for more general modules, which are constructed from an arbitrary strong duality datum of type A. Our approach does not use the theory of q-characters, and so also provides a new proof to the original Mukhin–Young’s extended T-systems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The T-systems are remarkable functional relations appearing in solvable lattice models (see [32] and references therein). Let \(\mathscr {C}_{\mathfrak g}\) denote the category of integrable finite-dimensional modules over a quantum affine algebra \(U_q'({\mathfrak g})\). It has been proved by Nakajima [40] and Hernandez [12, 13] that the q-characters (or equivalently, the classes in the Grothendieck ring) of Kirillov–Reshetikhin (KR) modules in \(\mathscr {C}_{\mathfrak g}\) satisfy the T-systems. These T-system relations of KR modules play an essential role in the recent developments of the theory of monoidal categorifications of cluster algebras ([14, 16, 28, 30]).
Snake modules are a relatively large family of simple modules in \(\mathscr {C}_{\mathfrak g}\) of types \(A_n^{(1)}\) and \(B_n^{(1)}\) introduced in [39], which contain all minimal affinizations ([1]) of these types. Via the monomial parametrization of simple modules in \(\mathscr {C}_{\mathfrak g}\) (see [10]), each snake module is expressed as \(L(\prod _{r} Y_{i_r,aq^{k_r}})\) with a sequence \(\big ((i_1,k_1),\ldots ,(i_p,k_p)\big ) \in (I_{{\mathfrak g}_0} \times \mathbb {Z})^p\) satisfying some combinatorial conditions, where \(I_{{\mathfrak g}_0}\) denotes the index set of the simple Lie subalgebra \({\mathfrak g}_0\) of \({\mathfrak g}\).
Mukhin and Young introduced in [38] a number of relations satisfied by the classes of snake modules as generalizations of the T-systems. They call them the extended T-systems. Let \(L(\prod _{r=1}^p Y_{i_r,aq^{k_r}})\) be a prime snake module (recall that a simple module having no nontrivial tensor factorization is called prime). The corresponding extended T-system is the relation in the Grothendieck ring of the form
where M and N are other snake modules. In [38], these relations were proved using the formula for the q-characters of snake modules established in [39].
It is a natural problem to find extended T-systems (containing, at least, all the minimal affinizations) in other types (see [38, Appendix A]). Such a family of relations was found for type \(G_2\) in [35] and for type \(C_3\) in [34], but in general types this is still open as far as the author knows. One essential obstacle is that the q-characters of minimal affinizations in other types are more complicated: they are not thin or special in the terminology of q-characters, while the q-characters of all the snake modules (in types \(A_n^{(1)}\) and \(B_n^{(1)}\)) have these properties. To overcome this difficulty, one possible way is to establish an approach to extended T-systems not relying on the theory of q-characters.
For the T-systems, such an approach was developed in [30] using a strong duality datum and affine cuspidal modules introduced in [29]. Let \(\text {g} \) be a simple Lie algebra of type ADE. A strong duality datum associated with \(\text {g}\) is a family of simple \(U_q'({\mathfrak g})\)-modules \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I_\text {g}} \subseteq \mathscr {C}_{\mathfrak g}\), characterized using the invariant \(\mathfrak {d}\) introduced in [28]. Given a strong duality datum \(\mathcal {D}\) and a reduced word \(\varvec{i}=(i_1,\ldots ,i_N)\) of the longest element of the Weyl group of \(\text {g}\), one can construct the associated affine cuspidal modules \(\{S_k^{{\mathcal {D}},\varvec{i}}\}_{k \in \mathbb {Z}} \subseteq \mathscr {C}_{\mathfrak g}\). When the pair \((\mathcal {D}, \varvec{i})\) is associated with a Q-datum ([9]), the affine cuspidal modules \(\{S_k^{{\mathcal {D}},\varvec{i}}\}_{k\in \mathbb {Z}}\) consist of fundamental modules. In [30], the authors showed for any pair \((\mathcal {D},\varvec{i})\) that affine determinantial modules, each of which is constructed as the head of the tensor product of some \(S^{{\mathcal {D}},\varvec{i}}_k\)’s, satisfy exact sequences corresponding to the T-systems. When \((\mathcal {D},\varvec{i})\) is associated with a Q-datum, affine determinantial modules coincide with KR modules, and the classical T-systems are recovered. This result was obtained by applying several properties of strong duality data and affine cuspidal modules, instead of q-characters.
In this paper, by applying a similar approach, we generalize the extended T-systems of type \(A_n^{(1)}\) and \(B_n^{(1)}\) to more general modules constructed from an arbitrary strong duality datum of type A, which we hope to be a first step toward extended T-systems of general types.
In the first part of this paper, we give a sufficient condition for the head of the tensor product of affine cuspidal modules of general type to satisfy a short exact sequence similar to the T-system. More explicitly, for an arbitrary pair \((\mathcal {D},\varvec{i})\) of a strong duality datum and a reduced word and the associated affine cuspidal modules \(S_k:=S_k^{{\mathcal {D}},\varvec{i}}\) (\(k \in \mathbb {Z}\)), the following theorem is proved.
Theorem A
(Theorem 4.2.1) Let \(\varvec{k}=(k_1<\cdots <k_p)\) be an increasing sequence of integers with \(p\ge 2\). For \(1\le a < b \le p\), write \(\mathbb {S}_{\varvec{k}}[a,b] =\) hd\((S_{k_a}\otimes S_{k_{a+1}} \otimes \cdots \otimes S_{k_b})\), and set \(\mathbb {S}_{\varvec{k}} = \mathbb {S}_{\varvec{k}}[1,p]\). Assume that the following two conditions are satisfied:
-
(a)
for any \(1\le a < b \le p\), we have \(\mathfrak {d}(S_{k_a},\mathbb {S}_{\varvec{k}}[a+1,b]) = 1\), and
-
(b)
for any \(1\le a < b \le p\), we have \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[a,b-1],S_{k_b}) =1\).
Then there exists a short exact sequence
where the tensor product in the second term is ordered from left to right, and \(M \, \Delta \,N\) denotes the socle of \(M \otimes N\). Moreover, the first and third terms are both simple.
We also give sufficient conditions for \(\mathbb {S}_{\varvec{k}}\) to be prime or real (Propositions 4.1.1 and 4.1.3).
In the latter half of this paper, we focus on cuspidal modules \(S_k^{{\mathcal {D}},\varvec{i}}\) such that \(\mathcal {D}\) is associated with \(\mathfrak {sl}_{n+1}\) and \(\varvec{i}\) belongs to either of two special families: reduced words adapted to a height function and adapted to a twisted height function (see Section 5.1 for the definitions). Let \(\varvec{i}^{\text {hf}}\) (resp. \(\varvec{i}^\text {tw}\)) be a reduced word adapted to a height (resp. twisted height) function (these notations are for this introduction only). For an arbitrary strong duality datum \(\mathcal {D}\) associated with \(\mathfrak {sl}_{n+1}\) and \(\varvec{i} \in \{\varvec{i}^{\text {hf}}, \varvec{i}^\text {tw}\}\), we define an associated snake module by the head of the tensor product of \(S_k^{{\mathcal {D}},\varvec{i}}\)’s satisfying some conditions. When \((\mathcal {D},\varvec{i}^{\text {hf}})\) (resp. \((\mathcal {D},\varvec{i}^{\text {tw}})\)) is associated with a Q-datum corresponding to \(U_q'({\mathfrak g})\) of type \(A_n^{(1)}\) (resp. \(B_{n_0}^{(1)}\) with \(n=2n_0-1\)), these modules coincide with the Mukhin–Young’s snake modules (recall that in both cases corresponding Q-data are of type \(A_n\), see [9]). We show that these snake modules satisfy short exact sequences of the form in Theorem A, and moreover give more concrete description to the first terms (Theorems 6.2.4 and 7.2.6). When associated with a Q-datum, these recover the Mukhin–Young’s extended T-systems. We also show that snake modules are real, and give a necessary and sufficient condition for them to be prime.
We explain our strategy for the proof of the short exact sequences. Given a strong duality datum \(\mathcal {D}\), through the quantum affine Schur–Weyl duality functor \(\mathcal {F}_{{\mathcal {D}}}\) ([26]), we can define a crystal structure on a subset of the isomorphism classes of simple modules in \(\mathscr {C}_{\mathfrak g}\), which is isomorphic to the crystal base of \(U_q^-(\text {g})\). Letting \(\varepsilon _i, \varepsilon _i^*\) (\(i \in I_\text {g}\)) be the functions on this crystal, the conditions (a) and (b) in Theorem A can be rephrased in terms of the values of these functions \(\varepsilon _i, \varepsilon _i^*\) (see Proposition 3.3.3 (c)) at certain elements expressed in Lusztig’s parametrization ([36]) with respect to \(\varvec{i}\). Reineke introduced in [43] a useful algorithm to calculate the values of \(\varepsilon _i\) and \(\varepsilon _i^*\) at an element expressed in Lusztig’s parametrization with respect to a reduced word of some type. We can apply this algorithm to the word \(\varvec{i}^{\text {hf}}\), and show that snake modules associated with \(\varvec{i}^{\text {hf}}\) satisfy the conditions (a) and (b) of Theorem A. Hence the existence of the short exact sequences in the case \(\varvec{i}=\varvec{i}^{\text {hf}}\) is shown.
The Reineke’s algorithm cannot be applied in the case \(\varvec{i} = \varvec{i}^{\text {tw}}\). Instead, we give a detailed description of the connection between Lusztig’s parametrizations with respect to \(\varvec{i}^{\text {hf}}\) and \(\varvec{i}^\text {tw}\). A similar work was previously done in [17, Section 12], but our result is more involved: we give a transition formula for all elements corresponding to snake modules (Proposition 7.1.3). Using this formula and the results of the previous case \(\varvec{i} = \varvec{i}^{\text {hf}}\), we can show the existence of the short exact sequences in the case \(\varvec{i}=\varvec{i}^\text {tw}\) as well.
Note that in [38], the extended T-systems are given in terms of the relations in the Grothendieck ring, and therefore there are two possibilities of short exact sequences. As another advantage of our approach, we can determine which one is correct.
Theorem A holds for a strong duality datum of a general type, not only of type A, and we hope that it will help us to study extended T-systems of other types. One difficulty is that, not in type A, the Reineke’s algorithm cannot be applied in full generality for any reduced word. We hope to return this problem in the future.
This paper is organized as follows. In Section 2, we recall basic notions concerning a simple Lie algebra of type ADE, such as the upper global and dual PBW bases, and crystals. In Section 3, we recall the basic notions and several properties on quantum affine algebras, the invariants \(\Lambda \) and \(\mathfrak {d}\), and affine cuspidal modules. In Section 4, we give sufficient conditions for the head of the tensor product of affine cuspidal modules to be prime or real, and prove Theorem A. In Section 5 we give the definition of snake modules associated with \(\mathcal {D}\) of type A and \(\varvec{i}^{\text {hf}}\) or \(\varvec{i}^\text {tw}\), and several related notions. In Section 6, we show that snake modules associated with \(\varvec{i}^{\text {hf}}\) satisfy the extended T-systems, and at the same time we discuss their reality and primeness. In Section 7, we show analogous assertions for snake modules associated with \(\varvec{i}^\text {tw}\).
2 Preliminaries on Simple Lie Algebras of Type ADE
Conventions.
-
(i)
For a base field \(\textbf{k}\), we write \(\otimes \) for \(\otimes _{\textbf{k}}\) when no confusion is likely.
-
(ii)
For \(a,b \in \mathbb {Z}\) such that \(a\le b\), we denote by [a, b] the set \(\{k \in \mathbb {Z}\mid a \le k \le b\}\). We set \([a,b]=\emptyset \) if \(a>b\).
2.1 Basic Notation
Let \(\text {g}\) be a complex simple Lie algebra of type ADE, with an index set I and a Cartan matrix \(A=(a_{ij})_{i,j \in I}\). Let \(\alpha _i\) (\(i\in I\)) be the simple roots, R the root system, \(R^+\) the set of positive roots, P the weight lattice, W the Weyl group with simple reflections \(\{s_i \mid i \in I \}\), and \(w_0 \in W\) the longest element. Denote by \(\ell (w)\) for \(w \in W\) the length of w, and set \(N =\ell (w_0)\). For \(i \in I\), define \(i^* \in I\) by \(w_0(\alpha _i) = -\alpha _{i^*}\). Let
denote the set of reduced words of \(w_0\). For two words \(\varvec{i},\varvec{i}'\), we say \(\varvec{i}\) and \(\varvec{i}'\) are commutation equivalent if \(\varvec{i}'\) is obtained from \(\varvec{i}\) by applying a sequence of operations which transform some adjacent components (i, j) such that \(a_{ij}=0\) into (j, i). An equivalence class for this relation is called a commutation class.
2.2 Dual PBW Bases and Crystals
Let \(\textbf{k}\) be a base field containing \(\mathbb {Q}(q)\), and \(U_q(\text {g})\) the quantized enveloping algebra associated with \(\text {g}\) over \(\textbf{k}\) with generators \(\{e_i,f_i,q^{h_i}\mid i \in I\}\). Let \(U_q^-(\text {g})\) be the \(\textbf{k}\)-subalgebra of \(U_q(\text {g})\) generated by \(f_i\) (\(i \in I\)), and denote by \(\textbf{B}^{\text {up}}\) the upper global basis (or dual canonical basis) of \(U_q^-(\text {g})\) (see [19]). Let \(\mathcal {A}_0 \subseteq \mathbb {Q}(q)\) be the subring of rational functions that are regular at \(q=0\), and set \(\mathscr {L} \subseteq U_q^-(\text {g})\) to be the \(\mathcal {A}_0\)-span of \(\textbf{B}^{\text {up}}\).
We briefly recall dual PBW bases of \(U_q^-(\text {g})\). Let \(T_i = T_{i,+}''\) (\(i \in I\)) denote the algebra automorphism of \(U_q(\text {g})\) given in [37, Chapter 37], and take a reduced word \(\varvec{i}=(i_1,\ldots ,i_N) \in R(w_0)\). For each \(1\le k \le N\), set \(\beta _k = s_{i_1}\cdots s_{i_{k-1}} (\alpha _{i_k}) \in R^+\),
where \((\ , \ )\) is the bilinear form on \(U_q^-(\text {g})\) given in [19, Section 3.4]. \(F^{\varvec{i}}(\beta _k)\) is called a dual root vector. We have \(F^{\varvec{i}}(\beta _k) \in \textbf{B}^{\text {up}}\) for any \(\varvec{i}\) and k. For \(\varvec{c}=(c_1,\ldots ,c_N) \in \mathbb {Z}_{\ge 0}^N\), set
Then \(\{F^{\varvec{i}}(\varvec{c})\mid \varvec{c} \in \mathbb {Z}_{\ge 0}^N\}\) forms a basis of \(U_q^-(\text {g})\), and we call this the dual PBW basis associated with \(\varvec{i}\). For each \(\varvec{c} \in \mathbb {Z}_{\ge 0}^N\), there is a unique element \(B^{\varvec{i}}(\varvec{c}) \in \textbf{B}^{\text {up}}\) such that
see [23, Theorem 4.29].
Let \(*\) be the \(\textbf{k}\)-algebra anti-involution on \(U_q^-(\text {g})\) defined by \(*f_i = f_i\) (\(i\in I\)). This \(*\) preserves \(\textbf{B}^{\text {up}}\) ([20, 23, Lemma 3.5]).
Lemma 2.2.1
([36, Subsection 2.11]) For \(\varvec{i} = (i_1,\ldots ,i_N) \in R(w_0)\) and \(\varvec{c} = (c_1,\ldots ,c_N) \in \mathbb {Z}_{\ge 0}^N\), set
Then we have \(*F^{\varvec{i}}(\varvec{c}) = F^{\varvec{i}^\vee }(\varvec{c}^\vee )\) and \(*B^{\varvec{i}}(\varvec{c}) = B^{\varvec{i}^\vee }(\varvec{c}^\vee )\).
Proposition 2.2.2
For any \(\varvec{i} \in R(w_0)\) and \(\varvec{c} \in \mathbb {Z}_{\ge 0}^N\), we have
where \(\prec \) is the bi-lexicographic order on \(\mathbb {Z}_{\ge 0}^N\), namely, \((a_1,\ldots ,a_N)\prec (b_1,\ldots ,b_N)\) if and only if there are \(1\le k\le l \le N\) satisfying \(a_k<b_k\), \(a_l<b_l\), and \(a_j=b_j\) for all j such that \(j <k\) or \(l<j\).
Proof
Except for the triangularity with respect to the bi-lexicographic order, the assertion follows from [23, Theorem 4.29]. The triangularity is proved by applying \(*\) and using Lemma 2.2.1. \(\square \)
Proposition 2.2.3
([36, Subsection 2.3]) Let \(\varvec{i},\varvec{i}' \in R(w_0)\), and \(\varvec{c}, \varvec{c}' \in \mathbb {Z}_{\ge 0}^N\).
-
(i)
Assume for some \(1\le k <N\) that \(a_{i_ki_{k+1}}=0\), \(i'_k = i_{k+1}\), \(i'_{k+1} = i_k\), and \(i_l = i'_l\) for all \(l \ne k,k+1\). Then \(B^{\varvec{i}}(\varvec{c}) = B^{\varvec{i}'}(\varvec{c}')\) holds if and only if
$$ c_k'=c_{k+1}, \ \ \ c_{k+1}' = c_k, \ \ \text {and} \ \ c_l'=c_l \ \ \text {for all } l \ne k,k+1. $$ -
(ii)
Let \(i,j \in I\) be such that \(a_{ij}=-1\), and assume for some \(1<k<N\) that \((i_{k-1},i_k,i_{k+1}) = (i,j,i)\), \((i_{k-1}',i_k',i_{k+1}')=(j,i,j)\), and \(i_l=i_l'\) for all \(l \notin \{k,k\pm 1\}\). Then \(B^{\varvec{i}}(\varvec{c}) = B^{\varvec{i}'}(\varvec{c}')\) holds if and only if \(c_l'=c_l\) for all \(l \notin \{k,k\pm 1\}\), and
$$\begin{aligned} c_{k-1}'= c_k+c_{k+1}-c_0, \ \ c_k' = c_0, \ \ c_{k+1}' = c_{k-1}+c_{k}-c_0, \end{aligned}$$(2.2.2)where we set \(c_0 = \min (c_{k-1},c_{k+1})\).
By identifying \(\textbf{B}^{\text {up}}\) with its image under the projection \(\mathscr {L}\rightarrow \mathscr {L}/q\mathscr {L}\), we define the canonical (abstract) crystal structure on \(\textbf{B}^{\text {up}}\) (see [20]). Let
be the maps giving this crystal structure.
We also define maps \(\varepsilon ^*_i\), \(\varphi ^*_i\), \(\tilde{e}_i^*\), \(\tilde{f}_i^*\) (\(i \in I \)) on \(\textbf{B}^{\text {up}}\) by
For \(\varvec{i}=(i_1,\ldots ,i_N) \in R(w_0)\) and \(\varvec{c}=(c_1,\ldots ,c_N) \in \mathbb {Z}_{\ge 0}^N\), it follows from [37] and Lemma 2.2.1 that
3 Preliminaries on Quantum Affine Algebras
3.1 Basic Notation
Let \({\mathfrak g}\) be an affine Kac–Moody Lie algebra with index set \(I_{\mathfrak g}\) and simple roots \(\{\alpha _i^{{{\mathfrak g}}} \mid i \in I_{\mathfrak g}\}\). Denote by \(0 \in I_{\mathfrak g}\) the special element prescribed in [18, Section 4], except \(A_{2n}^{(2)}\)-type in which we set \(\alpha _0^{{{\mathfrak g}}}\) to be the longest simple root. Let \(I^0_{\mathfrak g}=I_{\mathfrak g}\setminus \{0\}\), \(P^{\mathfrak g}\) be the weight lattice of \({\mathfrak g}\), and \(P^{\mathfrak g}_{\text {cl}} = P^{\mathfrak g}/ (P^{\mathfrak g}\cap \mathbb {Q}\delta )\), where \(\delta \) is the indivisible imaginary positive root.
Now we fix the base field \(\textbf{k}\) to be the algebraic closure of \(\mathbb {C}(q)\) in \(\bigcup _{m >0} \mathbb {C}(\! (q^{1/m})\!)\), and denote by \(U_q'({\mathfrak g})\) the quantized enveloping algebra over \(\textbf{k}\) associated with \({\mathfrak g}\) with generators \(\{e_i,f_i,q^h \mid i \in I_{\mathfrak g}, h \in P^{{\mathfrak g},\vee }_{\text {cl}}:=\text {Hom} \,_{\mathbb {Z}} (P^{\mathfrak g}_{\text {cl}},\mathbb {Z}) \}\) (here, by abuse of notation, we use the same symbols with the generators of \(U_q(\text {g})\)). We call \(U_q'({\mathfrak g})\) a quantum affine algebra in the sequel. Let \(\Delta :U_q'({\mathfrak g}) \rightarrow U_q'({\mathfrak g}) \otimes U_q'({\mathfrak g})\) denote the coproduct (we follow the convention in [21, Section 7]).
A \(U_q'({\mathfrak g})\)-module M is said to be integrable if \(M = \bigoplus _{\lambda \in P_\text {cl}^{\mathfrak g}} M_\lambda \) with \(M_\lambda = \{ v \in M\mid q^h v=q^{\langle h,\lambda \rangle }v \ (h \in P_\text {cl}^{{\mathfrak g},\vee })\}\), and \(e_i, f_i\) (\(i \in I_{\mathfrak g}\)) act nilpotently on M. We denote by \(\mathscr {C}_{{\mathfrak g}}\) the category of integrable finite-dimensional \(U_q'({\mathfrak g})\)-modules. Let \(\varvec{1} \in \mathscr {C}_{\mathfrak g}\) denote the trivial module. For \(M,N \in \mathscr {C}_{{\mathfrak g}}\), the tensor product \(M \otimes N\) is also an object of \(\mathscr {C}_{{\mathfrak g}}\) via the coproduct \(\Delta \), and this gives a monoidal category structure on \(\mathscr {C}_{\mathfrak g}\) with unit object \(\varvec{1}\). Moreover, the monoidal category \(\mathscr {C}_{\mathfrak g}\) is rigid, namely, every object \(M \in \mathscr {C}_{\mathfrak g}\) has its right dual \(\mathscr {D}M\) and left dual \(\mathscr {D}^{-1} M\). There are isomorphisms
which are functorial in \(X,Y \in \mathscr {C}_{\mathfrak g}\).
For simple modules M and N in \(\mathscr {C}_{\mathfrak g}\), we say that M and N commute if \(M\otimes N \cong N \otimes M\), and strongly commute if \(M\otimes N\) is simple. Note that, if M and N strongly commute then they commute, since the Grothendieck ring of \(\mathscr {C}_{\mathfrak g}\) is commutative [10]. We say M is real if M strongly commutes with itself.
Proposition 3.1.1
([27])
-
(i)
Let \(M_j\) \((j=1,2,3)\) be a module in \(\mathscr {C}_{\mathfrak g}\), and assume that \(M_2\) is simple. If \(f:L \rightarrow M_2 \otimes M_3\) and \(g:M_1 \otimes M_2 \rightarrow L'\) are nonzero homomorphisms, then the composition
$$ M_1 \otimes L \overset{M_1 \otimes f}{\longrightarrow }\ M_1 \otimes M_2 \otimes M_3 \overset{g \otimes M_3}{\longrightarrow }\ L' \otimes M_3 $$does not vanish.
-
(ii)
Let M and N be simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume that one of them is real. Then both \(M \otimes N\) and \(N \otimes M\) have simple socles and simple heads.
For \(M \in \mathscr {C}_{\mathfrak g}\), we denote by \(\text {hd}(M)\) (resp. \(\text {soc}(M)\)) the head (resp. socle) of M. For \(M, N \in \mathscr {C}_{\mathfrak g}\), we also use the notation \(M\, \nabla \, N\) (resp. \(M\, \Delta \, N\)) to denote \(\text {hd}(M \otimes N)\) (resp. \(\text {soc}(M\otimes N)\)).
Proposition 3.1.2
([27, Corollary 3.14]) Let M, N be simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume that M is real. Then we have
3.2 R-matrices and Invariants
In this subsection we briefly recall the definitions and properties of some invariants on pairs of modules in \(\mathscr {C}_{\mathfrak g}\), which were introduced in [28]. For more details, see [28,29,30].
For any simple module M in \(\mathscr {C}_{\mathfrak g}\), there is unique \(\lambda \in P^{\mathfrak g}_\text {cl}\) such that \(M_\lambda \ne 0\) and \(M_\mu =0\) unless \(\mu \in \lambda - \sum _{i \in I_{\mathfrak g}\setminus \{0\}}\mathbb {Z}_{\ge 0} \text {cl}(\alpha ^{{{\mathfrak g}}}_i)\), where \(\text {cl}:P^{\mathfrak g}\rightarrow P^{\mathfrak g}_{\text {cl}}\) is the canonical projection. We call a nonzero vector \(u \in M_\lambda \) an \(\ell \)-highest weight vector, which is unique up to a scalar multiplication.
For \(M \in \mathscr {C}_{\mathfrak g}\) and an indeterminate z, denote by \(M_z\) the \(U_q'({\mathfrak g})\)-module \(\textbf{k}[z^{\pm 1}] \otimes M \) defined by
for \(i \in I_{\mathfrak g}\), \(h \in P^{{\mathfrak g},\vee }_\text {cl}\), \(g(z) \in \textbf{k}[z^{\pm 1}]\) and \(u \in M\). We write \(u_z = 1 \otimes u \in M_z\).
For simple modules M, N in \(\mathscr {C}_{\mathfrak g}\) with \(\ell \)-highest weight vectors \(u \in M\) and \(v \in N\), there exists a unique \(\textbf{k}(z) \otimes U_q'({\mathfrak g})\)-module isomorphism
satisfying \(R^{\text {norm}}_{M,N_z}(u\otimes v_z) = v_z \otimes u\) ([21]). \(R^{\text {norm}}_{M,N_z}\) is called the normalized R-matrix of M and N. Let \(d_{M,N}(z) \in \textbf{k}[z]\) be the monic polynomial of the smallest degree satisfying
The polynomial \(d_{M,N}(z)\) is called the denominator of \(R_{M,N_z}^{\text {norm}}\). We denote by \({\textbf {r}}_{M,N}\) the specialization at \(z=1\):
We call this nonzero homomorphism \(\textbf{r}_{M,N}\) the R-matrix of M and N. If either M or N is real, then the image of \(\textbf{r}_{M,N}\) is isomorphic to \(M \, \nabla \,N\) and \(N \, \Delta \,M\) ([27]), and in particular we have
Definition 3.2.1
([28]) Let M, N be simple modules in \(\mathscr {C}_{\mathfrak g}\).
-
(i)
We define \(\mathfrak {d}(M,N) \in \mathbb {Z}_{\ge 0}\) by the order of the zero of the polynomial \(d_{M,N}\) \((z)d_{N,M}(z)\) at \(z=1\).
-
(ii)
We define \(\Lambda (M,N) \in \mathbb {Z}\) by
$$\begin{aligned} \Lambda (M,N)&= \sum _{k \in \mathbb {Z}_{\ge 0}} (-1)^{k}\,\mathfrak {d}(M,\mathscr {D}^kN) - \sum _{k \in \mathbb {Z}_{<0}} (-1)^{k}\,\mathfrak {d}(M,\mathscr {D}^kN). \end{aligned}$$
Remark 3.2.2
These definitions are different from [28, Definitions 3.6 and 3.14], but equivalent to those by [28, Propositions 3.16 and 3.22]. In [28], the invariant \(\Lambda (M,N)\) are defined for not necessarily simple M and N as well, but we do not need this since in the present paper we will only treat the cases where M and N are simple.
Let us list several properties of the invariants.
Proposition 3.2.3
([28, Lemma 3.7 and Corollaries 3.19 and 3.17]) Let M and N be simple modules in \(\mathscr {C}_{\mathfrak g}\).
-
(i)
We have
$$ \mathfrak {d}(M,N) = \frac{1}{2}\big (\Lambda (M,N) + \Lambda (N,M)\big )=\mathfrak {d}(\mathscr {D}M,\mathscr {D}N). $$ -
(ii)
Assume further that either M or N is real. Then M and N strongly commute if and only if \(\mathfrak {d}(M,N)=0\).
Proposition 3.2.4
([28, Proposition 4.2 and Lemma 3.10]) Let X, Y and Z be simple modules in \(\mathscr {C}_{\mathfrak g}\).
-
(i)
For any simple subquotient S of \(X \otimes Y\), we have
$$ \mathfrak {d}(S,Z) \le \mathfrak {d}(X,Z) + \mathfrak {d}(Y,Z). $$ -
(ii)
Assume further that X and Y strongly commute. Then we have
$$ \mathfrak {d}(X \otimes Y, Z) = \mathfrak {d}(X,Z) + \mathfrak {d}(Y,Z). $$
Lemma 3.2.5
Let \(X,Y,Z \in \mathscr {C}_{\mathfrak g}\) be simple modules, and assume that Z is real.
-
(i)
If \(\mathfrak {d}(X,Z) = \mathfrak {d}(X,\mathscr {D}^{-1} Z)=0\), then we have \(\mathfrak {d}(X, Y\, \nabla \,Z) = \mathfrak {d}(X,Y)\).
-
(ii)
If \(\mathfrak {d}(X,Z) = \mathfrak {d}(X,\mathscr {D}Z)=0\), then we have \(\mathfrak {d}(X, Z \, \nabla \,Y) = \mathfrak {d}(X,Y)\).
Proof
(i) We have
by Proposition 3.2.4. On the other hand, we have
by Proposition 3.1.2. Hence the assertion is proved. The proof of (ii) is similar.\(\square \)
Proposition 3.2.6
([28, Proposition 4.7]) Let M and N be simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume that one of them is real and \(\mathfrak {d}(M,N)=1\). Then the composition length of \(M \otimes N\) is 2, and we have an exact sequence
Proposition 3.2.7
([30, Lemma 2.22]) Let M, N be real simple modules in \(\mathscr {C}_{{\mathfrak g}}\) such that \(\mathfrak {d}(M,N) \le 1\). Then \(M \, \nabla \,N\) is real.
Proposition 3.2.8
([29, Proposition 2.17]) Let M, N be simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume that N is real. If \(\mathfrak {d}(M,N)>0\), then we have
for any simple subquotient S of \(M\otimes N\) and also for any simple subquotient S of \(N \otimes M\).
Proposition 3.2.9
([30, Proposition 2.25]) Let X, Y and Z be simple modules in \(\mathscr {C}_{\mathfrak g}\) such that Y is real. Assume that
-
(i)
\(\mathfrak {d}(\mathscr {D}X,Y)= \mathfrak {d}(\mathscr {D}Y, Z) =0\), and
-
(ii)
\(X \otimes Y \otimes Z\) has a simple head.
Then we have
Following [28, Definition 4.14] (see also [24, Definition 2.5]), we say a sequence \((M_1,\ldots ,M_r)\) of real simple modules in \(\mathscr {C}_{\mathfrak g}\) is a normal sequence if the composition of the R-matrices
does not vanish.
Proposition 3.2.10
([28, Lemma 4.15]) If \((M_1,\ldots ,M_r)\) is a normal sequence of real simple modules in \(\mathscr {C}_{\mathfrak g}\), then \(\text {hd}(M_1 \otimes \cdots \otimes M_r)\) and \(\text {soc}(M_r\otimes \cdots \otimes M_1)\) are simple and isomorphic to the image of the composition (3.2.2). Moreover both \((M_2,\ldots ,M_r)\) and \((M_1,\ldots ,M_{r-1})\) are normal sequences, and we have
Proposition 3.2.11
([28, Lemma 4.17]) For real simple modules X, Y and Z in \(\mathscr {C}_{\mathfrak g}\), the triple (X, Y, Z) is a normal sequence if \(\mathscr {D}X\) and Z strongly commute.
Lemma 3.2.12
([29, Lemma 2.24]) For real simple modules X, Y, Z in \(\mathscr {C}_{\mathfrak g}\), \(\mathfrak {d}(X, Y\, \nabla \,\) \(Z) =\mathfrak {d}(X,Y) + \mathfrak {d}(X,Z)\) holds if and only if both (X, Y, Z) and (Y, Z, X) are normal sequences.
Following [30, Definition 2.16], we say a sequence \((M_1,\ldots ,M_r)\) of real simple modules in \(\mathscr {C}_{{\mathfrak g}}\) is unmixed (resp. strongly unmixed) if for all \(1 \le j < k \le r\) we have
Proposition 3.2.13
([29, Lemma 5.3]) Any unmixed sequence of real simple modules is a normal sequence.
Lemma 3.2.14
([30, Lemma 4.26]) Let X, Y, Z be real simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume the following two conditions:
-
(i)
(X, Y, Z) is a normal sequence, and
-
(ii)
\(\Lambda (Y,X) +\Lambda (Y,Z) -\Lambda (Y,X\, \nabla \,Z) = 2\,\mathfrak {d}(X,Y)\).
Then the composition
is surjective and induces an isomorphism \(\text {hd}(X\otimes Y \otimes Z) \overset{\sim }{\rightarrow }\ Y \, \nabla \,(X \, \nabla \,Z)\).
3.3 Strong Duality Data
Let \(\text {g}\) be a simple Lie algebra of type ADE with a Cartan matrix \(A=(a_{ij})_{i,j\in I}\) as in Section 2. We freely use the notation in the section. Recall that we mainly use plain symbols such as I, \(\alpha _i\), not for \({\mathfrak g}\) but \(\text {g}\).
A module \(L \in \mathscr {C}_{\mathfrak g}\) is called a root module if L is a real simple module such that
see [29, Section 3].
Definition 3.3.1
([29, Definition 4.7]) Let \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\) be a family of simple modules in \(\mathscr {C}_{\mathfrak g}\).
-
(i)
We say \(\mathcal {D}\) is a duality datum associated with \(\text {g}\) if the following conditions are satisfied:
-
(a)
\(\textsf {L}_i\) is real for all \(i \in I\), and
-
(b)
\(\mathfrak {d}(\textsf {L}_i,\textsf {L}_j) = -a_{ij}\) for all \(i,j \in I\) such that \(i\ne j\).
-
(a)
-
(ii)
We say \(\mathcal {D}\) is a strong duality datum associated with \(\text {g}\) if the following conditions are satisfied:
-
(c)
\(\textsf {L}_i\) is a root module for all \(i \in I\), and
-
(d)
\(\mathfrak {d}(\textsf {L}_i,\mathscr {D}^k \textsf {L}_j) = -\delta _{k,0}a_{ij}\) for all \(k \in \mathbb {Z}\) and \(i,j \in I\) such that \(i\ne j\).
-
(c)
Let \(Q_+ = \sum _{i \in I}\mathbb {Z}_{\ge 0}\alpha _i\), and for \(\beta \in Q_+\) let \(R(\beta ) = R^\text {g}(\beta )\) be a symmetric quiver Hecke algebra at \(\beta \) associated with \(\text {g}\) (see [26]). If \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\) is a duality datum associated with \(\text {g}\), then there exists an exact monoidal functor (quantum affine Schur–Weyl duality functor)
satisfying \(\mathcal {F}_{{\mathcal {D}}}(q M ) \cong \mathcal {F}_{{\mathcal {D}}} (M)\) for any \(M \in \bigoplus _{\beta } {R(\beta )}\text {-gmod}\) and \(\mathcal {F}_{{\mathcal {D}}}\big (L(i)\big ) = \textsf {L}_i\) for all \(i \in I\) ([26]). Here \(\bigoplus _{\beta } {R(\beta )}\text {-gmod}\) is the direct sum of the categories of finite-dimensional graded \(R(\beta )\)-modules equipped with a monoidal structure via the convolution product, q the grading shift of degree 1, and L(i) the 1-dimensional simple module over \(R(\alpha _i)\). In the sequel, we write \({R}\text {-gmod} = \bigoplus _{\beta } {R(\beta )}\text {-gmod}\). By [31, 44], there is a unique \(\mathbb {Z}[q,q^{-1}]\)-algebra isomorphism \(U_\mathbb {Z}^-(\text {g})^{\text {up}} \overset{\sim }{\rightarrow }\ K({R}\text {-gmod})\) mapping \(f_i\) to [L(i)], where \(U_\mathbb {Z}^-(\text {g})^{\text {up}}\) denotes the \(\mathbb {Z}[q,q^{-1}]\)-subalgebra of \(U_q^-(\text {g})\) spanned by \(\textbf{B}^{\text {up}}\), and \(K({R}\text {-gmod})\) the Grothendieck ring of \({R}\text {-gmod}\). This isomorphism induces a bijection between the upper global basis and the set of not necessarily degree preserving isomorphism classes of simple modules in \({R}\text {-gmod}\) ([45, 47]).
Given a duality datum \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\), define a ring homomorphism \(\mathcal {L}_{{\mathcal {D}}}\) from \(U_\mathbb {Z}^-(\text {g})^{\text {up}}\) to the Grothendieck ring \(K(\mathscr {C}_{\mathfrak g})\) by the composition
where the second one is induced from \(\mathcal {F}_{{\mathcal {D}}}\). By the properties of the isomorphism \(U_\mathbb {Z}^- (\text {g})^{\text {up}} \overset{\sim }{\rightarrow }\ K({R}\text {-gmod})\) stated above and [29, Corollary 4.14], we obtain the following lemma (hereafter, we occasionally identify the isomorphism class of a simple module in \(\mathscr {C}_{\mathfrak g}\) with its class in \(K(\mathscr {C}_{\mathfrak g})\)).
Lemma 3.3.2
If \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\) is a strong duality datum associated with \(\text {g}\), \(\mathcal {L}_{{\mathcal {D}}}\) induces an injection, which we also denote by \(\mathcal {L}_{{\mathcal {D}}}\), from \(\textbf{B}^{\text {up}}\) to the set \(\text {Irr}(\mathscr {C}_{{\mathfrak g}})\) of isomorphism classes of simple modules in \(\mathscr {C}_{\mathfrak g}\).
The bicrystal structure on \(\textbf{B}^{\text {up}}\) is described in terms of \(U_q'({\mathfrak g})\)-modules as follows.
Proposition 3.3.3
([33, Lemma 3.2]) For a strong duality datum \(\mathcal {D}=\{\text {\textsf {L}}_i\}_{i \in I }\), \(b \in \) \(\textbf{B}^{\text {up}}\) and \(i \in I \), we have
-
(a)
\(\mathcal {L}_{{\mathcal {D}}}(\tilde{e}_i b) \cong \mathcal {L}_{{\mathcal {D}}}(b) \, \nabla \,\mathscr {D}\text {\textsf {L}}_i\) if \(\varepsilon _i(b) \ne 0\), \(\mathcal {L}_{{\mathcal {D}}}(\tilde{e}^*_i b) \cong \mathscr {D}^{-1}\text {\textsf {L}}_i \, \nabla \,\mathcal {L}_{{\mathcal {D}}}(b)\) if \(\varepsilon _i^*(b)\ne 0\),
-
(b)
\(\mathcal {L}_{{\mathcal {D}}}(\tilde{f}_i b) \cong \text {\textsf {L}}_i \, \nabla \,\mathcal {L}_{{\mathcal {D}}}(b)\), \(\mathcal {L}_{{\mathcal {D}}}(\tilde{f}_i^*b) \cong \mathcal {L}_{{\mathcal {D}}}(b) \, \nabla \,{\textsf {L}}_i\),
-
(c)
\(\varepsilon _i(b) =\mathfrak {d}\big (\mathscr {D}\text {\textsf {L}}_i,\mathcal {L}_{{\mathcal {D}}}(b)\big )\) and \(\varepsilon _i^*(b) = \mathfrak {d}\big (\mathscr {D}^{-1}\text {\textsf {L}}_i,\mathcal {L}_{{\mathcal {D}}}(b)\big )\).
Assume that \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\) is a strong duality datum associated with \(\text {g}\), and fix a reduced word \(\varvec{i} = (i_1,\ldots ,i_N) \in R(w_0)\). For each \(1\le k \le N\), setting \(\beta _k = s_{i_1}\cdots s_{i_{k-1}}(\alpha _{i_k})\), we denote by \(S_k = S_k^{{\mathcal {D}},\varvec{i}}\) the simple module \(\mathcal {L}_{{\mathcal {D}}}\big (F^{\varvec{i}}(\beta _k)\big ) \in \mathscr {C}_{\mathfrak g}\) (see (2.2.1)). Note that we have
It follows from the construction that
for any \(\varvec{c}=(c_1,\ldots ,c_N) \in \mathbb {Z}_{\ge 0}^N\). Moreover, we also have the following.
Lemma 3.3.4
For any \(\varvec{c}=(c_1,\ldots ,c_N) \in \mathbb {Z}_{\ge 0}^N\), we have
Proof
This follows from (3.3.3) and [22, Corollary 4.8].\(\square \)
Following [29], we extend the above definition of \(S_k = S_k^{{\mathcal {D}},\varvec{i}}\) to all \(k \in \mathbb {Z}\) by
These modules \(S_k\) (\(k \in \mathbb {Z}\)) are called the affine cuspidal modules corresponding to \(\mathcal {D}\) and \(\varvec{i}\).
Remark 3.3.5
Our convention of affine cuspidal modules is different from that of [29]. Setting \(\varvec{i}^\vee = (i_N^*,\ldots ,i_1^*) \in R(w_0)\), our \(S_k^{{\mathcal {D}},\varvec{i}}\) coincides with \(``\textsf {S}_{N+1-k}^{{\mathcal {D}},\varvec{i}^\vee }"\) in [29, Definition 5.6].
Proposition 3.3.6
([29, Propositions 5.7]) The modules \(\{S_k\}_{k \in \mathbb {Z}}\) satisfy the following.
-
(i)
\(S_k\) is a root module for all \(k \in \mathbb {Z}\).
-
(ii)
For any \(a,b \in \mathbb {Z}\) with \(a<b\), the pair \((S_a,S_b)\) is strongly unmixed.
-
(iii)
For any increasing sequence \(k_1<k_2<\cdots <k_p\) of integers and \((a_1,\ldots ,a_p) \in \mathbb {Z}_{> 0}^p\), \((S_{k_1}^{\otimes a_1},\ldots , S_{k_p}^{\otimes a_p})\) is a normal sequence and \(\text {hd}\big (S_{k_1}^{\otimes a_1} \otimes \cdots \otimes S_{k_p}^{\otimes a_p}\big )\) is simple.
We have \((i_1,\ldots ,i_N) \in R(w_0)\) if and only if \((i_2,\ldots ,i_N,i_1^*) \in R(w_0)\). The following lemma is proved from [29, Propositions 5.9 and 5.10].
Lemma 3.3.7
Let \(\{S_k\}_{k \in \mathbb {Z}}\) be the sequence of affine cuspidal modules corresponding to a strong duality datum \(\mathcal {D}\) associated with \(\text {g}\) and \((i_1,\ldots ,i_N) \in R(w_0)\). We extend \(i_k\) to all \(k \in \mathbb {Z}\) by
Fix \(a \in \mathbb {Z}\), and set \(i_k' = i_{a+k}\) and \(S'_k=S_{a+k}\) for all \(k \in \mathbb {Z}\). Set \(\beta _k'=s_{i_1'}\cdots s_{i_{k-1}'}(\alpha _{i_k'})\) for \(1\le k \le N\), and let \(k(i) \in [1,N]\) \((i \in I)\) be the unique integer satisfying \(\beta _{k(i)}' = \alpha _i\). Then the family \(\mathcal {D}'=\{S'_{k(i)}\}_{i \in I}\) forms a strong duality datum associated with \(\text {g}\), and \(\{S'_k\}_{k \in \mathbb {Z}}\) is the sequence of affine cuspidal modules corresponding to \(\mathcal {D}'\) and \((i_1',\ldots ,i_N') \in R(w_0)\).
The following lemma is easily proved from the construction and [37, Subsection 39.2.5].
Lemma 3.3.8
Let \(\{S_k\}_{k \in \mathbb {Z}}\) be the sequence of affine cuspidal modules corresponding to a strong duality datum \(\mathcal {D}\) and \(\varvec{ i }=( i_1,\ldots , i_N) \in R(w_0)\). Assume that \(a_{i_l i_{l+1}}=0\) for some \(1\le l < N\), and let \(\varvec{ i }' \in R(w_0)\) be such that \( i_{l}'= i_{l+1}\), \( i_{l+1}'= i_{l}\) and \( i_k' = i_k\) for \(k\ne l,l+1\). For \(k \in \mathbb {Z}\), set
Then \(\{S_k'\}_{k \in \mathbb {Z}}\) is the affine cuspidal modules corresponding to \(\mathcal {D}\) and \(\varvec{ i }'\).
3.4 Simple Modules in \(\mathscr {C}_{\mathfrak g}\)
The notations in this subsection will be used later in some examples for illustrating notions or formulas. For simplicity, we assume that \({\mathfrak g}\) is of untwisted type only in this subsection.
Let \(\mathcal {P}^+=\big (1+u\textbf{k}[u]\big )^{I_{\mathfrak g}^0}\) be the abelian monoid (via coordinate-wise multiplication) of \(I_{\mathfrak g}^0\)-tuples of polynomials with indeterminate u and constant term 1. By [3, 4], the isomorphism classes of simple modules in \(\mathscr {C}_{\mathfrak g}\) are parametrized by \(\mathcal {P}^+\). For \(m \in \mathcal {P}^+\), denote by L(m) a simple module belonging to the associated isomorphism class.
Following [8, 10], we denote elements of \(\mathcal {P}^+\) via monomials. Throughout the rest of this paper we pick and fix \(\alpha \in \textbf{k}^\times \) once and for all, and for \(i \in I_{\mathfrak g}^0\) and \(k \in \mathbb {Z}\) define \(Y_{i,k} =\big (Y_{i,k}^j(u)\big )_{j \in I_{\mathfrak g}^0}\in \mathcal {P}^+\) by
All elements of \(\mathcal {P}^+\) appearing below will be expressed as monomials in \(\{Y_{i,k}\mid i \in I_{\mathfrak g}^0, k \in \mathbb {Z}\}\).
We call a simple module \(L(Y_{i,k})\) a fundamental module. For a sequence \((i_1,k_1),\ldots ,(i_p,k_p)\) of elements of \(I_{\mathfrak g}^0 \times \mathbb {Z}\), it follows from [2, 21, 46] that
We also have
by [5, 8], where \(h^\vee \) is the dual Coxeter number of the simple Lie subalgebra \({\mathfrak g}_0 \subseteq {\mathfrak g}\) corresponding to \(I_{\mathfrak g}^0\).
4 Primeness, Reality, and Short Exact Sequences
Throughout this section, fix a strong duality datum \(\mathcal {D}= \{ \textsf {L}_i\}_{i \in I}\subseteq \mathscr {C}_{\mathfrak g}\) associated with \(\text {g}\), a reduced word \(\varvec{i}=(i_1,\ldots ,i_N) \in R(w_0)\), and an increasing sequence \(\varvec{k}=(k_1<k_2<\cdots <k_p)\) of integers. Let \(S_k = S_k^{{\mathcal {D}},\varvec{i}}\) (\(k \in \mathbb {Z}\)) be the affine cuspidal modules corresponding to \(\mathcal {D}\) and \(\varvec{i}\). For \(a,b \in [1,p]\) with \(a \le b\), we write
which is simple by Proposition 3.3.6. Set \(\mathbb {S}_{\varvec{k}} = \mathbb {S}_{\varvec{k}}[1,p]\), and \(\mathbb {S}_{\varvec{k}}[a,b]=\varvec{1}\) if \(a>b\).
4.1 Primeness and Reality
A simple module \(M \in \mathscr {C}_{{\mathfrak g}}\) is said to be prime if any tensor decomposition \(M \cong N_1 \otimes N_2\) satisfies \(N_1 \cong \varvec{1}\) or \(N_2 \cong \varvec{1}\).
Proposition 4.1.1
Assume that one of the following two conditions is satisfied:
-
(i)
For all \(1\le a < p\), we have \(\mathfrak {d}(S_{k_a}, \mathbb {S}_{\varvec{k}}[a+1,p]) > 0\).
-
(ii)
For all \(1< b \le p\), we have \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[1,b-1], S_{k_b}) > 0\).
Then \(\mathbb {S}_{\varvec{k}}\) is prime.
Proof
We will show the assertion by the induction on p, assuming (ii) (the case (i) is similarly proved). In this proof, we write k for \(k_p\). First assume that \(p=1\) (namely, \(\mathbb {S}_{\varvec{k}}=S_k\)), and \(M,N \in \mathscr {C}_{{\mathfrak g}}\) satisfies \(S_{k} \cong M \otimes N\). Recall that \(S_k\) is a root module by Proposition 3.3.6. Since \(S_{k}\) is real, so are M and N. By Proposition 3.2.4 (ii), we have
which implies that either \(\mathfrak {d}(\mathscr {D}M, M)=0\) or \(\mathfrak {d}(\mathscr {D}N, N)=0\) holds. Hence we have \(M \cong \varvec{1}\) or \(N \cong \varvec{1}\), as required.
Let \(p >1\), and assume that \(\mathbb {S}_{\varvec{k}} \cong M \otimes N\). By Lemma 3.2.5 (ii) and Proposition 3.3.6 (ii), we have
From this, we see that either \(\mathfrak {d}(\mathscr {D}^{-1} S_k, M) =0\) or \(\mathfrak {d}(\mathscr {D}^{-1} S_k, N)=0\) holds, and we may assume the former. It follows from Proposition 3.1.2 that \(\mathscr {D}^{-1} S_k \, \nabla \,\mathbb {S}_{\varvec{k}} \cong \mathbb {S}_{\varvec{k}}[1,p-1]\). Since \(\mathfrak {d}( \mathscr {D}^{-1} S_k\, \nabla \,N,M) = 0\), we have
Since \(\mathbb {S}_{\varvec{k}}[1,p-1]\) is prime by the induction hypothesis, we have \(M \cong \varvec{1}\) or \(\mathscr {D}^{-1} S_k\, \nabla \,N \cong \varvec{1}\). If the latter occurs, we have \(N \cong S_k\) and \(M \cong \mathbb {S}_{\varvec{k}}[1,p-1]\) by Proposition 3.1.2, which contradicts the assumption \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[1,p-1],S_k ) > 0\). Hence \(M \cong \varvec{1}\) holds, and the proof is complete. \(\square \)
Lemma 4.1.2
Let \(a,b,c \in [1,p]\) with \(a\le b \le c\), and assume that
Then \(S_{k_b}\) and \(\mathbb {S}_{\varvec{k}}[a,c]\) strongly commute.
Proof
Set
By Proposition 3.3.6 (ii), we have \(\mathfrak {d}(\mathscr {D}X, Y) = 0\) and \(\mathfrak {d}(\mathscr {D}Y, Z)=0\). This and Proposition 3.3.6 (iii) imply that (X, Y, Z) satisfies the assumptions of Proposition 3.2.9, and hence we have
By Proposition 3.2.8, our assumption (4.1.1) implies that \(\mathfrak {d}(Y,X\, \nabla \,Y) = \mathfrak {d}(Y,Y\, \nabla \,\) \( Z)=0\). Hence we have \(\mathfrak {d}(S_{k_b},\mathbb {S}_{\varvec{k}}[a,c])=0\). Now the assertion follows from Proposition 3.2.3 (ii). \(\square \)
Proposition 4.1.3
Let \(a,b \in [1,p]\) with \(a\le b\), and assume that
for all \(c \in [a,b]\).
-
(i)
\(\mathbb {S}_{\varvec{k}}[a,b]\) is a real simple module.
-
(ii)
For any \(a',b' \in [a,b]\) with \(a' \le b'\), \(\mathbb {S}_{\varvec{k}}[a,b]\) and \(\mathbb {S}_{\varvec{k}}[a',b']\) strongly commute.
Proof
The assertion (i) is proved inductively using Proposition 3.2.7, and then (ii) follows from Lemma 4.1.2 and Propositions 3.2.3 (ii) and 3.2.4 (i). \(\square \)
4.2 A Sufficient Condition to have a Short Exact Sequence
Theorem 4.2.1
Assume that \(p \ge 2\), and both of the following two conditions are satisfied:
-
(a)
for any \(1\le a < b\le p\), we have \(\mathfrak {d}(S_{k_a}, \mathbb {S}_{\varvec{k}}[a+1,b]) =1\), and
-
(b)
for any \(1\le a < b \le p\), we have \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[a,b-1], S_{k_b}) = 1\).
Then there exists a short exact sequence
where the tensor product in the second term is ordered from left to right. Moreover, the first and third terms are simple.
Our proof goes along a similar line as the one of [30, Theorem 4.25]. First we note the following lemma, which is a special case of [29, Theorem 6.12]. For the reader’s convenience, we give a proof here.
Lemma 4.2.2
Let \(l,m \in \mathbb {Z}\) be such that \(l<m\), and assume that \(\mathfrak {d}(S_l,S_m) >0\). Then we have
Proof
Since \(\mathfrak {d}(S_l,S_m) > 0\), we have \(m\le l+N\) by (3.3.4) and Proposition 3.3.6 (ii). If the equality holds, we have \(S_l \, \Delta \,S_m \cong \varvec{1}\), which implies the assertion with \(c_j=0\) for all j. Assume that \(m <l+N\). Extend \(i_k \in I\) (fixed at the beginning of this section) to all \(k \in \mathbb {Z}\) by \(i_{k-N} = i_k^*\), and set \(\varvec{i}'=(i_{l},\ldots ,i_{l+N-1}) \in R(w_0)\). By (3.3.3) and Lemmas 3.3.4 and 3.3.7, there is a strong duality datum \(\mathcal {D}'\) such that the algebra homomorphism \(\mathcal {L}_{{\mathcal {D}}'}:U_\mathbb {Z}^-(\text {g})^{\text {up}} \rightarrow K(\mathscr {C}_{\mathfrak g})\) satisfies
for all \(\varvec{d}=(d_l,\ldots ,d_{l+N-1}) \in \mathbb {Z}_{\ge 0}^N\). The assertion is now proved by applying this \(\mathcal {L}_{{\mathcal {D}}'}\) to \(F^{\varvec{i}'}(\varvec{d})\), where
and using Proposition 2.2.2. \(\square \)
We devote the rest of this section to the proof of Theorem 4.2.1. Until the end of the proof, we assume that the sequence \((S_{k_1},\ldots ,S_{k_p})\) satisfies the assumptions (a) and (b) of the theorem. Note that then the first and third terms of (4.2.1) are both simple by Lemma 4.2.2, Proposition 3.3.6, and Proposition 4.1.3.
Lemma 4.2.3
-
(i)
We have \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[1,p-1],\mathbb {S}_{\varvec{k}}[2,p]) \le 1.\)
-
(ii)
We have \(\mathbb {S}_{\varvec{k}}[1,p-1] \, \nabla \,\mathbb {S}_{\varvec{k}}[2,p] \cong \mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1]\).
Proof
(i) The assertion holds since
by Proposition 4.1.3 and the assumption (a). (ii) There are homomorphisms
by (3.2.1), and the last term is simple. By Proposition 3.1.1 (i), we obtain a surjection \(\mathbb {S}_{\varvec{k}}[1,p-1] \otimes \mathbb {S}_{\varvec{k}}[2,p] \twoheadrightarrow \mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1]\), and the proof is complete. \(\square \)
Lemma 4.2.4
We have \(\displaystyle \mathbb {S}_{\varvec{k}}[2,p] \, \nabla \,\mathbb {S}_{\varvec{k}}[1,p-1] \cong \text {hd}\Big (\bigotimes _{a=1}^{p-1} (S_{k_{a}} \, \Delta \,S_{k_{a+1}})\Big )\).
Proof
We shall show the assertion by the induction on p. The case \(p=2\) is obvious. Assume that \(p>2\). In this proof, we write k for \(k_p\) and \(k^{-}\) for \(k_{p-1}\).
Claim 1 We have \(\text {hd}(\mathbb {S}_{\varvec{k}}[1,p-2] \otimes S_{k} \otimes S_{k^-}) \cong S_{k} \, \nabla \,\mathbb {S}_{\varvec{k}}[1,p-1]\). We apply Lemma 3.2.14 to \(X=\mathbb {S}_{\varvec{k}}[1,p-2]\), \(Y=S_k\), and \(Z=S_{k^{-}}\). Since \(\mathscr {D}X\) and Z strongly commute, (X, Y, Z) is a normal sequence by Proposition 3.2.11 and the assumption (i) of the lemma follows. The assumption (ii) is equivalent to
by Proposition 3.2.3 (i). It follows from our assumption (b) that
from which we have \(\big (\Lambda (X\, \nabla \,Z,Y)-\Lambda (Z,Y)\big )-\Lambda (Y,Z)+\Lambda (Y,X\, \nabla \,Z) = 0\). Since (X, Z, Y) is a normal sequence, we have \(\Lambda (X \, \nabla \,Z, Y) = \Lambda (X,Y)+\Lambda (Z,Y)\) by Proposition 3.2.10. Hence (4.2.2) holds, and Claim 1 follows from Lemma 3.2.14.
Therefore, we have the following homomorphisms:
We see from Lemma 4.2.2 that \(\mathscr {D}\, \mathbb {S}_{\varvec{k}}[2,p-1]\) and \(S_{k^-} \, \Delta \,S_k\) strongly commute, and thus \((\mathbb {S}_{\varvec{k}}[2,p-1], \mathbb {S}_{\varvec{k}}[1,p-2], S_{k^-} \, \Delta \,S_{k})\) is a normal sequence by Proposition 3.2.11. Hence we obtain a surjection
By the induction hypothesis, we have \(\displaystyle \mathbb {S}_{\varvec{k}}[2,p-1] \, \nabla \,\mathbb {S}_{\varvec{k}}[1,p-2] \cong \text {hd}\Big (\bigotimes _{a=1}^{p-2} (S_{k_a} \, \Delta \,\) \(S_{k_{a+1}})\Big )\), and hence we obtain a surjection
Since \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[2,p-1],S_k) =1\), we have a short exact sequence
by Proposition 3.2.6.
Claim 2 \(\mathbb {S}_{\varvec{k}}[1,p-1]\) and \(S_k \, \nabla \,\mathbb {S}_{\varvec{k}}[2,p-1]\) strongly commute. In the proof of this claim, set \(X=\mathbb {S}_{\varvec{k}}[1,p-1]\), \(Y=S_k\) and \(Z=\mathbb {S}_{\varvec{k}}[2,p-1]\). We have
and hence it suffices to show that \(\mathfrak {d}(X, Y \, \nabla \,Z) \ne \mathfrak {d}(X,Y) + \mathfrak {d}(X,Z)\). If the equality holds, then Lemma 3.2.12 implies that (X, Y, Z) is a normal sequence. Hence by Proposition 3.2.10, we have
Moreover, (Z, X, Y) is also a normal sequence since \(\mathscr {D}Z\) and Y strongly commute, and hence we have
On the other hand, since \(\mathfrak {d}(X \, \nabla \,Y, Z) = 0\) and \(\mathfrak {d}(X,Z) = 0\), it follows from Proposition 3.2.3 (i) that
Now by combining them, we have
which contradicts the assumption (b). The proof is complete.
Write \(\displaystyle \mathbb {H} = \text {hd}\Big (\bigotimes _{a=1}^{p-1} (S_{k_a} \, \Delta \,S_{k_{a+1}})\Big )\). The simple modules \((S_k \, \nabla \,\mathbb {S}_{\varvec{k}}[2,p-1])\otimes \mathbb {S}_{\varvec{k}}[1,p-1]\) and \(\mathbb {H}\) are not isomorphic. Indeed, this follows since we have
by Lemma 3.2.5, and, on the other hand, \(\mathfrak {d}(\mathscr {D}S_{k_1}, \mathbb {H})=0\) by Lemma 4.2.2. Hence the composition
vanishes, where the second homomorphism is (4.2.4). Hence we obtain a surjection \(\mathbb {S}_{\varvec{k}}[2,p] \otimes \mathbb {S}_{\varvec{k}}[1,p-1] \twoheadrightarrow \mathbb {H}\) by (4.2.5), which completes the proof of the lemma. \(\square \)
Proof of Theorem 4.2.1.
By Proposition 3.2.6 and Lemmas 4.2.3 and 4.2.4, it suffices to show that \(\mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1]\) and \(\mathbb {H}\) are not isomorphic, which follows from
\(\square \)
5 Snake Modules Associated with a Strong Duality Datum of Type A
5.1 Quivers and Reduced Words
In the remainder of this paper, we assume that \(\text {g}=\mathfrak {sl}_{n+1}\), namely of type \(A_n\), whose index set is \(I =[1,n]\) and the Dynkin diagram \(\Delta \) is given by
We have
and \( i^* = n+1 - i\) for \( i \in I \). For \(i,j \in I\) with \(i\le j\), we write \(\alpha _{i,j}=\alpha _i+\alpha _{i+1}+\cdots +\alpha _{j} \in R^+\). If \(i>j\), we set \(\alpha _{i,j}=0\). We still assume that \({\mathfrak g}\) is an arbitrary affine Lie algebra.
Definition 5.1.1
-
(i)
A height function (or untwisted height function) on I is a function \(\xi :I \rightarrow \mathbb {Z}\) satisfying
$$ |\xi _i-\xi _{i+1}| = 1 \ \ \text {for }1\le i <n, $$where we set \(\xi _i=\xi (i)\) for simplicity. We denote by HF the set of height functions.
-
(ii)
Assume that \(n=2n_0-1\) for some \(n_0 \in \mathbb {Z}_{\ge 2}\). A twisted height function on I is a function \(\xi :I \rightarrow \frac{1}{2}\mathbb {Z}\) satisfying
$$\begin{aligned}\begin{gathered} \xi _i \in \mathbb {Z}\ \ \text {for }i \in I \setminus \{n_0\}, \ \ \ |\xi _i-\xi _{i+1}| =1 \ \ \text {for }i \in I \setminus \{n_0-1,n_0,n\}, \\ |\xi _{n_0-1} - \xi _{n_0+1}| = 1 \ \ \ \text {and} \ \ \ |\xi _{n_0} - \min (\xi _{n_0-1},\xi _{n_0+1})| = 1/2. \end{gathered}\end{aligned}$$We denote by \(\text {HF}^{\text {tw}}\) the set of twisted height functions.
Remark 5.1.2
In [9], a notion of a height function on a pair of a Dynkin diagram and a diagram automorphism was defined. In this terminology, (i) is a height function on \((\Delta , \text {id})\), and (ii) is that on \((\Delta ,( \ )^*)\), up to conventions.
Here are examples of untwisted and twisted height functions when \(n=5\), where the numbers are the values of each function:
Following [9], we will define several notions associated with an untwisted or a twisted height function. Let \(\xi \in \text {HF}^{\flat }\) with \(\flat \in \{\emptyset , \text {tw}\}\), where \(\text {HF}^\emptyset := \text {HF}\). We say \(i \in I\) is a sink (resp. source) of \(\xi \) if \(\xi _i < \xi _j\) (resp. \(\xi _i-d_i > \xi _j-d_j\)) for all \(j \in I\) such that \(|i-j|=1\), where we set
If \(i \in I\) is a sink (resp. source) of \(\xi \), we define a new function \(s_i\xi \in \text {HF}^\flat \) by
We say a sequence \((i_1,\ldots ,i_r)\) of elements of I is adapted (or sink-adapted) to \(\xi \) if \(i_k\) is a sink of \(s_{i_{k-1}}\cdots s_{i_1}\xi \) for all \(k \in [1,r]\). The repetition quiver \(\widehat{Q}^\xi \) associated with \(\xi \) is a quiver whose vertex set \(\widehat{Q}^\xi _0\) and arrow set \(\widehat{Q}^\xi _1\) are given respectively by
For example, \(\widehat{Q}^\xi \) for \(\xi \) in (5.1.1) are, respectively, as follows:
For \(\xi , \xi ' \in \text {HF}^{\flat }\) with \(\flat \in \{\emptyset ,\text {tw}\}\), we have \(\widehat{Q}^\xi = \widehat{Q}^{\xi '}\) if \(\xi _i-\xi _i' \in 2\mathbb {Z}\) for some (or any) \(i \in I\) such that \(d_i=2\). Let \(\mathscr {D}_\xi :\widehat{Q}^\xi \rightarrow \widehat{Q}^\xi \) denote the unique quiver automorphism satisfying
We also write \(\mathscr {D}\) for \(\mathscr {D}_\xi \) when \(\xi \) is obvious. Define a partial order \(\preceq \) on \(\widehat{Q}^\xi _0\) by \((i,k) \preceq (j,l)\) if and only if there is an oriented path from (i, k) to (j, l) in \(\widehat{Q}^\xi \).
For \(\xi \in \text {HF}^\flat \) with \(\flat \in \{\emptyset ,\text {tw}\}\), let \(\Gamma ^{\xi }\) denote the full subquiver of \(\widehat{Q}^\xi \) whose vertex set \(\Gamma ^\xi _0\) is given by
We easily see that the number of the vertices of \(\Gamma ^\xi \) is N. We say a total ordering \(\Gamma ^\xi _0=\{(i_1,k_1),\ldots ,(i_N,k_N)\}\) of vertices of \(\Gamma ^\xi \) is a compatible reading of \(\Gamma ^\xi \) if \(r<s\) holds whenever there is an arrow \((i_r,k_r) \rightarrow (i_s,k_s)\) in \(\Gamma ^\xi \).
Proposition 5.1.3
([9, Section 3]) Assume that \(\xi \in \text {HF}^{\flat }\) with \(\flat \in \{\emptyset , \text {tw}\}\).
-
(i)
The set of reduced words of \(w_0\) adapted to \(\xi \) forms a single commutation class in \(R(w_0)\).
-
(ii)
If \(\{(i_1,k_1),\ldots ,(i_N,k_N)\}\) is a compatible reading of \(\Gamma ^\xi \), then \((i_1,\ldots ,i_N)\) is a reduced word of \(w_0\) adapted to \(\xi \). Conversely, any reduced word of \(w_0\) adapted to \(\xi \) is obtained from a compatible reading of \(\Gamma ^\xi \) in this way.
Let \(\xi \in \text {HF}^{\flat }\) with \(\flat \in \{\emptyset , \text {tw}\}\), and take a compatible reading \(\{(i_1,k_1),\ldots ,(i_N,k_N)\}\) of \(\Gamma ^\xi \). Define a bijection \(\phi _\xi :\Gamma ^\xi _0 \rightarrow R^+\) by
Here and below we write \(\phi _{\xi }(i,k)\) instead of \(\phi _{\xi }\big ((i,k)\big )\) for simplicity. The map \(\phi _{\xi }\) does not depend on the choice of the compatible reading by Proposition 5.1.3. If we take \(\xi \) as in (5.1.1), \(\Gamma ^\xi \) and \(\phi _\xi \) are given, respectively, as follows:
If \(\xi \) is an untwisted height function, \(\Gamma ^\xi \) is isomorphic to the Auslander-Reiten quiver of the category of finite-dimensional modules over the path algebra of type \(A_n\) associated with \(\xi \) (see [11]).
5.2 Snake Modules
Let \(\mathcal {D}=\{\textsf {L}_i \}_{ i \in I} \subseteq \mathscr {C}_{{\mathfrak g}}\) be a strong duality datum associated with \(\mathfrak {sl}_{n+1}\), and assume that \(\xi \in \text {HF}^{\flat }\) with \(\flat \in \{\emptyset ,\text {tw}\}\). Choose an arbitrary compatible reading \(\Gamma ^\xi _0=\{(i_1,k_1),\ldots ,(i_N,k_N)\}\), and set \(\varvec{i}=(i_1,\ldots ,i_N) \in R(w_0)\). Let \(S_k^{{\mathcal {D}},\varvec{ i}}\) (\(k \in \mathbb {Z}\)) be the corresponding affine cuspidal modules. These modules are labeled by \(\mathbb {Z}\), and we shall relabel them by \(\widehat{Q}_0^\xi \) as follows; set
and extend this to all \((i,k) \in \widehat{Q}^\xi _0\) by \(S_{\mathscr {D}_\xi (i,k)}^{{\mathcal {D}},\xi } =\mathscr {D}S_{i,k}^{{\mathcal {D}},\xi }\). It follows that
It is easily seen from Lemma 3.3.8 that these \(S_{i,k}^{{\mathcal {D}},\xi }\) do not depend on the choice of the compatible reading (though \(S_k^{{\mathcal {D}},\varvec{i}}\) do). We will write \(S_{i,k}\) or \(S_{i,k}^{\xi }\) for \(S_{i,k}^{{\mathcal {D}},\xi }\) when no confusion is likely.
Remark 5.2.1
Assume that \(\xi \in \text {HF}\) (resp. \(\xi \in \text {HF}^{\text {tw}}\)) and \({\mathfrak g}\) is of type \(A_n^{(1)}\) (resp. \(B_{n_0}^{(1)}\)). For each \(i \in I\), set
(see Subsection 3.4 for notation), where we put \((j,l) = \phi _\xi ^{-1}(\alpha _i) \in \Gamma ^\xi _0\). Then \(\mathcal {D}= \{\textsf {L}_i\}_{i \in I}\) forms a strong duality datum associated with \(\mathfrak {sl}_{n+1}\), and we have
see [9, 15, 25, 29] (note that source-adapted reduced words are used by convention in these papers).
Lemma 5.2.2
Let \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\) be a strong duality datum associated with \(\mathfrak {sl}_{n+1}\), and assume that \(\xi ,\xi ' \in \text {HF}^{\flat }\) with \(\flat \in \{\emptyset ,\text {tw}\}\).
-
(i)
If \(\xi ' - \xi \) is a constant function whose value is \(p \in \mathbb {Z}\), then we have \(S_{i,k}^{{\mathcal {D}},\xi '} \cong S_{i,k-p}^{{\mathcal {D}},\xi }\) for all \((i,k) \in \widehat{Q}^{\xi '}_0\).
-
(ii)
Assume that \(\widehat{Q}^\xi = \widehat{Q}^{\xi '}\), and set \(\textsf {L}_i' = S_{\phi _{\xi '}^{-1}(\alpha _i)}^{{\mathcal {D}},\xi }\) for \(i\in I\). Then \(\mathcal {D}'=\{\textsf {L}'_i\}_{i \in I}\) forms a strong duality datum associated with \(\mathfrak {sl}_{n+1}\), and we have
$$\begin{aligned} S_{i,k}^{{\mathcal {D}},\xi } \cong S_{i,k}^{{\mathcal {D}}',\xi '} \ \ \ \text {for all }(i,k) \in \widehat{Q}^\xi _0. \end{aligned}$$(5.2.2)
Proof
(i) This is obvious from the construction. (ii) It is easily seen that there is a sequence \(j_1,j_2,\ldots ,j_r\) of elements of I such that \(j_t\) is a sink or a source of \(s_{j_{t-1}}\cdots s_{j_{1}}\xi \) for all \(1\le t \le r\), and \(s_{j_r}\cdots s_{j_1}\xi = \xi '\). Hence it suffices to show the assertion for \(\xi '=s_j\xi \), with j being a sink or a source of \(\xi \). We show this for a sink j (the other case is proved similarly). Take a compatible reading \(\{(i_1,k_1),\ldots ,(i_N,k_N)\}\) of \(\Gamma ^\xi \) such that \((i_1,k_1) = (j,\xi _j)\), and set
We easily check that \(\{(i_1',k_1'),\ldots ,(i_N',k_N')\}\) is a compatible reading of \(\Gamma ^{\xi '}\). Set \(\varvec{i}=(i_1,\ldots ,i_N)\), \(\varvec{i}'=(i_1',\ldots ,i_N')\), and \(S_k'= S_{k+1}^{{\mathcal {D}},\varvec{i}}\) for all \(k\in \mathbb {Z}\). For \(i \in I\) and \(r \in [1,N]\),
Therefore by Lemma 3.3.7, \(\mathcal {D}'= \big \{ S_{\phi _{\xi '}^{-1}(\alpha _i)}^{{\mathcal {D}},\xi }\big \}_{i \in I} \) forms a strong duality datum, and \(\{S_k'\}_{k \in \mathbb {Z}}\) are the affine cuspidal modules corresponding to \(\mathcal {D}'\) and \(\varvec{i}'\). Now (5.2.2) for \((i,k) \in \Gamma ^\xi _0\) is proved by
Then (5.2.2) for general \((i,k) \in \widehat{Q}^\xi _0\) also follows from the construction. \(\square \)
Lemma 5.2.3
Let \(\mathcal {D}=\{\textsf {L}_i\}\) be a strong duality datum associated with \(\mathfrak {sl}_{n+1}\), and \(\xi \) a height function or a twisted height function.
-
(a)
Each \(S_{i,k}\) is a root module.
-
(b)
Let \((i,k),(i',k') \in \widehat{Q}_0^\xi \) be such that \((i,k) \not \succeq (i',k')\). Then the pair \((S_{i,k}, S_{i',k'})\) is strongly unmixed.
-
(c)
Let \((i_1,k_1),\ldots ,(i_p,k_p)\) be a sequence of elements of \(\widehat{Q}_0^\xi \), and assume that \((i_r,k_{r}) \not \succeq (i_s,k_s)\) for all \(r,s \in [1,p]\) such that \(r<s\). Then for any sequence \(a_1,\ldots ,a_p\) of positive integers, the head of \(S_{i_1,k_1}^{\otimes a_1} \otimes \cdots \otimes S_{i_p,k_p}^{\otimes a_p}\) is simple.
-
(d)
If \((i,k),(i',k') \in \widehat{Q}_0^\xi \) are incomparable, then \(S_{i,k}\) and \(S_{i',k'}\) strongly commute.
Proof
(a) This follows from Proposition 3.3.6 (i). (b) Let \(r,r'\) be the integers satisfying
where \(\varvec{i} \in R(w_0)\) is an element coming from a compatible reading of \(\Gamma ^\xi \). By replacing \((\mathcal {D},\xi )\) and \(\varvec{i}\) using Lemma 5.2.2 (ii), if necessary, we may assume \(r<r'\). Then the assertion follows from Proposition 3.3.6 (ii). (c) This follows from (b) and Proposition 3.2.13. (d) As above, we may assume that \(S_{i,k}=S_{r}^{{\mathcal {D}},\varvec{i}}\) and \(S_{i',k'} = S_{r+1}^{{\mathcal {D}},\varvec{i}}\) for some \(\varvec{i}\) and \(r \in \mathbb {Z}\). If \(S_{i,k}\) and \(S_{i',k'}\) do not strongly commute, it follows from Lemma 4.2.2 that \(S_{i,k} \, \Delta \,S_{i',k'} \cong \varvec{1}\), which implies \(S_{i,k} \cong \mathscr {D}S_{i',k'}\), or equivalently \((i',k') = \mathscr {D}^{-1}(i,k)\). This obviously contradicts the assumption, and the assertion is proved.\(\square \)
Let \(\mathcal {D}\) be a strong duality datum associated with \(\mathfrak {sl}_{n+1}\) and \(\xi \) an untwisted or a twisted height function. For a sequence \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) of elements of \(\widehat{Q}^{\xi }_0\) satisfying \((i_r,k_r) \not \succeq (i_s,k_s)\) for all \(1\le r < s \le p\), set
which is simple by Lemma 5.2.3. We often write \(\mathbb {S}(\varvec{P})\) for \(\mathbb {S}^{{\mathcal {D}},\xi }(\varvec{P})\).
When \(\xi \) is a twisted height function, we define four subsets \(\widehat{Q}^{\xi ,\gtrless }_0\), \(\widehat{Q}^{\xi ,\text {D}}_0\) and \(\widehat{Q}^{\xi ,\text {U}}_0\) of \(\widehat{Q}^{\xi }_0\) by
Here “\(\text {D}\)” (resp. “\(\text {U}\)”) stands for “downward” (resp. “upward”), the direction of all the arrows incident to the vertices belonging to the subset. When \(n=5\), these are illustrated as follows, where \(\circ \) (resp. \(\heartsuit \), \(\spadesuit \), \(\bullet \)) belong to \(\widehat{Q}^{\xi ,<}_0\) (resp. \(\widehat{Q}^{\xi ,\text {U}}_0\), \(\widehat{Q}^{\xi ,\text {D}}_0\), \(\widehat{Q}^{\xi ,>}_0\)):
Note that \(\mathscr {D}:\widehat{Q}^\xi \rightarrow \widehat{Q}^\xi \) maps \(\widehat{Q}_0^{\xi ,<}\) (resp. \(\widehat{Q}_0^{\xi ,\text {D}}\)) bijectively onto \(\widehat{Q}_0^{\xi ,>}\) (resp. \(\widehat{Q}_0^{\xi ,\text {U}}\)), and vice versa.
Definition 5.2.4
([39])
-
(1)
Assume that \(\xi \) is a height function, and \((i,k), (i',k') \in \widehat{Q}_0^\xi \).
-
(i)
We say \((i',k')\) is in snake position with respect to (i, k) if \((i,k+2) \preceq (i',k')\).
-
(ii)
We say \((i',k')\) is in prime snake position with respect to (i, k) if
$$ (i,k+2) \preceq (i',k') \preceq \mathscr {D}^{-1}(i,k). $$
-
(i)
-
(2)
Assume that \(\xi \) is a twisted height function, and \((i,k),(i',k') \in \widehat{Q}_0^{\xi }\).
-
(i)
We say \((i',k')\) is in snake position with respect to (i, k) if \((i,k+2-\delta _{i,n_0}) \preceq (i',k')\),
$$\begin{aligned} (i',k')&\in \widehat{Q}^{\xi ,<} \sqcup \widehat{Q}^{\xi ,\text {D}}\ \ \ \text {when }(i,k) \in \widehat{Q}^{\xi ,<} \sqcup \widehat{Q}^{\xi ,\text {U}}, \ \ \ \text {and} \\ (i',k')&\in \widehat{Q}^{\xi ,>} \sqcup \widehat{Q}^{\xi ,\text {U}} \ \ \ \text {when }(i,k) \in \widehat{Q}^{\xi ,>} \sqcup \widehat{Q}^{\xi ,\text {D}}. \end{aligned}$$ -
(ii)
We say \((i',k')\) is in prime snake position with respect to (i, k) if \((i',k')\) is in snake position with respect to (i, k), and \((i',k') \preceq \mathscr {D}^{-1}(i,k)\).
-
(i)
When we would like to emphasize that \(\xi \) is untwisted (resp. twisted), we say \((i',k')\) is in snake position of untwisted type (resp. of twisted type) with respect to (i, k).
When \(n=5\) these are illustrated as follows, where \(\bullet \) and \(\circ \) are in snake position with respect to \(\star \), and \(\bullet \) are in prime snake position with respect to \(\star \).
Remark 5.2.5
The definition of prime snake position for \(\xi \in \text {HF}\) can be rephrased in terms of the denominators of normalized R-matrices between fundamental modules of type \(A_n^{(1)}\) as follows: for \((i,k),(i',k') \in \widehat{Q}_0^\xi \), \((i',k')\) is in prime snake position with respect to (i, k) if and only if \(d_{L(Y_{i',-k'}),L(Y_{i,-k})}(1)=0\). This follows from the denominator formula in [7].
Similar assertion does not hold for \(\xi \in \text {HF}^{\text {tw}}\). Assume that \({\mathfrak g}\) is of type \(B_{n_0}^{(1)}\). For \((i,k), (i',k') \in \widehat{Q}_0^\xi \), if \((i',k')\) is in prime snake position with respect to (i, k), then \(d_{L(Y_{\hat{i}',-2k'}),L(Y_{\hat{i},-2k})}(1)=0\) holds (see Remark 5.2.1 for the notation), but the converse is not true (see [41]).
The following definition (with \((\mathcal {D},\xi )\) taken as in Remark 5.2.1) was introduced in [39].
Definition 5.2.6
Let \(\xi \) be a height function or a twisted height function, and \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) a sequence of elements of \(\widehat{Q}^\xi _0\).
-
(i)
We say \(\varvec{P}\) is a snake (resp. prime snake) if \((i_{s+1},k_{s+1})\) is in snake position (resp. in prime snake position) with respect to \((i_{s},k_{s})\) for all \(1 \le s < p\). We also say \(\varvec{P}\) is a snake of untwisted or twisted type, when we would like to emphasize the type of \(\xi \). For a subset \(\Omega \) of \(\widehat{Q}^\xi _0\), we say \(\varvec{P}\) is a snake in \(\Omega \) if \(\varvec{P}\) is a snake and all the elements of \(\varvec{P}\) belong to \(\Omega \).
-
(ii)
Let \(\mathcal {D}\) be a strong duality datum associated with \(\mathfrak {sl}_{n+1}\). If \(\varvec{P}\) is a snake, we call \(\mathbb {S}(\varvec{P})=\mathbb {S}^{{\mathcal {D}},\xi }(\varvec{P})\) a snake module (of untwisted or twisted type) associated with \(\mathcal {D}\) and \(\xi \).
Lemma 5.2.7
If \(\varvec{P}=\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) is a snake, then so are
and we have \(\mathscr {D}^{\pm 1} \mathbb {S}(\varvec{P}) \cong \mathbb {S}(\mathscr {D}^{\pm 1} \varvec{P})\). Moreover, if \(\varvec{P}\) is prime then so are \(\mathscr {D}^{\pm 1} \varvec{P}\).
Proof
The first and last assertions are easily checked from the definition, and the second follows from Proposition 3.2.10, since
\(\square \)
For a sequence \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) of elements of \(\widehat{Q}^\xi _0\) and \(a,b \in [1,p]\) with \(a\le b\), set \(\varvec{P}_{[a,b]} = \big ((i_a,k_a),(i_{a+1},k_{a+1}),\ldots ,(i_b,k_b)\big )\).
Lemma 5.2.8
-
(i)
If \((i,k),(i',k') \in \widehat{Q}^\xi _0\) satisfy \(\mathscr {D}^{-1}(i,k) \not \succeq (i',k')\), then \(\mathscr {D}^{\ell }S_{i,k}\) and \(S_{i',k'}\) strongly commute for all \(\ell \in \mathbb {Z}_{\ge 0}\).
-
(ii)
Let \(\varvec{P}=\big ((i_1,k_1),\ldots ,(i_p,k_p)\big ) \in (\widehat{Q}^\xi _0)^p\) be a snake. If \((i_{r+1},k_{r+1})\) is not in prime snake position with respect to \((i_r,k_r)\) for some r, then we have
$$ \mathbb {S}(\varvec{P}) \cong \mathbb {S}(\varvec{P}_{[1,r]}) \otimes \mathbb {S}(\varvec{P}_{[r+1,p]}). $$
Proof
Since \(\mathscr {D}^{\ell +1} S_{\mathscr {D}^{-1}(i,k)} \cong \mathscr {D}^{\ell }S_{i,k}\), the assertion (i) follows from Lemma 5.2.3 (b). The assertion (ii) easily follows from (i). \(\square \)
Later, we will prove that \(\mathbb {S}(\varvec{P})\) is prime if \(\varvec{P}\) is a prime snake (Theorems 6.2.4 (ii) and 7.2.6 (ii)).
6 The Case of Untwisted Height Functions
6.1 Reineke’s Algorithm
In this section, we focus on (untwisted) height functions. We will prove that, if \(\xi \) is a height function and \(\varvec{P}\) is a prime snake in \(\widehat{Q}^\xi _0\), the module \(\mathbb {S}(\varvec{P})\) satisfies the assumptions of Theorem 4.2.1, using Proposition 3.3.3 (c). For that, we need to calculate \(\varepsilon _i(b)\) and \(\varepsilon _i^*(b)\) for some \(b \in \textbf{B}^{\text {up}}\). An algorithm for this was introduced by Reineke in [43], which we recall in this subsection.
For \(i \in I\), let \(\bar{i} \in \{0,1\}\) be such that \(\bar{i} \equiv i\) mod 2. For \(\delta \in \{0,1\}\), let \(\xi ^{(\delta )} \in \text {HF}\) denote the unique height function satisfying \(\xi ^{(\delta )}_i \in \{0,1\}\) for all \(i \in I\) and \(\xi ^{(\delta )}_1 = \delta \). We have \(\xi ^{(\bar{i})}_i = 1\) for all \(i \in I\). We write \(\Gamma ^{(\delta )}\) for \(\Gamma ^{\xi ^{(\delta )}}\), and \(\phi _{(\delta )}\) for \(\phi _{\xi ^{(\delta )}}:\Gamma ^{(\delta )}_0 \rightarrow R^+\). For each \(i \in I\), define a subset \(\Omega _i \subseteq \Gamma ^{(\bar{i})}_0\) by
When \(n=5\), \(\Gamma ^{(\delta )}\) and \(\phi _{(\delta )}\) are as follows:
Here the vertices belonging to \(\Omega _2\) in \(\Gamma ^{(0)}_0\) and \(\Omega _3\) in \(\Gamma ^{(1)}_0\) are boxed. The proof of the following lemma is straightforward.
Lemma 6.1.1
Let \(\delta \in \{0,1\}\). For \((i,k) \in \Gamma ^{(\delta )}_0\), we have \(\phi _{(\delta )}(i,k) = \alpha _{x,y}\), where
Let \(\delta \in \{0,1\}\). Take a compatible reading \(\{(i_1,k_1),\ldots ,(i_N,k_N)\}\) of \(\Gamma ^{(\delta )}\), and set \(\varvec{i} = (i_1,\ldots ,i_N) \in R(w_0)\). For a \(\Gamma ^{(\delta )}_0\)-tuple \(\varvec{c}=(c_{i,k})_{(i,k) \in \Gamma ^{(\delta )}_0}\) of nonnegative integers, we set
where in the right-hand side \(\varvec{c}\) is regarded as an element of \(\mathbb {Z}_{\ge 0}^N\) via the bijection \([1,N] \rightarrow \Gamma _0^{(\delta )}:r \mapsto (i_r,k_r)\). We easily see from Propositions 2.2.3 (i) and 5.1.3 that \(B^{(\delta )}(\varvec{c})\) does not depend on the choice of the compatible reading. If \(\bar{i} \ne \delta \), it follows from (2.2.3) that \(\varepsilon _i(B^{(\delta )}(\varvec{c})) = c_{i,0}\).
The other case is described as follows. For \(i \in I\), let \(\mathcal {U}_i\) be the set of lower closed subsets of \(\Omega _i\). That is, a subset \(\Sigma \subseteq \Omega _i\) belongs to \(\mathcal {U}_i\) if and only if for any \(P,Q \in \Omega _i\), \(P \in \Sigma \) and \(Q \preceq P\) imply \(Q \in \Sigma \).
Theorem 6.1.2
([43, Theorem 7.1]) Let \(j \in I\), and set \(\delta =\bar{j}\in \{0,1\}\). For any \(\varvec{c} =(c_{i,k}) \in \mathbb {Z}_{\ge 0}^{\Gamma ^{(\delta )}_0}\), we have
where we set \(c_{i,k} = 0\) if \(k<0\).
For \(\delta \in \{0,1\}\), let \(\delta ^\vee =\overline{\delta +n} \in \{0,1\}\). For \(\varvec{c} \in \mathbb {Z}_{\ge 0}^{\Gamma ^{(\delta )}_0}\), define \(\varvec{c}^\vee \in \mathbb {Z}_{\ge 0}^{\Gamma ^{(\delta ^\vee )}_0}\) by \(\varvec{c}^\vee =(c_{i^*,n-k})_{(i,k) \in \Gamma ^{(\delta ^\vee )}_0}\). By Lemma 2.2.1 we have \(*B^{(\delta )}(\varvec{c}) = B^{(\delta ^\vee )}(\varvec{c}^\vee )\), and hence
holds. Using this, we can also calculate the values of \(\varepsilon _i^*\)’s.
6.2 Snake Modules Associated with Height Functions
Fix a strong duality datum \(\mathcal {D}=\{\textsf {L}_i\}_{i \in I}\) associated with \(\mathfrak {sl}_{n+1}\), and a height function \(\xi \). We write \(\widehat{Q}\) for \(\widehat{Q}^\xi \), and \(S_{i,k}\) for \(S_{i,k}^{{\mathcal {D}},\xi }\) (\((i,k) \in \widehat{Q}_0\)).
Lemma 6.2.1
Assume that a sequence \(\varvec{P}=\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) of elements of \(\widehat{Q}_0\) is a snake, and \((j,l) \in \widehat{Q}_0\).
-
(1)
Suppose that \((j,l) \prec (i_1,k_1)\).
-
(a)
If \((i_1,k_1)\) is in prime snake position with respect to (j, l), we have \(\mathfrak {d}\big (S_{j,l},\mathbb {S}(\varvec{P})\big )=1\).
-
(b)
If \((i_1,k_1)\) is not in snake position with respect to (j, l) (that is, \(i_1\in \{j \pm r\}\) and \(k_1=l+r\) hold for some \(r \in \mathbb {Z}_{>0}\)), then we have \(\mathfrak {d}\big (S_{j,l},\mathbb {S}(\varvec{P})\big )=0\).
-
(a)
-
(2)
Suppose that \((i_p,k_p)\prec (j,l)\).
-
(c)
If (j, l) is in prime snake position with respect to \((i_p,k_p)\), we have \(\mathfrak {d}\big (\mathbb {S}(\varvec{P}),S_{j,l}\big )=1\).
-
(d)
If (j, l) is not in snake position with respect to \((i_p,k_p)\), we have \(\mathfrak {d}\big (\mathbb {S}(\varvec{P}),S_{j,l}\big )=0\).
-
(c)
Proof
We will use the notations in the previous subsection freely. (1) By replacing the pair \((\mathcal {D},\xi )\) using Lemma 5.2.2, we may assume that
and \((\mathcal {D},\xi )\) is the following specific one:
where we set \(\delta = \bar{j} \in \{0,1\}\). For any \((i,k) \in \widehat{Q}_0\) satisfying \(\mathscr {D}^{-1}(j,l) \not \succeq (i,k)\), we have \(\mathfrak {d}(S_{j,l}, \mathscr {D}^{-r} S_{i,k}) = 0\) for all \(r\ge 0\) by Lemma 5.2.8 (i). Hence by Lemma 3.2.5 (i), we may further assume that \((i_p,k_p) \preceq \mathscr {D}^{-1}(j,l)\), which implies \((i_s,k_s) \in \Gamma ^{(\delta )}_0\) for all \(s \in [1,p]\). We have \(S_{j,l} =\mathscr {D}S_{j^*,n} = \mathscr {D}\textsf {L}_{j}\). Let \(\{ \varvec{e}_{i,k}\mid (i,k) \in \Gamma ^{(\delta )}_0\}\) be the standard basis of \(\mathbb {Z}^{\Gamma _0^{(\delta )}}\), and set \(\varvec{c} = \sum _{s=1}^p \varvec{e}_{i_s,k_s}\). It follows from Lemma 3.3.4 that
and hence we have
by Proposition 3.3.3 (c). We see from Theorem 6.1.2 that
Define \(P_1,P_2,\ldots ,P_{2p} \in \widehat{Q}_0\) by
Note that \(P_1 \prec P_2 \preceq P_3 \prec \cdots \preceq P_{2p-1} \prec P_{2p}\) holds by the definition of the snake position. Now we show the assertion (a). In this case, we have \(P_1 \in \Omega _j\). For any \(\Sigma \in \mathcal {U}_j\), we easily see from the lower closedness that there is some \(t \in [0,2p]\) such that \(P_s \in \Sigma \) if and only if \(s \in [1,t]\), and then we have
Hence (a) follows from (6.2.2) and (6.2.3). In the case of (b), we have \(P_1 \notin \Omega _j\) and \(P_2 \in \Omega _j\), and the assertion is proved similarly.
(2) Let \(\delta = \overline{n-j} \in \{0,1\}\). Similarly as above, we may assume that
By a similar argument as above, we may further assume that \((i_s,k_s) \in \Gamma _0^{(\delta )}\) for all \(s \in [1,p]\). It follows from Proposition 3.3.3 that
where we set \(\varvec{c} = \sum _{s=1}^p \varvec{e}_{i_s,k_s} \in \mathbb {Z}_{\ge 0}^{\Gamma ^{(\delta )}_0}\). We easily see that if \(\varvec{P}\) and (j, l) satisfy the assumption of (c) (resp. (d)), then
and \((j^*,n-l)\) do that of (a) (resp. (b)). Hence the assertions (c) and (d) are proved from (the proof of) (a) and (b) by using (6.1.2). \(\square \)
Let \((i,k),(i',k') \in \widehat{Q}_0\), and suppose that \((i',k')\) is in prime snake position with respect to (i, k). We define \(Q_{i,k}^{i',k'}\) and \(R_{i,k}^{i',k'}\), each of which is an element of \(\widehat{Q}_0\) or the empty set, by
When \(n=5\), these are illustrated as follows, where (i, k) (resp. \((i'.k')\), \(Q_{i,k}^{i',k'}\), \(R_{i,k}^{i',k'}\)) are shown as \(\circ \) (resp. \(\bullet \), \(*\), \(\star \)):
Lemma 6.2.2
Let \((j,l),(j',l') \in \widehat{Q}_0\), and assume that \((j',l')\) is in prime snake position with respect to (j, l). Then we have \(S_{j,l} \, \Delta \,S_{j',l'} \cong S_{Q_{j,l}^{j',l'}} \otimes S_{R_{j,l}^{j',l'}}\), where we set \(S_\emptyset = \varvec{1}\).
Proof
Essentially, this is a formula for the product of two dual root vectors, which has previously been known (see [42]). For the reader’s convenience, we give a proof.
As above, we may assume that
Set
It follows from Lemma 6.2.1 that \(\mathfrak {d}(S_{j,l},S_{j',l'}) =1\), and thus by Lemma 4.2.2 we have
for some \(a_{i,k} \in \mathbb {Z}_{\ge 0}\), where the factors are ordered compatibly with \(\preceq \). Set \(\varvec{a} = (a_{i,k}) \in \mathbb {Z}_{\ge 0}^{\Gamma _0^{(\delta )}}\), where \(a_{i,k} = 0\) if \((i,k) \notin \Pi \). As in (6.2.1), the image of \(B^{(\delta )}(\varvec{a})\) under \(\mathcal {L}_{{\mathcal {D}}}:\textbf{B}^{\text {up}}\rightarrow \text {Irr}(\mathscr {C}_{\mathfrak g})\) is isomorphic to the right-hand side of (6.2.4), and we have
On the other hand, we have
and since \(\textsf {L}_j\) and \(S_{j',l'}\) are the images under \(\mathcal {L}_{{\mathcal {D}}}\) of the dual root vectors of weight \(-\alpha _j\) and \(-\phi _{(\delta )}(j',l')\) respectively, we see that the weight of \(\mathcal {L}_{{\mathcal {D}}}^{-1}(S_{j,l} \, \Delta \,S_{j',l'}) \in \textbf{B}^{\text {up}}\) is \(-\phi _{(\delta )}(j',l') +\alpha _j\). Hence it follows from (6.2.4) that
where we set \(\phi _{(\delta )}(j',l') =\alpha _{x,y}\). We easily check from Lemma 6.1.1 that
and from this we see at once that (6.2.5) holds only when \(\varvec{a}\) is given as follows:
It is easily seen from Lemma 6.1.1 that \(x=j\) if \(Q_{j,l}^{j',l'} =\emptyset \) and \(\phi _{(\delta )}(Q_{j,l}^{j',l'}) = \alpha _{x,j-1}\) otherwise. Similarly, we see that \(y=j\) if \(R_{j,l}^{j',l'} =\emptyset \) and \(\phi _{(\delta )}(R_{j,l}^{j',l'})=\alpha _{j+1,y}\) otherwise. Now, since \(Q_{j,l}^{j',l'}\) and \(R_{j,l}^{j',l'}\) are incomparable when they are nonempty, (6.2.4), together with Lemma 5.2.3 (d), completes the proof. \(\square \)
The following lemma is proved by inspection.
Lemma 6.2.3
([38, Proposition 3.2]) Let \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big ) \in (\widehat{Q}_0)^p\) be a prime snake with \(p \ge 2\), and set
where \(\emptyset \) are ignored. Then \(\varvec{Q}\) and \(\varvec{R}\) are snakes with no elements in common.
Now we give the main theorem of this section, which is a generalization of [6, Theorem 3.4] and [38, Proposition 3.1, Theorem 4.1] in type A.
Theorem 6.2.4
Let \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big ) \in (\widehat{Q}_0)^p\) be a snake.
-
(i)
The simple module \(\mathbb {S}(\varvec{P})\) is real.
-
(ii)
If \(\varvec{P}\) is prime, then \(\mathbb {S}(\varvec{P})\) is prime.
-
(iii)
Assume that \(\varvec{P}\) is prime with \(p \ge 2\), and set
$$ \varvec{Q}= (Q_{i_1,k_1}^{i_2,k_2},\ldots ,Q_{i_{p-1},k_{p-1}}^{i_p,k_p}) \ \ \ \text {and} \ \ \ \varvec{R}=(R_{i_1,k_1}^{i_2,k_2},\ldots , R_{i_{p-1},k_{p-1}}^{i_p.k_p}). $$Then \(\mathbb {S}(\varvec{Q})\) and \(\mathbb {S}(\varvec{R})\) strongly commute, and there is a short exact sequence
$$\begin{aligned} 0 \rightarrow \mathbb {S}(\varvec{Q}) \otimes \mathbb {S}(\varvec{R}) \rightarrow \mathbb {S}(\varvec{P}_{[1,p-1]}) \otimes \mathbb {S}(\varvec{P}_{[2,p]}) \rightarrow \mathbb {S}(\varvec{P}) \otimes \mathbb {S}(\varvec{P}_{[2,p-1]}) \rightarrow 0. \end{aligned}$$(6.2.6)
Proof
Using Lemma 6.2.1, the assertion (i) follows from Proposition 4.1.3 and Lemma 5.2.8 (i), and (ii) from Proposition 4.1.1. For (iii), it suffices to show by Theorem 4.2.1 that
which we prove by the induction on p. The case \(p=2\) is just Lemma 6.2.2. Assume that \(p>2\), and write Q for \(Q_{i_{p-1},k_{p-1}}^{i_p,k_p}\) and R for \(R_{i_{p-1},k_{p-1}}^{i_p,k_p}\). By the induction hypothesis, we have
where we set
To prove (6.2.7), it is enough to show that \(\mathfrak {d}(\mathbb {S}(\varvec{Q}'), S_{R})= \mathfrak {d}(\mathbb {S}(\varvec{R}'),S_Q) = 0\). Indeed if this holds, then we have
and there is a surjection
which implies (6.2.7). Let us prove \(\mathfrak {d}(\mathbb {S}(\varvec{Q}'), S_{R})=0\) (the other is proved similarly). We may assume that \(R\ne \emptyset \). Set \(Q'=Q_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}}\). If \(Q' \ne \emptyset \), then \(\mathfrak {d}\big (\mathbb {S}(\varvec{Q}'), S_R\big )=0\) follows from Lemma 6.2.1 (d). Assume that \(Q' = \emptyset \), which implies that \( k_{p-1}-k_{p-2}=i_{p-1}+i_{p-2}\). We easily see that every element \(Q''\) appearing in \(\varvec{Q}'\) satisfies
By Lemma 5.2.8, it suffices to show that \(\mathscr {D}^{-1}Q'' \not \succeq R\) holds if \(Q''\) satisfies (6.2.8). We show this in the case \(i_{p-2} \ne 1\) (the case \(i_{p-2}=1\) is proved similarly). We have
for suitable \(s \in \mathbb {Z}\). On the other hand, \(R = (i_{p-1}+r,k_{p-1}+r)\) holds for some \(r \in \mathbb {Z}_{>0}\), and therefore we have \(\mathscr {D}^{-1}Q'' \not \succeq R\), as required. The proof is complete. \(\square \)
Example 6.2.5
Here we give an example of the short exact sequence (6.2.6), not corresponding to any of the Mukhin–Young’s extended T-systems in [38].
Let \({\mathfrak g}\) be of type \(A_3^{(1)}\), and set \(\mathcal {D}=\{L_i\}_{i \in [1,3]}\) with \(L_i = L(Y_{1,2i-1})\), which forms a strong duality datum associated with \(\mathfrak {sl}_{4}\). Define \(\xi \in \text {HF}\) by \(\xi _i = i\) (\(i \in [1,3]\)). Then it can be proved using Lemma 6.2.2 and (3.4.1) that
By applying \(\mathscr {D}^{\pm 1}\), all \(S_{i,k}\) (\((i,k) \in \widehat{Q}_0^\xi \)) are obtained (see (3.4.2)). Now the sequence (6.2.6) for a snake \(\varvec{P}=\big ((2,0),(2,2),(1,5)\big )\) is as follows:
or more explictily,
7 The Case of Twisted Height Functions
7.1 Change of a Reduced Word
Throughout this section, we assume that \(n = 2n_0 -1\) with \(n_0 \in \mathbb {Z}_{\ge 2}\). Unlike the untwisted case, the results in [43] cannot be applied to reduced expressions adapted to twisted height functions. In this subsection, we will describe the connection between untwisted and twisted cases, which enables us to apply the results in the previous section to twisted cases.
Let \(\theta \) be the untwisted height function defined by
and \(\Theta \) the twisted height function defined by
In this section, we will treat these specific functions only. When \(n=7\), \(\Gamma ^\theta \) and \(\Gamma ^\Theta \) are given as follows:
Similarly as in (6.1.1), given a \(\Gamma _0^\theta \)-tuple \(\varvec{c} =(c_{i,k})_{(i,k) \in \Gamma _0^\theta }\) of nonnegative integers, define \(B^{\theta }(\varvec{c}) \in \textbf{B}^{\text {up}}\) by taking a compatible reading \(\Gamma _0^\theta =\{(i_1,k_1),\ldots ,(i_N,k_N)\}\), putting \(\varvec{i}=(i_1,\ldots ,i_N) \in R(w_0)\), and setting \(B^{\theta }(\varvec{c}) = B^{\varvec{i}}(\varvec{c})\). We also define \(B^{\Theta }(\varvec{c}') \in \textbf{B}^{\text {up}}\) similarly for a \(\Gamma ^{\Theta }_0\)-tuple \(\varvec{c}'=(c_{i,k}')_{(i,k) \in \Gamma ^{\Theta }_0}\) of nonnegative integers. Given \(\varvec{c}'\), the goal of this subsection is to give a formula for \(\varvec{c}\) satisfying \(B^\theta (\varvec{c}) = B^{\Theta }(\varvec{c}')\) using Proposition 2.2.3 (ii), under certain conditions.
We prepare several notations. For \(j \in [n_0+1,n]\), let \(V\!\langle j\rangle \) be the subset of \(I \times \frac{1}{2}\mathbb {Z}\) defined by
We also set \(V\!\langle n_0\rangle = \Gamma ^\Theta _0\) and \(V\!\langle n+1\rangle = \Gamma ^\theta _0\). When \(n=7\), these are given as follows, where \(\star \) in \(V\!\langle j \rangle \) denote the points \((j,j+2r-1/2),(j+1,j+2r),(j,j+2r+1/2)\) with \(r \in [0,n-j-1]\) appearing in Lemma 7.1.1 below (the dotted lines connecting points are for illustrative purposes only):
We have \(\sharp \, V\!\langle j \rangle = N\) for all \(j \in [n_0,n+1]\). For each \(j \in [n_0,n+1]\), take and fix a total ordering \(V\!\langle j \rangle = \{(i_1,k_1),\ldots ,(i_N,k_N)\}\) such that \(r<s\) holds whenever \(k_r<k_s\), and set \(\varvec{i}\langle j\rangle = (i_1,\ldots ,i_N) \in I^N\). For \((i,k) \in V\!\langle j \rangle \), denote by \(i^{(k)}\) the letter \(i_r\) in \(\varvec{i}\langle j \rangle \), where \(r \in [1,N]\) is such that \((i_r,k_r)=(i,k)\). Obviously, \(\varvec{i}\langle n_0\rangle \) (resp. \(\varvec{i}\langle n+1\rangle \)) is adapted to the twisted height function \(\Theta \) (resp. the height function \(\theta \)), and we easily see that \(\varvec{i}\langle n\rangle \) and \(\varvec{i}\langle n+1\rangle \) are commutation equivalent. Let \([\varvec{i}\langle j\rangle ]\) denote the commutation class containing \(\varvec{i}\langle j\rangle \).
Lemma 7.1.1
-
(i)
For each \(j \in [n_0,n-1]\), there is a word \(\varvec{i} \in [\varvec{i}\langle j\rangle ]\) containing consecutive subwords
$$\begin{aligned} \big (j^{(j+2r-1/2)}, (j+1)^{(j+2r)},j^{(j+2r+1/2)}\big ) \ \ \ \text {for all } \ \ r \in [0,n-j-1]. \end{aligned}$$Let \(\varvec{i}'\) be the word obtained from \(\varvec{i}\) by transforming all these subwords into \((j+1,j,j+1)\). Then we have \(\varvec{i}' \in [\varvec{i}\langle j+1 \rangle ]\).
-
(ii)
We have \(\varvec{i}\langle j \rangle \in R(w_0)\) for all \(j \in [n_0,n+1]\).
Proof
The first assertion of (i) is easily checked, and the second is also checked directly by noting that the transformation \((j,j+1,j) \rightarrow (j+1,j,j+1)\) is expressed pictorially as follows:
See (7.1.1). Now (ii) is obvious since \(\varvec{i}\langle n_0\rangle \in R(w_0)\).\(\square \)
For each \(j \in [n_0,n]\), define the map
as follows: for \(r \in [0,n-j-1]\), \((c_{j+1,j+2r-1/2}',c_{j,j+2r}',c_{j+1,j+2r+1/2}')\) is obtained by applying the transformation (2.2.2) to \((c_{j,j+2r-1/2},c_{j+1,j+2r},c_{j,j+2r+1/2})\), and the other \(c_{i,k}'\)’s are determined by \(c_{i,k}' = c_{i,k+t}\), where
Set
For any \(\varvec{c} \in \mathbb {Z}_{\ge 0}^{\Gamma ^\Theta _0}\), it follows from Lemma 7.1.1 and Proposition 2.2.3 (ii) that
Let \(\{\varvec{e}_{i,k}\mid (i,k) \in \Gamma _0^\Theta \}\) denote the standard basis of \(\mathbb {Z}^{\Gamma _0^\Theta }\). We would like to give an explicit formula for \(\rho (\varvec{c})\) when \(\varvec{c}\) is expressed as \(\sum _{r=1}^p \varvec{e}_{i_r,k_r}\) with \(\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) being a snake in \(\Gamma ^\Theta _0\subseteq \widehat{Q}^\Theta _0\). For this, the following remark is useful.
Remark 7.1.2
Under the transformation \((c_{k-1},c_k,c_{k+1}) \mapsto (c_{k-1}',c_k',c_{k+1}')\) in (2.2.2), we have
Pictorially, these are expressed as follows:
Therefore, (i) (resp. (ii)) is seen as moving to lower right (resp. lower left), (iii) as splitting in two points, and (iv) as combining two points into one.
For \(\flat \in \{<,>, \text {U},\text {D}\}\), we write \(\Gamma _0^{\Theta ,\flat } := \Gamma _0^\Theta \cap \widehat{Q}_0^{\Theta ,\flat }\). We also write \(\Gamma _0^{\Theta ,\ge } := \Gamma _0^{\Theta } \setminus \Gamma _0^{\Theta ,<}\).
For \((i,k) \in \Gamma _0^{\Theta ,\ge }\), define \(X^-_{i,k}\) and \(X^+_{i,k}\), each of which is an element of \(\Gamma _0^\theta \) (not \(\Gamma _0^\Theta \)) or the empty set, as follows:
and
In addition, for \((i,k), (i',k') \in \Gamma ^{\Theta ,\ge }_0\) such that \((i',k')\) is in snake position (of twisted type) with respect to (i, k), define \(X_{i,k}^{i',k'}\), which is an element of \(\Gamma _0^\theta \) or the empty set, by
When \(n=7\), these are illustrated as follows. Here \(\Gamma ^{\Theta ,<}_0\) is omitted, (i, k) and \((i',k')\) are shown as \(\circ \) whose first coordinates are read from the left-hand scale, and \(X^{\pm }_{i,k}\) and \(X_{i,k}^{i',k'}\) are shown as \(\star \) whose first coordinates are read from the right-hand scale:
For a sequence \(\varvec{P}=\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) of elements of \(\Gamma ^\xi _0\) with \(\xi \in \{\theta ,\Theta \}\), set \(\varvec{e}(\varvec{P}) = \sum _r \varvec{e}_{i_r,k_r} \in \mathbb {Z}_{\ge 0}^{\Gamma _0^\xi }\).
Proposition 7.1.3
Assume that \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) is a snake of twisted type in \(\Gamma ^\Theta _0 \subseteq \widehat{Q}^{\Theta }_0\). Let \(1=r_0 \le r_1< \cdots< r_{t-1}<r_t < r_{t+1}=p+1\) be the unique increasing sequence satisfying the following for all \(a \in [0,t]\):
-
(i)
if \(a \in 2\mathbb {Z}\), then \((i_s,k_s) \in \Gamma ^{\Theta ,<}_0\) holds for all \(s \in [r_a,r_{a+1}-1]\), and
-
(ii)
if \(a \in 2\mathbb {Z}+1\), then \((i_s,k_s) \in \Gamma ^{\Theta ,\ge }_0\) holds for all \(s \in [r_a,r_{a+1}-1]\).
For each \(a \in [1,t]\) with \(a \in 2\mathbb {Z}+1\), set
where \(r=r_a\) and \(r'=r_{a+1}\), and \(\emptyset \) are ignored. Let \(\varvec{P}^\dagger \) denote the sequence of elements of \(\Gamma _0^\theta \) obtained from \(\varvec{P}\) by replacing the subsequences \(\varvec{P}^{(a)}\) with \(\varvec{Q}^{(a)}\) for all \(a \in [1,t]\) such that \(a \in 2\mathbb {Z}+1\). Then \(\varvec{P}^\dagger \) is a snake of untwisted type in \(\Gamma _0^\theta \) and we have \(\rho \big (\varvec{e}(\varvec{P})\big ) = \varvec{e}(\varvec{P}^\dagger )\).
Proof
By tracing the transformations appearing in \(\rho \) using Remark 7.1.2, \(\rho \big (\varvec{e}(\varvec{P})\big ) = \varvec{e}(\varvec{P}^{\dagger })\) is proved directly. See the following example, which is the case where \(n=7\),
It is also checked directly by inspection that \(\varvec{P}^{\dagger }\) is a snake of untwisted type. \(\square \)
Example 7.1.4
When \(n=15\) and
we have
7.2 Snake Modules Associated with Twisted Height Functions
Fix a strong duality datum \(\mathcal {D}= \{\textsf {L}_i\}_{i \in I} \subseteq \mathscr {C}_{\mathfrak g}\) associated with \(\mathfrak {sl}_{n+1}\). In the sequel, we usually omit \(\mathcal {D}\) and write \(S_{i,k}^{\Theta }\) for \(S_{i,k}^{{\mathcal {D}},\Theta }\), etc. All the assertions in this subsection will be stated for \(S_{i,k}^{\Theta }\), but no generality is lost by this specific choice of a twisted height function by Lemma 5.2.2.
By Proposition 7.1.3, (7.1.2) and Lemma 3.3.4, the following lemma is immediate.
Lemma 7.2.1
Assume that \(\varvec{P} =\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) is a snake in \(\Gamma ^\Theta _0\), and let \(\varvec{P}^\dagger \) be the snake in \(\Gamma ^{\theta }_0\) given in Proposition 7.1.3. Then the snake module \(\mathbb {S}^\Theta (\varvec{P})\) of twisted type is isomorphic to the snake module \(\mathbb {S}^\theta (\varvec{P}^\dagger )\) of untwisted type.
Remark 7.2.2
We can also show that for any snake \(\varvec{P}\) of twisted type (not necessarily contained in \(\Gamma ^\Theta _0\)), the snake module \(\mathbb {S}^{\Theta }(\varvec{P})\) of twisted type is isomorphic to a snake module of untwisted type. We will not use this fact in the sequel.
Lemma 7.2.3
Let \(\varvec{P}=\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) be a snake in \(\widehat{Q}^{\Theta }_0\), and \((j,l) \in \widehat{Q}^\Theta _0\).
-
(1)
Suppose that \((j,l) \prec (i_1,k_1)\).
-
(a)
If \((i_1,k_1)\) is in prime snake position with respect to (j, l), we have \(\mathfrak {d}\big (S^\Theta _{j,l},\) \(\mathbb {S}^\Theta (\varvec{P})\big )=1\).
-
(b)
Assume that \(\Theta _{i_1} \in \{ \Theta _j \pm r\}\) and \(k_1 = l+r\) hold for some \(r \in \frac{1}{2}\mathbb {Z}_{> 0}\). Then we have \(\mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big )=0\).
-
(c)
If \((j,l) \in \widehat{Q}^{\Theta ,\text {U}}_0\) and \((i_1,k_1) \in \widehat{Q}^{\Theta ,>}_0\sqcup \widehat{Q}^{\Theta ,\text {U}}_0\), or \((j,l) \in \widehat{Q}^{\Theta ,\text {D}}_0\) and \((i_1,k_1) \in \widehat{Q}^{\Theta ,<}_0\sqcup \widehat{Q}^{\Theta ,\text {D}}_0\), then we have \(\mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big )=0\).
-
(a)
-
(2)
Suppose that \((i_p,k_p) \prec (j,l)\).
-
(d)
If (j, l) is in prime snake position with respect to \((i_p,k_p)\), we have \(\mathfrak {d}\big (\mathbb {S}^\Theta (\varvec{P}),S^\Theta _{j,l}\big )=1\).
-
(e)
Assume that \(\Theta _j \in \{\Theta _{i_p} \pm r\}\) and \(l = k_p+r\) hold for some \(r \in \frac{1}{2}\mathbb {Z}_{>0}\). Then we have \(\mathfrak {d}\big (\mathbb {S}^\Theta (\varvec{P}),S^\Theta _{j,l}\big )=0\).
-
(f)
If \((i_p,k_p) \in \widehat{Q}^{\Theta ,<}_0\sqcup \widehat{Q}^{\Theta ,\text {U}}_0\) and \((j,l) \in \widehat{Q}^{\Theta ,\text {U}}_0\), or \((i_p,k_p) \in \widehat{Q}^{\Theta ,>}\sqcup \widehat{Q}^{\Theta ,\text {D}}_0\) and \((j,l) \in \widehat{Q}^{\Theta ,\text {D}}_0\) , then we have \(\mathfrak {d}\big (\mathbb {S}^\Theta (\varvec{P}),S^\Theta _{j,l}\big )=0\).
-
(d)
Proof
(1) By applying Lemma 5.2.7, if necessary, we may (and do) assume in the proof of each assertion that
-
(a)
\((j,l) \in \widehat{Q}^{\Theta ,<}_0 \sqcup \widehat{Q}^{\Theta ,\text {U}}_0\),
-
(b)
\(\Theta _{i_1} =\Theta _{j}-r\) and \(k_1 = l+r\) for some r, and in particular, \(j \notin \widehat{Q}^{\Theta ,\text {D}}_0\),
-
(c)
\((j,l) \in \widehat{Q}^{\Theta ,\text {U}}_0\) and \((i_1,k_1) \in \widehat{Q}^{\Theta ,>}_0\sqcup \widehat{Q}^{\Theta ,\text {U}}_0\),
respectively. In all these three cases, we may further assume by a similar argument as in Lemma 6.2.1 that
where we set \(d_i = 2 -\delta _{i,n_0}\) for \(i \in I\). It follows from Lemma 7.2.1 that
and it is directly checked from Proposition 7.1.3 that
which implies
On the other hand, we can also show using the same proposition that
where we denote by \(\text {FT} (\varvec{P}^\dagger )\) the first term of the sequence \(\varvec{P}^\dagger \).
Now let us prove the assertion (a), where we are assuming that \((j,l) \in \widehat{Q}^{\Theta ,<}_0 \sqcup \widehat{Q}^{\Theta ,\text {U}}_0\) and \(l=\Theta _j-d_j\). By the above calculations, we have
By the definition of the snake position, we have \((i_1,k_1) \in \Gamma ^{\Theta ,<}_0\sqcup \Gamma ^{\Theta ,\text {D}}_0\), and then we easily see from (7.2.3) that
which implies that \(\mathscr {D}^s S^\theta _{1,-3}\) and \(\mathbb {S}^\theta (\varvec{P}^\dagger )\) strongly commute for all \(s \in \mathbb {Z}_{\ge 0}\) by Lemma 5.2.8 (i). Therefore (7.2.4), together with Lemma 3.2.5, gives
It is easy to check using (7.2.3) that, if \((i_1,k_1)\) is in prime snake position with respect to (j, l) in \(\widehat{Q}^{\Theta }_0\), then \(\text {FT}(\varvec{P}^{\dagger })\) is in prime snake position with respect to \((j,j-2)\) in \(\widehat{Q}^\theta _0\). Since \(\varvec{P}^\dagger \) is a snake in \(\widehat{Q}_0^\theta \) by Proposition 7.1.3, the assertion (a) now follows from Lemma 6.2.1 (a).
Next let us prove (b), where we are assuming that
If \(j \le n_0\), then \(i_1 < n_0\) holds and by the same calculation as above we have
The assertion (b) then follows from Lemma 6.2.1 (b). If \(j>n_0\), on the other hand, we have
Noting that \((i_1,k_1) \notin \Gamma _0^{\Theta ,\text {D}}\), it is easy to show from (7.2.3) and (7.2.5) that \(\text {FT}(\varvec{P}^\dagger ) =(j - r', j-4+r')\) holds for some \(r'\), and hence the assertion follows from Lemma 6.2.1 (b) in this case as well.
Finally let us prove (c), where we are assuming that
As calculated above, we have \(S^\Theta _{j,l} \cong S^\theta _{n_0,n_0-2}\) and \(\text {FT}(\varvec{P}^\dagger ) = (n_0+s,n_0-2+s)\) for suitable s. Hence the assertion follows from Lemma 6.2.1 (b).
All the assertions of (2) are proved similarly. \(\square \)
Let \((i,k),(i',k') \in \widehat{Q}^\Theta _0\), and suppose that \((i',k')\) is in prime snake position with respect to (i, k). We define \(\varvec{Q}_{i,k}^{i',k'}\) and \(\varvec{R}_{i,k}^{i',k'}\), each of which is a sequence of zero, one or two elements of \(\widehat{Q}^\Theta _0\), as follows: if \((i,k) \in \widehat{Q}^{\Theta ,<}_0 \sqcup \widehat{Q}^{\Theta ,\text {U}}_0\), we set
If \((i,k) \in \widehat{Q}^{\Theta ,>}_0 \sqcup \widehat{Q}^{\Theta ,\text {D}}_0\), putting \((j,l)=\mathscr {D}(i,k)\) and \((j',l') = \mathscr {D}(i',k')\), we set \(\varvec{Q}_{i,k}^{i',k'} = \mathscr {D}^{-1} \varvec{R}_{j,l}^{j',l'}\) and \(\varvec{R}_{i,k}^{i',k'} = \mathscr {D}^{-1}\varvec{Q}_{j,l}^{j',l'}\). These are illustrated as follows, where (i, k) (resp. \((i',k')\), \(\varvec{Q}_{i,k}^{i',k'}\), \(\varvec{R}_{i,k}^{i',k'}\)) are shown as \(\circ \) (resp. \(\bullet \), \(*\), \(\star \)):
Lemma 7.2.4
Let \((i,k),(i',k') \in \widehat{Q}^\Theta _0\), and assume that \((i',k')\) is in prime snake position with respect to (i, k). Then we have
Proof
Since
we may assume by using Lemma 5.2.7 that \((i,k) \in \widehat{Q}^{\Theta ,<}_0 \sqcup \widehat{Q}^{\Theta ,\text {U}}_0\). First let us consider the case \((i,k) \in \widehat{Q}^{\Theta ,\text {U}}_0\). We may further assume by Lemma 5.2.2 that \((i,k)=(n_0,n_0-3/2)\), which forces \((i',k') \in \Gamma ^{\Theta ,<}_0 \sqcup \Gamma ^{\Theta ,\text {D}}_0\). If \((i',k') \in \Gamma ^{\Theta ,<}_0\), it is proved directly from Proposition 7.1.3 and Lemma 6.2.2 that
and the assertion is proved. The case \((i',k') \in \Gamma ^{\Theta ,\text {D}}_0\) is proved by a similar calculation.
Next let us consider the case \((i,k) \in \widehat{Q}^{\Theta ,<}_0\). We may assume that \(k=i\), and then by the definition of the prime snake position we have \((i',k') \in \Gamma ^{\Theta ,<}_0 \sqcup \Gamma ^{\Theta ,\text {D}}_0\). Now the assertion is proved by a similar argument as above. \(\square \)
Similarly to Lemma 6.2.3, the following is proved by inspection.
Lemma 7.2.5
([38, Proposition 3.2]) Let \(p \in \mathbb {Z}_{\ge 2}\), and \(\varvec{P}=\big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) be a prime snake in \(\widehat{Q}^\Theta _0\). Set
where \(*\) denotes the concatenation. Then \(\varvec{Q}\) and \(\varvec{R}\) are snakes with no elements in common.
Now we give the main theorem of this section, which is a generalization of [6, Theorem 3.4] and [38, Proposition 3.1, Theorem 4.1] in type B.
Theorem 7.2.6
Let \(\varvec{P} = \big ((i_1,k_1),\ldots ,(i_p,k_p)\big )\) be a snake in \(\widehat{Q}^\Theta _0\).
-
(i)
The simple module \(\mathbb {S}^\Theta (\varvec{P})\) is real.
-
(ii)
If \(\varvec{P}\) is prime, then \(\mathbb {S}^\Theta (\varvec{P})\) is prime.
-
(iii)
Assume that \(\varvec{P}\) is prime with \(p \ge 2\), and set
$$ \varvec{Q} = \varvec{Q}_{i_1,k_1}^{i_2,k_2} * \cdots *\varvec{Q}_{i_{p-1},k_{p-1}}^{i_p,k_p} \ \ \ \text {and} \ \ \ \varvec{R} = \varvec{R}_{i_1,k_1}^{i_2,k_2} * \cdots *\varvec{R}_{i_{p-1},k_{p-1}}^{i_p,k_p}. $$Then \(\mathbb {S}^\Theta (\varvec{Q})\) and \(\mathbb {S}^\Theta (\varvec{R})\) strongly commute, and there is a short exact sequence
$$\begin{aligned} 0 \!\rightarrow \! \mathbb {S}^\Theta (\varvec{Q}) \otimes \mathbb {S}^\Theta (\varvec{R}) \!\rightarrow \! \mathbb {S}^\Theta (\varvec{P}_{[1,p-1]}) \otimes \mathbb {S}^\Theta (\varvec{P}_{[2,p]}) \!\rightarrow \! \mathbb {S}^\Theta (\varvec{P}) \otimes \mathbb {S}^\Theta (\varvec{P}_{[2,p-1]}) \!\rightarrow \! 0. \end{aligned}$$(7.2.6)
Proof
The proof is similar to that of Theorem 6.2.4.
Using Lemma 7.2.3, the assertions (i) and (ii) are proved from Propositions 4.1.3 and 4.1.1, respectively. For (iii), by the same argument as in the proof of Theorem 6.2.4, it suffices to show for \(p \ge 3\) that
where we set
Let us show the former equality (the latter is proved similarly). Set \(\tilde{\varvec{R}} = \varvec{R}_{i_{p-1},k_{p-1}}^{i_p,k_p}\), which we may assume not to be the empty set. If \(\varvec{Q}_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}} \ne \emptyset \), then the equality is proved from Lemma 7.2.3 (e) and (f). Assume that \(\varvec{Q}_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}} = \emptyset \). If \((i_{p-2},k_{p-2}) \in \widehat{Q}^{\Theta ,<}_0 \sqcup \widehat{Q}^{\Theta ,\text {U}}_0\), then the same argument as in the proof of Theorem 6.2.4 shows that
and hence the equality holds. If \((i_{p-2},k_{p-2}) \in \widehat{Q}^{\Theta ,>}_0 \sqcup \widehat{Q}^{\Theta ,\text {D}}_0\), on the other hand, \(\varvec{Q}_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}} = \emptyset \) implies
If \(p=3\) or \(\varvec{Q}_{i_{p-3},k_{p-3}}^{i_{p-2},k_{p-2}} =\emptyset \), then (7.2.7) holds as well, and the equality follows. If \(\varvec{Q}_{i_{p-3},k_{p-3}}^{i_{p-2},k_{p-2}} \ne \emptyset \), on the other hand, we have \(\varvec{Q}_{i_{p-3},k_{p-3}}^{i_{p-2},k_{p-2}} \subseteq \widehat{Q}_0^{\Theta ,<}\) and therefore the equality follows from Lemma 7.2.3 (f). The proof is complete. \(\square \)
Example 7.2.7
Assume that \({\mathfrak g}\) is of type \(A_3^{(1)}\), and let \(\mathcal {D}= \{\textsf {L}_i\}_{i \in [1,3]} \subseteq \mathscr {C}_{\mathfrak g}\) be the strong duality datum of type \(\mathfrak {sl}_4\) defined by
Then we have
and the exact sequence (7.2.6) for \(\varvec{P} = \big ((3,2),(2,9/2),(2,11/2)\big )\) is as follows:
or more explicitly,
References
Chari, V.: Minimal affinizations of representations of quantum groups: the rank \(2\) case. Publ. Res. Inst. Math. Sci. 31(5), 873–911 (1995)
Chari, V.: Braid group actions and tensor products. Int. Math. Res. Not. 7, 357–382 (2002)
Chari, V., Pressley, A.: A guide to quantum groups. Cambridge University Press, Cambridge (1994)
Chari, V., Pressley, A.: Quantum affine algebras and their representations. In Representations of groups (Banff, AB, 1994), vol. 16 of CMS Conf. Proc., Amer. Math. Soc., Providence, RI, p. 59–78.(1995)
Chari, V., Pressley, A.: Minimal affinizations of representations of quantum groups: the irregular case. Lett. Math. Phys. 36(3), 247–266 (1996)
Duan, B., Li, J.-R., Luo, Y.-F.: Cluster algebras and snake modules. J. Algebra 519, 325–377 (2019)
Date, E., Okado, M.: Calculation of excitation spectra of the spin model related with the vector representation of the quantized affine algebra of type. Int. J. Mod. Phys. A 9(03), 399–417 (1994)
Frenkel, E., Mukhin, E.: Combinatorics of \(q\)-characters of finite-dimensional representations of quantum affine algebras. Comm. Math. Phys. 216(1), 23–57 (2001)
Fujita, R., Oh, S.-J.: Q-data and representation theory of untwisted quantum affine algebras. Commun. Math. Phys. 384(2), 1351–1407 (2021)
Frenkel, E., Reshetikhin, N.: The \(q\)-characters of representations of quantum affine algebras and deformations of \(W\)-algebras. In Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), volume 248 of Contemp. Math., Amer. Math. Soc., Providence, RI, p. 163–205 (1999)
Gabriel, P.: Auslander-Reiten sequences and representation-finite algebras. Lect. Notes Math. 831, 1–71 (1980). Representation theory I, Proc. Workshop, Ottawa 1979
Hernandez, D.: The Kirillov-Reshetikhin conjecture and solutions of \(T\)-systems. J. Reine Angew. Math. 596, 63–87 (2006)
Hernandez, D.: Kirillov-Reshetikhin conjecture: the general case. Int. Math. Res. Not. IMRN 1, 149–193 (2010)
Hernandez, D., Leclerc, B.: Cluster algebras and quantum affine algebras. Duke Math. J. 154(2), 265–341 (2010)
Hernandez, D., Leclerc, B.: Quantum Grothendieck rings and derived Hall algebras. J. Reine Angew. Math. 2015(701), 77–126 (2015)
Hernandez, D., Leclerc, B.: A cluster algebra approach to \(q\)-characters of Kirillov-Reshetikhin modules. J. Eur. Math. Soc. (JEMS) 18(5), 1113–1159 (2016)
Hernandez, D., Oya, H.: Quantum Grothendieck ring isomorphisms, cluster algebras and Kazhdan-Lusztig algorithm. Adv. Math. 347, 192–272 (2019)
Kac, V.G.: Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third edition (1990)
Kashiwara, M.: On crystal bases of the \(Q\)-analogue of universal enveloping algebras. Duke Math. J. 63(2), 465–516 (1991)
Kashiwara, M.: The crystal base and Littelmann’s refined Demazure character formula. Duke Math. J. 71(3), 839–858 (1993)
Kashiwara, M.: On level-zero representations of quantized affine algebras. Duke Math. J. 112(1), 117–175 (2002)
Kato, S.: Poincaré-Birkhoff-Witt bases and Khovanov-Lauda-Rouquier algebras. Duke Math. J. 163(3), 619–663 (2014)
Kimura, Y.: Quantum unipotent subgroup and dual canonical basis. Kyoto J. Math. 52(2), 277–331 (2012)
Kashiwara, M., Kim, M.: Laurent phenomenon and simple modules of quiver Hecke algebras. Compos. Math. 155(12), 2263–2295 (2019)
Kang, S.-J., Kashiwara, M., Kim, M.: Symmetric quiver Hecke algebras and \( R \)-matrices of quantum affine algebras. II. Dule Math. J. 164(8), 1549–1602 (2015)
Kang, S.-J., Kashiwara, M., Kim, M.: Symmetric quiver Hecke algebras and \({R}\)-matrices of quantum affine algebras. Invent. Math. 211(2), 591–685 (2018)
Kang, S.-J., Kashiwara, M., Kim, M., Oh, S.-J.: Simplicity of heads and socles of tensor products. Compos. Math. 151(2), 377–396 (2015)
Kashiwara, M., Kim, M., Oh, S.-J., Park, E.: Monoidal categorification and quantum affine algebras. Compos. Math. 156(5), 1039–1077 (2020)
Kashiwara, M., Kim, M., Oh, S.-j., Park, E.: PBW theory for quantum affine algebras. J. Eur. Math. Soc., (2023). https://ems.press/journals/jems/articles/9790372
Kashiwara, M., Kim, M., Oh, S.-J., Park, E.: Monoidal categorification and quantum affine algebras II. Invent. math. (2024). https://doi.org/10.1007/s00222-024-01249-1
Khovanov, M., Lauda, A.: A diagrammatic approach to categorification of quantum groups I. Represent. Theory 13(14), 309–347 (2009)
Kuniba, A., Nakanishi, T., Suzuki, J.: \(T\)-systems and \(Y\)-systems for quantum affinizations of quantum Kac-Moody algebras. SIGMA Symmetry Integr. Geom.: Methods Appl. 5(108), 23 (2009)
Kashiwara, M., Park, E.: Categorical crystals for quantum affine algebras. Journal für die reine und angewandte Mathematik (Crelles Journal) 2022(792), 223–267 (2022)
Li, J.-R.: On the extended T-system of type \(C_3\). J. Algebr. Comb. 41(2), 577–617 (2015)
Li, J.-R., Mukhin, E.: Extended \(T\)-system of type \(G_2\). SIGMA, Symmetry Integr. Geom.: Methods Appl. 9(054), 28 (2013)
Lusztig, G.: Canonical bases arising from quantized enveloping algebras. J. Am. Math. Soc. 3(2), 447–498 (1990)
Lusztig, G.: Introduction to quantum groups. Progress in Mathematics, vol. 110. Birkhäuser Boston Inc., Boston, MA (1993)
Mukhin, E., Young, C.A.S.: Extended T-systems. Selecta Math. (N.S.) 18(3), 591–631 (2012)
Mukhin, E., Young, C.A.S.: Path description of type B \(q\)-characters. Adv. Math. 231(2), 1119–1150 (2012)
Nakajima, H.: \(t\)-analogs of \(q\)-characters of Kirillov-Reshetikhin modules of quantum affine algebras. Represent. Theory 7, 259–274 (2003). (electronic)
Oh, S.-J.: The Denominators of Normalized \({R}\)-matrices of Types \( {A}_{2n-1}^{(2)}\), \({A}_{2n}^{(2)}\), \({B}_n^{(1)}\) and \({D}_{n+1}^{(2)}\). Publ. Res. Inst. Math. Sci. 51(4), 709–744 (2015)
Oh, S.-J.: Auslander-Reiten quiver and representation theories related to KLR-type Schur-Weyl duality. Math. Z. 291(1–2), 499–554 (2019)
Reineke, M.: On the coloured graph structure of Lusztig’s canonical basis. Math. Ann. 307(4), 705–723 (1997)
Rouquier, R.: \(2\)-Kac-Moody algebras. arXiv:0812.5023, (2008)
Rouquier, R.: Quiver Hecke algebras and \(2\)-Lie algebras. In Algebra colloquium, World Scientific vol. 19, p. 359–410, (2012)
Varagnolo, M., Vasserot, E.: Standard modules of quantum affine algebras. Duke Math. J. 111(3), 509–533 (2002)
Varagnolo, M., Vasserot, E.: Canonical bases and KLR-algebras. J. Reine Angew. Math. 2011(659), 67–100 (2011)
Acknowledgements
The author would like to thank Yoshiyuki Kimura, Se-jin Oh, and Hironori Oya for helpful comments. He is also grateful to the anonymous referees for careful reading the manuscript and valuable comments. He was supported by JSPS Grant-in-Aid for Scientific Research (C) No. 20K03554.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The author has no conflict of interest to declare that are relevant to this article.
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
Naoi, K. Strong Duality Data of Type A and Extended T-Systems. Transformation Groups (2024). https://doi.org/10.1007/s00031-024-09860-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00031-024-09860-5