<ph f="cmex"> </ph><ph f="cmbx">Characters of fundamental representations of quantum affine algebras.</ph>

### Vyjayanthi Chari and Adriano A. Moura

Department of Mathematics, University of California, Riverside, CA 92521.
E-mail address : chari@math.ucr.edu, adrianoam@math.ucr.edu
• Abstract. We give closed formulae for the $q$  –characters of the fundamental representations of the quantum loop algebra of a classical Lie algebra, in terms of a family of partitions satisfying some simple properties. We also give the multiplicities of the eigenvalues of the imaginary subalgebra in terms of these partitions.

Introduction

In this paper we study the $q$  –characters of the fundamental finite–dimensional representations of the quantum loop algebra ${\mathbf{U}}_{q}$  associated to a classical simple Lie algebra. The notion of $q$  –characters defined in [7is analogous to the usual notion of a character of a finite–dimensional representation of a simple Lie algebra. These characters and their generalizations have been studied extensively [6, [9, [11using combinatorial and geometric methods. A more representation theoretic approach was developed in [4. In particular, that paper approached the problem of studying whether the $q$  –characters admitted a Weyl group invariance which was analogous to the invariance of characters of finite–dimensional representations of simple Lie algebras. In the quantum case, it is reasonable to expect that the Weyl group be replaced by the braid group, [2, [3, [7but it is easy to see that this is false even for $s{l}_{2}$  . However, it was shown in [4that in a suitably modified way, the $q$  –characters of the fundamental representations of the quantum loop algebra of a classical Lie algebra do admit an invariance under the braid group action. It was also shown that the $q$  –character of such representations could then be calculated in a certain inductive way.
In this paper, we use that inductive method to give closed formulas for the $q$  –characters of all the fundamental representations of the quantum loop algebras of a classical simple Lie algebra. To describe the results a bit further, recall that the quantum loop algebra admits a commutative subalgebra ${\mathbf{U}}_{q}\left(0\right)$  corresponding to the imaginary root vectors. Any finite–dimensional representation $V$  of the quantum loop algebra, breaks up as a direct sum of generalized eigenspaces for the action of ${\mathbf{U}}_{q}\left(0\right)$  . These are called the $\ell$  –weight spaces and the eigenvalues corresponding to the non–zero eigenspaces are called the $\ell$  –weights of the representation. The $\ell$  –weights lie in a free abelian multiplicative group ${\mathcal{P}}_{q}$  . Let $\mathbf{Z}\left[{\mathcal{P}}_{q}\right]$  be the integral group ring over ${\mathcal{P}}_{q}$  and for $\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}$  , let ${V}_{\text{}\mathbit{\varpi }\text{}}$  be the corresponding eigenspace of $V$  . The element of $\mathbf{Z}\left[{\mathcal{P}}_{q}\right]$  defined by, $c{h}_{\ell }\left(V\right)={\sum }_{\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}}dim\left({V}_{\text{}\mathbit{\varpi }\text{}}\right)e\left(\text{}\mathbit{\varpi }\text{}\right),$  is called the $q$  –character of $V$  . If $P$  is the usual weight lattice of the simple Lie algebra, then it was shown in [4that there exists a canonical group homomorphism $wt:{\mathcal{P}}_{q}\to \mathcal{P}$  .
Assume now that $V$  is a fundamental representation of the quantum loop algebra. Roughly speaking, this means that $V$  corresponds to a canonical generator of ${\mathcal{P}}_{q}$  . It was shown in [4that the problem of determining the $\ell$  –weights of $V$  is reduced to determining ${V}_{\text{}\mathbit{\varpi }\text{}}$  where $wt\left(\text{}\mathbit{\varpi }\text{}\right)$  is in the dominant chamber ${P}^{+}$  of $P$  . Assume from now on that $wt\left(\text{}\mathbit{\varpi }\text{}\right)\in {P}^{+}$  . We give explicit formulas for $\text{}\mathbit{\varpi }\text{}$  with ${V}_{\text{}\mathbit{\varpi }\text{}}\ne 0$  . In the case of ${B}_{n}$  , ${C}_{n}$  , we see as a consequence that $dim{V}_{\text{}\mathbit{\varpi }\text{}}=1$  (this was proved by different methods in [9). In the case of ${D}_{n}$  it can happen that $dim\left({V}_{\text{}\mathbit{\varpi }\text{}}\right)>1$  and we compute this dimension in Section 5. The idea is to show that every $\ell$  –weight $\text{}\mathbit{\varpi }\text{}$  comes from a partition $\mathbf{j}$  with certain properties and we find that $dim{V}_{\text{}\mathbit{\varpi }\text{}}={2}^{{M}_{\mathbf{j}}}$  where ${M}_{\mathbf{j}}$  is defined in a canonical way in Section 5.

1 Preliminaries

1.1

Let $\mathfrak{g}$  be a complex finite–dimensional simple Lie algebra of rank $n$  and let $\mathfrak{h}$  be a Cartan subalgebra of $\mathfrak{g}$  . Set $I=\left\{1,2,\cdots ,n\right\}$  and let $\left\{{\alpha }_{i}:i\in I\right\}$  (resp. $\left\{{\omega }_{i}:i\in I\right\}$  ) be the set of simple roots (resp.
fundamental weights) of $\mathfrak{g}$  with respect to $\mathfrak{h}$  . Let also ${\stackrel{ˇ}{\alpha }}_{i}$  denote the simple co-roots. As usual, $Q$  , (resp.
$P$  ) denotes the root (resp. weight) lattice of $\mathfrak{g}$  , ${Q}^{+}={\sum }_{i=1}^{n}\mathbf{N}{\alpha }_{i}$  , and ${P}^{+}={\sum }_{i=1}^{n}\mathbf{N}{\omega }_{i}$  . Let $W$  be the Weyl group of $\mathfrak{g}$  generated by simple reflections $\left\{{s}_{i}:i\in I\right\}$  . For $w\in W$  , let $\ell \left(w\right)$  denote the length of a reduced expression for $w$  . Given $\lambda ={\sum }_{i\in I}{\lambda }_{i}{\omega }_{i}\in {P}^{+}$  let $W\left(\lambda \right)$  be the subgroup of $W$  generated by $\left\{{s}_{i}:i\in I,{\lambda }_{i}=0\right\}$  and let ${W}_{\lambda }$  be the set of left coset representatives of $W/W\left(\lambda \right)$  of minimal length.
The braid group $\mathcal{ℬ}$  associated to $\mathfrak{g}$  is generated by elements ${T}_{i}$  , $i\in I$  and relations
 $\begin{array}{cc}{T}_{i}{T}_{j}& ={T}_{j}{T}_{i},\text{if}{a}_{ij}=0,\end{array}$
 $\begin{array}{cc}{T}_{i}{T}_{j}{T}_{i}& ={T}_{j}{T}_{i}{T}_{j},\text{if}{a}_{ij}{a}_{ji}=1,\end{array}$
 $\begin{array}{cc}\left({T}_{i}{T}_{j}{\right)}^{2}& =\left({T}_{j}{T}_{i}{\right)}^{2},\text{if}{a}_{ij}{a}_{ji}=2,\end{array}$
 $\begin{array}{cc}\left({T}_{i}{T}_{j}{\right)}^{3}& =\left({T}_{j}{T}_{i}{\right)}^{3},\text{if}{a}_{ij}{a}_{ji}=3,\end{array}$
 $\begin{array}{}\end{array}$
where $i,j\in \left\{1,2,\cdots ,n\right\}$  and $A=\left({a}_{ij}\right)$  $1\le i,j\le n$  is the Cartan matrix of $\mathfrak{g}$  . For $i\in I$  , fix integers ${d}_{i}\in \mathbf{N}$  minimal such that ${d}_{i}{a}_{ij}={d}_{j}{a}_{ji}$  for all $j\in I$  . Given $w\in W$  and a reduced expression $w={s}_{{i}_{1}}\cdots {s}_{{i}_{k}}$  let ${T}_{w}={T}_{{i}_{1}}\cdots {T}_{{i}_{k}}$  be the corresponding element of $\mathcal{ℬ}$  . It is well–known that ${T}_{w}$  is independent of the choice of the reduced expression.

1.2

Let $q\in {\mathbf{C}}^{×}$  and assume that $q$  is not a root of unity. For $r,m\in \mathbf{N}$  , $m\ge r$  , define complex numbers, $\left[m{\right]}_{q}=\frac{{q}^{m}-{q}^{-m}}{q-{q}^{-1}},\left[m{\right]}_{q}!=\left[m{\right]}_{q}\left[m-1{\right]}_{q}\dots \left[2{\right]}_{q}\left[1{\right]}_{q},{\left[\begin{array}{c}m\\ r\end{array}\right]}_{q}=\frac{\left[m{\right]}_{q}!}{\left[r{\right]}_{q}!\left[m-r{\right]}_{q}!}.$  Set ${q}_{i}={q}^{{d}_{i}}$  and $\left[m{\right]}_{i}=\left[m{\right]}_{{q}_{i}}$  .
Let ${\mathcal{P}}_{q}$  be the (multiplicative) subgroup of $\mathbf{C}\left(u{\right)}^{n}$  generated by the elements, $\text{}\mathbit{\omega }{\text{}}_{i,a}$  , $i\in I$  , $a\in {\mathbf{C}}^{×}$  , where $\text{}\mathbit{\omega }{\text{}}_{i,a}$  is the $n$  –tuple of elements in $\mathbf{C}\left(u\right)$  whose ${i}^{th}$  entry is $1-au$  and all other entries 1. The elements $\text{}\mathbit{\omega }{\text{}}_{i,a}$  are called $\ell$  –fundamental weights. It is obvious that ${\mathcal{P}}_{q}$  is generated freely as an abelian group by the fundamental $\ell$  –weights. ${\mathcal{P}}_{q}$  is called the $\ell$  –weight lattice. Given any element $\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}$  and $1\le j\le n$  , let $\text{}\mathbit{\varpi }{\text{}}_{j}$  be the ${j}^{th}$  entry of $\text{}\mathbit{\varpi }\text{}$  .
Let ${\mathcal{P}}_{q}^{+}$  be the monoid generated by $1$  and the elements $\text{}\mathbit{\omega }{\text{}}_{i,a}$  , $i\in I$  , $a\in {\mathbf{C}}^{×}$  , clearly ${\mathcal{P}}_{q}^{+}$  consists of $n$  –tuples of polynomials with constant term one and an element of ${\mathcal{P}}_{q}^{+}$  is called an $\ell$  –dominant weight.
Let $wt:{\mathcal{P}}_{q}\to P$  be the group homomorphism defined by extending, $wt\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right)={\omega }_{i}.$  The group $\mathcal{ℬ}$  acts on on ${\mathcal{P}}_{q}$  as follows [2,[3,[7: for $i\in I$  and $\text{}\mathbit{\varpi }\text{}=\left({\varpi }_{1},\cdots ,{\varpi }_{n}\right)\in {\mathcal{P}}_{q}$  , we have
 $\begin{array}{cc}\left({T}_{i}\text{}\mathbit{\varpi }\text{}{\right)}_{j}& ={\varpi }_{j},\text{if}{a}_{ji}=0,\end{array}$
 $\begin{array}{cc}\left({T}_{i}\text{}\mathbit{\varpi }\text{}{\right)}_{j}& ={\varpi }_{j}\left(u\right){\varpi }_{i}\left({q}_{i}u\right),\text{if}{a}_{ji}=-1,\end{array}$
 $\begin{array}{cc}\left({T}_{i}\text{}\mathbit{\varpi }\text{}{\right)}_{j}& ={\varpi }_{j}\left(u\right){\varpi }_{i}\left({q}^{3}u\right){\varpi }_{i}\left(qu\right),\text{if}{a}_{ji}=-2,\end{array}$
 $\begin{array}{cc}\left({T}_{i}\text{}\mathbit{\varpi }\text{}{\right)}_{j}& ={\varpi }_{j}\left(u\right){\varpi }_{i}\left({q}^{5}u\right){\varpi }_{i}\left({q}^{3}u\right){\varpi }_{i}\left(qu\right),\text{if}{a}_{ji}=-3,\end{array}$
 $\begin{array}{cc}\left({T}_{i}\text{}\mathbit{\varpi }\text{}{\right)}_{i}& =\frac{1}{{\varpi }_{i}\left({q}_{i}^{2}u\right)}.\end{array}$
 $\begin{array}{}\end{array}$
For $i\in I$  , set $\text{}\mathbit{\alpha }{\text{}}_{i,a}=\left({T}_{i}\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right){\right)}^{-1}\text{}\mathbit{\omega }{\text{}}_{i,a},$  and let ${\mathcal{Q}}_{q}$  be the subgroup of ${\mathcal{P}}_{q}$  generated by the $\text{}\mathbit{\alpha }{\text{}}_{i,a}$  . Let ${\mathcal{Q}}_{q}^{+}$  the monoid generated by $1$  and $\text{}\mathbit{\alpha }{\text{}}_{i,a}$  , $i\in I$  , $a\in {\mathbf{C}}^{×}$  , and ${\mathcal{Q}}_{q}^{-}=\left({\mathcal{Q}}_{q}^{+}{\right)}^{-1}$  .

1.3

The quantum loop algebra ${\mathbf{U}}_{q}$  of $\mathfrak{g}$  is the algebra with generators ${x}_{i,r}^{±}$  ( $i\in I$  , $r\in \mathbf{Z}$  ), ${K}_{i}^{±1}$  ( $i\in I$  ), ${h}_{i,r}$  ( $i\in I$  , $r\in \mathbf{Z}\\left\{0\right\}$  ) and the following defining relations:
 $\begin{array}{cc}{K}_{i}{K}_{i}^{-1}={K}_{i}^{-1}{K}_{i}& =1,{K}_{i}{K}_{j}={K}_{j}{K}_{i},\end{array}$
 $\begin{array}{cc}{K}_{i}{h}_{j,r}& ={h}_{j,r}{K}_{i},\end{array}$
 $\begin{array}{cc}{K}_{i}{x}_{j,r}^{±}{K}_{i}^{-1}& ={q}_{i}^{±{a}_{ij}}{x}_{j,r}^{±},\end{array}$
 $\begin{array}{cc}\left[{h}_{i,r},{h}_{j,s}\right]=0,& \left[{h}_{i,r},{x}_{j,s}^{±}\right]=±\frac{1}{r}\left[r{a}_{ij}{\right]}_{{q}^{i}}{x}_{j,r+s}^{±},\end{array}$
 $\begin{array}{cc}{x}_{i,r+1}^{±}{x}_{j,s}^{±}-{q}_{i}^{±{a}_{ij}}{x}_{j,s}^{±}{x}_{i,r+1}^{±}& ={q}_{i}^{±{a}_{ij}}{x}_{i,r}^{±}{x}_{j,s+1}^{±}-{x}_{j,s+1}^{±}{x}_{i,r}^{±},\end{array}$
 $\begin{array}{cc}\left[{x}_{i,r}^{+},{x}_{j,s}^{-}\right]={\delta }_{i,j}& \frac{{\psi }_{i,r+s}^{+}-{\psi }_{i,r+s}^{-}}{{q}_{i}-{q}_{i}^{-1}},\end{array}$
 $\begin{array}{cc}{\sum }_{\pi \in {\Sigma }_{m}}{\sum }_{k=0}^{m}\left(-1{\right)}^{k}{\left[\begin{array}{c}m\\ k\end{array}\right]}_{i}{x}_{i,{r}_{\pi \left(1\right)}}^{±}\dots {x}_{i,{r}_{\pi \left(k\right)}}^{±}& {x}_{j,s}^{±}{x}_{i,{r}_{\pi \left(k+1\right)}}^{±}\dots {x}_{i,{r}_{\pi \left(m\right)}}^{±}=0,\text{if}i\ne j\text{},\end{array}$
 $\begin{array}{}\end{array}$
for all sequences of integers ${r}_{1},\dots ,{r}_{m}$  , where $m=1-{a}_{ij}$  , ${\Sigma }_{m}$  is the symmetric group on $m$  letters, and the ${\psi }_{i,r}^{±}$  are determined by equating powers of $u$  in the formal power series ${\sum }_{r=0}^{\infty }{\psi }_{i,±r}^{±}{u}^{±r}={K}_{i}^{±1}\text{exp}\left(±\left({q}_{i}-{q}_{i}^{-1}\right){\sum }_{s=1}^{\infty }{h}_{i,±s}{u}^{±s}\right).$  Let ${\mathbf{U}}_{q}\left(\mathfrak{g}\right)$  be the subalgebra of ${\mathbf{U}}_{q}$  generated by the elements ${x}_{i,0}^{±}$  , ${K}_{i}^{±1}$  for $1\le i\le n$  .

1.4

For $i\in I$  , set ${h}_{i}^{±}\left(u\right)={\sum }_{k=1}^{\infty }\frac{{q}^{±k}{h}_{i,±k}}{\left[k{\right]}_{i}}{u}^{k},$  and define elements ${P}_{i,±k}$  , $i\in I$  , $k\in \mathbf{Z}$  , $k\ge 0$  , by the generating series,
 $\begin{array}{c}{P}_{i}^{±}\left(u\right)={\sum }_{k=0}^{\infty }{P}_{i,±k}{u}^{k}=exp\left(-{h}_{i}^{±}\left(u\right)\right).\end{array}$ (1.1)
Let ${\mathbf{U}}_{q}^{±}\left(0\right)$  be the subalgebra of ${\mathbf{U}}_{q}$  generated by the elements ${h}_{i,±k}$  $i\in I$  , $k\in \mathbf{Z}$  , $k>0$  , or equivalently, the subalgebra generated by the elements ${P}_{i,±k}$  , $i\in I$  , $k\in \mathbf{Z}$  , $k>0$  , and let ${\mathbf{U}}_{q}\left(0\right)$  be the subalgebra generated by ${\mathbf{U}}_{q}^{±}\left(0\right)$  . An element $\text{}\mathbit{\varpi }\text{}=\left({\varpi }_{1},\cdots ,{\varpi }_{n}\right)\in {\mathcal{P}}_{q}$  can be regarded as an element of $\text{Hom}\left({\mathbf{U}}_{q}\left(0\right),\mathbf{C}\right)$  by extending the assignment, $\text{}\mathbit{\varpi }\text{}\left({P}_{i}^{±}\left(u\right)\right)={\varpi }_{i}^{±}\left(u\right),$  where ${\varpi }_{i}^{+}\left(u\right)={\varpi }_{i}$  , ${\varpi }_{i}^{-}={u}^{\text{deg}{\varpi }_{i}}{\varpi }_{i}\left({u}^{-1}\right)/\left({u}^{\text{deg}{\varpi }_{i}}{\varpi }_{i}\left({u}^{-1}\right)\right){|}_{u=0}$  .

1.5

Given a ${\mathbf{U}}_{q}$  -module $V$  and $\mu ={\sum }_{i}{\mu }_{i}{\omega }_{i}\in P$  , set ${V}_{\mu }=\left\{v\in V:{K}_{i}.v={q}_{i}^{{\mu }_{i}}v,\forall i\in I\right\}.$  We say that $V$  is a module of type 1 if $V={\oplus }_{\mu \in P}{V}_{\mu }.$  Set $wt\left(V\right)=\left\{\mu \in P:{V}_{\mu }\ne 0\right\},$  and given $v\in {V}_{\mu }$  set $wt\left(v\right)=\mu$  . An element $\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}$  is an $\ell$  –weight of $V$  if there exists a non–zero element $v\in V$  such that $\left({P}_{i,±r}-\left({\varpi }_{i}^{±}{\right)}_{r}{\right)}^{N}v=0,N\equiv N\left(i,r,v\right)\in {\mathbf{Z}}^{+},$  for all $i\in I$  and $r\in {\mathbf{Z}}^{+}$  and $v$  is called an $\ell$  –weight vector in $V$  with $\ell$  –weight $\text{}\mathbit{\varpi }\text{}$  . Let ${V}_{\text{}\mathbit{\varpi }\text{}}$  be the subspace of $V$  spanned by $\ell$  –weight vectors with $\ell$  –weight $\text{}\mathbit{\varpi }\text{}$  . If $V$  is a finite–dimensional ${\mathbf{U}}_{q}$  –module, then, $V=\text{}{\oplus }_{\text{}\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}\text{}}^{\text{}}\text{}{V}_{\text{}\mathbit{\varpi }\text{}},{V}_{\mu }=\text{}{\oplus }_{\text{}\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}\text{}}^{\text{}}\text{}{V}_{\text{}\mathbit{\varpi }\text{}}\cap {V}_{\mu }.$  Denote by $wt\ell \left(V\right)$  the set of $\ell$  –weights of $V$  and define $wt\ell \left(v\right)$  in the obvious way.

1.6

Let ${\mathcal{C}}_{q}$  be the category of finite-dimensional ${\mathbf{U}}_{q}$  –modules of type 1. A module $V\in {\mathcal{C}}_{q}$  is $\ell$  –highest weight with $\ell$  –highest weight $\text{}\mathbit{\varpi }\text{}\in {\mathcal{P}}_{q}$  if there exists a non–zero vector $0\ne v\in V$  such that $V={\mathbf{U}}_{q}v$  and,
 $\begin{array}{c}{x}_{i,r}^{+}v=0,{P}_{i}^{±}\left(u\right)v=\left(\text{}\mathbit{\varpi }\text{}{\right)}_{i}^{±}v,{K}_{i}^{±1}v={q}^{±wt\text{}\mathbit{\varpi }\text{}\left({\stackrel{ˇ}{\alpha }}_{i}\right)}v,\left({x}_{i,r}^{-}{\right)}^{wt\text{}\mathbit{\varpi }\text{}\left({\stackrel{ˇ}{\alpha }}_{i}\right)+1}v=0,\end{array}$ (1.2)
for all $i\in I$  , $r\in \mathbf{Z}$  . The element $v$  is called the $\ell$  –highest weight vector.
Any $\ell$  –highest weight module has a unique irreducible quotient which is also a highest weight module with the same highest weight. There exists a bijective correspondence between elements of ${\mathcal{P}}_{q}^{+}$  and isomorphism classes of irreducible finite–dimensional modules, [5. Given $\text{}\mathbit{\omega }\text{}\in {\mathcal{P}}_{q}^{+}$  , let $V\left(\text{}\mathbit{\omega }\text{}\right)\in {\mathcal{C}}_{q}$  be an element in the corresponding isomorphism class, and let ${v}_{\text{}\mathbit{\omega }\text{}}$  be the $\ell$  –highest weight vector. Then, $V\left(\text{}\mathbit{\omega }\text{}{\right)}_{wt\text{}\mathbit{\omega }\text{}}=\mathbf{C}{v}_{\text{}\mathbit{\omega }\text{}}.$

1.7

From now on we suppose $\mathfrak{g}$  is of classical type, i.e $\mathfrak{g}$  is of type ${A}_{n}$  , ${B}_{n}$  , ${C}_{n}$  or ${D}_{n}$  . The following result was proved in [4.
Theorem. Let $i\in I$  , $a\in {\mathbf{C}}^{×}$  and $V=V\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right)$  . Assume that $\text{}\mathbit{\varpi }\text{}\in w{t}_{\ell }\left(V\right)$  is such that $wt\left(\text{}\mathbit{\varpi }\text{}\right)=\lambda \in {P}^{+}$  .
• (i) For all $w\in {W}_{\lambda }$  we have $dim\left({V}_{\text{}\mathbit{\varpi }\text{}}\right)=dim\left({V}_{{T}_{w}\text{}\mathbit{\varpi }\text{}}\right),$  and ${T}_{w}\left(w{t}_{\ell }\left({V}_{\lambda }\right)\right)=w{t}_{\ell }\left({V}_{w\lambda }\right).$
• (ii) Suppose that $\text{}\mathbit{\varpi }\text{}\ne \text{}\mathbit{\omega }{\text{}}_{i,a}$  . There exists $\text{}\mathbit{\varpi }{\text{}}^{\prime }\in w{t}_{\ell }\left(V\right)$  , $\mu =wt\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\in {P}^{+}$  , $w\in {W}_{\mu }$  , $j\in I$  with $\ell \left({s}_{j}w\right)=\ell \left(w\right)+1$  , and $c\in {\mathbf{C}}^{×}$  such that $\left({T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right){\right)}_{j}=\left(1-cu\right)\left(1-{c}^{\prime }u\right)\text{and}\text{}\mathbit{\varpi }\text{}={T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\left(\text{}\mathbit{\alpha }{\text{}}_{j,c}{\right)}^{-1}$  for some ${c}^{\prime }\ne c{q}_{j}^{2}$  , and $dim\left({V}_{\text{}\mathbit{\varpi }\text{}}\right)\ge 2\text{if}c={c}^{\prime }.$  Further, for all $v\in {V}_{{T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)}$  and $s\in \mathbf{Z}$  ,  $\begin{array}{c}{x}_{j,s}^{-}v\in {V}_{\text{}\mathbit{\varpi }\text{}}+{V}_{{T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\left(\text{}\mathbit{\alpha }{\text{}}_{j,{c}^{\prime }}{\right)}^{-1}}.\end{array}$ (1.3)
Corollary. We have $ch\ell \left(V\right)={\sum }_{\lambda \in {P}^{+}}{\sum }_{w\in {W}_{\lambda }}{\sum }_{\text{}\mathbit{\varpi }\text{}\in wt\ell \left({V}_{\lambda }\right)}\left(dim{V}_{\text{}\mathbit{\varpi }\text{}}\right)e\left({T}_{w}\left(\text{}\mathbit{\varpi }\text{}\right)\right).$
¿From now on, we will let $\text{}\mathbit{\varpi }\text{}$  also denote the element $e\left(\text{}\mathbit{\varpi }\text{}\right)$  of $\mathbf{Z}\left[{\mathcal{P}}_{q}\right]$  . Notice that since the group ${\mathcal{P}}_{q}$  is multiplicative, this should cause no confusion.

1.8

It follows from the corollary that if $V\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right)$  is a minuscule representation of $\mathfrak{g}$  , i.e $V\left(\text{}\mathbit{\omega }{\text{}}_{i,a}{\right)}_{\lambda }=0$  for all $\lambda \in {P}^{+}$  with $\lambda <{\omega }_{i}$  , then $ch\ell \left(V\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right)\right)={\sum }_{w\in {W}_{{\omega }_{i}}}{T}_{w}\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right).$  It follows from [5that this is the case for all fundamental representations of ${A}_{n}$  , the spin nodes for the orthogonal algebras, and the natural representations of ${C}_{n}$  and ${D}_{n}$  . In the rest of the paper we consider the remaining cases.

1.9

We conclude this section with a stronger version of Theorem  1.7 (ii). Let ${\mathbf{U}}_{{q}_{j}}\left({\stackrel{^}{\mathfrak{g}}}_{j}\right)$  be the subalgebra of ${\mathbf{U}}_{q}$  generated by the elements ${x}_{j,m}^{±}$  , ${h}_{j,s}$  , ${K}_{j}^{±1}$  , $m,s\in \mathbf{Z}$  , $s\ne 0$  . It is known that ${\mathbf{U}}_{{q}_{j}}\left({\stackrel{^}{\mathfrak{g}}}_{j}\right)$  is isomorphic to ${\mathbf{U}}_{{q}_{j}}\left({\stackrel{^}{\mathfrak{s}\mathfrak{l}}}_{2}\right)$  .
Proposition. Let $i\in I$  , $a\in {\mathbf{C}}^{×}$  , $V=V\left(\text{}\mathbit{\omega }{\text{}}_{i,a}\right)$  . Let $\text{}\mathbit{\varpi }{\text{}}^{\prime }\in wt\ell \left(V\right)$  satisfy the following:
$\mu =wt\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\in {P}^{+}$  , $\left({T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right){\right)}_{j}=\left(1-cu\right)\left(1-{c}^{\prime }u\right),$  for some ${c}^{\prime }\ne c{q}_{j}^{2}$  and $w\in {W}_{\mu }$  , $j\in I$  satisfying $\left(w\left(\mu \right)-{\alpha }_{j}\right)\in {P}^{+}$  . Set, $\text{}\mathbit{\varpi }\text{}={T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\left(\text{}\mathbit{\alpha }{\text{}}_{j,c}{\right)}^{-1}.$  Then $dim\left({V}_{\text{}\mathbit{\varpi }\text{}}\right)\ge dim\left({V}_{\text{}\mathbit{\varpi }{\text{}}^{\prime }}\right).$  Moreover, if $c={c}^{\prime }$  , then $dim\left({V}_{\text{}\mathbit{\varpi }\text{}}\right)\ge 2dim\left({V}_{\text{}\mathbit{\varpi }{\text{}}^{\prime }}\right).$
• Proof. First note that if $\mu =wt\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\in {P}^{+}$  then $\mu ={\omega }_{r}$  for some $r\le i$  , (see [4,Section1for instance).
Further, since $w\in W$  and $j\in I$  are such that $\ell \left({s}_{j}w\right)=\ell \left(w\right)+1$  it follows that $w{\omega }_{r}+{\alpha }_{j}/\in wt\left(V\right)$  .
Since $wt\left({T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)\right)=w{\omega }_{r}$  , it follows that ${x}_{j,m}^{+}{V}_{{T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)}=0,\forall m\in \mathbf{Z}.$  Choose a basis $\left\{{v}_{1},\cdots ,{v}_{p}\right\}$  of ${V}_{{T}_{w}\left(\text{}\mathbit{\varpi }{\text{}}^{\prime }\right)}$  such that ${\mathbf{U}}_{q}\left(0\right){v}_{m}\in {\sum }_{s\le m}\mathbf{C}\left(q\right){v}_{s}.$  Let ${U}_{m}={\mathbf{U}}_{{q}_{j}}\left({\stackrel{^}{\mathfrak{g}}}_{j}\right){v}_{m}$  . Then ${U}_{m}/{U}_{m-1}$  is an $\ell$  –highest weight module for ${\mathbf{U}}_{{q}_{j}}\left({\stackrel{^}{\mathfrak{g}}}_{j}\right){v}_{m}$  with highest weight $\left(1-cu\right)\left(1-{c}^{\prime }u\right)$  and hence by [4, [7there exists a unique (up to scalar multiple) non–zero element in the span of $\left\{{x}_{j,r}^{-}{v}_{m}:r\in \mathbf{Z}\right\}$  which is an eigenvector (modulo ${U}_{m-1}$  ) for the ${P}_{j,r}$  with eigenvalue ${\varpi }_{j}$  if $c\ne {c}^{\prime }$  and two linearly independent elements if $c={c}^{\prime }$  . Equation  1.3 of Theorem  1.7 (ii) now implies that such vectors are in ${V}_{\text{}\mathbit{\varpi }\text{}}$  and hence the proposition is proved.
Remark. It will actually follow from Theorem  2.3 and its proof that equality holds in Proposition  1.9 .

2 Closed Formulae for $q$  –characters

In this section we state the main theorem which gives closed formulas for the $\ell$  –weights $\text{}\mathbit{\varpi }\text{}$  with $wt\left(\text{}\mathbit{\varpi }\text{}\right)\in {P}^{+}$  of the fundamental representations of quantum affine algebras.

2.1

Assume that the Dynkin diagram of $\mathfrak{g}$  is labeled as in [1. Throughout this section we shall assume that we have fixed an integer $i$  such that
 $\begin{array}{cccc}1
 $\begin{array}{cccc}1\le i
 $\begin{array}{cccc}1
 $\begin{array}{}\end{array}$
Define a subset ${I}_{i}$  of $I$  by,
 $\begin{array}{cccc}{I}_{i}=& \left\{r:0\le r\le i\right\},& & \text{if}\mathfrak{g}={B}_{n},\end{array}$ (2.1)
 $\begin{array}{cccc}=& \left\{r:0\le r\le i,r\equiv imod2\right\},& & \text{if}\mathfrak{g}={C}_{n},{D}_{n}.\end{array}$ (2.2)
 $\begin{array}{}\end{array}$
¿From now on, given $r\in {I}_{i}$  , we shall denote by $M$  the greatest integer less than or equal to $\left(i-r\right)/2$  .

2.2

For $r\in {I}_{i}$  , let ${\mathbf{J}}_{k,r}$  be the set of partitions $r<{j}_{1}<{j}_{2}<\cdots <{j}_{k}\le n$  of length $k$  and satisfying
 $\begin{array}{cccc}{j}_{s}& \le n-i+r+2s-1,1\le s\le k,& & \text{if}\mathfrak{g}={C}_{n},\end{array}$
 $\begin{array}{cccc}{j}_{k}&
 $\begin{array}{}\end{array}$
Set
 $\begin{array}{cccc}{\mathbf{J}}_{r}& ={\mathbf{J}}_{M,r}& & \text{if}\mathfrak{g}={C}_{n},\end{array}$ (2.3)
 $\begin{array}{cccc}& ={\cup }_{0\le k\le M}{\mathbf{J}}_{k,r}& & \text{if}\mathfrak{g}={B}_{n},{D}_{n},\end{array}$ (2.4)
 $\begin{array}{}\end{array}$
where ${\mathbf{J}}_{0,r}$  consists of the empty partition.

2.3

Given $j\in I$  , $r\in {I}_{i}$  and an integer $2{d}_{1}s\in \mathbf{N}$  , define elements $\text{}\mathbit{\pi }{\text{}}_{r}\left(j,s\right)\in {\mathcal{P}}_{q}$  by $\text{}\mathbit{\pi }{\text{}}_{r}\left(j,s\right)=\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{i+j-2s-2r}}^{-1}\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{h-i-j+2s}},$  where $h$  is the dual Coxeter number of $\mathfrak{g}$  if $\mathfrak{g}$  is of type ${B}_{n}$  or ${D}_{n}$  and is twice the dual Coxeter number if $\mathfrak{g}$  is of type ${C}_{n}$  . Given $\mathbf{j}\in {\mathbf{J}}_{r}$  , set
 $\begin{array}{cccc}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)=& \text{}\mathbit{\omega }{{\text{}}_{r,{q}_{1}^{r-i}}}^{k}{\prod }_{s=1}\text{}\mathbit{\pi }{\text{}}_{r}\left({j}_{s}-1,s-1\right)\text{}\mathbit{\pi }{\text{}}_{r}^{-1}\left({j}_{s},s\right),& & \text{if either}\mathfrak{g}={C}_{n}\text{or}{j}_{k}<\overline{n},\end{array}$ (2.5)
 $\begin{array}{cccc}=& \text{}\mathbit{\omega }{\text{}}_{r,{q}_{1}^{r-i}}\left({}^{k-1}{\prod }_{s=1}\text{}\mathbit{\pi }{\text{}}_{r}\left({j}_{s}-1,s-1\right)\text{}\mathbit{\pi }{\text{}}_{r}^{-1}\left({j}_{s},s\right)\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(n-1,k-1\right)×& & \end{array}$ (2.6)
 $\begin{array}{cccc}& ×\text{}\mathbit{\pi }{\text{}}_{r}^{-1}\left(n,k-1/4\right),& & \text{if}\mathfrak{g}={B}_{n}\text{and}{j}_{k}=n,\end{array}$ (2.7)
 $\begin{array}{cccc}=& \text{}\mathbit{\omega }{\text{}}_{r,{q}^{r-i}}\left({}^{k}{\prod }_{s=1}\text{}\mathbit{\pi }{\text{}}_{r}\left({j}_{s}-1,s-1\right)\text{}\mathbit{\pi }{\text{}}_{r}^{-1}\left({j}_{s},s\right)\right)\text{}\mathbit{\pi }{\text{}}_{r}^{-1}\left(n,k+1/2\right),& & \text{if}\mathfrak{g}={D}_{n}\text{and}{j}_{k}=n-1.\end{array}$ (2.8)
 $\begin{array}{}\end{array}$
where $\overline{n}=n$  (resp. $\overline{n}=n-1$  ) if $\mathfrak{g}={B}_{n}$  (resp. if $\mathfrak{g}={D}_{n}$  ). We understand that if $\mathbf{j}$  is the empty partition, then $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)=\text{}\mathbit{\omega }{\text{}}_{r,{q}_{1}^{r-i}}$  and, if $r=0$  , that $\text{}\mathbit{\omega }{\text{}}_{0,a}=1$  and ${\omega }_{0}=0$  .
If $\mathfrak{g}$  is of type ${B}_{n}$  , define $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)\in {\mathcal{P}}_{q}$  by
 $\begin{array}{cccc}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)=& \text{}\mathbit{\omega }{\text{}}_{n,{q}^{2\left(n-i+2k\right)-1}}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{2\left(n+i-2k-2r\right)-1}}^{-1},& & \text{if}k\ne M\text{and}{j}_{k}\ne n,\end{array}$ (2.9)
 $\begin{array}{cccc}=& 1,& & \text{otherwise}.\end{array}$ (2.10)
 $\begin{array}{}\end{array}$
If $\mathfrak{g}$  is of type ${D}_{n}$  , define elements $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)\in {\mathcal{P}}_{q}$  by
 $\begin{array}{cc}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},+\right)& =\text{}\mathbit{\omega }{\text{}}_{n,{q}^{n-i+2k-1}}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{n+i-2r-2k-1}}^{-1},\end{array}$
 $\begin{array}{cc}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},-\right)& =\text{}\mathbit{\omega }{\text{}}_{n-1,{q}^{n-i+2k-1}}\text{}\mathbit{\omega }{\text{}}_{n-1,{q}^{n+i-2r-2k-1}}^{-1}.\end{array}$
 $\begin{array}{}\end{array}$
Theorem. Let $V=V\left(\text{}\mathbit{\omega }{\text{}}_{i,1}\right)$  .
• (i) If $\mathfrak{g}$  is of type ${C}_{n}$  , the assignment ${\mathbf{J}}_{r}\to {\mathcal{P}}_{q}$  defined by $\mathbf{j}\mathbf{↦}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)$  is injective and the image is $wt\ell \left({V}_{{\omega }_{r}}\right)$  . In particular, $ch\ell \left(V\right)={\sum }_{r\in {I}_{i}}{\sum }_{w\in {W}_{{\omega }_{r}}}{\sum }_{\mathbf{j}\in {\mathbf{J}}_{r}}{T}_{w}\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\right).$
• (ii) If $\mathfrak{g}$  is of type ${B}_{n}$  , the assignment ${\mathbf{J}}_{r}\to {\mathcal{P}}_{q}$  defined by $\mathbf{j}\mathbf{↦}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)$  is injective and the image is $wt\ell \left({V}_{{\omega }_{r}}\right)$  . In particular, $ch\ell \left(V\right)={\sum }_{r\in {I}_{i}}{\sum }_{w\in {W}_{{\omega }_{r}}}{\sum }_{\mathbf{j}\in {\mathbf{J}}_{r}}{T}_{w}\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)\right).$
• (iii) If $\mathfrak{g}$  is of type ${D}_{n}$  , then $wt\ell \left({V}_{{\omega }_{r}}\right)=\left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right):\mathbf{j}\in {\mathbf{J}}_{k,r},0\le k  Moreover $ch\ell \left(V\right)={\sum }_{r\in {I}_{i}}{\sum }_{w\in {W}_{{\omega }_{r}}}\left({\sum }_{\mathbf{j}\in {\mathbf{J}}_{r}\{J}_{M,r}}\left({T}_{w}\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},+\right)\right)+{T}_{w}\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},-\right)\right)\right)+{\sum }_{\mathbf{j}\in {\mathbf{J}}_{M,r}}{T}_{w}\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\right)\right).$
We prove the theorem in the next three sections using Theorem  1.7 in an inductive way.

3 The Case of ${C}_{n}$

3.1

Observe that the set ${\mathbf{J}}_{r}$  depends on $n,i,r$  and it will be necessary for the proofs to write ${\mathbf{J}}_{r}$  as ${\mathbf{J}}_{r}\left(i\right)$  .
Notice moreover that
 $\begin{array}{c}\left({j}_{1},\cdots ,{j}_{M}\right)\in {\mathbf{J}}_{r}\left(i\right)⇔\left({j}_{2},\cdots ,{j}_{M}\right)\in {\mathbf{J}}_{{j}_{1}}\left(i-r+{j}_{1}-2\right),\end{array}$ (3.1)
and also that
 $\begin{array}{c}\left({j}_{1},\cdots ,{j}_{M-1}\right)\in {\mathbf{J}}_{r+2}\left(i\right)⇔\left({j}_{1}-2,{j}_{2}-2,\cdots {j}_{M-1}-2,{j}_{M}\right)\in {\mathbf{J}}_{r}\left(i\right)\forall {j}_{M-1}-2<{j}_{M} (3.2)
Lemma. We have $|{\mathbf{J}}_{r}\left(i\right)|=\left(\genfrac{}{}{0}{}{n-r}{M}\right)-\left(\genfrac{}{}{0}{}{n-r}{M-1}\right)=dimV\left({\omega }_{i}{\right)}_{{\omega }_{r}}.$
• Proof. It suffices to prove the first equality, the second being well–known (see [8for instance). If $M=0,1$  the result clearly holds for all $n\in \mathbf{N}$  and $1\le i\le n$  . Assume now that we know the result for all ${M}^{\prime }  , $n\in \mathbf{N}$  , and $1\le i\le n$  . By  3.1 we get, $|{\mathbf{J}}_{r}\left(i\right)|={\sum }_{j=r+1}^{n-2M+1}|{\mathbf{J}}_{{j}_{1}}\left(i-r+{j}_{1}-2\right)|={\sum }_{j=r+1}^{n-2M+1}\left(\left(\genfrac{}{}{0}{}{n-j}{M-1}\right)-\left(\genfrac{}{}{0}{}{n-j}{M-2}\right)\right),$  where in the last equality we used the induction hypothesis. The identity $\left(\genfrac{}{}{0}{}{m}{l}\right)=\left(\genfrac{}{}{0}{}{m-1}{l}\right)+\left(\genfrac{}{}{0}{}{m-1}{l-1}\right),1\le l\le m-1,$  now gives the result.

3.2

Lemma. The map $\mathbf{j}\mathbf{↦}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)$  from ${\mathbf{J}}_{r}\left(i\right)\to {\mathcal{P}}_{q}$  is injective.
• Proof. We proceed by induction on $M$  . Suppose that $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right)$  for some $\mathbf{j},{\mathbf{j}}^{\prime }\in {\mathbf{J}}_{r}\left(i\right)$  . Writing $\mathbf{j}=\left({j}_{1},\cdots ,{j}_{M}\right)$  and ${\mathbf{j}}^{\prime }=\left({j}_{1}^{\prime },\cdots ,{j}_{M}^{\prime }\right)$  and comparing the $\left({j}_{1}-1{\right)}^{th}$  entries in $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)$  and $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right)$  we find that ${j}_{1}={j}_{1}^{\prime }$  . This proves that induction starts at $M=1$  . The inductive step follows by  3.1 .

3.3

For $r>1$  and $r-1\le j  define elements ${w}_{r,j}\in W$  and ${T}_{r,j}\in \mathcal{ℬ}\left(\mathfrak{g}\right)$  by
 $\begin{array}{cc}{w}_{r,j}& ={s}_{j-1}{s}_{j-2}\cdots {s}_{r-1}{s}_{j+1}{s}_{j+2}\cdots {s}_{n-1}{s}_{n}\cdots {s}_{r},\end{array}$
 $\begin{array}{cc}{T}_{r,j}& ={T}_{{w}_{r,j}}.\end{array}$
 $\begin{array}{}\end{array}$
It is not hard to check (see [10for instance) that ${w}_{r,j}\in {W}_{{\omega }_{r}}$  .
The next proposition is a straightforward if a somewhat tedious computation.
Proposition.
• (i) For all $r\in I$  , and $r-1\le j  , we have ${w}_{r,j}{\omega }_{r}={\omega }_{r-2}+{\alpha }_{j}.$
• (ii)  $\begin{array}{c}{T}_{r,j}\left(\text{}\mathbit{\omega }{\text{}}_{l,a}\right)=\left\{\begin{array}{cc}\text{}\mathbit{\omega }{\text{}}_{l-2,a{q}^{2}}\text{}\mathbit{\omega }{\text{}}_{j-1,a{q}^{j-l+3}}^{-1}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{j-l+2}}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{2n-j-l+2}}\text{}\mathbit{\omega }{\text{}}_{j+1,a{q}^{2n-j-l+3}}^{-1},& \text{if}r\le l\le j,\\ \text{}\mathbit{\omega }{\text{}}_{l,a{q}^{2}}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{l-j}}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{2n-j-l+2}}\text{}\mathbit{\omega }{\text{}}_{j+1,a{q}^{l-j+1}}^{-1}\text{}\mathbit{\omega }{\text{}}_{j+1,a{q}^{2n-j-l+3}}^{-1},& \text{if}l>j.\end{array}\end{array}$ (3.3)

3.4

Part (i) of Theorem  2.3 now follows from Lemma  3.2 and the next proposition.
Proposition. We have
 $\begin{array}{c}wt\ell \left({V}_{{\omega }_{r}}\right)=\left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right):\mathbf{j}\in {\mathbf{J}}_{r}\right\},\end{array}$ (3.4)
and
 $\begin{array}{c}dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)}=1\text{for all}\mathbf{j}\in {\mathbf{J}}_{r}.\end{array}$ (3.5)
• Proof. Recall from[5that $V\sim =V\left({\omega }_{i}\right)$  as ${U}_{q}\left(\mathfrak{g}\right)$  -modules. It suffices to prove that,  $\begin{array}{c}\left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right):\mathbf{j}\in {\mathbf{J}}_{r}\right\}\subset wt\ell \left({V}_{{\omega }_{r}}\right),\end{array}$ (3.6)
since Lemma  3.1 and Lemma  3.2 then imply both  3.4 and  3.5 .
To prove  3.6 we proceed by induction on $M$  with induction beginning at $M=0$  . Assume that we know the result for $M-1$  . To prove the inductive step it follows from  3.2 that if $\mathbf{j}=\left({\mathbf{j}}_{1},\cdots ,{\mathbf{j}}_{M}\right)\in {\mathbf{J}}_{r}$  then ${\mathbf{j}}^{\prime }=\left({\mathbf{j}}_{1}+2,\cdots ,{\mathbf{j}}_{M-1}+2\right)\in {\mathbf{J}}_{r+2}$  . The induction hypothesis implies that $\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\in wt\ell \left(V\right)$  and hence by Theorem  1.7 we see that ${T}_{r+2,j}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\right)\in wt\ell \left(V\right)$  for all $r  .
Using Proposition  3.3 (ii) we find that ${T}_{r+2,j}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\alpha }{\text{}}_{j,{q}^{2n+i-j-2r-2M}},$  and also that the ${j}^{th}$  –coordinate of ${T}_{r+2,j}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\right)$  is $\left(1-{q}^{i+j-2r-2M}u\right)\left(1-{q}^{2n+i-j-2r-2M}u\right).$  Hence by Theorem  1.7 (ii) we see that $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)={T}_{r+2,j}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\right)\text{}\mathbit{\alpha }{\text{}}_{j,{q}^{2n+i-j-2r-2M}}^{-1}\in wt\ell \left({V}_{{\omega }_{r}}\right).$

4 The Case of ${B}_{n}$  .

4.1

Lemma. We have $|{\mathbf{J}}_{r}|={\sum }_{k=0}^{M}\left(\genfrac{}{}{0}{}{n-r}{k}\right)=dim{V}_{{\omega }_{r}}.$
• Proof. The first equality is clear. For the second, recall that it was proved in [5that $V\sim =\text{}{\oplus }_{\text{}l=0\text{}}^{\text{}\left[i/2\right]\text{}}\text{}V\left({\omega }_{i-2l}\right)$  as ${U}_{q}\left(\mathfrak{g}\right)$  -modules. Since $dimV\left({\omega }_{j}{\right)}_{{\omega }_{r}}=\left(\genfrac{}{}{0}{}{n-r}{\left[\frac{j-r}{2}\right]}\right),j  it follows that $dim{V}_{{\omega }_{r}}={\sum }_{l=0}^{M}\left(\genfrac{}{}{0}{}{n-r}{\left[\frac{i-2l-r}{2}\right]}\right)={\sum }_{k=0}^{M}\left(\genfrac{}{}{0}{}{n-r}{k}\right).$

4.2

Lemma. The map $\mathbf{j}\mathbf{↦}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)$  from ${\mathbf{J}}_{r}$  to ${\mathcal{P}}_{q}$  is injective.
• Proof. Suppose that $0\le k,{k}^{\prime }\le M$  , $\mathbf{j},{\mathbf{j}}^{\prime }\in {\mathbf{J}}_{r}$  , $\mathbf{j}=\left({j}_{1},\cdots ,{j}_{k}\right)$  , ${\mathbf{j}}^{\prime }=\left({j}_{1}^{\prime },\cdots ,{j}_{{k}^{\prime }}^{\prime }\right)$  are such that  $\begin{array}{c}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime },*\right).\end{array}$ (4.1)
We first show that $k={k}^{\prime }$  . For this, notice that for any ${\mathbf{j}}^{\prime \prime }=\left({j}_{1}^{\prime \prime },\cdots ,{j}_{{k}^{\prime \prime }}^{\prime \prime }\right)\in {\mathbf{J}}_{r}$  we have $\left(\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime \prime }\right)\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime \prime },*\right){\right)}_{n}=1⟺{k}^{\prime \prime }=M\text{and}{j}_{{k}^{\prime \prime }}^{\prime \prime }  Hence, $\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right){\right)}_{n}=1$  implies $k={k}^{\prime }=M$  . Otherwise, the equation $\left(\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right){\right)}_{n}=\left(\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime },*\right){\right)}_{n}$  gives that either ${j}_{k},{j}_{{k}^{\prime }}^{\prime }  or ${j}_{k}={j}_{{k}^{\prime }}^{\prime }=n$  . In the first case we get $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*{\right)}_{n}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime },*{\right)}_{n}$  and in the second case we get $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{n}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }{\right)}_{n}$  . In any case it follows that $k={k}^{\prime }$  .
Now, suppose $\mathbf{j}\ne {\mathbf{j}}^{\prime }$  and let $1\le {s}_{0}\le n$  be minimal such that ${j}_{{s}_{0}}\ne {j}_{{s}_{0}}^{\prime }$  . Assume without loss of generality that ${j}_{{s}_{0}}^{\prime }>{j}_{{s}_{0}}$  . This means that ${j}_{{s}_{0}-1}^{\prime }={j}_{{s}_{0}-1}<{j}_{{s}_{0}}^{\prime }-1$  and hence  $\begin{array}{c}\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }{\right)}_{{j}_{{s}_{0}}^{\prime }-1}=\left(1-{q}_{1}^{2n-i-{j}_{{s}_{0}}^{\prime }+2{s}_{0}-2}u\right)\left(1-{q}_{1}^{i+{j}_{{s}_{0}}^{\prime }-2{s}_{0}-2r+1}u{\right)}^{-1}\ne 1.\end{array}$ (4.2)
We claim now that there exists ${s}_{1}\ge {s}_{0}$  such that ${j}_{{s}_{1}}={j}_{{s}_{0}}^{\prime }-1$  . Assuming the claim, we get a contradiction to the fact that $\mathbf{j}\ne {\mathbf{j}}^{\prime }$  as follows. Since $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }{\right)}_{{j}_{{s}_{0}}^{\prime }-1}=\left(1-{q}_{1}^{i+{j}_{{s}_{0}}^{\prime }-2{s}_{1}-2r-1}u\right)\left(1-{q}_{1}^{2n-i-{j}_{{s}_{0}}^{\prime }+2{s}_{1}}u{\right)}^{-1}=\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{j}_{{s}_{1}}},$  comparing with  4.2 gives $2n-i-{j}_{{s}_{0}}^{\prime }+2{s}_{0}-2=i+{j}_{{s}_{0}}^{\prime }-2{s}_{1}-2r-1,$  which is obviously impossible. To prove the claim, set ${s}_{1}=max\left\{1\le s\le k:{j}_{s}<{j}_{{s}_{0}}^{\prime }\right\}.$  The claim follows if we prove that ${j}_{{s}_{1}+1}>{j}_{{s}_{0}}^{\prime }$  . The maximality of ${s}_{1}$  implies that ${j}_{{s}_{1}+1}\ge {j}_{{s}_{0}}^{\prime }$  and hence it suffices to prove that ${j}_{{s}_{1}+1}\ne {j}_{{s}_{0}}^{\prime }$  . If ${j}_{{s}_{1}+1}={j}_{{s}_{0}}^{\prime }$  then the same argument that gave  4.2 gives, $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{j}_{{s}_{1}+1}-1}=\left(1-{q}_{1}^{2n-i-{j}_{{s}_{1}+1}+2\left({s}_{1}+1\right)-2}u\right)\left(1-{q}_{1}^{i+{j}_{{s}_{1}+1}^{\prime }-2\left({s}_{1}+1{\right)}_{-}2r+1}u{\right)}^{-1}\ne 1,$  which implies that ${s}_{1}+1={s}_{0}$  contradicting ${s}_{1}\ge {s}_{0}$  .

4.3

For $r>0$  and $r\le j  define elements ${w}_{r,j}\in {W}_{{\omega }_{r}}$  by,
 $\begin{array}{cc}{w}_{r+1,j}& ={s}_{j-1}{s}_{j-2}\cdots {s}_{r}{s}_{j+1}{s}_{j+2}\cdots {s}_{n-1}{s}_{n}\cdots {s}_{r+1},\end{array}$
 $\begin{array}{cc}{w}_{r,n}& ={s}_{n-1}\cdots {s}_{r},\end{array}$
 $\begin{array}{cc}{T}_{r,j}& ={T}_{{w}_{r,j}}.\end{array}$
 $\begin{array}{}\end{array}$
The proof of the next proposition is along the same lines as the proof of Proposition  3.3 and we omit the details.
Proposition.
• (i) For all $r\in I\\left\{n\right\}$  and $r-1\le j  we have ${w}_{r,j}{\omega }_{r}={\omega }_{r-2}+{\alpha }_{j}\text{and}{w}_{r,n}{\omega }_{r}={\omega }_{r-1}+{\alpha }_{n}.$
• (ii) For $r-1\le j  and $r\le l  we have:
 $\begin{array}{cc}{T}_{r,j}\left(\text{}\mathbit{\omega }{\text{}}_{l,1}\right)=\left\{\begin{array}{cc}\text{}\mathbit{\omega }{\text{}}_{l-2,{q}_{1}^{2}}\text{}\mathbit{\omega }{\text{}}_{j-1,{q}_{1}^{j-l+3}}^{-1}\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{j-l+2}}\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{2n-j-l-1}}\text{}\mathbit{\omega }{\text{}}_{j+1,{q}_{1}^{2n-j-l}}^{-1},& \text{if}l\le j,\\ \text{}\mathbit{\omega }{\text{}}_{l,{q}_{1}^{2}}\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{l-j}}\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{2n-j-l-1}}\text{}\mathbit{\omega }{\text{}}_{j+1,{q}_{1}^{l-j+1}}^{-1}\text{}\mathbit{\omega }{\text{}}_{j+1,{q}_{1}^{2n-j-l}}^{-1},& \text{if}l>j.\end{array}& \end{array}$ (4.3)
 $\begin{array}{}\end{array}$
Further,
 $\begin{array}{cc}{T}_{r,j}\left(\text{}\mathbit{\omega }{\text{}}_{n,{q}^{-1}}\right)& =\text{}\mathbit{\omega }{\text{}}_{j,{q}_{1}^{n-j-1}}\text{}\mathbit{\omega }{\text{}}_{j+1,{q}_{1}^{n-j}}^{-1}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{3}},\end{array}$
 $\begin{array}{cc}{T}_{r,n-1}\left(\text{}\mathbit{\omega }{\text{}}_{l,1}\right)& =\text{}\mathbit{\omega }{\text{}}_{l-2,{q}_{1}^{2}}\text{}\mathbit{\omega }{\text{}}_{n-2,{q}_{1}^{n-l+2}}^{-1}\text{}\mathbit{\omega }{\text{}}_{n-1,{q}_{1}^{n-l+1}}\text{}\mathbit{\omega }{\text{}}_{n-1,{q}_{1}^{n-l}}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{2\left(n-l\right)+1}}^{-1}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{2\left(n-l\right)+3}}^{-1},\end{array}$ (4.4)
 $\begin{array}{cc}{T}_{r,n-1}\left(\text{}\mathbit{\omega }{\text{}}_{n,{q}^{-1}}\right)& =\text{}\mathbit{\omega }{\text{}}_{n-1,1}\text{}\mathbit{\omega }{\text{}}_{n,q}^{-1},\end{array}$
 $\begin{array}{cc}{T}_{r,n}\left(\text{}\mathbit{\omega }{\text{}}_{l,1}\right)=& \text{}\mathbit{\omega }{\text{}}_{l-1,{q}_{1}}\text{}\mathbit{\omega }{\text{}}_{n-1,{q}_{1}^{n-l+1}}^{-1}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{2\left(n-l\right)-1}}\text{}\mathbit{\omega }{\text{}}_{n,{q}^{2\left(n-l\right)+1}}.\end{array}$
 $\begin{array}{}\end{array}$

4.4

To prove Theorem  2.3 (ii) we proceed by induction on $M$  . Induction clearly begins when $M=0$  .
The inductive step is immediate from the following proposition, Lemma  4.1 , and Lemma  4.2 .
Proposition. Assume that $M>0$  and let $\mathbf{j}=\left({j}_{1},\cdots ,{j}_{k}\right)\in {\mathbf{J}}_{r}$  .
• (i) If $k  and ${j}_{k}  we have: $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)={T}_{r+1,n}\left(\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime },*\right)\right)\text{}\mathbit{\alpha }{\text{}}_{n,a}^{-1}\in wt\ell \left({V}_{{\omega }_{r}}\right),$  where ${\mathbf{j}}^{\prime }=\left({j}_{1}+1,\cdots ,{j}_{k}+1\right)\in {\mathbf{J}}_{r+1}$  and $a={q}^{2\left(n+i-2r-2k\right)-3}$  .
• (ii) If ${j}_{k}=n$  , we have $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)={T}_{r+1,n}\left(\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime },*\right)\right)\text{}\mathbit{\alpha }{\text{}}_{n,a}^{-1}\in wt\ell \left({V}_{{\omega }_{r}}\right),$  where ${\mathbf{j}}^{\prime }=\left({j}_{1}+1,\cdots ,{j}_{k-1}+1\right)\in {\mathbf{J}}_{r+1}$  and $a={q}^{2\left(n-i+2k\right)-5}$  .
• (iii) If $k=M$  and ${j}_{k}  , then $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)={T}_{r+2,j}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },*\right)\right)\text{}\mathbit{\alpha }{\text{}}_{j,a}^{-1}\in wt\ell \left({V}_{{\omega }_{r}}\right),$  where ${\mathbf{j}}^{\prime }=\left({j}_{1}+2,\cdots ,{j}_{k-1}+2\right)\in {\mathbf{J}}_{r+2}$  , $a={q}_{1}^{2n-j-r-3}$  , and $j={j}_{k}$  .
• Proof. Observe first that it is clear that the elements ${\mathbf{j}}^{\prime }$  defined in the proposition are in ${\mathbf{J}}_{r+1}$  in the first two cases and in ${\mathbf{J}}_{r+2}$  in the third case. The fact that $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)$  and $\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime },*\right)$  (resp.
$\text{}\mathbit{\pi }{\text{}}_{r+2}^{\prime }\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },*\right)\right)$  are related as in the proposition is again a tedious but simple checking using the formulas in Proposition  4.3 (ii). The main point is to notice that this implies $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},*\right)\in wt\ell \left({V}_{{\omega }_{r}}\right)$  .
For that, one observes that the calculation gives respectively:
 $\begin{array}{cc}\left(i\right)\left({T}_{r+1,n}\left(\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime }\right)& \text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime },*\right)\right){\right)}_{n}=\end{array}$
 $\begin{array}{cc}=& \left(1-{q}^{2\left(n+i-2r-2k\right)-3}u\right)\left(1-{q}^{2\left(n-i+2k\right)-1}u\right),\text{if}{j}_{k}=n-1\text{or}k
 $\begin{array}{cc}=& \left(1-{q}^{2\left(n+i-2r-2k\right)-3}u\right)\left(1-{q}^{2\left(n+i-2r-2k\right)-5}u\right)\text{if}{j}_{k}
 $\begin{array}{}\end{array}$
• (ii) $\left({T}_{r+1,n}\left(\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+1}\left({\mathbf{j}}^{\prime },*\right)\right){\right)}_{n}=\left(1-{q}^{2\left(n-i+2k\right)-5}u\right)\left(1-{q}^{2\left(n+i-2r-2k\right)+1}u\right)$  .
• (iii) $\left({T}_{r+2,j}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },*\right)\right){\right)}_{j}=\left(1-{q}_{1}^{j-r}u\right)\left(1-{q}_{1}^{2n-j-r-3}u\right)$  .
The result then follows from Theorem  1.7 .

5 The Case of ${D}_{n}$

5.1

Lemma. We have:
$|{\mathbf{J}}_{M,r}|+2{\sum }_{k=0}^{M-1}|{\mathbf{J}}_{k,r}|={\sum }_{l=0}^{M}\left(\genfrac{}{}{0}{}{n-r}{l}\right)=dim{V}_{{\omega }_{r}}.$
• Proof. It follows from the definition of ${\mathbf{J}}_{k,r}$  that $|{\mathbf{J}}_{k,r}|=\left(\genfrac{}{}{0}{}{n-r-1}{k}\right),$  and hence to prove the the first equality we must show that ${\sum }_{l=0}^{M}\left(\genfrac{}{}{0}{}{n-r}{l}\right)=\left(\genfrac{}{}{0}{}{n-r-1}{M}\right)+2{\sum }_{k=0}^{M-1}\left(\genfrac{}{}{0}{}{n-r-1}{k}\right).$  Using the binomial identity $\left(\genfrac{}{}{0}{}{n-r}{l}\right)=\left(\genfrac{}{}{0}{}{n-r-1}{l}\right)+\left(\genfrac{}{}{0}{}{n-r-1}{l-1}\right),$  we find that
 $\begin{array}{cc}{\sum }_{l=0}^{M}\left(\genfrac{}{}{0}{}{n-r}{l}\right)& =1+{\sum }_{l=1}^{M}\left(\left(\genfrac{}{}{0}{}{n-r-1}{l}\right)+\left(\genfrac{}{}{0}{}{n-r-1}{l-1}\right)\right)\end{array}$
 $\begin{array}{cc}& =1+\left(\genfrac{}{}{0}{}{n-r-1}{M}\right)+{\sum }_{l=1}^{M-1}\left(\genfrac{}{}{0}{}{n-r-1}{l}\right)+{\sum }_{l=0}^{M-1}\left(\genfrac{}{}{0}{}{n-r-1}{l}\right)\end{array}$
 $\begin{array}{cc}& =\left(\genfrac{}{}{0}{}{n-r-1}{M}\right)+2{\sum }_{l=0}^{M-1}\left(\genfrac{}{}{0}{}{n-r-1}{l}\right).\end{array}$
 $\begin{array}{}\end{array}$
For the second equality, recall that it was proved in [5that as ${U}_{q}\left(\mathfrak{g}\right)$  -modules $V\sim =\text{}{\oplus }_{\text{}l=0\text{}}^{\text{}\left[i/2\right]\text{}}\text{}V\left({\omega }_{i-2l}\right).$  The result now follows since $dimV\left({\omega }_{j}{\right)}_{{\omega }_{r}}=\left(\genfrac{}{}{0}{}{n-r}{\left(j-r\right)/2}\right),1\le j\le n-2.$

5.2

Given $r>1$  and $r-1\le j\le n$  , define elements ${w}_{r,j}\in {W}_{{\omega }_{r}}$  by,
 $\begin{array}{cc}{w}_{r,j}& ={s}_{j-1}{s}_{j-2}\cdots {s}_{r-1}{s}_{j+1}\cdots {s}_{n-2}{s}_{n}{s}_{n-1}\cdots {s}_{r},j\le n-2,\end{array}$
 $\begin{array}{cc}& ={s}_{n-2}\cdots {s}_{r-1}{s}_{{j}^{\prime }}{s}_{n-2}\cdots {s}_{r},j,{j}^{\prime }\in \left\{n-1,n\right\},{j}^{\prime }\ne j,\end{array}$
 $\begin{array}{cc}{T}_{r,j}& ={T}_{{w}_{r,j}}.\end{array}$
 $\begin{array}{}\end{array}$
Proposition. For all $1  and $r-1\le j\le n$  we have:
• (i) ${w}_{r,j}{\omega }_{r}={\omega }_{r-2}+{\alpha }_{j}$  .
• (ii)
 $\begin{array}{cc}{T}_{r,j}\left(\text{}\mathbit{\omega }{\text{}}_{l,a}\right)=\left\{\begin{array}{cc}\text{}\mathbit{\omega }{\text{}}_{l,a{q}^{2}}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{l-j}}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{2n-l-2-j}}\text{}\mathbit{\omega }{\text{}}_{j+1,a{q}^{l-j+1}}^{-1}\text{}\mathbit{\omega }{\text{}}_{j+1,a{q}^{2n-l-j-1}}^{-1},& \text{if}j (5.1)
 $\begin{array}{}\end{array}$
if $1\le l\le n-2$  and
 $\begin{array}{cc}{T}_{r,j}\left(\text{}\mathbit{\omega }{\text{}}_{l,a}\right)=\left\{\begin{array}{cc}\text{}\mathbit{\omega }{\text{}}_{j,a{q}^{n-1-j}}\text{}\mathbit{\omega }{\text{}}_{j+1,a{q}^{n-j}}^{-1}\text{}\mathbit{\omega }{\text{}}_{{l}^{\prime },a{q}^{2}},& \text{if}j (5.2)
 $\begin{array}{}\end{array}$
if $l=n-1,n$  , where ${l}^{\prime }\in \left\{n-1,n\right\}\\left\{l\right\}$  .

5.3

The next proposition is proved in a similar manner to the corresponding one for ${B}_{n}$  and ${C}_{n}$  . We omit the details this time.
Proposition. For $M\ge 0$  , we have $\left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right):\mathbf{j}\in {\mathbf{J}}_{M,r}\right\}\cup \left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right):\mathbf{j}\in {\mathbf{J}}_{k,r},0\le k

5.4

To complete the proof of Theorem  2.3 (iii), we must prove that in fact $\left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right):\mathbf{j}\in {\mathbf{J}}_{M,r}\right\}\cup \left\{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right):\mathbf{j}\in {\mathbf{J}}_{k,r},0\le k  For ${D}_{n}$  this is more difficult, since it is no longer true that the maps $\mathbf{j}\mathbf{↦}\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)$  are injective.
The next lemma is a simple checking.
Lemma. Let $\mathbf{j}\in {\mathbf{J}}_{k,r}$  and ${\mathbf{j}}^{\prime }\in {\mathbf{J}}_{{k}^{\prime },r}$  .
• (i) We have $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime },±\right)$  iff $k={k}^{\prime }$  . Moreover, if $k=M$  , then $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)=1.$
• (ii) If $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},+\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime },±\right)$  , then $k={k}^{\prime }$  . Moreover, if $k={k}^{\prime }  , then $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},+\right)\ne \text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime },-\right)$  .

5.5

Define an equivalence relation $\sim$  on ${\mathbf{J}}_{k,r}$  by $\mathbf{j}\sim {\mathbf{j}}^{\prime }⟺\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{\prime }\right).$  Let $\overline{\mathbf{j}}$  be the equivalence class of $\mathbf{j}$  .
Proposition. Let $\mathbf{j}\in {\mathbf{J}}_{k,r}$  . Then $dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)}\ge |\overline{\mathbf{j}}|.$
Assuming this proposition the proof of Theorem  2.3 (iii) is completed as follows. For each $0\le k\le M$  , fix a set ${\mathbf{S}}_{k,r}\subset {\mathbf{J}}_{k,r}$  of representatives of the distinct equivalence classes with respect to $\sim$  . Proposition  5.5 and Lemma  5.4 imply that
 $\begin{array}{cc}{\sum }_{\mathbf{j}\in {\mathbf{S}}_{M,r}}dim\left({V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)}\right)& +{\sum }_{k=0}^{M-1}{\sum }_{\mathbf{j}\in {\mathbf{S}}_{k,r}}\left(dim\left({V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},+\right)}\right)+dim\left({V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},-\right)}\right)\right)\ge \end{array}$
 $\begin{array}{cc}& {\sum }_{\mathbf{j}\in {\mathbf{S}}_{M,r}}|\overline{\mathbf{j}}|+2{\sum }_{k=0}^{M-1}{\sum }_{\mathbf{j}\in {\mathbf{S}}_{k,r}}|\overline{\mathbf{j}}|=|{\mathbf{J}}_{M,r}|+2{\sum }_{k=0}^{M-1}|{\mathbf{J}}_{k,r}|.\end{array}$
 $\begin{array}{}\end{array}$
Since ${V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)}\subset {V}_{{\omega }_{r}}$  it follows from Lemma 5.1 that ${V}_{{\omega }_{r}}=\left({\oplus }_{\mathbf{j}\in {\mathbf{S}}_{M,r}}\left({V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)}\right)\right)\oplus \left({}^{M-1}{\oplus }_{k=0}{\oplus }_{\mathbf{j}\in {\mathbf{S}}_{k,r}}\left({V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},+\right)}\oplus {V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},-\right)}\right)\right),$  which proves Theorem  2.3 (iii).

5.6

It remains to prove Proposition  5.5 . This requires some combinatorial definitions and results which we now establish and which allow us to actually compute $|\overline{\mathbf{j}}|$  in terms of $\mathbf{j}\in {\mathbf{J}}_{k,r}$  . Thus we shall see that
 $\begin{array}{c}|\overline{\mathbf{j}}|={2}^{{M}_{\mathbf{j}}},\end{array}$ (5.3)
where ${M}_{\mathbf{j}}=|\left\{s:1\le s\le k,{j}_{s}\in \left\{n-i+r+2s-2,n-i+r+2s-1\right\}\right\}|.$

5.7

Recall that a strictly increasing partition $\mathbf{n}$  of positive integers of length $k$  is an increasing sequence $0<{j}_{1}<{j}_{2}<\cdots <{j}_{k}$  of natural numbers. Let $supp\left(\mathbf{n}\right)=\left\{{j}_{s}:1\le s\le k\right\},$  and let ${\iota }_{\mathbf{n}}:supp\left(\mathbf{n}\right)\to \mathbf{N}$  be defined by ${\iota }_{\mathbf{n}}\left(j\right)=s$  , if $j={j}_{s}$  for $1\le s\le k$  . Clearly any finite subset of $\mathbf{N}$  defines a strictly increasing partition.
Given a finite subset $S\subset \mathbf{N}$  and a partition $\mathbf{n}$  of length $k$  , let ${\mathbf{n}}_{S}$  be the partition corresponding to the set, $\left(supp\left(\mathbf{n}\right)\S\right)\cup \left(S\supp\left(\mathbf{n}\right)\right).$  Clearly, ${\mathbf{n}}_{S}\ne {\mathbf{n}}_{{S}^{\prime }}\text{if}S\ne {S}^{\prime },$  and
 $\begin{array}{c}\left({\mathbf{n}}_{S}{\right)}_{S}=\mathbf{n},\left({\mathbf{n}}_{S}{\right)}_{{S}^{\prime }}=\left({\mathbf{n}}_{{S}^{\prime }}{\right)}_{S}=\left(\mathbf{n}{\right)}_{S\cup {S}^{\prime }},\text{if}S\cap {S}^{\prime }=\varnothing .\end{array}$ (5.4)
We shall adopt the convention that if $k,{k}^{\prime }\in \mathbf{Z}$  , then $\left[k,{k}^{\prime }\right]=\left\{min\left\{k,{k}^{\prime }\right\},min\left\{k,{k}^{\prime }\right\}+1,\cdots ,max\left\{k,{k}^{\prime }\right\}\right\}$  .
Define also $\left(k,{k}^{\prime }\right]$  and $\left[{k}^{\prime },k\right)$  in the obvious way.
Associated with a partition $\mathbf{n}$  , define functions ${\sigma }_{\mathbf{n}}^{±},{\tau }_{\mathbf{n}}^{±}:supp\left(\mathbf{n}\right)\to \mathbf{N}$  by,
 $\begin{array}{cc}{\sigma }_{\mathbf{n}}^{+}\left(j\right)& =max\left\{{j}^{\prime }\in supp\left(\mathbf{j}\right):{j}^{\prime }\ge j\text{and}{j}^{\prime \prime }-j<2\left({\iota }_{\mathbf{n}}\left({j}^{\prime \prime }\right)-{\iota }_{\mathbf{n}}\left(j\right)\right)\forall {j}^{\prime \prime }\in supp\left(\mathbf{j}\right)\cap \left(j,{j}^{\prime }\right]\right\},\end{array}$
 $\begin{array}{cc}{\sigma }_{\mathbf{n}}^{-}\left(j\right)& =min\left\{{j}^{\prime }\in supp\left(\mathbf{j}\right):{j}^{\prime }\le j\text{and}j-{j}^{\prime \prime }<2\left({\iota }_{\mathbf{n}}\left(j\right)-{\iota }_{\mathbf{n}}\left({j}^{\prime \prime }\right)\right)\forall {j}^{\prime \prime }\in supp\left(\mathbf{j}\right)\cap \left[{j}^{\prime },j\right)\right\},\end{array}$
 $\begin{array}{}\end{array}$
and ${\tau }_{\mathbf{n}}^{±}\left(j\right)=j+2\left({\iota }_{\mathbf{n}}\left({\sigma }_{\mathbf{n}}^{±}\left(j\right)\right)-{\iota }_{\mathbf{n}}\left(j\right)\right)±1.$  The following lemma is easy.
Lemma. Let $j\in supp\left(\mathbf{n}\right)$  . Then, $|supp\left({\mathbf{n}}_{\left[j,{\tau }_{\mathbf{n}}^{±}\left(j\right)\right]}\right)|=|supp\left(\mathbf{n}\right)|.$
¿From now on we set
 $\begin{array}{c}{\mathbf{n}}^{±}\left(j\right)={\mathbf{n}}_{\left[j,{\tau }_{\mathbf{n}}^{±}\left(j\right)\right]},j\in supp\left(\mathbf{n}\right).\end{array}$ (5.5)
Moreover, if $S\subset supp\left(\mathbf{n}\right)$  is such that
 $\begin{array}{c}\left[j,{\tau }_{\mathbf{n}}^{±}\left(j\right)\right]\cap \left[{j}^{\prime },{\tau }_{\mathbf{n}}^{±}\left({j}^{\prime }\right)\right]=\varnothing ,\forall j\ne {j}^{\prime },j,{j}^{\prime }\in S,\end{array}$ (5.6)
then set
 $\begin{array}{c}{\mathbf{n}}^{±}\left(S\right)=\left({\mathbf{n}}^{±}\left(j\right){\right)}^{±}\left(S\\left\{j\right\}\right),j\in S\subset supp\left(\mathbf{n}\right).\end{array}$ (5.7)
Notice that ${\mathbf{n}}^{±}\left(S\right)$  is well-defined by  5.4 .

5.8

For a partition $\mathbf{n}$  and an integer $m>0$  , define
 $\begin{array}{cc}sup{p}_{m}\left(\mathbf{n}\right)& =\left\{j\in supp\left(\mathbf{n}\right):2{\iota }_{\mathbf{n}}\left(j\right)=j-m\right\}.\end{array}$
 $\begin{array}{}\end{array}$
The following lemma is easy.
Lemma. Let $j\in sup{p}_{m}\left(\mathbf{n}\right)$  for some $m>1$  . Then ${\tau }_{\mathbf{n}}^{±}\left(j\right)\in sup{p}_{m±1}\left({\mathbf{n}}^{±}\left(j\right)\right)$  , and $sup{p}_{m±1}\left({\mathbf{n}}^{±}\left(j\right)\right)=sup{p}_{m±1}\left(\mathbf{n}\right)\bigsqcup \left\{{\tau }_{\mathbf{n}}^{±}\left(j\right)\right\},sup{p}_{m}\left({\mathbf{n}}^{±}\left(j\right)\right)=sup{p}_{m}\left(\mathbf{n}\right)\\left\{j\right\}.$  In particular ${\tau }_{{\mathbf{n}}^{±}\left(j\right)}^{\mp }\left({\tau }_{\mathbf{n}}^{±}\left(j\right)\right)=j$  .
Remark. Notice that ${\mathbf{n}}^{±}\left(S\right)$  is well defined for all $S\subset sup{p}_{m}\left(\mathbf{j}\right)$  . The Lemma then implies that $sup{p}_{m}\left({\mathbf{n}}^{±}\left(sup{p}_{m}\left(\mathbf{n}\right)\right)=\varnothing$  .

5.9

From now on we set
 $\begin{array}{c}N=n-i+r-2,sup{p}^{+}\left(\mathbf{j}\right)=sup{p}_{N}\left(\mathbf{j}\right),sup{p}^{-}\left(\mathbf{j}\right)=sup{p}_{N+1}\left(\mathbf{j}\right).\end{array}$ (5.8)
Let $\mathbf{j}\in {\mathbf{J}}_{k,r}$  . The next proposition describes $\overline{\mathbf{j}}$  for $\mathbf{j}\in {\mathbf{J}}_{k,r}$  .
Proposition. Let $\mathbf{j},{\mathbf{j}}^{\prime }\in {\mathbf{J}}_{k,r}$  . Then,
 $\begin{array}{c}\mathbf{j}\sim {\mathbf{j}}^{\prime }⟺{\mathbf{j}}^{\prime }=\left({\mathbf{j}}^{-}\left({S}^{-}\right){\right)}^{+}\left({S}^{+}\right),\end{array}$ (5.9)
for some ${S}^{-}\subset sup{p}^{-}\left(\mathbf{j}\right)$  and ${S}^{+}\subset sup{p}^{+}\left({\mathbf{j}}^{-}\left({S}^{-}\right)\right)$  . In particular,
 $\begin{array}{c}|\overline{\mathbf{j}}|={2}^{|sup{p}^{+}\left(\mathbf{j}\right)|+|sup{p}^{-}\left(\mathbf{j}\right)|}.\end{array}$ (5.10)
Corollary. Let $\mathbf{j}\in {\mathbf{J}}_{k,r}$  be such that $sup{p}^{-}\left(\mathbf{j}\right)=\varnothing$  . Then $|\mathbf{j}|={2}^{|sup{p}^{+}\left(\mathbf{j}\right)|}$  and $|{\mathbf{J}}_{k,r}|={\sum }_{\mathbf{j}\in {\mathbf{J}}_{k,r},sup{p}^{-}\mathbf{j}=\varnothing }{2}^{|sup{p}^{+}\left(\mathbf{j}\right)|}.$
Notice that  5.10 is immediate from  5.9 and Lemma  5.8 .
For the proof, it is useful to notice that,
 $\begin{array}{c}\text{}\mathbit{\pi }{\text{}}_{r}\left(j,s\right)=1⇔2s=j-\left(N+1\right).\end{array}$ (5.11)

5.10

We now see that Proposition  5.9 can be deduced from the following.
Proposition. Let $\mathbf{j}\in {\mathbf{J}}_{k,r}$  . For any $S\subset sup{p}^{±}\left(\mathbf{j}\right)$  we have ${\mathbf{j}}^{±}\left(S\right)\sim \mathbf{j}$  .
If ${\mathbf{j}}^{\prime },\mathbf{j}\in {\mathbf{J}}_{k,r}$  are related as in the right hand side of  5.9 , we have by Proposition  5.10 that, $\mathbf{j}\sim {\mathbf{j}}^{-}\left({S}^{-}\right)\sim \left({\mathbf{j}}^{-}\left({S}^{-}\right){\right)}^{+}\left({S}^{+}\right)={\mathbf{j}}^{\prime }.$  For the converse, let $\mathbf{j}\sim {\mathbf{j}}^{\prime }$  and assume that
 $\begin{array}{c}{\mathbf{j}}^{-}\left(sup{p}^{-}\left(\mathbf{j}\right)\right)={{\mathbf{j}}^{\prime }}^{-}\left(sup{p}^{-}\left({\mathbf{j}}^{\prime }\right).\end{array}$ (5.12)
Set ${S}^{-}=sup{p}^{-}\left(\mathbf{j}\right)\text{and}{S}^{+}={\tau }_{{\mathbf{j}}^{\prime }}^{-}\left(sup{p}^{-}\left({\mathbf{j}}^{\prime }\right)\right).$  It follows from Lemma  5.8 that ${S}^{+}\subset sup{p}^{+}\left({{\mathbf{j}}^{\prime }}^{-}\left(sup{p}^{-}\left({\mathbf{j}}^{\prime }\right)\right)\right).$  Then, using  5.4 , Lemma  5.8 and  5.12 we see that ${\mathbf{j}}^{\prime }={\left({{\mathbf{j}}^{\prime }}^{-}\left(sup{p}^{-}\left({\mathbf{j}}^{\prime }\right)\right)\right)}^{+}\left({S}^{+}\right)=\left({\mathbf{j}}^{-}\left({S}^{-}\right){\right)}^{+}\left({S}^{+}\right).$  It remains to show that  5.12 is always satisfied if $\mathbf{j}\sim {\mathbf{j}}^{\prime }$  . Observe that Proposition  5.10 gives ${\mathbf{j}}^{-}\left(sup{p}^{-}\left(\mathbf{j}\right)\right)\sim {{\mathbf{j}}^{\prime }}^{-}\left(sup{p}^{-}\left({\mathbf{j}}^{\prime }\right)\right),$  and that by Remark  5.8  $sup{p}^{-}\left({\mathbf{j}}^{-}\left(sup{p}^{-}\left(\mathbf{j}\right)\right)\right)=sup{p}^{-}\left({{\mathbf{j}}^{\prime }}^{-}\left(sup{p}^{-}\left({\mathbf{j}}^{\prime }\right)\right)\right)=\varnothing .$  In other words, to prove  5.12 it suffices to prove,
 $\begin{array}{c}{\mathbf{j}}_{1}\sim {\mathbf{j}}_{2},\text{and}sup{p}^{-}\left({\mathbf{j}}_{1}\right)=sup{p}^{-}\left({\mathbf{j}}_{2}\right)=\varnothing ⟹{\mathbf{j}}_{1}={\mathbf{j}}_{2}.\end{array}$ (5.13)
Indeed, if ${\mathbf{j}}_{1}\ne {\mathbf{j}}_{2}$  set $j=max\left\{{j}^{\prime }:{j}^{\prime }\in supp\left({\mathbf{j}}_{1}\right)\cup supp\left({\mathbf{j}}_{2}\right)\text{and}{j}^{\prime }/\in supp\left({\mathbf{j}}_{1}\right)\cap supp\left({\mathbf{j}}_{2}\right)\right\}.$  Assume $j\in supp\left({\mathbf{j}}_{1}\right)$  . Then, either $j+1\in supp\left({\mathbf{j}}_{1}\right)\cap supp\left({\mathbf{j}}_{2}\right)$  or $j+1/\in supp\left({\mathbf{j}}_{1}\right)\cup supp\left({\mathbf{j}}_{2}\right)$  . In any case it follows that $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}_{1}{\right)}_{j}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}_{2}{\right)}_{j}=1.$  If $j+1/\in supp\left({\mathbf{j}}_{1}\right)\cup supp\left({\mathbf{j}}_{2}\right)$  then $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}_{1}{\right)}_{j}=\text{}\mathbit{\pi }{\text{}}_{r}\left(j,{\iota }_{{\mathbf{j}}_{1}}\left(j\right)\right)$  and  5.11 gives that $j\in sup{p}^{-}\left({\mathbf{j}}_{1}\right)$  .
Otherwise we have $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}_{2}{\right)}_{j}=\text{}\mathbit{\pi }{\text{}}_{r}\left(j,{\iota }_{{\mathbf{j}}_{1}}\left(j+1\right)-1\right)$  and  5.11 shows that $j\in sup{p}^{-}\left({\mathbf{j}}_{1}\right)$  in this case as well, contradicting $sup{p}^{-}\left({\mathbf{j}}_{1}\right)=\varnothing$  . This completes the proof of Proposition  5.9 .

5.11

Proof of Proposition  5.10 .
It clearly suffices to prove the result when $S=\left\{j\right\}$  since the general case follows by transitivity. We can assume that $j\in sup{p}^{+}\left(\mathbf{j}\right)$  since then using Lemma  5.8 the case $j\subset sup{p}^{-}\left(\mathbf{j}\right)$  follows. Since, $supp\left(\mathbf{j}\right)\cap \left[r,j-1\right]=supp\left({\mathbf{j}}^{+}\left(S\right)\right)\cap \left[r,j-1\right]\text{and}supp\left(\mathbf{j}\right)\cap \left[{\tau }_{\mathbf{j}}^{+}\left(j\right)+1,n\right]=supp\left({\mathbf{j}}^{+}\left(S\right)\right)\cap \left[{\tau }_{\mathbf{j}}^{+}\left(j\right)+1,n\right],$  it follows immediately that $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(S\right){\right)}_{l}\forall l\in \left[r,j-1\right)\cup \left({\tau }_{\mathbf{j}}^{+}\left(j\right),n\right].$  If $l\in \left[j-1,{\tau }_{\mathbf{j}}^{+}\left(j\right)\right]$  we proceed by induction on $l$  . To see that induction starts at $l=j-1$  , observe that $j/\in supp\left({\mathbf{j}}^{+}\left(S\right)\right),2\left({\iota }_{\mathbf{j}}\left(j\right)-1\right)=\left(j-1\right)-\left(N+1\right).$  The conclusion follows from  5.11 . For the inductive step, assume that $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{l}^{\prime }}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{{l}^{\prime }},\forall j-1\le {l}^{\prime }  Assume first that $l\in supp\left(\mathbf{j}\right)$  , in particular $l<{\tau }_{\mathbf{j}}^{+}\left(j\right)$  . If $\left(l+1\right)\in supp\left(\mathbf{j}\right)$  then, $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(S\right){\right)}_{l}=1$  and we are done. If $\left(l+1\right)/\in supp\left(\mathbf{j}\right)$  , then $\left(l+1\right)\in supp\left({\mathbf{j}}^{+}\left(j\right)\right)$  and we have from the definition of $\text{}\mathbit{\pi }{\text{}}_{r}$  that, $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left(l,{\iota }_{\mathbf{j}}\left(l\right){\right)}_{l}\text{and}\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left(l,{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l+1\right)-1{\right)}_{l},$  which gives, $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\left(1-{q}^{i-2r+l-2{\iota }_{\mathbf{j}}\left(l\right)}u\right)\left(1-{q}^{2n-i-l+2{\iota }_{\mathbf{j}}\left(l\right)-2}u{\right)}^{-1},$  and $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=\left(1-{q}^{2n-i-l+2{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l+1\right)-4}u\right)\left(1-{q}^{i+l-2r-2{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l+1\right)+2}u{\right)}^{-1}.$  Let ${l}_{0}=min\left\{m\ge j:m\le {l}^{\prime \prime }\le l⟹{l}^{\prime \prime }\in supp\left(\mathbf{j}\right)\right\}.$  Then, either ${l}_{0}=j$  , in which case we have ${\iota }_{\mathbf{j}}\left(l\right)={\iota }_{\mathbf{j}}\left(j\right)+l-j=\left(i-r-n-j+2l+2\right)/2,{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l+1\right)={\iota }_{\mathbf{j}}\left(j\right),$  which implies $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l},$  and we are done, or ${l}_{0}>j$  . In that case $\left({l}_{0}-1\right)\in supp\left({\mathbf{j}}^{+}\left(j\right)\right)$  , ${\iota }_{\mathbf{j}}\left(l\right)={\iota }_{\mathbf{j}}\left({l}_{0}\right)+l-{l}_{0},$  and $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{l}_{0}-1}=\text{}\mathbit{\pi }{\text{}}_{r}\left({l}_{0}-1,{\iota }_{\mathbf{j}}\left({l}_{0}\right)-1{\right)}_{{l}_{0}-1},\text{and}\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{{l}_{0}-1}=\text{}\mathbit{\pi }{\text{}}_{r}\left({l}_{0}-1,{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left({l}_{0}-1\right){\right)}_{{l}_{0}-1}.$  Since ${l}_{0}-1  , the induction hypothesis gives $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{l}_{0}-1}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{{l}_{0}-1}$  , which implies that ${\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left({l}_{0}-1\right)=i+{l}_{0}-n-r-{\iota }_{\mathbf{j}}\left({l}_{0}\right)+1$  and, therefore, ${\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l+1\right)=i+{l}_{0}-n-r-{\iota }_{\mathbf{j}}\left({l}_{0}\right)+2.$  The conclusion follows.
Finally, suppose that $l/\in supp\left(\mathbf{j}\right)$  . If $l={\tau }_{\mathbf{j}}^{+}\left(j\right)$  , then  5.11 and Lemma  5.7 imply $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=1,$  and we are done. If $l<{\tau }_{\mathbf{j}}^{+}\left(j\right)$  and $l+1\in supp\left({\mathbf{j}}^{+}\left(j\right)\right)$  we again have $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=1$  and we are done. Otherwise we have $\left(l+1\right)\in supp\left(\mathbf{j}\right)$  , and $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left(l,{\iota }_{\mathbf{j}}\left(l+1\right)-1{\right)}_{l},\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left(l,{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l\right){\right)}_{l},$  which gives, $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}=\left(1-{q}^{2n-i-l+2{\iota }_{\mathbf{j}}\left(l+1\right)-4}u\right)\left(1-{q}^{i-2r+l-2{\iota }_{\mathbf{j}}\left(l+1\right)+2}u{\right)}^{-1}$  and $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=\left(1-{q}^{i+l-2r-2{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l\right)}u\right)\left(1-{q}^{2n-i-l+2{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l\right)-2}u\right).$  Let ${l}_{0}=max\left\{{l}^{\prime }:j\le {l}^{\prime }  Then, ${l}_{0}+1\in supp\left({\mathbf{j}}^{+}\left(j\right)\right)$  and ${\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left(l\right)={\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left({l}_{0}+1\right)+l-\left({l}_{0}+1\right),{\iota }_{\mathbf{j}}\left({l}_{0}\right)={\iota }_{\mathbf{j}}\left(l+1\right)-1.$  In particular, $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{l}_{0}}=\text{}\mathbit{\pi }{\text{}}_{r}\left({l}_{0},{\iota }_{\mathbf{j}}\left({l}_{0}\right){\right)}_{{l}_{0}}\text{and}\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{{l}_{0}}=\text{}\mathbit{\pi }{\text{}}_{r}\left({l}_{0}+1,{\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left({l}_{0}+1\right)-1{\right)}_{{l}_{0}}.$  Since ${l}_{0}  , the induction hypothesis gives $\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{{l}_{0}}=\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{{l}_{0}}$  which implies that ${\iota }_{{\mathbf{j}}^{+}\left(j\right)}\left({l}_{0}+1\right)=i-r-n+{l}_{0}+{\iota }_{\mathbf{j}}\left({l}_{0}\right)+2.$  It follows that $\text{}\mathbit{\pi }{\text{}}_{r}\left({\mathbf{j}}^{+}\left(j\right){\right)}_{l}=\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}{\right)}_{l}$  and the proof of the Proposition is complete.

5.12

Proof of Proposition  5.5 .
For this proof it is necessary to indicate that $sup{p}^{±}\left(\mathbf{j}\right)$  depends on $r$  and so from now on, if $\mathbf{j}\in {\mathbf{J}}_{k,r}$  we denote the set $sup{p}^{±}\left(\mathbf{j}\right)$  by $sup{p}_{r}^{±}\left(\mathbf{j}\right)$  . We also assume that the representatives of the equivalence classes of ${\mathbf{J}}_{k,r}$  are chosen so that $sup{p}_{r}^{-}\left(\mathbf{j}\right)=\varnothing$  . We will show that $dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{s}\left(\mathbf{j},±\right)}\ge |\overline{\mathbf{j}}|={2}^{|sup{p}_{r}^{+}\left(\mathbf{j}\right)|}\forall \mathbf{j}\in {\mathbf{J}}_{r}\text{satisfying}sup{p}_{r}^{-}\left(\mathbf{j}\right)=\varnothing .$  We proceed by induction on $M=\left(i-r\right)/2$  noting that induction starts at $M=0$  . For the inductive step, assume that we know the result for all ${M}^{\prime }  , i.e we know that for all $s\in {I}_{i}$  , $s>r$  we have $dim{V}_{\text{}\mathbit{\pi }{\text{}}_{s}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{s}\left({\mathbf{j}}^{\prime },±\right)}\ge {2}^{|sup{p}_{s}^{+}\left({\mathbf{j}}^{\prime }\right)|}\forall {\mathbf{j}}^{\prime }\in {\mathbf{J}}_{s}\text{satisfying}sup{p}_{s}^{-}\left({\mathbf{j}}^{\prime }\right)=\varnothing .$  Given $j\in sup{p}_{r}^{+}\left(\mathbf{j}\right)$  , let ${\mathbf{j}}^{\prime }\in {\mathbf{J}}_{k-1,r+2}$  be the partition whose support is given by, $supp\left({\mathbf{j}}^{\prime }\right)=\left\{{j}^{\prime }+2:r<{j}^{\prime }<{\sigma }_{\mathbf{j}}^{+}\left(j\right),{j}^{\prime }\in supp\left(\mathbf{j}\right)\right\}\cup \left\{{j}^{\prime }\in supp\left(\mathbf{j}\right):{\sigma }_{\mathbf{j}}^{+}\left(j\right)<{j}^{\prime }  Observe that $sup{p}_{r+2}^{-}\left({\mathbf{j}}^{\prime }\right)=\varnothing ,$  and $sup{p}_{r+2}^{+}\left({\mathbf{j}}^{\prime }\right)=\left\{{j}^{\prime }+2:r<{j}^{\prime }<{\sigma }_{\mathbf{j}}^{+}\left(j\right),{j}^{\prime }\in sup{p}_{r}^{+}\left(\mathbf{j}\right)\right\}\cup \left\{{j}^{\prime }\in sup{p}_{r}^{+}\left(\mathbf{j}\right):{\sigma }_{\mathbf{j}}^{+}\left(j\right)<{j}^{\prime }  This gives,
 $\begin{array}{cc}{\sigma }_{\mathbf{j}}^{+}\left(j\right)>j& ⟹|sup{p}_{r+2}^{+}\left({\mathbf{j}}^{\prime }\right)|=|sup{p}_{r}^{+}\left(\mathbf{j}\right)|,\end{array}$
 $\begin{array}{cc}{\sigma }_{\mathbf{j}}^{+}\left(j\right)=j& ⟹|sup{p}_{r+2}^{+}\left({\mathbf{j}}^{\prime }\right)|=|sup{p}_{r}^{+}\left(\mathbf{j}\right)|-1.\end{array}$
 $\begin{array}{}\end{array}$
The inductive step is proved if we show that,
 $\begin{array}{cc}{\sigma }_{\mathbf{j}}^{+}\left(j\right)>j& ⟹dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)}\ge dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },±\right)},\end{array}$
 $\begin{array}{cc}{\sigma }_{\mathbf{j}}^{+}\left(j\right)=j& ⟹dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)}\ge 2dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },±\right)}.\end{array}$
 $\begin{array}{}\end{array}$
Set $l={\sigma }_{\mathbf{j}}^{+}\left(j\right)$  . Using Lemma  5.2 we find that, ${T}_{r+2,l}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },±\right)\right)=\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)\text{}\mathbit{\alpha }{\text{}}_{l,{q}^{2n-i-l+2{\iota }_{\mathbf{j}}\left(l\right)-4}},$  and that $\left({T}_{r+2,l}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },±\right)\right){\right)}_{l}=\left(1-{q}^{2n-i-l+2{\iota }_{\mathbf{j}}\left(l\right)-4}u\right)\left(1-{q}^{i+l-2r-2{\iota }_{\mathbf{j}}\left(l\right)}u\right).$  It now follows from Proposition  1.9 that $dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j}\right)\text{}\mathbit{\pi }{\text{}}_{r}\left(\mathbf{j},±\right)}\ge dim{V}_{\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },±\right)}$  . Further, ${\sigma }_{\mathbf{j}}^{+}\left(j\right)=j⟹\left({T}_{r+2,l}\left(\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime }\right)\text{}\mathbit{\pi }{\text{}}_{r+2}\left({\mathbf{j}}^{\prime },±\right)\right){\right)}_{l}=\left(1-{q}^{n-r-2}u{\right)}^{2},$  and we are done by using Proposition  1.9 once more. References

1. N. Bourbaki, Groupes et algèbres de Lie, Chapitres 4,5,6, Hermann, Paris (1968).
2. P. Bouwknegt, K. Pilch, On deformed W-algebras and quantum affine algebras, Adv. Theor. Math. Phys. (1998), no. 2, 357-397.
3. V. Chari, Braid group actions and tensor products, Internat. Math. Res. Notices (2002), no. 7, 357–382.
4. V. Chari and A. Moura, Characters and blocks for finite-dimensional representations of quantum affine algebras, Internat. Math Res. Notices (2005), no. 5, 257–298.
5. V. Chari and A. Pressley, Quantum affine algebras and their representations, in Representations of groups, CMS Conf. Proc (Banff, AB, 1994), 16 (1995), 59–78.
6. E. Frenkel and E. Mukhin, Combinatorics of $q$  -characters of finite-dimensional representations of quantum affine algebras, Comm. Math. Phys. 216 (2001), no. 1, 23–57
7. E. Frenkel and N. Reshetikhin, The $q$  -characters of representations of quantum affine algebras and deformations of $\mathcal{W}$  -algebras, Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), Contemp. Math., 248, Amer. Math. Soc., Providence, RI, 1999, pp. 163–205.
8. W. Fulton and J. Harris, Representation Theory A first course, GTM 129, Springer, (1991).
9. D. Hernandez, Monomials of q and q,t-characters for non simply-laced quantum affinizations, preprint QA/0404187.
10. J. E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics 29, Cambridge University Press, 1990.
11. H. Nakajima, $t$  -analogs of $q$  -characters of quantum affine algebras of type ${A}_{n},{D}_{n}$  . Combinatorial and geometric representation theory (Seoul, 2001), Contemp. Math. 325 (2003), 141–160.

Department of Mathematics, University of California, Riverside, CA 92521.
E-mail address : chari@math.ucr.edu, adrianoam@math.ucr.edu