arxiv: v3 [math.rt] 26 Feb 2012

Transcription

1 CATEGORIFICATION OF HIGHEST WEIGHT MODULES OVER QUANTUM GENERALIZED KAC-MOODY ALGEBRAS arxiv: v3 [math.rt] 26 Feb 2012 SEOK-JIN KANG 1, MASAKI KASHIWARA 2, AND SE-JIN OH 3 Abstract. Let U q (g) be a quantum generalized Kac-Moody algebra and let V(Λ) be the integrable highest weight U q (g)-module with highest weight Λ. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra R Λ provides a categorification of V(Λ). introduction The Khovanov-Lauda-Rouquier algebras, which were introduced independently by Khovanov-Lauda and Rouquier, have emerged as a categorification scheme for quantum groups and their highest weight modules [11, 12, 15]. That is, if U q (g) is the quantum group associated with a symmetrizable Kac-Moody algebra and R is the corresponding Khovanov-Lauda-Rouquier algebra, then it was shown in [11, 12, 15] that there exists an A-algebra isomorphism U A (g) [Proj(R)] = α Q + [Proj(R(α))], where A = Z[q,q 1 ], U A (g) is the integral form of U q (g), and [Proj(R)] denotes the Grothendieck group of the category Proj(R) of finitely generated graded projective R-modules. Moreover, in [11], Khovanov and Lauda defined a quotient R Λ of R, called Date: June 25, Mathematics Subject Classification. 05E10, 16G99, 81R10. Key words and phrases. categorification, Khovanov-Lauda-Rouquier algebras, cyclotomic quotient, quantum generalized Kac-Moody algebras. 1 This work was supported by KRF Grant # C00001 and NRF Grant # This work was supported by Grant-in-Aid for Scientific Research (B) , Japan Society for the Promotion of Science. 3 This work was supported by BK21 Mathematical Sciences Division and NRF Grant #

2 2 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH the cyclotomic Khovanov-Lauda-Rouquier algebra of weight Λ, and conjectured that there exists a U A (g)-module isomorphism V A (Λ) [Proj(R Λ )] = α Q + [Proj(R Λ (α))], where V A (Λ) is the integral form of an irreducible highest weight module V(Λ). It is called the cyclotomic categorification conjecture. Brundan and Stroppel ([2]) proved a special case of this conjecture in type A n and, Brundan and Kleshchev ([1]) proved it for type A and A (1) n. In [14], the crystal version of the conjecture was proved. That is, Lauda and Vazirani defined the crystal structure on the set of isomorphism classes of simple objects of the categories Rep(R) and Rep(R Λ ) of finite-dimensional R-modules and R Λ -modules, and showed that they are isomorphic to B( ) and B(Λ), respectively. Recently, Kang and Kashiwara ([7]) proved the cyclotomic categorification conjecture for all symmetrizable Kac-Moody algebras. In [16], Webster gave a categorification of tensor products of integrable highest weight modules over quantum groups. In [10], Kang, Oh and Park introduced a family of Khovanov-Lauda-Rouquier algebras R associated with Borcherds-Cartan data and showed that they provide a categorification of quantum generalized Kac-Moody algebras. Moreover, for each dominant integral weight Λ, they defined the cyclotomic Khovanov-Lauda-Rouquier algebra R Λ = α Q + R Λ (α), where R Λ (α) = R(α) / I Λ (α) and I Λ (α) is a two-sided ideal depending on Λ. They proved that the categories of finite-dimensional R-modules and R Λ -modules have crystal structures that are isomorphic to B( ) and B(Λ), respectively. In this paper, we prove that Khovanov-Lauda s cyclotomic categorification conjecture holds for all generalized Kac-Moody algebras. The main result of this paper can be summarized as follows. For each i I, we define two functors E Λ i : Mod(R Λ (β +α i )) Mod(R Λ (β)), F Λ i : Mod(R Λ (β)) Mod(R Λ (β +α i )).

3 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 3 by E Λ i (N) = e(β,i)n = e(β,i)r Λ (β +α i ) R Λ (β+α i ) N, F Λ i (M) = q 1 h i,λ β i R Λ (β +α i )e(β,i) R Λ (β) M, where q k (k Z) denotes the degree shift functor, M Mod(R Λ (β)) and N Mod(R Λ (β + α i )). Then we show that the functors E Λ i and F Λ i are well-defined exact functors on Proj(R Λ ) (Theorem 4.13) and they satisfy the commutation relations (Theorem 5.2) as operators on [Proj(R Λ )] [Ei Λ,Fj Λ K i K 1 i ] = δ i,j q i qi 1, where K i [Proj(R Λ (β))] :=q h i,λ β i. Therefore, we obtain a categorification of the irreducible highest weight module V(Λ) (Theorem 5.6): [Proj(R Λ )] V A (Λ) and [Rep(R Λ )] V A (Λ), where V A (Λ) is the dual of V A (Λ) with respect to a non-degenerate symmetric bilinear form on V(Λ). We follow the outline given in [7]. The main difference and difficulty in this paper lie in that we need to deal with a family of polynomials P i of degree 1 a ii (i I) 2 given in (2.1), which makes many of calculations more complicated. Accordingly, the statements in some lemmas and the one in Theorem 4.10 have been modified. The geometric meaning of the polynomials P i was recently clarified when the Borcherds- Cartan datum is symmetric [8]. In [13], Khovanov-Lauda gave a precise description of the relations among the 2- morphisms for categorifications of integrable representations of Kac-Moody algebras, and proved it in the sl n case. These relations are proved by Cautis-Lauda [4] for symmetrizable Kac-Moody algebras under certain conditions. It would be an interesting problem to adapt their relations to the generalized Kac-Moody algebra case. This paper is organized as follows. Section 1 contains a brief review of quantum generalized Kac-Moody algebras and their integrable modules. In Section 2, we recall the definition of R and its basic properties given in [10]. In Section 3, we define the functors E i, F i and F i on Mod(R) and derive the relations among them in terms of exact sequences (Theorem 3.5, Theorem 3.9). In Section 4, we show that the structure of R Λ is compatible with the integrability conditions and the functors Ei Λ and Fi Λ are well-defined exact functors on Proj(R Λ ) and Rep(R Λ ). In Section 5, by proving the

4 4 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH commutation relations among Ei Λ and Fi Λ, we conclude that the cyclotomic Khovanov- Lauda-RouquieralgebraR Λ providesacategorificationoftheirreduciblehighestweight module V(Λ) over a quantum generalized Kac-Moody algebra U q (g). 1. Quantum generalized Kac-Moody algebras and integrable modules Let I be an index set. A square matrix A = (a ij ) i,j I with a ij Z is called a Borcherds-Cartan matrix if it satisfies (i) a ii = 2 or a ii 2Z 0, (ii) a ij 0 for i j, (iii) a ij = 0 if and only if a ji = 0. An element i of I is said to be real if a ii = 2 and imaginary, otherwise. We denote by I re the set of all real indices and I im the set of all imaginary indices. In this paper, we assume that A is symmetrizable; i.e., there is a diagonal matrix D = diag(d i Z >0 i I) such that DA is symmetric. A Borcherds-Cartan datum (A,P,Π,Π ) consists of (1) a Borcherds-Cartan matrix A, (2) a free abelian group P, the weight lattice, (3) Π = {α i P i I}, the set of simple roots, (4) Π = {h i i I} P :=Hom(P,Z), the set of simple coroots, satisfying the following properties: (a) h i,α j = a ij for all i,j I, (b) Π is linearly independent, (c) for any i I, there exists Λ i P such that h j,λ i = δ ij for all j I. Let h = Q Z P. Since A is symmetrizable, there is a symmetric bilinear form ( ) on h satisfying (α i α j ) = d i a ij and (α i λ) = d i h i,λ for all i,j I, λ h. We denote by P + :={λ P λ(h i ) Z 0,i I} the set of dominant integral weights. The free abelian group Q = i I Zα i is called the root lattice. Set Q + = i I Z 0α i. For α = k i α i Q + and i I, we define Supp(α) = {i I k i 0}, Supp i (α) = k i, α = i I k i.

5 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 5 Let q be an indeterminate and m,n Z 0. Set q i = q d i for i I. If i I re, define [ ] [n] i = qn i q n n i m [m] i! q i q 1, [n] i! = [k] i, = i n [m n] i![n] i!. k=1 Definition 1.1. The quantum generalized Kac-Moody algebra U q (g) associated with a Borcherds-Cartan datum (A,P,Π,Π ) is the associative algebra over Q(q) with 1 generated by e i,f i (i I) and q h (h P ) satisfying following relations: (i) q 0 = 1, q h q h = q h+h for h,h P, (ii) q h e i q h = q h,α i e i, q h f i q h = q h,α i f i for h P,i I, K i K 1 i (iii) e i f j f j e i = δ ij q i q [ ] 1 i 1 a ij, where K i = q h i i, 1 a ij (iv) r r=0 i 1 a ij [ ] 1 a ij (v) r r=0 i (vi) e i e j e j e i = 0, f i f j f j f i = 0 if a ij = 0. e 1 a ij r i e j e r i = 0 if i I re and i j, f 1 a ij r i f j f r i = 0 if i I re and i j, Let U + q (g) (resp. U q (g)) be the subalgebra of U q(g) generated by the elements e i (resp. f i ). Definition 1.2. We define O int to be the category consisting of U q (g)-modules V satisfying the following properties: (i) V has a weight decomposition with finite-dimensional weight spaces; i.e., V = µ P V µ with dimv µ <, i where V µ = {v V q h v = q h,µ v for all h P }, (ii) there are finitely many λ 1,...,λ s P such that s wt(v):={µ P V µ 0} (λ i Q + ), (iii) the action of f i on V is locally nilpotent for i I re, (iv) if i I im, then h i,µ Z 0 for all µ wt(v), (v) if i I im and h i,µ = 0, then f i V µ = 0, (vi) if i I im and h i,µ a ii, then e i V µ = 0. i=1

6 6 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH For Λ P, a U q (g)-module V is called a highest weight module with highest weight Λ and highest weight vector v Λ if there exists v Λ V such that (1) V = U q (g)v Λ, (2) q h v Λ = q h,λ v Λ for all h P, (3) e i v Λ = 0 for all i I. For Λ P +, let us denote by V(Λ) the U q (g)-module generated by v Λ with the defining relation: (a) v Λ is a highest weight vector of weight Λ, (b) f h i,λ +1 i v Λ = 0 for any i I re, (c) f i v Λ = 0 if h i,λ = 0. Proposition 1.3 ([3, 5, 6]). (i) For any Λ P +, V(Λ) is an irreducible U q (g)-module. (ii) If V is a highest weight module in O int, then V is isomorphic to V(Λ) for some Λ P +. (iii) Any module in O int is semisimple. Let φ be the anti-automorphism of U q (g) given by φ(e i ) = f i, φ(f i ) = e i and φ(q h ) = q h. In [9], it was shown that there exists a unique non-degenerate symmetric bilinear form (, ) on V(Λ) (Λ P + ) satisfying (1.1) (v Λ,v Λ ) = 1, (xu,v) = (u,φ(x)v) for x U q (g) and u,v V(Λ). Set A = Z[q,q 1 ]. We define the A-form V A (Λ) of V(Λ) to be V A (Λ) = U A (g)v Λ, where U A (g) is the A-subalgebra of U q (g) defined in [5, Section 9]. The dual of V A (Λ) is defined to be V A (Λ) = {v V(Λ) (u,v) A for all u V A (Λ)}.

7 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 7 2. The Khovanov-Lauda-Rouquier algebras for generalized Kac-Moody algebras We take a graded commutative ring k = n Z 0 k n as a base ring. For a given Borcherds-Cartan datum (A,P,Π,Π ), we take Q i,j (u,v)(i,j I) in k[u,v] such that Q i,j (u,v) = Q j,i (v,u) and Q i,j (u,v) has the form 0 if i = j, Q i,j (u,v) = d i p+d j q (α i α j ) t p,q i,j up v q if i j, where t a ij,0 i,j k 0 and t p,q i,j k 2((α i α j )+d i p+d j q) with t p,q i,j = tq,p j,i. For all i I, we take polynomials P i (u,v) in k[u,v] which have the form (2.1) where w 1 a ii i 2,0,w 0,1 aii 2 i k 0 P i (u,v) = p+q 1 a ii 2 w p,q i u p v q, and wp,q i k 2di (1 p q a ii 2 ). Remark 2.1. In [10], it was assumed that P i (u,v) is a symmetric homogeneous polynomial. But, in this paper, we do not assume that P i (u,v) is symmetric. Instead, we put more restrictions on the leading terms of P i (u,v). Accordingly, the defining relations of Khovanov-Lauda-Rouquier algebras in Definition 2.2 below are modified from the ones in [10]. This choice will be used in a critical way in the proof of Lemma 4.3 and Lemma 5.5. The main results of [10] are still valid after this modification. We denote by S n = s 1,...,s n 1 the symmetric group on n letters, where s i = (i,i+1) is the transposition. Then S n acts on I n and k[x 1,...,x n ] in a natural way. We define the operator a on k[x 1,...,x n ], by a,b f = s a,bf f x a x b, a := a,a+1, where s a,b = (a,b) is the transposition. For the sake of simplicity, we assume that I is a finite set. Definition 2.2 ([10]). The Khovanov-Lauda-Rouquier algebra R(n) of degree n associated with the data (A,P,Π,Π ), (Q i,j ) i,j I and (P i ) i I is the associative algebra over k generated by e(ν) (ν I n ), x k (1 k n), τ l (1 l n 1) with following

8 8 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH relations: (2.2) e(ν)e(ν ) = δ ν,ν e(ν), e(ν) = 1, ν I n x k x l = x l x k, x k e(ν) = e(ν)x k, τ l e(ν) = e(s l ν)τ l, τ k τ l = τ l τ k if k l > 1, ( τke(ν) 2 k P νk (x k,x k+1 ))τ k e(ν) if ν k = ν k+1, = Q νk,ν k+1 (x k,x k+1 )e(ν), if ν k ν k+1. P νk (x k,x k+1 )e(ν) if l = k, ν k = ν k+1, (2.3) (τ k x l x sk (l)τ k )e(ν) = P νk (x k,x k+1 )e(ν) if l = k +1, ν k = ν k+1, 0 otherwise. (2.4) (τ k+1 τ k τ k+1 τ k τ k+1 τ k )e(ν) P νk (x k,x k+2 )Q νk,ν k+1 (x k,x k+1,x k+2 )e(ν) if ν k = ν k+2 ν k+1, = P ν k (x k,x k+1,x k+2 )τ k e(ν)+p ν k (x k,x k+1,x k+2 )τ k+1 e(ν) if ν k = ν k+1 = ν k+2, 0 otherwise, where P i(u,v,w) = P i(v,u,w):= P i(v,u)p i (u,w) (u v)(u w) + P i(u,w)p i (v,w) (u w)(v w) P i(u,v)p i (v,w) (u v)(v w), P i (u,v,w) = P i (u,w,v):= P i(u,v)p i (u,w) (u v)(u w) P i(u,w)p i (w,v) (u w)(v w) + P i(u,v)p i (v,w) (u v)(v w), Q i,j (u,v,w):= Q i,j(u,v) Q i,j (w,v). u w The Z-grading on R(n) is given by deg(e(ν)) = 0, deg(x k e(ν)) = 2d νk, deg(τ l e(ν)) = (α νl α νl+1 ) for all ν I n, 1 k n and 1 l < n. For ν = (ν 1,...,ν n ) I n and 1 m n, we define ν <m = (ν 1,...,ν m 1 ), ν m = (ν 1,...,ν m ), ν >m = (ν m+1,...,ν n ), ν m = (ν m,...,ν n ).

9 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 9 For pairwise distinct a,b,c {1,...n}, let us define e a,b = e(ν), P a,b = P νa(x a,x b )e(ν), ν I n, ν I n, ν a=ν b ν a=ν b Q a,b,c = Then we have ν I n, ν a=ν c ν b P a,b,c = P ν I n, ν a=ν b =ν c P a,b,c = P ν I n, ν a=ν b =ν c Q νa,ν b (x a,x b ) Q νa,ν b (x c,x b ) x a x c e(ν), Q a :=Q a,a+1,a+2, ν a (x a,x b,x c )e(ν), P a :=P a,a+1,a+2, ν a (x a,x b,x c )e(ν), P a :=P a,a+1,a+2. τ a+1 τ a τ a+1 τ a τ a+1 τ a = Q a P a,a+2 +P aτ a +P aτ a+1. Note that we have P a τ a = τ a P a and P a τ a+1 = τ a+1 P a by the formula (2.5) below. We define the operator, also denoted by a,b, on ν I nk[x 1,...,x n ]e(ν), by Then we obtain a,b f = s a,bf f x a x b e a,b, a := a,a+1. (2.5) τ a f (s a f)τ a = fτ a τ a (s a f) = ( a f)p a,a+1. For β Q + with β = n, we set We define I β = {ν = (ν 1,...,ν n ) I n α ν1 + +α νn = β}. R(m,n) = R(m) k R(n) R(m+n), e(n) = ν I n e(ν), e(β) = ν I β e(ν), R(β) = e(β)r(n), e(n,i) = Then R = α Q + R(α). ν I n+1, ν n+1 =i e(ν), e(i,n) = ν I n+1, ν 1 =i e(ν), e(β,i) = e(β +α i )e(n,i), e(i,β) = e(β +α i )e(i,n).

10 10 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH Proposition 2.3 ([10]). (i) R(α) is noetherian. (ii) There are only finitely many irreducible graded R(α)-modules up to isomorphism and grading shift. Moreover, all the irreducible graded R(α)-modules are finitedimensional. (iii) The Krull-Schmidt unique direct sum decomposition property holds for all finitely generated graded R(α)-modules. Intherestofthissection, assumethatk 0 isafield. LetMod(R(α))(resp.Proj(R(α)), Rep(R(α))) be the category of arbitrary (resp. finitely generated projective, finitedimensional over k 0 ) graded left R(α)-modules. The morphisms in these categories are degree preserving homomorphisms. Define [Proj(R)]:= α Q + [Proj(R(α))] and [Rep(R)]:= α Q + [Rep(R(α))], where [Proj(R(α))] (resp. [Rep(R(α))]) is the Grothendieck group of Proj(R(α)) (resp. Rep(R(α))). We can define the degree shift functors q m (m Z) on Mod(R(α)) given as follows: For M = k Z M k, q m (M):=M m where M m k = M k+m. Then one can define A-module structures on [Proj(R)] and [Rep(R)]. The following theorem provides a categorification of quantum generalized Kac-Moody algebras. Theorem 2.4 ([10]). There is an injective A-algebra homomorphism U A (g) [Proj(R)]. It is an isomorphism if a ii 0 for any i I. 3. The Functors E i and F i on Mod(R). From the natural embedding R(β) k R(α i ) R(β +α i ), we obtain the functors E i : Mod(R(β +α i )) Mod(R(β)), F i : Mod(R(β)) Mod(R(β +α i ))

11 given by CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 11 E i (M) = M e(β,i)m e(β,i)r(β +α i ) R(β+αi ) M, F i (N) = N R(β +α i )e(β,i) R(β) N for M Mod(R(β +α i )) and N Mod(R(β)). Let ξ n : R(n) R(n+1) be the algebra monomorphism given by ξ n (x k ) = x k+1, ξ n (τ l ) = τ l+1, ξ n (e(ν)) = i I e(i, ν) for all 1 k n, 1 l < n and ν I n. Let R 1 (n) be the image of ξ n. Then for each i I, we can define the functor F i : Mod(R(β)) Mod(R(β)+α i ) by N R(β +α i )e(i,β) R(β) N. Here, the right R(β)-module structure on R(β +α i )e(i,β) is given by the embedding R(β) R 1 (β) R(β +α i ). From now on, we will investigate the relationship among these functors. Proposition 3.1 ([10, Corollary 2.5]). We have a decomposition n+1 n+1 R(n+1) = R(n,1)τ n τ a = R(n) k[x n+1 ]τ n τ a. a=1 Furthermore, R(n+1) is a free R(n,1)-module of rank n+1. Lemma 3.2. For 1 a n, f(x n ) k[x n ] and y R(n), we have Proof. By (2.5), we have a=1 τ a τ n 1 f(x n )τ n y τ a τ n 1 τ n f(x n+1 )y mod R(n,1). (3.1) τ a τ n 1 f(x n )τ n y = τ a τ n 1 (τ n f(x n+1 )+( n f)p n,n+1 )y. Since ( n f)p n,n+1 ν I n+1 k[x n,x n+1 ]e(ν) R(n,1), the second term in the righthand side of (3.1) is equal to τ a τ n 1 ( n f)p n,n+1 y 0 mod R(n,1). Hence our assertion holds.

12 12 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH Proposition 3.3. The homomorphism R(n) R(n 1) R(n) R(n+1) given by x y xτ n y (x,y R(n)) induces an isomorphism of (R(n), R(n))-bimodules (3.2) R(n) R(n 1) R(n) R(n,1) R(n+1). Proof. Using Lemma 3.2, we can apply a similar argument given in [7, Proposition 3.3] Corollary 3.4. There exists a natural isomorphism e(n,i)r(n+1)e(n,j) q a ij i R(n)e(n 1,j) R(n 1) e(n 1,i)R(n) if i j, = q a ii i R(n)e(n 1,i) R(n 1) e(n 1,i)R(n) e(n,i)r(n,i)e(n,i) if i = j, where q is the degree shift functor and q i = q d i. Proof. By applying the exact functor e(n,i) e(n,j) on (3.2), we obtain e(n,i)r(n+1)e(n,j) = e(n,i)(r(n) R(n 1) R(n) R(n,1))e(n,j) = e(n,i)r(n) R(n 1) R(n)e(n,j) δ ij e(n,i)r(n,1)e(n,j) = R(n)e(n,i) R(n 1) e(n,j)r(n) δ ij e(n,i)r(n,1)e(n,j) = R(n)e(n 1,j) R(n 1) e(n 1,i)R(n) δ ij e(n,i)r(n,1)e(n,j). The grading-shift q a ij i = q (α i α j ) arises from e(n,i)τ n e(n,j). Note that the kernels of E i F j and F j E i are given by (3.3) e(n,i)r(n+1)e(n,j)e(β) = e(β,i)r(β +α j )e(β,j), R(n)e(n 1,j) R(n 1) e(n 1,i)R(n)e(β) = R(β α i +α j )e(β α i,j), respectively. The following theorem is an immediate consequence of Corollary 3.4. Theorem 3.5. There exist natural isomorphisms E i F q a ij i F j E i if i j, j q a ii i F i E i Id k[t i ] if i = j, where t i is an indeterminate of degree 2d i and Id k[t i ]: Mod(R(β)) Mod(R(β)) is the functor M M k[t i ].

13 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 13 Proposition 3.6. There exists an injective homomorphism Φ: R(n) R 1 (n 1) R 1 (n) R(n+1) given by x y xy. Moreover, its image R(n)R 1 (n) has decomposition n+1 n 1 R(n)R 1 (n) = R(n,1)τ n τ 2 = τ a τ 1 R(1,n). a=2 a=0 Proof. The proof is the same as that of [7, Proposition 3.7] By Proposition 3.6, there exists a map ϕ 1 : R(n+1) R(n) k[x n+1 ] given by n+1 R(n+1) Coker(Φ) a=1 = R(n,1)τ n τ a n+1 (3.4) a=2 R(n,1)τ R(n,1)τ n τ 1 R(n,1) n τ a = R(n) k[xn+1 ] = R(n) k[t i ]. Similarly, there is an another map ϕ 2 : R(n+1) k[x 1 ] R(n) given by n R(n+1) Coker(Φ) a=0 = τ a τ 1 R(1,n) n 1 (3.5) a=0 τ τ n τ 1 R(1,n) R(1,n) a τ 1 R(1,n) = k[x1 ] R(n) = k[t i ] R(n). We claim that the maps ϕ 1 and ϕ 2 coincide with each other, which is an immediate consequence of the following lemma. When a ii = 2 for all i I, the proof easily follows from (2.3) and (2.4). However, when a ii 2 for some i I, the verification becomes more complicated. Lemma 3.7. For all 1 k n and 1 l n 1, (a) x k τ n τ 1 τ n τ 1 x k+1, (b) τ l τ n τ 1 τ n τ 1 τ l+1, (c) x n+1 τ n τ 1 τ n τ 1 x 1 mod R(n)R 1 (n). Proof. We will verify that (3.6) for f k[x 1,,x n+1 ], τ n τ n 1 τ k f τ l τ 1 0 mod R(n)R 1 (n) if l+2 k n+1. We shall prove this by using downward induction on k. If k = n+1, it is trivial. Assume that k n and our assertion is true for k +1. Then we have (3.7) τ n τ k fτ l τ 1 = τ n τ k+1 (s k (f)τ k +f )τ l τ 1 = τ n τ k+1 s k (f)τ l τ 1 τ k +τ n τ k+1 f τ l τ 1

14 14 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH for some f k[x 1,,x n+1 ]. Since τ k R 1 (n), all the terms in the right-hand side of (3.7) are 0 mod R(n)R 1 (n) by the induction hypothesis. Hence our assertion holds. (a) For 1 k n, we have x k τ n τ 1 = τ n τ k+1 x k τ k τ 1 = τ n τ k+1 τ k x k+1 τ k 1 τ 1 τ n τ k+1 P k,k+1 τ k 1 τ 1. Then the second term is 0 mod R(n)R 1 (n) by (3.6), and the first term is equal to which implies our first assertion. (b) For 1 l n 1, we have (τ n τ k+1 τ k )(τ k 1 τ 1 )x k+1, τ l τ n τ 1 = τ n τ l+2 τ l τ l+1 τ l τ 1 = τ n τ l+2 (τ l+1 τ l τ l+1 Q l P l,l+2 P l τ l τ l+1 P l )τ l 1 τ 1 = τ n τ 1 τ l+1 τ n τ l+2 (Q l P l,l+2 )τ l 1 τ 1 τ n τ l+2 (P l )τ l τ 1 τ n τ l+1 (P l )τ l 1 τ 1. By (3.6), the terms except the first one are 0 mod R(n)R 1 (n). (c) If k = n+1, we have x n+1 τ n τ 1 = (τ n x n +P n,n+1 )τ n 1 τ 1 = τ n x n τ n 1 τ 1 +P n,n+1 τ n 1 τ 1 τ n x n τ n 1 τ 1. τ n τ 1 x 1 mod R(n)R 1 (n). As an immediate corollary, we obtain Corollary 3.8. There is an exact sequence of (R(n), R(n))-bimodules (3.8) 0 R(n) R(n 1) R(n) R(n+1) ϕ R(n) k[t i ] 0, where the map ϕ is given by (3.4) or (3.5). Here, the right R(n)-module structure on R(n+1) is given by the embedding ξ n : R(n) R 1 (n) R(n+1). Moreover, both the

15 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 15 left multiplication by x n+1 and the right multiplication by x 1 on R(n+1) are compatible with the multiplication by t i on R(n) k[t i ]. By applying the exact functor e(β+α j α i,i) e(j,β) on (3.8), Corollary 3.8 yields the following theorem. Theorem 3.9. (i) There is a natural isomorphism F j E i E i F j for i j. (ii) There is an exact sequence in Mod(R(β)): which is functorial in M. 0 F i E i M E i F i M q (α i β) M k[t i ] 0, 4. The cyclotomic quotient R Λ In this section, we define the cyclotomic Khovanov-Lauda-Rouquier algebra R Λ and the functors Ei Λ, FΛ i on Mod(R Λ ). We investigate the structure of R Λ and the behavior of Ei Λ, FΛ i on Proj(R Λ ) and Rep(R Λ ). In particular, we will show that Ei Λ and Fi Λ are well-defined exact functors on Proj(R Λ ) and Rep(R Λ ). For Λ P + and i I, we choose a monic polynomial of degree h i,λ (4.1) a Λ i (u) = h i,λ k=0 c i;k u h i,λ k with c i;k k 2kdi and c i,0 = 1. Given β Q + with β = n, a dominant integral weight Λ P + and k (1 k n), set a Λ (x k ) = ν I β a Λ ν k (x k )e(ν) R(β). Definition 4.1. Let β Q + and Λ P +. (1) The cyclotomic Khovanov-Lauda-Rouquier algebra R Λ (β) at β is the quotient algebra R Λ R(β) (β) = R(β)a Λ (x 1 )R(β).

16 16 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH (2) The Q + -graded algebra R Λ = α Q + R Λ (α) is called the cyclotomic Khovanov- Lauda-Rouquier algebra of weight Λ. Lemma 4.2. Let ν I n be such that ν a = ν a+1 for some 1 a < n. Then, for an R(n)-module M and f k[x 1,...,x n ], fe(ν)m = 0 implies ( a f)p νa (x a,x a+1 )P νa (x a+1,x a )e(ν)m = 0, (s a f)p νa (x a,x a+1 )P νa (x a+1,x a )e(ν)m = 0. Proof. Note that τ a e(ν) = e(ν)τ a and τ 2 a e(ν) = ( ap νa (x a,x a+1 ))τ a e(ν). Thus we have Thus (x a x a+1 )τ a fτ a e(ν) = (x a x a+1 )((s a f)τ a +( a f)p νa (x a,x a+1 ))τ a e(ν) ( ) = (x a x a+1 ) ( a P νa (x a,x a+1 ))(s a f)+( a f)p νa (x a,x a+1 ) τ a e(ν) = ( P νa (x a+1,x a ) P νa (x a,x a+1 ) ) (s a f)τ a e(ν)+p νa (x a,x a+1 )(s a (f) f)τ a e(ν) = P νa (x a+1,x a )(s a f)τ a e(ν) P νa (x a,x a+1 )fτ a e(ν) = P νa (x a+1,x a ) ( τ a f ( a f)p νa (x a,x a+1 ) ) e(ν) P νa (x a,x a+1 )fτ a e(ν). Since (x a x a+1 )( a f) = s a f f, we have Lemma 4.3. Let β Q + with β = n. ( a f)p νa (x a,x a+1 )P νa (x a+1,x a )e(ν)m = 0. (s a f)p νa (x a,x a+1 )P νa (x a+1,x a )e(ν)m = 0. (i) There exists a monic polynomial g(u) such that g(x a ) = 0 in R Λ (β) for any a (1 a n). (ii) If i I re, then there exists m Z 0 such that R Λ (β +kα i ) = 0 for any k m. Proof. (i) By induction on a, it is enough to show that For any monic polynomial g(u), we can find a monic polynomial h(u) such that we have h(x a+1 )M = 0 for any R(β)-module M with g(x a )M = 0. If ν a = ν a+1, then Lemma 4.2 implies that g(x a+1 )P νa (x a,x a+1 )P νa (x a+1,x a )e(ν)m = 0.

17 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 17 By the definition of P i (u,v) given in (2.1), (g(x a+1 )P νa (x a,x a+1 )P νa (x a+1,x a )) is a monic polynomial in x a+1 with coefficient in k[x a ]. Hence we can choose a monic polynomial h(x a+1 ) in the ideal generated by g(x a ) and g(x a+1 )P νa (x a,x a+1 )P νa (x a+1,x a ) in k[x a,x a+1 ]. Thus If ν a ν a+1, then h(x a+1 )e(ν)m = 0. g(x a+1 )Q νa,ν a+1 (x a,x a+1 )e(ν)m = g(x a+1 )τ 2 ae(ν)m = τ a g(x a )e(s a ν)τ a M = 0. Since g(x a+1 )Q νa,ν a+1 (x a,x a+1 ) is a monic polynomial in x a+1 with coefficient in k[x a ], we can choose a monic polynomial h(x a+1 ) as in the case of ν a = ν a+1. (ii) For ν I n, set Supp i (ν) = #{k 1 k n and ν k = i}. Our assertion is equivalent to: For all n, there exists k n Z 0 such that e(ν)r Λ (n+k n ) = 0 (4.2) for any ν I n+kn with Supp i (ν) k n. If e(ν)r Λ (n+k) = 0 for any ν I n+k such that Supp i (ν) k, then one can easily see that (4.3) e(ν )R Λ (n+k ) = 0 for any k k and ν I n+k such that Supp i (ν n+k) k. In order to prove (4.2), we will use induction on n. Assume that there exists k = k n 1 such that e(ν)r Λ (n 1+k) = 0 if Supp i (ν) k. By (i), there exists a monic polynomial g(u) of degree m 0 such that g(x n+k )R Λ (n+ k) = 0. It suffices to show e(ν)r Λ (n+k +m) = 0 for Supp i (ν) k +m. If Supp i (ν n+k 1 ) k, then by (4.3) e(ν)r Λ (n+k + m) = 0. Thus we may assume that Supp i (ν n+k 1 ) k 1. Hence we have ν n+k = (i,...,i). Then the repeated application of Lemma 4.2 implies ( n+k+m 1 n+k g(x n+k ))e(ν)r Λ (n+k +m) = 0. Since n+k+m 1 n+k g(x n+k ) = ±1, we can choose k n = k +m. Lemma 4.4. If i I im and h i,λ β = 0, then R Λ (β +α i ) = 0.

18 18 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH Proof. Since h i,λ, h i, β 0, the hypothesis h i,λ β = 0 implies h i,λ = 0 and h i,β = 0. Thus for all j Supp(β) \ {i}, we have a ij = 0. In particular we have Q j,i k 0. Since h i,λ = 0, we have e(i,β)r Λ (β + α i ) = 0. For ν I β+α i, let k be the smallest integer such that ν k = i. We shall show e(ν)r Λ (β + α i ) = 0 by induction on k. If k=1, it is obvious. Assume k > 1. Hence Q νk 1,ν k e(ν)r Λ (β +α i ) = τ k 1 e(s k 1 ν)τ k 1 R Λ (β + α i ) vanishes since (s k 1 ν) k 1 = i. Since Q νk 1,ν k k 0, we obtain the desired result e(ν)r Λ (β +α i ) = 0. by For each i I, we define the functors E Λ i : Mod(R Λ (β +α i )) Mod(R Λ (β)), F Λ i : Mod(R Λ (β)) Mod(R Λ (β +α i )), E Λ i (N) = e(β,i)n = e(β,i)rλ (β +α i ) R Λ (β+α i ) N, F Λ i (M) = R Λ (β +α i )e(β,i) R Λ (β) M, where M Mod(R Λ (β +α i )) and N Mod(R Λ (β)). We introduce ( R(β +α i ),R Λ (β) ) -bimodules (4.4) F Λ = R Λ (β +α i )e(β,i) = K 0 = R(β +α i )e(β,i) R(β) R Λ (β) = K 1 = R(β +α i )e(i,β) R(β) R Λ (β) = R(β +α i )e(β,i) R(β +α i )a Λ (x 1 )R(β +α i )e(β,i), R(β +α i )e(β,i) R(β +α i )a Λ (x 1 )R(β)e(β,i), R(β +α i )e(i,β) R(β +α i )a Λ (x 2 )R 1 (β)e(i,β). The right R(β)-module structure on R(β + α i )e(i,β) and the right R Λ (β)-module structure on K 1 are given by the isomorphism R(β) R 1 (β) R(β +α i ). The bimodulesf Λ, K 0 andk 1 arethekernels ofthefunctorsf Λ i, F i andf i frommod(r Λ (β)) to Mod(R(β +α i )), respectively. Let t i be an indeterminate of degree 2d i. Then k[t i ] acts from the right on R(β + α i )e(i,β) and K 1 by multiplying x 1. Similarly, k[t i ] acts from the right on R(β + α i )e(β,i), F Λ and K 1 by multiplying x n+1. Thus K 0, F Λ and K 1 have an (R(β + α i ),R Λ (β) k[t i ])-bimodule structure. By a similar argument to the one given in [7, Lemma 4.8, Lemma 4.16], we obtain the following lemmas which will be used in proving Corollary 4.12 and Theorem 4.13.

19 Lemma 4.5. CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 19 (i) Both K 1 and K 0 are finitely generated projective right R Λ (β) k[t i ]-modules. (ii) In particular, for any f(x 1,...,x n+1 ) k[x 1,...,x n+1 ] which is a monic polynomial in x 1, the right multiplication by f on K 1 induces an injective endomorphism of K 1. Lemma 4.6. For i I and β Q + with β = n, we have (i) R(β +α i )a Λ (x 1 )R(β +α i ) = n a=0 R(β +α i)a Λ (x 1 )τ 1 τ a, (ii) R(β +α i )a Λ (x 1 )R(β +α i )e(β,i) = R(β +α i )a Λ (x 1 )R(β)e(β,i)+R(β +α i )a Λ (x 1 )τ 1 τ n e(β,i). Let π: K 0 F Λ be the canonical projection and P: R(β +α i )e(i,β) K 0 be the right multiplication by a Λ (x 1 )τ 1 τ n whose degree is 2d i h i,λ +(α i β) = (α i 2Λ β). Then, using Lemma 4.6, one can see that (4.5) Im( P) = Kerπ = R(β +α i)a Λ (x 1 )R(β +α i )e(β,i) R(β +α i )a Λ (x 1 )R(β)e(β,i) K 0. Lemma 4.7. The map P: R(β +α i )e(i,β) K 0 is a right R(β) k[t i ]-linear homomorphism; i.e., for all S R(β +α i ), 1 a n and 1 b n 1, P(Sx a+1 ) = P(S)x a, P(Sx1 ) = P(S)x n+1, P(Sτb+1 ) = P(S)τ b. Proof. First, we will verify that (4.6) for any f k[x 1,...,x n+1 ], a Λ (x 1 )τ 1 τ l fτ k τ n e(β,i) 0 mod R(β + α i )a Λ (x 1 )R(β)e(β,i) if l+2 k n+1. We will prove this by using downward induction on k. It is trivial for k = n + 1. Assume that k n and our assertion is true for k +1. Then we have (4.7) a Λ (x 1 )τ 1 τ l fτ k τ n e(β,i) = τ k a Λ (x 1 )τ 1 τ l s k (f)τ k+1 τ n e(β,i) +a Λ (x 1 )τ 1 τ l f τ k+1 τ n e(β,i) for some f k[x 1,...,x n+1 ], and both the terms in the right-hand side of (4.7) are 0 mod R(β +α i )a Λ (x 1 )R(β)e(β,i) by the induction hypothesis. Thus we obtain (4.6).

20 20 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH For 1 a n, we have x a+1 (a Λ (x 1 )τ 1 τ n e(β,i)) = a Λ (x 1 )τ 1 τ a 1 (x a+1 τ a )τ a+1 τ n e(β,i), For the second assertion, we have = a Λ (x 1 )τ 1 τ a 1 (τ a x a +P a,a+1 )τ a+1 τ n e(β,i), = a Λ (x 1 )τ 1 τ n x a e(β,i)+a Λ (x 1 )τ 1 τ a 1 P a,a+1 τ a+1 τ n e(β,i), a Λ (x 1 )τ 1 τ n x a e(β,i) (by (4.6)). x 1 (a Λ (x 1 )τ 1 τ n e(β,i)) = a Λ (x 1 )(τ 1 x 2 P 1,2 )τ 2 τ n e(β,i) For 1 b n 1, we have τ b+1 (a Λ (x 1 )τ 1 τ n e(β,i)) = a Λ (x 1 )τ 1 x 2 τ 2 τ n e(β,i) P 1,2 τ 2 τ n a Λ (x 1 )e(β,i) a Λ (x 1 )τ 1 x 2 τ 2 τ n e(β,i) = a Λ (x 1 )τ 1 τ 2 x 3 τ 3 τ n e(β,i) a Λ (x 1 )τ 1 P 2,3 τ 3 τ n e(β,i) a Λ (x 1 )τ 1 τ 2 x 3 τ 3 τ n e(β,i) (by (4.6)). a Λ (x 1 )τ 1 τ n x n+1 e(β,i) mod R(β +α i )a Λ (x 1 )R(β)e(β,i). = a Λ (x 1 )τ 1 τ b 1 (τ b+1 τ b τ b+1 )τ b+2 τ n e(β,i) = a Λ (x 1 )τ 1 τ b 1 (τ b τ b+1 τ b +Q b P b,b+2 +τ b P b +P b τ b+1)τ b+2 τ n e(β,i) = a Λ (x 1 )τ 1 τ n τ b e(β,i)+a Λ (x 1 )τ 1 τ b 1 (Q b P b,b+2 )τ b+2 τ n e(β,i) +a Λ (x 1 )τ 1 τ b (P b )τ b+2 τ n e(β,i)+a Λ (x 1 )τ 1 τ b 1 (P b )τ b+1 τ n e(β,i). By (4.6), all the terms except the first one are 0 mod R(β+α i )a Λ (x 1 )R(β)e(β,i). Thus we obtain τ b+1 a Λ (x 1 )τ 1 τ n e(β,i) a Λ (x 1 ) τ n τ b e(β,i) mod R(β +α i )a Λ (x 1 )R(β)e(β,i). Since P is right R(β) k[t i ]-linear and maps R(β+α i )a Λ (x 2 )R 1 (β)e(i,β) to R(β + α i )a Λ (x 1 )R(β)e(β,i), it induces a map P : K 1 K 0,

21 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 21 which is an (R(β+α i ),R(β) k[t i ])-bilinear homomorphism. By (4.5), we get an exact sequence of (R(β +α i ),R(β) k[t i ])-bimodules K 1 P K 0 π F Λ 0. We will show that P is actually injective by constructing an (R(β +α i ),R(β) k[t i ])- bilinear homomorphism Q such that Q P is injective. For 1 a n, we define an element g a of R(β +α i ) by (4.8) τ a e(ν)+ ((x a+1 x a )P νa(x a,x a+1) (x a+1 x a ) 2 τ a )e(ν). ν I β+α i, ν I β+α i, ν a ν a+1 ν a=ν a+1 g a = Lemma 4.8. For 1 a n, we have (4.9) x sa(b)g a = g a x b (1 b n+1) and τ a g a+1 g a = g a+1 g a τ a+1. Proof. For ν such that ν a ν a+1, we have (4.10) x sa(b)g a e(ν) = g a x b e(ν). We shall show (4.10) when ν a = ν a+1. We have (x a g a g a x a+1 )e(ν) = {x a (x a+1 x a )P νa (x a,x a+1 ) x a (x a+1 x a ) 2 τ a (x a+1 x a )x a+1 P νa (x a,x a+1 ) +(x a+1 x a ) 2 (x a τ a +P νa (x a,x a+1 ))e(ν)} = { (x a+1 x a ) 2 P νa (x a,x a+1 )+(x a+1 x a ) 2 P νa (x a,x a+1 )}e(ν) = 0. Hence (4.10) holds for b = a+1. The other cases can be proved similarly. By(2.4), S = τ a g a+1 g a g a+1 g a τ a+1 doesnotcontainthetermτ a+1 τ a τ a+1 andτ a τ a+1 τ a and is contained in the k[x a,x a+1,x a+2 ]-module generated by 1, τ a, τ a+1, τ a τ a+1, τ a+1 τ a. That is, S can be expressed as S = T 1 +T 2 τ a +T 3 τ a+1 +T 4 τ a τ a+1 +T 5 τ a+1 τ a for some T i k[x a,x a+1,x a+2 ] (1 i 5). By a similar argument given in [7, Lemma 4.12], we have Sx b = x sa,a+2 (b)s for all b. Then one can show that all T i must be zero. Thus our second assertion holds. Proposition 4.9.

22 22 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH (i) Let Q: R(β+α i )e(β,i) K 1 be the left R(β+α i )-linear homomorphism given by the multiplication of g n g 1 from the right. Then Q is a right ( R(β) k[t i ] ) -linear homomorphism. That is, Q(Sx a ) = Q(S)x a+1 (1 a n), Q(Sxn+1 ) = Q(S)x 1 Q(Sτ b ) = Q(S)τ b+1 (1 b n 1) for any S R(β +α i )e(β,i). (ii) The map Q induces a well-defined (R(β+α i ),R(β) k[t i ])-bilinear homomorphism Q: K 0 = R(β +α i )e(β,i) R(β +α i )a Λ (x 1 )R(β)e(β,i) K 1 = R(β +α i )e(i,β) R(β +α i )a Λ (x 2 )R 1 (β)e(i,β). Proof. The proof follows immediately from the preceding lemma. Theorem For each ν I β, set A ν = a Λ i (x 1 ) 1 a n, ν a i Q i,νa (x 1,x a+1 ) 1 a n, ν a=i P i (x 1,x a+1 )P i (x a+1,x 1 ). Then the following diagram is commutative, in which the vertical arrow is the multiplication by A ν from the right. (4.11) R(β +α i )e(i,ν) P=a Λ (x 1 )τ 1 τ n R(β +α i )a Λ (x 2 )R 1 (β)e(i,ν) A ν R(β +α i )e(i,ν) R(β +α i )a Λ (x 2 )R 1 (β)e(i,ν) Q=g n g 1 R(β +α i )e(ν,i) R(β +α i )a Λ (x 1 )R(β)e(ν,i) Proof. It suffices to show that (4.12) a Λ (x 1 )τ 1 τ n g n g 1 e(i,ν) = a Λ (x 1 )τ 1 τ n e(ν,i)g n g 1 A ν e(i,ν) mod R(β +α i )a Λ (x 2 )R 1 (β)e(i,ν). Note that (4.13) τ n e(ν,i)g n = { τ n e(ν,i)τ n = Q i,νn (x n,x n+1 )e(ν <n,i,ν n ) if ν n i, τ n (x n+1 x n )P i (x n+1,x n )e(ν,i) if ν n = i.

23 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 23 Indeed if ν n = i, then we have ( τ n (x n+1 x n )P i (x n,x n+1 ) (x n+1 x n ) 2 τ n )e(ν,i) = (τ n (x n+1 x n )P i (x n,x n+1 ) τ 2n(x ) n+1 x n ) 2 e(ν, i) ( ( = τ n (x n+1 x n )P i (x n,x n+1 ) τ n n P i (x n,x n+1 ) ) ) (x n+1 x n ) 2 ) e(ν, i) ( = τ n (x n+1 x n ) P i (x n,x n+1 ) ( P i (x n,x n+1 ) P i (x n+1,x n ) )) e(ν,i) = τ n (x n+1 x n )P i (x n+1,x n )e(ν,i). We will show (4.12) by induction on n. Assume first n = 1. If ν 1 i, then it is already given by (4.13). If ν 1 = i, then a Λ (x 1 )τ 1 e(i,i)g 1 = a Λ (x 1 )τ 1 (x 2 x 1 )P i (x 2,x 1 )e(i,i) = ( τ 1 a Λ (x 2 )+ aλ (x 2 ) a Λ (x 1 ) P i (x 1,x 2 ) ) (x 2 x 1 )P i (x 2,x 1 )e(i,i) x 1 x 2 = ( τ 1 a Λ (x 2 )(x 2 x 1 )P i (x 2,x 1 ) (a Λ (x 2 ) a Λ (x 1 ))P i (x 1,x 2 )P i (x 2,x 1 ) ) e(i,i) a Λ (x 1 )P i (x 1,x 2 )P i (x 2,x 1 )e(i,i) = A ν e(i,i). Thus we may assume that n > 1. (i) First assume that ν n i. Then we have (ii) If ν n = i, then we have a Λ (x 1 )τ 1 τ n g n g 1 e(i,ν) = a Λ (x 1 )τ 1 τ n 1 Q i,νn (x n,x n+1 )g n 1 g 1 e(i,ν) = a Λ (x 1 )τ 1 τ n 1 g n 1 g 1 Q i,νn (x 1,x n+1 )e(i,ν) A ν<n Q i,νn (x 1,x n+1 )e(i,ν) = A ν e(i,ν). (4.14) a Λ (x 1 )τ 1 τ n g n g 1 e(i,ν) = a Λ (x 1 )τ 1 τ n (x n+1 x n )P i (x n+1,x n )g n 1 g 1 e(i,ν) = a Λ (x 1 )τ 1 τ n g n 1 g 1 (x n+1 x 1 )P i (x n+1,x 1 )e(i,ν). Since P and Q are right R(β) k[t i ]-linear, we have (4.15) x n+1 a Λ (x 1 )τ 1 τ n g n g 1 e(i,ν) a Λ (x 1 )τ 1 τ n g n g 1 x n+1 e(i,ν) 0 mod R(β +α i )a Λ (x 2 )R 1 (β)e(i,β).

24 24 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH By (4.14), the left-hand side of (4.15) is equal to (4.16) Since we have (4.17) a Λ (x 1 )τ 1 τ n 1 (x n+1 τ n τ n x n+1 )g n 1 g 1 (x n+1 x 1 )P i (x n+1,x 1 )e(i,ν). (x n+1 τ n τ n x n+1 )e(ν,i) = {(x n+1 τ n τ n x n )+τ n (x n x n+1 )}e(i,ν) = P i (x n,x n+1 )+τ n (x n x n+1 ), 0 a Λ (x 1 )τ 1 τ n 1 P i (x n,x n+1 )g n 1 g 1 (x n+1 x 1 )P i (x n+1,x 1 )e(i,ν) +a Λ (x 1 )τ 1 τ n (x n x n+1 )g n 1 g 1 (x n+1 x 1 )P i (x n+1,x 1 )e(i,ν) = a Λ (x 1 )τ 1 τ n 1 g n 1 g 1 (x n+1 x 1 )P i (x 1,x n+1 )P i (x n+1,x 1 )e(i,ν) a Λ (x 1 )τ 1 τ n g n 1 g 1 (x n+1 x 1 ) 2 P i (x n+1,x 1 )e(i,ν) A ν<n (x n+1 x 1 )P i (x 1,x n+1 )P i (x n+1,x 1 )e(i,ν) a Λ (x 1 )τ 1 τ n g n 1 g 1 (x n+1 x 1 ) 2 P i (x n+1,x 1 )e(i,ν) ( ) = A ν<n P i (x 1,x n+1 ) a Λ (x 1 )τ 1 τ n g n 1 g 1 (x n+1 x 1 ) e(i, ν) (x n+1 x 1 )P i (x n+1,x 1 ). Sincetherightmultiplicationof(x n+1 x 1 )P i (x n+1,x 1 )onk 1 isinjectivebylemma4.5, we conclude that a Λ (x 1 )τ 1 τ n g n 1 g 1 (x n+1 x 1 )e(i,ν) A ν<n P i (x 1,x n+1 )e(i,ν). Hence (4.14) implies that a Λ (x 1 )τ 1 τ n g n g 1 e(i,ν) A ν<n P i (x 1,x n+1 )P i (x n+1,x 1 )e(i,ν) = A ν e(i,ν) mod R(β +α i )a Λ (x 2 )R 1 (β)e(i,β). Since K 1 e(i,ν) is a projective R Λ (β) k[t i ]-module by Lemma 4.5 and A ν is a monic polynomial (up to a multiple of an invertible element) in t i, by a similar argument to the one in [7, Lemma 4.17, Lemma 4.18], we conclude: Theorem We have a short exact sequence consisting of right projective R Λ (β)- modules: (4.18) 0 K 1 P K 0 F Λ 0.

25 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 25 Since K 1, K 0 and F Λ are kernels of functors F i, F i and Fi Λ, respectively, we have Corollary For any i I and β Q +, there exists an exact sequence of R(β+α i )- modules (4.19) which is functorial in M Mod(R Λ (β)). 0 q (α i 2Λ β) F i M F i M F Λ i M 0, Now we prove the main theorem of this section. Theorem Set Proj(R Λ ) = α Q + Proj(R Λ (α)), Rep(R Λ ) = α Q + Rep(R Λ (α)), and [Proj(R Λ )] = α Q + [Proj(R Λ (α))], [Rep(R Λ )] = α Q + [Rep(R Λ (α))]. Thenthe functors E Λ i andf Λ i are well-definedexactfunctors on Proj(R Λ ) andrep(r Λ ), and they induce endomorphisms of the Grothendieck groups [Proj(R Λ )] and [Rep(R Λ )]. Proof. ByProposition2.3,Lemma4.3andTheorem4.11,F Λ isafinitelygeneratedprojective module over R Λ (β). Thus Fi Λ sends the finite-dimensional left R Λ (β)-modules to finite-dimensional left R Λ (β+α i )-modules. Similarly, e(β,i)r Λ (β +α i ) is a finitely generated projective left R Λ (β)-module and hence Ei Λ sends finitely generated projective left R Λ (β +α i )-modules to finitely generated projective left R Λ (β)-modules. The following lemma will be needed in the sequel. Lemma Set A = ν I A β ν e(i,ν), B = ν I a Λ β i (x n+1 ) 1 a n, Q i,νa (x n+1,x a ) 1 a n, P i (x n+1,x a )P i (x a,x n+1 )e(ν,i). ν a i ν a=i Then we have a commutative diagram K P 1 K 0 A Q 555 B 5 55 K 1 K 0 P Here the vertical arrows are the multiplication of A and B from the right, respectively. Proof. We can apply a similar argument given in [7, Lemma 4.19].

26 26 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH 5. Categorification of V(Λ) In this chapter, we will show that the cyclotomic Khovanov-Lauda-Rouquier algebra R Λ categorifies the irreducible highest weight U q (g)-module V(Λ). Theorem 5.1. For i j I, there exists a natural isomorphism (5.1) E Λ i FΛ j q a ij i F Λ j EΛ i. Proof. By Corollary 3.4, we already know (5.2) e(n,i)r(n+1)e(n,j) q a ij i R(n)e(n 1,j) R(n 1) e(n 1,j)R(n). Applying the functor R Λ (n) R(n) R(n) R Λ (n)e(β) on (5.2), we obtain e(n,i)r(n+1)e(β,j) e(n,i)r(n)a Λ (x 1 )R(n+1)e(β,j)+e(n,i)R(n+1)a Λ (x 1 )R(n)e(β,j) R Λ (n)e(n 1,j) R Λ (n 1) e(n 1,i)R Λ (n)e(β) = F Λ j EΛ i RΛ (β). Note that ( Ei Λ FΛ j RΛ (β) = Thus it suffices to show that (5.3) e(n,i)r(n+1)a Λ (x 1 )R(n+1)e(n,j) e(n,i)r(n+1)e(n,j) e(n,i)r(n+1)a Λ (x 1 )R(n+1)e(n,j) ) e(β). = e(n,i)r(n)a Λ (x 1 )R(n+1)e(n,j)+e(n,i)R(n+1)a Λ (x 1 )R(n)e(n,j). Since a Λ (x 1 )τ k = τ k a Λ (x 1 ) for all k 2, we have n+1 R(n+1)a Λ (x 1 )R(n+1) = R(n+1)a Λ (x 1 )τ a τ n R(n,1) a=1 = R(n+1)a Λ (x 1 )R(n,1)+R(n+1)a Λ (x 1 )τ 1 τ n R(n,1) n+1 = R(n+1)a Λ (x 1 )R(n,1)+ R(n,1)τ n τ a a Λ (x 1 )τ 1 τ n R(n,1) a=1 = R(n+1)a Λ (x 1 )R(n,1)+R(n,1)a Λ (x 1 )R(n+1)+R(n,1)τ n τ 1 a Λ (x 1 )τ 1 τ n R(n,1). For i j, we get e(n,i)r(n,1)τ n τ 1 a Λ (x 1 )τ 1 τ n R(n,1)e(n,j) = 0, and our assertion (5.3) follows.

27 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 27 Theorem 5.2. Let λ = Λ β. Then there exist natural isomorphisms of endofunctors on Mod(R Λ (β)) given below. (i) If h i,λ 0, then we have (5.4) h i,λ 1 q a ii i Fi Λ EΛ i qi 2k Id Ei Λ FΛ i. k=0 (ii) If h i,λ < 0, then we have (5.5) q a ii i Fi Λ EΛ i h i,λ 1 Ei Λ FΛ i k=0 q 2k 2 i Id. The rest of this section is devoted to the proof of this theorem. Consider the following commutative diagram with exact rows and columns derived from Theorem 3.5, Theorem 3.9 and Corollary 4.12: (5.6) q (α i 2Λ β) i F i E i M q a ii i F i E i M q a ii i Fi Λ Ei Λ M 0 0 q (α i 2Λ β) i E i F i M E i F i M Ei ΛFΛ i M 0 q (α i 2Λ 2β) i k[t i ] M k[t i ] M 0 0 By taking the kernel modules, we obtain the following commutative diagram of (R(β),R Λ (β))-modules:

28 28 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH (5.7) q (α i 2Λ β) i K 1 P q a ii i K 0 G q a ii i Fi ΛEΛ i RΛ (β) 0 0 q (α i 2Λ β) i E i K 1 P F E i K 0 Ei ΛFΛ i RΛ (β) 0 B q (α i 2Λ 2β) i k[t i ] R Λ (β) C A k[t i ] R Λ (β) 0 0 where K 0 = F ie i R Λ (β) = R(β)e(β α i,i) R(β αi ) e(β α i )R Λ (β) K 1 = F ie i R Λ (β) = R(β)e(i,β α i ) R(β αi ) e(β α i )R 1 (β) R(β) R Λ (β) = R(β)e(i,β α i ) R(β αi ) R Λ (β). The homomorphisms in the diagram (5.7) can be described as follows: P istherightmultiplicationbya Λ (x 1 )τ 1 τ n and(r(β),r Λ (β) k[t i ])-bilinear. Similarly,P isgivenbytherightmultiplicationbya Λ (x 1 )τ 1 τ n 1 onr(β)e(i,β α i ). The map A is defined by the chasing the diagram. Note that it is R Λ (β)-linear but not k[t i ]-linear. B is given by taking the coefficient of τ n τ 1 and (R(β) k[x n+1 ],k[x 1 ] R 1 (β))-bilinear. F is the multiplication by τ n (See Proposition 3.3). C is the cokernel map of F. Thus it is (R(β),R Λ (β))-bilinear but does not commute with t i. G is the canonical projection induced from P. It is (R(β) k[x n+1 ],R Λ (β) k[x n+1 ])-bilinear.

29 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 29 Set p = Supp i (β). Note that the degree of t i in Q i,νa (t i,x a ) P i (t i,x a+1 )P i (x a+1,t i ) is given by 1 a n, ν a i 1 a n, ν a=i h i,β pα i +2p(1 a ii 2 ) = h i,β +pa ii +2p pa ii = h i,β +2p. Define an invertible element γ k by ( 1) p Q i,νa (t i,x a ) (5.8) Set λ = Λ β and 1 a n, ν a i 1 a n, ν a=i P i (t i,x a+1 )P i (x a+1,t i ) = γ 1 t h i,β +2p i +( terms of degree < h i,β +2p in t i ). (5.9) ϕ k = A(t k i ) k[t i] R Λ (β), which is of degree 2(α i λ)+2d i k = 2d i ( h i,λ +k). The following proposition is one of the key ingredients of the proof of Theorem 5.2 Proposition 5.3. If h i,λ + k 0, then γϕ k is a monic polynomial in t i of degree h i,λ +k. Note that for m < 0, we say that a polynomial ϕ is a monic polynomial of degree m if ϕ = 0. To prove Proposition 5.3, we need some preparation. Let z = k Z >0 a k b k R(β)e(β α i,i) R(β αi ) e(β α i,i)r Λ (β), where a k R(β)e(β α i,i) and b k e(β α i,i)r Λ (β). Define a map E: K 0 E i K 0 by (5.10) z a k P i (x n,x n+1 )b k. k Z >0 Lemma 5.4. For z R(β)e(β α i ) R(β αi ) e(β α i,i)r Λ (β), we have (5.11) F(z)x n+1 = F(z(x n 1))+E(z).

30 30 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH Proof. Let z = a b R(β)e(β α i,i) R(β αi )e(β α i,i)r Λ (β), where a R(β)e(β α i,i) and b e(β α i,i)r Λ. Then F(z) = aτ n b, E(z) = ap i (x n,x n+1 )b. Thus F(z)x n+1 = aτ n bx n+1 = aτ n x n+1 b = a(x n τ n +P i (x n,x n+1 ))b = ax n τ n b+ap i (x n,x n+1 )b = F(ax n b)+e(z) = F(z(x n 1))+E(z). By Proposition 3.3, we have e(β,i)r(β +α i )e(β,i) R(β) R Λ (β) (5.12) = F ( R(β)e(β α i,i) R(β αi ) e(β α i,i)r Λ (β) ) (R Λ (β) k[t i ])e(β,i), where t i = x n+1. Using the decomposition (5.12), we write (5.13) P(e(β,i)τ n τ 1 x k 1 e(i,β)) = F(ψ k)+ϕ k for uniquely determined ψ k K 0 and ϕ k k[t i ] R Λ (β). Using (5.9), we have A(t k i) = AB(e(β,i)τ n τ 1 x k 1e(i,β)) = CP(e(β,i)τ n τ 1 x k 1e(i,β)) = ϕ k. Thus one can verify that the definition of ϕ k coincides with the definition given in (5.9). Since F(ψ k+1 )+ϕ k+1 = P ( e(β,i)τ n τ 1 x k+1 1 e(i,β) ) = P ( e(β,i)τ n τ 1 x k 1 e(i,β)) x n+1 we have = ( F(ψ k )+ϕ k ) xn+1 = F(ψ k (x n 1))+E(ψ k )+ϕ k t i, (5.14) ψ k+1 = ψ k (x n 1), ϕ k+1 = E(ψ k )+ϕ k t i. Now we will prove Proposition 5.3. By Lemma 4.14, we have g n g 1 x k 1 e(i,ν)τ 1 τ n = x k n+1 aλ i (x n+1) Q i,νa (x n+1,x a ) 1 a n, ν a i 1 a n, ν a=i P i (x n+1,x a )P i (x a,x n+1 )e(ν,i)

31 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 31 in e(β,i)r(β +α i )e(β,i) R Λ (β), which implies ( AB(g n g 1 x k 1 e(i,ν)) = C x k n+1 aλ i (x n+1) Q i,νa (x n+1,x a ) = t k ia Λ i (t i ) 1 a n, ν a i 1 a n, ν a i Q i,νa (t i,x a ) 1 a n, ν a=i 1 a n, ν a=i P i (t i,x a )P i (x a,t i )e(ν). On the other hand, since B is the map taking the coefficient of τ n τ 1, we have ( ) B(g n g 1 x k 1 e(i,ν)) = B ( (x n+1 x a ) 2 )x k n+1 e(ν,i)τ n τ 1 ν a=i = t k i ( (t i x a ) 2 )e(ν). Thus we have ν a=i (5.15) A(t k i (t i x a ) 2 e(ν) = ( 1) p t k i aλ i (t i) Set ν a=i 1 a n, ν a i S = (t i x a ) 2 e(ν) k[t i ] R Λ (β), ν I β ν a=i F = γ( 1) p a Λ i (t i ) ν I β 1 a n, ν a i Q i,νa (t i,x a ) 1 a n, ν a=i Q i,νa (t i,x a ) 1 a n, ν a=i ) P i (x n+1,x a )P i (x a,x n+1 ) e(ν, i) P i (t i,x a )P i (x a,t i )e(ν). P i (t i,x a )P i (x a,t i )e(ν) k[t i] R Λ (β). Then they are monic polynomials in t i of degree 2p and h i,λ + 2p, respectively (p := Supp i (β)). Note that they are contained in the center of k[t i ] R Λ (β). Then (5.15) can be expressed as the following form: (5.16) γa(t k i S) = tk i F. Note that if Supp i (β) = 0, then K 0 = 0 and if i I im such that h i,λ = 0 and Supp i (β) > 0, then R Λ (β) = 0 (see Lemma 4.4).

32 32 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH Thus, to prove Proposition 5.3, we may assume that Supp i (β) > 0 and (5.17) if i I im, then h i,λ > 0. Lemma 5.5. For any k 0, we have (5.18) t k i F = (γϕ k)s+h k, where h k R Λ (β)[t i ] is a polynomial in t i of degree < 2p. In particular, γϕ k coincides with the quotient of t k if by S. Proof. By (5.14), A(t k+1 i ) A(t k i)t i R Λ (β), which implies (5.19) A(at i ) A(a)t i R Λ (β)[t i ] is of degree 0 in t i for any a R Λ (β)[t i ]. We will show (5.20) for any polynomial f R Λ (β)[t i ] in t i of degree m and a R Λ (β)[t i ], A(af) A(a)f is of degree < m. We will use induction on m. By the fact that A is R Λ (β)-linear and (5.19), it holds for m = 0 and 1. Thus it suffices to show (5.20) when f = t i g and (5.20) is true for g. Then A(af) A(a)f = (A(at i g) A(at i )g)+(a(at i ) A(a)t i )g. Then the first term is of degree < deg(g) in t i and the second term is of degree < deg(g)+1. Hence we prove (5.20). Thus we have t k i γ 1 F ϕ k S = t k i γ 1 F A(t k i )S = A(tk i S) A(tk i )S by (5.16) and it is of degree < 2p by applying (5.20) for f = S. Thus by Lemma 5.5, we can conclude that γϕ k is a monic polynomial in t i of degree h i,λ +k, which completes the proof of Proposition 5.3. Proof of Theorem 5.2: By the Snake Lemma, we have the following exact sequence 0 KerA q a ii i Fi Λ Ei Λ R Λ (β) Ei Λ Fi Λ R Λ (β) CokerA 0. If h i,λ 0, by Proposition 5.3, we have KerA = 0, h i,λ 1 k=0 kt k i RΛ (β) CokerA.

33 CATEGORIFICATION OF V(Λ) OVER GENERALIZED KAC-MOODY ALGEBRAS 33 Hence we obtain h i,λ 1 q a ii i Fi Λ EΛ i qi 2k Id Ei Λ FΛ i, k=0 which is the proof the statement of Theorem 5.2 (1). If h i,λ < 0, then i I re. In this case, the proof is the same as in [7, Theorem 5.2 (b)]. We define the modified functors E Λ i and F Λ i on Mod(R): Ei Λ = Ei Λ, FΛ i = q 1 h i,λ β i Fi Λ. Then by applying degree shift functor q 1 h i,λ β i to the equations (5.1), (5.4) and (5.5), we obtain the natural isomorphisms (5.21) E Λ i F Λ j F Λ j E Λ i if i j, Ei Λ FΛ i Fi Λ EΛ i q h i,λ β i Ei Λ FΛ i q h i,λ β i q h i,λ β i q i q 1 i q h i,λ β i q i q 1 i Id if h i,λ β 0, Id F Λ i EΛ i if h i,λ β 0 on Mod(R Λ (β)). Now, assume that k 0 is a field. Then, as operators on [Proj(R Λ )] and [Rep(R Λ )], they satisfy the commutation relations where [E Λ i,fλ j ] = δ i,j K i Ki 1 q i q 1, i K i [Proj(R Λ (β))] :=q h i,λ β i, K i [Rep(R Λ (β))] :=q h i,λ β i. Combining Lemma 4.3, Lemma 4.4 and Theorem 2.4 as in [7, Section 6], we obtain a categorification of the irreducible highest weight U q (g)-module V(Λ): Theorem 5.6. If a ii 0 for all i I, then there exist U A (g)-module isomorphisms [Proj(R Λ )] V A (Λ) and [Rep(R Λ )] V A (Λ).

34 34 SEOK-JIN KANG, MASAKI KASHIWARA, AND SE-JIN OH References 1. J. Brundan, A. Kleshchev, Graded decomposition numbers for cyclotomic Hecke algebras, Adv. Math. 222 (2009) J. Brundan, K. Stroppel, Highest weight categories arising from Khovanovs diagram algebra III: category O, Represent. Theory 15 (2011), G. Benkart, S.-J. Kang, D. J. Melville, Quantized enveloping algebras for Borcherds superalgebras, Trans. Amer. Math. Soc. 350 (1998) S, Cautis and A. Lauda, Implicit structure in 2-representations of quantum groups, arxiv: v2 (2011). 5. K. Jeong, S.-J. Kang, M. Kashiwara, Crystal bases for quantum generalized Kac-Moody algebras, Proc. London Math. Soc. (3) 90 (2005), no. 2, S.-J. Kang, Quantum deformations of generalized Kac-Moody algebras and their modules, J. Algebra 175 (1995), no. 3, S.-J. Kang, M. Kashiwara, Categorification of highest weight modules via Khovanov-Lauda- Rouquier algebras, arxiv: (2011), to appear in Invent. Math. 8. S.-J. Kang, M. Kashiwara, E. Park, Geometric realization of Khovanov-Lauda-Rouquier algebras associated with Borcherds-Cartan data, arxiv:1202:1622 (2012). 9. S.-J. Kang, S.-j. Oh, E. Park, Perfect bases for integrable modules over generalized Kac-Moody algebras, Algebr. Represent. Theory 14 (2011) no. 3, , Categorification of quantum generalized Kac-Moody algebras and crystal bases, arxiv: (2011). 11. M. Khovanov, A. Lauda, A diagrammatic approach to categorification of quantum groups I, Represent. Theory 13 (2009), , A diagrammatic approach to categorification of quantum groups II, Trans. Amer. Math. Soc. 363 (2011), no. 5, , A categorification of quantum sl(n), Quantum Topology 1 (2010), no. 1, A. Lauda and M. Vazirani, Crystals from categorified quantum groups, Adv. Math. 228 (2011), no. 2, R. Rouquier, 2 Kac-Moody algebras, arxiv: (2008). 16. B. Webster, Knot invariants and higher dimensional representation theory I: diagrammatic and geometric categorification of tensor products, arxiv: v5 (2010).