, ,

<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

U_{q}

associated to a classical simple Lie algebra. The notion of

q

–characters defined in [7] is 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] , [11] using 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] , [7] but it is easy to see that this is false even for

s l_{2}

. However, it was shown in [4] that 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

U_{q} (0)

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

U_{q} (0)

. These are called the

ℓ

–weight spaces and the eigenvalues corresponding to the non–zero eigenspaces are called the

ℓ

–weights of the representation. The

ℓ

–weights lie in a free abelian multiplicative group

P_{q}

. Let

Z [P_{q}]

be the integral group ring over

P_{q}

and for

ϖ \in P_{q}

, let

V_{ϖ}

be the corresponding eigenspace of

V

. The element of

Z [P_{q}]

defined by,

c h_{ℓ} (V) = \sum_{ϖ \in P_{q}} dim (V_{ϖ}) e (ϖ),

is called the

q

–character of

V

. If

P

is the usual weight lattice of the simple Lie algebra, then it was shown in [4] that there exists a canonical group homomorphism

w t : P_{q} \to 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

P_{q}

. It was shown in [4] that the problem of determining the

ℓ

–weights of

V

is reduced to determining

V_{ϖ}

where

w t (ϖ)

is in the dominant chamber

P^{+}

P

. Assume from now on that

w t (ϖ) \in P^{+}

. We give explicit formulas for

ϖ

with

V_{ϖ} \neq 0

. In the case of

B_{n}

C_{n}

, we see as a consequence that

dim V_{ϖ} = 1

(this was proved by different methods in [9] ). In the case of

D_{n}

it can happen that

dim (V_{ϖ}) > 1

and we compute this dimension in Section 5. The idea is to show that every

ℓ

–weight

ϖ

comes from a partition

j

with certain properties and we find that

dim V_{ϖ} = 2^{M_{j}}

where

M_{j}

is defined in a canonical way in Section 5.

1 Preliminaries

1.1

Let

g

be a complex finite–dimensional simple Lie algebra of rank

n

and let

h

be a Cartan subalgebra of

g

. Set

I = {1, 2, \dots, n}

and let

{α_{i} : i \in I}

(resp.

{ω_{i} : i \in I}

) be the set of simple roots (resp.

fundamental weights) of

g

with respect to

h

. Let also

{\overset{ˇ}{α}}_{i}

denote the simple co-roots. As usual,

Q

, (resp.

P

) denotes the root (resp. weight) lattice of

g

Q^{+} = \sum_{i = 1}^{n} N α_{i}

, and

P^{+} = \sum_{i = 1}^{n} N ω_{i}

. Let

W

be the Weyl group of

g

generated by simple reflections

{s_{i} : i \in I}

. For

w \in W

, let

ℓ (w)

denote the length of a reduced expression for

w

. Given

λ = \sum_{i \in I} λ_{i} ω_{i} \in P^{+}

let

W (λ)

be the subgroup of

W

generated by

{s_{i} : i \in I, λ_{i} = 0}

and let

W_{λ}

be the set of left coset representatives of

W / W (λ)

of minimal length.

The braid group

ℬ

associated to

g

is generated by elements

T_{i}

i \in I

and relations

\begin{matrix} T_{i} T_{j} & = T_{j} T_{i}, if a_{i j} = 0, \end{matrix}

\begin{matrix} T_{i} T_{j} T_{i} & = T_{j} T_{i} T_{j}, if a_{i j} a_{j i} = 1, \end{matrix}

\begin{matrix} (T_{i} T_{j})^{2} & = (T_{j} T_{i})^{2}, if a_{i j} a_{j i} = 2, \end{matrix}

\begin{matrix} (T_{i} T_{j})^{3} & = (T_{j} T_{i})^{3}, if a_{i j} a_{j i} = 3, \end{matrix}

\begin{matrix}  \end{matrix}

where

i, j \in {1, 2, \dots, n}

and

A = (a_{i j})

1 \leq i, j \leq n

is the Cartan matrix of

g

. For

i \in I

, fix integers

d_{i} \in N

minimal such that

d_{i} a_{i j} = d_{j} a_{j i}

for all

j \in I

. Given

w \in W

and a reduced expression

w = s_{i_{1}} \dots s_{i_{k}}

let

T_{w} = T_{i_{1}} \dots T_{i_{k}}

be the corresponding element of

ℬ

. It is well–known that

T_{w}

is independent of the choice of the reduced expression.

1.2

Let

q \in C^{\times}

and assume that

q

is not a root of unity. For

r, m \in N

m \geq r

, define complex numbers,

[m]_{q} = \frac{q^{m} - q^{- m}}{q - q^{- 1}}, [m]_{q}! = [m]_{q} [m - 1]_{q} \dots [2]_{q} [1]_{q}, {[\begin{matrix} m \\ r \end{matrix}]}_{q} = \frac{[m]_{q}!}{[r]_{q}! [m - r]_{q}!} .

Set

q_{i} = q^{d_{i}}

and

[m]_{i} = [m]_{q_{i}}

Let

P_{q}

be the (multiplicative) subgroup of

C (u)^{n}

generated by the elements,

ω_{i, a}

i \in I

a \in C^{\times}

, where

ω_{i, a}

is the

n

–tuple of elements in

C (u)

whose

i^{t h}

entry is

1 - a u

and all other entries 1. The elements

ω_{i, a}

are called

ℓ

–fundamental weights. It is obvious that

P_{q}

is generated freely as an abelian group by the fundamental

ℓ

–weights.

P_{q}

is called the

ℓ

–weight lattice. Given any element

ϖ \in P_{q}

and

1 \leq j \leq n

, let

ϖ_{j}

be the

j^{t h}

entry of

ϖ

Let

P_{q}^{+}

be the monoid generated by

1

and the elements

ω_{i, a}

i \in I

a \in C^{\times}

, clearly

P_{q}^{+}

consists of

n

–tuples of polynomials with constant term one and an element of

P_{q}^{+}

is called an

ℓ

–dominant weight.

Let

w t : P_{q} \to P

be the group homomorphism defined by extending,

w t (ω_{i, a}) = ω_{i} .

The group

ℬ

acts on on

P_{q}

as follows [2] ,[3] ,[7] : for

i \in I

and

ϖ = (ϖ_{1}, \dots, ϖ_{n}) \in P_{q}

, we have

\begin{matrix} (T_{i} ϖ)_{j} & = ϖ_{j}, if a_{j i} = 0, \end{matrix}

\begin{matrix} (T_{i} ϖ)_{j} & = ϖ_{j} (u) ϖ_{i} (q_{i} u), if a_{j i} = - 1, \end{matrix}

\begin{matrix} (T_{i} ϖ)_{j} & = ϖ_{j} (u) ϖ_{i} (q^{3} u) ϖ_{i} (q u), if a_{j i} = - 2, \end{matrix}

\begin{matrix} (T_{i} ϖ)_{j} & = ϖ_{j} (u) ϖ_{i} (q^{5} u) ϖ_{i} (q^{3} u) ϖ_{i} (q u), if a_{j i} = - 3, \end{matrix}

\begin{matrix} (T_{i} ϖ)_{i} & = \frac{1}{ϖ_{i} (q_{i}^{2} u)} . \end{matrix}

\begin{matrix}  \end{matrix}

For

i \in I

, set

α_{i, a} = (T_{i} (ω_{i, a}))^{- 1} ω_{i, a},

and let

Q_{q}

be the subgroup of

P_{q}

generated by the

α_{i, a}

. Let

Q_{q}^{+}

the monoid generated by

1

and

α_{i, a}

i \in I

a \in C^{\times}

, and

Q_{q}^{-} = (Q_{q}^{+})^{- 1}

1.3

The quantum loop algebra

U_{q}

g

is the algebra with generators

x_{i, r}^{\pm}

(

i \in I

r \in Z

K_{i}^{\pm 1}

(

i \in I

h_{i, r}

(

i \in I

r \in Z \ {0}

) and the following defining relations:

\begin{matrix} K_{i} K_{i}^{- 1} = K_{i}^{- 1} K_{i} & = 1, K_{i} K_{j} = K_{j} K_{i}, \end{matrix}

\begin{matrix} K_{i} h_{j, r} & = h_{j, r} K_{i}, \end{matrix}

\begin{matrix} K_{i} x_{j, r}^{\pm} K_{i}^{- 1} & = q_{i}^{\pm a_{i j}} x_{j, r}^{\pm}, \end{matrix}

\begin{matrix} [h_{i, r}, h_{j, s}] = 0, & [h_{i, r}, x_{j, s}^{\pm}] = \pm \frac{1}{r} [r a_{i j}]_{q^{i}} x_{j, r + s}^{\pm}, \end{matrix}

\begin{matrix} x_{i, r + 1}^{\pm} x_{j, s}^{\pm} - q_{i}^{\pm a_{i j}} x_{j, s}^{\pm} x_{i, r + 1}^{\pm} & = q_{i}^{\pm a_{i j}} x_{i, r}^{\pm} x_{j, s + 1}^{\pm} - x_{j, s + 1}^{\pm} x_{i, r}^{\pm}, \end{matrix}

\begin{matrix} [x_{i, r}^{+}, x_{j, s}^{-}] = δ_{i, j} & \frac{ψ_{i, r + s}^{+} - ψ_{i, r + s}^{-}}{q_{i} - q_{i}^{- 1}}, \end{matrix}

\begin{matrix} \sum_{π \in Σ_{m}} \sum_{k = 0}^{m} (- 1)^{k} {[\begin{matrix} m \\ k \end{matrix}]}_{i} x_{i, r_{π (1)}}^{\pm} \dots x_{i, r_{π (k)}}^{\pm} & x_{j, s}^{\pm} x_{i, r_{π (k + 1)}}^{\pm} \dots x_{i, r_{π (m)}}^{\pm} = 0, if i \neq j, \end{matrix}

\begin{matrix}  \end{matrix}

for all sequences of integers

r_{1}, \dots, r_{m}

, where

m = 1 - a_{i j}

Σ_{m}

is the symmetric group on

m

letters, and the

ψ_{i, r}^{\pm}

are determined by equating powers of

u

in the formal power series

\sum_{r = 0}^{\infty} ψ_{i, \pm r}^{\pm} u^{\pm r} = K_{i}^{\pm 1} exp (\pm (q_{i} - q_{i}^{- 1}) \sum_{s = 1}^{\infty} h_{i, \pm s} u^{\pm s}) .

Let

U_{q} (g)

be the subalgebra of

U_{q}

generated by the elements

x_{i, 0}^{\pm}

K_{i}^{\pm 1}

for

1 \leq i \leq n

1.4

For

i \in I

, set

h_{i}^{\pm} (u) = \sum_{k = 1}^{\infty} \frac{q^{\pm k} h_{i, \pm k}}{[k]_{i}} u^{k},

and define elements

P_{i, \pm k}

i \in I

k \in Z

k \geq 0

, by the generating series,

\begin{matrix} P_{i}^{\pm} (u) = \sum_{k = 0}^{\infty} P_{i, \pm k} u^{k} = exp (- h_{i}^{\pm} (u)) . \end{matrix}

(1.1)

Let

U_{q}^{\pm} (0)

be the subalgebra of

U_{q}

generated by the elements

h_{i, \pm k}

i \in I

k \in Z

k > 0

, or equivalently, the subalgebra generated by the elements

P_{i, \pm k}

i \in I

k \in Z

k > 0

, and let

U_{q} (0)

be the subalgebra generated by

U_{q}^{\pm} (0)

. An element

ϖ = (ϖ_{1}, \dots, ϖ_{n}) \in P_{q}

can be regarded as an element of

Hom (U_{q} (0), C)

by extending the assignment,

ϖ (P_{i}^{\pm} (u)) = ϖ_{i}^{\pm} (u),

where

ϖ_{i}^{+} (u) = ϖ_{i}

ϖ_{i}^{-} = u^{deg ϖ_{i}} ϖ_{i} (u^{- 1}) / (u^{deg ϖ_{i}} ϖ_{i} (u^{- 1})) |_{u = 0}

1.5

Given a

U_{q}

-module

V

and

μ = \sum_{i} μ_{i} ω_{i} \in P

, set

V_{μ} = {v \in V : K_{i} . v = q_{i}^{μ_{i}} v, \forall i \in I} .

We say that

V

is a module of type 1 if

V = \oplus_{μ \in P} V_{μ} .

Set

w t (V) = {μ \in P : V_{μ} \neq 0},

and given

v \in V_{μ}

set

w t (v) = μ

. An element

ϖ \in P_{q}

is an

ℓ

–weight of

V

if there exists a non–zero element

v \in V

such that

(P_{i, \pm r} - (ϖ_{i}^{\pm})_{r})^{N} v = 0, N \equiv N (i, r, v) \in Z^{+},

for all

i \in I

and

r \in Z^{+}

and

v

is called an

ℓ

–weight vector in

V

with

ℓ

–weight

ϖ

. Let

V_{ϖ}

be the subspace of

V

spanned by

ℓ

–weight vectors with

ℓ

–weight

ϖ

. If

V

is a finite–dimensional

U_{q}

–module, then,

V = \oplus_{ϖ \in P_{q}}^{} V_{ϖ}, V_{μ} = \oplus_{ϖ \in P_{q}}^{} V_{ϖ} \cap V_{μ} .

Denote by

w t ℓ (V)

the set of

ℓ

–weights of

V

and define

w t ℓ (v)

in the obvious way.

1.6

Let

C_{q}

be the category of finite-dimensional

U_{q}

–modules of type 1. A module

V \in C_{q}

ℓ

–highest weight with

ℓ

–highest weight

ϖ \in P_{q}

if there exists a non–zero vector

0 \neq v \in V

such that

V = U_{q} v

and,

\begin{matrix} x_{i, r}^{+} v = 0, P_{i}^{\pm} (u) v = (ϖ)_{i}^{\pm} v, K_{i}^{\pm 1} v = q^{\pm w t ϖ ({\overset{ˇ}{α}}_{i})} v, (x_{i, r}^{-})^{w t ϖ ({\overset{ˇ}{α}}_{i}) + 1} v = 0, \end{matrix}

(1.2)

for all

i \in I

r \in Z

. The element

v

is called the

ℓ

–highest weight vector.

Any

ℓ

–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

P_{q}^{+}

and isomorphism classes of irreducible finite–dimensional modules, [5] . Given

ω \in P_{q}^{+}

, let

V (ω) \in C_{q}

be an element in the corresponding isomorphism class, and let

v_{ω}

be the

ℓ

–highest weight vector. Then,

V (ω)_{w t ω} = C v_{ω} .

1.7

From now on we suppose

g

is of classical type, i.e

g

is of type

A_{n}

B_{n}

C_{n}

D_{n}

. The following result was proved in [4] .

Theorem. Let

i \in I

a \in C^{\times}

and

V = V (ω_{i, a})

. Assume that

ϖ \in w t_{ℓ} (V)

is such that

w t (ϖ) = λ \in P^{+}

(i) For all $w \in W_{λ}$ we have $dim (V_{ϖ}) = dim (V_{T_{w} ϖ}),$ and $T_{w} (w t_{ℓ} (V_{λ})) = w t_{ℓ} (V_{w λ}) .$

(ii) Suppose that

ϖ \neq ω_{i, a}

. There exists

ϖ^{'} \in w t_{ℓ} (V)

μ = w t (ϖ^{'}) \in P^{+}

w \in W_{μ}

j \in I

with

ℓ (s_{j} w) = ℓ (w) + 1

, and

c \in C^{\times}

such that

(T_{w} (ϖ^{'}))_{j} = (1 - c u) (1 - c^{'} u) and ϖ = T_{w} (ϖ^{'}) (α_{j, c})^{- 1}

for some

c^{'} \neq c q_{j}^{2}

, and

dim (V_{ϖ}) \geq 2 if c = c^{'} .

Further, for all

v \in V_{T_{w} (ϖ^{'})}

and

s \in Z

\begin{matrix} x_{j, s}^{-} v \in V_{ϖ} + V_{T_{w} (ϖ^{'}) (α_{j, c^{'}})^{- 1}} . \end{matrix}

(1.3)

□

Corollary. We have

c h ℓ (V) = \sum_{λ \in P^{+}} \sum_{w \in W_{λ}} \sum_{ϖ \in w t ℓ (V_{λ})} (dim V_{ϖ}) e (T_{w} (ϖ)) .

□

¿From now on, we will let

ϖ

also denote the element

e (ϖ)

Z [P_{q}]

. Notice that since the group

P_{q}

is multiplicative, this should cause no confusion.

1.8

It follows from the corollary that if

V (ω_{i, a})

is a minuscule representation of

g

, i.e

V (ω_{i, a})_{λ} = 0

for all

λ \in P^{+}

with

λ < ω_{i}

, then

c h ℓ (V (ω_{i, a})) = \sum_{w \in W_{ω_{i}}} T_{w} (ω_{i, a}) .

It follows from [5] that 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

U_{q_{j}} ({\hat{g}}_{j})

be the subalgebra of

U_{q}

generated by the elements

x_{j, m}^{\pm}

h_{j, s}

K_{j}^{\pm 1}

m, s \in Z

s \neq 0

. It is known that

U_{q_{j}} ({\hat{g}}_{j})

is isomorphic to

U_{q_{j}} ({\hat{s l}}_{2})

Proposition. Let

i \in I

a \in C^{\times}

V = V (ω_{i, a})

. Let

ϖ^{'} \in w t ℓ (V)

satisfy the following:

μ = w t (ϖ^{'}) \in P^{+}

(T_{w} (ϖ^{'}))_{j} = (1 - c u) (1 - c^{'} u),

for some

c^{'} \neq c q_{j}^{2}

and

w \in W_{μ}

j \in I

satisfying

(w (μ) - α_{j}) \in P^{+}

. Set,

ϖ = T_{w} (ϖ^{'}) (α_{j, c})^{- 1} .

Then

dim (V_{ϖ}) \geq dim (V_{ϖ^{'}}) .

Moreover, if

c = c^{'}

, then

dim (V_{ϖ}) \geq 2 dim (V_{ϖ^{'}}) .

Proof. First note that if $μ = w t (ϖ^{'}) \in P^{+}$ then $μ = ω_{r}$ for some $r \leq i$ , (see [4,Section1] for instance).
Further, since $w \in W$ and $j \in I$ are such that $ℓ (s_{j} w) = ℓ (w) + 1$ it follows that $w ω_{r} + α_{j} / \in w t (V)$ .
Since $w t (T_{w} (ϖ^{'})) = w ω_{r}$ , it follows that $x_{j, m}^{+} V_{T_{w} (ϖ^{'})} = 0, \forall m \in Z .$ Choose a basis ${v_{1}, \dots, v_{p}}$ of $V_{T_{w} (ϖ^{'})}$ such that $U_{q} (0) v_{m} \in \sum_{s \leq m} C (q) v_{s} .$ Let $U_{m} = U_{q_{j}} ({\hat{g}}_{j}) v_{m}$ . Then $U_{m} / U_{m - 1}$ is an $ℓ$ –highest weight module for $U_{q_{j}} ({\hat{g}}_{j}) v_{m}$ with highest weight $(1 - c u) (1 - c^{'} u)$ and hence by [4] , [7] there exists a unique (up to scalar multiple) non–zero element in the span of ${x_{j, r}^{-} v_{m} : r \in Z}$ which is an eigenvector (modulo $U_{m - 1}$ ) for the $P_{j, r}$ with eigenvalue $ϖ_{j}$ if $c \neq c^{'}$ and two linearly independent elements if $c = c^{'}$ . Equation 1.3 of Theorem 1.7 (ii) now implies that such vectors are in $V_{ϖ}$ 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

ℓ

–weights

ϖ

with

w t (ϖ) \in P^{+}

of the fundamental representations of quantum affine algebras.

2.1

Assume that the Dynkin diagram of

g

is labeled as in [1] . Throughout this section we shall assume that we have fixed an integer

i

such that

\begin{matrix} 1 < i \leq n & if g = C_{n}, \end{matrix}

\begin{matrix} 1 \leq i < n & if g = B_{n}, \end{matrix}

\begin{matrix} 1 < i \leq n - 2 & if g = D_{n} . \end{matrix}

\begin{matrix}  \end{matrix}

Define a subset

I_{i}

I

by,

\begin{matrix} I_{i} = & {r : 0 \leq r \leq i}, & if g = B_{n}, \end{matrix}

(2.1)

\begin{matrix} = & {r : 0 \leq r \leq i, r \equiv i m o d 2}, & if g = C_{n}, D_{n} . \end{matrix}

(2.2)

\begin{matrix}  \end{matrix}

¿From now on, given

r \in I_{i}

, we shall denote by

M

the greatest integer less than or equal to

(i - r) / 2

2.2

For

r \in I_{i}

, let

J_{k, r}

be the set of partitions

r < j_{1} < j_{2} < \dots < j_{k} \leq n

of length

k

and satisfying

\begin{matrix} j_{s} & \leq n - i + r + 2 s - 1, 1 \leq s \leq k, & if g = C_{n}, \end{matrix}

\begin{matrix} j_{k} & < n, & if g = D_{n} . \end{matrix}

\begin{matrix}  \end{matrix}

Set

\begin{matrix} J_{r} & = J_{M, r} & if g = C_{n}, \end{matrix}

(2.3)

\begin{matrix} = \cup_{0 \leq k \leq M} J_{k, r} & if g = B_{n}, D_{n}, \end{matrix}

(2.4)

\begin{matrix}  \end{matrix}

where

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 N

, define elements

π_{r} (j, s) \in P_{q}

π_{r} (j, s) = ω_{j, q_{1}^{i + j - 2 s - 2 r}}^{- 1} ω_{j, q_{1}^{h - i - j + 2 s}},

where

h

is the dual Coxeter number of

g

g

is of type

B_{n}

D_{n}

and is twice the dual Coxeter number if

g

is of type

C_{n}

. Given

j \in J_{r}

, set

\begin{matrix} π_{r} (j) = & ω {_{r, q_{1}^{r - i}}}^{k} \prod_{s = 1} π_{r} (j_{s} - 1, s - 1) π_{r}^{- 1} (j_{s}, s), & if either g = C_{n} or j_{k} < \bar{n}, \end{matrix}

(2.5)

\begin{matrix} = & ω_{r, q_{1}^{r - i}} (^{k - 1} \prod_{s = 1} π_{r} (j_{s} - 1, s - 1) π_{r}^{- 1} (j_{s}, s)) π_{r} (n - 1, k - 1) \times \end{matrix}

(2.6)

\begin{matrix} \times π_{r}^{- 1} (n, k - 1 / 4), & if g = B_{n} and j_{k} = n, \end{matrix}

(2.7)

\begin{matrix} = & ω_{r, q^{r - i}} (^{k} \prod_{s = 1} π_{r} (j_{s} - 1, s - 1) π_{r}^{- 1} (j_{s}, s)) π_{r}^{- 1} (n, k + 1 / 2), & if g = D_{n} and j_{k} = n - 1 . \end{matrix}

(2.8)

\begin{matrix}  \end{matrix}

where

\bar{n} = n

(resp.

\bar{n} = n - 1

) if

g = B_{n}

(resp. if

g = D_{n}

). We understand that if

j

is the empty partition, then

π_{r} (j) = ω_{r, q_{1}^{r - i}}

and, if

r = 0

, that

ω_{0, a} = 1

and

ω_{0} = 0

g

is of type

B_{n}

, define

π_{r} (j, *) \in P_{q}

\begin{matrix} π_{r} (j, *) = & ω_{n, q^{2 (n - i + 2 k) - 1}} ω_{n, q^{2 (n + i - 2 k - 2 r) - 1}}^{- 1}, & if k \neq M and j_{k} \neq n, \end{matrix}

(2.9)

\begin{matrix} = & 1, & otherwise . \end{matrix}

(2.10)

\begin{matrix}  \end{matrix}

g

is of type

D_{n}

, define elements

π_{r} (j, \pm) \in P_{q}

\begin{matrix} π_{r} (j, +) & = ω_{n, q^{n - i + 2 k - 1}} ω_{n, q^{n + i - 2 r - 2 k - 1}}^{- 1}, \end{matrix}

\begin{matrix} π_{r} (j, -) & = ω_{n - 1, q^{n - i + 2 k - 1}} ω_{n - 1, q^{n + i - 2 r - 2 k - 1}}^{- 1} . \end{matrix}

\begin{matrix}  \end{matrix}

Theorem. Let

V = V (ω_{i, 1})

(i) If $g$ is of type $C_{n}$ , the assignment $J_{r} \to P_{q}$ defined by $j \mapsto π_{r} (j)$ is injective and the image is $w t ℓ (V_{ω_{r}})$ . In particular, $c h ℓ (V) = \sum_{r \in I_{i}} \sum_{w \in W_{ω_{r}}} \sum_{j \in J_{r}} T_{w} (π_{r} (j)) .$
(ii) If $g$ is of type $B_{n}$ , the assignment $J_{r} \to P_{q}$ defined by $j \mapsto π_{r} (j) π_{r} (j, *)$ is injective and the image is $w t ℓ (V_{ω_{r}})$ . In particular, $c h ℓ (V) = \sum_{r \in I_{i}} \sum_{w \in W_{ω_{r}}} \sum_{j \in J_{r}} T_{w} (π_{r} (j) π_{r} (j, *)) .$
(iii) If $g$ is of type $D_{n}$ , then $w t ℓ (V_{ω_{r}}) = {π_{r} (j) π_{r} (j, \pm) : j \in J_{k, r}, 0 \leq k < M} \cup {π_{r} (j) : j \in J_{M, r}} .$ Moreover $c h ℓ (V) = \sum_{r \in I_{i}} \sum_{w \in W_{ω_{r}}} (\sum_{j \in J_{r} \ J_{M, r}} (T_{w} (π_{r} (j) π_{r} (j, +)) + T_{w} (π_{r} (j) π_{r} (j, -))) + \sum_{j \in J_{M, r}} T_{w} (π_{r} (j))) .$

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

J_{r}

depends on

n, i, r

and it will be necessary for the proofs to write

J_{r}

J_{r} (i)

Notice moreover that

\begin{matrix} (j_{1}, \dots, j_{M}) \in J_{r} (i) \Leftrightarrow (j_{2}, \dots, j_{M}) \in J_{j_{1}} (i - r + j_{1} - 2), \end{matrix}

(3.1)

and also that

\begin{matrix} (j_{1}, \dots, j_{M - 1}) \in J_{r + 2} (i) \Leftrightarrow (j_{1} - 2, j_{2} - 2, \dots j_{M - 1} - 2, j_{M}) \in J_{r} (i) \forall j_{M - 1} - 2 < j_{M} < n . \end{matrix}

(3.2)

Lemma. We have

| J_{r} (i) | = (\binom{n - r}{M}) - (\binom{n - r}{M - 1}) = dim V (ω_{i})_{ω_{r}} .

Proof. It suffices to prove the first equality, the second being well–known (see [8] for instance). If $M = 0, 1$ the result clearly holds for all $n \in N$ and $1 \leq i \leq n$ . Assume now that we know the result for all $M^{'} < M$ , $n \in N$ , and $1 \leq i \leq n$ . By 3.1 we get, $| J_{r} (i) | = \sum_{j = r + 1}^{n - 2 M + 1} | J_{j_{1}} (i - r + j_{1} - 2) | = \sum_{j = r + 1}^{n - 2 M + 1} ((\binom{n - j}{M - 1}) - (\binom{n - j}{M - 2})),$ where in the last equality we used the induction hypothesis. The identity $(\binom{m}{l}) = (\binom{m - 1}{l}) + (\binom{m - 1}{l - 1}), 1 \leq l \leq m - 1,$ now gives the result. □

3.2

Lemma. The map

j \mapsto π_{r} (j)

from

J_{r} (i) \to P_{q}

is injective.

Proof. We proceed by induction on $M$ . Suppose that $π_{r} (j) = π_{r} (j^{'})$ for some $j, j^{'} \in J_{r} (i)$ . Writing $j = (j_{1}, \dots, j_{M})$ and $j^{'} = (j_{1}^{'}, \dots, j_{M}^{'})$ and comparing the $(j_{1} - 1)^{t h}$ entries in $π_{r} (j)$ and $π_{r} (j^{'})$ we find that $j_{1} = j_{1}^{'}$ . This proves that induction starts at $M = 1$ . The inductive step follows by 3.1 . □

3.3

For

r > 1

and

r - 1 \leq j < n

define elements

w_{r, j} \in W

and

T_{r, j} \in ℬ (g)

\begin{matrix} w_{r, j} & = s_{j - 1} s_{j - 2} \dots s_{r - 1} s_{j + 1} s_{j + 2} \dots s_{n - 1} s_{n} \dots s_{r}, \end{matrix}

\begin{matrix} T_{r, j} & = T_{w_{r, j}} . \end{matrix}

\begin{matrix}  \end{matrix}

It is not hard to check (see [10] for instance) that

w_{r, j} \in W_{ω_{r}}

The next proposition is a straightforward if a somewhat tedious computation.

Proposition.

(i) For all $r \in I$ , and $r - 1 \leq j < n$ , we have $w_{r, j} ω_{r} = ω_{r - 2} + α_{j} .$

(ii)

\begin{matrix} T_{r, j} (ω_{l, a}) = {\begin{matrix} ω_{l - 2, a q^{2}} ω_{j - 1, a q^{j - l + 3}}^{- 1} ω_{j, a q^{j - l + 2}} ω_{j, a q^{2 n - j - l + 2}} ω_{j + 1, a q^{2 n - j - l + 3}}^{- 1}, & if r \leq l \leq j, \\ ω_{l, a q^{2}} ω_{j, a q^{l - j}} ω_{j, a q^{2 n - j - l + 2}} ω_{j + 1, a q^{l - j + 1}}^{- 1} ω_{j + 1, a q^{2 n - j - l + 3}}^{- 1}, & if l > j . \end{matrix} \end{matrix}

(3.3)

□

3.4

Part (i) of Theorem 2.3 now follows from Lemma 3.2 and the next proposition.

Proposition. We have

\begin{matrix} w t ℓ (V_{ω_{r}}) = {π_{r} (j) : j \in J_{r}}, \end{matrix}

(3.4)

and

\begin{matrix} dim V_{π_{r} (j)} = 1 for all j \in J_{r} . \end{matrix}

(3.5)

Proof. Recall from[5] that

V \sim = V (ω_{i})

U_{q} (g)

-modules. It suffices to prove that,

\begin{matrix} {π_{r} (j) : j \in J_{r}} \subset w t ℓ (V_{ω_{r}}), \end{matrix}

(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

j = (j_{1}, \dots, j_{M}) \in J_{r}

then

j^{'} = (j_{1} + 2, \dots, j_{M - 1} + 2) \in J_{r + 2}

. The induction hypothesis implies that

π_{r + 2} (j^{'}) \in w t ℓ (V)

and hence by Theorem 1.7 we see that

T_{r + 2, j} (π_{r + 2} (j^{'})) \in w t ℓ (V)

for all

r < j < n

Using Proposition 3.3 (ii) we find that

T_{r + 2, j} (π_{r + 2} (j^{'})) = π_{r} (j) α_{j, q^{2 n + i - j - 2 r - 2 M}},

and also that the

j^{t h}

–coordinate of

T_{r + 2, j} (π_{r + 2} (j^{'}))

(1 - q^{i + j - 2 r - 2 M} u) (1 - q^{2 n + i - j - 2 r - 2 M} u) .

Hence by Theorem 1.7 (ii) we see that

π_{r} (j) = T_{r + 2, j} (π_{r + 2} (j^{'})) α_{j, q^{2 n + i - j - 2 r - 2 M}}^{- 1} \in w t ℓ (V_{ω_{r}}) .

□

4 The Case of $B_{n}$ .

4.1

Lemma. We have

| J_{r} | = \sum_{k = 0}^{M} (\binom{n - r}{k}) = dim V_{ω_{r}} .

□

Proof. The first equality is clear. For the second, recall that it was proved in [5] that $V \sim = \oplus_{l = 0}^{[i / 2]} V (ω_{i - 2 l})$ as $U_{q} (g)$ -modules. Since $dim V (ω_{j})_{ω_{r}} = (\binom{n - r}{[\frac{j - r}{2}]}), j < n,$ it follows that $dim V_{ω_{r}} = \sum_{l = 0}^{M} (\binom{n - r}{[\frac{i - 2 l - r}{2}]}) = \sum_{k = 0}^{M} (\binom{n - r}{k}) .$ □

4.2

Lemma. The map

j \mapsto π_{r} (j) π_{r} (j, *)

from

J_{r}

P_{q}

is injective.

Proof. Suppose that

0 \leq k, k^{'} \leq M

j, j^{'} \in J_{r}

j = (j_{1}, \dots, j_{k})

j^{'} = (j_{1}^{'}, \dots, j_{k^{'}}^{'})

are such that

\begin{matrix} π_{r} (j) π_{r} (j, *) = π_{r} (j^{'}) π_{r} (j^{'}, *) . \end{matrix}

(4.1)

We first show that

k = k^{'}

. For this, notice that for any

j^{''} = (j_{1}^{''}, \dots, j_{k^{''}}^{''}) \in J_{r}

we have

(π_{r} (j^{''}) π_{r} (j^{''}, *))_{n} = 1 ⟺ k^{''} = M and j_{k^{''}}^{''} < n .

Hence,

(π_{r} (j) π_{r} (j, *))_{n} = 1

implies

k = k^{'} = M

. Otherwise, the equation

(π_{r} (j) π_{r} (j, *))_{n} = (π_{r} (j^{'}) π_{r} (j^{'}, *))_{n}

gives that either

j_{k}, j_{k^{'}}^{'} < n

j_{k} = j_{k^{'}}^{'} = n

. In the first case we get

π_{r} (j, *)_{n} = π_{r} (j^{'}, *)_{n}

and in the second case we get

π_{r} (j)_{n} = π_{r} (j^{'})_{n}

. In any case it follows that

k = k^{'}

Now, suppose

j \neq j^{'}

and let

1 \leq s_{0} \leq n

be minimal such that

j_{s_{0}} \neq j_{s_{0}}^{'}

. Assume without loss of generality that

j_{s_{0}}^{'} > j_{s_{0}}

. This means that

j_{s_{0} - 1}^{'} = j_{s_{0} - 1} < j_{s_{0}}^{'} - 1

and hence

\begin{matrix} π_{r} (j^{'})_{j_{s_{0}}^{'} - 1} = (1 - q_{1}^{2 n - i - j_{s_{0}}^{'} + 2 s_{0} - 2} u) (1 - q_{1}^{i + j_{s_{0}}^{'} - 2 s_{0} - 2 r + 1} u)^{- 1} \neq 1 . \end{matrix}

(4.2)

We claim now that there exists

s_{1} \geq s_{0}

such that

j_{s_{1}} = j_{s_{0}}^{'} - 1

. Assuming the claim, we get a contradiction to the fact that

j \neq j^{'}

as follows. Since

π_{r} (j^{'})_{j_{s_{0}}^{'} - 1} = (1 - q_{1}^{i + j_{s_{0}}^{'} - 2 s_{1} - 2 r - 1} u) (1 - q_{1}^{2 n - i - j_{s_{0}}^{'} + 2 s_{1}} u)^{- 1} = π_{r} (j)_{j_{s_{1}}},

comparing with 4.2 gives

2 n - i - j_{s_{0}}^{'} + 2 s_{0} - 2 = i + j_{s_{0}}^{'} - 2 s_{1} - 2 r - 1,

which is obviously impossible. To prove the claim, set

s_{1} = max {1 \leq s \leq k : j_{s} < j_{s_{0}}^{'}} .

The claim follows if we prove that

j_{s_{1} + 1} > j_{s_{0}}^{'}

. The maximality of

s_{1}

implies that

j_{s_{1} + 1} \geq j_{s_{0}}^{'}

and hence it suffices to prove that

j_{s_{1} + 1} \neq j_{s_{0}}^{'}

. If

j_{s_{1} + 1} = j_{s_{0}}^{'}

then the same argument that gave 4.2 gives,

π_{r} (j)_{j_{s_{1} + 1} - 1} = (1 - q_{1}^{2 n - i - j_{s_{1} + 1} + 2 (s_{1} + 1) - 2} u) (1 - q_{1}^{i + j_{s_{1} + 1}^{'} - 2 (s_{1} + 1)_{-} 2 r + 1} u)^{- 1} \neq 1,

which implies that

s_{1} + 1 = s_{0}

contradicting

s_{1} \geq s_{0}

. □

4.3

For

r > 0

and

r \leq j < n

define elements

w_{r, j} \in W_{ω_{r}}

by,

\begin{matrix} w_{r + 1, j} & = s_{j - 1} s_{j - 2} \dots s_{r} s_{j + 1} s_{j + 2} \dots s_{n - 1} s_{n} \dots s_{r + 1}, \end{matrix}

\begin{matrix} w_{r, n} & = s_{n - 1} \dots s_{r}, \end{matrix}

\begin{matrix} T_{r, j} & = T_{w_{r, j}} . \end{matrix}

\begin{matrix}  \end{matrix}

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 \ {n}$ and $r - 1 \leq j < n$ we have $w_{r, j} ω_{r} = ω_{r - 2} + α_{j} and w_{r, n} ω_{r} = ω_{r - 1} + α_{n} .$

(ii) For

r - 1 \leq j < n - 1

and

r \leq l < n

we have:

\begin{matrix} T_{r, j} (ω_{l, 1}) = {\begin{matrix} ω_{l - 2, q_{1}^{2}} ω_{j - 1, q_{1}^{j - l + 3}}^{- 1} ω_{j, q_{1}^{j - l + 2}} ω_{j, q_{1}^{2 n - j - l - 1}} ω_{j + 1, q_{1}^{2 n - j - l}}^{- 1}, & if l \leq j, \\ ω_{l, q_{1}^{2}} ω_{j, q_{1}^{l - j}} ω_{j, q_{1}^{2 n - j - l - 1}} ω_{j + 1, q_{1}^{l - j + 1}}^{- 1} ω_{j + 1, q_{1}^{2 n - j - l}}^{- 1}, & if l > j . \end{matrix} \end{matrix}

(4.3)

\begin{matrix}  \end{matrix}

Further,

\begin{matrix} T_{r, j} (ω_{n, q^{- 1}}) & = ω_{j, q_{1}^{n - j - 1}} ω_{j + 1, q_{1}^{n - j}}^{- 1} ω_{n, q^{3}}, \end{matrix}

\begin{matrix} T_{r, n - 1} (ω_{l, 1}) & = ω_{l - 2, q_{1}^{2}} ω_{n - 2, q_{1}^{n - l + 2}}^{- 1} ω_{n - 1, q_{1}^{n - l + 1}} ω_{n - 1, q_{1}^{n - l}} ω_{n, q^{2 (n - l) + 1}}^{- 1} ω_{n, q^{2 (n - l) + 3}}^{- 1}, \end{matrix}

(4.4)

\begin{matrix} T_{r, n - 1} (ω_{n, q^{- 1}}) & = ω_{n - 1, 1} ω_{n, q}^{- 1}, \end{matrix}

\begin{matrix} T_{r, n} (ω_{l, 1}) = & ω_{l - 1, q_{1}} ω_{n - 1, q_{1}^{n - l + 1}}^{- 1} ω_{n, q^{2 (n - l) - 1}} ω_{n, q^{2 (n - l) + 1}} . \end{matrix}

\begin{matrix}  \end{matrix}

□

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

j = (j_{1}, \dots, j_{k}) \in J_{r}

(i) If $k < M$ and $j_{k} < n$ we have: $π_{r} (j) π_{r} (j, *) = T_{r + 1, n} (π_{r + 1} (j^{'}) π_{r + 1} (j^{'}, *)) α_{n, a}^{- 1} \in w t ℓ (V_{ω_{r}}),$ where $j^{'} = (j_{1} + 1, \dots, j_{k} + 1) \in J_{r + 1}$ and $a = q^{2 (n + i - 2 r - 2 k) - 3}$ .
(ii) If $j_{k} = n$ , we have $π_{r} (j) π_{r} (j, *) = T_{r + 1, n} (π_{r + 1} (j^{'}) π_{r + 1} (j^{'}, *)) α_{n, a}^{- 1} \in w t ℓ (V_{ω_{r}}),$ where $j^{'} = (j_{1} + 1, \dots, j_{k - 1} + 1) \in J_{r + 1}$ and $a = q^{2 (n - i + 2 k) - 5}$ .
(iii) If $k = M$ and $j_{k} < n$ , then $π_{r} (j) π_{r} (j, *) = T_{r + 2, j} (π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, *)) α_{j, a}^{- 1} \in w t ℓ (V_{ω_{r}}),$ where $j^{'} = (j_{1} + 2, \dots, j_{k - 1} + 2) \in J_{r + 2}$ , $a = q_{1}^{2 n - j - r - 3}$ , and $j = j_{k}$ .

Proof. Observe first that it is clear that the elements

j^{'}

defined in the proposition are in

J_{r + 1}

in the first two cases and in

J_{r + 2}

in the third case. The fact that

π_{r} (j) π_{r} (j, *)

and

π_{r + 1} (j^{'}) π_{r + 1} (j^{'}, *)

(resp.

π_{r + 2}^{'} (j^{'}) π_{r + 2} (j^{'}, *))

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

π_{r} (j) π_{r} (j, *) \in w t ℓ (V_{ω_{r}})

For that, one observes that the calculation gives respectively:

\begin{matrix} (i) (T_{r + 1, n} (π_{r + 1} (j^{'}) & π_{r + 1} (j^{'}, *)))_{n} = \end{matrix}

\begin{matrix} = & (1 - q^{2 (n + i - 2 r - 2 k) - 3} u) (1 - q^{2 (n - i + 2 k) - 1} u), if j_{k} = n - 1 or k < M - 1 / 2, \end{matrix}

\begin{matrix} = & (1 - q^{2 (n + i - 2 r - 2 k) - 3} u) (1 - q^{2 (n + i - 2 r - 2 k) - 5} u) if j_{k} < n - 1 and k = M - 1 / 2 . \end{matrix}

\begin{matrix}  \end{matrix}

(ii) $(T_{r + 1, n} (π_{r + 1} (j^{'}) π_{r + 1} (j^{'}, *)))_{n} = (1 - q^{2 (n - i + 2 k) - 5} u) (1 - q^{2 (n + i - 2 r - 2 k) + 1} u)$ .
(iii) $(T_{r + 2, j} (π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, *)))_{j} = (1 - q_{1}^{j - r} u) (1 - q_{1}^{2 n - j - r - 3} u)$ .
The result then follows from Theorem 1.7 . □

5 The Case of $D_{n}$

5.1

Lemma. We have:

| J_{M, r} | + 2 \sum_{k = 0}^{M - 1} | J_{k, r} | = \sum_{l = 0}^{M} (\binom{n - r}{l}) = dim V_{ω_{r}} .

Proof. It follows from the definition of

J_{k, r}

that

| J_{k, r} | = (\binom{n - r - 1}{k}),

and hence to prove the the first equality we must show that

\sum_{l = 0}^{M} (\binom{n - r}{l}) = (\binom{n - r - 1}{M}) + 2 \sum_{k = 0}^{M - 1} (\binom{n - r - 1}{k}) .

Using the binomial identity

(\binom{n - r}{l}) = (\binom{n - r - 1}{l}) + (\binom{n - r - 1}{l - 1}),

we find that

\begin{matrix} \sum_{l = 0}^{M} (\binom{n - r}{l}) & = 1 + \sum_{l = 1}^{M} ((\binom{n - r - 1}{l}) + (\binom{n - r - 1}{l - 1})) \end{matrix}

\begin{matrix} = 1 + (\binom{n - r - 1}{M}) + \sum_{l = 1}^{M - 1} (\binom{n - r - 1}{l}) + \sum_{l = 0}^{M - 1} (\binom{n - r - 1}{l}) \end{matrix}

\begin{matrix} = (\binom{n - r - 1}{M}) + 2 \sum_{l = 0}^{M - 1} (\binom{n - r - 1}{l}) . \end{matrix}

\begin{matrix}  \end{matrix}

For the second equality, recall that it was proved in [5] that as

U_{q} (g)

-modules

V \sim = \oplus_{l = 0}^{[i / 2]} V (ω_{i - 2 l}) .

The result now follows since

dim V (ω_{j})_{ω_{r}} = (\binom{n - r}{(j - r) / 2}), 1 \leq j \leq n - 2 .

□

5.2

Given

r > 1

and

r - 1 \leq j \leq n

, define elements

w_{r, j} \in W_{ω_{r}}

by,

\begin{matrix} w_{r, j} & = s_{j - 1} s_{j - 2} \dots s_{r - 1} s_{j + 1} \dots s_{n - 2} s_{n} s_{n - 1} \dots s_{r}, j \leq n - 2, \end{matrix}

\begin{matrix} = s_{n - 2} \dots s_{r - 1} s_{j^{'}} s_{n - 2} \dots s_{r}, j, j^{'} \in {n - 1, n}, j^{'} \neq j, \end{matrix}

\begin{matrix} T_{r, j} & = T_{w_{r, j}} . \end{matrix}

\begin{matrix}  \end{matrix}

Proposition. For all

1 < r \leq n - 2

and

r - 1 \leq j \leq n

we have:

(i) $w_{r, j} ω_{r} = ω_{r - 2} + α_{j}$ .

(ii)

\begin{matrix} T_{r, j} (ω_{l, a}) = {\begin{matrix} ω_{l, a q^{2}} ω_{j, a q^{l - j}} ω_{j, a q^{2 n - l - 2 - j}} ω_{j + 1, a q^{l - j + 1}}^{- 1} ω_{j + 1, a q^{2 n - l - j - 1}}^{- 1}, & if j < l, \\ ω_{l - 2, a q^{2}} ω_{j - 1, a q^{j - l + 3}}^{- 1} ω_{j, a q^{j - l + 2}} ω_{j, a q^{2 n - l - j - 2}} ω_{j + 1, a q^{2 n - l - j - 1}}^{- 1}, & if l \leq j \leq n - 2, \\ ω_{l - 2, a q^{2}} ω_{n - 2, a q^{n - l + 2}}^{- 1} ω_{j, a q^{n - l - 1}} ω_{j, a q^{n - l + 1}}, & if j = n - 1, n, \end{matrix} \end{matrix}

(5.1)

\begin{matrix}  \end{matrix}

1 \leq l \leq n - 2

and

\begin{matrix} T_{r, j} (ω_{l, a}) = {\begin{matrix} ω_{j, a q^{n - 1 - j}} ω_{j + 1, a q^{n - j}}^{- 1} ω_{l^{'}, a q^{2}}, & if j < n - 2, \\ ω_{n - 2, a q} ω_{l, a q^{2}}^{- 1}, & if j = n - 2, \\ ω_{l, a}, & if j = l, \\ ω_{n - 3, a q^{2}} ω_{n - 2, a q^{3}}^{- 1} ω_{l^{'}, a q^{2}}, & if j = l^{'}, \end{matrix} \end{matrix}

(5.2)

\begin{matrix}  \end{matrix}

l = n - 1, n

, where

l^{'} \in {n - 1, n} \ {l}

□

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 \geq 0

, we have

{π_{r} (j) : j \in J_{M, r}} \cup {π_{r} (j) π_{r} (j, \pm) : j \in J_{k, r}, 0 \leq k < M} \subset w t ℓ (V_{ω_{r}}) .

□

5.4

To complete the proof of Theorem 2.3 (iii), we must prove that in fact

{π_{r} (j) : j \in J_{M, r}} \cup {π_{r} (j) π_{r} (j, \pm) : j \in J_{k, r}, 0 \leq k < M} = w t ℓ (V_{ω_{r}}) .

For

D_{n}

this is more difficult, since it is no longer true that the maps

j \mapsto π_{r} (j) π_{r} (j, \pm)

are injective.

The next lemma is a simple checking.

Lemma. Let

j \in J_{k, r}

and

j^{'} \in J_{k^{'}, r}

(i) We have $π_{r} (j, \pm) = π_{r} (j^{'}, \pm)$ iff $k = k^{'}$ . Moreover, if $k = M$ , then $π_{r} (j, \pm) = 1 .$
(ii) If $π_{r} (j) π_{r} (j, +) = π_{r} (j^{'}) π_{r} (j^{'}, \pm)$ , then $k = k^{'}$ . Moreover, if $k = k^{'} < M$ , then $π_{r} (j) π_{r} (j, +) \neq π_{r} (j^{'}) π_{r} (j^{'}, -)$ .

□

5.5

Define an equivalence relation

\sim

J_{k, r}

j \sim j^{'} ⟺ π_{r} (j) = π_{r} (j^{'}) .

Let

\bar{j}

be the equivalence class of

j

Proposition. Let

j \in J_{k, r}

. Then

dim V_{π_{r} (j) π_{r} (j, \pm)} \geq | \bar{j} | .

Assuming this proposition the proof of Theorem 2.3 (iii) is completed as follows. For each

0 \leq k \leq M

, fix a set

S_{k, r} \subset J_{k, r}

of representatives of the distinct equivalence classes with respect to

\sim

. Proposition 5.5 and Lemma 5.4 imply that

\begin{matrix} \sum_{j \in S_{M, r}} dim (V_{π_{r} (j)}) & + \sum_{k = 0}^{M - 1} \sum_{j \in S_{k, r}} (dim (V_{π_{r} (j) π_{r} (j, +)}) + dim (V_{π_{r} (j) π_{r} (j, -)})) \geq \end{matrix}

\begin{matrix} \sum_{j \in S_{M, r}} | \bar{j} | + 2 \sum_{k = 0}^{M - 1} \sum_{j \in S_{k, r}} | \bar{j} | = | J_{M, r} | + 2 \sum_{k = 0}^{M - 1} | J_{k, r} | . \end{matrix}

\begin{matrix}  \end{matrix}

Since

V_{π_{r} (j) π_{r} (j, \pm)} \subset V_{ω_{r}}

it follows from Lemma 5.1 that

V_{ω_{r}} = (\oplus_{j \in S_{M, r}} (V_{π_{r} (j)})) \oplus (^{M - 1} \oplus_{k = 0} \oplus_{j \in S_{k, r}} (V_{π_{r} (j) π_{r} (j, +)} \oplus V_{π_{r} (j) π_{r} (j, -)})),

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

| \bar{j} |

in terms of

j \in J_{k, r}

. Thus we shall see that

\begin{matrix} | \bar{j} | = 2^{M_{j}}, \end{matrix}

(5.3)

where

M_{j} = | {s : 1 \leq s \leq k, j_{s} \in {n - i + r + 2 s - 2, n - i + r + 2 s - 1}} | .

5.7

Recall that a strictly increasing partition

n

of positive integers of length

k

is an increasing sequence

0 < j_{1} < j_{2} < \dots < j_{k}

of natural numbers. Let

s u p p (n) = {j_{s} : 1 \leq s \leq k},

and let

ι_{n} : s u p p (n) \to N

be defined by

ι_{n} (j) = s

, if

j = j_{s}

for

1 \leq s \leq k

. Clearly any finite subset of

N

defines a strictly increasing partition.

Given a finite subset

S \subset N

and a partition

n

of length

k

, let

n_{S}

be the partition corresponding to the set,

(s u p p (n) \ S) \cup (S \ s u p p (n)) .

Clearly,

n_{S} \neq n_{S^{'}} if S \neq S^{'},

and

\begin{matrix} (n_{S})_{S} = n, (n_{S})_{S^{'}} = (n_{S^{'}})_{S} = (n)_{S \cup S^{'}}, if S \cap S^{'} = \emptyset . \end{matrix}

(5.4)

We shall adopt the convention that if

k, k^{'} \in Z

, then

[k, k^{'}] = {min {k, k^{'}}, min {k, k^{'}} + 1, \dots, max {k, k^{'}}}

Define also

(k, k^{'}]

and

[k^{'}, k)

in the obvious way.

Associated with a partition

n

, define functions

σ_{n}^{\pm}, τ_{n}^{\pm} : s u p p (n) \to N

by,

\begin{matrix} σ_{n}^{+} (j) & = max {j^{'} \in s u p p (j) : j^{'} \geq j and j^{''} - j < 2 (ι_{n} (j^{''}) - ι_{n} (j)) \forall j^{''} \in s u p p (j) \cap (j, j^{'}]}, \end{matrix}

\begin{matrix} σ_{n}^{-} (j) & = min {j^{'} \in s u p p (j) : j^{'} \leq j and j - j^{''} < 2 (ι_{n} (j) - ι_{n} (j^{''})) \forall j^{''} \in s u p p (j) \cap [j^{'}, j)}, \end{matrix}

\begin{matrix}  \end{matrix}

and

τ_{n}^{\pm} (j) = j + 2 (ι_{n} (σ_{n}^{\pm} (j)) - ι_{n} (j)) \pm 1 .

The following lemma is easy.

Lemma. Let

j \in s u p p (n)

. Then,

| s u p p (n_{[j, τ_{n}^{\pm} (j)]}) | = | s u p p (n) | .

□

¿From now on we set

\begin{matrix} n^{\pm} (j) = n_{[j, τ_{n}^{\pm} (j)]}, j \in s u p p (n) . \end{matrix}

(5.5)

Moreover, if

S \subset s u p p (n)

is such that

\begin{matrix} [j, τ_{n}^{\pm} (j)] \cap [j^{'}, τ_{n}^{\pm} (j^{'})] = \emptyset, \forall j \neq j^{'}, j, j^{'} \in S, \end{matrix}

(5.6)

then set

\begin{matrix} n^{\pm} (S) = (n^{\pm} (j))^{\pm} (S \ {j}), j \in S \subset s u p p (n) . \end{matrix}

(5.7)

Notice that

n^{\pm} (S)

is well-defined by 5.4 .

5.8

For a partition

n

and an integer

m > 0

, define

\begin{matrix} s u p p_{m} (n) & = {j \in s u p p (n) : 2 ι_{n} (j) = j - m} . \end{matrix}

\begin{matrix}  \end{matrix}

The following lemma is easy.

Lemma. Let

j \in s u p p_{m} (n)

for some

m > 1

. Then

τ_{n}^{\pm} (j) \in s u p p_{m \pm 1} (n^{\pm} (j))

, and

s u p p_{m \pm 1} (n^{\pm} (j)) = s u p p_{m \pm 1} (n) ⊔ {τ_{n}^{\pm} (j)}, s u p p_{m} (n^{\pm} (j)) = s u p p_{m} (n) \ {j} .

In particular

τ_{n^{\pm} (j)}^{\mp} (τ_{n}^{\pm} (j)) = j

. □

Remark. Notice that

n^{\pm} (S)

is well defined for all

S \subset s u p p_{m} (j)

. The Lemma then implies that

s u p p_{m} (n^{\pm} (s u p p_{m} (n)) = \emptyset

5.9

From now on we set

\begin{matrix} N = n - i + r - 2, s u p p^{+} (j) = s u p p_{N} (j), s u p p^{-} (j) = s u p p_{N + 1} (j) . \end{matrix}

(5.8)

Let

j \in J_{k, r}

. The next proposition describes

\bar{j}

for

j \in J_{k, r}

Proposition. Let

j, j^{'} \in J_{k, r}

. Then,

\begin{matrix} j \sim j^{'} ⟺ j^{'} = (j^{-} (S^{-}))^{+} (S^{+}), \end{matrix}

(5.9)

for some

S^{-} \subset s u p p^{-} (j)

and

S^{+} \subset s u p p^{+} (j^{-} (S^{-}))

. In particular,

\begin{matrix} | \bar{j} | = 2^{| s u p p^{+} (j) | + | s u p p^{-} (j) |} . \end{matrix}

(5.10)

Corollary. Let

j \in J_{k, r}

be such that

s u p p^{-} (j) = \emptyset

. Then

| j | = 2^{| s u p p^{+} (j) |}

and

| J_{k, r} | = \sum_{j \in J_{k, r}, s u p p^{-} j = \emptyset} 2^{| s u p p^{+} (j) |} .

□

Notice that 5.10 is immediate from 5.9 and Lemma 5.8 .

For the proof, it is useful to notice that,

\begin{matrix} π_{r} (j, s) = 1 \Leftrightarrow 2 s = j - (N + 1) . \end{matrix}

(5.11)

5.10

We now see that Proposition 5.9 can be deduced from the following.

Proposition. Let

j \in J_{k, r}

. For any

S \subset s u p p^{\pm} (j)

we have

j^{\pm} (S) \sim j

j^{'}, j \in J_{k, r}

are related as in the right hand side of 5.9 , we have by Proposition 5.10 that,

j \sim j^{-} (S^{-}) \sim (j^{-} (S^{-}))^{+} (S^{+}) = j^{'} .

For the converse, let

j \sim j^{'}

and assume that

\begin{matrix} j^{-} (s u p p^{-} (j)) = {j^{'}}^{-} (s u p p^{-} (j^{'}) . \end{matrix}

(5.12)

Set

S^{-} = s u p p^{-} (j) and S^{+} = τ_{j^{'}}^{-} (s u p p^{-} (j^{'})) .

It follows from Lemma 5.8 that

S^{+} \subset s u p p^{+} ({j^{'}}^{-} (s u p p^{-} (j^{'}))) .

Then, using 5.4 , Lemma 5.8 and 5.12 we see that

j^{'} = {({j^{'}}^{-} (s u p p^{-} (j^{'})))}^{+} (S^{+}) = (j^{-} (S^{-}))^{+} (S^{+}) .

It remains to show that 5.12 is always satisfied if

j \sim j^{'}

. Observe that Proposition 5.10 gives

j^{-} (s u p p^{-} (j)) \sim {j^{'}}^{-} (s u p p^{-} (j^{'})),

and that by Remark 5.8

s u p p^{-} (j^{-} (s u p p^{-} (j))) = s u p p^{-} ({j^{'}}^{-} (s u p p^{-} (j^{'}))) = \emptyset .

In other words, to prove 5.12 it suffices to prove,

\begin{matrix} j_{1} \sim j_{2}, and s u p p^{-} (j_{1}) = s u p p^{-} (j_{2}) = \emptyset ⟹ j_{1} = j_{2} . \end{matrix}

(5.13)

Indeed, if

j_{1} \neq j_{2}

set

j = max {j^{'} : j^{'} \in s u p p (j_{1}) \cup s u p p (j_{2}) and j^{'} / \in s u p p (j_{1}) \cap s u p p (j_{2})} .

Assume

j \in s u p p (j_{1})

. Then, either

j + 1 \in s u p p (j_{1}) \cap s u p p (j_{2})

j + 1 / \in s u p p (j_{1}) \cup s u p p (j_{2})

. In any case it follows that

π_{r} (j_{1})_{j} = π_{r} (j_{2})_{j} = 1 .

j + 1 / \in s u p p (j_{1}) \cup s u p p (j_{2})

then

π_{r} (j_{1})_{j} = π_{r} (j, ι_{j_{1}} (j))

and 5.11 gives that

j \in s u p p^{-} (j_{1})

Otherwise we have

π_{r} (j_{2})_{j} = π_{r} (j, ι_{j_{1}} (j + 1) - 1)

and 5.11 shows that

j \in s u p p^{-} (j_{1})

in this case as well, contradicting

s u p p^{-} (j_{1}) = \emptyset

. This completes the proof of Proposition 5.9 .

5.11

Proof of Proposition 5.10 .

It clearly suffices to prove the result when

S = {j}

since the general case follows by transitivity. We can assume that

j \in s u p p^{+} (j)

since then using Lemma 5.8 the case

j \subset s u p p^{-} (j)

follows. Since,

s u p p (j) \cap [r, j - 1] = s u p p (j^{+} (S)) \cap [r, j - 1] and s u p p (j) \cap [τ_{j}^{+} (j) + 1, n] = s u p p (j^{+} (S)) \cap [τ_{j}^{+} (j) + 1, n],

it follows immediately that

π_{r} (j)_{l} = π_{r} (j^{+} (S))_{l} \forall l \in [r, j - 1) \cup (τ_{j}^{+} (j), n] .

l \in [j - 1, τ_{j}^{+} (j)]

we proceed by induction on

l

. To see that induction starts at

l = j - 1

, observe that

j / \in s u p p (j^{+} (S)), 2 (ι_{j} (j) - 1) = (j - 1) - (N + 1) .

The conclusion follows from 5.11 . For the inductive step, assume that

π_{r} (j)_{l^{'}} = π_{r} (j^{+} (j))_{l^{'}}, \forall j - 1 \leq l^{'} < l \leq τ_{j}^{+} (j) .

Assume first that

l \in s u p p (j)

, in particular

l < τ_{j}^{+} (j)

. If

(l + 1) \in s u p p (j)

then,

π_{r} (j)_{l} = π_{r} (j^{+} (S))_{l} = 1

and we are done. If

(l + 1) / \in s u p p (j)

, then

(l + 1) \in s u p p (j^{+} (j))

and we have from the definition of

π_{r}

that,

π_{r} (j)_{l} = π_{r} (l, ι_{j} (l))_{l} and π_{r} (j^{+} (j))_{l} = π_{r} (l, ι_{j^{+} (j)} (l + 1) - 1)_{l},

which gives,

π_{r} (j)_{l} = (1 - q^{i - 2 r + l - 2 ι_{j} (l)} u) (1 - q^{2 n - i - l + 2 ι_{j} (l) - 2} u)^{- 1},

and

π_{r} (j^{+} (j))_{l} = (1 - q^{2 n - i - l + 2 ι_{j^{+} (j)} (l + 1) - 4} u) (1 - q^{i + l - 2 r - 2 ι_{j^{+} (j)} (l + 1) + 2} u)^{- 1} .

Let

l_{0} = min {m \geq j : m \leq l^{''} \leq l ⟹ l^{''} \in s u p p (j)} .

Then, either

l_{0} = j

, in which case we have

ι_{j} (l) = ι_{j} (j) + l - j = (i - r - n - j + 2 l + 2) / 2, ι_{j^{+} (j)} (l + 1) = ι_{j} (j),

which implies

π_{r} (j)_{l} = π_{r} (j^{+} (j))_{l},

and we are done, or

l_{0} > j

. In that case

(l_{0} - 1) \in s u p p (j^{+} (j))

ι_{j} (l) = ι_{j} (l_{0}) + l - l_{0},

and

π_{r} (j)_{l_{0} - 1} = π_{r} (l_{0} - 1, ι_{j} (l_{0}) - 1)_{l_{0} - 1}, and π_{r} (j^{+} (j))_{l_{0} - 1} = π_{r} (l_{0} - 1, ι_{j^{+} (j)} (l_{0} - 1))_{l_{0} - 1} .

Since

l_{0} - 1 < l

, the induction hypothesis gives

π_{r} (j)_{l_{0} - 1} = π_{r} (j^{+} (j))_{l_{0} - 1}

, which implies that

ι_{j^{+} (j)} (l_{0} - 1) = i + l_{0} - n - r - ι_{j} (l_{0}) + 1

and, therefore,

ι_{j^{+} (j)} (l + 1) = i + l_{0} - n - r - ι_{j} (l_{0}) + 2 .

The conclusion follows.

Finally, suppose that

l / \in s u p p (j)

. If

l = τ_{j}^{+} (j)

, then 5.11 and Lemma 5.7 imply

π_{r} (j)_{l} = π_{r} (j^{+} (j))_{l} = 1,

and we are done. If

l < τ_{j}^{+} (j)

and

l + 1 \in s u p p (j^{+} (j))

we again have

π_{r} (j)_{l} = π_{r} (j^{+} (j))_{l} = 1

and we are done. Otherwise we have

(l + 1) \in s u p p (j)

, and

π_{r} (j)_{l} = π_{r} (l, ι_{j} (l + 1) - 1)_{l}, π_{r} (j^{+} (j))_{l} = π_{r} (l, ι_{j^{+} (j)} (l))_{l},

which gives,

π_{r} (j)_{l} = (1 - q^{2 n - i - l + 2 ι_{j} (l + 1) - 4} u) (1 - q^{i - 2 r + l - 2 ι_{j} (l + 1) + 2} u)^{- 1}

and

π_{r} (j^{+} (j))_{l} = (1 - q^{i + l - 2 r - 2 ι_{j^{+} (j)} (l)} u) (1 - q^{2 n - i - l + 2 ι_{j^{+} (j)} (l) - 2} u) .

Let

l_{0} = max {l^{'} : j \leq l^{'} < l, l^{'} \in s u p p (j)} .

Then,

l_{0} + 1 \in s u p p (j^{+} (j))

and

ι_{j^{+} (j)} (l) = ι_{j^{+} (j)} (l_{0} + 1) + l - (l_{0} + 1), ι_{j} (l_{0}) = ι_{j} (l + 1) - 1 .

In particular,

π_{r} (j)_{l_{0}} = π_{r} (l_{0}, ι_{j} (l_{0}))_{l_{0}} and π_{r} (j^{+} (j))_{l_{0}} = π_{r} (l_{0} + 1, ι_{j^{+} (j)} (l_{0} + 1) - 1)_{l_{0}} .

Since

l_{0} < l

, the induction hypothesis gives

π_{r} (j)_{l_{0}} = π_{r} (j^{+} (j))_{l_{0}}

which implies that

ι_{j^{+} (j)} (l_{0} + 1) = i - r - n + l_{0} + ι_{j} (l_{0}) + 2 .

It follows that

π_{r} (j^{+} (j))_{l} = π_{r} (j)_{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

s u p p^{\pm} (j)

depends on

r

and so from now on, if

j \in J_{k, r}

we denote the set

s u p p^{\pm} (j)

s u p p_{r}^{\pm} (j)

. We also assume that the representatives of the equivalence classes of

J_{k, r}

are chosen so that

s u p p_{r}^{-} (j) = \emptyset

. We will show that

dim V_{π_{r} (j) π_{s} (j, \pm)} \geq | \bar{j} | = 2^{| s u p p_{r}^{+} (j) |} \forall j \in J_{r} satisfying s u p p_{r}^{-} (j) = \emptyset .

We proceed by induction on

M = (i - r) / 2

noting that induction starts at

M = 0

. For the inductive step, assume that we know the result for all

M^{'} < M

, i.e we know that for all

s \in I_{i}

s > r

we have

dim V_{π_{s} (j^{'}) π_{s} (j^{'}, \pm)} \geq 2^{| s u p p_{s}^{+} (j^{'}) |} \forall j^{'} \in J_{s} satisfying s u p p_{s}^{-} (j^{'}) = \emptyset .

Given

j \in s u p p_{r}^{+} (j)

, let

j^{'} \in J_{k - 1, r + 2}

be the partition whose support is given by,

s u p p (j^{'}) = {j^{'} + 2 : r < j^{'} < σ_{j}^{+} (j), j^{'} \in s u p p (j)} \cup {j^{'} \in s u p p (j) : σ_{j}^{+} (j) < j^{'} < n} .

Observe that

s u p p_{r + 2}^{-} (j^{'}) = \emptyset,

and

s u p p_{r + 2}^{+} (j^{'}) = {j^{'} + 2 : r < j^{'} < σ_{j}^{+} (j), j^{'} \in s u p p_{r}^{+} (j)} \cup {j^{'} \in s u p p_{r}^{+} (j) : σ_{j}^{+} (j) < j^{'} < n} .

This gives,

\begin{matrix} σ_{j}^{+} (j) > j & ⟹ | s u p p_{r + 2}^{+} (j^{'}) | = | s u p p_{r}^{+} (j) |, \end{matrix}

\begin{matrix} σ_{j}^{+} (j) = j & ⟹ | s u p p_{r + 2}^{+} (j^{'}) | = | s u p p_{r}^{+} (j) | - 1 . \end{matrix}

\begin{matrix}  \end{matrix}

The inductive step is proved if we show that,

\begin{matrix} σ_{j}^{+} (j) > j & ⟹ dim V_{π_{r} (j) π_{r} (j, \pm)} \geq dim V_{π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, \pm)}, \end{matrix}

\begin{matrix} σ_{j}^{+} (j) = j & ⟹ dim V_{π_{r} (j) π_{r} (j, \pm)} \geq 2 dim V_{π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, \pm)} . \end{matrix}

\begin{matrix}  \end{matrix}

Set

l = σ_{j}^{+} (j)

. Using Lemma 5.2 we find that,

T_{r + 2, l} (π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, \pm)) = π_{r} (j) π_{r} (j, \pm) α_{l, q^{2 n - i - l + 2 ι_{j} (l) - 4}},

and that

(T_{r + 2, l} (π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, \pm)))_{l} = (1 - q^{2 n - i - l + 2 ι_{j} (l) - 4} u) (1 - q^{i + l - 2 r - 2 ι_{j} (l)} u) .

It now follows from Proposition 1.9 that

dim V_{π_{r} (j) π_{r} (j, \pm)} \geq dim V_{π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, \pm)}

. Further,

σ_{j}^{+} (j) = j ⟹ (T_{r + 2, l} (π_{r + 2} (j^{'}) π_{r + 2} (j^{'}, \pm)))_{l} = (1 - q^{n - r - 2} u)^{2},

and we are done by using Proposition 1.9 once more. □ References

N. Bourbaki, Groupes et algèbres de Lie, Chapitres 4,5,6, Hermann, Paris (1968).
P. Bouwknegt, K. Pilch, On deformed W-algebras and quantum affine algebras, Adv. Theor. Math. Phys. (1998), no. 2, 357-397.
V. Chari, Braid group actions and tensor products, Internat. Math. Res. Notices (2002), no. 7, 357–382.
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.
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.
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
E. Frenkel and N. Reshetikhin, The $q$ -characters of representations of quantum affine algebras and deformations of $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.
W. Fulton and J. Harris, Representation Theory A first course, GTM 129, Springer, (1991).
D. Hernandez, Monomials of q and q,t-characters for non simply-laced quantum affinizations, preprint QA/0404187.
J. E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics 29, Cambridge University Press, 1990.
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