arxiv: v2 [math.rt] 10 Oct 2016

Transcription

1 CLASSIFICATION OF CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS ON A TORUS arxiv: v2 [math.rt] 10 Oct 2016 YULY BILLIG AND JOHN TALBOOM Abstract. We consider a category of modules that admit compatible actions of the commutative algebra of Laurent polynomials and the Lie algebra of divergence zero vector fields on a torus and have a weight decomposition with finite dimensional weight spaces. We classify indecomposle and irreducible modules in this category. Key Words: Indecomposle representations; Irreducible representations; Lie algebra of vector fields; Weight module 2010 Mathematics Subject Classification: 17B10, 17B66 1. Introduction Consider the algebra A N = C[t ±1 1,...,t±1 N ] and Lie algebra Der(A N) of derivations of A N. The Lie algebra Der(A N ) may be identified with the Lie algebra of polynomial vector fields on an N-dimensional torus (see Section 2). In [8] Eswara Rao considered modules that admit compatible actions of both the Lie algebra Der(A N ) and the commutative algebra A N. We refer to such modules as (A N,Der(A N ))-modules. Tensor fields on a torus provide examples of modules in this class. Eswara Rao classified in [8] all irreducible (A N,Der(A N ))-modules with finite-dimensional weight spaces and proved that all such modules are in fact tensor modules. This result was extended in [2] to a classification of indecomposle modules in this category. To accomplish this it was shown that the action of the Lie algebra is polynomial (see [1] and [3]); a strategy which will be used in the current paper. In [7] Eswara Rao determines conditions for irreducibility of tensor modules for Der(A N ). Restrictions of these tensor modules to the subalgebra of divergence zero vector fields, denoted here by S N, are studied in [9], and it was found that these modules remain irreducible under similar conditions. The goal of this paper is to study the category J of (A N,S N )-modules with finite-dimensional weight spaces and classify irreducible and indecomposle modules in this category. Let S + N be the Lie algebra of divergence zero elements of Der(C[x 1,...,x N ]) of non-negative degrees, H the three dimensional Heisenberg algebra and a N an elian algebra of dimension N. The main result of this paper is Theorem 4.3 which is stated below (the action of S N will also be given). Theorem. Let λ C N and let J λ be a subcategory of modules in category J supported on λ+z N. (a) For N = 2 there is an equivalence of categories between the category of finite dimensional modules for S + 2 H and J λ. This equivalence maps U to A 2 U where U is a finite dimensional module for S + 2 H. 1

2 2 YULY BILLIG AND JOHN TALBOOM (b) For N 3, there is an equivalence of categories between the category of finite dimensional modules for S + N a N and J λ. This equivalence maps U to A N U where U is a finite dimensional module for S + N a N. Section 2 of the current paper will introduce category J for the Lie algebra of divergence zero vector fields on an N-dimensional torus. An immediate consequence of this definition is that weights for an indecomposle module J in category J form a single coset λ + Z N where λ C N. Furthermore, since J is a free A N - module of finite rank, all weight spaces have the same dimension and it follows that J = A N U, where U is any weight space of J. Section 3 contains the bulk of the proof for the classification of category J. It begins by showing that the action of S N on J is completely determined by the action of a certain Lie algebra on U. The remainder of the section is to show that S N acts on J by certain End(U)-valued polynomials. It is seen however that the case N = 2 is exceptional in this regard and it must be considered separately from the cases where N 3. The main results are presented in Sections 4 and 5. Here the so-called polynomial actiononu isseentobe arepresentationoftheliealgebras + N, alongwiththe three dimensional Heisenberg in the case N = 2, or an elian algebra in the case N 3. In the case of irreducible modules the action of S + N simplifies to a representation of sl N, the Lie algebra of N N matrices with trace zero, and the three dimensional Heisenberg converts to an elian algebra when N = 2. Irreducible representations for the case N = 2 are studied in [6] by Jiang and Lin. Lemma 3.1 below makes use of a technique found in this paper in order to obtain a family of eigenvectors. This provides a crucial step in the classification. 2. Preliminaries Let A N = C[t 1 ±1,...,t±1 N ] be the algebra of Laurent polynomials over C. Elements of A N are presented with multi-index notation t r = t r1 1...trN N where r = (r 1,...,r N ) Z N. Let {e 1,...,e N } denote the standard basis for Z N. For k Z N, k = k k N, k! = k 1!...k N! and ( ) r k = r! k!(r k)!. Denote the set of nonnegative integers by Z 0. For i {1,...,N}, let d i = t i t i. The vector space of derivations of A N, { Der(A N ) = Span C t r d i i {1,...,N},r Z N}, forms a Lie algebra called the Witt algebra denoted here by W N. The Lie bracket in W N is given by [t r d i,t s d j ] = s i t r+s d j r j t r+s d i. Geometrically, W N may be interpreted as the Lie algebra of (complex-valued) polynomialvectorfields on an N dimensional torus via the mapping t j = e 1θ j for all j {1,...,N}, where θ j is the jth angular coordinate. This has an interesting subalgebra, the Lie algebra of divergence-zero vector fields, denoted S N. The change of coordinates t j = e 1θ j, gives θ j = tj θ j t j = 1t j t j = 1dj. Thus an element X = N j=1 f j(t)d j W N can be written in the form X = 1 N j=1 f j(t) θ j. The divergenceofx withrespect tothenaturalvolumeform in angular coordinates is then 1 N j=1 r b t r d a r a t r d b, it follows that f j θ j = N j=1 t j fj t j. Letting d (r) = S N = Span C { da,d (r) a,b {1,...,N},r Z N}

3 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 3 and has commutative Cartan subalgebra h = Span C {d j j {1,...,N}}. It will be useful to have the Lie bracket of S N in terms of the elements d (r). For r,s Z N and a,b,p,q {1,...,N}, [d a,d pq (r)] = r a d pq (r), and [d (r),d pq (s)] = r b s p d aq (r +s) r b s q d ap (r +s) r a s p d bq (r +s)+r a s q d bp (r+s). Bydefinition d (0) = 0,d aa (r) = 0 andd ba (r) = d (r). When N 3, d (r) = 0 in the case r a = r b = 0, and in general, r p d (r)+r a d bp (r)+r b d pa (r) = 0. A family of modules for W N called category J was defined in [2]. An analogous category of modules for S N is defined as follows: Definition 2.1. Let N > 1. An S N -module J belongs to category J if the following properties hold: (J1) The action of d a on J is diagonalizle for all a {1,...,N}. (J2) Module J is a free A N -module of finite rank. (J3) For any X S N,f A N and u J, X(fu) = (X(f))u+f(Xu). A submodule of any J J must be invariant under the actions of both A N and S N. Classifying the modules of category J is the goal of this paper. From property (J2) it follows that any module in J is a finite direct sum of indecomposle modules and hence it suffices to examine indecomposle modules J J. Using (J1) we may consider the h-weight decomposition, J = λ C N J λ where J λ = {u J d a (u) = λ a u}. For u J λ, d a (d bc (r)u) = d bc (r)d a u+[d a,d bc (r)]u = (λ a +r a )d bc (r)u and thus d bc (r)j λ J λ+r. Similarly by (J3) t r J λ J λ+r. These two relations partition the weights of J into Z N -cosets of C N, and decompose J into a direct sum of submodules, each corresponding to a distinct coset. Thus if J is indecomposle its set of weights is one such coset λ+z N for λ C N and J = r Z N J λ+r. Let U = J λ. The invertible map t r : U J λ+r identifies all weight spaces with U and since J is a free module for the associative algebra A N it follows that any basis for U is also basis for J viewed as a free A N -module. Furthermore the finite rank condition of property (J2) implies that U must be finite dimensional. This yields that J = A N U. Homogeneous elements of J will be denoted t s v, for s Z N,v U. 3. Polynomial Action The map d (r) : 1 U t r U induces an endomorphism D (r) : U U defined by D (r)u = (t r d (r))u for u U. Combining this with (J3) yields (1) d (r)(t s v) = (r b s a s b r a )t r+s v +t r+s D (r)v, and so the action of d (r) on J is determined by that of D (r) on U.

4 4 YULY BILLIG AND JOHN TALBOOM The key to proving the main result is to show that D (r) acts on U by an End(U)-valued polynomial in r when N 3. That is, D (r) = r k k! P(k), where the P (k) End(U) do not depend on r, and the sum is finite. The factor of k! is for convenience. In the case N = 2 a slight modification needs to be made and the corresponding expansion has the form D (r) = k Z 2 0 r k k! P(k) δ r,0p (0), where δ r,0 is the Kronecker delta. Since D (r) = t r d (r), the Lie bracket for D (r) follows from that of d (r). [D (r),d cd (s)] = [t r d (r),t s d cd (s)] = t r (d (r)(t s ))d cd (s) t s (d cd (s)(t r ))d (r)+t r s [d (r),d cd (s)] = t r ( r b s a +r a s b )t r s d cd (s) t s ( r c s d +r d s c )t s r d (r) +t r s (r b s c d ad (r+s) r b s d d ac (r+s) r a s c d bd (r +s)+r a s d d bc (r+s)) = (r a s b r b s a )D cd (s)+(r c s d r d s c )D (r) +r b s c D ad (r+s) r b s d D ac (r+s) r a s c D bd (r+s)+r a s d D bc (r +s). This has special case (2) [D (r),d (s)] = (r a s b r b s a )(D (r)+d (s) D (r +s)). Note that for N 3 r c D (r)+r a D bc (r)+r b D ca (r) = 0. For a function f whose domain is Z N the difference derivative in direction r Z N, denoted by r f, is defined as r f(s) = f(s+r) f(s). Higher order derivatives are obtained by iteration and thus m ( ) m (3) r m f(s) = ( 1) m i f(s+ir). i i=0 j=0 i=0 To simplify notation let a = ea. Applying the ove twice yields m (4) a m n b f(s) = n ( )( m n ( 1) m+n i j i j ) f(s+ie a +je b ). A technique for finding eigenvectors was found in [6] and provides a key step to proving the result here (cf. Lemma 4 in [6]). Lemma 3.1. Let m,n Z 0, and a,b {1,...,N}. Then for m 1 [D ( e b ),[D ( e a ), m a n b D (e a )]] = n(m+1) m a n b D (e a ).

5 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 5 Proof. First apply the formula for the difference derivatives, [D ( e b ),[D ( e a ),a m bd n (e a )] m n ( )( m n = ( 1) m+n i j i j i=0 j=0 then evaluate the Lie bracket for D (r), = + m n ( )( m n ( 1) m+n i j i j m n ( )( m n ( 1) m+n i j i j m n ( )( m n ( 1) m+n i j i j i=0 j=0 i=0 j=0 i=0 j=0 ) [D ( e b ),[D ( e a ),D ((i+1)e a +je b )], ) j[d ( e b ),D ( e a )] ) j[d ( e b ),D ((i+1)e a +je b )] ) j[d ( e b ),D (ie a +je b ))]. Simplifying the binomial coefficients and evaluating the Lie bracket yields, n ( ) ( n 1 m ( ) ) m = n ( 1) n j ( 1) m i [D ( e b ),D ( e a )] j 1 i j=1 i=0 m n ( )( ) m n 1 n ( 1) m+n i j i j 1 i=0 j=1 (i+1)(d ( e b )+D ((i+1)e a +je b ) D ((i+1)e a +(j 1)e b )) m n ( )( ) m n 1 +n ( 1) m+n i j i j 1 i=0 j=1 i(d ( e b )+D (ie a +je b ) D (ie a +(j 1)e b )). The first term vanishes because the sum in parentheses is zero for m 1. For a similar reason the terms involving D ( e b ) will vanish. A change of summation index causes a sign change leaving, n m n 1 ( )( ) m n 1 ( 1) m+n i j i j i=0 j=0 (D ((i+1)e a +(j +1)e b ) D ((i+1)e a +je b )) m 1 n 1 ( )( ) m 1 n 1 mn ( 1) m+n i j i j i=0 j=0 (D ((i+2)e a +(j +1)e b ) D ((i+2)e a +je b )) m 1 n 1 ( )( ) m 1 n 1 +mn ( 1) m+n i j i j i=0 j=0 (D ((i+1)e a +(j +1)e b ) D ((i+1)e a +je b )).

6 6 YULY BILLIG AND JOHN TALBOOM Applying the definition of the difference derivative combines terms to give m n 1 ( )( ) m n 1 n ( 1) m+n i j b D ((i+1)e a +je b ) i j i=0 j=0 mn m 1 i=0 n 1 j=0 ( 1) m+n i j ( m 1 i )( ) n 1 ( b D ((i+2)e a +je b ) b D ((i+1)e a +je b )) = n m a n 1 b ( b D (e a )) mn m 1 i=0 n 1 j=0 ( 1) m+n i j ( m 1 i j )( n 1 = na m n b D (e a ) mna m 1 n 1 b ( a b D (e a )) = n(m+1)a m bd n (e a ). j ) a b D ((i+1)e a +je b ) TheLemmaoveshowsthatforvariousmandn, m a n b D (e a )areeigenvectors for ad(d ( e b ))ad(d ( e a )) and yield infinitely many distinct eigenvalues. This fact will be used to show that m a n b D (e a ) = 0 for large enough values of m and n. The following Lemma was proven in [2] and is presented here without proof. Lemma 3.2. Let L be a Lie algebra with nonzero elements y,y 1,y 2,... with the property that [y,y i ] = α i y i for i = 1,2,..., and α i C. Then for a finite dimensional representation (U,ρ) of L, there are at most (dimu) 2 dimu +1 distinct eigenvalues for which ρ(y i ) 0. { Now consider the case N = 2 where S 2 = Span C d1 (r),d 2 (r),d 12 (r) r Z 2}. Combining the two Lemmas ove shows that there exists K N such that 1 m+1 2D n 12 (e 1 ) = 0 and 1 m 2 n+1 D 12 (e 2 ) = 0 for all m +n > K. This fact along with the following Lemmas will show that D 12 (r) is a polynomial plus a delta function. Lemma 3.3. If m 1 n 2 f(r) = 0 for all m,n 0 then f(r +ie 1 +je 2 ) = 0 for all i,j 0. Proof. Using (3) it follows by induction that if a m f(r) = 0 for all m 0 then f(r+ie a ) = 0 for all i 0. Suppose 1 m 2f(r) n = 0 for all m,n 0, and let g n (r) = 2f(r) n so that by assumption, for each n 0, 1 mg n(r) = 0 for all m 0. By the first part of the proofthisimpliesthat g n (r+ie 1 ) = 0foralli 0. Soforanyi 0, 2 nf(r+ie 1) = 0 for all n 0, which implies that f(r+ie 1 +je s ) = 0 for all i,j 0. For K + 1 ordered pairs (x i,a i ), i = 0,...,K with distinct x i, there exists a unique interpolating polynomial P(X) of degree at most K, such that P(x i ) = a i. This can be extended to functions of two variles in the following way. Lemma 3.4. Given (K+1)(K+2) 2 triples (x i,y j,a ij ) for 0 i+j K, with distinct x i and distinct y j, there exists a unique polynomial P(X,Y) of degree at most K such that P(x i,y j ) = a ij.

7 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 7 Proof. For K = 0 the constant function P(X,Y) = a 00 is the unique polynomial of degree 0 through (x 0,y 0,a 00 ). Proceed by induction on K. The univariate case yields a unique polynomial R(X) of degree at most K such that R(x i ) = a i0 for all i {0,...,K}. For i 0 and j 1 let b ij = a ij R(x i ) y j y 0. By induction there is a unique interpolating polynomial Q(X,Y) of degree at most K 1 such that Q(x i,y j ) = b ij for the K(K+1) 2 triples (x i,y j,b ij ) where 1 i+j K, and j 1. Polynomial P(X,Y) = R(X)+(Y y 0 )Q(X,Y) is of degree at most K and P(x i,y j ) = a ij for 0 i+j K. Suppose T(X,Y) is a polynomial of degree at most K and T(x i,y i ) = a ij for 0 i + j K. Since the decomposition T(X,Y) = F(X) + (Y y 0 )G(X,Y) is unique for polynomials F and G, it must be that F(X) = R(X) and G(X,Y) = Q(X,Y). Hence P(X,Y) is unique. Lemma 3.5. Let S = S 1 S N C N, where each S i is a set with K + 1 elements, and let F and G be polynomials of degree at most K in N variles, X 1,...,X N, that agree on S. Then F = G. Proof. Use induction on N where the case N = 1 is well known (the case N = 2 follows from Lemma 3.4). Let a S 1 and divide F(X) and G(X) by (X 1 a) to get F(X) = (X 1 a)p(x) + R(X 2,...,X N ) and G(X) = (X 1 a)q(x) + T(X 2,...,X N ). Then R and T are of degree at most K, and agreeon S 2 S N. By induction R = T and so P(x) = Q(x) for all x S = (S 1 \{a}) S 2 S N. Then P = Q also by induction, since P and Q are of degree at most K 1 and S contains a cube of size K. Therefore F = G. Lemma 3.6. Let r Z 2. Suppose m 1 n 2f(r) = 0 for all m + n > K, for some K N. Let p(t) be the bivariate interpolating polynomial of degree at most K such that p(r+ie 1 +je 2 ) = f(r+ie 1 +je 2 ) for 0 i+j K. Then f(s) = p(s) for all s 1 r 1,s 2 r 2. Proof. Let h(t) = f(t) p(t). Then (4) implies that 1 m 2h(r) n = 0 for m+n K, because h(r +ie 1 +je 2 ) = 0 for i+j K. When m+n > K, 1 mn 2f(r) = 0 by assumption and 1 m 2p(r) n = 0 since it is a polynomial of degree at most K. Thus 1 mn 2 h(r) = 0 for m+n 0 and so by Lemma 3.3, f(r+ie 1+je 2 ) = p(r+ie 1 +je 2 ) for all i,j 0. Proposition 3.7. Let N = 2 and let J = A 2 U be a module in category J. Then D 12 (r) acts on U by D 12 (r) = r k k! P(k) 12 δ r,0p (0) 12 for all r Z 2, where P (k) 12 finite. k Z 2 0 End(U) does not depend on r, and the summation is Proof. It follows from Lemmas 3.1 and 3.2 that there exists a K N such that 1 m+1 2 nd 12(e 1 ) = 0 and 1 mn+1 2 D 12 (e 2 ) = 0 for n+m > K. By Lemma 3.6 there exist End(U)-valued polynomials P 1 and P 2 such that P 1 (r) = 1 D 12 (r) and P 2 (s) = 2 D 12 (s),

8 8 YULY BILLIG AND JOHN TALBOOM for all r = r 1 e 1 +r 2 e 2 and s = s 1 e 1 +s 2 e 2 with r 1,s 2 1 and r 2,s 1 0. Taking polynomial difference antiderivatives P 1 (r) and P 2 (s) respectively, we get D 12 (r) = P 1 (r)+g 1 (r 2 ) and D 12 (s) = P 2 (s)+g 2 (s 1 ), where P 1 and P 2 are polynomials, and g 1 and g 2 are functions of r 2 and s 1 respectively. Then P 1 (r)+g 1 (r 2 ) = P 2 (r)+g 2 (r 1 ) for r 1,r 2 1, so g 2 (r 1 ) g 1 (r 2 ) = P 1 (r) P 2 (r). Taking the mth difference derivative in e 1 where m > K gives m 1 g 2 (r 1 ) = m 1 ( P 1 (r) P 2 (r)) = 0 which implies that g 2 is a polynomial in r 1. Similarly g 1 is a polynomial in r 2. Thus D 12 (r) = P 1 (r) +g 1 (r 2 ) and D 12 (r) = P 2 (r) + g 2 (r 1 ), are polynomials that agree on R 1 = {(i,j) Z 2 i,j 1}, and hence must be equal by Lemma 3.5. Therefore D 12 (r) is an End(U)-valued polynomial Q 1 (r) on R 1. It remains to show that D 12 (r) acts by a polynomial P(r) on all of Z 2 except at the origin. Let L be the Lie algebra with basis elements D 12 (r) for r Z 2 and Lie bracket given by 2. Consider the automorphisms ϕ 1 and ϕ 2 of L, where ϕ 1 (D 12 (r 1,r 2 )) = D 12 ( r 1,r 2 ), ϕ 2 (D 12 (r 1,r 2 )) = D 12 (r 1, r 2 ), and their composition ϕ 2 ϕ 1 where ϕ 2 ϕ 1 (D 12 (r 1,r 2 )) = D 12 ( r 1, r 2 ). What was proven for L is also true for its image under these automorphisms. Thus there are End(U)-valued polynomials Q 2,Q 3, and Q 4 such that D 12 (r) = Q 2 (r) for r R 2 = {( i,j) Z 2 i,j 1}, D 12 (r) = Q 3 (r) for r R 3 = {( i, j) Z 2 i,j 1}, and D 12 (r) = Q 4 (r) for r R 4 = {(i, j) Z 2 i,j 1}. Let σ : L L be the automorphism defined by σ(d 12 (r 1,r 2 )) = D 12 ( r 1 + r 2,r 2 ). When applied to R 1, this implies the existence of an End(U)-valued polynomial P such that D 12 (r) = P(r) on the region R 5 = {(i,j) Z 2 j 1,i j}. Lemma3.5maybeappliedtotheintersectionofR 1 andr 5 whichsaysthatq 1 = P. Applied again to the intersection of R 2 and R 5 yields that Q 2 = P. Thus D 12 (r) acts by End(U)-valued polynomial P(r) for r {(i,j) Z 2 j 1}. Similar techniques may be applied to connect this region with R 3 and R 4. The result that follows is that D 12 (r) acts by End(U)-valued polynomial P(r) for r Z 2 \{(0,0)}. ToindicatethatthepolynomialobtainedoveisspecifictotheoperatorD 12 (r), write P 12 instead of P. Decompose P 12 (r) into powers of r as P 12 (r) = k Z 2 0 r k k! P(k) 12, where the sum is finite, the P (k) 12 End(U) do not depend on r, and the factor of k! is for convenience. Note that P 12 (0,0) = P (0,0) 12, howeverd 12 (0,0) = 0 by definition and so it must act by zero. To avoid a contradiction at the origin a delta function is added so that D 12 (r) = r k k! P(k) 12 δ r,0p (0) 12, k Z 2 0 which is now valid for all r Z 2.

9 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 9 Lemma 3.8. Let N 2 and J = A N U be a module in category J. Then for a,b {1,...,N}, a b, D (r) acts on U by D (r) = r k k! P(k) for r Z N with (r a,r b ) (0,0), where the P (k) End(U) do not depend on r, and the summation is finite. Proof. It follows from Proposition 3.7 that for any a,b {1,...,N}, a b, the operators D (r a e a +r b e b ) act by polynomial in r a,r b, when (r a,r b ) (0,0), since for these values the delta function vanishes. The result will be proven by induction on N, with induction hypothesis that D 12 (r 1 e 1 + +r N 1 e N 1 ) acts by polynomial for (r 1,r 2 ) (0,0). For convenience this is stated for D 12 (r), though it holds for any D (r) by a change of indices. The basis of induction N = 2 follows from Proposition 3.7. Assume until otherwise stated that r i 0 for all i {1,...,N}. Consider [D 1N (r N e N ),D 12 (r 1 e 1 + +r N 1 e N 1 )] = r 1 r N D 12 (r 1 e 1 + +r N 1 e N 1 )+r 1 r N D 12 (r 1 e 1 + +r N e N ). Both D 1N (r N e N ), and D 12 (r 1 e r N 1 e N 1 ) act by polynomial by the induction hypothesis. Rearrange to get r 1 r N D 12 (r 1 e 1 + +r N e N ) = [D 1N (r N e N ),D 12 (r 1 e 1 + +r N 1 e N 1 )]+r 1 r N D 12 (r 1 e 1 + +r N 1 e N 1 ). The right hand side is a polynomial in r 1,...,r N and thus r 1 r N D 12 (r) = P(r), for some End(U)-valued polynomial P, and r = r 1 e 1 + +r N e N. Symmetry in indices 1 and 2 yields that r 2 r N D 12 (r) = Q(r), for some End(U)-valued polynomial Q. Thus, r 2 P(r) = r 1 Q(r). Unique factorization of a polynomial into irreducible factors implies that P factors as P(r) = r 1 P(r) and so r1 r N D 12 (r) = r 1 P(r). Since r1 0, division of polynomials gives that r N D 12 (r) = P(r). Thus, r N D 12 (r) acts by polynomial, or more generally, r a D bc (r) acts by polynomial for a b,c. Fix s N 0 and consider [D 1N (r 1 e 1 +s N e N ),D 2N (r 2 e 2 +r 3 e 3 + +(r N s N )e N )] = r 1 (r N s N )D 2N (r 2 e 2 +r 3 e 3 + +(r N s N )e N ) s N r 2 D 1N (r 1 e 1 +s N e N ) r 1 (r N s N )D 2N (r 1 e 1 + +r N e N ) s N (r N s N )D 12 (r 1 e 1 + +r N e N )+s N r 2 D 1N (r 1 e 1 + +r N e N ). Let r = r 1 e 1 + +r N e N, and isolate the D 12 term to get s N (r N s N )D 12 (r) = r 1 (r N s N )D 2N (r 2 e 2 +r 3 e 3 + +(r N s N )e N ) [D 1N (r 1 e 1 +s N e N ),D 2N (r 2 e 2 +r 3 e 3 + +(r N s N )e N )] s N r 2 D 1N (r 1 e 1 +s N e N ) r 1 (r N s N )D 2N (r)+s N r 2 D 1N (r). The first three terms on the right hand side act by polynomial by induction. The last two terms are of the form r a D bc (r), as is r N D 12 (r) on the left hand side, and hence these act as polynomials by the previous step. Since both left hand side

10 10 YULY BILLIG AND JOHN TALBOOM s N (r N s N )D 12 (r), and s N r N D 12 (r) act by polynomial, so does their difference s 2 N D 12(r). Because s N is a nonzero constant this implies that D 12 (r) acts by polynomial. Again by considering a change of indices, this proves that D (r) acts by polynomial on the region R 0 = i {r i 0}. It remains to show that D (r) acts by polynomial for (r a,r b ) (0,0). Let r,s Z N where s is constant. Rearranging the bracket formula gives (s a r b r a s b )D (r) = (s a r b r a s b )(D (s)+d (r s)) [D (s),d (r s)]. On the right hand side D (s) is constant in r and, by what was just shown, D (r s) acts by polynomial in the region R s = i {r i s i }. Thus there is an End(U)-valued polynomial T such that (s a r b r a s b )D (r) = T(r) for r R s. Similarlyfors Z N, thereisapolynomialt suchthat (s a r b r a s b )D (r) = T (r) for r R s. Then (s a r b r a s b )T(r) = (s ar b r a s b )T (r) for r R s R s, which implies that (s a r b r a s b ) is an irreducible factor of T(r). So (s a r b r a s b )D (r) = (s a r b r a s b ) T(r), forpolynomial T, andwhens a r b r a s b 0, D (r) = T(r). Thus D (r) acts by polynomial on the region R s {s a r b s b r a }. The union of these regions is s (R s {s a r b s b r a }) = {(r a,r b ) (0,0)}. Since these regions are defined by deleting a finite number of hyperplanes from Z N, the intersection of any two contains a cube of arbitrary size. So any two polynomials that agree on the intersection must be equal. Therefore D (r) acts by an End(U)- valued polynomial P on the region {(r a,r b ) (0,0)}. The polynomial P can be decomposed into a finite sum in powers of r so that D (r) = r k k! P(k). for all r Z N with {(r a,r b ) (0,0)}. Proposition 3.9. Let N 3 and J = A N U a module in category J. Then for a,b {1,...,N}, a b, D (r) acts on U by D (r) = r k k! P(k) for all r Z N, where the P (k) End(U) do not depend on r, and the summation is finite. In addition P (k) = 0 when k a = k b = 0. Proof. Since D (r) = 0 when r a = r b = 0 by definition, it follows from Lemma 3.8 that D (r) may be expressed as D (r) = r k k! P(k) δ r k r a,0δ rb,0 k! P(k) k a=k b =0 which holds for all r Z N. Now substitute the expression ove into the equation r c D (r) + r a D bc (r) + r b D ca (r) = 0 on the region r i 0 for all i {1,...,N}. Terms with delta functions vanish leaving (5) r c r k k! P(k) +r a r k k! P(k) bc +r b r k k! P(k) ca = 0.

11 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 11 Extracting the coefficient of r c r k for k Z N 0 with k a = k b = 0 yields that 1 k! P(k) = 0. This shows that the terms with delta functions are not necessary, and therefore D (r) = r k k! P(k) for all r Z N. 4. Classification Consider the Lie algebra of derivations of polynomials in N variles, { Der(C[x 1,...,x N ]) = Span C x k } x a a {1,...,N},k ZN 0, and its subalgebra consisting of divergence zero elements, S N = Span C { S (k) a,b {1,...,N},k Z N 0}, where S (k) = k b x k e b x a k a x k ea x b. Its Lie bracket is given by [S (q),s cd (k)] = q b k c S ad (q +k e b e c ) q b k d S ac (q +k e b e d ) q a k c S bd (q +k e a e c )+q a k d S bc (q +k e a e d ). Note that S (e a ) = x b and S (e b ) = x a. For n N let L n = Span C {S (k) a,b {1,...,N}, k = n+2} so that S N = i= 1 L i. The bracket ove shows that [L i,l j ] L i+j. Lemma 4.1. In the grading S N = i= 1 L i, component L 0 is isomorphic to sl N and each L i is an irreducible sl N -module. Proof. To see that L 0 is isomorphic to sl N, identify x a x b with E and x a x a x b x b with elements E aa E bb of the Cartan subalgebra. Each L i is an sl N -module via the adjoint action of L 0. By Weyl s Theorem on complete reducibilty and the fact that every finite dimensional simple sl N -module is a highest weight module, it suffices to show that each L i has a unique highest weight vector. In other words the goal [ is to show ] that for each i there exists a unique (up to scalar) v L i such that x a x b,v = 0 for all a,b with a < b. An arbitrary member of L n can be expressed as u m with u m = m =n N j=1 C jx m+ej x j where N j=1 C j(m j +1) = 0, since it has divergence zero. Since [ ] x a x a x b x b,u m = (m a m b )u m for all a,b {1,...,N}, weight vectors of L n must have the form u m for some fixed m. Let u m be a highest weight vector for L n. Since x may only have nonnegative exponents, two cases arise; either m j = 1 for a single index j and m i 0 otherwise, or else all entries of m are nonnegative. The former forces all coefficients C i to be zero except for C j, and hence u m = Cx k x j with k j = 0. In the latter u m = N j=1 C jx m+ej x j with m j +1 > 0 for each j.

12 12 YULY BILLIG AND JOHN TALBOOM [ ] Suppose u m = Cx k x j with k j = 0. Then x a x b,u m = Ck b x k+ea e b x j δ aj Cx k+ej x b. Since 1 a < b N it follows that the only u m of this form annihilated by all raising operators x a x b is u m = Cx n+1 1 x N. It remains to show that no vectors of the form u m = N j=1 C jx m+ej x j with m j + 1 > 0 for each j, are highest weight vectors. Suppose for a < b that [ x a x b, N j=1 C jx m+ej x j ] = 0. The coefficient of x b on the right hand side is (C b (m b + 1) C a )x m+ea = 0. Letting b = N and varying a shows that C a = C N (m N + 1) for a = 1,...,N 1. Plugging this into the expression for the divergence of u gives N 1 j=1 N 1 C N (m N +1)(m j +1)+C N (m N +1) = C N (m N +1) (m j +1)+1, which is zero only when C N = 0 since each (m j +1) was assumed to be positive. Then C N = 0 implies C a = 0 for a = 1,...,N 1, and thus u m = 0. The action of the P (k) with k > 1 will be shown to be a representation of the subalgebra j=1 S + N = Span C{ S (k) a,b {1,...,N},k Z N 0, k > 1 }. Proposition 4.2. The map ρ(s (k)) = P (k) End(U) for k > 1 is a finite dimensional representation of S + N on U for N 2. Proof. Using Lemma 3.8 the Lie bracket of D (r) with D cd (s) with r,s 0 may be expressed [D (r),d cd (s)] = r j s k j!k! [P(j),P(k) cd ], j, where the left hand side may be computed (6) (r a s b r b s a )D cd (s)+(r c s d r d s c )D (r)+r b s c D ad (r +s) r b s d D ac (r+s) r a s c D bd (r+s)+r a s d D bc (r +s) = (r a s b r b s a ) s k k! P(k) cd +(r cs d r d s c ) r k k! P(k) +r bs c r b s d (r +s) k k! P (k) ac r as c (r +s) k k! P (k) bd +r as d (r +s) k k! (r +s) k k! P (k) ad P (k) bc. Thus [P (j),p(k) cd ] is obtained by extracting the coefficient of rj s k j!k! in the expression ove. Then for any j,k Z N 0 with j, k > 1, the bracket is given by (7) [P (j),p(k) cd ] = j b k c P (j+k e b e c) ad j b k d P (j+k e b e d ) ac j a k c P (j+k ea ec) bd +j a k d P (j+k ea e d) bc. Note that this expression differs when either j 1 or k 1. The equation ove shows that ρ(s (k)) = P (k) preserves the Lie bracket of S + N and is therefore a finite dimensional representation on U.

13 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 13 Since D (r) = D ba (r) it follows that P (k) = P (k) ba for any k ZN 0. A linear relationship for the P (k) is seen in (5), and extracting the coefficient on r k with k = e b +e c gives that P (e b) = P ac (ec). For { N 3, P (0) = 0 and P (ei) = 0 for } i a,b. Consider the Lie algebra spanned by P (k) a,b {1,...,N},k Z N 0. As was noted ove, the expression in (7) is valid only when j, k > 1. The remaining brackets are obtained by extracting the coefficient of rj s k j!k! in (6) for appropriate values of j and k. Doing so yields that [P (j),p(k) cd ] = 0 when either j or k is zero. If j > 1, k = 1 or j = 1,k > 1 the terms on the right hand side of (6) vanish using the relationship in (5) when N 3 or cancel directly when N = 2. When both j = 1 and k = 1 the right hand side of (6) has only terms P (0) (for some a and b). In the case N = 2, [P (ea),p (e b) ] = P (0), and [P(ea),P (ea) ] = 0, however when N 3, P (0) = 0, and so [P (j),p(k) cd ] = 0 when j = 1 and k = 1. Thus { for N 3 the subset of elements } P (ei) spans an elian algebra with generators P (e2) 12,P(e1) i1 i = 2,...,N, and in the case N = 2 there is a Heisenberg algebra { } spanned by P (e1) 12,P(e2) 12,P(0) 12. Let a N = Span C {C i i = 1,...,N} be an N dimensional elian Lie algebra, and H = Span C {X,Y,Z} a three dimensional Heisenberg algebra with central element Z = [X,Y]. ForN 3the mapρ(c a ) = P (e b) is a finite dimensional representation of a N on U. When N = 2 the map ρ(x) = P (e2) 12,ρ(Y) = P(e1) 21, and ρ(z) = P(0) 12 is a finite dimensional representation of H on U. The following theorem considers Lie algebras S 2 + H and S+ N a N. In either case the bracket of H or a N with S + N is zero. Since [ρ(s (e a +e b )),ρ(s (ne a ))] = nρ(s (ne a )) for n 0, Lemma 3.2 implies that forsome k 0 0, ρ(s (ke a )) actsaszeroon U for allk k 0. The irreducibility inlemma4.1ensuresthatallofl k actsaszero. Soforsomek 0 0, L k actstrivially on U for all k k 0. Theorem 4.3. Let λ C N and let J λ be a subcategory of modules in J supported on λ+z N. (a) For N = 2 there is an equivalence of categories between the category of finite dimensional modules for S 2 + H and J λ. This equivalence maps U to A 2 U where U is a finite dimensional module for S 2 + H. The action of S 2 on A 2 U is given by d a (t s u) = (s a +λ a )t s u and for r 0, (8) d 12 (r)(t s u) = (r 2 s 1 r 1 s 2 )t r+s u +t r+s k Z 2 0 k >1 r k k! ρ(s 12(k))u+t r+s (r 1 ρ(x) r 2 ρ(y)+ρ(z))u. (b) For N 3, there is an equivalence of categories between the category of finite dimensional modules for S + N a N and J λ. This equivalence maps U to A N U where U is a finite dimensional module for S + N a N. The action

14 14 YULY BILLIG AND JOHN TALBOOM of S N on A N U is given by d a (t s u) = (s a +λ a )t s u and (9) d (r)(t s u) = (r b s a r a s b )t r+s u +t r+s r k k! ρ(s (k))u+t r+s (r b ρ(c a ) r a ρ(c b ))u. k >1 Proof. Let J be a module in J λ. As was noted at the end of Section 2, the module J may be identified with A N U where U is the weight space J λ. Then (J1) with (J3) yields d a (t s u) = (s a +λ a )t s u for u U. Section 3 showed that the action of d (r) S N on J is determined by its restriction to U and is given by an End(U)-valued polynomial in r. When r 0, d (r)(t s u) = (r b s a s b r a )t r+s u+t r+s r k k! P(k) u, and for r = 0, d (r) = 0 and thus acts trivially. Proposition 4.2 and the remarks that follow show that U is a finite dimensional S 2 + H-module when N = 2 and U is a finite dimensional S + N a N-module when N 3. The actions in (8) and (9) follow. ConverselyletU beafinitedimensionalmodulefors 2 + H. Identifytheelements of S 2 + H with the P(k) 12 as ove and let D 12 (r) = r k k! P(k) 12. k Z 2 0 This sum is finite due to the discussion just before the theorem. The Lie bracket of S 2 + H yields the commutator relations for the D 12(r) operators via equation (6). The Lie bracket of the D 12 (r) along with the action of d 12 (r) given in (1) recovers the commutator relations in S 2. Thus A 2 U is an S 2 -module. The fact that a finite dimensional S + N a N-module U yields a finite dimensional module A N U for S N follows in a similar fashion for the N 3 case. 5. Irreducible Tensor Modules This section considers simple modules from category J. Note that in a finite dimensional irreducible representation of the Heisenberg algebra, the central element must act by zero. Hence P (0) 12 = 0 in the case N = 2 and so the Heisenberg algebra H used ove gets replaced with the two dimensional elian algebra a 2. A further simplification found in irreducible modules is that the action of S + N becomes the action of sl N, its degree zero component from the grading in Lemma 4.1. The following will be used to show this (cf. [4] Lemma 2.4 and [5] Lemma 9.13). Lemma 5.1. Let g be a finite dimensional Lie algebra over C with solvle radical Rad(g). Then [g,rad(g)] acts trivially on any finite dimensional irreducible g- module. As notedove, thereexistsk 0 such thatl k actsaszeroforallk k 0, andsothe ideal I = k k 0 L k must also act trivially. To apply Lemma 5.1 consider the finite dimensionallie algebrag = S + N /I a N and its actionon U. Since [L n,l m ] L n+m it follows that Rad(g) = ( n>0 L n) /I an and hence [g,rad(g)] = ( n>0 L n) /I

15 CATEGORY J MODULES FOR DIVERGENCE ZERO VECTOR FIELDS 15 acts trivially. Therefore the ideal n>0 L n of S + N a N acts trivially on a simple module from category J. Theorem 5.2. Let λ C N and let J λ be a subcategory of modules in J supported on λ + Z N. For N 2 there is a one-to-one correspondence between the finite dimensional irreducible modules for sl N (C) a N and the irreducible modules in J λ. This correspondence maps a finite dimensional irreducible module V for sl N (C) a N to A N V. The action of S N on A N V is given by d a (t s u) = (s a +λ a )t s u and d (r)(t s u) = (r b (s a +µ a ) r a (s b +µ b ))t r+s u N N +t r+s r i r a ϕ(e ia )u r i r b ϕ(e ib )u+r a r b ϕ(e aa E bb )u, i=1 i a where µ a,µ b C are the action of C a,c b a N, and ϕ is a representation of sl N (C). Proof. The correspondence is given in Theorem 4.3. By Lemma 5.1 and the discussion ove, the ideal I = Span{S (j) a,b {1,...,N}, j > 2} acts trivially on V. Then S + N /I = sl N and so the action of L 0 in (9) is represented by elements of sl N as seen in Lemma 4.1. By Schur s Lemma, elements of a N act by scalars and so ρ(c a ) and ρ(c b ) become µ a and µ b respectively in (9). i=1 i b 6. Acknowledgements The first author gratefully acknowledges funding from the Natural Sciences and Engineering Research Council of Canada. References [1] S. Berman, Y.Billig (1999), Irreducible representations for toroidal Lie algebras, Journal of Algebra 221(1), doi: /jr [2] Y. Billig (2007), Jet Modules, Canadian Journal of Mathematics, 59(4), doi: /CJM [3] Y. Billig, K. Zhao (2004), Weight modules over exp-polynomial Lie algebras, Journal of Pure and Applied Algebra 191(1), doi: /j.jpaa [4] L. Cagliero, F. Szechtman (2011), Jordan-Chevalley Decomposition in Finite Dimensional Lie Algebras, Proceedings of the American Mathematical Society, 139(11), doi: /S X. [5] W. Fulton, J. Harris (1991), Representation Theory, Graduate Texts in Mathematics, 129. Readings in Mathematics. Springer-Verlag, New York. doi: / [6] J.-J. Jiang, W.-Q. Lin (2015), Partial classification of cuspidal simple modules for Virasoro-like algebra, arxiv: [7] S. Eswara Rao (1996), Irreducible Representations of the Lie-Algebra of the Diffeomorphisms of a d-dimensional Torus, Journal of Algebra, 182(2), doi: /jr [8] S. Eswara Rao (2004), Partial classification of modules for Lie algebra of diffeomorphisms of d-dimensional torus, Journal of Mathematical Physics, 45, doi: / [9] J. Talboom (2016) Irreducible Modules for the Lie Algebra of Divergence Zero Vector Fields on a Torus, Communications in Algebra, 44(4), doi: /