arxiv:math/ v2 [math.qa] 13 Jan 2003

Transcription

1 arxiv:math/ v2 [math.qa] 13 Jan 2003 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA Abstract. We consider ŝ2 spaces of coinvariants with respect to two kinds of ideas of the enveoping agebra U(s 2 C[t]). The first one is generated by s 2 t N, and the second one is generated by e P(t),f P(t) where P(t),P(t) are fixed generic poynomias. (We aso treat a generaization of the atter.) Using a method deveoped in our previous paper, we give new fermionic formuas for their Hibert poynomias in terms of the eve-restricted Kostka poynomias and q-mutinomia symbos. As a byproduct, we obtain a fermionic formua for the fusion product of s 3-modues with rectanguar highest weights, generaizing a known resut for symmetric (or anti-symmetric) tensors. 1. Introduction Spaces of conforma coinvariants are the centra objects in conforma fied theory. In addition to their many intriguing features, they present aso some combinatoria probems which are worth being pursued in their own right [FL]. A systematic study of this aspect has been aunched in a series of papers [FKLMM1] [FKLMM3]. To be specific, the spaces of coinvariants considered in these works are the quotient spaces L (k) /al (k), where L (k) is a eve k integrabe ŝ 2-modue and a is a subagebra of s 2 C[t] in one of the foowing forms: (1.1) (1.2) a N = s 2 Q(t)C[t], a (p, p) = Ce P(t)C[t] Ch P(t)P(t)C[t] Cf P(t)C[t]. Here e,h,f are the standard generators of s 2, and Q(t) = N (t ζ i), P(t) = p j=1 (t ζ j), P(t) = p j=1 (t ζ j+p) are poynomias. (We use the convention that s 2 t 1 C[t 1 ] annihiates the highest weight vector. See subsection 2.1.) These spaces of coinvariants are finite dimensiona vector spaces equipped with a natura fitration by the degree in t. One of the basic quantities of interest is the Hibert poynomia, or character, of their associated graded spaces. Often the characters are written in certain specific form caed fermionic formuas. Their actua form depends on the method used to obtain them, and the same quantity can have different expressions. Indeed, in [FJKLM2], we found a fermionic formua for the case (1.2) with p = 0 which is different from the one obtained earier in [FKLMM3]. The Date: February 1,

2 2 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA purpose of this paper is to present anaogous formuas in the cases (1.1),(1.2) and their generaizations. The formua mentioned above has its origin in the dimension formua in terms of the Verinde agebra V (k). Reca that V (k) is an associative unita ring over Z, with basis [] (0 k) and mutipication rue (1.3) [] [ ] = min(+,2k ) mod 2 For an eement a = k =0 a [] V (k) we write the coefficient a as (a : []) k. The genera dimension formua [FJKLM1] appied to (1.2) with p = 0 tes that, when ζ i are distinct, we have diml (k) /a (p,0) L (k) [ ]. = (( [0] + [1] + + [k] ) p : [] )k ( p = m 0,,m k m 0,,m k 0 m 0 + +m k =p ) ([0] m 0 [1] m1 [k] m k : []) k, where the second ine is simpy a resut of expansion in the first. The fermionic formua obtained in [FJKLM2] is a q-anaog of the right hand side, in which the mutinomia coefficient is repaced by the q-mutinomia coefficient, and ([0] m 0 [1] m1 [k] m k : []) k by its q-anaog caed the restricted Kostka poynomia. In fact, [FJKLM2] deas with a sighty more genera situation, wherein ([0] + + [k]) p is repaced by p j=1 ([0] + + [k j]) for arbitrary k 1,,k p {0,,k}. The corresponding coinvariants arise by repacing Lie subagebras by appropriate right ideas of the enveoping agebra [FJKLM1]. In this paper we aso treat such a generaization for (1.2). It is proved in [FKLMM1],[FKLMM2] that the characters of the coinvariants for (1.1), (1.2) do not depend on the ζ i. In view of this resut, we wi restrict to the case Q(t) = t N for (1.1). As for the generaization of the case (1.2) mentioned above, the independence of the character has not yet been estabished. For that reason, we assume for (1.2) that ζ 1,,ζ p+ p are pairwise distinct. In order to obtain the fermionic formua, we foow the method used in [FJKLM2]. It is rather indirect and consists of severa steps. First we appy the genera equivaence theorem in [FJKLM1] and reduce the probem to that of a fusion product of finite dimensiona s 2 -modues and their quotient spaces. Each constituent of the fusion product is a reducibe s 2 -modue whose cycic vector is given as a sum. Technicay it is difficut to hande such fusion products directy. To circumvent this point, we embed s 2 into some arger Lie agebra g and show that the fusion product in question is the same as that of irreducibe g-modues with owest vector as cycic vector. For (1.2) g = s 3, and for (1.1) g = o 5. The fina step is a reduction to the fusion product of modues over an abeian Lie agebra.

3 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 3 Though the appicabiity of this method is imited, the resuting formuas seem to have a universa nature. It is eft as an interesting open probem to estabish such formuas in fu generaity. The pan of the paper is as foows. In section 2 we formuate the probem and state the main resuts. In section 3 we give a proof for the case of the coinvariants with respect to (1.1). The proof in the other case (1.2) goes quite parae, and is briefy described in section 4. We aso obtain a fermionic formua for the fusion product of s 3 -modues invoving both symmetric and anti-symmetric tensors (Theorem 4.5). 2. Statement of the resut 2.1. Notation. First we set up the notation. We use the symbo e ab = (δ ai δ jb ) for matrix units, whose size shoud be cear from the context. Let e,f,h be the standard generators of s 2. Let L (k) be the integrabe modue over the affine Lie agebra ŝ 2 = s 2 C[t,t 1 ] CK CD, with eve k and highest weight (, k Z, 0 k). We use the foowing convention: the canonica centra extension is given by [x m,y n ] = [x,y] m+n mδ m+n,0 (x y)k (x,y s 2 ), where x m = x t m, (x y) = tr(xy), and K acts as k times the identity. The highest weight vector v (k) L (k) satisfies x i v (k) = 0 (i < 0, x = e,f,h), h 0 v (k) = v (k) and e k +1 1 v (k) = 0. In the terminoogy of [FJKLM2], L (k) = L (k) ( ) is paced at infinity. In genera, for a Lie agebra g, we write g[t] = g C[t]. Let V = α I V α be a graded vector space indexed by I = Z m β, β Q m+1. Let D i (0 i m) be the degree operator which acts on V α as α i times the identity. We ca ) ch z0,,z m V = tr V (z D 0 0 zm Dm = α z α dim V α (z α = z α 0 0 zαm m ) its character. We use the inequaity sign of forma series α f αz α α g αz α to mean that f α g α for a α. We regard L (k) as a graded s 2 [t]-modue by the degree operators D 0 = td/dt and D 1 = h 0 /2. This is equivaent to the assignment (2.1) deg e i = (i,1), deg f i = (i, 1), deg h i = (i,0), deg v (k) = (0,/2) Spaces of coinvariants. For a modue V over an agebra A and a right idea Y A, we ca V/Y V the space of coinvariants and use the abbreviated notation V/Y. In this paper we consider spaces of coinvariants of L (k) with respect to two kinds of ideas of U(s 2 [t]).

4 4 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA The first idea is generated by poynomia currents which have N-fod zeroes at the origin: B N = a N U(s 2 [t]), a N = s 2 t N C[t]. The second idea is defined as foows. For m Z 0, define right ideas of U = U(s 2 [t]) by Y m = e m+1 0 U + f 0 U + B 1, Y m = f m+1 0 U + e 0 U + B 1. Fix distinct compex numbers Z = (ζ 1,,ζ p+ p ). Choose integers k 1,,k p, k 1,, k p {0,1,,k}, and set (2.2) (2.3) M = (M 1,,M k ), M = (M 1,,M k ), M a = {i k i = a}, M a = {i k i = a}. With the above data, we associate the fusion right idea in the sense of [FJKLM1], (2.4) Y M,M (Z) = Y k1 Y kp Y k1 Y k p (Z). (2.5) (2.6) Notation being as above, we consider the spaces of coinvariants L (k) /B N, L (k) /Y M,M (Z). The first space (2.5) was introduced in [FL] for genera non-twisted affine Lie agebras, and was studied in [FKLMM1] for ŝ 2. The second space (2.6) appears as Exampe 4 in [FJKLM1]. In the specia case M i = δ ik M and M i = δ ik M, (2.6) coincides with the space of coinvariants studied in [FKLMM2, FKLMM3]. Since B N is a homogeneous idea, the space (2.5) inherits a natura bigrading from L (k). On the other hand, the idea Y M,M (Z) is not homogeneous, and the space ( (2.6) is ony) fitered. Instead we consider the associated graded space gr L (k) /Y M,M (Z). The aim of this paper is to find an expression for the characters of these graded spaces q-mutinomias and restricted Kostka poynomias. The character formuas we are going to present consists of three pieces: certain q- mutinomia symbos, restricted Kostka poynomias, and the character of the fusion product of s 2 -modues. In this subsection we reca them. Let [ (q m = n] m n+1 ) n (0 n m), (q) n 0 otherwise,

5 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 5 denote the q-binomia symbo, wherein (z) n = n 1 j=0 (1 zqj ). For an array of non-negative integers m = (m 1,,m k ) Z k 0, we set m = k im i, λ a (m) = k i=a m i (1 a k), and λ(m) = (λ 1 (m),,λ k (m)). Let M = (M 1,,M k ),m = (m 1,,m k ) Z k 0, λ = λ(m), µ = λ(m). We define k [ λa µ a+1 (2.7) F M,m (q) = q k 1 a=1 µ a+1(λ a µ a) a=1 µ a µ a+1 These are q-anaogs of the coefficients F M,m (1) appearing in the expansion ]. (2.8) (1 + x 1 ) M 1 (1 + x 1 + x 2 ) M2 (1 + x x k ) M k = m F M,m (1)x m 1 1 xm 2 2 x m k k. Here the sum is taken over m = (m 1,,m k ) Z k 0. Note that the summand is zero uness λ a (m) λ a (M) for a = 1,,k. Another ingredient is the eve-restricted Kostka poynomia for s 2. We make use of its fermionic formua [SS] given by (2.9) K (k),m (q) = n Z k 0 2 n = m Here we have set n = (n 1,,n k ) and c(n) = p a = k a,b=1 k a,b=1 A ab = min(a,b), A ab n a n b + q c(n) k a=1 k v a n a, a=1 A ab (m b 2n b ) v a, [ ] pa + n a. n a v a = max(a k +,0). The third ingredient is the character of the fusion product of irreducibe s 2 -modues. Let π denote the (+1)-dimensiona irreducibe modue of s 2, and et u be the owest weight vector. The fusion product (2.10) π m = π m 1 1 π m k k, where πa ma means π a π a (m a -times), is a graded s 2 [t]-modue. Assign degrees (2.1) and the degree (0, m /2) to the cycic vector u m 1 1

6 6 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA u m k k. The foowing formua is due to [FL],[FF]. (2.11) ch q,z π m = z m /2 χ m (q,z), χ m (q,z) = n z m n F m,n (q) Dimensions. As mentioned in Introduction, the dimensions of the spaces of coinvariants (2.5),(2.6) are described by the use of the Verinde agebra. In the case (2.5) we have (2.12) ( ) dim L (k) /B N = ( ( = m k (j + 1)[j]) N : [] ) k j=0 Simiary, in the case (2.6) we have (2.13) ( dim L (k) ) /Y M,M (Z) F (0,,0,N),m (1)K (k),m (1)χ m(1,1). = ( k ([0] + [1] + + [a]) Ma+ M a : [] ) k a=1 = m,m F M,m (1)F M,m (1)K (k),m+m (1). In both of these formuas, the second equaity foows from the first by using (2.8) and the known formua ( [1] m1 [k] m k : [] ) k = K(k),m (1). Eq. (2.12) was obtained in [FL]. Eq. (2.13) is a specia case of a mutipicative formua obtained in [FJKLM1] (Theorem 2.9, see aso Exampe 4) Fermionic formuas. We now state our main resuts which are natura q-anaogs of the above dimension formuas. Theorem 2.1. The character of the space (2.5) is given by ( (k) ) (2.14) ch q,z L /B N = F (0,,0,N),m (q)k (k),m (q)ch q,zπ m. m Theorem 2.2. The character of the associated graded space of (2.6) is given by ( ) ch q,z gr L (k) /Y M,M (Z) = F M,m (q)f M,m (q)k (k),m+m (q)z m m. m,m (2.15) In the previous studies, fermionic formuas of different type have been obtained: for (2.5) in [FKLMM1] (when k = 1), and for (2.6) in [FKLMM3] (when M ik = δ ik M,M ik = δ ik M). Theorem 2.2 is a direct generaization

7 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 7 of the formua (3.15) in [FJKLM2] where the case (2.6) with M 1 = = M k = 0 was treated. The rest of the text is devoted to the proof of Theorems 2.1, Space of coinvariants L (k) /B N In this section we prove Theorem Coinvariants of fusion products. For the computation of the character (2.14), we make use of the fusion product of certain reducibe s 2 - modues. Fix N distinct compex numbers Z = (ζ 1,,ζ N ). Set N B 1,Z = a N (Z)U(s 2 [t]), a N (Z) = s 2 (t ζ j )C[t]. Since B N and B 1,Z are two-sided ideas, the space of coinvariants L (k) /B N, L (k) /B 1,Z admit the action of s 2 [t]. The former may be viewed as the imit of the atter when a points ζ i tend to 0. It is known that the dimension does not change in this imit: Theorem 3.1. ([FKLMM1], Theorem 9) We have the equaity of dimensions dim ( L (k) ) ( (k) ) /B N = dim L /B 1,Z. Let π denote the dua representation of π, on which s 2 acts from the eft. Consider a reducibe s 2 s 2 -modue k (3.1) π π. (k) = =0 Let σ π π be the canonica vector. Then k (3.2) σ (k) = σ (k) =0 is a cycic vector of (3.1) viewed as a modue over 0 s 2. We consider the fitered tensor product F Z ( (k),, (k) ) and the associated fusion product (3.3) (k) (k), by choosing σ = σ (k) σ (k) as the cycic vector. For x s 2, write x = (x,0),x = (0,x) s 2 s 2. Since (x + x )σ = 0, the fitered tensor product as (s 2 s 2 )[t]-modues coincides with the one as (0 s 2 )[t]-modues. j=1

8 8 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA Theorem 3.2. ([FJKLM1],Theorem 3.6, Theorem A.3) (i) We have an isomorphism of fitered s 2 [t]-modues L (k) /B 1,Z F ( (k) Z,, (k) )/ e 0,e k +1 1,h 0 +, where S signifies the right idea of U(0 s 2 [t]) generated by the set S. The action of an eement x i s 2 [t] on the eft hand side is sent to the action of x i on the right hand side. (ii) There are canonica surjections L (k) /B N (k) (k) / e 0,e 1 k +1,h 0 + gr Combining Theorem 3.1 and Theorem 3.2 we obtain ( L (k) /B 1,Z ). Proposition 3.3. We have an isomorphism of graded s 2 [t]-modues L (k) /B N (k) (k) / e 0,e 1 In particuar, both sides have the same characters. k +1,h 0 +. In what foows we study the fusion product (3.3) and its quotient Changing cycic vectors. As the next step, we change the cycic vector of (3.3) into a simper one. For that purpose we utiize the embedding of Lie agebras s 2 s 2 o 4 o 5. The Lie agebra o 5 is reaized as the Lie agebra of matrices 5 o 5 = { c ab e ab c ab C, c ab + c 6 b 6 a = 0 (1 a,b 5)}. a,b=1 The set of positive roots of o 5 has the form + = {ǫ 1 ǫ 2,ǫ 1 + ǫ 2,ǫ 1,ǫ 2 }, where ǫ 1,ǫ 2 are orthonorma vectors. We choose root vectors corresponding to + and + as foows. The abeian subagebra X = e 12 e 45, X = e 21 e 54, Y = e 14 e 25, Y = e 41 e 52, Z = 2( e 13 + e 35 ), Z = 2( e 31 + e 53 ), T = 2(e 23 e 34 ), T = 2(e 32 e 43 ). a = CX CY CZ o 5 wi pay a roe in the seque. We have a commuting pair of s 2 s 2 = CY CY C[Y,Y ], s 2 = CX CX C[X,X], which span the subagebra o 4 o 5. Let ω 1 = ǫ 1 be the highest weight of the natura representation C 5 of o 5. Denote by Π (k) the representation with highest weight kω 1, and et v (k) be

9 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 9 its owest weight vector. Denoting by n the span of the negative root vectors X,Y,Z,T, we have (3.4) (3.5) (i) As a modue over the subagebra o 4 we have a decom- Lemma 3.4. position (3.6) nv (k) = 0, Tv (k) = 0, X k+1 v (k) = 0. Π (k) k π π. =0 (ii) Regard Π (k) as s 2 -modue via the action of s 2, and (k) via that of 0 s 2. Then there exists an isomorphism of s 2 -modues ν : Π (k) (k) = such that ν(e Z v (k) ) = σ (k). k π π Proof. Assertion (i) can be easiy verified, say by comparing characters. To see (ii), first note the foowing. Let θ be the anti-automorphism of s 2 given by θ(e) = f, θ(h) = h. Fix a non-degenerate symmetric biinear form ( ) on π satisfying (θ(x)u v) = (u xv) for x s 2, u,v π, and define i : π π by i(u) = (u ). Then an eement σ π π is proportiona to the canonica eement if and ony if the eement σ = (i 1 1)σ π π satisfies ( θ(x) x)σ = 0 for x s 2. We have =0 ( Y + X)e Z v (k) = e Z ( Y T)v (k) = 0, ( Y + X)e Z v (k) = e Z ( T + X)v (k) = 0. We wi show aso in the proof of Proposition 3.5 beow that e Z v (k) generates Π (k) over s 2. Hence if e Z v (k) = k =0 σ is the decomposition according to (3.6), then we have σ 0. Assertion (ii) foows from these observations. Let now k i {0,1,,k}, i = 1,,N. Generaizing sighty the setting of (3.3), we consider the fitered tensor product of o 5 [t]-modues (3.7) choosing the cycic vector (3.8) Set F Z (Π (k 1),,Π (k N) ), v = v (k 1) v (k N). σ = σ (k 1) σ (k N). We retain the notation Z i = Z t i and so forth.

10 10 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA Proposition 3.5. The foowing are isomorphic as fitered vector spaces. (i) Fitered tensor product of (0 s 2 )[t]-modues F Z ( (k 1),, (k N) ), with σ as cycic vector, (ii) Fitered tensor product of o 5 [t]-modues F Z (Π (k 1),,Π (k N) ), with v as cycic vector, (iii) Fitered tensor product of a[t]-modues F Z (Π (k 1),,Π (k N) ), with v as cycic vector. For the proof we use Lemma 3.6. For a m and i 0 we have where Z (m) 0 = Z m 0 T i Z (m) 0 v = 2Y i Z (m 1) 0 v, X i Z (m) 0 v = Y i Z (m 2) 0 v, /m! if m 0 and = 0 if m < 0. Proof. This foows from [X i,z 0 ] = T i, [T i,z 0 ] = 2Y i, X i v = T i v = 0 and that X i,t j,y are mutuay commutative. Proof of Proposition 3.5. The equivaence of (ii) and (iii) is a consequence of the reations (3.4),(3.5) and the Poincaré-Birkhoff-Witt (PBW) theorem. For a Lie agebra g, et U d (g[t]) stand for the subspace of U(g[t]) spanned by eements of degree at most d with respect to the grading in t. Set F d = U d (s 2[t])e Z 0 v, G d = U d (o 5 [t])v. In view of Lemma 3.4, to show the equivaence of (i) and (ii) it suffices to prove the equaity F d = G d for a d 0. Since e Z 0 v G 0 and s 2 [t] o 5[t], we have F d G d. Let us prove the opposite incusion. Set H p = [X p,x 0 ] s 2[t]. Since [H 0,Z (m) 0 ] = mz (m) 0, e Z 0 v F 0 impies Z (m) 0 v F 0 for a m. From Lemma 3.6 we have Y i Z (m) 0 v = X i Z (m+2) 0 v, T i Z (m) 0 v = 2X i Z (m+1) 0 v. Since X i F d,x i F d F d+i and X i,t j,y are mutuay commutative, we find by induction that ( r s t ) X ia Y ja T c Z (m) 0 v F d a=1 b=1 c=1 if r a=1 i a + s b=1 j b + t c=1 c d. Appying H p repeatedy to this expression using [H p,z i ] = Z i+p, we obtain ( r s t w ) Z pg v F d X ia Y ja T c a=1 b=1 c=1 g=1 for r a=1 i a+ s b=1 j b+ t c=1 c+ w g=1 p g d. Therefore the PBW theorem impies G d F d.

11 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 11 Henceforth we set (3.9) (3.10) V M = Π (k 1) Π (k N), M = (M 1,,M k ), M a = {j k j = a}. We regard the fusion product as a modue over U(a[t]) = C[X i,y i,z i (i 0)] with cycic vector (3.8). From (2.8) and (3.6) we have (3.11) dim V M = dim Π (k1) Π (k N) = F M,m (1) ( dim π m 1 1 π m ) k 2 k. m The operators D 0 = td/dt, D 1 = [Y 0,Y 0 ]/2, D 2 = [X 0,X 0 ]/2 give the foowing grading on (3.9). (3.12) (3.13) (3.14) deg X i = (i,0,1), deg Y i = (i,1,0), deg Z i = (i, 1 2, 1 2 ), (3.15) degv = (0, M 2, M 2 ). Our goa is to obtain the character of the quotient space (3.16) V M /(X 0 V M + X k +1 1 V M + (D 2 + /2)V M ) Annihiation conditions. Let us determine the reations satisfied by the cycic vector v V M. From the reations (3.4), (3.5), for any ξ we have e ξt X k+1 e ξt v (k) = 0, or equivaenty ( X + ξz ξ 2 Y ) k+1 v (k) = 0. For an eement η a, consider the generating function η(z) = i 0 η iz i. On the N-fod fusion product (3.9), the operators η i (i N) act as 0. Therefore η(z) acts as a poynomia of degree at most N 1. Proposition 3.7. For an indeterminate ξ, the foowing reations hod on the fusion product V M : (3.17) deg z ( X(z) + ξz(z) ξ 2 Y (z) ) ν v for any ν 0. k min(ν,i)m i ν Here deg z signifies the degree of a poynomia in z. Proof. We repeat the argument of [FF]. For convenience we assume that ζ a 0. Set x(z) = X(z)+ξZ(z) ξ 2 Y (z) and x(z) = N a=1 (1 ζ az) x(z) =

12 12 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA i 0 x iz i. By the definition of the fitered tensor product, x i acts on the a-th tensor component of (3.7) as ζa i x. We have an operator identity x(z) = N a=1 b( a) (1 ζ b z)1 a-th x 1. In particuar, the reations x i = 0 (i N) and x(ζ 1 a )ka+1 = 0 hod. Therefore x(z) ν is divisibe by (1 ζ a z) max(ν ka,0), so that N (1 ζ a z) ν max(ν ka,0) x(z) ν a=1 acts as a poynomia of degree at most ν(n 1) N max(ν k a,0) = a=1 N min(ν,k a ) ν. Passing to the associated graded space, 1 ζ a z can be repaced by 1 because z picks up operators of ower degree. The assertion foows from this. The reations (3.17) are equivaenty written in the form ( deg z X(z) a Z(z) b + Cj ab X(z)a+j Y (z) j Z(z) b 2j) v 1 j b/2 a=1 k min(a + b,i)m i (a + b) (a,b 0) with some constants Cj ab, and simiar reations with X and Y interchanged. Let us simpify them further. Denote by G m the C[X i,y i (i 0)]-submodue of V M spanned by r a=1 X s i a b=1 Y t j b c=1 Z c v with t m. This defines a fitration G : 0 = G 1 G 0 G i 1 G i V M. On the associated graded space gr G V M = i 0 G i /G i 1, we have the reations (3.18) (3.19) deg z X(z) a Z(z) b v deg z Y (z) a Z(z) b v k min(a + b,i)m i (a + b), k min(a + b,i)m i (a + b), vaid for a a,b 0.

13 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS Subquotient modues and recursion. Suggested by the reations (3.18),(3.19), we introduce a famiy of cycic modues (3.20) W(k 1,,k p 1,, r ) = C[X i,y i,z i (i 0)]1, defined by the foowing reations for the cycic vector 1: p r (3.21) deg z X(z) a Z(z) b 1 min(a + b,k i ) + min(a, j ) (a + b), (3.22) deg z Y (z) a Z(z) b 1 p min(a + b,k i ) + for a a,b 0. We aso write (3.20) as j=1 r min(a, j ) (a + b), j=1 W M,n = W(k 1,,k p 1,, r ), n = (n 1,,n k ), n a = {j j = a}. In the case p = N and r = 0, (3.18),(3.19) impy that we have a surjection (3.23) W(k 1,,k N ) gr G V M 0. In the case p = 0, the reations (3.21),(3.22) reduce to Z(z)1 = 0, deg z X(z) a 1 deg z Y (z) a 1 r min(a, j ) a, j=1 r min(a, j ) a. The ast two reations are each identica to the defining reations for the cycic vector of the fusion product of irreducibe s 2 [t]-modues [FF]. Therefore we have (3.24) j=1 W( 1,, r ) (π 1 π r ) (π 1 π r ) as C[X i,y i (i 0)]-modues. We are now in a position to give a recursion reation among (3.20). Suppose p 1,k 1 1, and set W = W(k 1,,k p 1,, r ), W = W(k 2,,k p k 1, 1,, r ), W = W(k 1 1,k 2,,k p 1,, r ). Let further W be the subspace of W generated by 1 over X i,y i (i 0) and Z i (i 1). The foowing Proposition can be shown in exacty the same way as that of Propositions 2.6 and 2.8 in [FJKLM2].

14 14 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA Proposition 3.8. (i) There exists a surjection ι : W W given by ι(x i ) = X i, ι(y i ) = Y i, ι(z i ) = Z i+1. (ii) Assume that k 1 k 2,,k N. Then there exists a surjection φ : W W/W given by φ(bz (m) 0 ) = bz (m+1) 0, where b is an eement not divisibe by Z 0. Introduce a Z 4 0 grading on (3.20) (3.25) (3.26) deg X i = (i,0,1,0), deg Y i = (i,1,0,0), deg Z i = (i,0,0,1), deg1 = (0,0,0,0). Denoting by W d,i1,i 2,i 3 the homogeneous component of degree (d,i 1,i 2,i 3 ) we have ι(w d i 3,i 1,i 2,i 3 ) W d,i1,i 2,i 3, φ(w d,i 1,i 2,i 3 1 ) (W/W ) d,i1,i 2,i 3. Proposition 3.9. We have an upper estimate (3.27) ch q,z1,z 2,z 3 W M,n m F M,m (q)z M m 3 χ m+n (q,z 1 )χ m+n (q,z 2 ), where χ m (q,z) is given in (2.11). Proof. Suppose k 1 k 2,,k p. From Proposition 3.8 we have an exact sequence of C[X i,y i (i 0)]-modues W W ι φ 0 W W W/W 0 where the vertica arrows are surjective. Hence we have ch q,z1,z 2,z 3 W(k 1,,k p 1,, r ) ch q,z1,z 2,qz 3 W(k 2,,k p k 1, 1,, r ) +z 3 ch q,z1,z 2,z 3 W(k 1 1,k 2,,k p 1,, r ). Repeating the working of Theorem 2.11 in [FJKLM2] and using ch q,z1,z 2,z 3 W( 1,, r ) = χ n (q,z 1 )χ n (q,z 2 ) which foows from (3.24), we obtain the assertion.

15 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 15 In Proposition 3.9, take r = 0 and speciaize to q = z 1 = z 2 = z 3 = 1. Using (3.11), we obtain an estimate dimw(k 1,,k N ) dim V M. From (3.23) we have aso the opposite inequaity. We thus find that W(k 1,,k N ) gr G V M. At the same time, the maps ι,φ appearing in the intermediate steps are isomorphisms. This impies that W(k 1,,k N ) has a fitration with subquotients of the form W( 1,, r ). Choosing z 2 3 = z 1z 2 in the right hand side of (3.27), and mutipying (z 1 z 2 ) M /2 on both sides, we obtain a formua for the character of V M. Let us summarize the concusion as Theorem. Theorem There exists a fitration H of gr G V M by C[X i,y i (i 0)]- modues such that gr H gr G V M = M M,m π m π m, m where M M,m is a trivia modue with the character In particuar, we have ch q,z1,z 2 V M = m ch q M M,m = F M,m (q). F M,m (q)ch q,z1 π m ch q,z2 π m Proof of Theorem 2.1. Let us return to the space of coinvariants (2.5). Proof of Theorem 2.1. It remains to cacuate the character of the quotient space (3.16). Let us set M = (0,,0,N), V = V M, V = gr G V and V = gr H gr G V. We have ch q,z V/(X 0 V + X k +1 1 V + (D 2 + /2)V ) ch q,z V /(X 0 V + X k +1 1 V + (D 2 + /2)V ) ch q,z V /(X 0 V + X k +1 1 V + (D 2 + /2)V ) = m F M,m (q)ch q,z π m ch q π m /(X 0 π m + X k +1 1 π m + (D 2 + /2)π m ). The ast equaity foows from Theorem Using the formua ([FJKLM1], Theorem 4.1) ch q π m /(e 0 π m + e k +1 1 π m + (h 0 + )π m ) = K (k),m (q), we find that the ast ine coincides with the right hand side of (2.14). Comparing dimensions, we obtain the desired equaity. Theorem 2.1 is proved.

16 16 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA Let us mention an immediate consequence of the above proof. Set K,M (q,z) = ch q,z V M /(e 0 V M + (h 0 + )V M ). Coroary For M = (0,,0,N), we have ( (k) ) ch q,z L /B N = q (k+2)i2 +(+1)i K 2(k+2)i+,M (q,z) i 0 i>0 q (k+2)i2 (+1)i K 2(k+2)i 2,M (q,z). Proof. Let K,m (q) = ch q π m /(e 0 π m +(h 0 +)π m ) denote the (non-restricted) Kostka poynomia. The foowing aternating sum formua is known ([SS], eq.(6.8)): K (k),m (q) = q (k+2)i2 +(+1)i K 2(k+2)i+,m (q) i 0 i>0 q (k+2)i2 (+1)i K 2(k+2)i 2,m (q). Substituting this into (2.14) we obtain the assertion. Remark Coroary 3.11 confirms a conjecture of [FJKLM1], eq.(3.26), in the specia case (2.5). We remark that a simiar aternating sum formua was proposed earier in [FL]. Whie the cycic vector for (3.11) is the sum of canonica vectors, the one in [FL] (for s 2 ) is chosen to be the tensor product of highest weight vectors of s 2 s 2. At this moment we do not know the reation between the two. 4. Space of coinvariants L (k) /Y M,M (Z) The proof of Theorem 2.2 is quite parae to the previous one. We describe the main steps beow, skipping minor detais Fusion product. In the case of the space of coinvariants (2.6), we use reducibe modues over C h s 2, where C h is a one-dimensiona Lie agebra. Let u, ū denote respectivey the owest and highest weight vectors of π. Set m m π (m) = π, π (m) = π, u (m) = =0 m u, ū (m) = =0 =0 m ū. We define the action of h on π (m),π (m) by the rues hu = u, hū = ū, and [ h,s 2 ] = 0. Consider the fitered tensor product =0 F Z (π (k 1),,π (kp),π ( k 1 ),,π ( k p) )

17 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 17 as s 2 [t]-modues taking u ū as cycic vector, where (4.1) u = u (k 1) u (kp), ū = ū ( k 1 ) ū ( k p). We use M,M in (2.2), (2.3) to abe the k i, k i. Theorem 4.1. ([FJKLM1], Theorem 3.6 and Exampe 4) We have an isomorphism of fitered vector spaces (4.2) L (k) /Y M,M (Z) F Z (π (k 1),,π (kp),π ( k 1 ),,π ( k p) )/ e 0,h 0 +,e k The action of h 0 s 2 [t] on the eft hand side corresponds to that of h on the right hand side Changing cycic vectors. We change the cycic vector (4.1) to a simper one with the aid of the embedding s 2 s 3. Let ω 1 = ǫ 1, ω 2 = ǫ 1 + ǫ 2 = ǫ 3 be the fundamenta weights of s 3, where ǫ i = ǫ i (ǫ 1 + ǫ 2 + ǫ 3 )/3 and ε i are orthonorma vectors. Denote by Π m (resp. Π m ) the irreducibe modue with highest weight mω 1 (resp. mω 2 ), and by v (m) Π m (resp. v (m) Π m ) the owest weight vector. We have We set (4.3) e ij v (m) = 0, e ij v (m) = 0 (i > j), e 12 v (m) = 0, e a 13e b 23v (m) = 0 (a + b = m + 1), e 23 v (m) = 0, e a 13 eb 12 v(m) = 0 (a + b = m + 1). v = v (k 1) v (kp), v = v ( k 1 ) v ( k p). Changing the convention of [FJKLM2], we regard s 2 as the subagebra Ce 13 Ce 31 C[e 13,e 31 ] of s 3. We aso use the subagebras n = Ce 12 Ce 13 Ce 23 s 3, b = Ce 13 n. Proposition 4.2. The foowing are isomorphic as fitered vector spaces. ) (i) Fitered tensor product of s 2 [t]-modues F Z (π (k1),,π (kp),π ( k 1 ),,π ( k p), with u ū as cycic vector, ( (ii) Fitered tensor product of s 3 [t]-modues F Z Π k1,,π kp,π k1, ),,Π k p with v v as cycic vector, ( (iii) Fitered tensor product of n[t]-modues F Z Π k1,,π kp,π k1, ),,Π k p with v v as cycic vector. Proof. Set v (m) = s 12 v (m), where s 12 denotes the refection with respcect to the simpe root ǫ 1 ǫ 2. Then we have isomorphisms ν,ν of s 2 -modues such that ν : Π m π (m), ν ( exp(e 23 )v (m)) = u (m), ν : Π m π (m), ν ( exp(e 23 ) v (m) ) = ū (m).

18 18 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA The fitered tensor product does not change if we change the cycic vector from v v to s 12 (v v) = v s 12 ( v). Hence the equivaence of (i) and (ii) foows from Proposition A.2 in [FJKLM2]. The equivaence of (ii) and (iii) foows from the PBW theorem. If we set h ab = e aa e bb, then in the above we have ν 1 h ν = 1 3 (h 12 h 23 ) m, ν 1 h ν = 1 3 (h 12 h 23 ) 2 3 m. Using the degree operators D 0 = td/dt, D 1 = (2h 12 + h 23 )/3, D 2 = (h h 23 )/3, we assign the grading to the corresponding fusion product as foows. (4.4) (4.5) We have then deg e 12,i = (i,1,0), deg e 23,i = (i,0,1), deg e 13,i = (i,1,1), degv v = (0, M + 2 M 2 M + M, ). 3 3 (4.6) h = D 1 D ( M M ) Annihiation conditions. The next task is to derive the annihiating conditions for the cycic vector v v. For that purpose we introduce an abeianization of the fusion product. On U(n[t]) we have a fitration {U i (n[t])} by degrees in t. Let us consider another fitration {U i (n[t])}. Let L be the inear span of e 12,i,e 23,i (i 0), and set U i (n[t]) = LU (i 1) (n[t]) + U (i 1) (n[t]), U 0 (n[t]) = U(b[t]), U 1 (n[t]) = 0. On a cycic n[t]-modue W = U(n[t])w, we have an induced fitration F i W = U i (n[t])w, G i W = U i (n[t])w. On gr G W the actions of e 12,i, e 23,j are commutative. Since b[t] n[t] is centra, G i W is a b[t]-modue. Let F be the fitered tensor product of n[t]-modues given in Proposition 4.2, (iii). The fitration F gives rise to the fusion product (4.7) We have (4.8) V M,M = gr F F = Π k1 Π kp Π k1 Π k p. dim V M,M = m,mf M,m (1)F M,m (1)χ m+m (1,1). As before, we set e ab (z) = i 0 e ab,iz i and ẽ ab (z) = p+ p r=1 (1 ζ rz) e ab (z).

19 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 19 Proposition 4.3. The foowing reations hod on gr G V M,M. deg z e 23 (z) a e 12 (z) b e 13 (z) c v v p p min(a + c,k i ) + min(b + c, k i ) (a + b + c) for any a,b,c 0. Proof. We have ẽ 12 (z)v = 0 and ẽ 23 (z) v = 0. Therefore on gr G F we obtain (4.9) ẽ 23 (z) a ẽ 12 (z) b ẽ 13 (z) c v v = c 1 +c 2 =c c! c 1!c 2! (ẽ 23(z) a ẽ 13 (z) c 1 v) ( ẽ 12 (z) b ẽ 13 (z) c2 v ). At the point z = ζ1 1, ẽ 23(z) a ẽ 13 (z) c 1 v has a zero of order max(c 1 + a k 1,0) and ẽ 12 (z) b ẽ 13 (z) c2 v has a zero of order c 2 + b. Therefore, at z = ζ1 1 the right hand side of (4.9) has a zero of order at east max(c+a k 1,0)+b. Proceeding in the same way, we find that the eft hand side of (4.9) is divisibe by p (1 ζ i z) max(a+c k i,0)+b p (1 ζ p+i z) max(b+c k i,0)+a. Counting degrees and passing to gr F gr G F = gr G gr F F = gr G V M,M, we obtain the assertion Subquotient modues and recursion. Let a = CX CY CZ be an abeian Lie agebra. We regard gr G V M,M as an a[t]-modue where X i,y i,z i act as e 12,i,e 23,i,e 13,i, respectivey. Introduce a famiy of cycic modues (4.10) W(k 1,,k p k 1,, k p 1,, r ) = U(a[t])1 by the foowing defining reations. deg z Y (z) a X(z) b Z(z) c 1 p min(a + c,k i ) + p min(b + c, k i ) + r min(c, i ) (a + b + c) for a a,b,c 0. In the case p = 0, the modue W( k 1,, k p 1,, r ) is a specia case of the ones studied in [FJKLM2]. From Proposition 4.3, we have aso a surjection of U(a[t])-modues (4.11) W(k 1,,k p k 1,, k p ) gr G V M,M 0.

20 20 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA The rest of the working is entirey simiar to the previous section. Set W = W(k 1,,k p k 1,, k p 1,, r ), W = W(k 2,,k p k 1,, k p k 1, 1,, r ), W = W(k 1 1,k 2,,k p k 1,, k p 1,, r ). Let further W be the subspace of W generated by 1 over X i,z i (i 0) and Y i (i 1). Theorem 4.4. Suppose k 1 k 2,,k p. Then there exists surjective maps of C[Z i (i 0)]-modues The maps are ι : W W, φ : W W/W. ι(x i ) = X i, ι(y i ) = Y i+1, ι(z i ) = Z i, φ(by (m) 0 ) = by (m+1) 0, where b is not divisibe by Y 0. Simiar maps exist if we exchange the roes of k 1,,k p with k 1,, k p and Y i with X i. We have a Z 4 0 grading on (4.10) given by deg X i = (i,1,0,0), deg Y i = (i,0,1,0), deg Z i = (i,0,0,1), deg1 = (0,0,0,0). The character satisfies the recursive estimate ch q,z1,z 2,z 3 W(k 1,,k p k 1,, k p 1,, r ) ch q,z1,qz 2,z 3 W(k 2,,k p k 1,, k p k 1, 1,, r ) +z 2 ch q,z1,z 2,z 3 W(k 1 1,k 2,,k p k 1,, k p 1,, r ), under the assumption that k 1 k 2,,k p. From this and the known initia condition for p = 0, we obtain ch q,z1,z 2,z 3 W(k 1,,k p k 1,, k p 1,, r ) m,m F M,m (q)f M,m (q)z M m 2 z M m 1 χ m+m+n (q,z 3 ), where n = (n 1,,n k ), n a = {j j = a}. From (4.11) and (4.8), we have an equaity for r = 0. In order to obtain the character of the fusion product, we speciaize z 3 = z 1 z 2 and suppy an overa power z ( M +2 M )/3 1 z (2 M + M )/3 2, to take into account the degree of the cycic vector (4.5). Theorem 4.5. There exists a fitration H of gr G V M,M by C[Z i (i 0)]- modues such that gr H gr G V M,M = m,m M Mm;Mm π m+m,

21 TWO CHARACTER FORMULAS FOR ŝ 2 SPACES OF COINVARIANTS 21 where M Mm;Mm is a trivia modue with the character ch q M Mm;Mm = F M,m (q)f M,m (q). The foowing formua hods for the character of the fusion product ch q,z1,z 2 V M,M = F M,m (q)f M,m (q)ch q,(z1 z 2 )π m+m m,m (z 1 1 z 2) ( M M )/3 ( m m )/2. Finay Theorem 2.2 foows by taking the quotient with respect to Z 0, Z1 k +1, D 2 + /2 and using the information about the dimension (2.13). In view of (4.5) and (4.6), the character is obtained by settin z 1 = z,z 2 = z 1 and mutipying by z 2( M M )/3. Acknowedgments. BF is partiay supported by the grants RFBR , RFBR and INTAS SL is partiay supported by the grants RFBR and RFBR JM is partiay supported by the Grant-in-Aid for Scientific Research (B2) no , and TM is partiay supported by (A1) no , Japan Society for the Promotion of Science. References [FF] [FJKLM1] [FJKLM2] [FKLMM1] [FKLMM2] [FKLMM3] [FL] [SS] [SW] B. L. Feigin and E. Feigin, q-characters of the tensor products in s 2-case, math.qa/ (2002). B. Feigin, M. Jimbo, R. Kedem, S. Loktev and T. Miwa, Spaces of coinvariants and fusion product I. From equivaence theorem to Kostka poynomias. math.qa/ B. Feigin, M. Jimbo, R. Kedem, S. Loktev and T. Miwa, Spaces of coinvariants and fusion Product II. ŝ2 character formuas in terms of Kostka poynomias. math.qa/ B. Feigin, R. Kedem, S. Loktev, T. Miwa and E. Mukhin, Combinatorics of the ŝ2 Spaces of Coinvariants, Transformation Groups 6 (2001) B. Feigin, R. Kedem, S. Loktev, T. Miwa and E. Mukhin, Combinatorics of the ŝ2 Spaces of Coinvariants: Loop Heisenberg modues and recursion, math.qa/ B. Feigin, R. Kedem, S. Loktev, T. Miwa and E. Mukhin, Combinatorics of the ŝ2 spaces of coinvariants: Dua functiona reaization and recursion, math.qa/ B. L. Feigin and S. Loktev, On generaized Kostka poynomias and quantum Verinde rue, math.qa/ , Amer. Math. Sci. Trans. 194 (1999) A. Schiing and M. Shimozono, Fermionic formuas for eve-restricted generaized Kostka poynomias and coset branching functions, math.qa/ , Commun. Math. Phys. 220 (2001) A. Schiing and S. O. Warnaar, Inhomogeneous attice paths, generaized Kostka poynomias and A n 1 supernomias, math.qa/ , Commun. Math. Phys. 202 (1999)

22 22 B. FEIGIN, M. JIMBO, S. LOKTEV AND T. MIWA BF: Landau institute for Theoretica Physics, Chernogoovka, , Russia E-mai address: MJ: Graduate Schoo of Mathematica Sciences, The University of Tokyo, Tokyo , Japan E-mai address: SL: Institute for Theoretica and Experimenta Physics, B. Cheremushkinskaja, 25, Moscow , Russia Independent University of Moscow, B. Vasievsky per, 11, Moscow , Russia E-mai address: TM: Division of Mathematics, Graduate Schoo of Science, Kyoto University, Kyoto Japan E-mai address: