, ,

For

m \in Z_{\geq 0}^{k}

let

K_{l, m} (q)

be the Kostka polynomial for

s l 2

and

K_{l, m}^{(k)} (q)

be the level

k

restricted Kostka polynomial (we follow the notations in [FJKLM] ; see also [SS] ). Let

V_{m}

be the fusion product,

V_{m} = {\underset{︸}{π_{1} * \dots * π_{1} *}}_{m_{1}} \dots * {\underset{︸}{π_{k} * \dots * π_{k}}}_{m_{k}},

where

π_{i}

is irreducible

(i + 1)

-dimensional representation of

s l 2

(see [FL, FF1, CP] ).

Recall that

K_{l, m} (q)

is the

q

-multiplicity of

π_{l}

V_{m}

(see [FJKLM] ). Therefore,

K_{l, m} (q)

is equal to the character of the

s l 2

-invariants in

V_{m} \otimes π_{l}

. We consider the induced module

I n d_{s l 2}^{s l 2 \otimes C [t]} π_{l}

. Note that

V_{m} \otimes I n d_{s l 2}^{s l 2 \otimes C [t]} π_{l}

is free

s l 2 \otimes t C [t]

-module, and therefore, the relative homology

H_{0} (s l 2 \otimes C [t], s l 2; V_{m} \otimes I n d_{s l 2}^{s l 2 \otimes C [t]} π_{l})

is isomorphic to the

s l 2

-invariants in the tensor product

V_{m} \otimes π_{l}

. We obtain

\begin{matrix} K_{l, m} (q) = c h_{q} H_{0} (s l 2 \otimes C [t], s l 2; V_{m} \otimes I n d_{s l 2}^{s l 2 \otimes C [t]} π_{l}) . \end{matrix}

(1)

We now replace the induced module in 1

()

by its quotient, which is isomorphic to some irreducible integrable representation of

\hat{s l 2}

. Namely, let

L_{l, k}

0 \leq l \leq k

be the set of irreducible level

k

integrable

\hat{s l 2}

-modules. We show that

\begin{matrix} K_{l, m}^{(k)} (q) = c h_{q} H_{0} (s l 2 \otimes C [t], s l 2; V_{m} \otimes L_{l, k}^{*}), \end{matrix}

(2)

and the higher homology vanishes:

\begin{matrix} H_{p} (s l 2 \otimes C [t], s l 2; V_{m} \otimes L_{l, k}^{*}) = 0, p > 0 . \end{matrix}

(3)

We note that

L_{l, k}^{*} = U (s l 2 \otimes C [t]) \cdot v_{l, k}^{*}

(

v_{l, k}

is a highest weight vector of

L_{l, k}

Therefore,

L_{l, k}^{*}

is a quotient of

I n d_{s l 2}^{s l 2 \otimes C [t]} π_{l}

Formulas 2

()

, 3

()

and BGG resolution allows us to reobtain the alternating sum formula

K_{l, m}^{(k)} (q) = \sum_{i \geq 0} q^{(k + 2) i^{2} + (l + 1) i} K_{2 (k + 2) i + l, m} (q) - \sum_{i > 0} q^{(k + 2) i^{2} - (l + 1) i} K_{2 (k + 2) i - l - 2, m} (q) .

The left-hand side is equal to

\sum_{p \geq 0} (- 1)^{p} c h_{q} H_{p} (s l 2 \otimes C [t], s l 2; V_{m} \otimes L_{l, k})

, while the right-hand side coincides with the Euler characteristics of the certain complex, counting

H_{*} (s l 2 \otimes C [t], s l 2; V_{m} \otimes L_{l, k})

We now describe the realization of the restricted Kostka polynomials as a

q

-multiplicities.

Let

L_{m, k}

be an integrable module induced from the fusion product

V_{m}

\begin{matrix} L_{m, k} = (I n d_{s l 2 \otimes C [t]}^{\hat{s l 2}} V_{m}) / 〈 K - k, e (z)^{k + 1} 〉, \end{matrix}

(4)

where

K

is the central element. We show that this module coincides with the inductive limit of a fusion products (see [FF2] ). Recall that there exists an embedding

V_{m} \to V_{(m_{1}, \dots, m_{k - 1}, m_{k} + 2)}

. We prove that

L_{m, k} = {lim}_{s \to \infty} V_{(m_{1}, \dots, m_{k} + 2 s)}

. Consider the decomposition of

L_{m, k}

into the direct sum of irreducible modules

\begin{matrix} L_{m, k} =^{k} \oplus_{l = 0} N_{l, m} \otimes L_{l, k} \end{matrix}

(5)

(

N_{l, m}

is spanned by a highest weight vectors of the weight

l

). It was proved in [FF2] that the following equality is true in the level

k

Verlinde algebra

V^{(k)}

[1]^{m_{1}} [2]^{m_{2}} \dots [k]^{m_{k}} = [0] dim N_{0, m} + \dots + [k] dim N_{k, m},

where

[l]

corresponds to the

(l + 1)

-dimensional representation of

s l 2

. We show that the character of

N_{l, m}

coincides with a reversed Kostka polynomial

{\tilde{K}}_{l, m}^{(k)} (q) = q^{h (m)} K_{l, m}^{(k)} (q^{- 1})

for the certain function

h : Z_{\geq 0}^{k} \to Z_{\geq 0}

. This agrees with the fact that

K_{l, m}^{(k)} (1)

are the structure constants of

V^{(k)}

(see [HKKOTY, FJKLM] ).

We now apply the decomposition of

L_{m, k}

to the coset construction (see [GKO] ) to obtain the finitization of the characters of the minimal unitary Virasoro models.

This finitization is expressed in terms of Kostka polynomials (see also [ABF] , [B] , [S] ).

We give some details below. (For the connection of the branching functions and Kostka polynomials in a more general settings see [SS] . See also [K, FKRW] for the

s l_{N}

case and

W_{N}

instead of the Virasoro algebra).

The decomposition of

L_{m, k}

can be applied to the study of the coset constructions

(\hat{s l 2})_{k_{1}} \otimes \dots \otimes (\hat{s l 2})_{k_{n}} / (\hat{s l 2})_{k_{1} + \dots + k_{n}} .

For example, we can get a fermionic and bosonic formulas for the corresponding conformal theories. In this paper we are dealing with the simplest case

n = 2

and

k_{1} = 1

Consider the decomposition of the tensor product

L_{i, 1} \otimes L_{j, k} = \oplus_{l = 0}^{k + 1} N_{l} \otimes L_{l, k + 1} .

Each

N_{l}

is a representation of the Virasoro algebra. Namely, each

N_{l}

is isomorphic to the certain minimal model

M_{r, s} (k + 2, k + 3)

(see [KW] ). We prove that

L_{i, 1} \otimes L_{j, k} = {lim}_{N \to \infty} L_{(1^{N} (j + 1)), k + 1}

, where

L_{(1^{m_{1}} \dots k^{m_{k}}), k} = L_{m, k}

. This gives a finitization of the characters of

N_{l}

in terms of Kostka polynomials. We also show that the Rocha-Caridi formula for the characters of the minimal models (see [RC] ) is a corollary from the alternating sum formula. There also exists the fermionic formula for the restricted Kostka polynomials (see [SS, FJKLM] ). The limit of this formula gives the fermionic type formula for the characters of the minimal unitary models (see [B] ). As mentioned in [JMT] , the Kostka polynomials finitization for

j = 0

coincides with a finitization in [ABF] . We study this connection for the general

j

in Appendix A. We note that the fermionic formula for the Kostka polynomials naturally appears as a

q

-multiplicity in the decomposition of

L_{m, k}

. Namely, in [FF2] the defining relations in a principal subspaces were described. This gives the fermionic formula for

L_{m, k}

. We use a certain space of coinvariants to find a highest weight vectors of the weight

l

in the decomposition 5

()

. This leads to the fermionic formula for the for the character of

N_{l, m}

We finish the introduction with a discussion of a possible generalizations. Let

\hat{g}

be some affine Kac-Moody algebra. Fix

\tilde{λ} = (λ_{1}, \dots, λ_{k})

to be the vector of the highest weights of the irreducible representations

π_{λ_{i}}

g

. Let

V_{\tilde{λ}}

be the corresponding fusion product

π_{λ_{1}} * \dots * π_{λ_{k}}

(the adjoint graded space of the tensor product of the evaluation representations, which is conjecturally independent of the evaluation parameters, see [FL, FF1, K, CL] ). Let

L_{μ}

be level

k

irreducible integrable highest weight representation of

\hat{g}

with highest weight

μ

. Define

\begin{matrix} K_{μ, \tilde{λ}}^{(k)} (q) = H_{0} (g \otimes C [t], g; V_{\tilde{λ}} \otimes L_{μ}) . \end{matrix}

(6)

(As above,

g \otimes C [t]

are the generating operators in

L_{μ}

). We conjecture that this definition of the restricted Kostka polynomials coincides with one in [FJKLM] , as far as in [SW] .

Another possibility is to use the induced module as in 4

()

. Namely, the restricted Kostka polynomials can be defined as the

q

-multiplicities of the irreducible components in the decomposition of

\begin{matrix} (I n d_{g \otimes C [t]}^{\hat{g}} V_{\tilde{λ}}) / 〈 K - k, I 〉 . \end{matrix}

(7)

Here

I ↪ U (\hat{g})

is the ideal which vanishes in any highest weight integrable level

k

\hat{g}

-module.

We also mention that the level

k

in 6

()

, 7

()

can be not only integer, but also a rational number.

The paper is organized as follows:

In Section

1

, we settle our notations and collect the main properties of the fusion products.

In Section

2

, we give a homological realization of the restricted Kostka polynomials and prove the vanishing theorem for the higher homology.

In Section

3

, we derive the alternating sum formula from the BGG resolution.

Section

4

is devoted to the decomposition of

L_{m, k}

into the direct sum of irreducible modules.

In Section

5

, we obtain the finitization of the Virasoro unitary characters in terms of Kostka polynomials and describe the coinvariants approach to the fermionic formula.

In Appendix, the connection between the ABF and Kostka polynomials finitizations of the unitary characters is studied.

Acknowledgment. The first author was partially supported by the RFBR grant 04-01-00303, SS 2044.2003.2 and the INTAS grant 03-51-3350. The second named author was partially supported by the RFBR grant 03-01-00167.

1 Preliminaries

1.1 Fusion products

In this section, we fix our notations and recall the main results in [FL, FF1, FF2] .

Let

e, h, f

be the standard basis of

s l 2

, and let

\hat{s l 2}

be the affine Kac-Moody algebra,

\hat{s l 2} = s l 2 \otimes C [t, t^{- 1}] \oplus C K \oplus C d,

where

K

is the central element, and

[d, x_{i}] = - i x_{i}

. We set

x_{i} = x \otimes t^{i}

for

x \in s l 2

i \in Z

Let

π_{l}

be the

(l + 1)

-dimensional irreducible representation of

s l 2

. We fix some

n

-tuple

(z_{1}, \dots, z_{n})

of pairwise distinct complex numbers and consider the tensor product

π_{a_{1}} (z_{1}) \otimes \dots \otimes π_{a_{n}} (z_{n})

of the evaluation representations of

s l 2 \otimes C [t]

. Then the fusion product

π_{a_{1}} * \dots * π_{a_{n}}

is an adjoint graded module with respect to the filtration

F_{s} = s p a n 〈 x_{i_{1}}^{(1)} \dots x_{i_{t}}^{(t)} v_{A}, x^{(j)} \in s l 2, i_{1} + \dots + i_{t} \leq s, 〉

where

A = (a_{1}, \dots, a_{n})

and

v_{A}

is the tensor product of the lowest weight vectors of

π_{a_{i}} (z_{i})

Suppose now that

a_{i} \leq k

for any

i

. Then we also use the following notation. Let

m = (m_{1}, \dots, m_{k})

be the

k

-tuple of non-negative integers. Set

V_{m} = {\underset{︸}{π_{1} * \dots π_{1}}}_{m_{1}} * \dots * {\underset{︸}{π_{k} * \dots * π_{k}}}_{m_{k}} .

We recall that

V_{m}

is cyclic with respect to the algebra

C [e_{0}, e_{1}, \dots]

. Denote the corresponding cyclic vector by

v_{m}

(note that this vector coincide with

v_{A}

). We use the notation

u_{m}

for the cyclic vector with respect to the algebra

C [f_{0}, f_{1}, \dots]

. Note that

v_{m}

(

u_{m}

) is the vector of the minimal (maximal)

h_{0}

-eigenvalue. We recall that

V_{m}

is bigraded, namely

\begin{matrix} V_{m}^{α} = {v \in V_{m} : h_{0} v = α v}, V_{m}^{α, s} = V_{m}^{α} \cap s p a n {e_{i_{1}} \dots e_{i_{p}} v_{m} : i_{1} + \dots + i_{p} = s} . \end{matrix}

(8)

For

v \in V_{m}^{α, s}

set

{deg}_{z} v = α, {deg}_{q} v = s

, and define the character of a homogeneous subspace

V ↪ V_{m}

\begin{matrix} c h V = \sum_{α, s} dim (V \cap V_{m}^{α, s}) z^{α} q^{s}, c h_{q} V = \sum_{α, s} dim (V \cap V_{m}^{α, s}) q^{s} . \end{matrix}

(9)

We now recall some exact sequences of a fusion products. Let

1 \leq a_{1} \leq \dots \leq a_{n}

. Then there exist an exact sequences of

s l 2 \otimes C [t]

-modules:

\begin{matrix} 0 \to π_{a_{2} - a_{1}} * π_{a_{3}} * \dots * π_{a_{n}} \to π_{a_{1}} * π_{a_{2}} * \dots * π_{a_{n}} \to π_{a_{1} - 1} * π_{a_{2} + 1} * π_{a_{3}} * \dots * π_{a_{n}} \to 0 \end{matrix}

(10)

and

(11) 0 → π a 1 * ⋯ * π a n − 2 ⊗ π a n − a n − 1 → π a 1 * ⋯ * π a n → → π a 1 * ⋯ * π a n − 2 * π a n − 1 − 1 * π a n + 1 → 0 .

Now suppose that

a_{i} = a_{i + 1}

. Then we also have an exact sequence of

s l 2 \otimes C [t]

-modules

(12) 0 → π a 1 * ⋯ * π a i − 1 * π a i + 2 * ⋯ * π a n → π a 1 * ⋯ * π a n → → π a 1 * ⋯ * π a i − 1 * π a i − 1 * π a i + 1 + 1 * π a i + 2 * ⋯ * π a n → 0 .

We note that each of 10 11

(), ()

, and 12

()

contains the piece

π_{a_{1}} * \dots * π_{a_{n}} \to π_{a_{1}} * \dots * π_{a_{i - 1}} * π_{a_{i} - 1} * π_{a_{i + 1} + 1} * π_{a_{i + 2}} * \dots * π_{a_{n}}

in some special case. For the general case see [FF3] .

We now recall some facts about a subspace

C [e_{1}, e_{2}, \dots] \cdot v_{A} ↪ π_{a_{1}} * \dots * π_{a_{n}} .

Note that

C [e_{1}, e_{2}, \dots] \cdot v_{A}

is invariant with respect to the subalgebra

a_{1} ↪ s l 2 \otimes C [t]

generated by

e_{1}

and

f_{0}

. Let

a_{2} ↪ s l 2 \otimes C [t]

be the subalgebra generated by

e_{0}

and

f_{1}

Fix an isomorphism

ı : a_{1} \to a_{2}

sending

e_{1}

e_{0}

and

f_{0}

f_{1}

. Then we have an isomorphism of

a_{2}

-modules

\begin{matrix} C [e_{1}, e_{2}, \dots] \cdot v_{A} ≃ π_{a_{1}} * \dots * π_{a_{n - 1}}, \end{matrix}

(13)

where the action of

a_{2}

on the left-hand side is a composition of

ı^{- 1}

and the natural action of

a_{1}

. In addition we have an exact sequence of

a_{1}

-modules

\begin{matrix} 0 \to C [e_{1}, e_{2}, \dots] \cdot v_{A} \to π_{a_{1}} * \dots * π_{a_{n}} \to π_{a_{1}} * \dots * π_{a_{n} - 1} \to 0 . \end{matrix}

(14)

We describe an inductive limits of a fusion products. Using 12

()

we obtain a sequence of embeddings

\begin{matrix} V_{(m_{1}, \dots, m_{k})} ↪ V_{(m_{1}, \dots, m_{k} + 2)} ↪ V_{(m_{1}, \dots, m_{k} + 4)} ↪ \dots . \end{matrix}

(15)

We denote the inductive limit of 15

()

L_{m, k}

. This space can be endowed with the structure of a level

k

integrable

\hat{s l 2}

-module (the action of the affine algebra is compatible with the natural action of the annihilation operators

s l 2 \otimes C [t]

). We consider the decomposition

\begin{matrix} L_{m, k} = L_{0, k} \otimes N_{0, m} \oplus \dots \oplus L_{k, k} \otimes N_{k, m}, \end{matrix}

(16)

where

L_{i, k}

0 \leq i \leq k

are level

k

irreducible highest weight representations of

\hat{s l 2}

with a highest weight vectors

v_{i, k}

h_{0} v_{i, k} = i v_{i, k}

K v_{i, k} = k v_{i, k}

d v_{i, k} = 0

. Then the dimensions of

N_{l, m}

are given in terms of the level

k

Verlinde algebra

V^{(k)}

for

s l 2

. Let

[0], [1], \dots, [k]

be a basis of

V^{(k)}

(

[l]

corresponds to the

(l + 1)

-dimensional representation of

s l 2

). Introduce the notation

\begin{matrix} [1]^{m_{1}} [2]^{m_{2}} \dots [k]^{m_{k}} = [0] c_{0, m} + \dots + [k] c_{k, m} . \end{matrix}

(17)

The following theorem is proved in [FF2] .

Theorem 1.1. We have an equality

\begin{matrix} dim N_{l, m} = c_{l, m} . \end{matrix}

(18)

We finish this subsection with a remark on our characters notations. For any homogeneous

V ↪ L_{m, k}

set

c h V (z, q) = \sum_{α, s} z^{α} q^{s} dim {v \in V : h_{0} v = α v, d v = s v}, c h_{q} V = c h V (1, q) .

We recall that the character

c h_{q} V_{m}

is given by 9

()

. We also need the ”reversed” character, coming from the embedding

ȷ : V_{m} ↪ L_{m, k}

. Namely, set

{\tilde{c h}}_{q} V_{m} (q) = c h_{q} (ȷ \cdot V_{m}) .

Obviously,

{\tilde{c h}}_{q} V_{m} (q) = q^{h (m)} c h_{q} V_{m} (q^{- 1})

for some

h : Z_{\geq 0}^{k} \to Z_{\geq 0}

(see Lemma 5.5 for the computation of

h (m)

1.2 The Weyl group and the Kostka polynomials

We first settle our notations concerning

\hat{s l 2}

(see [Kac] ). Let

h = s p a n {h_{0}, K, d} ↪ \hat{s l 2}

be the Cartan subalgebra,

n

be the nilpotent subalgebra,

n = s l 2 \otimes t^{- 1} C [t^{- 1}] \oplus C f_{0}

, and

u = s l 2 \otimes t^{- 1} C [t^{- 1}]

. Let

s_{0}, s_{1} \in W

be the simple reflections, where

W

is the Weyl group of

\hat{s l 2}

. Let

ρ \in h^{*}

be the element, defined by

ρ (α_{i}^{\lor}) = 1

i = 0, 1

, where

α_{0}^{\lor}

and

α_{1}^{\lor}

are the simple coroots. We set

w * α = w (α + ρ) - ρ

for the shifted action of the Weyl group on

h^{*}

. Define

(i, k, m) \in h^{*}

(i, k, m) h_{0} = i

(i, k, m) K = k

, and

(i, k, m) d = m

. Then

ρ = (1, 2, 0)

and

\begin{matrix} s_{0} * (i, k, m) = (- i + 2 k + 2, k, m + k - i + 1), s_{1} * (i, k, m) = (- i - 2, k, m) . \end{matrix}

(19)

The following lemma gives the shifted action of an arbitrary element of

W

h^{*}

Lemma 1.1.

a) . s_{0} (s_{1} s_{0})^{n} (i, k, m) = (- i - 2 + 2 (n + 1) (k + 2), k, m + (n + 1)^{2} (k + 2) - (n + 1) (i + 1)) .

b) . (s_{0} s_{1})^{n} (i, k, m) = (i + 2 n (k + 2), k, m + n^{2} (k + 2) + n (i + 1)) .

c) . s_{1} (s_{0} s_{1})^{n} (i, k, m) = (- i - 2 - 2 n (k + 2), k, m + n^{2} (k + 2) + n (i + 1)) .

d) . (s_{1} s_{0})^{n} (i, k, m) = (i - 2 n (k + 2), k, m + n^{2} (k + 2) - n (i + 1)) .

In our paper we use the notatations for the Kostka polynomials as in [FJKLM] .

Let us recall the connection between the notations in [SS] and [FJKLM] . For

m \in (N \cup 0)^{k}

we set

| m | = \sum_{i = 1}^{k} i m_{i}, 2 ∥ m ∥ = - | m | + \sum_{1 \leq i, j \leq k} min (i, j) m_{i} m_{j} .

Now let

0 \leq l \leq k

. Denote

λ = (\frac{| m | + l}{2}, \frac{| m | - l}{2}), R (m) = (k^{m_{k}}, \dots, 1^{m_{1}}) .

We have

K_{l, m} (q) = q^{∥ m ∥} K_{λ R (m)} (q^{- 1}), K_{l, m}^{(k)} (q) = q^{∥ m ∥} K_{λ R (m)}^{k} (q^{- 1}),

where the right-hand side stands for the Kostka and level-restricted Kostka polynomials in the notations of [SS] .

2 The homological realization of the Kostka polynomials

In this section, we consider the fusion product

V_{m}

s l 2 \otimes C [t^{- 1}]

-module via the isomorphism

s l 2 \otimes C [t^{- 1}] \to s l 2 \otimes C [t] x_{i} \mapsto x_{- i} .

Our goal is to show that

\begin{matrix} c h_{q} H_{p} (n, V_{m} \otimes L_{l, k})^{0} = δ_{0, p} K_{l, m}^{(k)} (q), \end{matrix}

(20)

where

H_{p} (n, V_{m} \otimes L_{l, k})^{α}

denotes an eigenspace of the operator

h_{0}

with an eigenvalue

α

. To prove this statement in the case

p = 0

we use the theorem in [FJKLM] :

Theorem 2.1.

c h_{q} V_{m} / 〈 h_{0} + l, e_{0}, e_{- 1}^{k - l + 1} 〉 = K_{l, m}^{(k)} (q)

Lemma 2.1.

c h_{q} H_{0} (n, V_{m} \otimes L_{l, k})^{0} = K_{l, m}^{(k)} (q) .

Proof. In view of Theorem 2.1

it is enough to prove that

c h_{q} H_{0} (n, V_{m} \otimes L_{l, k})^{0} = c h_{q} V_{m} / 〈 h_{0} + l, e_{0}, e_{- 1}^{k - l + 1} 〉 .

We recall a first terms of the BGG-resolution

\begin{matrix} 0 \leftarrow L_{l, k} \leftarrow M_{(l, k, 0)} \leftarrow - \partial M_{(- l - 2, k, 0)} \oplus M_{(- l + 2 k + 2, k, k - l + 1)} \leftarrow \dots, \end{matrix}

(21)

where

M_{α}

is the Verma module with the highest weight

α

. We set

v_{α}

to be the highest weight vector of

M_{α}

. Note that the differential

\partial

is given by

\begin{matrix} \partial v_{(- l - 2, k, 0)} = f_{0}^{l + 1} v_{(l, k, 0)}, \partial v_{(- l + 2 k + 2, k, k - l + 1)} = e_{- 1}^{k - l + 1} v_{(l, k, 0)} . \end{matrix}

(22)

We tensor 21

()

V_{m}

and obtain the free resolution of the

n

-module

L_{l, k} \otimes V_{m}

0 \leftarrow L_{l, k} \otimes V_{m} \leftarrow M_{(l, k, 0)} \otimes V_{m} \leftarrow (M_{(- l - 2, k, 0)} \oplus M_{(- l + 2 k + 2, k, k - l + 1)}) \otimes V_{m} \leftarrow \dots .

Therefore,

H_{0} (n, V_{m} \otimes L_{l, k})^{0}

is isomorphic to the homology of the complex

0 \leftarrow {[C \otimes_{U (n)} (M_{(l, k, 0)} \otimes V_{m})]}^{0} \leftarrow \leftarrow {[C \otimes_{U (n)} (M_{(- l - 2, k, 0)} \otimes V_{m} \oplus M_{(- l + 2 k + 2, k, k - l + 1)} \otimes V_{m})]}^{0},

where

U (n)

is the universal enveloping algebra. We note that

M_{(i, k, m)}

is a free

U (n)

-module with one generator with

z

-degree

i

. Hence, because of 22

()

H_{0} (n, V_{m} \otimes L_{l, k})^{0} ≃ V_{m} / 〈 f_{0}^{l + 1}, e_{- 1}^{k - l + 1}, h_{0} + l 〉 .

But

{[V_{m} / 〈 f_{0}^{l + 1} 〉]}^{- l} ≃ {[V_{m} / 〈 e_{0} 〉]}^{- l} .

This finishes the proof of the lemma. □

Our next step is the proof of the statement 20

()

in the case

m_{1} + \dots + m_{k} = 1

, i.e., when

V_{m}

is a single representation

π_{n}

. For this, we first recall the homology of

u

Lemma 2.2.

H_{p} (u, L_{l, k})

is isomorphic to

π_{p (k + 2) + l}

for even

p

and to

π_{p (k + 2) + k - l}

for odd

p

as a representation of

s l 2

Proof. We recall (see [GL] ,[Kum] ) that $H_{p} (u, L_{l, k})$ is irreducible $s l 2$ -module with the highest weight $(w_{p} * (l, k, 0)) (h_{0})$ , where $w_{p} = {\underset{︸}{s_{0} s_{1} s_{0} \dots}}_{p}$ . But Lemma 1.1 gives that $(w_{p} * (l, k, 0)) (h_{0}) = p (k + 2) + l + 1$ for even $p$ and $(w_{p} * (l, k, 0)) (h_{0}) = p (k + 2) + k - l + 1$ for odd $p$ . □

Proposition 2.1.

H_{p} (n, π_{n} \otimes L_{l, k})^{0}

is one-dimensional if

p is even and n = p (k + 2) + l o r p is odd and n = p (k + 2) + k - l,

and vanishes otherwise.

Proof. We note that $u$ is an ideal in $n$ . Consider the Hochschild-Serre spectral sequence (see [CE] ) with $E_{p, q}^{2} = H_{p} (n / u, H_{q} (u, π_{n} \otimes L_{l, k})) .$ We first note that $u$ acts trivially on $π_{n}$ . Therefore, $H_{q} (u, π_{n} \otimes L_{l, k}) ≃ π_{n} \otimes H_{q} (u, L_{l, k}) .$ In addition, $n / u$ is one-dimensional algebra $C f_{0}$ . We obtain that
(23) dim H p ( n , π n ⊗ L l , k ) 0 = dim c o k e r ( [ π n ⊗ H p ( u , L l , k ) ] 0 ← − f 0 [ π n ⊗ H p ( u , L l , k ) ] 2 ) + dim ker ( [ π n ⊗ H p − 1 ( u , L l , k ) ] 0 ← − f 0 [ π n ⊗ H p − 1 ( u , L l , k ) ] 2 ) .
This gives that $dim H_{p} (n, π_{n} \otimes L_{l, k})^{0}$ vanishes unless $n + 1 = dim H_{p} (u, L_{l, k})$ , and in this case (because of Lemma 2.2 ) the dimension is equal to $1$ for $n = p (k + 2) + l$ with even $p$ or $n = p (k + 2) + k - l$ with odd $p$ . Proposition is proved. □

From the proof of the proposition we obtain the following corollary.

Corollary 2.1.

H_{p} (n, π_{n} \otimes L_{l, k})^{- 1} = 0

for any

p, n \geq 0

Proof. We note that for any $n, n_{1} \geq 0$ the operator $f_{0} : {[π_{n} \otimes π_{n_{1}}]}^{1} \to {[π_{n} \otimes π_{n_{1}}]}^{- 1}$ is an isomorphism. Now our corollary follows from the formula 23 $()$ . □

Corollary 2.2. For any

m \in (N \cup 0)^{k^{'}}

we have

H_{p} (n, V_{m} \otimes L_{l, k})^{- 1} = 0

p \geq 0

Proof. Our corollary follows from Corollary 2.1 and a fact that $V_{m}$ has a filtration such that each quotient is irreducible finite-dimensional $s l 2$ -module. □

Remark 2.1. We note that Corollary 2.2

p = 0

follows from the exact sequence 21

()

. In fact, in the same way as in the proof of Lemma 2.1

we get

H_{0} (n, V_{m} \otimes L_{l, k})^{- 1} ≃ V_{m} / 〈 e_{- 1}^{k - l + 1}, f_{0}^{l + 1}, h_{0} + l + 1 〉 .

But for any

v \in V_{m} \otimes L_{l, k}

with

h_{0} v = - (l + 1) v

there exists

v_{1} \in V_{m} \otimes L_{l, k}

such that

v = f_{0}^{l + 1} v_{1}

. Therefore,

H_{0} (n, V_{m} \otimes L_{l, k})^{- 1} = 0

To prove that

H_{p} (n, V_{m} \otimes L_{l, k})^{0} = 0

for

p > 0

we need one more technical lemma.

Let

m

be some

k^{'}

-tuple with

m_{s} \neq 0

and

m_{s + 1} = \dots = m_{k^{'}} = 0

. Introduce the notation for

k^{'}

-tuple

m^{1} = (m_{1}, \dots, m_{s} - 1, 0, \dots, 0) .

We set

{\tilde{V}}_{m^{1}} = U (n) \cdot v_{m} ↪ V_{m}

(recall that in this section fusion products are considered as a modules over the generating operators

x_{i}

i \leq 0

Lemma 2.3.

H_{p} (n, {\tilde{V}}_{m^{1}} \otimes L_{l, k})^{α} ≃ H_{p} (n, V_{m^{1}} \otimes L_{k - l, k})^{k - s - α} .

Proof. Consider the Lie algebra automorphism $φ : n \to n$ , $φ (e_{- 1}) = f_{0}$ , $φ (f_{0}) = e_{- 1}$ . We note that $φ$ induces an automorphism of the universal enveloping algebra $U (n)$ . Denote this automorphism by the same letter. Let $v_{l, k}$ be the highest weight vector of $L_{l, k}$ and $v_{m}, u_{m} \in V_{m}$ to be the lowest and highest (with respect to the operator $h_{0}$ ) weight vectors. Then we have the isomorphism of the spaces $I : {\tilde{V}}_{m^{1}} \otimes L_{l, k} \to V_{m^{1}} \otimes L_{k - l, k}$ defined by $x (v_{m}) \otimes y (v_{l, k}) \mapsto φ (x) u_{m^{1}} \otimes φ (y) v_{k - l, k}, x, y \in U (n) .$ We note that $I$ is the isomorphism of $n$ -modules, where the action of $n$ on $V_{m^{1}} \otimes L_{k - l, k}$ is a composition of $φ$ and a standard action.
We need to show that $I$ identifies $({\tilde{V}}_{m^{1}} \otimes L_{l, k})^{α}$ and $(V_{m^{1}} \otimes L_{k - l, k})^{k - s - α} .$ Note that $[h_{0}, φ (f_{0})] = 2 φ (f_{0})$ and $[h_{0}, φ (e_{- 1})] = - 2 φ (e_{- 1})$ . Therefore, for $x \in U (n)$ with $[h_{0}, x] = β x$ ( $β \in C$ ) we have $[h_{0}, φ (x)] = - β φ (x)$ . In addition, in view of $h_{0} v_{m} = (- \sum_{i = 1}^{k^{'}} i m_{i}) v_{m}$ and $h_{0} u_{m} = (\sum_{i = 1}^{k^{'}} i m_{i}) u_{m}$ , we obtain
(24) h 0 ( v m ⊗ v l , k ) = ( l − ∑ i = 1 k ′ i m i ) v m ⊗ v l , k , h 0 ( I ( v m ⊗ v l , k ) ) = h 0 ( u m 1 ⊗ v k − l , k ) = ( ∑ i = 1 k ′ i m i 1 + k − l ) v m ⊗ v l , k = ( − l + ∑ i = 1 k ′ i m i + k − s ) v m ⊗ v l , k .
This finishes the proof of the lemma. □

Corollary 2.3. Let

m \in Z_{\geq 0}^{k + 1}

m_{k + 1} \neq 0

. Then

H_{p} (n, V_{m} \otimes L_{l, k})^{0} = 0

for any

p \geq 0

Proof. We set $m^{1} = (m_{1}, \dots, m_{k + 1} - 1)$ , $m^{2} = (m_{1}, \dots, m_{k} + 1, m_{k + 1} - 1)$ . Recall the exact sequence 14 $()$ of $n$ -modules $0 \to {\tilde{V}}_{m^{1}} \to V_{m} \to V_{m^{2}} \to 0 .$ We note that the map $V_{m} \to V_{m^{2}}$ is defined by $u_{m} \mapsto u_{m^{2}}$ (because $V_{m}$ is cyclic $n$ -module with the cyclic vector $u_{m}$ ). In addition, ${deg}_{z} u_{m^{2}} = {deg}_{z} u_{m} - 1$ .
Therefore, for any $α$ we obtain an exact sequence $0 \to {\tilde{V}}_{m^{1}}^{α} \to V_{m}^{α} \to V_{m^{2}}^{α - 1} \to 0 .$ This gives an exact sequence of homology
(25) 0 ← H 0 ( n , V m 2 ⊗ L l , k ) α − 1 ← H 0 ( n , V m ⊗ L l , k ) α ← H 0 ( n , V ~ m 1 ⊗ L l , k ) α ← H 1 ( n , V m 2 ⊗ L l , k ) α − 1 ← ⋯
Now let $α = 0$ . Then because of Lemma 2.3 and Corollary 2.2 we obtain $H_{p} (n, V_{m^{2}} \otimes L_{l, k})^{- 1} = 0, H_{p} (n, {\tilde{V}}_{m^{1}} \otimes L_{l, k})^{0} ≃ H_{p} (n, V_{m^{1}} \otimes L_{k - l, k})^{k - k - 1} = 0 .$ In view of the exact sequence 25 $()$ our corollary is proved. □

We now prove the main theorem of this section.

Theorem 2.2. Let

m \in Z_{\geq 0}^{k}

. Then

c h_{q} H_{p} (n, V_{m} \otimes L_{l, k})^{0} = δ_{0, p} K_{l, m}^{(k)} (q) .

Proof. Because of Lemma 2.1

we only need to prove that

H_{p} (n, V_{m} \otimes L_{l, k})^{0}

vanishes for

p > 0

. We use the induction on

m

. We order a

k

-tuples by the rule

m > n if \sum_{i = 1}^{k} m_{i} > \sum_{i = 1}^{k} n_{i} or \sum_{i = 1}^{k} m_{i} = \sum_{i = 1}^{k} n_{i} {and}^{k} \prod_{i = 1} i^{m_{i}} > \sum_{i = 1}^{k} i^{n_{i}} .

For

\sum_{i = 1}^{k} m_{i} = 1

our theorem follows from Proposition 2.1

. Now let

V_{m} = π_{a_{1}} * \dots * π_{a_{n}}

and

1 \leq a_{1} \leq \dots \leq a_{n}

. We recall the exact sequence 10

()

\begin{matrix} 0 \to π_{a_{2} - a_{1}} * π_{a_{3}} * \dots * π_{a_{n}} \to π_{a_{1}} * π_{a_{2}} * \dots * π_{a_{n}} \to π_{a_{1} - 1} * π_{a_{2} + 1} * π_{a_{3}} * \dots * π_{a_{n}} \to 0 . \end{matrix}

(26)

We denote the first fusion product in 26

()

V_{m^{(1)}}

and the third one by

V_{m^{(2)}}

From 26

()

we obtain a long exact sequence

(27) 0 ← H 0 ( n , V m ( 2 ) ⊗ L l , k ) ← H 0 ( n , V m ⊗ L l , k ) ← H 0 ( n , V m ( 1 ) ⊗ L l , k ) ← H 1 ( n , V m ( 2 ) ⊗ L l , k ) ← H 1 ( n , V m ⊗ L l , k ) ← H 1 ( n , V m ( 1 ) ⊗ L l , k ) ← ⋯

We note that

m^{(1)} < m

, and therefore,

H_{p} (n, V_{m^{(1)}} \otimes L_{l, k})^{0}

vanishes for

p > 0

by induction assumption. In addition,

m^{(2)} < m

, and

V_{m^{(2)}}

is either the fusion product of the representations of dimension at most

k + 1

or one of the fused representations is of the dimension

k + 2

. In the latter case Corollary 2.3

gives the vanishing of the higher homology. Hence, because of the exact sequence 27

()

, the theorem is proved. □

Corollary 2.4. We have

c h_{q} H_{p} (s l 2 \otimes C [t^{- 1}], s l 2; V_{m} \otimes L_{l, k}) = δ_{0, p} K_{l, m}^{(k)} (q) .

Proof. We note that as $s l 2$ -module $V_{m} \otimes L_{l, k}$ decomposes into the direct sum of finite-dimensional representatations. Therefore, $c h_{q} H_{p} (s l 2 \otimes C [t^{- 1}], s l 2; V_{m} \otimes L_{l, k}) = c h_{q} (H_{p} (u, V_{m} \otimes L_{l, k})^{s l 2})$ (the right-hand side is a subspace of $s l 2$ -invariants). In view of the Hochschild-Serre spectral sequence we also obtain $H_{p} (n, V_{m} \otimes L_{l, k})^{0} = H_{0} (C f_{0}, H_{p} (u, V_{m} \otimes L_{l, k}))^{0} = H_{p} (u, V_{m} \otimes L_{l, k})^{s l 2} .$ Corollary is proved. □

Remark 2.2. We note that our theorem concerns only the case of a homology with the coefficients in

π_{a_{1}} * \dots * π_{a_{n}} \otimes L_{l, k}

with

a_{i} \leq k

. For the general

a_{i}

a corresponding homology are not concentrated in one dimension.

3 BGG resolution and alternating sum formula for Kostka polynomials

In this section, we give a homological interpretation of the alternating sum formula (see [SS, FJKLM] )

\begin{matrix} K_{l, m}^{(k)} (q) = \sum_{i \geq 0} q^{(k + 2) i^{2} + (l + 1) i} K_{2 (k + 2) i + l, m} (q) - \sum_{i > 0} q^{(k + 2) i^{2} - (l + 1) i} K_{2 (k + 2) i - l - 2, m} (q) . \end{matrix}

(28)

We note that in view of Theorem 2.2

the left-hand side coincides with the Euler characteristics

\sum_{p \geq 0} (- 1)^{p} dim H_{p} (n, V_{m} \otimes L_{l, k})^{0}

. The idea is that the right-hand side is also the Euler characteristics of the complex, counting the homology

H_{p} (n, V_{m} \otimes L_{l, k})^{0}

Consider the BGG-resolution of

L_{l, k}

(see [BGG, Kum] )

\begin{matrix} 0 \leftarrow L_{l, k} \leftarrow F_{0} \leftarrow F_{1} \leftarrow \dots, F_{p} = \oplus_{l (w) = p} M (w * (l, k, 0)), \end{matrix}

(29)

where

l (w)

is a length of the element of the Weyl group of

\hat{s l 2}

. Tensoring 29

()

with

V_{m}

we obtain the resolution for

V_{m} \otimes L_{l, k}

. Therefore, the following complex counts

H_{*} (n, V_{m} \otimes L_{l, k})^{0}

\begin{matrix} 0 \leftarrow (C \otimes_{U (n)} (F_{0} \otimes V_{m}))^{0} \leftarrow (C \otimes_{U (n)} (F_{1} \otimes V_{m}))^{0} \leftarrow \dots \end{matrix}

(30)

Recall that

F_{p}

is free

U (n)

-module. Therefore, we can rewrite 30

()

0 \leftarrow ((C \otimes_{U (n)} F_{0}) \otimes V_{m})^{0} \leftarrow ((C \otimes_{U (n)} F_{1}) \otimes V_{m})^{0} \leftarrow \dots

Lemma 3.1.

c h_{q} ((C \otimes_{U (n)} F_{p}) \otimes V_{m})^{0} = \sum_{l (w) = p} q^{(w * (l, k, 0)) d} c h_{q} V_{m}^{- (w * (l, k, 0)) h_{0}}

Proof. $F_{p}$ is a free $U (n)$ -modules with a generators labeled by $w$ such that $l (w) = p$ .
In addition, the $z$ -degree of the generator equals to $(w * (l, k, 0)) h_{0}$ . This proves our lemma. □

Lemma 3.2.

K_{l, m} (q) = c h_{q} V_{m} / 〈 e_{0}^{l + 1}, h_{0} + l 〉

, i.e.,

K_{l, m} (q)

is a

q

-multiplicity of

π_{l}

in decomposition of

V_{m}

s l 2

-module to the irreducible components.

Proof. Follows from Theorem 2.1 and a fact ${lim}_{k \to \infty} K_{l, m}^{(k)} (q) = K_{l, m} (q)$ . □

Corollary 3.1.

K_{l, m} (q) = c h_{q} V_{m}^{l} - c h_{q} V_{m}^{l + 2} .

Proposition 3.1.

(31) ∑ p ≥ 0 ( − 1 ) p c h q ( C ⊗ U ( n ) ( F p ⊗ V m ) ) 0 = ∑ p ≥ 0 q ( k + 2 ) p 2 + ( l + 1 ) p K 2 ( k + 2 ) p + l , m − ∑ p > 0 q ( k + 2 ) p 2 − ( l + 1 ) p K 2 ( k + 2 ) p − l − 2 , m .

Proof. In view of Lemma 3.1 and Lemma 1.1 we obtain that the left-hand side of 31 $()$ is equal to
$\sum_{p \geq 0} (q^{(p + 1)^{2} (k + 2) - (p + 1) (l + 1)} c h_{q} (V_{m})^{2 p (k + 2) - l} + q^{p^{2} (k + 2) + p (l + 1)} c h_{q} (V_{m})^{- 2 p (k + 2) - l}) - \sum_{p \geq 0} (q^{(p + 1)^{2} (k + 2) - (p + 1) (l + 1)} c h_{q} (V_{m})^{- (2 p + 1) (k + 2) + l - k} + q^{p^{2} (k + 2) + p (l + 1)} c h_{q} (V_{m})^{(2 p + 1) (k + 2) - k + l}) = \sum_{p \geq 0} q^{p^{2} (k + 2) + p (l + 1)} (c h_{q} (V_{m})^{2 p (k + 2) + l} - c h_{q} (V_{m})^{2 p (k + 2) + l + 2}) + \sum_{p \geq 1} q^{p^{2} (k + 2) - p (l + 1)} (c h_{q} (V_{m})^{2 p (k + 2) - l} - c h_{q} (V_{m})^{2 p (k + 2) - l - 2}) = \sum_{p \geq 0} q^{p^{2} (k + 2) + p (l + 1)} K_{2 p (k + 2) + l, m} (q) - \sum_{p \geq 1} q^{p^{2} (k + 2) - p (l + 1)} K_{2 p (k + 2) - l - 2, m} (q),$
where Corollary 3.1 is used. □

As a corollary we obtain the alternating sum formula 28

()

4 The decomposition of $L_{m, k}$

We introduce the notations

{\tilde{K}}_{l, m} (q)

and

{\tilde{K}}_{l, m}^{(k)} (q)

for the ”reversed” Kostka polynomials:

\begin{matrix} {\tilde{K}}_{l, m}^{(k)} (q) = q^{h (m)} K_{l, m}^{(k)} (q^{- 1}), {\tilde{K}}_{l, m} (q) = q^{h (m)} K_{l, m} (q^{- 1}), \end{matrix}

(32)

where

h (m) = max {{deg}_{q} v, v \in V_{m}}

(see Lemma 5.5

for the computation of

h (m)

). Therefore, a ”reversed' polynomials are Kostka polynomials in notations in [SS] up to a power of

q

We recall the decomposition 16

()

L_{m, k} = L_{0, k} \otimes N_{0, m} \oplus \dots \oplus L_{k, k} \otimes N_{k, m} .

Lemma 4.1.

c h_{q} N_{l, m} = {\tilde{K}}_{l, m}^{(k)} (q)

Proof. We first note that

K_{l, m}^{(k)} (1) = dim N_{l, m}

, because both sides are a structure constants of the Verlinde algebra (see 18

()

We show that

c h_{q} N_{l, m} = {\tilde{c h}}_{q} V_{m} / 〈 f_{0}, h_{0} - l, f_{1}^{k - l + 1} 〉

. Recall that

L_{m, k} = {lim}_{s \to \infty} V_{m (s)}

, where

m (s) = (m_{1}, \dots, m_{k - 1}, m_{k} + 2 s)

. We denote

N_{l, m}^{s} = {v \in L_{m, k} : e_{0} v = f_{1} v = 0, h_{0} v = l v, v \in V_{m (s)}} .

Note that

N_{l, m}^{s}

is a subspace of the space of the highest weight vectors of the weight

l

. Therefore, any

v \in N_{l, m}^{s}

is not the element of

〈 f_{0}, h_{0} - l, f_{1}^{k - l + 1} 〉 V_{m}

(because for the highest weight vector

v_{l, k} \in L_{l, k}

we have

v_{l, k} / \in 〈 f_{0}, h_{0} - l, f_{1}^{k - l + 1} 〉 L_{l, k}

). We thus obtain that

c h_{q} N_{l, m}^{s} \leq c h_{q} V_{m (s)} / 〈 f_{0}, h_{0} - l, f_{1}^{k - l + 1} 〉

(the difference of the right-hand side and left-hand side is a polynomial with a nonnegative coefficients). In addition, there exists

s_{0}

such that

N_{l, m}^{s_{0}} = N_{l, m}

Hence,

c h_{q} N_{l, m} \leq {\tilde{K}}_{l, m (s_{0})}^{(k)} (q)

. Let

c_{l, m}

denote the structure constants of the level

k

Verlinde algebra:

[1]^{m_{1}} \dots [k]^{m_{k}} = \sum_{l = 0}^{k} c_{l, m} [l] .

In view of

[k]^{2} = [0]

we get

c h_{q} N_{l, m} (1) = c_{l, m} = {\tilde{K}}_{l, m (s_{0})}^{(k)} (1)

(for the second equality see [HKKOTY] , [FJKLM] ). Therefore, there exists

s_{0}

such that

c h_{q} N_{l, m} = {\tilde{K}}_{l, m (s_{0})}^{(k)} (q) .

To complete the proof we need to show that

\begin{matrix} {\tilde{K}}_{l, m}^{(k)} (q) = {\tilde{K}}_{l, m (1)}^{(k)} (q) . \end{matrix}

(33)

We recall an exact sequence of

s l 2 \otimes C [t]

-modules

0 \to V_{m} \to V_{m (1)} \to V_{(m_{1}, \dots, m_{k - 2}, m_{k - 1} + 1, m_{k}, 1)} \to 0 .

Because of Corollary 2.3

the corresponding long exact sequence of

n

-homology is of the form

0 \leftarrow 0 \leftarrow H_{0} (n, V_{m (1)} \otimes L_{l, k})^{0} \leftarrow H_{0} (n, V_{m} \otimes L_{l, k})^{0} \leftarrow 0 \leftarrow \dots .

Because of Lemma 2.1

the equation 33

()

is shown. □

We finish this section with the identification of

L_{m, k}

with the induced module from the fusion product

V_{m}

. We first need one lemma.

Lemma 4.2. Let

1 \leq a_{1} \leq \dots \leq a_{n}

and

a_{n} \geq k + 1

. Then

π_{a_{1}} * \dots π_{a_{n}} / 〈 e_{0}, h_{0} + l, e_{1}^{k - l + 1} 〉 = 0

for any

0 \leq l \leq k

Proof. We prove our lemma by induction on a pair $(n, \prod_{i = 1}^{n} a_{i})$ . We set $(n_{1}, s_{1}) > (n_{2}, s_{2})$ if $n_{1} > n_{2}$ or $n_{1} = n_{2}$ and $s_{1} > s_{2}$ . Let $n = 1$ . Then for any $0 \leq l \leq k$ we have $π_{a} / 〈 h_{0} + l, e_{0} 〉 = 0$ if $a \geq k + 1$ . We now consider an exact sequence of $s l 2 \otimes C [t]$ -modules $0 \to π_{a_{2} - a_{1}} * π_{a_{3}} * \dots * π_{a_{n}} \to π_{a_{1}} * \dots * π_{a_{n}} \to π_{a_{1} - 1} * π_{a_{2} + 1} * π_{a_{3}} * \dots * π_{a_{n}} \to 0 .$ By induction assumption our lemma is true for the submodule and for the quotient module. Therefore, it also holds for $π_{a_{1}} * \dots * π_{a_{n}}$ . □

Proposition 4.1. Let

m \in Z_{\geq 0}^{k}

. Then

\begin{matrix} L_{m, k} = (I n d_{s l 2 \otimes C [t]}^{\hat{s l 2}} V_{m}) / 〈 e (z)^{k + 1}, K - k 〉, \end{matrix}

(34)

where the right-hand side is the quotient of the induced module (with fixed

K = k

) by the action of the coefficients of the series

e (z)^{k + 1} = (\sum_{i} e_{i} z^{i})^{k + 1}

. In addition

\begin{matrix} (I n d_{s l 2 \otimes C [t]}^{\hat{s l 2}} π_{a_{1}} * \dots * π_{a_{n}}) / 〈 e (z)^{k + 1}, K - k 〉 = 0, \end{matrix}

(35)

a_{1} \leq \dots \leq a_{n}

and

a_{n} \geq k + 1

Proof. Note that the right-hand side of 34 $()$ is a level $k$ integrable $\hat{s l 2}$ -module (because $e (z)^{k}$ acts by $0$ ). Therefore, it can be decomposed into the direct sum of irreducible modules $L_{l, k}$ . We show 34 $()$ by checking that the $q$ -multiplicity of $L_{l, k}$ is equal to ${\tilde{c h}}_{q} V_{m} / 〈 e_{0}, h_{0} + l, e_{1}^{k - l + 1} 〉$ .
Consider an $\hat{s l 2}$ homomorphisms from $L_{l, k}$ to the right-hand side of 34 $()$ . They coincide with the homomorphisms $L_{l, k} \to I n d_{s l 2 \otimes C [t]}^{\hat{s l 2}} V_{m} / 〈 K - k 〉$ , which are labeled by an elements of the quotient $V_{m} / 〈 e_{0}, h_{0} + l, e_{1}^{k - l + 1} 〉$ (because of the highest weight condition for $L_{l, k}$ ). The first part of our proposition is verified.
We note that 35 $()$ can be checked in the same manner, taking into account Lemma 4.2 . □

5 The Virasoro unitary models

5.1 The alternating sum formula.

We first recall the coset construction (see [GKO] ). Consider the decomposition of the tensor product

L_{i, 1} \otimes L_{j, k}

into the sum of irreducible

\hat{s l 2}

-modules

L_{i, 1} \otimes L_{j, k} =^{k + 1} \oplus_{l = 0} N_{l} \otimes L_{l, k + 1},

where

N_{l}

is spanned by a highest weight vectors of the weight

l

. Let

L_{i}^{(1)}, L_{i}^{(2)}

and

L_{i}^{d i a g}

be the Sugawara operators, acting on

L_{i, 1}

L_{j, k}

and

L_{i, 1} \otimes L_{j, k}

. Then an operators

L_{i} = L^{(1)} \otimes I d + I d \otimes L_{i}^{(2)} - L_{i}^{d i a g}

form the Virasoro algebra, which acts on the tensor product

L_{i, 1} \otimes L_{j, k}

with the central charge

\frac{3}{3 + 2} + \frac{3 k}{k + 2} - \frac{3 (k + 1)}{k + 3} = \frac{k^{2} + 5 k}{(k + 2) (k + 3)}

. The important property is that

L_{i}

commute with the diagonal action of

\hat{s l 2}

. Therefore, each

N_{l}

is a representation of the Virasoro algebra. Using the alternating sum formula we derive a formula for the character of

N_{l}

. This formula coincides with the Rocha-Caridi formula for the character of the minimal model

M_{j + 1, l + 1} (k + 2, k + 3)

(see [KW] ).

We first recall the Rocha-Caridi formula for the character of

M_{r, s} (p, p^{'})

(see [RC] ).

Here

p, p^{'}

are relatively prime numbers and

1 \leq r \leq p - 1

1 \leq s \leq p^{'} - 1

. Let

t = \frac{p^{'}}{p}

. Then the central element

c

of the Virasoro algebra acts on

M_{r, s} (p, p^{'})

as a scalar

13 - 6 (t + \frac{1}{t})

. Let

△_{r, s} = \frac{(r t - s)^{2} - (t - 1)^{2}}{4 t}

and

χ_{r, s} = c h M_{r, s} (p, p^{'}) = \sum_{d \in Z_{\geq 0} + △_{r, s}} q^{d} dim {v : L_{0} v = d v} .

We set

(q)_{n} =^{n} \prod_{α = 1} (1 - q^{α}), (q)_{\infty} =^{\infty} \prod_{α = 1} (1 - q^{α}), [m n] q = \frac{(q)_{m}}{(q)_{n} (q)_{m - n}} .

Then

χ_{r, s} = \frac{q^{△_{r, s}}}{(q)_{\infty}} (\sum_{n \in Z} q^{p p^{'} n^{2} + (p^{'} r - p s) n} - \sum_{n \in Z} q^{p p^{'} n^{2} + (p^{'} r + p s) n + r s}) .

We note that in the case

(p, p^{'}) = (k + 2, k + 3)

the central charge is equal to

\frac{k (k + 5)}{(k + 2) (k + 3)}

We now recall the embedding of

V_{m}

and

L_{m, k}

into the tensor product of the level one irreducible modules. In what follows we use the notation

L_{(1^{m_{1}} \dots k^{m_{k}}), k}

for

L_{m, k}

. Let

v (p) \in L_{0, 1} \oplus L_{1, 1}

be the set of extremal vectors,

h_{0} v (p) = - p v (p)

Then we have an isomorphisms

\begin{matrix} \begin{matrix} (36) & V_{m} ≃ U (s l 2 \otimes C [t]) \cdot (v (m_{1} + \dots + m_{k}) \otimes v (m_{2} + \dots + m_{k}) \otimes \dots \otimes v (m_{k})), L_{m, k} ≃ U (\hat{s l 2}) \cdot (v (m_{1} + \dots + m_{k}) \otimes v (m_{2} + \dots + m_{k}) \otimes \dots \otimes v (m_{k})) . \end{matrix} \end{matrix}

(37)

This gives the embedding of

V_{m}

and

L_{m, k}

into the tensor product

L_{i_{1}, 1} \otimes \dots \otimes L_{i_{k}, 1}

, where

i_{α} = 0, 1

. For example, in view of

L_{j, k} = L_{(j^{1}), k}

we obtain

L_{j, k} ≃ U (\hat{s l 2}) \cdot (v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}) ↪ L_{1, 1}^{\otimes j} \otimes L_{0, 1}^{\otimes (k - j)} .

Lemma 5.1. We have an isomorphism of

\hat{s l 2}

-modules

\begin{matrix} L_{i, 1} \otimes L_{j, k} ≃ {lim}_{n \to \infty} U (\hat{s l 2}) \cdot (v (2 n + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}) . \end{matrix}

(38)

Proof. We first note that $v (2 n + i) \otimes [v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}]$ is the tensor product of an extremal vectors of $L_{i, 1}$ and $L_{j, k}$ . In addition,
$U (\hat{s l 2}) \cdot (v (2 n + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}) = U (\hat{s l 2}) \cdot (v (2 n + i + 2 s) \otimes v (2 s + 1)^{\otimes j} \otimes v (2 s)^{\otimes (k - j)})$
for any integer $s$ . Therefore, to prove our lemma it suffices to show that $v (2 n + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)} ↪ U (\hat{s l 2}) \cdot (v (2 n + 2 + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)})$ (in this case all the products of the extremal vectors of $L_{i, 1}$ and $L_{j, k}$ are the elements of 38 $()$ ).
We recall that $e_{N - 1} v (N) = v (N - 2)$ and $e_{\geq N} v (N) = 0$ . Hence, $e_{i + 2 n - 1} (v (2 n + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}) = (v (2 n - 2 + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}) .$ Lemma is proved. □

Corollary 5.1.

L_{i, 1} \otimes L_{j, k} ≃ {lim}_{n \to \infty} L_{(1^{2 n + i - 1} (j + 1)), k + 1} .

Proof. Because of the formula 37 $()$ $U (\hat{s l 2}) \cdot (v (2 n + i) \otimes v (1)^{\otimes j} \otimes v (0)^{\otimes (k - j)}) ≃ L_{(1^{2 n + i - 1} (j + 1)), k + 1} .$ □

Consider the decomposition

L_{(1^{N} (j + 1)), k + 1} =^{k + 1} \oplus_{l = 0} N_{l, (1^{N} (j + 1))} \otimes L_{l, k + 1} .

Corollary 5.2. We have

c h_{q} N_{l} = {lim}_{n \to \infty} c h_{q} N_{l, (1^{2 n + i - 1} (j + 1))} .

We now compute the limit from the above corollary. Because of Lemma 4.1

c h_{q} N_{l, (1^{N} (j + 1))} = {\tilde{K}}_{l, (1^{N} (j + 1))}^{(k + 1)} (q) .

Recall that

L_{0} v_{i, k} = \frac{i (i + 2)}{4 (k + 2)} v_{i, k}

for the highest weight vector

v_{i, k} \in L_{i, k}

. In view of the alternating sum formula 28

()

and the formula 32

()

we obtain

(39) c h q N l , ( 1 2 n + i − 1 ( j + 1 ) ) = q i ( i + 2 ) 12 + j ( j + 2 ) 4 ( k + 2 ) − l ( l + 2 ) 4 ( k + 3 ) K ~ l , ( 1 2 n + i − 1 ( j + 1 ) ) ( k + 1 ) ( q ) = = q i ( i + 2 ) 12 + j ( j + 2 ) 4 ( k + 2 ) − l ( l + 2 ) 4 ( k + 3 ) ( ∑ p ≥ 0 q − ( k + 3 ) p 2 − ( l + 1 ) p K ~ 2 ( k + 3 ) p + l , ( 1 2 n + i − 1 ( j + 1 ) ) ( q ) − ∑ p > 0 q − ( k + 3 ) p 2 + ( l + 1 ) p K ~ 2 ( k + 3 ) p − l − 2 , ( 1 2 n + i − 1 ( j + 1 ) ) ( q ) )

We want to compute the limit of the above expression while

n \to \infty

Lemma 5.2. Let

a (q) = \sum_{i \geq 0} a_{i} q^{i}

. We write

a (q) = O (q^{N})

a_{i} = 0

for

i < N

. Then

{\tilde{K}}_{2 s + i + j, (1^{2 n + i + 1} (j + 1))} (q) - (c h_{q} L_{i, 1}^{2 s + i} - c h_{q} L_{i, 1}^{2 s + i + 2 j + 2}) = O (q^{n + s (s + i - 1)}) .

Proof. Consider the embeddings

\begin{matrix} V_{(1^{2 n + i})} \otimes π_{j} ↪ V_{(1^{2 n + i + 1} (j + 1))} ↪ V_{(1^{2 n + 2 + i})} \otimes π_{j}, \end{matrix}

(40)

where the first embedding comes from 11

()

and the second from 36

()

. We note that 40

()

means that

{lim}_{n \to \infty} V_{(1^{2 n + i + 1} (j + 1))} ≃ L_{i, 1} \otimes π_{j}

. Note that

{\tilde{c h}}_{q} V_{(1^{2 n + i})}^{2 s + i} = q^{s (s + i)} [2 n + i n - s] q .

Therefore,

{\tilde{c h}}_{q} V_{(1^{2 n + i})}^{2 s + i} - c h_{q} L_{i, 1}^{2 s + i} = q^{s (s + i)} ([2 n + i n - s] q - \frac{1}{(q)_{\infty}}) = O (q^{n + s (s + i - 1)}) .

We obtain that

{\tilde{c h}}_{q} (V_{(1^{2 n + i + 1})} \otimes π_{j})^{2 s + i + j} - c h_{q} (L_{i, 1} \otimes π_{j})^{2 s + i + j} = O (q^{n + s (s + i - 1)}) .

To finish the proof it suffices to use 40

()

and the formula

{\tilde{K}}_{2 s + i + j, (1^{2 n + i + 1} (j + 1))} (q) = {\tilde{c h}}_{q} V_{(1^{2 n + i + 1} (j + 1))}^{2 s + i + j} - {\tilde{c h}}_{q} V_{(1^{2 n + i + 1} (j + 1))}^{2 s + i + j + 2} .

□

We derive from this lemma that in 39

()

we can replace the reversed Kostka polynomials by the difference of the characters of the weight subspaces of

L_{i, 1}

Let

i = 0

. Then for such

l

that

j + l

is even we obtain

{lim}_{n \to \infty} c h N_{l, (1^{2 n + i - 1} (j + 1))} = q^{\frac{j (j + 2)}{4 (k + 2)} - \frac{l (l + 2)}{4 (k + 3)}} \times (\sum_{p \geq 0} q^{- (k + 3) p^{2} - (l + 1) p} \frac{1}{(q)_{\infty}} (q^{(k + 3) p + (l - j) / 2} - q^{(k + 3) p + (l + j + 2) / 2}) - \sum_{p > 0} q^{- (k + 3) p^{2} + (l + 1) p} \frac{1}{(q)_{\infty}} (q^{(k + 3) p - (l + j + 2) / 2} - q^{(k + 3) p + (j - l - 2) / 2})) =

\frac{q^{\frac{j (j + 2)}{4 (k + 2)} - \frac{l (l + 2)}{4 (k + 3)} + \frac{(l - j)^{2}}{4}}}{(q)_{\infty}} (\sum_{p \in Z} q^{p^{2} (k + 2) (k + 3) + p ((k + 3) (j + 1) - (k + 2) (l + 1))} - \sum_{p \in Z} q^{p^{2} (k + 2) (k + 3) + p ((k + 3) (j + 1) + (k + 2) (l + 1)) + (l + 1) (j + 1)}) = q^{△_{j + 1, l + 1}} (\sum_{p \in Z} q^{p^{2} (k + 2) (k + 3) + p ((k + 3) (j + 1) - (k + 2) (l + 1))} - \sum_{p \in Z} q^{p^{2} (k + 2) (k + 3) + p ((k + 3) (j + 1) + (k + 2) (l + 1)) + (l + 1) (j + 1)}) = c h M_{j + 1, l + 1} (k + 2, k + 3)

One can repeat the same computation for

i = 1

. We obtain

L_{i, 1} \otimes L_{j, k} =^{k + 1} \oplus_{l = 0} L_{l, k + 1} \otimes M_{j + 1, l + 1} (k + 2, k + 3),

where the sum is taken over

l

such that

l + i + j

is even.

5.2 The fermionic formula.

Recall (see [SS, FJKLM] ) that

\begin{matrix} K_{l, m}^{(k)} (q) = \sum_{s \in Z_{\geq 0}^{k} 2 | s | = | m | - l} q^{s A s + v s} [A (m - 2 s) - v + s s] q, \end{matrix}

(41)

where

A_{α, β} = min (α, β)

v_{α} = max (0, α - k + l)

| m | = \sum_{α = 1}^{k} m_{α}

and for two vectors

m, n \in Z_{\geq 0}^{k}

we set

[m n] q = \prod_{α = 1}^{k} [m_{α} n_{α}] q

. We now explain how this formula naturally appears as a

q

-multiplicity.

Lemma 5.3. Denote by

e (z)_{s}^{i}

the coefficient in front of the power

z^{s}

in the series

(\sum_{j \in Z} e_{j} z^{j})^{i}

. Then

c h_{q} L_{m, k} / 〈 e_{s}, s \leq 0; e (z)_{s}^{k - l + 1}, s \leq k - l + 1; h_{0} + l 〉 = {\tilde{K}}_{l, m}^{(k)} (q) .

Proof. We recall the embedding V m ↪ L m , k . Let v m be the lowest weight vector of V m as far as its image in L m , k . We consider the principal subspace W = C [ e N , e N − 1 , … ] ⋅ v m , where N is fixed by e N v m ≠ 0 and e N + 1 v m = 0 . It is proved in [FF2] that the defining relations in W are e ( z ) k + 1 v m = 0 and e ( z ) i v m = z N i − i m 1 − ⋯ − m i q ( z − 1 ) , i = 1 , ⋯ , k , where q is some series. This means that the dual space to the quotient W / 〈 e s , s ≤ 0 ; e ( z ) s k − l + 1 , s ≤ k − l + 1 ; h 0 + l 〉 can be identified with the space of symmetric polynomials satisfying the conditions
- (1) The number of variables is $s = \frac{1}{2} (\sum_{i = 1}^{k} i m_{i} - l)$ ,
- (2) $f ({\underset{︸}{z, \dots, z}}_{k + 1}, z_{i + 1}, \dots, z_{s}) = 0$ ,
- (3) ${deg}_{z} f ({\underset{︸}{z, \dots, z}}_{a}, z_{i + 1}, \dots, z_{s}) \leq \sum_{i = 1}^{k} min (a, i) m_{i} - a$ ,
- (4) $f (0, z_{2}, \dots, z_{s}) = 0$ ,
- (5) $f ({\underset{︸}{z, \dots, z}}_{k - l + 1}, z_{i + 1}, \dots, z_{s}) \div z^{k - l + 2}$ .
But this space of symmetric polynomials coincides with the dual space ( V m / 〈 h 0 + l , e 0 , e 1 k − l + 1 〉 ) * from [FJKLM] , and the character of the latter coincides with the corresponding restricted Kostka polynomial.
We recall that $L_{m, k} = {lim}_{N \to \infty} V_{(m_{1}, \dots, m_{k - 1}, m_{k} + 2 N)}$ . Now our lemma follows from the equality 33 $()$ . □

Lemma 5.4. The

q

-multiplicity of

L_{l, k}

in the decomposition of

L_{m, k}

is equal to the character of

\begin{matrix} L_{m, k} / 〈 e_{s}, s \leq 0; e (z)_{s}^{k - l + 1}, s \leq k - l + 1; h_{0} + l 〉 . \end{matrix}

(42)

Proof. We first note that the character of the space of the highest weight vectors in $L_{m, k}$ of the weight $l$ is less or equal then the character of the quotient 42 $()$ . But their dimensions coincide. □

Remark 5.1. We note that Lemma 5.4

with

m_{1} + \dots + m_{k} = 1

(

L_{m, k}

is irreducible level one

\hat{s l 2}

-module) can be checked directly. In addition, the general case follows from these particular ones.

It is shown in [FJKLM] that the character of the space of symmetric polynomials with the conditions from Lemma 5.3

is given by the fermionic formula 41

()

. This means that the

q

-multiplicities from Lemma 5.4

are given by the fermionic formula.

5.3 The limit of the fermionic formula.

We want to find the limit

{lim}_{N \to \infty} {\tilde{K}}_{l, (1^{N} (j + 1))}^{(k + 1)} (q), N + 1 = l + j m o d 2 .

Up to a power of

q

this limit coincides with the unitary Virasoro character.

Lemma 5.5. Let

p (m) = # {α = 1, \dots, k : m_{α} + \dots + m_{k} is odd} .

Define

h (m) = max {{deg}_{q} v : v \in V_{m}} .

Then

h (m) = \frac{m A m - p (m)}{4} .

Proof. We use the embedding 36

()

. Note that

h (1^{N}) = \frac{N^{2}}{4} - \frac{p (1^{N})}{4}

. Therefore, it follows from 36

()

that

\begin{matrix} h (m) \leq \frac{(m_{1} + \dots + m_{k})^{2}}{4} + \dots + \frac{m_{k}^{2}}{4} - \frac{p (m)}{4} = \frac{m A m - p (m)}{4} . \end{matrix}

(43)

To prove that in 43

()

we have an equality it suffices to show that

v (i_{1}) \otimes \dots \otimes v (i_{k}) \in U (s l 2 \otimes C [t]) \cdot (v (m_{1} + \dots + m_{k}) \otimes \dots \otimes v (m_{k}))

(

i_{α} = 0

m_{α} + \dots + m_{k}

is even and

i_{α} = 1

otherwise). But this follows from the formula

\frac{1}{s!} e_{m_{1} + \dots + m_{k} - 1}^{s} (v (m_{1} + \dots + m_{k}) \otimes \dots \otimes v (m_{k})) = v (m_{1} + \dots + m_{k} - 2) \otimes \dots \otimes v (m_{s} + \dots + m_{k} - 2) \otimes v (m_{s + 1} + \dots + m_{k}) \otimes \dots \otimes v (m_{k}),

where

s

is determined by

m_{1} = \dots = m_{s - 1} = 0

and

m_{s} \neq 0

. □

In view of Lemma 5.5

and a fact

[a b]_{q^{- 1}} = q^{- b (a - b)} [a b]_{q}

we get:

q^{\frac{p (m)}{4}} {\tilde{K}}_{l, m}^{(k + 1)} (q) = q^{\frac{m A m}{4}} \sum_{s \in Z_{\geq 0}^{k} 2 | s | = | m | - l} q^{- s A s - v s} [A (m - 2 s) - v + s s]_{q^{- 1}} = \sum_{s \in Z_{\geq 0}^{k} 2 | s | = | m | - l} q^{\frac{m A m}{4} - s A s - v s - s (A (m - 2 s) - v + s))} [A (m - s) - v + s s] q = \sum_{s \in Z_{\geq 0}^{k} 2 | s | = | m | - l} q^{(\frac{m}{2} - s) A (\frac{m}{2} - s)} [A (m - 2 s) - v + s s] q .

Now let

m = (1^{N} (j + 1)) \in Z^{k + 1}

N + 1 = j + l m o d 2

. We first rewrite the power of

q

in the last line of the above formula using the relation

2 | s | = N + j + 1 - l

(\frac{m}{2} - s) A (\frac{m}{2} - s) = \sum_{α, β = 1}^{k + 1} s_{α} s_{β} + \frac{1}{4} (N^{2} + j + 1 + 2 N) - N \sum_{α = 1}^{k + 1} s_{α} - \sum_{α = 1}^{k + 1} min (α, j + 1) s_{α} .

Replacing

s_{1}

\frac{N + j + 1 - l}{2} - \sum_{α = 2}^{k + 1} α s_{α}

we get

(44) ∑ α , β = 2 k + 1 max ( α , β ) ( min ( α , β ) − 1 ) s α s β + ∑ α = 2 k + 1 s α ( ( j + 1 − l ) ( α − 1 ) + max ( 0 , α − j − 1 ) ) + ( l − j ) 2 + j 4 .

Now we consider the binomial coefficient

[A (m - 2 s) - v + s s] q

. This is the product

^{k + 1} \prod_{α = 1} [N + min (α, j + 1) - 2 \sum_{β = 1}^{k + 1} min (α, β) s_{β} - v_{α} + s_{α} s_{α}] q .

Let

α > 1

. Then

(45) [ N + min ( α , j + 1 ) − 2 s 1 − 2 ∑ β = 2 k + 1 min ( α , β ) s β − v α + s α s α ] q = [ 2 ∑ β = 2 k + 1 ( β − min ( α , β ) ) s β + l − j − 1 + min ( α , j + 1 ) − v α + s α s α ] q .

Now let

α = 1

. In this case the binomial coefficient depends on

N

. We want to know the limit of this expression while

N \to \infty

(46) [ N + 1 − s 1 − 2 ∑ β = 2 k + 1 s β − v 1 s 1 ] q = [ N + l + 1 − j 2 + ∑ β = 2 k + 1 ( β − 2 ) s β − v 1 2 ∑ β ≥ 2 ( β − 1 ) s β + l − j − v 1 ] q → 1 ( 2 ∑ β ≥ 2 ( β − 1 ) s β + l − j − v 1 ) q ! .

We obtain the following proposition.

Proposition 5.1. Fix

0 \leq j \leq k

0 \leq l \leq k + 1

. Then

c h M_{j + 1, l + 1} (k + 2, k + 3) = q^{△_{j + 1, l + 1}} \sum_{t = (t_{2}, \dots, t_{k + 1}) \in Z_{\geq 0}^{k}} q^{t B t + u t} \frac{\prod_{α = 2}^{k + 1} [2 \sum_{β = 2}^{k + 1} (β - min (α, β)) t_{β} + l - j - 1 + min (α, j + 1) - v_{α} + t_{α} t_{α}] q}{(2 \sum_{β \geq 2} (β - 1) t_{β} + l - j - v_{1}) q!},

where

B_{α, β} = max (α, β) (min (α, β) - 1)

u_{α} = (j + 1 - l) (α - 1) + max (0, α - j - 1)

Proof. In view of a formulas 44 45 $(), ()$ and 46 $()$ we only need to find the power of $q$ in front of the sum. Note that $p (1^{N} (j + 1)) = j + i$ , where $i = 0, 1$ and $i + N + 1$ is even. Now it is enough to mention that
$\frac{i (i + 1)}{12} + \frac{j (j + 2)}{4 (k + 2)} - \frac{l (l + 2)}{4 (k + 3)} - \frac{i + j}{4} + \frac{(l - j)^{2} + j}{4} = \frac{((k + 3) j - (k + 2) l + 1)^{2} - 1}{4 (k + 2) (k + 3)} = △_{j + 1, l + 1} (k + 2, k + 3) .$
(The first three terms come from the action of the Sugawara operators, the fourth one from $p (m)$ and the last from the formula 44 $()$ ). □

A The ABF finitization and the Kostka polynomials

In this appendix we study the connection between ABF finitization of a minimal Virasoro unitary characters (see [ABF] ) and Kostka polynomials

K_{l, (1^{N} (j + 1))}^{(k)}

, generalizing the case

j = 0

in [JMT] .

We first recall the ABF finitization. Fix some

a, b \in Z

. For

N \geq 0

such that

N \equiv b - a m o d 2

, define a polynomial

{\hat{χ}}_{b, a}^{(r, r + 1)} (q; N) = \sum_{n \in Z} q^{r (r + 1) n^{2} + ((r + 1) b - r a) n} [N \frac{N - b + a}{2} - (r + 1) n] q - \sum_{n \in Z} q^{r (r + 1) n^{2} + ((r + 1) b + r a) n + b a} [N \frac{N - b - a}{2} - (r + 1) n] q .

In view of the Rocha-Caridi formula it is obvious that

{lim}_{N \to \infty N \equiv b - a m o d 2} q^{△_{b, a}} {\hat{χ}}_{b, a}^{(r, r + 1)} (q; N) = c h M_{b, a} (r, r + 1) .

Lemma A.1.

q^{\frac{N^{2}}{4} - \frac{(a - b)^{2}}{4}} {\hat{χ}}_{b, a}^{(r, r + 1)} (q^{- 1}; N) = \sum_{n \in Z} q^{(r + 1) n^{2} - n a} [N \frac{N - b + a}{2} - (r + 1) n] q - \sum_{n \in Z} q^{(r + 1) n^{2} + n a} [N \frac{N - b - a}{2} - (r + 1) n] q .

Proof. We just use the identity $[N k]_{q^{- 1}} = q^{- k (N - k)} [N k] q .$ □

Proposition A.1.

q^{\frac{(l - j)^{2}}{4}} K_{l, (1^{N} (j + 1))}^{(k)} (q) = q^{\frac{(N + 1)^{2}}{4}} \sum_{s = 0}^{j} {\hat{χ}}_{j + 1 - 2 s, l + 1}^{(k + 1, k + 2)} (q^{- 1}; N + 1) - q^{\frac{N^{2}}{4}} \sum_{s = 0}^{j - 1} {\hat{χ}}_{j - 2 s, l + 1}^{(k + 1, k + 2)} (q^{- 1}; N) .

Proof. In view of Corollary 3.1

and alternating sum formula we have

K_{l, m}^{(k)} (q) = \sum_{p \geq 0} q^{(k + 2) p^{2} + (l + 1) p} K_{2 (k + 2) p + l, m} (q) - \sum_{p > 0} q^{(k + 2) p^{2} - (l + 1) p} K_{2 (k + 2) p - l - 2, m} (q) = \sum_{p \in Z} q^{(k + 2) p^{2} + (l + 1) p} (c h_{q} V_{m}^{2 (k + 2) p + l} - c h_{q} V_{m}^{2 (k + 2) p + l + 2}) .

Now let

m = (1^{N} (j + 1))

. We show by induction on

j

that

\begin{matrix} c h_{q} V_{(1^{N} (j + 1))}^{l} = [N + 1 \frac{N - j + 1 - l}{2}] q + \sum_{s = 0}^{j - 1} q^{\frac{N + j + 1 - l - 2 s}{2}} [N \frac{N + j + 1 - l - 2 s}{2}] q . \end{matrix}

(47)

For

j = 0

we have

c h_{q} V_{(1^{N + 1})}^{l} = [N + 1 \frac{N + 1 - l}{2}] q .

For the induction procedure we use 14

()

. This gives

c h_{q} V_{(1^{N} (j + 1))}^{l} = c h_{q} V_{(1^{N} j)}^{l + 1} + q^{\frac{N + j + 1 - l}{2}} c h_{q} V_{(1^{N})}^{l - j - 1} = [N + 1 \frac{N - j + 1 - l}{2}] q + \sum_{s = 0}^{j - 1} q^{\frac{N + j + 1 - l - 2 s}{2}} [N \frac{N + j + 1 - l - 2 s}{2}] q .

Using the identity

q^{b} [a b] q + [a b - 1] q = [a + 1 b] q

we rewrite 47

()

in the following way

c h_{q} V_{(1^{N} (j + 1))}^{l} = \sum_{s = 0}^{j} [N + 1 \frac{N + j + 1 - l - 2 s}{2}] q - \sum_{s = 0}^{j - 1} [N \frac{N + j - 1 - l - 2 s}{2}] q .

Therefore, we obtain

K_{l, (1^{N} (j + 1))}^{(k)} (q) = \sum_{p \in Z} q^{(k + 2) p^{2} + (l + 1) p} \times \sum_{s = 0}^{j} ([N + 1 \frac{N + j + 1 - l - 2 s}{2} - (k + 2) p] q - [N + 1 \frac{N + j - 1 - l - 2 s}{2} - (k + 2) p] q) - \sum_{p \in Z} q^{(k + 2) p^{2} + (l + 1) p} \times \sum_{s = 0}^{j - 1} ([N \frac{N + j - 1 - l - 2 s}{2} - (k + 2) p] q - [N \frac{N + j - 3 - l - 2 s}{2} - (k + 2) p] q) .

We show that

(48) ∑ p ∈ Z q ( k + 2 ) p 2 + ( l + 1 ) p ( [ N + 1 N + j + 1 − l − 2 s 2 − ( k + 2 ) p ] q − [ N + 1 N + j − 1 − l − 2 ( j − s ) 2 − ( k + 2 ) p ] q ) = q ( N + 1 ) 2 − ( l − j ) 2 4 χ ^ j + 1 − 2 s , l + 1 ( k + 1 , k + 2 ) ( q − 1 ; N + 1 ) .

We rewrite the left-hand side of 48

()

\sum_{p \in Z} q^{(k + 2) p^{2} - (l + 1) p} [N + 1 \frac{N + j + 1 - l - 2 s}{2} + (k + 2) p] q - \sum_{p \in Z} q^{(k + 2) p^{2} + (l + 1) p} [N + 1 \frac{N + 1 - (l + 1) - (j + 1 - 2 s)}{2} - (k + 2) p] q =

= \sum_{p \in Z} q^{(k + 2) p^{2} - (l + 1) p} [N + 1 \frac{N + 1 + (l + 1) - (j + 1 - 2 s)}{2} - (k + 2) p] q - \sum_{p \in Z} q^{(k + 2) p^{2} + (l + 1) p} [N + 1 \frac{N + 1 - (l + 1) - (j + 1 - 2 s)}{2} - (k + 2) p] q,

which coincides with the right-hand side of 48

()

. In the same way one can prove that

\sum_{p \in Z} q^{(k + 2) p^{2} + (l + 1) p} ([N \frac{N + j - 1 - l - 2 s}{2} - (k + 2) p] q - [N \frac{N + j - 3 - l - 2 (j - 1 - s)}{2} - (k + 2) p] q) = q^{\frac{N^{2} - (l - j)^{2}}{4}} {\hat{χ}}_{j - 2 s, l + 1}^{(k + 1, k + 2)} (q^{- 1}; N) .

Proposition is proved. □

References

G. E. Andrews, R. J. Baxter, P. J. Forrester, Eight vertex SOS model and generalized Rogers-Ramanujan-type identities, J. Statist. Phys. 35 (1984), 193-266.
A. Berkovich, Fermionic counting of RSOS-states and Virasoro character formulae for the unitary minimal series $M (ν, ν + 1)$ : Exact results, Nucl. Phys. B431 (1994), 315.
I.N. Bernstein, I.M. Gelfand, S.I. Gelfand, Differential operators on the base affine space and a study of $g$ -modules, in: Lie groups and their representations (I.M. Gelfand ed.), Summer school of the Bolyai Janos Math. Soc., Halsted Press, 1975, 21-64.
H. Cartan, S. Eilenberg, Homological algebra, Princeton Univ. Press, Princeton, N.J., 1956.
V. Chari, S. Loktev, Weyl, Demazure and fusion modules for the current algebra of $s l_{r + 1}$ . Preprint version available at http://xxx.lanl.gov/abs/math.QA/0502165.
V.Chari, A.Pressley, Weyl modules for classical and quantum affine algebras, Represent. Theory 5 (2001), 191-223.
M. Demazure, Désingularisation des variétés de Schubert généralisées, Ann. Sci. Éc. Norm. Sup. 7 (1974), 53-88.
B.Feigin, E.Feigin, Q-characters of the tensor products in $s l 2$ case, Mosc. Math. J. 2, no. 3, 567-588.
B.Feigin, E.Feigin, Integrable $\hat{s l 2}$ -modules as an infinite tensor products. In: S.Lando and O.Sheinman (eds.), Fundamental mathematics today (in honor of the $10$ th anniversary of the Independent University of Moscow), IUM, MCCME $2003$ (Russian). Preprint version available at http://xxx.lanl.gov/abs/math.QA/0205281.
B. Feigin, E. Feigin, Schubert varieties and the fusion products, Pibl. RIMS, Kyoto Univ. 40 (2204), 625-668.
B.Feigin, M.Jimbo, R.Kedem, S.Loktev, T.Miwa, Spaces of coinvariants and fusion product II. $\hat{s l 2}$ character formulas in terms of Kostka polynomials, Preprint version available at http://xxx.lanl.gov/abs/math.QA/0208156.
E. Frenkel, V. Kac, A. Radul, W. Wang, $W_{1 + \infty}$ and $W (g l_{N})$ with central charge $N$ . Comm. Math. Phys. 170 (1995), 337-357.
B.Feigin, S.Loktev, On generalized Kostka polynomials and quantum Verlinde rule, Differential topology, infinite-dimensional Lie algebras and applications, Amer. Math. Soc. Transl. Ser. 2, 194, 61-79.
B.Feigin, A.Stoyanovski, Quasi-particles models for the representations of Lie algebras and geometry of flag manifold, available at http://xxx.lanl.gov/abs/hep-th/9308079, RIMS 942; Functional models of the representations of current algebras, and the semi-infinite Schubert cells, Functsional. Anal. i Prilozhen. 28 (1994), no.1, 68-90, 96 (Russian). English translation in Funct. Anal. Appl. 28 (1994), no.1, 55-72.
P. Goddard, A. Kent, D. Olive, Unitary representations of the Virasoro and super-Virasoro algebras, Comm. Math. Phys., 103 (1986), 105-119.
H. Garland, J. Lepowsky, Lie algebra homology and the Macdonald-Kac formulas, Invent. Math. 34 (1976), 37-76.
G. Hatayama, A. N. Kirillov, A. Kuniba, M. Okado, T. Takagi, Y. Yamada, Character formulae of $\hat{s l_{n}}$ -modules and inhomogeneous paths, Nuclear Phys. B536 (1999), 575-616.
M. Jimbo, T. Miwa, Y. Takeyama, Counting minimal form factors of the restricted sine-Gordon model, Mosc. Math. J. 4 (2004), no. 4, 787-846.
R. Kedem, Fusion products, cohomology of $G L_{N}$ flag manifolds and Kostka polynomials, IMRN 2004, no. 25, 1273-1298.
V. Kac, Infinite dimensional Lie algebras, Third edition, Cambridge University Press, 1990.
V. Kac, M. Wakimoto, Modular invariant representations of infinite-dimensional Lie algebras and superalgebras, Proc. Natl. Sci. USA, 85 (1988), 4956-4960.
S. Kumar, Kac-Moody groups, their flag varieties and Representation theory, Birkhauser, Progress in Mathematics 204 (2002).
A. Rocha-Caridi, Vacuum vector representations of the Virasoro algebra, in: Vertex Operators in Mathematical Physics, MSRI Publ. 3 (Springer, Heidelberg 1984), 451-473.
A. Schilling, Polynomial fermionic forms for the branching functions of the rational coset conformal field theories $\hat{s u} (2)_{M} \times \hat{s u} (2)_{N} / \hat{s u} (2)_{M + N}$ , Nucl. Phys. B459 (1996) 393-436.
A. Schilling, M. Shimozono, Fermionic formulas for level-restricted generalized Kostka polynomials and coset branching functions, Comm. Math. Phys. 220 (2001), no. 1, 105-164.
A. Schilling, O. Warnaar, Inhomogeneous lattice paths, generalized Kostka polynomials and $A_{n - 1}$ supernomials. Comm. Math. Phys. 202 (1999), 359-401.

Boris Feigin: Russia, Chernogolovka 142432, Landau Institute for Theoretical Physics and Russia, Moscow, 119002, Independent University of Moscow, Bol'shoi Vlas'evskii, 11 E-mail address : feigin@mccme.ru Evgeny Feigin: Russia, Moscow, Moscow State University, Mech-Math Faculty, Department of Higher Algebra, Leninskie gori, 1 and Russia, Moscow, 119002, Independent University of Moscow, Bol'shoi Vlas'evskii, 11 E-mail address : evgfeig@mccme.ru

B.Feigin and E.Feigin