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

$$ \Bigg [L(\prod _{r=1}^{p-1} Y_{i_r,aq^{k_r}})\Bigg ]\Bigg [L(\prod _{r=2}^p Y_{i_r,aq^{k_r}})\Bigg ] \!=\! \Bigg [L(\prod _{r=1}^p Y_{i_r,aq^{k_r}})\Bigg ]\Bigg [L(\prod _{r=2}^{p-1}Y_{i_r,aq^{k_r}})\Bigg ] +\left[ M\right] \left[ N\right] , $$

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:

  1. (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

  2. (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

$$\begin{aligned} 0 \rightarrow \text {hd} \left( \bigotimes _{a=1}^{p-1} (S_{k_a} \, \Delta \,S_{k_{a+1}})\right) \rightarrow \mathbb {S}_{\varvec{k}}[1,p-1] \otimes \mathbb {S}_{\varvec{k}}[2,p] \rightarrow \mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1] \rightarrow 0, \end{aligned}$$

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.

  1. (i)

    For a base field \(\textbf{k}\), we write \(\otimes \) for \(\otimes _{\textbf{k}}\) when no confusion is likely.

  2. (ii)

    For \(a,b \in \mathbb {Z}\) such that \(a\le b\), we denote by [ab] 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

$$ R(w_0) = \{\varvec{i}= (i_1,\cdots ,i_N) \in I^{N} \mid s_{i_1}\cdots s_{i_N} = w_0\} $$

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 (ij) such that \(a_{ij}=0\) into (ji). 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^+\),

$$\begin{aligned} F^{\varvec{i}}_{\text {low}}(\beta _k) = T_{i_1}\cdots T_{i_{k-1}}(f_{i_k}), \ \ \ \text {and} \ \ \ F^{\varvec{i}}(\beta _k) = \frac{F_{\text {low}}^{\varvec{i}}(\beta _k)}{\big (F_{\text {low}}^{\varvec{i}}(\beta _k), F^{\varvec{i}}_{\text {low}}(\beta _k)\big )}, \end{aligned}$$
(2.2.1)

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

$$ F^{\varvec{i}}(\varvec{c}) = q^{\frac{1}{2}\sum _k c_k(c_k-1)}F^{\varvec{i}}(\beta _1)^{c_1}\cdots F^{\varvec{i}}(\beta _k)^{c_k}. $$

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

$$ F^{\varvec{i}}(\varvec{c}) \equiv B^{\varvec{i}}(\varvec{c}) \ \ \ \text {mod }q\mathscr {L}, $$

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

$$ \varvec{i}^\vee = (i_N^*,i_{N-1}^*,\ldots ,i_1^*) \in R(w_0) \ \ \text {and} \ \ \varvec{c}^\vee =(c_N,c_{N-1},\ldots ,c_1). $$

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

$$ F^{\varvec{i}}(\varvec{c}) \in B^{\varvec{i}}(\varvec{c}) + \sum _{\varvec{c}' \prec \varvec{c}} q\mathbb {Z}[q] B^{\varvec{i}}(\varvec{c}'), $$

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\).

  1. (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. $$
  2. (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

$$ \text {wt}:\textbf{B}^{\text {up}}\rightarrow P, \ \ \ \varepsilon _i, \varphi _i:\textbf{B}^{\text {up}}\rightarrow \mathbb {Z}\ \ \text {and} \ \ \tilde{e}_i,\tilde{f}_i:\textbf{B}^{\text {up}}\rightarrow \textbf{B}^{\text {up}}\sqcup \{0\} \ \ \text {for} \ i\in I $$

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

$$ \varepsilon ^*_i=\varepsilon _i \circ *, \ \ \ \varphi _i^* = \varphi _i \circ *, \ \ \ \tilde{e}_i^* = * \circ \tilde{e}_i \circ *, \ \ \ \tilde{f}_i^* = * \circ \tilde{f}_i \circ *. $$

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

$$\begin{aligned} \varepsilon _{i_1} \big (B^{\varvec{i}}(\varvec{c})\big ) = c_1 \ \ \ \text {and} \ \ \ \varepsilon _{i_N^*}^*\big (B^{\varvec{i}}(\varvec{c})\big ) = c_N. \end{aligned}$$
(2.2.3)

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

$$\begin{aligned} \text {Hom}_{\mathscr {C}_{\mathfrak g}}(M \otimes X,Y)&\cong \text {Hom}_{\mathscr {C}_{\mathfrak g}}(X,\mathscr {D}M\otimes Y), \ \ \ \text {and}\\ \text {Hom}_{\mathscr {C}_{\mathfrak g}}(X \otimes M, Y)&\cong \text {Hom}_{\mathscr {C}_{\mathfrak g}}(X,Y\otimes \mathscr {D}^{-1}M), \end{aligned}$$

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])

  1. (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.

  2. (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 MN be simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume that M is real. Then we have

$$ \mathscr {D}^{-1}M \, \nabla \,(N \, \nabla \,M) \cong N \ \ \ \text {and} \ \ \ (M \, \nabla \,N) \, \nabla \,\mathscr {D}M \cong N. $$

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

$$\begin{aligned}{} & {} e_i\big (g(z) \otimes u\big ) = z^{\delta _{i0}}g(z)\otimes e_iu, \ \ \ f_i\big (g(z) \otimes u\big ) \!=\! z^{-\delta _{i0}} g(z) \otimes f_iu, \nonumber \\{} & {} q^h\big (g(z) \otimes u\big )\!=\!g(z) \otimes q^hu \end{aligned}$$

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 MN 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

$$ R^{\text {norm}}_{M,N_z}:\textbf{k}(z) \otimes _{\textbf{k}[z^{\pm 1}]} (M \otimes N_z) \overset{\sim }{\rightarrow }\ \textbf{k}(z) \otimes _{\textbf{k}[z^{\pm 1}]} (N_z \otimes M) $$

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

$$ d_{M,N}(z)R_{M,N_z}^{\text {norm}}(M\otimes N_z) \subseteq N_z \otimes M. $$

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\):

$$ \textbf{r}_{M,N} = \big (d_{M,N}(z)R_{M,N_z}^{\text {norm}}\big )\Big |_{z=1}:M \otimes N \rightarrow N \otimes M. $$

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

$$\begin{aligned} M \, \nabla \,N \cong N \, \Delta \,M. \end{aligned}$$
(3.2.1)

Definition 3.2.1

([28]) Let MN be simple modules in \(\mathscr {C}_{\mathfrak g}\).

  1. (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\).

  2. (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}\).

  1. (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). $$
  2. (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}\).

  1. (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). $$
  2. (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.

  1. (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)\).

  2. (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

$$ \mathfrak {d}(X,Y \, \nabla \,Z) \le \mathfrak {d}(X,Y) + \mathfrak {d}(X,Z) =\mathfrak {d}(X,Y) $$

by Proposition 3.2.4. On the other hand, we have

$$ \mathfrak {d}(X,Y ) = \mathfrak {d}\big (X, \mathscr {D}^{-1} Z \, \nabla \,(Y \, \nabla \,Z)\big ) \le \mathfrak {d}(X, \mathscr {D}^{-1} Z) + \mathfrak {d}(X, Y\, \nabla \,Z) = \mathfrak {d}(X,Y\, \nabla \,Z) $$

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

$$ 0 \rightarrow N \, \nabla \,M \rightarrow M \otimes N \rightarrow M \, \nabla \,N \rightarrow 0. $$

Proposition 3.2.7

([30, Lemma 2.22]) Let MN 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 MN be simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume that N is real. If \(\mathfrak {d}(M,N)>0\), then we have

$$ \mathfrak {d}(S,N) < \mathfrak {d}(M,N) $$

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

  1. (i)

    \(\mathfrak {d}(\mathscr {D}X,Y)= \mathfrak {d}(\mathscr {D}Y, Z) =0\), and

  2. (ii)

    \(X \otimes Y \otimes Z\) has a simple head.

Then we have

$$ \mathfrak {d}\big (Y,\text {hd}(X\otimes Y \otimes Z)\big ) = \mathfrak {d}(Y,X\, \nabla \,Y) + \mathfrak {d}(Y, Y\, \nabla \,Z). $$

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

$$\begin{aligned} (\textbf{r}_{M_{r-1},M_r}) \circ \cdots \circ (\textbf{r}_{M_2,M_r}\circ \cdots \circ \textbf{r}_{M_2,M_3})&\circ (\textbf{r}_{M_1,M_r}\circ \cdots \circ \textbf{r}_{M_1,M_2})\nonumber \\&:M_1 \otimes \cdots \otimes M_r \rightarrow M_r \otimes \cdots \otimes M_1 \end{aligned}$$
(3.2.2)

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

$$\begin{aligned} \Lambda (M_1,\text {hd}(M_2 \otimes \cdots \otimes M_r))&= \sum _{k=2}^r \Lambda (M_1,M_k) \ \ \text {and}\\ \Lambda (\text {hd}(M_1 \otimes \cdots \otimes M_{r-1}), M_r)&= \sum _{k=1}^{r-1} \Lambda (M_k,M_r). \end{aligned}$$

Proposition 3.2.11

([28, Lemma 4.17]) For real simple modules X, Y and Z in \(\mathscr {C}_{\mathfrak g}\), the triple (XYZ) is a normal sequence if \(\mathscr {D}X\) and Z strongly commute.

Lemma 3.2.12

([29, Lemma 2.24]) For real simple modules XYZ 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 (XYZ) and (YZX) 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

$$ \mathfrak {d}(\mathscr {D}M_j, M_k) = 0 \ \ \ \big (\text {resp.\ } \mathfrak {d}(\mathscr {D}^l M_j,M_k) = 0 \ \ \text {for all } l \in \mathbb {Z}_{>0} \big ). $$

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 XYZ be real simple modules in \(\mathscr {C}_{\mathfrak g}\), and assume the following two conditions:

  1. (i)

    (XYZ) is a normal sequence, and

  2. (ii)

    \(\Lambda (Y,X) +\Lambda (Y,Z) -\Lambda (Y,X\, \nabla \,Z) = 2\,\mathfrak {d}(X,Y)\).

Then the composition

$$ X \otimes Y \otimes Z \overset{\textbf{r}_{X,Y}\otimes Z}{\longrightarrow } Y\otimes X \otimes Z \twoheadrightarrow Y \, \nabla \,(X \, \nabla \,Z) $$

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

$$ \mathfrak {d}(L,\mathscr {D}^{k}L) = \delta _{k,-1}+\delta _{k,1} \ \ \ \text {for any }k \in \mathbb {Z}, $$

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}\).

  1. (i)

    We say \(\mathcal {D}\) is a duality datum associated with \(\text {g}\) if the following conditions are satisfied:

    1. (a)

      \(\textsf {L}_i\) is real for all \(i \in I\), and

    2. (b)

      \(\mathfrak {d}(\textsf {L}_i,\textsf {L}_j) = -a_{ij}\) for all \(i,j \in I\) such that \(i\ne j\).

  2. (ii)

    We say \(\mathcal {D}\) is a strong duality datum associated with \(\text {g}\) if the following conditions are satisfied:

    1. (c)

      \(\textsf {L}_i\) is a root module for all \(i \in I\), and

    2. (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\).

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)

$$ \mathcal {F}_{{\mathcal {D}}}:\bigoplus _{\beta \in Q_{+}} {R(\beta )}\text {-gmod} \rightarrow \mathscr {C}_{\mathfrak g}, $$

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

$$\begin{aligned} \mathcal {L}_{{\mathcal {D}}}:U_\mathbb {Z}^- (\text {g})^{\text {up}} \overset{\sim }{\rightarrow }\ K({R}\text {-gmod}) \rightarrow K(\mathscr {C}_{\mathfrak g}), \end{aligned}$$
(3.3.1)

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

  1. (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\),

  2. (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\),

  3. (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

$$\begin{aligned} S_k \cong \textsf {L}_i \text { if and only if } \beta _k = \alpha _{i} \ \ \ \text {for }1\le k \le N \text { and } i \in I. \end{aligned}$$
(3.3.2)

It follows from the construction that

$$\begin{aligned} \mathcal {L}_{{\mathcal {D}}}\big (F^{\varvec{i}}(\varvec{c})\big ) = [ S_1^{\otimes c_1} \otimes \cdots \otimes S_N^{\otimes c_N}] \in K(\mathscr {C}_{\mathfrak g}) \end{aligned}$$
(3.3.3)

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

$$ \mathcal {L}_{{\mathcal {D}}}\big (B^{\varvec{i}}(\varvec{c})\big ) \cong \text {hd}(S_1^{\otimes c_1} \otimes \cdots \otimes S_{N}^{\otimes c_N}). $$

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

$$\begin{aligned} S_{k-N} = \mathscr {D}S_k \ \ \ \text {for all} \ k \in \mathbb {Z}. \end{aligned}$$
(3.3.4)

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.

  1. (i)

    \(S_k\) is a root module for all \(k \in \mathbb {Z}\).

  2. (ii)

    For any \(a,b \in \mathbb {Z}\) with \(a<b\), the pair \((S_a,S_b)\) is strongly unmixed.

  3. (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

$$ i_{k-N} = i^*_k \ \ \ (k \in \mathbb {Z}). $$

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

$$ S_k' = {\left\{ \begin{array}{ll} S_{k+1} &{} \text {if }k \equiv l \text { mod } N,\\ S_{k-1} &{} \text {if }k \equiv l+1 \text { mod } N,\\ S_k &{} \text {otherwise.}\end{array}\right. } $$

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

$$ Y_{i,k}^j(u)= {\left\{ \begin{array}{ll} 1-\alpha q^k u &{} j = i,\\ 1 &{} j \ne i. \end{array}\right. } $$

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

$$\begin{aligned} \text {hd}\big (L(Y_{i_1,k_1}) \otimes \cdots \otimes L(Y_{i_p,k_p})\big ) \cong L(Y_{i_1,k_1}\cdots Y_{i_p,k_p}) \ \ \text {if} \ \ k_1 \ge \cdots \ge k_p. \end{aligned}$$
(3.4.1)

We also have

$$\begin{aligned} \mathscr {D}^{\pm 1} L(Y_{i_1,k_1}\cdots Y_{i_p,k_p}) \cong L(Y_{i_1^*,k_1 \pm h^\vee }\cdots Y_{i_p^*,k_p \pm h^\vee }) \end{aligned}$$
(3.4.2)

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

$$ \mathbb {S}_{\varvec{k}}[a,b] = \text {hd}(S_{k_a} \otimes S_{k_{a+1}} \otimes \cdots \otimes S_{k_b}), $$

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:

  1. (i)

    For all \(1\le a < p\), we have \(\mathfrak {d}(S_{k_a}, \mathbb {S}_{\varvec{k}}[a+1,p]) > 0\).

  2. (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

$$ 1 = \mathfrak {d}(\mathscr {D}S_{k},S_{k}) = \mathfrak {d}(\mathscr {D}N \otimes \mathscr {D}M, M \otimes N) \ge \mathfrak {d}(\mathscr {D}M, M) + \mathfrak {d}(\mathscr {D}N, N), $$

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

$$\begin{aligned} \mathfrak {d}(\mathscr {D}^{-1} S_k, \mathbb {S}_{\varvec{k}}) = \mathfrak {d}(\mathscr {D}^{-1} S_k, S_k)= 1. \end{aligned}$$

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

$$ \mathbb {S}_{\varvec{k}}[1,p-1] \cong \mathscr {D}^{-1} S_k \, \nabla \,(M \otimes N) \cong M \otimes (\mathscr {D}^{-1} S_k\, \nabla \,N). $$

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

$$\begin{aligned} \mathfrak {d}(S_{k_b},\mathbb {S}_{\varvec{k}}[a,b-1]) \le 1 \ \ \text {and} \ \ \mathfrak {d}(S_{k_b},\mathbb {S}_{\varvec{k}}[b+1,c]) \le 1. \end{aligned}$$
(4.1.1)

Then \(S_{k_b}\) and \(\mathbb {S}_{\varvec{k}}[a,c]\) strongly commute.

Proof

Set

$$ X=\mathbb {S}_{\varvec{k}}[a,b-1], \ \ Y=S_{k_b}, \ \ Z=\mathbb {S}_{\varvec{k}}[b+1,c]. $$

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 (XYZ) satisfies the assumptions of Proposition 3.2.9, and hence we have

$$\mathfrak {d}(S_{k_b},\mathbb {S}_{\varvec{k}}[a,c]) = \mathfrak {d}\big (Y,\text {hd}(X\otimes Y \otimes Z)\big ) = \mathfrak {d}(Y,X\, \nabla \,Y) + \mathfrak {d}(Y,Y \, \nabla \,Z). $$

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

$$\begin{aligned} \mathfrak {d}(S_{k_c},\mathbb {S}_{\varvec{k}}[a,c-1]) \le 1 \ \ \text {and} \ \ \mathfrak {d}(S_{k_c},\mathbb {S}_{\varvec{k}}[c+1,b]) \le 1 \end{aligned}$$
(4.1.2)

for all \(c \in [a,b]\).

  1. (i)

    \(\mathbb {S}_{\varvec{k}}[a,b]\) is a real simple module.

  2. (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:

  1. (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

  2. (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

$$\begin{aligned} 0 \rightarrow \text {hd}\left( \bigotimes _{a=1}^{p-1} (S_{k_{a}} \, \Delta \,S_{k_{a+1}})\right) \rightarrow \mathbb {S}_{\varvec{k}}[1,p-1] \otimes \mathbb {S}_{\varvec{k}}[2,p] \rightarrow \mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1] \rightarrow 0, \end{aligned}$$
(4.2.1)

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

$$ S_l \, \Delta \,S_m \cong \text {hd}\big ( S_{l+1}^{\otimes c_{l+1}} \otimes S_{l+2}^{\otimes c_{l+2}}\otimes \cdots \otimes S_{m-1}^{\otimes c_{m-1}}\big ) \ \ \ \text {for some } c_{l+1},\ldots ,c_{m-1} \in \mathbb {Z}_{\ge 0}. $$

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

$$\begin{aligned} \mathcal {L}_{{\mathcal {D}}'}\big (F^{\varvec{i}'}(\varvec{d})\big )&= [S_{l}^{\otimes d_l}\otimes \cdots \otimes S_{l+N-1}^{\otimes d_{l+N-1}}], \ \ \text {and}\\ \mathcal {L}_{{\mathcal {D}}'}\big (B^{\varvec{i}'}(\varvec{d})\big )&= [\text {hd}(S_{l}^{\otimes d_l}\otimes \cdots \otimes S_{l+N-1}^{\otimes d_{l+N-1}})] \end{aligned}$$

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

$$ \varvec{d} = (d_l,\ldots ,d_{l+N-1}) \ \ \ \text {with} \ \ d_r = \delta _{r,l}+\delta _{r,m} \ \ \ (r \in [l,l+N-1]), $$

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

  1. (i)

    We have \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[1,p-1],\mathbb {S}_{\varvec{k}}[2,p]) \le 1.\)

  2. (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

$$ \mathfrak {d}(\mathbb {S}_{\varvec{k}}[1,p-1],\mathbb {S}_{\varvec{k}}[2,p]) \le \mathfrak {d}(S_{k_1},\mathbb {S}_{\varvec{k}}[2,p])+ \mathfrak {d}(\mathbb {S}_{\varvec{k}}[2,p-1],\mathbb {S}_{\varvec{k}}[2,p]) =1 $$

by Proposition 4.1.3 and the assumption (a). (ii) There are homomorphisms

$$ \mathbb {S}_{\varvec{k}}[1,p-1] \otimes \mathbb {S}_{\varvec{k}}[2,p] \hookrightarrow \mathbb {S}_{\varvec{k}}[1,p-1] \otimes S_{k_p} \otimes \mathbb {S}_{\varvec{k}}[2,p-1] \twoheadrightarrow \mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1] $$

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, (XYZ) is a normal sequence by Proposition 3.2.11 and the assumption (i) of the lemma follows. The assumption (ii) is equivalent to

$$\begin{aligned} \Lambda (X,Y)-\Lambda (Y,Z)+\Lambda (Y,X\, \nabla \,Z)=0 \end{aligned}$$
(4.2.2)

by Proposition 3.2.3 (i). It follows from our assumption (b) that

$$\begin{aligned} 2&= 2 \,\mathfrak {d}(\mathbb {S}_{\varvec{k}}[1,p-1],S_k) = \Lambda (X\, \nabla \,Z, Y) + \Lambda (Y, X\, \nabla \,Z), \ \ \ \text {and}\\ 2&= 2\,\mathfrak {d}(S_{k^-},S_k) = \Lambda (Y,Z)+\Lambda (Z,Y), \end{aligned}$$

from which we have \(\big (\Lambda (X\, \nabla \,Z,Y)-\Lambda (Z,Y)\big )-\Lambda (Y,Z)+\Lambda (Y,X\, \nabla \,Z) = 0\). Since (XZY) 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:

$$\begin{aligned} \mathbb {S}_{\varvec{k}}[2,p-1] \otimes S_k \otimes \mathbb {S}_{\varvec{k}}[1,p-1]&\twoheadrightarrow \mathbb {S}_{\varvec{k}}[2,p-1] \otimes (S_k \, \nabla \,\mathbb {S}_{\varvec{k}}[1,p-1])\nonumber \\&\overset{\sim }{\rightarrow }\ \mathbb {S}_{\varvec{k}}[2,p-1] \otimes \text {hd}(\mathbb {S}_{\varvec{k}}[1,p-2] \otimes S_{k} \otimes S_{k^-})\nonumber \\&\overset{\sim }{\rightarrow }\ \mathbb {S}_{\varvec{k}}[2,p-1] \otimes \big (\mathbb {S}_{\varvec{k}}[1,p-2] \, \nabla \,( S_{k^-} \, \Delta \,S_{k})\big ). \end{aligned}$$
(4.2.3)

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

$$ \mathbb {S}_{\varvec{k}}[2,p-1] \otimes S_k \otimes \mathbb {S}_{\varvec{k}}[1,p-1] \twoheadrightarrow (\mathbb {S}_{\varvec{k}}[2,p-1] \, \nabla \,\mathbb {S}_{\varvec{k}}[1,p-2]) \, \nabla \,(S_{k^-} \, \Delta \,S_{k}). $$

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

$$\begin{aligned} \mathbb {S}_{\varvec{k}}[2,p-1] \otimes S_k \otimes \mathbb {S}_{\varvec{k}}[1,p-1] \twoheadrightarrow \text {hd}\Big (\bigotimes _{a=1}^{p-1} (S_{k_a} \, \Delta \,S_{k_{a+1}})\Big ). \end{aligned}$$
(4.2.4)

Since \(\mathfrak {d}(\mathbb {S}_{\varvec{k}}[2,p-1],S_k) =1\), we have a short exact sequence

$$\begin{aligned} 0 \rightarrow S_k \, \nabla \,\mathbb {S}_{\varvec{k}}[2,p-1] \rightarrow \mathbb {S}_{\varvec{k}}[2,p-1] \otimes S_k \rightarrow \mathbb {S}_{\varvec{k}}[2,p] \rightarrow 0 \end{aligned}$$
(4.2.5)

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

$$ \mathfrak {d}(X, Y \, \nabla \,Z) \le \mathfrak {d}(X,Y) + \mathfrak {d}(X,Z) = 1 + 0 =1, $$

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 (XYZ) is a normal sequence. Hence by Proposition 3.2.10, we have

$$ \Lambda (X\, \nabla \,Y,Z)=\Lambda (X,Z)+\Lambda (Y,Z). $$

Moreover, (ZXY) is also a normal sequence since \(\mathscr {D}Z\) and Y strongly commute, and hence we have

$$ \Lambda (Z, X \, \nabla \,Y) = \Lambda (Z,X) + \Lambda (Z,Y). $$

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

$$ \Lambda (X \, \nabla \,Y, Z) = -\Lambda (Z, X\, \nabla \,Y) \ \ \text {and} \ \ \Lambda (X,Z) = -\Lambda (Z,X). $$

Now by combining them, we have

$$\begin{aligned} 0&= \Lambda (X\, \nabla \,Y,Z) -\Lambda (X,Z)-\Lambda (Y,Z)= - \Lambda (Z, X \, \nabla \,Y)+\Lambda (Z,X) - \Lambda (Y,Z) \\&= -\Lambda (Z,X) -\Lambda (Z,Y) +\Lambda (Z,X)- \Lambda (Y,Z) \\&= -\Lambda (Z,Y)-\Lambda (Y,Z) = -2\,\mathfrak {d}(S_k,\mathbb {S}_{\varvec{k}}[2,p-1]), \end{aligned}$$

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

$$ \mathfrak {d}\big (\mathscr {D}S_{k_1}, (S_k \, \nabla \,\mathbb {S}_{\varvec{k}}[2,p-1])\otimes \mathbb {S}_{\varvec{k}}[1,p-1]\big )\ge \mathfrak {d}(\mathscr {D}S_{k_1}, \mathbb {S}_{\varvec{k}}[1,p-1]\big ) =1 $$

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

$$ (S_k \, \nabla \,\mathbb {S}_{\varvec{k}}[2,p-1]) \otimes \mathbb {S}_{\varvec{k}}[1,p-1] \hookrightarrow \mathbb {S}_{\varvec{k}}[2,p-1] \otimes S_k \otimes \mathbb {S}_{\varvec{k}}[1,p-1] \twoheadrightarrow \mathbb {H} $$

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

$$ \mathfrak {d}(\mathscr {D}S_{k_1}, \mathbb {S}_{\varvec{k}} \otimes \mathbb {S}_{\varvec{k}}[2,p-1]) =1 \ \ \text {and} \ \ \mathfrak {d}(\mathscr {D}S_{k_1}, \mathbb {H}) = 0. $$

\(\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

$$ N=\frac{n(n+1)}{2}, $$

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

  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.

  2. (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:

(5.1.1)

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

$$ d_i = 2 \ \ \text {for all }i \in I \ \ \ \text {if }\xi \in \text {HF}, \ \ \text {and} \ \ d_i = {\left\{ \begin{array}{ll} 2 &{} \text {for }i \in I \setminus \{n_0\}\\ 1 &{} \text {for }i =n_0 \end{array}\right. } \ \ \ \text {if }\xi \in \text {HF}^{\text {tw}}. $$

If \(i \in I\) is a sink (resp. source) of \(\xi \), we define a new function \(s_i\xi \in \text {HF}^\flat \) by

$$ (s_i\xi )_j = \xi _j +d_i\delta _{i,j} \ \ \ (\text {resp.} \ (s_i\xi )_j = \xi _j-d_i\delta _{i,j}) \ \ \ \text {for all }j \in I. $$

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

$$\begin{aligned} \widehat{Q}^{\xi }_0&= \{(i,k) \in I \times \frac{1}{2}\mathbb {Z}\mid k -\xi _i \in d_i\mathbb {Z}\},\\ \widehat{Q}^{\xi }_1&= \{(i,k) \rightarrow (j,l) \mid (i,k),(j,l) \in \widehat{Q}^\xi _0, |i-j|=1,\ l-k = \min (d_i,d_j)/2\}. \end{aligned}$$

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

$$ \mathscr {D}_\xi (i,k)=(i^*,k-\widetilde{n}) \ \ \ \text {for all }(i,k) \in \widehat{Q}^\xi _0, \ \ \ \text {where we set} \ \ \widetilde{n} = {\left\{ \begin{array}{ll} n+1 &{} \text {if }\xi \in \text {HF}, \\ n &{} \text {if }\xi \in \text {HF}^{\text {tw}}.\end{array}\right. } $$

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 (ik) to (jl) 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

$$ \Gamma ^\xi _0 = \{ (i,k) \in \widehat{Q}^\xi _0 \mid \xi _i \le k \le n-1+\xi _{i^*}\}. $$

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}\}\).

  1. (i)

    The set of reduced words of \(w_0\) adapted to \(\xi \) forms a single commutation class in \(R(w_0)\).

  2. (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

$$ \phi _{\xi }(i_l,k_l) = \beta _l \ \ \text {with} \ \ \beta _l = s_{i_1}\cdots s_{i_{l-1}}(\alpha _{i_l}) \ \ \text {for }l \in [1,N]. $$

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

$$ S_{i_r,k_r}^{{\mathcal {D}},\xi } := S_r^{{\mathcal {D}},\varvec{i}} \ \ \text {for }r \in [1,N], $$

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

$$\begin{aligned} S_{\mathscr {D}_\xi ^t(i_r,k_r)}^{{\mathcal {D}},\xi } = S_{r-tN}^{{\mathcal {D}},\varvec{i}} \ \ \ \text {for }1\le r \le N, t\in \mathbb {Z}. \end{aligned}$$
(5.2.1)

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

$$ \textsf {L}_i = L(Y_{j,-l}) \ \ \ \text {(resp. }\textsf {L}_i=L(Y_{\hat{j},-2l}) \ \text { with }\ \hat{j} = \min (j,j^*)) $$

(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

$$ S_{i,k}^{{\mathcal {D}},\xi } \cong L(Y_{i,-k}) \ \ \ (\text {resp.\ } S_{i,k}^{{\mathcal {D}},\xi } \cong L(Y_{\hat{i},-2k})) \ \ \ \text {for all }(i,k) \in \widehat{Q}^\xi _0, $$

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}\}\).

  1. (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\).

  2. (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

$$ (i_r',k_r')=(i_{r+1},k_{r+1}) \ \ \text {for }1\le r <N \ \ \ and \ \ \ (i_N',k_N') = \mathscr {D}_\xi ^{-1}(i_1,k_1). $$

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]\),

$$\begin{aligned} s_{i_1'}\cdots s_{i_{r-1}'}(\alpha _{i_r'}) = \alpha _i \ \ \text {holds if and only if} \ \ S_{\phi _{\xi '}^{-1}(\alpha _i)}^{{\mathcal {D}},\xi } = S_{i_r',k_r'}^{{\mathcal {D}},\xi } = S_r'. \end{aligned}$$

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

$$\begin{aligned} S_{i_1,k_1}^{{\mathcal {D}},\xi }&\cong S_1^{{\mathcal {D}},\varvec{i}} \cong S_0' \cong \mathscr {D}S_N' \cong \mathscr {D}S_{i_N',k_N'}^{{\mathcal {D}}',\xi '}\cong S_{i_1,k_1}^{{\mathcal {D}}',\xi '}, \ \text {and} \\ S_{i_r,k_r}^{{\mathcal {D}},\xi }&\cong S_r^{{\mathcal {D}},\varvec{i}} \cong S_{r-1}' \cong S_{i_{r-1}',k_{r-1}'}^{{\mathcal {D}}',\xi '}\cong S_{i_r,k_r}^{{\mathcal {D}}',\xi '} \ \ \text {for }r \in [2,N]. \end{aligned}$$

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.

  1. (a)

    Each \(S_{i,k}\) is a root module.

  2. (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.

  3. (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.

  4. (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

$$ S_{i,k} = S_r^{{\mathcal {D}},\varvec{i}} \ \ \ \text {and} \ \ \ S_{i',k'} = S_{r'}^{{\mathcal {D}},\varvec{i}}, $$

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

$$ \mathbb {S}^{{\mathcal {D}},\xi }(\varvec{P})=\text {hd}(S_{i_1,k_1}^{{\mathcal {D}},\xi } \otimes \cdots \otimes S_{i_p,k_p}^{{\mathcal {D}},\xi }), $$

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

$$\begin{aligned} \widehat{Q}^{\xi ,\gtrless }_0 = \{ (i,k) \in \widehat{Q}_0^{\xi } \mid i \gtrless n_0\}, \ \widehat{Q}^{\xi ,\text {D}}_0 = \Big \{ (n_0,k) \in \widehat{Q}^{\xi }_0 \Bigm | (n_0,k) \rightarrow \Big (n_0+1,k+\frac{1}{2}\Big ) \in \widehat{Q}^{\xi }_1\Big \},\nonumber \\ \widehat{Q}^{\xi ,\text {U}}_0 = \Big \{ (n_0,k) \in \widehat{Q}^{\xi }_0 \Bigm | (n_0,k) \rightarrow \Big (n_0-1,k+\frac{1}{2}\Big ) \in \widehat{Q}^{\xi }_1\Big \}. \end{aligned}$$
(5.2.3)

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. (1)

    Assume that \(\xi \) is a height function, and \((i,k), (i',k') \in \widehat{Q}_0^\xi \).

    1. (i)

      We say \((i',k')\) is in snake position with respect to (ik) if \((i,k+2) \preceq (i',k')\).

    2. (ii)

      We say \((i',k')\) is in prime snake position with respect to (ik) if

      $$ (i,k+2) \preceq (i',k') \preceq \mathscr {D}^{-1}(i,k). $$
  2. (2)

    Assume that \(\xi \) is a twisted height function, and \((i,k),(i',k') \in \widehat{Q}_0^{\xi }\).

    1. (i)

      We say \((i',k')\) is in snake position with respect to (ik) 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}$$
    2. (ii)

      We say \((i',k')\) is in prime snake position with respect to (ik) if \((i',k')\) is in snake position with respect to (ik), and \((i',k') \preceq \mathscr {D}^{-1}(i,k)\).

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 (ik).

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 (ik) 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 (ik), 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\).

  1. (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 \).

  2. (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

$$ \mathscr {D}^{\pm 1}\varvec{P}=\big (\mathscr {D}^{\pm 1}(i_1,k_1),\ldots ,\mathscr {D}^{\pm 1}(i_p,k_p)\big ), $$

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

$$\begin{aligned} \mathscr {D}^{\pm 1} \mathbb {S}(\varvec{P})&\cong \text {soc}( S_{\mathscr {D}^{\pm 1}(i_p,k_p)} \otimes \cdots \otimes S_{\mathscr {D}^{\pm 1}(i_1,k_1)})\\&\cong \text {hd}(S_{\mathscr {D}^{\pm 1}(i_1,k_1)} \otimes \cdots \otimes S_{\mathscr {D}^{\pm 1}(i_p,k_p)}) = \mathbb {S}(\mathscr {D}^{\pm 1} \varvec{P}). \end{aligned}$$

\(\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

  1. (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}\).

  2. (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

$$ \Omega _i =\{(j,k) \in \Gamma ^{\left( \bar{i}\right) }_0 \mid (i,1) \preceq (j,k) \preceq (i^*,n)\} = \{\phi _{(\bar{i})}^{-1}(\alpha _{j,l})\mid 1\le j\le i \le l \le n\}. $$

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

$$ x= {\left\{ \begin{array}{ll} i-k &{} \text {if} \ i-k> 0,\\ k-i+1 &{} \text {if} \ i-k \le 0,\\ \end{array}\right. } \ \ \text {and} \ \ y = {\left\{ \begin{array}{ll} i+k &{} \text {if} \ i+k \le n,\\ 2n+1-i-k &{} \text {if} \ i+k > n.\\ \end{array}\right. } $$

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

$$\begin{aligned} B^{(\delta )}(\varvec{c}) := B^{\varvec{i}}(\varvec{c})\in \textbf{B}^{\text {up}}, \end{aligned}$$
(6.1.1)

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

$$ \varepsilon _j\big (B^{(\delta )}(\varvec{c})\big ) = \max _{\Sigma \in \,{\mathcal {U}}_j} \Big (\sum _{ (i,k) \in \Sigma }(c_{i,k} -c_{i,k-2})\Big ), $$

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

$$\begin{aligned} \varepsilon _j^*\big (B^{(\delta )}(\varvec{c})\big ) = \varepsilon _j\big (B^{(\delta ^\vee )}(\varvec{c}^\vee )\big ) \end{aligned}$$
(6.1.2)

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. (1)

    Suppose that \((j,l) \prec (i_1,k_1)\).

    1. (a)

      If \((i_1,k_1)\) is in prime snake position with respect to (jl), we have \(\mathfrak {d}\big (S_{j,l},\mathbb {S}(\varvec{P})\big )=1\).

    2. (b)

      If \((i_1,k_1)\) is not in snake position with respect to (jl) (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\).

  2. (2)

    Suppose that \((i_p,k_p)\prec (j,l)\).

    1. (c)

      If (jl) 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\).

    2. (d)

      If (jl) 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\).

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

$$ l=-1, $$

and \((\mathcal {D},\xi )\) is the following specific one:

$$ \xi = \xi ^{(\delta )} \ \ \ \text {and} \ \ \ \mathcal {D}= \{\textsf {L}_i\}_{i \in I} \ \ \text {with} \ \ \textsf {L}_i = {\left\{ \begin{array}{ll} S_{i,0} &{} \text {if }\bar{i} \ne \delta \\ S_{i^*,n} &{} \text {if }\bar{i} = \delta \end{array}\right. } \ \ \text {for }i \in I, $$

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

$$\begin{aligned} \mathcal {L}_{{\mathcal {D}}}\big (B^{(\delta )}(\varvec{c})\big ) \cong \mathbb {S}(\varvec{P}), \end{aligned}$$
(6.2.1)

and hence we have

$$\begin{aligned} \mathfrak {d}\big (S_{j,l},\mathbb {S}(\varvec{P})\big )= \mathfrak {d}\big (\mathscr {D}\textsf {L}_j, \mathbb {S}(\varvec{P})\big ) = \varepsilon _j\big (B^{(\delta )}(\varvec{c})\big ) \end{aligned}$$
(6.2.2)

by Proposition 3.3.3 (c). We see from Theorem 6.1.2 that

$$\begin{aligned} \varepsilon _j\big (B^{(\delta )}(\varvec{c})\big ) = \max _{\Sigma \in \,{\mathcal {U}}_j} \big (\,\sharp \{s \in [1,p] \mid (i_s,k_s) \in \Sigma \} -\sharp \{s \in [1,p] \mid (i_s,k_s+2) \in \Sigma \}\big ). \end{aligned}$$
(6.2.3)

Define \(P_1,P_2,\ldots ,P_{2p} \in \widehat{Q}_0\) by

$$ P_{2s-1} = (i_s,k_s) \ \ \ \text {and} \ \ \ P_{2s} = (i_s,k_s+2) \ \ \ \text {for }s \in [1,p]. $$

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

$$ \sharp \{s \in [1,p] \mid P_{2s-1} \in \Sigma \} -\sharp \{s \in [1,p] \mid P_{2s} \in \Sigma \} = {\left\{ \begin{array}{ll} 0 &{} \text {if }t \in 2\mathbb {Z}, \\ 1 &{} \text {if }t \in 2\mathbb {Z}-1.\end{array}\right. } $$

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

$$ l=n+1, \ \ \ \xi =\xi ^{(\delta )}, \ \ \ and \ \ \ \mathcal {D}=\{\textsf {L}_i\}_{i\in I} \ \ \text {with} \ \ \textsf {L}_i = {\left\{ \begin{array}{ll} S_{i,0} &{} \text {if }\bar{i} \ne \delta \\ S_{i^*,n} &{} \text {if }\bar{i} = \delta \end{array}\right. } \ \ \text {for }i \in I. $$

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

$$ \mathfrak {d}\big (\mathbb {S}(\varvec{P}),S_{j,l}\big ) = \mathfrak {d}\big (\mathbb {S}(\varvec{P}), \mathscr {D}^{-1} \textsf {L}_{j^*}\big )=\varepsilon _{j^*}^*\big (B^{(\delta )}(\varvec{c})\big ), $$

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 (jl) satisfy the assumption of (c) (resp. (d)), then

$$ \varvec{P}^\vee =\big ((i^*_p,n-k_p),(i^*_{p-1},n-k_{p-1}),\ldots ,(i^*_1,n-k_1)\big ) $$

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 (ik). 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

$$\begin{aligned} Q^{i',k'}_{i,k}&= {\left\{ \begin{array}{ll} \big (\frac{1}{2}(i+i'+k-k'),\frac{1}{2}(i-i'+k+k')\big ) &{} \text {if} \ k' -k< i+i',\\ \emptyset &{} \text {if} \ k'-k = i+i',\end{array}\right. }\\ R_{i,k}^{i',k'}&= {\left\{ \begin{array}{ll} \big (\frac{1}{2}(i+i'-k+k'),\frac{1}{2}(-i+i'+k+k')\big ) &{} \text {if} \ k'-k < 2n+2-i-i',\\ \emptyset &{} \text {if} \ k'-k= 2n+2-i-i'.\end{array}\right. } \end{aligned}$$

When \(n=5\), these are illustrated as follows, where (ik) (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 (jl). 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

$$ l=-1, \ \ \ \xi =\xi ^{(\delta )} \ \ \text {with} \ \ \delta = \bar{j}, \ \ \ \text {and} \ \ \ \mathcal {D}=\{\textsf {L}_i\}_{i \in I} \ \ \text {with} \ \ \textsf {L}_i={\left\{ \begin{array}{ll} S_{i,0} &{} \text {if }\bar{i}\ne \delta ,\\ S_{i^*,n} &{} \text {if }\bar{i}=\delta . \end{array}\right. } $$

Set

$$ \Pi := \{ (i,k) \in \widehat{Q}_0 \mid (j,l) \prec (i,k) \prec (j',l')\} \subseteq \Gamma ^{(\delta )}_0. $$

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

$$\begin{aligned} S_{j,l} \, \Delta \,S_{j',l'} \cong \text {hd}\Big (\bigotimes _{(i,k) \in \Pi } S_{i,k}^{\otimes a_{i,k}}\Big ) \end{aligned}$$
(6.2.4)

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

$$ \text {wt}\big (B^{(\delta )}(\varvec{a})\big ) = -\sum _{(i,k) \in \Pi } a_{i,k} \phi _{(\delta )}(i,k). $$

On the other hand, we have

$$ \textsf {L}_j \, \nabla \,(S_{j,l} \, \Delta \,S_{j',l'}) \cong \textsf {L}_j \, \nabla \,(S_{j',l'} \, \nabla \,\mathscr {D}\textsf {L}_j) \cong S_{j',l'}, $$

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

$$\begin{aligned} \sum _{(i,k) \in \Pi } a_{i,k} \phi _{(\delta )}(i,k)= \alpha _{x,y} -\alpha _j = \alpha _{x,j-1} + \alpha _{j+1,y}, \end{aligned}$$
(6.2.5)

where we set \(\phi _{(\delta )}(j',l') =\alpha _{x,y}\). We easily check from Lemma 6.1.1 that

$$ \phi _{(\delta )}(\Pi ) \subseteq \{\alpha _{r,s} \mid r\le j \le s\} \sqcup \{\alpha _{r,j-1} \mid r\le j-1 \} \sqcup \{\alpha _{j+1,s}\mid j+1 \le s\}, $$

and from this we see at once that (6.2.5) holds only when \(\varvec{a}\) is given as follows:

$$ a_{i,k} = 1 \ \ \text {if }\phi _{(\delta )}(i,k) \in \{\alpha _{x,j-1}, \alpha _{j+1,y}\} \ \ \ and \ \ \ a_{i,k}=0 \ \ \text {otherwise}. $$

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

$$ \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}), $$

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.

  1. (i)

    The simple module \(\mathbb {S}(\varvec{P})\) is real.

  2. (ii)

    If \(\varvec{P}\) is prime, then \(\mathbb {S}(\varvec{P})\) is prime.

  3. (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

$$\begin{aligned} \text {hd}\Big (\bigotimes _{a=1}^{p-1} (S_{i_a,k_a} \, \Delta \,S_{i_{a+1},k_{a+1}})\Big ) \cong \mathbb {S}(\varvec{Q}) \otimes \mathbb {S}(\varvec{R}), \end{aligned}$$
(6.2.7)

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

$$ \text {hd}\Big (\bigotimes _{a=1}^{p-1} (S_{i_a,k_a} \, \Delta \,S_{i_{a+1},k_{a+1}})\Big ) \cong \big (\mathbb {S}(\varvec{Q}') \otimes \mathbb {S}(\varvec{R}')\big ) \, \nabla \,(S_{Q} \otimes S_{R}), $$

where we set

$$ \varvec{Q}'= (Q_{i_1,k_1}^{i_2,k_2},\ldots ,Q_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}}) \ \ \ \text {and} \ \ \ \varvec{R}'=(R_{i_1,k_1}^{i_2,k_2},\ldots , R_{i_{p-2},k_{p-2}}^{i_{p-1}.k_{p-1}}). $$

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

$$ \mathfrak {d}\big (\mathbb {S}(\varvec{Q}), \mathbb {S}(\varvec{R})\big ) = \mathfrak {d}\big (\mathbb {S}(\varvec{Q}') \, \nabla \,S_Q, \mathbb {S}(\varvec{R}')\, \nabla \,S_R\big ) = 0, $$

and there is a surjection

$$\begin{aligned} \big (\mathbb {S}(\varvec{Q}') \otimes \mathbb {S}(\varvec{R}')\big ) \otimes (S_{Q} \otimes S_{R})&\cong \big (\mathbb {S}(\varvec{Q}') \otimes S_Q\big ) \otimes \big (\mathbb {S}(\varvec{R}') \otimes S_R\big )\\&\twoheadrightarrow \mathbb {S}(\varvec{Q}) \otimes \mathbb {S}(\varvec{R}), \end{aligned}$$

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

$$\begin{aligned} Q'' \preceq (i_{p-2}-1,k_{p-2}-1) \ \ \text {if }i_{p-2} \ne 1 \ \ \ \text {and} \ \ \ Q'' \preceq (i_{p-2}, k_{p-2}-2) \ \ \text {if }i_{p-2}=1. \end{aligned}$$
(6.2.8)

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

$$ \mathscr {D}^{-1} Q'' \preceq (-i_{p-2}+n+2, k_{p-2}+n) = (i_{p-1}+s,k_{p-1}-2+s) $$

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

$$\begin{aligned} S_{1,2i-1}&= L(Y_{1,2i-1}) \ \ (i \in [1,3]), \ \ \ S_{2,2} = L(Y_{1,3}Y_{1,1}),\\ S_{2,4}&= L(Y_{1,5}Y_{1,3}), \ \ \text {and} \ \ S_{3,3} = L(Y_{1,5}Y_{1,3}Y_{1,1}). \end{aligned}$$

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:

$$\begin{aligned} 0&\rightarrow L(Y_{1,1}) \otimes \text {hd}\big (L(Y_{1,9}) \otimes L(Y_{1,5}Y_{1,3}Y_{1,1})\big )\\ {}&\rightarrow \text {hd}\big (L(Y_{3,9}Y_{3,7}) \otimes L(Y_{1,3}Y_{1,1})\big ) \otimes \text {hd}\big (L(Y_{1,3}Y_{1,1})\otimes L(Y_{1,5})\big )\\&\rightarrow \text {hd}\big (L(Y_{3,9}Y_{3,7}) \otimes L(Y_{1,3}Y_{1,1})\otimes L(Y_{1,5})\big ) \otimes L(Y_{1,3}Y_{1,1}) \rightarrow 0, \end{aligned}$$

or more explictily,

$$ 0 \!\rightarrow \! L(Y_{1,9}Y_{1,5}Y_{1,3}Y_{1,1}^2)\! \rightarrow \! L(Y_{3,9}Y_{3,7}Y_{1,3}Y_{1,1}) \otimes L(Y_{2,4}Y_{1,1})\! \rightarrow \! L(Y_{3,9}Y_{3,7}Y_{2,4}Y_{1,3}Y_{1,1}^2)\! \rightarrow \! 0. $$

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

$$ \theta _i = {\left\{ \begin{array}{ll} i &{} \text {for }i \in [1,n_0],\\ i-2 &{} \text {for }i \in [n_0+1,n],\end{array}\right. } $$

and \(\Theta \) the twisted height function defined by

$$ \Theta _i = {\left\{ \begin{array}{ll} i &{} \text {for }i \in [1,n_0-1],\\ n_0-1/2 &{} \text {for }i = n_0, \\ i-1 &{} \text {for }i \in [n_0+1,n].\end{array}\right. } $$

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

$$\begin{aligned} V\!\langle j\rangle = \big (\Gamma _0^{\theta } \cap ([1,j-1] \times \mathbb {Z})\big )&\sqcup \{(j,j-3/2+k) \mid k \in [0,2n-2j+1]\}\\ {}&\sqcup \{(i,i-1+2k) \mid i>j, k \in [0,n-i]\}. \end{aligned}$$

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):

(7.1.1)

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

  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 ]\).

  2. (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

$$ \rho _{\langle j\rangle }:\mathbb {Z}_{\ge 0}^{V\!\langle j \rangle } \rightarrow \mathbb {Z}_{\ge 0}^{V\!\langle j+1\rangle }, \ \ \ \varvec{c}=(c_{i,k})_{(i,k) \in V\!\langle j \rangle } \mapsto \varvec{c}'=(c_{i,k}')_{(i,k) \in V\!\langle j+1\rangle } $$

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

$$ t = {\left\{ \begin{array}{ll} 1/2 &{} \text {if} \ (i,k)=(j,j-2),\\ -1/2 &{} \text {if} \ (i,k)=(j,2n-j),\\ 0 &{} \text {if} \ i \ne j,j+1.\end{array}\right. } $$

Set

$$ \rho =\rho _{\langle n\rangle }\circ \rho _{\langle n-1\rangle }\circ \cdots \circ \rho _{\langle n_0\rangle } :\mathbb {Z}_{\ge 0}^{\Gamma ^\Theta _0} \rightarrow \mathbb {Z}_{\ge 0}^{\Gamma ^\theta _0}. $$

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

$$\begin{aligned} B^\Theta (\varvec{c}) = B^\theta \big (\rho (\varvec{c})\big ). \end{aligned}$$
(7.1.2)

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

$$\begin{aligned} \text {(i)} \ \ \ \ \ {}&(1,0,0) \mapsto (0,0,1), \ \ \ \ \ \ \ \ \ \ \text {(ii)}\ \ \ \ \ (0,0,1) \mapsto (1,0,0),\\ \text {(iii)}\ \ \ \ \&(0,1,0) \mapsto (1,0,1), \ \ \ \ \ \ \ \ \ \text {(iv)}\ \ \ \ \ (1,0,1) \mapsto (0,1,0). \end{aligned}$$

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:

$$ X^-_{i,k} = {\left\{ \begin{array}{ll} \emptyset &{} \text {if} \ (i,k) \in \Gamma ^{\Theta ,\text {D}}_0,\\ \big (\frac{1}{2}(\Theta _i + k +2), \frac{1}{2}(\Theta _i+k-2)\big ) &{} \text {if} \ (i,k) \in \Gamma _0^{\Theta ,>} \sqcup \Gamma ^{\Theta ,\text {U}}_0, \end{array}\right. } $$

and

$$ X^+_{i,k} = {\left\{ \begin{array}{ll} \emptyset &{} \text {if} \ (i,k) \in \Gamma ^{\Theta ,\text {U}}_0,\\ \big (\frac{1}{2}(\Theta _i-k+2n),\frac{1}{2}(-\Theta _i+k+2n)\big ) &{} \text {if} \ (i,k) \in \Gamma _0^{\Theta ,>} \sqcup \Gamma _0^{\Theta ,\text {D}}.\end{array}\right. } $$

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 (ik), define \(X_{i,k}^{i',k'}\), which is an element of \(\Gamma _0^\theta \) or the empty set, by

$$ X_{i,k}^{i',k'} \!=\! {\left\{ \begin{array}{ll} \emptyset &{} \!\text {if} \ (i,k) \in \Gamma ^{\Theta ,\text {U}}_0,\\ \big (\frac{1}{2}(\Theta _i\!+\!\Theta _{i'}-k+k'), \frac{1}{2}(-\Theta _i\!+\Theta _{i'}\!+k+k')\big ) &{} \!\text {if} \ (i,k) \in \Gamma _0^{\Theta ,>} \sqcup \Gamma _0^{\Theta ,\text {D}}. \\ \end{array}\right. } $$

When \(n=7\), these are illustrated as follows. Here \(\Gamma ^{\Theta ,<}_0\) is omitted, (ik) 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]\):

  1. (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

  2. (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

$$\begin{aligned} \varvec{P}^{(a)}&= \big ((i_r,k_r),\ldots ,(i_{r'-1},k_{r'-1})\big ) \in (\Gamma _0^{\Theta ,\ge })^{r'-r}, \ \ \ \text {and}\\ \varvec{Q}^{(a)}&\!=\! (X_{i_{r},k_{r}}^-, X_{i_{r},k_{r}}^{i_{r+1},k_{r+1}},\ldots ,X_{i_{r'-2},k_{r'-2}}^{i_{r'-1},k_{r'-1}}, X_{i_{r'-1},k_{r'-1}}^+)\in (\Gamma _0^\theta )^{r''} \ \text {for some }r'' \in \mathbb {Z}_{> 0}, \end{aligned}$$

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\),

$$ \varvec{P}=\big ((5,4), (5,6), (4,17/2), (4,19/2)\big ) \ \ \text {and} \ \ \varvec{P}^\dagger = \big ((5,3),(5,5),(5,7),(4,10)\big ). $$

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

$$ \varvec{P}=\big ((9,8),(9,10),(8,25/2),(7,15),(8,35/2),(9,20)\big ), $$

we have

$$\begin{aligned} \varvec{P}^\dagger&= (X_{9,8}^-,X_{9,8}^{9,10}, X_{9,10}^{8,25/2}, (7,15),X_{8,35/2}^{9,20},X_{9,20}^+)\\&=\big ((9,7),(9,9),(9,11),(7,15),(9,19),(9,21)\big ). \end{aligned}$$

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. (1)

    Suppose that \((j,l) \prec (i_1,k_1)\).

    1. (a)

      If \((i_1,k_1)\) is in prime snake position with respect to (jl), we have \(\mathfrak {d}\big (S^\Theta _{j,l},\) \(\mathbb {S}^\Theta (\varvec{P})\big )=1\).

    2. (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\).

    3. (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\).

  2. (2)

    Suppose that \((i_p,k_p) \prec (j,l)\).

    1. (d)

      If (jl) 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\).

    2. (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\).

    3. (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\).

Proof

(1) By applying Lemma 5.2.7, if necessary, we may (and do) assume in the proof of each assertion that

  1. (a)

    \((j,l) \in \widehat{Q}^{\Theta ,<}_0 \sqcup \widehat{Q}^{\Theta ,\text {U}}_0\),

  2. (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\),

  3. (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

$$\begin{aligned} l= \Theta _j-d_j \ \ \ \text {and} \ \ \ (i_s,k_s) \in \Gamma ^\Theta _0 \ \ \text {for all }s \in [1,p], \end{aligned}$$
(7.2.1)

where we set \(d_i = 2 -\delta _{i,n_0}\) for \(i \in I\). It follows from Lemma 7.2.1 that

$$\begin{aligned} \mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big )&=\mathfrak {d}\big (\mathscr {D}S^\Theta _{j^*,\Theta _j-d_j+n}, \mathbb {S}^\Theta (\varvec{P})\big )\nonumber \\&=\mathfrak {d}\big (\mathscr {D}\, \mathbb {S}^\theta \big (\big ((j^*,\Theta _j-d_j+n)\big )^\dagger \big ), \mathbb {S}^\theta (\varvec{P}^{\dagger })\big ), \end{aligned}$$
(7.2.2)

and it is directly checked from Proposition 7.1.3 that

$$ \big ((j^*,\Theta _j-d_j+n)\big )^{\dagger } = {\left\{ \begin{array}{ll} \big ((n,-2+n),(j^*,j-1+n)\big ) &{} \text {if }j <n_0, \\ \big ((n_0,n_0-1+n)\big ) &{} \text {if }(j,l) = (n_0,n_0-3/2),\\ \big ((j^*,j-3+n)\big ) &{} \text {if }j>n_0, \end{array}\right. } $$

which implies

$$ \mathscr {D}\,\mathbb {S}^\theta \big ((j^*,\Theta _j-d_j+n)^\dagger \big ) \cong {\left\{ \begin{array}{ll} S^\theta _{1,-3} \, \nabla \,S^\theta _{j,j-2} &{} \text {if }j<n_0 , \\ S^\theta _{n_0,n_0-2} &{} \text {if }j=n_0,\\ S^\theta _{j,j-4} &{} \text {if }j>n_0.\end{array}\right. } $$

On the other hand, we can also show using the same proposition that

$$\begin{aligned} \text {FT}(\varvec{P}^{\dagger }) = {\left\{ \begin{array}{ll} (i_1, k_1) &{} \text {if }(i_1,k_1) \in \Gamma ^{\Theta ,<}_0,\\ (i_1+s,k_1+s+1/2) \ \text {for some }s &{} \text {if }(i_1,k_1) \in \Gamma ^{\Theta ,\text {D}}_0,\\ \big (\frac{1}{2}(\Theta _{i_1}+k_1+2),\frac{1}{2}(\Theta _{i_1}+k_1-2)\big ) &{} \text {if }(i_1,k_1) \in \Gamma ^{\Theta ,>}_0 \sqcup \Gamma ^{\Theta ,\text {U}}_0, \end{array}\right. } \end{aligned}$$
(7.2.3)

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

$$\begin{aligned} \mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big ) = {\left\{ \begin{array}{ll} \mathfrak {d}\big (S^\theta _{1,-3} \, \nabla \,S^\theta _{j,j-2}, \mathbb {S}^\theta (\varvec{P}^{\dagger })\big ) &{} \text {if }j < n_0,\\ \mathfrak {d}\big (S^\theta _{n_0,n_0-2},\mathbb {S}^\theta (\varvec{P}^{\dagger })\big ) &{} \text {if }j = n_0.\end{array}\right. } \end{aligned}$$
(7.2.4)

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

$$ \mathscr {D}^{-1}_\theta (1,-3) = (n,n-2) \not \succeq \text {FT}(\varvec{P}^\dagger ), $$

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

$$ \mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big ) = \mathfrak {d}\big (S^\theta _{j,j-2}, \mathbb {S}^\theta (\varvec{P}^{\dagger })\big ) \ \ \ \text { for all }j \le n_0. $$

It is easy to check using (7.2.3) that, if \((i_1,k_1)\) is in prime snake position with respect to (jl) 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

$$\begin{aligned} \Theta _{i_1} = \Theta _{j}-r, \ \ \ k_1 = l+r \ \ \text {for some }r, \ \ \ \text {and} \ \ \ l=\Theta _j-d_j. \end{aligned}$$
(7.2.5)

If \(j \le n_0\), then \(i_1 < n_0\) holds and by the same calculation as above we have

$$ \mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big ) = \mathfrak {d}\big (S^\theta _{j,j-2}, \mathbb {S}^\theta (\varvec{P}^{\dagger })\big ) \ \ \ \text {and} \ \ \ \text {FT}(\varvec{P}^\dagger ) =(i_1,k_1). $$

The assertion (b) then follows from Lemma 6.2.1 (b). If \(j>n_0\), on the other hand, we have

$$ \mathfrak {d}\big (S^\Theta _{j,l},\mathbb {S}^\Theta (\varvec{P})\big ) = \mathfrak {d}\big (S^\theta _{j,j-4}, \mathbb {S}^\theta (\varvec{P}^\dagger )\big ). $$

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

$$ (j,l) =(n_0,n_0-3/2)\in \widehat{Q}^{\Theta ,\text {U}}_0 \ \ \ \text {and} \ \ \ (i_1,k_1) \in \Gamma ^{\Theta ,>}_0 \sqcup \Gamma _0^{\Theta ,\text {U}}. $$

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 (ik). 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

$$\begin{aligned} \varvec{Q}_{i,k}^{i',k'}&= {\left\{ \begin{array}{ll} \emptyset &{} (k'-k = \Theta _i+\Theta _{i'}),\\ \big ((\frac{1}{2}(\Theta _i+\Theta _{i'}+k-k'),\frac{1}{2}(\Theta _i-\Theta _{i'}+k+k'))\big ) &{} (k'-k<\Theta _i+\Theta _{i'}), \end{array}\right. }\\ \varvec{R}_{i,k}^{i',k'}&= {\left\{ \begin{array}{ll} {{\big ((\frac{1}{2}(i+i'-k+k'),\frac{1}{2}(-i+i'+k+k'))\big )}} &{} {{(i,i'<n_0, k'-k<2n_0-i-i'),}}\\ {{\big ((n_0,-i+k+n_0-\frac{1}{2}), (n_0,i'+k'-n_0+\frac{1}{2})\big )}} &{} {{(i,i'<n_0, k'-k\ge 2n_0-i-i'),}}\\ \big ((n_0,-i+k+n_0-\frac{1}{2})\big ) &{} (i<n_0, i'=n_0),\\ \big ((n_0,i'+k'-n_0+\frac{1}{2})\big ) &{} (i=n_0, i'<n_0),\\ \emptyset &{} (i=i'=n_0).\end{array}\right. } \end{aligned}$$

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 (ik) (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 (ik). Then we have

$$ S^\Theta _{i,k} \, \Delta \,S^\Theta _{i',k'} \cong \mathbb {S}^\Theta (\varvec{Q}_{i,k}^{i',k'}) \otimes \mathbb {S}^\Theta (\varvec{R}_{i,k}^{i',k'}). $$

Proof

Since

$$ \mathscr {D}(S^\Theta _{i,k} \, \Delta \,S^\Theta _{i',k'}) \cong S^\Theta _{\mathscr {D}(i',k')} \, \nabla \,S^\Theta _{\mathscr {D}(i,k)} \cong S^\Theta _{\mathscr {D}(i,k)} \, \Delta \,S^\Theta _{\mathscr {D}(i',k')}, $$

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

$$\begin{aligned} S^\Theta _{i,k} \, \Delta \,S^\Theta _{i',k'}&\cong S^\theta _{n_0,n_0-2} \, \Delta \,S^\theta _{i',k'} \cong S^\theta _{Q_{n_0,n_0-2}^{i',k'}} \otimes S^\theta _{R_{n_0,n_0-2}^{i',k'}}\\&\cong \mathbb {S}^\Theta (\varvec{Q}_{i,k}^{i',k'}) \otimes \mathbb {S}^\Theta (\varvec{R}_{i,k}^{i',k'}), \end{aligned}$$

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

$$ \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}, $$

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\).

  1. (i)

    The simple module \(\mathbb {S}^\Theta (\varvec{P})\) is real.

  2. (ii)

    If \(\varvec{P}\) is prime, then \(\mathbb {S}^\Theta (\varvec{P})\) is prime.

  3. (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

$$ \mathfrak {d}\big (\mathbb {S}^\Theta (\varvec{Q}'),\mathbb {S}^\Theta (\varvec{R}_{i_{p-1},k_{p-1}}^{i_p,k_p})\big ) = 0=\mathfrak {d}\big (\mathbb {S}^\Theta (\varvec{R}'),\mathbb {S}^\Theta (\varvec{Q}_{i_{p-1},k_{p-1}}^{i_p,k_p})\big ), $$

where we set

$$ \varvec{Q}' = \varvec{Q}_{i_1,k_1}^{i_2,k_2} * \cdots * \varvec{Q}_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}} \ \ \ \text {and} \ \ \ \varvec{R}' = \varvec{R}_{i_1,k_1}^{i_2,k_2}*\cdots * \varvec{R}_{i_{p-2},k_{p-2}}^{i_{p-1},k_{p-1}}. $$

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

$$\begin{aligned} R \not \preceq \mathscr {D}^{-1} Q \ \ \ \text {for all }Q \in \varvec{Q}' \text { and } R \in \tilde{\varvec{R}}, \end{aligned}$$
(7.2.7)

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

$$ (i_{p-2},k_{p-2}) \in \widehat{Q}^{\Theta ,\text {D}}_0, \ \ \ \ (i_{p-1},k_{p-1}) \in \widehat{Q}^{\Theta ,\text {U}}_0 \ \ \ \text {and} \ \ \ \tilde{\varvec{R}} \subseteq \widehat{Q}^{\Theta ,\text {U}}_0. $$

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

$$ \textsf {L}_1=L(Y_{1,7}),\ \ \ \textsf {L}_2=L(Y_{2,4}),\ \ \text {and} \ \ \textsf {L}_3=L(Y_{3,7}). $$

Then we have

$$\begin{aligned} S_{1,1}^{\Theta }&= L(Y_{1,7}), \ \ S_{2,3/2}^{\Theta } = L(Y_{3,5}), \ \ S_{3,2}^{\Theta }=L(Y_{3,7}Y_{3,5}), \ \ S_{2,5/2}^{\Theta } = L(Y_{3,7}),\\ S_{1,3}^{\Theta }&= L(Y_{1,5}), \ \ S_{2,7/2}^{\Theta } = L(Y_{2,4}), \end{aligned}$$

and the exact sequence (7.2.6) for \(\varvec{P} = \big ((3,2),(2,9/2),(2,11/2)\big )\) is as follows:

$$\begin{aligned} 0&\!\rightarrow \! \text {hd}\big (L(Y_{3,7})\!\otimes \! L(Y_{1,3}Y_{1,1})\big ) \!\rightarrow \! \text {hd}\big (L(Y_{3,7}Y_{3,5}) \!\otimes \! L(Y_{1,1})\big ) \!\otimes \! \text {hd}(L(Y_{1,1}) \!\otimes \! L(Y_{1,3})\big )\\&\rightarrow \text {hd}\big (L(Y_{3,7}Y_{3,5})\otimes L(Y_{1,1}) \otimes L(Y_{1,3})\big ) \otimes L(Y_{1,1}) \rightarrow 0, \end{aligned}$$

or more explicitly,

$$ 0 \rightarrow L(Y_{3,7}Y_{1,3}Y_{1,1}) \rightarrow L(Y_{3,7}Y_{3,5}Y_{1,1}) \otimes L(Y_{2,2}) \rightarrow L(Y_{3,7}Y_{3,5}Y_{2,2}Y_{1,1}) \rightarrow 0. $$