arxiv: v1 [math.rt] 22 Sep 2017

Transcription

1 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B RUARI WALKER arxiv: v1 [math.rt] 22 Sep 2017 Abstract. In this paper we define and study convolution products for modules over certain families of VV algebras. We go on to study morphisms between these products which yield solutions to the Yang-Baxter equation so that in fact these morphisms are R-matrices. We study the properties that these R-matrices have with respect to simple modules with the hope that this is a first step towards determining the existence of a (quantum) cluster algebra structure on a natural quotient of B θ (g), the Q(q)-algebra defined by Enomoto and Kashiwara, which the VV algebras categorify. Introduction The Khovanov-Lauda-Rouquier algebras are a family of graded algebras that have been introduced in [KL09] and [Rou] in order to categorify the negative half of the quantum group U q (g) associated to a Kac-Moody algebra g. More specifically, there is a family of graded algebras {R(n)} n Z 0 and a Z[q,q 1 ]-algebra isomorphism between the Grothendieck ring K 0 (C) and Uq (g) Z[q ±1 ], where C is the category of finite-dimensional graded R(n)-modules and Uq (g) Z[q ±1 ] is the integral form of the negative half of U q(g), for a Kac-Moody algebra g. Moreover, when g is symmetric and the ground field is of characteristic 0, it has been shown that isomorphism classes of finite-dimensional self-dual simple modules correspond to upper global basis elements under this categorification ([Rou12], [VV11b]). The multiplication on K(C) is given by the convolution product and q acts by shifting the grading. Let n = n + be the positive part of the Kac-Moody algebra g in a triangular decomposition and let A q (n) be the associated quantum coordinate ring; a certain subalgebra of U q (n). One can show that the algebras A q (n) and Uq (g) are in fact isomorphic (see [KKKOb], Lemma 2.7). Furthermore for each w W, where W is the Weyl group of g, A q (n) has a subalgebra denoted by A q (n(w)) and Geiß, Leclerc and Schröer [GLS13] showed that, for every w W, A q (n(w)) admits a quantum cluster algebra structure. We briefly recall the idea of a cluster algebra. Cluster algebras form a class of commutative rings and were introduced by Fomin and Zelevinksy in a series of papers beginning with [FZ02]. They were originally introduced in order to study canonical bases of algebraic groups but have since appeared in many other areas of mathematics including Teichmüller theory, Poisson geometry, and quiver representations. They are defined by giving a partial set of generators, called an initial cluster, together with a process enabling one to obtain all other clusters and hence all generators. Berenstein and Zelevinksy subsequently introduced the definition of a quantum Supported in part by the European Research Council in the framework of the The European Union H2020 with the Grant ERC QAffine.

2 2 RUARI WALKER cluster algebra [BZ05] which also consists of providing an initial cluster {x 1,...,x n } together with an iterative process to obtain all generators. However, in this case the cluster variables now quantum-commute; x i x j = q λ ij x j x i, where (λ ij ) 1 i,j n is a skew-symmetric n n matrix with integer entries. Monomials in the variables of a quantum cluster {x 1,...,x n } are called (quantum) cluster monomials. Geiß, Leclerc and Schröer conjectured that, up to a power of q 2, 1 quantum cluster monomials of A 1 q 2 (n(w)) are real global basis elements, i.e. if b is an element of the upper global basis then b 2 is an element of the upper global basis. Using KLR algebras, and the work of Varagnolo-Vasserot and Rouquier stated above, this conjecture now states that quantum cluster monomials correspond to real simple self-dual modules, where a simple module M over a KLR algebra is real if the convolution product M M is a simple module. This is reminiscent of the definition of a monoidal categorification of a cluster algebra given by Hernandez and Leclerc in [HL10]; let C be a cluster algebra and let A be an abelian monoidal category. Then A is a monoidal categorification of C if there is a ring isomorphism K 0 (A) = C such that (i) the cluster monomials of C correspond to the classes of real simple objects of A and (ii) the cluster variables of C are the classes of all real prime simple objects of A. Inspired by this Kang, Kashiwara, Kim and Oh introduced the notion of monoidal categorification of quantum cluster algebras [KKKOa], [KKKOb] and proved the conjecture. At the heart of their work, and of fundamental importance, are R-matrices for KLR algebras which they use in order to categorify the cluster mutation relations. Briefly, this means there exists a set of simple modules {M k } k J in C w, where C w is a certain subcategory of R-gmod, labelled by a finite index set J = J fr J ex which has frozen and exchangeable parts. This set will correspond to the initial cluster of the quantum cluster algebra A q (n(w)). We can mutate in direction k J ex ; we replace M k with a simple module M k which fits into two certain short exact sequences, using R-matrices, so that when we view the Grothendieck group we have a quantum cluster algebra type relation. The R-matrices for symmetric KLR algebras were constructed and studied in [KKK] using intertwining elements; certain elements of KLR algebras satisfying various properties such as the braid relations. R-matrices are solutions of the Yang-Baxter equation which we will now briefly recall. The Yang-Baxter equation, together with R-matrices, have applications in many areas of mathematics and mathematical physics including (quantum) integrable systems, statistical mechanics, knot theory and quantum groups. There are several variations of the Yang-Baxter equation but we describe the most elementary form here. Let A be an associative unital algebra and let R A A be an invertible element. The Yang-Baxter equation is R 12 R 13 R 23 = R 23 R 13 R 12 where R 12 = R 1, R 23 = 1 R and R 13 = (S 1)(1 R), where S : A A A A,u v v u is the switch map. An element R A A satisfying the above equality is called an R-matrix. It is often the case that that R is dependent upon a parameter z, often called a spectral parameter, in which case R = R(z) is called an affine R-matrix. In this paper, R-matrices are homogeneous morphisms between convolution products of modules over KLR algebras and VV algebras which satisfy the Yang-Baxter equation and in fact we will also

3 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 3 consider non-invertible R-matrices. Very recently progress has been made in various directions in areas involving R-matrices, including the work of Kang-Kashiwara-Kim-Oh described above and also work of Maulik and Okounkov [MO] for example. For an overview of this and other recent work, see [Her]. In 2010 Varagnolo and Vasserot introduced the VV algebras in order to prove a conjecture of Enomoto and Kashiwara [EK09] which stated that affine Hecke algebras of type B categorify an irreducible highest weight module V θ (λ) over a certain algebra B θ (g). Moreover, they conjectured that V θ (λ) admits a canonical basis and that this basis is in bijection with the set of isomorphism classes of certain simple modules over affine Hecke algebras of type B. Enomoto and Kashiwara proved this in a particular case before Varagnolo and Vasserot proved it in general using VV algebras. In particular they proved that categories of finite-dimensional modules over VV algebras are equivalent to categories of finite-dimensional modules over affine Hecke algebras of type B. They showed that there is a B θ (g)-module isomorphism between the Grothendieck group of finitely generated graded projective VV algebra modules and V θ (λ). This differs to the categorification theorem for KLR algebras in which the Grothendieck group of finitely generated graded KLR algebra modules possesses a multiplication so that there is an algebra isomorphism between K 0 (R-proj) and Uq (g) Z[q ±1 ]. However, VV algebras are closely related to KLR algebras and in fact, under certain conditions, are Morita equivalent (see [Wal]). The primary goal of this work is to show that the Grothendieck group of the category of graded VV algebra modules has a multiplication so that it is in fact an algebra. Furthermore, we construct this multiplication in such a way that it is compatible with the convolution product for KLR algebra modules so that we obtain a quantum cluster algebra. As an application of this work, we construct R-matrices between products of VV algebra modules which yield solutions to the Yang-Baxter equation and which exhibit particularly attractive properties with respect to certain simple modules. We view this work as a starting point in determining the existence of a quantum cluster algebra structure on a natural quotient of B θ (g). We begin by recalling the definitions of the KLR algebras in underlying type A and the VV algebras in Section 1. In Section 2 we recall the convolution product and R-matrices for KLR algebra modules before describing the difficulties encountered when doing this for modules over VV algebras. Building on work in [Wal] we then describe how to avoid these problems using an equivalence of categories and we illustrate this with a series of small examples. Finally, we define the normalized R-matrix for VV algebra modules and study its properties with respect to certain simple modules. We use examples throughout this work to calculate convolution products of modules and to demonstrate that our R-matrices can be calculated explicitly. In Section 3 we finish with a discussion on monoidal categorification of cluster algebras and we pose various questions surrounding VV algebras and discuss the possible directions in which this work could go. This work and the results have obvious parallels

4 4 RUARI WALKER with the type A setting, indeed the convolution product defined here is compatible with the convolution product between KLR algebra modules. Acknowledgements. I thank David Hernandez for many helpful discussions concerning this work and for taking the time to read through a draft of this paper. I also thank Loic Poulain D Andecy for his comments on an earlier version of this work. 1. Preliminaries In this paper k will denote a field with char(k) 2 and k will denote the set of non-zero elements of k. All modules will be left modules, all gradings will be Z-gradings and v will denote both a formal variable and a functor which shifts the degree by 1. So vn is a graded A-module with r th graded component (vn) r = N r 1, for N = i Z N i a graded A-module. For a ring A we write A-Mod to denote the category of A-modules and A-mod for the category of A-modules which are finite-dimensional as k-vector spaces. For a graded ring A we write A-gMod to denote the category of graded A-modules and A-gmod for the category of finite-dimensional graded A-modules. We now go on to recall the defining relations of the KLR algebras and VV algebras KLR Algebras and VV Algebras. KLR Algebras. We first recall the definition of the KLR algebras in underlying type A, which were introduced both in [KL09] and in [Rou]. The following notation and summary can be found in [Wal] for example. We start by fixing an element p k and considering the action of Z on k given by n λ = p 2n λ. Fix a Z-orbit Ĩ so Ĩ = Ĩλ = {p 2n λ n Z} is the Z-orbit of λ. We associate to Ĩλ a quiver Γ = ΓĨ. The vertices of Γ are the elements i i Ĩ we have an arrow p2 i i. We exclude the cases ±1 Ĩ and for every Ĩ and p = ±1. Now set NĨ := { ν = i Ĩ ν ii ν i Z 0 and supp( ν) < }, where supp( ν) := {i Ĩ ν i 0}. The height of ν NĨ is defined to be ν := i Ĩ ν i. For ν NĨ with ν = m, we set Ĩ ν := {i = (i 1,...,i m ) Ĩm m k=1 i k = ν}. Definition 1.1. The KLR algebra associated to ν NĨ and is the graded k-algebra generated by the elements with ν = m is denoted by R ν {x k } 1 k m {σ l } 1 l<m {e(i)} i Ĩ ν satisfying the following defining relations. (1) e(i)e(j) = δ ij e(i), σ k e(i) = e(s k i)σ k, x l e(i) = e(i)x l, (2) x r x s = x s x r for all 1 r,s m. i Ĩ ν e(i) = 1.

5 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 5 (3) σ 2 k e(i) = Q i k,i k+1 (x k+1,x k )e(i), σ j σ k = σ k σ j for j k±1, (σ k+1 σ k σ k+1 σ k σ k+1 σ k )e(i) = e(i) if l = k,i k = i k+1 (4) (σ k x l x sk (l)σ k )e(i) = e(i) if l = k +1,i k = i k+1 0 else. { Qik,i k+1 (x k+1,x k ) Q ik,i k+1 (x k+1,x k+2 ) x k x k+2 if i k = i k+2 0 if i k i k+2. The grading on R ν is given via deg(e(i)) = 0, deg(x l e(i)) = 2, { i k i k+1 + i k+1 i k if i k i k+1 deg(σ k e(i)) = 2 if i k = i k+1 where { ( 1) i j (x y) i j + j i if i j Q i,j (x,y) = 0 if i = j and where i j represents the number of arrows in Γ which have origin i and target j. When ν = 0 we put R ν = k as a graded k-algebra. We also recall some standard notation. For each w S m fix a reduced expression. Let w = s i1 s ir, where 1 i k < m for all k, be this reduced expression. We then define the element σ w by setting σ w = σ i1 σ i2 σ ir. When w = 1 is the identity in S m we have σ 1 e(i) = e(i) for all e(i). Since reduced expressions of w are not always unique σ w depends upon the choice of reduced expression of w. VV Algebras. We now recall the family of graded algebras defined by Varagnolo and Vasserot in [VV11a]. An extended version of this setup and notation can be found in [Wal]. Fix invertible elements p,q k such that p is not a power of q and vice versa. Consider the action of Z Z 2 on k given by (n,ε) λ = p 2n λ ε and fix a Z Z 2 -orbit I λ = {p 2n λ ±1 n Z}. Let I λ be the set of vertices of a quiver Γ = Γ I in which, for every i I, there is an arrow p 2 i i. Define an involution θ on Γ as follows. On vertices we have θ(i) = i 1 and on arrows we have θ(p 2 i i) = p 2 i 1 i 1, for all i I. Weagain excludethecases±1 I andp = ±1meaningthatθ hasnofixedpointsandγhasno loops (1-cycles). Now set θ NI := {ν = i I ν ii ν i Z 0,ν i = ν θ(i) i and supp(ν) < }. The height of ν θ NI is defined to be ν = i I ν i. Since we require ν i = ν θ(i) for every

6 6 RUARI WALKER i I it is always the case that ν 2Z 0. For ν θ NI, we set { m θ I ν := i = (i 1,...,i m ) I m : ν = i k + Remark 1.2. We recall here that we are able to define KLR algebras with this data. More specifically, given a Z Z 2 -orbit I λ together with the quiver Γ Iλ we can pick ν NI λ which yields a KLR algebra R ν. This is described in [Wal], Remark Definition 1.3. The VV algebra W ν associated to ν θ NI, ν = 2m is the graded k- algebra generated by elements k=1 m k=1 {x k } 1 k m {σ l } 1 l<m {e(i)} i θ I ν {π} satisfying the relations given in Definition 1.1 together with, (1) πe(i 1,...,i m ) = e(i 1 1,i 2...,i m )π, πx 1 = x 1 π, πx l = x l π if l > 1, πσ k = σ k π if k 1. x 1 e(i) i 1 = q (2) π 2 e(i) = x 1 e(i) i 1 = q 1 e(i) i 1 q ±1. (3) (σ 1 π) 2 e(i) (πσ 1 ) 2 e(i) = 0 i 1 i 1 2 or if i 1 q ±1 σ 1 e(i) i 1 = i 1 2 = q σ 1 e(i) The grading on W ν is defined as follows. i 1 = i 1 2 = q 1 i 1 k deg(e(i)) = 0, deg(x l e(i)) = 2, { 1 if i 1 = q ±1 deg(πe(i)) = 0 if i 1 q ±1, { i k i k+1 + i k+1 i k if i k i k+1 deg(σ k e(i)) = 2 if i k = i k+1. where i k i k+1 represents the number of arrows in the quiver Γ which have origin i k and target i k+1. }. When ν = 0 we put W ν = k as a graded k-algebra. We denote the support of ν = i I ν ii θ NI by supp(ν) := {i I ν i 0}. Throughout this paper we denote by Wm B the Weyl group of type B m. It has generators s 0,s 1,...,s m 1 which are subject to the relations s 2 i = 1 i, s is i+1 s i = s i+1 s i s i+1 for 1 i m 2, s 0 s 1 s 0 s 1 = s 1 s 0 s 1 s 0, s i s j = s j s i when i j > 1.

7 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 7 Finally, let us recall a k-basis of a VV algebra W ν. As with reduced expressions of elements of S m the same remarks made about KLR algebra elements apply to elements of W ν ; for each element w W B m we fix a reduced expression w = s i 1 s ir so that σ w is well-defined. We set σ 0 := π. Lemma 1.4. The following set is a k-basis for W ν, where ν θ NI and ν = 2m. {σ w x n 1 1 xnm m e(i) w WB m,i θ I ν,n k Z 0 k}. 2. Convolution Products and R-Matrices 2.1. The naive approach. In this section we recall how convolution products between modules over KLR algebras, together with R-matrices for KLR algebras, are defined and we attempt a similar construction for VV algebras. We find that in fact this initial approach does not work in general for VV algebras and we explain why this is. We start with the usual setup for VV algebras from which we can define KLR algebras, as outlined in Remark 1.2. In particular, we have an orbit I λ = I and a corresponding quiver Γ. There exists a symmetric bilinear form (, ) on NI defined by { i j j i if i j (i,j) = 2 if i = j where, as before, i j denotes the number of arrows in Γ starting at i and ending at j. Let [, ] be another symmetric bilinear form on NI defined by [i,j] = δ ij. Note then that we have deg(σ k e(i)) = (i k,i k+1 ), deg(x k e(i)) = (i k,i k ) and deg(πe(i)) = [i 1,q ±1 ]. Take α,β NI. For a graded R α -module M and a graded R β -module N the convolution product M N is the R α+β -module given by M N := R α+β e(α,β) R α R β (M N) where e(α,β) := i I α j I β e(ij) and the right-action of R α R β on R α+β e(α,β) is given via the algebra morphism φ : R α R β e(α,β)r α+β e(α,β). We now recall the construction of R-matrices for KLR algebras. For α NI, α = m and 1 k < m we let ϕ k R α be defined by { (σ k x k x k σ k )e(i) if i k = i k+1 (2.1) ϕ k e(i) = σ k e(i) if i k i k+1. These elements of the KLR algebra are called intertwiners. Furthermore we recall that, for m,n Z 0, the element w[m,n] S m+n is given by { k+n if 1 k m (2.2) w[m, n](k) = k m if m < k m+n.

8 8 RUARI WALKER Then the R-matrix R M,N : M N q (α,β) 2[α,β] N M is a homogeneous R α+β -module morphism which is obtained by extending the linear map M N q (α,β) 2[α,β] N M, u v ϕ w[n,m] (v u). Note that w[m,n] S m+n is the longest minimal length left coset representative of S m S n in S m+n. In order to work with VV algebras we must specify whether the parameters p and q lie in I. For now, and for the remainder of this paper, we fix the following setting. We assume ±p, ±q I. In particular this means deg(πe(i)) = 0 for every i θ I ν. The naive method for constructing convolution products of VV algebra modules would be to mimic the above construction, as follows. Take β,γ θ NI, with β = 2m and γ = 2n, and let M be a graded W β -module and N a graded W γ -module. Then set M N := W β+γ e(β,γ) W β W γ (M N) where e(β,γ) := i θ I β j θ I γ e(ij) and where the right-action of W β W γ on W β+γ e(β,γ) is defined in a similar way to the KLR algebra setting. However, the map φ : W β W γ e(β,γ)w β+γ e(β,γ) is an algebra morphism only when supp(β) supp(γ) = and when there are no arrows, in the underlying quiver Γ, between elements of supp(β) and supp(γ). We demonstrate this explicitly with the following example. We note that under this map φ we have e(i) πe(j) σ m σ 1 πσ 1 σ m e(ij). Example 2.1. Take β = λ+λ 1, γ = p 2 λ+p 2 λ 1 and note that there is an arrow p 2 λ λ in Γ. Consider φ : W β W γ e(β,γ)w β+γ e(β,γ). On the one hand we have But on the other hand we also have φ(e(λ) e(p 2 λ 1 )) = e(λ,p 2 λ 1 ). φ(e(λ) e(p 2 λ 1 )) = φ(e(λ) π 2 e(p 2 λ 1 )) = φ(e(λ) πe(p 2 λ))φ(e(λ) πe(p 2 λ 1 )) = σ 1 πσ 1 e(λ,p 2 λ) σ 1 πσ 1 e(λ,p 2 λ 1 ) = (x 1 +x 2 )e(λ,p 2 λ 1 ). Similarly one can show that φ is not a morphism when supp(β) supp(γ). Therefore, in general, one does not have a right-action of W β W γ on W β+γ e(β,γ) and the convolution product given above is not well-defined. In the case where one does have an algebra morphism, i.e. when supp(β) supp(γ) = and there are no arrows between supp(β) and supp(γ), φ is in fact an isomorphism ([Wal], Proposition 2.6). So, until stated otherwise, let us impose these (very strong) restrictions in order to have a well-defined product.

9 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 9 We assume both supp(β) supp(γ) = and supp(β) supp(γ) where supp(β) supp(γ) indicates that there are no arrows, in the underlying quiver Γ, between elements of supp(β) and supp(γ). In the following section we will find a method which allows us to drop these restrictions. Take β,γ θ NI, with ht(β) = 2m and ht(γ) = 2n, in such a way that there are no arrows between elements of supp(β) and supp(γ). Then the map φ : W β W γ e(β,γ)w β+γ e(β,γ) is an algebra morphism and we can define the convolution product M N as above, where M W β -mod and N W γ -mod. This product is associative. Lemma 2.2. Take M W β -Mod and N W γ -Mod. Let S m,n denote the minimal length left coset representatives of S m S n in S m+n. Then M N = w S m,n σ w (M N). Proof. From [Mak01], Proposition we know that there exist minimal length left coset representatives of thequasi-parabolicsubgroupw B m W B n in W B m+n. Denote theset consisting of these elements by W B m,n. Every x W B m+n can be written in the form x = wy, where y W B m W B n andw W B m,n. Fix suchareducedexpression for every x W B m+n. Then, since there are no arrows between supp(β) and supp(γ), we have σ x = σ w σ y. By considering the basis elements of the VV algebra W β+γ it is clear that M N has a basis consisting of elements σ w (m n), where m,n are basis elements of M,N respectively and w W B m,n. Furthermore for w,w W B m,n such that w w we have σ w e(β,γ) = e(j)σ w, σ w e(β,γ) = e(j )σ w with j j so that we obtain a direct sum. We finish by noting that W B m,n = S m,n. Remark 2.3. We note that for w S m,n, since there are no arrows between supp(β) and supp(γ), the element σ w e(β,γ) W β+γ does not depend on the choice of reduced expression of w. Following [KKK] we would like intertwining elements ϕ 0,ϕ 1,...,ϕ n 1 of VV algebras in order to define R-matrices. The intertwiners ϕ 1,...,ϕ n 1 have already been defined for KLR algebras, see (2.1), so it remains for us to define ϕ 0. For every i θ I ν we put Then we have the following Lemma. Lemma 2.4. ϕ 0 e(i) := πe(i). (1) The elements {ϕ a } 0 a<m satisfy the type B braid relations. (2) Fix a reduced expression w = s a1 s ak of w W B m and put ϕ w = ϕ a1 ϕ ak. Then ϕ w is independent of the choice of reduced expression of w. (3) For w W B m and 1 k m, we have ϕ w x k = x w(k) ϕ w (where we define x 1 l = x l ). (4) For w W B m and 1 k < m, if w(k +1) = w(k)+1 then ϕ w σ k = σ w(k) ϕ w. Proof. From [VV11a], Proposition 7.4 and Corollary 7.6 we have a polynomial representation of W ν which is faithful. The action of the {ϕ a } 0 a<m in this representation is the same

10 10 RUARI WALKER as the action of the type B Weyl group generators (possibly with a polynomial factor). It follows that, since the representation is faithful, the ϕ a satisfy the braid relations. So (1) is proved and then (2) follows immediately. In fact, (3) also follows from the faithful polynomial representation. Finally, (4) follows from the polynomial representation together with the fact that if w(k +1) = w(k)+1 then ws k = s w(k) w, for w W B m For w Wm, B the element ϕ w e(i) has degree deg(ϕ w e(i)) = ( (i a,i b )+2[i a,i b ])+ 1 a 1 a<b m w(a)>w(b) and 1 k m. w(a)<1 Since we are assuming q I we have 1 a [i a,q ±1 ] = 0 and so w(a)<1 deg(ϕ w e(i)) = ( (i a,i b )+2[i a,i b ]). 1 a<b m w(a)>w(b) [i a,q ±1 ]. For m,n Z 0 let w[m,n] be the element of S m+n defined by (2.2) so that deg(ϕ w[n,m] ) = 2[β,γ] (β,γ). LetM beaw β -modulewithht(β) = 2mandN aw γ -modulewithht(γ) = 2n. Using Lemma 2.4, we have a W β W γ -linear map M N N M given by u v ϕ w[n,m] (v u). We can make this map homogeneous by shifting the grading of N M by q (β,γ) 2[β,γ]. This can be extended to a W β+γ -module morphism R M,N : M N N M where we have omitted the degree shift. Then we obtain commutative diagrams L M N R L,M M L N L M N R M,N L N M R L,M N R L,N R L M,N R L,N M N L N L M and the maps satisfy the Yang-Baxter equation; R M,N R L,N R L,M = R L,M R L,N R M,N. Take β,γ θ NI of heights m,n respectively and let M W β -Mod, N W γ -Mod. We have the following lemma under our assumptions. Lemma 2.5. When supp(β) supp(γ) = and supp(β) supp(γ) we have the following. (i) The R-matrix R M,N : M N N M is non-zero. (ii) We always have M N = N M. Proof. We first note that the element w[n,m] is the longest minimal length left coset representative of S n S m in S n+m. Then τ(w[n,m]) is the longest minimal length left coset representative of S m S n in S m+n, where τ is the anti-involution which maps s i s i for all i. Equivalently, w[n,m] is the longest minimal length right coset representative of S m S n in S m+n. It has the form w[n,m] = s m s 2 s 1 s m+n 2 s n s n 1 s n+m 1 s n+1 s n.

11 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 11 ThenallelementsofS m,n areprefixesofτ(w[n,m]), whereaprefixofanelements i1 s in isof the form s ik s in for some k, 1 k n. We also remark that, since supp(β) supp(γ) =, we have ϕ w[n,m] = σ w[n,m] and this is independent of the choice of reduced expression of w[n,m]. Then R M,N is given by R M,N : M N N M σ w (p q) σ w σ w[n,m] (q p) where w is a prefix of τ(w[n,m]). Finally since supp(β) supp(γ) and supp(β) supp(γ) = it follows that σ w σ w[n,m] (q p) 0 and so (i) is proved. For (ii) we first note that for each w S m,n there is an element w w[n,m] = y S n,m and moreover every element in S n,m can be obtained in this way. Then we have σ w σ w[n,m] = σ y and R M,N is bijective. Lemma 2.6. Suppose supp(β) supp(γ) =, supp(β) supp(γ). If M W β -Mod and N W γ -Mod are simple modules then M N is a simple W β+γ -module. Proof. We know from Lemma 2.2 that M N = w S m,n σ w (M N). Since there are no arrows between elements of supp(β) and supp(γ) we know that for each σ w e(i), w S m,n, there exists v S m+n such that σ v σ w e(i) = e(i). As mentioned in the introduction, real simple modules will be essential if we hope to establish a quantum cluster algebra structure on Grothendieck rings of subcategories consisting of modules over VV algebras. But, since we are omitting cases when supp(β) supp(γ), the notion of a real simple module does not make sense here (since in this case we have β = γ) Examples. Here we have a collection of examples of convolution products and R- matrices, starting with a KLR algebra example before several VV algebra examples in order to make explicit the discussion thus far. Notation. When p I λ, the quiver Γ Iλ has two disjoint branches; one with vertex set I + λ = {p2k λ k Z} and the other with vertex set I λ = {p2k λ 1 k Z}. In most of the examples in this paper we will write 2k for the vertex p 2k λ I + λ and 2k for the vertex p 2k λ 1 I λ. Example 2.7 (for KLR algebras). Consider the underlying type A case. We have I = I λ and the underlying quiver Γ I is p 4 λ p 2 λ λ p 2 λ p 4 λ Following the notational comment above, we write 0 instead of λ and 4 instead of p 4 λ. Let β = λ,γ = p 4 λ NI. Let M = R β e(0)/rad(r β e(0)) R β -mod which, as a k-vector space, is 1-dimensional with basis {m = e(0)}. Let N = R γ e(4)/rad(r γ e(4)) R γ -mod which is also 1-dimensional with basis {n = e(4)}. Then, as vector spaces, one has M N = e(04)(m n),σ 1 (m n) k N M = e(40)(n m),σ 1 (n m) k.

12 12 RUARI WALKER We now compute the R-matrix R M,N : M N N M, noting that ϕ w[1,1] = ϕ 1 = σ 1 in this example. R M,N (e(04)(m n)) = σ 1 (n m) R M,N (σ 1 (m n)) = e(40)(n m). So we have ( ) 0 1 R M,N =. 1 0 Here, R M,N is invertible and M N = N M demonstrating Lemma 2.5 applied to KLR algebras. Example 2.8 (for VV algebras). We recall that we are in the setting in which the underlying quiver Γ has the form p 2 λ λ p 2 λ p 2 λ 1 λ 1 p 2 λ 1 Let us look at the type B analogue of Example 2.7 above. Namely, take β = λ + λ 1 and γ = p 4 λ+p 4 λ 1. Let M = W β e(0)/rad(w β e(0)) W β -mod. This is a simple module. As a k-vector space it has basis {e(0), πe(0)}. Similarly, let N = W γ e(4)/rad(w γ e(4)) W γ -mod. Then N is also a simple module and has k-basis {e(4),πe(4)}. Then M N is 8-dimensional with k-basis { e(e(0) e(4)) e(πe(0) e(4)) e(e(0) πe(4)) e(πe(0) πe(4)) σ 1 (e(0) e(4)) σ 1 (πe(0) e(4)) σ 1 (e(0) πe(4)) σ 1 (πe(0) πe(4)) Similarly, N M is 8-dimensional, with k-basis { e(e(4) e(0)) e(πe(4) e(0)) e(e(4) πe(0)) e(πe(4) πe(0)) σ 1 (e(4) e(0)) σ 1 (πe(4) e(0)) σ 1 (e(4) πe(0)) σ 1 (πe(4) πe(0)) Here we have ϕ w[1,1] = ϕ 1 = σ 1 and the R-matrix R M,N is given by R M,N = } }..

13 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 13 and is invertible so that M N = N M. We see that, up to a reordering of basis elements, this is just a larger version of Example 2.7 as one might expect. We look at another type B example. Example 2.9 (for VV algebras). Take β = λ+λ 1 +p 2 λ+p 2 λ 1 and γ = p 6 λ+p 6 λ 1. We use the notation from 2.2 so we write 0 instead of λ and 2 instead of p 2 λ. Let M = W β e(02)/rad(w β e(02)) W β -mod. This is a 4-dimensional simple W β -module with k-basis {e(02),πe(02),σ 1 πe(02),πσ 1 πe(02)}. Let N = W γ e(6)/rad(w γ e(6)) W γ -mod. It is a 2-dimensional simple module with basis {e(6), πe(6)}. Then one can check that both M N and N M are 24 dimensional and are in fact isomorphic Induction and Restriction. From the discussion above we see that requiring supp(β) supp(γ) = and no arrows to exist between supp(β) and supp(γ) is too strong a condition to impose. For example, the notion of a real simple module does not exist in this case. So we seek to find an alternative construction for convolution products in W-Mod. Since we have assumed p,q I we have a Morita equivalence between R ν + and W ν ([Wal], Theorem 2.10). In other words, there is an equivalence of categories R ν +-Mod W ν -Mod. Given M W β -Mod and N W γ -Mod let us redefine the convolution product by first restricting to the KLR algebra module category, performing the usual convolution product, beforereturningtothevvalgebramodulecategory, i.e.wesetm N := Ind(Res(M) Res(N)) where Res(M) Res(N) is the convolution product in the KLR algebra module category. This leads us to the following definition. Definition The convolution product of M W β -Mod, N W γ -Mod is given by M N := W β+γ e(β + γ + ) R β + R γ + (Res(M) Res(N)). For α θ NI of height 2m we write α + NI + for the positive part, which has height m. Consider the induction functor W α e ewαe ( ), where e = i I α+ e(i) is the Morita idempotent. Let us write R( ) = e for restriction, noting that this is not to be confused

14 14 RUARI WALKER with the notation for an R-matrix. One has, Ind(Res(M) Res(N)) = W β+γ e (R(M) R(N)) ewe ( = W β+γ e R β + +γ +e(β+ γ + ) ewe R β + R γ + = W β+γ ew β+γ e(β + γ + ) (R(M) R(N)) R β + R γ + = W β+γ e(β + γ + ) (R(M) R(N)). R β + R γ + ) (R(M) R(N)) We have used the fact that R β + +γ + = ew β+γ e, where e = i I β+ +γ + e(i), in the third line and have used that e is full in W β+γ for the final isomorphism. Note that this is indeed well-defined since there exists an algebra morphism which is given in the obvious way. χ : R β + R γ + e(β + γ + )W β+γ e(β + γ + ) Let D(Wm+n/(S B m S n )) denote the minimal length left coset representatives of S m S n in Wm+n. B Lemma Take β,γ θ NI with β = 2m and γ = 2n. For M W β -Mod and N W γ -Mod, M N = w D(W B m+n /(Sm Sn)) σ w (R(M) R(N)). Proof. This is clear by looking at the bases of VV algebras and KLR algebras. Lemma The convolution product for VV algebra modules is associative. Proof. This follows from the associativity of the convolution product for KLR algebra modules, shown below. We write B, A for the convolution product of VV, KLR algebra modules respectively. Furthermore, we write I for induction and R for restriction. Suppose we have α,β,γ θ NI and L W α -Mod, M W β -Mod, N W γ -Mod. (M B L) B N = I(R(M) A R(L)) B N = I(RI(R(M) A R(L)) A R(N)) = I((R(M) A R(L)) A R(N)) = I(R(M) A (R(L) A R(N))) = I(R(M) A RI(R(L) A R(N))) = M B I(R(L) A R(N)) = M B (L B N).

15 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 15 We also remark that the convolution product for VV algebra modules is, by construction, compatible with the convolution product for KLR algebra modules in the sense of the following two lemmas. Let us keep the notation from the previous lemma. Lemma Let M W α -Mod, N W β -Mod be VV algebra modules and, P R γ -Mod and Q R δ -Mod be KLR algebra modules. Then Res(M B N) = Res(M) A Res(N) Ind(P A Q) = Ind(P) B Ind(Q). Let W(n) := ν W ν where the direct sum runs over all ν θ NI with ν = 2n. Then set W := n Z 0 W(n). Similarly, put R := m Z 0 R(m) and R(m) := ν R ν where the second direct sum runs over all ν NI + such that ν = m. Corollary There is a Z[v,v 1 ]-algebra isomorphism of graded algebras K 0 (W-gmod) = K 0 (R-gmod). For α θ NI, α = 2m we put e = i I e(i). Then ew α+ α is free as a left R α +-module on a basis given by minimal length right coset representatives of S m in Wm. B It follows that Res : W α -mod R α +-mod; M em sends projective modules to projective modules. We also know that Ind : R α +-mod W α -mod; N W α e Rα + N sends projective modules to projective modules. These remarks, together with the fact that R-proj is stable under the convolution product, show that W-proj is also stable under the convolution product and hence K 0 (W-proj) is a Z[v,v 1 ]-algebra. Suppose β = 2m, γ = 2n. Let W β +,γ + denote the image of χ. We define a map R(M) R(N) N M by p q ϕ w[n,m] (q p), where ϕ w[n,m] is the element given in (2.2). By Lemma 2.4 this map is W β +,γ +-linear. Then we can extend it to a W β+γ-module morphism M N N M. These maps satisfy the commutative diagrams given in the previous subsection and satisfy the Yang-Baxter equation. Lemma Take α,β θ NI, L W α -Mod and M W β -Mod. Then Proof. On the one hand, whilst on the other hand R L,M (L B M) = I(R L,M (R(L) A R(M))). R L,M (L B M) = R L,M (W α+β e(α,β) Rα R β R(L) R(M)) = W β+α e(α,β)ϕ w[m,l] Rβ R α R(M) R(L) I(R L,M (R(L) A R(M))) = I(R L,M (R α+β e(α,β) Rα R β R(L) R(M))) = W β+α e ewe R β+α e(α,β)ϕ w[m,l] Rβ R α (R(M) R(L)) = W β+α e(α,β)ϕ w[m,l] Rβ R α (R(M) R(L)).

16 16 RUARI WALKER In the following example we compare this convolution product to our naive construction and find they are compatible. That is, the resulting products are isomorphic. Take β,γ θ NI such that supp(β) supp(γ) =, supp(β) supp(γ) and compute M N, as well as the corresponding R-matrix, using the restriction-induction method. We first do this using the data from Example 2.8. Let us again write I and R for the induction and restriction functors respectively. Example Let β = λ + λ 1, γ = p 4 λ + p 4 λ 1 and consider the corresponding VV algebras. Recall the notation from 2.2. Let M = W β e(0)/rad(w β e(0)) W β -mod. This is a simple module. As a k-vector space it has basis {e(0),πe(0)}. Then let R(M) := Res(M) R α +-mod, which has basis {e(0)}. Similarly, let N = W γ e(4)/rad(w γ e(4)) W γ -mod. Then N is also a simple module and has k-basis {e(4),πe(4)}. Then let R(N) := Res(N) R β +, which has basis {e(4)}. Now we calculate the convolution product of the KLR algebra modules; R(M) R(N) = R α + +β +e(α+ β + ) It has a basis {e(e(0) e(4)),σ 1 (e(0) e(4))}. R α + R β + (R(M) R(N)). Then, by after applying the induction functor, the convolution product of the VV algebra modules M N has basis { e(e(0) e(4)), π(e(0) e(4)), σ 1 (e(0) e(4)), σ 1 π(e(0) e(4)), πσ 1 (e(0) e(4)), Similarly, we find that N M has basis { e(e(4) e(0)), π(e(4) e(0)), σ 1 (e(4) e(0)), σ 1 π(e(4) e(0)), πσ 1 (e(4) e(0)), σ 1 πσ 1 (e(0) e(4)), πσ 1 πσ 1 (e(0) e(4)), πσ 1 π(e(0) e(4)) σ 1 πσ 1 (e(4) e(0)), πσ 1 πσ 1 (e(4) e(0)), πσ 1 π(e(4) e(0)) } }..

17 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 17 What is the corresponding R-matrix R M,N : M N N M with respect to this construction? Again, ϕ w[1,1] = ϕ 1 = σ 1. After ordering the basis in a suitable way we find R M,N = We find that this coincides with our so-called naive construction, see Example 2.8. Let us now compute examples in which there exist arrows between supp(β) and supp(γ) in Γ. Example Let β = λ+λ 1 +p 2 λ+p 2 λ 1 and let γ = λ+λ 1. Let M = W β e(02)/rad(w β e(02)) W β -mod which is 4 dimensional with basis {e(02),πe(02),σ 1 πe(02),πσ 1 πe(02)}. Then R(M) is 1 dimensional with basis {e(02)}. Let N = W γ e(0)/rad(w γ e(0)) W γ -mod. Then N has basis {e(0),πe(0)} and R(N) has basis {e(0)}. Now we can easily calculate a basis of M N, N M using Lemma Let us order the elements of D(W3 B/(S 2 S 1 )) by length. Then M N has basis e(e(02) e(0)) σ 1 σ 2 (e(02) e(0)) π(e(02) e(0)) πσ 2 (e(02) e(0))... σ 2 (e(02) e(0)) πσ 1 π(e(02) e(0)) σ 1 π(e(02) e(0)) σ 2 σ 1 π(e(02) e(0)) and is 24 dimensional in total. We calculate the image of M N under R M,N. Note that ϕ w[n,m] = ϕ 2 ϕ 1. R M,N (e(e(02) e(0))) = ϕ 2 ϕ 1 (e(0) e(02)) = σ 2 (σ 1 x 1 x 1 σ 1 )(e(0) e(02)) = σ 2 x 1 σ 1 (e(0) e(02)) = σ 2 (σ 1 x 2 e)(e(0) e(02)) = σ 2 (e(0) e(02)) = 0. But then, for any other basis element σ η (e(02) e(0)) of M N, we have R M,N (σ η (e(02) e(0))) = σ η ϕ w[n,m] (e(0) e(02)) = 0.

18 18 RUARI WALKER Then R M,N = 0 here. We resolve this problem by introducing spectral parameters and the renormalised R-matrix r M,N Spectral Parameters. For an indeterminate z, homogeneous of degree 2, we recall the algebra morphism ψ z from [KKK]. Take α NI. Then ψ z is the morphism ψ z : R α k[z] R α e(i) 1 e(i) σ k 1 σ k x l z 1+1 x l. Given L R α -Mod, we define L z := k[z] L (k[z] R α )-Mod, where the action of 1 x, for x R α, is given by multiplication by ψ z (x). We may also view L z as a R α -module. Let z be another indeterminate of degree 2, with z z, and take L R γ -Mod, for some γ NI. Then we can calculate L z L z as modules with this twisted action. For M W β -mod, we define M z := (k[z] W β e) k[z] ewβ e R(M) z (k[z] W β )-Mod where again R(M) := em, e = i I e(i) and R(M) β+ z ( ) k[z] R β -Mod. We also remark that M z may be considered as a W β -module. Considering M z as a W β -module, for M W β -mod, note that we have R(M z ) = R(M) z ; R(M z ) = ( k[z] ew β e ) k[z] ewβ e R(M) z = R(M)z. Then, (2.3) M z N z = k[z,z ] W β+γ e(β + γ + ( ) k[z] Rβ + k[z ] R γ + k[z] R(M) k[z ] R(N) ) The renormalized R-matrix r M,N : M N N M is defined as r M,N := ((z z) s R Mz,N z ) z,z =0 wheresisthelargestnon-negativeinteger suchthat(z z) s isafactoroftheimageofr Mz,N z. We can make this morphism homogeneous by shifting the grading by (β,γ)+2[β,γ]+2s. Example 2.17 continued: Let us continue with this example using spectral parameters. Consider the basis element e(1 e(02) 1 e(0)) M z N z. R Mz,N z (e(1 e(02) 1 e(0))) N z M z = (z z)σ 2 σ 1 (1 e(0) 1 e(02)) which is now non-zero. One can do similar calculations for other basis elements. Example Let us now consider a smaller example; β = λ+λ 1 and γ = p 2 λ+p 2 λ 1. Let us again take M = W β e(0)/rad(w β e(0)) W β -mod

19 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 19 which is 2 dimensional with basis {e(0), πe(0)}. Then R(M) is 1 dimensional with basis {e(0)}. Let N = W γ e(2)/rad(w γ e(2)) W γ -mod which is 2 dimensional with basis {e(2),πe(2)}. Then R(N)) is 1 dimensional with basis {e(2)}. Then M N = ( ) σ w e(0) e(2) w D N M = ( ) σ w e(2) e(0) w D where D := D(W2 B/(S 1 S 1 )) = W2 B. One finds that R M,N is given by R M,N = which is clearly not invertible. One can also check that R N,M = R M,N. We do the same but now with spectral parameters, using 2.3. One finds that the image of basis elements which were mapped to something non-zero by R M,N remain largely unchanged after introducing spectral parameters. So let us focus on the basis elements that are mapped to zero by R M,N. We have, R Mz,N z (σ 1 (1 e(0) 1 e(2))) = (z z)(1 e(2) 1 e(0)) R Mz,N z (πσ 1 (1 e(0) 1 e(2))) = (z z)π(1 e(2) 1 e(0)) R Mz,N z (σ 1 πσ 1 (1 e(0) 1 e(2))) = (z z)σ 1 π(1 e(2) 1 e(0)) R Mz,N z (πσ 1 πσ 1 (1 e(0) 1 e(2))) = (z z)πσ 1 π(1 e(2) 1 e(0)). In other words, R Mz,N z is invertible. Recall the renormalised R-matrix r M,N := ((z z) s R Mz,N z ) z,z =0, where s is the largest non-negative integer such that (z z) s is a factor of R Mz,N z (M z N z ). Since s = 0 here, we find that r M,N = R M,N in this example. Similarly, r N,M = R N,M. Consider the short exact sequence 0 ker(r M,N ) M N im(r M,N ) 0. One finds that, as a k-vector space, ker(r M,N ) = σ 1 (e(0) e(2)),πσ 1 (e(0) e(2)),σ 1 πσ 1 (e(0) e(2)),πσ 1 πσ 1 (e(0) e(2))

20 20 RUARI WALKER and is a simple W β+γ -module. We also have im(r M,N ) = σ 1 (e(2) e(0)),πσ 1 (e(2) e(0)),σ 1 πσ 1 (e(2) e(0)),πσ 1 πσ 1 (e(2) e(0)) which is also a simple W γ+β -module. Then, in the Grothendieck group, one has [M N] = [ker(r M,N )]+[im(r M,N )]. In the Grothendieck ring this is [M][N] = [ker(r M,N )]+[im(r M,N )]. Let us look at the structure of M N (the structure of N M will be similar). It has two simple subquotients, L(1) and L(2); M N : L(1) = e(0 2),π(0 2),σ 1 π(0 2),πσ 1 π(0 2) L(2) = σ 1 e(0 2),πσ 1 (0 2),σ 1 πσ 1 (0 2),πσ 1 πσ 1 (0 2). SowefindherethatM N, N M bothhave asimplesocle andasimpleheadandker(r M,N ) = soc(m N), im(r M,N ) = soc(n M). Then we have soc(n M) = hd(m N) because im(r M,N ) = soc(n M) = (M N)/ker(r M,N ) = hd(m N). We now calculate R M,M where M is the same module as above. We have M M = σw (e(0) e(0)) w W2 B. One can easily check that M M is a simple module. Hence M is real and we can check that N is also real. Since e(e(0) e(0)) ϕ 1 (e(0) e(0)) = (σ 1 x 1 x 1 σ 1 )(e(0) e(0)) = e(e(0) e(0)) we find that R M,M = r M,M = Id M M. In fact the following results show that the properties in this example can be generalised. The following two results are analogues of Lemma 3.1 and Theorem 3.2 from [KKKO15]. Lemma Suppose β k θ NI and M k W βk -mod, where k = 1,2,3. Suppose further that X M1 M 2 is a W β1 +β 2 -submodule. Y M2 M 3 is a W β2 +β 3 -submodule. such that X M 3 M 1 Y as submodules of M 1 M 2 M 3. Then there exists an W β2 -submodule N M 2 with X M 1 N and N M 3 Y. Proof. Theproof is similar to theproof of the correspondingresultin [KKKOa]. We need only note that D(Wn B 1 +n 2 /S n1 S n2 ) D(Wn B 1 +n 2 +n 3 /S n1 S n2 +n 3 ), where 2n k = ht(β k ). We now have the following theorem for VV algebras which is a replica of [KKKO15], Theorem 3.2. Theorem Suppose β,γ θ NI. Take a non-zero module M W β -mod such that r M,M kid M M and a simple module N W γ -mod. Then,

21 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 21 (i) M N and N M both have simple socles and simple heads. (ii) im(r M,N ) = soc(n M) = hd(m N) and im(r N,M ) = soc(m N) = hd(n M). (iii) M is a simple module. Proof. For the convenience of the reader we recall [KKKO15], Theorem 3.2. For half of (i) and (ii) we will prove that M N has a simple socle and that this unique simple submodule is im(r N,M ). Let S M N be any non-zero W β+γ -submodule. Let m,m be the order of zeroes of R N,Mz,R M,Mz respectively. By definition this means, r N,M = (z m R N,Mz ) z=0 : N M M N r M,M = (z m R M,Mz ) z=0 : M M M M. We have the following commutative diagram S M z z m m R S,Mz M z S M z m R N,Mz z m R M,Mz N M N M z M M z N M z M N. When we set z = 0 we obtain S M M S M r N,M kid M M N M N M M M N M M N because of the assumption r M,M = kid M M. Then we have (M r N,M )(S M) M S, i.e. S M M rn,m 1 (S). From Lemma 2.19 we know that there exists K N such that S M K and K M rn,m 1 (S). It follows that K 0 and, since N is simple, N = K. So N M r 1 N,M (S) and im(r N,M) S. But S was any non-zero submodule of M N and so im(r M,N ) is the unique non-zero simple submodule of M N. For (iii) we take N = k W 0 -mod, where k is the ground field. Then M k = M = k M and (iii) follows from (i) and (ii). Corollary Take 0 M W β -mod. Then the following are equivalent; (i) M is a real simple W β -module. (ii) r M,M kid. (iii) End W2β (M M) = kid M M. Proof. If M is a real simple module then, by definition, M M is simple and so (i) implies (iii). It is immediate that (iii) implies (ii). Finally, (ii) implies (i) using Theorem 2.20.

22 22 RUARI WALKER Corollary For β θ NI, let M be a real simple W β -module. Then, for n N, M n is a real simple W nβ -module. Proof. We have the following commutative diagram M M M r M,M M M M r M,M M r M,M M M M and, using Corollary 2.21, we have that r M,M kid M,M. Therefore r M,M M kid M 3 and similarly r M M,M kid M 3. We now repeat this to obtain r M (M M) r M (M M) = r M M,M M kid M 4. By Corollary 2.21 this implies that M M is a real simple module. Continuing inductively yields the result. 3. Quantum Cluster Algebra Structure on B θ (g) Recall that we fix a quiver Γ with vertex set I as described in 1.1. To emphasise, we repeat that we do this in such a way that ±q,±p I. Consider the k-algebra W(n) := ν W ν where the direct sum runs over all ν θ NI with ν = 2n. Then set W I := n Z 0 W(n). We will often write W instead of W I keeping in mind that we have already fixed I in the way described above. Let v be an indeterminate and write A := Z[v,v 1 ]. Let K 0 (W(n)-proj) denote the Grothendieck group of the category of finitely generated graded projective W(n)- modules and set K 0 (W-proj) := n Z 0 K 0 (W(n)-proj). We recall that K 0 (W-proj) is an A-module, where v and v 1 act by shifting the grading by 1 and 1, respectively. We now recall the algebra B θ (g), defined by Enomoto and Kashiwara, following [EK06]. Put K := Q(v). We consider I to be an indexing set for the set of simple roots of the associated Lie algebra g and we let Q be the free Z-module with basis {α i : i I}. We take a symmetric bilinear form (, ) : Q Q Z such that (α i,α i )/2 Z >0 for all i and such that (α i,α j) Z 0 when i j. As usual we have α i := 2α i /(α i,α i ). Definition 3.1. The algebra B θ (g) is the K-algebra generated by elements E i, F i and invertible elements T i, for i I, which satisfy the following relations. (1) T i T j = T j T i for all i,j I,

23 CONVOLUTION PRODUCTS AND R-MATRICES FOR KLR ALGEBRAS OF TYPE B 23 (2) T θ(i) = T i for all i I, (3) T i E j Ti 1 = v (α i+α θ(i),α j ) E j and T i F j Ti 1 = v (α i+α θ(i), α j ) F j for all i,j I, (4) E i F j = v (α i,α j ) F j E i +δ i,j +δ θ(i),j T i for all i,j I, (5) the E i and the F i satisfy the Serre relations; for all i j I, b ( 1) k E (k) i E j E (b k) i = 0, k=0 where b = 1 (α i,α j) and E (k) i = E k i /[k] i!, F (k) i b ( 1) k F (k) i F j F (b k) i = 0, k=0 = F k i /[k] i!, [k] i = (v k i v k i )/(v i v 1 i ), [k] i! = [1] i [k] i. Note that B θ (g) = U v (g) K[T ±1 i ;i I] U + v (g). Now let λ P +, where P + := {λ Hom(Q,Q) α i,λ Z 0 for any i I}, be a dominant integral weight such that θ(λ) = λ. Enomoto and Kashiwara showed that B θ (g) has a simple highest weight module V θ (λ), with highest weight vector φ λ associated to the highest weight λ, which is unique up to isomorphism. That is, E i φ λ = 0, for all i I, and T i φ λ = v (α i,λ) φ λ, for all i I. In our fixed setting (±p,±q I) note that we have either g = gl gl or g = A (1) r A (1) r, depending on whether or not p is a primitive root of unity. Furthermore, we consider the case λ = 0 and we have (α i,α j ) = { i j j i if i j 2 if i = j where, as before, i j denotes the number of arrows in Γ which have origin i and target j. Remark 3.2. Since V θ (0) is a simple B θ (g)-module there is an isomorphism of left modules V θ (0) = B θ (g)/m where m is a maximal left ideal in B θ (g). Let us denote B θ (g) := B θ (g)/m. Varagnolo and Vasserot [VV11a] proved, in full generality, that K A K 0 (W-proj) is a left B θ (g)-module and that there is a B θ (g)-module isomorphism K A K 0 (W-proj) = V θ (λ). Furthermore, K A K 0 (W-proj) has an A-basis in which basis elements correspond to isomorphism classes of certain simple graded W-modules. Since there exists Morita equivalence between VV algebras and KLR algebras in our fixed setting it follows that the basis elements are in correspondence with certain simple graded R-modules, where R := R(m), R(m) := R ν. m Z 0 ν The second direct sum runs over all ν NI + such that ν = m. We have shown that W-proj is closed under our newly-defined convolution product so that K A K 0 (W-proj), and hence B θ (g), is a Q(v)-algebra. We conjecture that K A K 0 (W-proj) is a quantum cluster algebra.

24 24 RUARI WALKER Conjecture 3.3. In the fixed setting described above K A K 0 (W-proj), and hence B θ (g), has the structure of a quantum cluster algebra. In[KKKOa], [KKKOb] theauthorsshowthat C w isamonoidal categorification of A v (n(w)) as a quantum cluster algebra, where C w is a certain subcategory of R-gmod labelled by w W (here W denotes the corresponding Weyl group). This means there exists a set of simple modules {M k } k J in C w, labelled by a finite index set J = J fr J ex which has frozen and exchangeable parts, together with a J J skew-symmetric matrix L and a J J ex matrix B, with a skew-symmetric principal part, which both have entries in Z and which satisfy certain conditions. This data is called a quantum monoidal seed in C w and will correspond to the initial seed of the quantum cluster algebra. Furthermore, we can mutate in direction k J ex ; we replace M k with a simple module M k which fits into two certain short exact sequences, using R-matrices, so that when we view the Grothendieck group we have a quantum cluster algebra type relation. We also replace L, B with matrices µk (L), µ k ( B) respectively. Moreover we are able to mutate repeatedly in every direction k J ex and there is an algebra isomorphism Z[v ±1 2] Z[v ±1 ]K 0 (C w ) = A v (n(w)). In particular the Grothendieck ring of C w has a quantum cluster algebra structure. They show that the simple modules in the quantum monoidal seed are given by certain modules called determinantial modules. They define the determinantial modules to be the simple modules corresponding to the quantum unipotent minors under the isomorphism K 0 (C w ) = A v (n(w)) Z[v ±1 ]. By the work of Geiß-Leclerc-Schröer [GLS13] the quantum unipotent minors are the cluster variables in the initial seed of the algebra A v (n(w)) and lie in the upper global basis. In this paper we have shown that the Grothendieck group of the category of finitely generated graded W-modules has a Z[v,v 1 ]-algebra structure which is compatible with the algebra structure on the Grothendieck group of the category of finitely generated graded R-modules. In other words, we have the following algebra isomorphsims K 0 (W-gmod) = K 0 (R-gmod) = A v (n) Z[v ±1 ]. Consequently, there exist certain subcategories of W-gmod which yield monoidal categorifications of the subalgebras A v (n(w)) Z[v ±1 ], as quantum cluster algebras. In particular, the Grothendieck group of Cw B has a quantum cluster algebra structure, where CB w is the full subcategory of W-gmod consisting of modules induced from C w, and there is an algebra isomorphism K 0 (Cw B ) = K 0 (C w ). Note that Cw B is closed under the convolution product; for M = Ind(P), N = Ind(Q) Cw B, where P,Q C w, we have M N = Ind(P) Ind(Q) = Ind(P Q), and indeed P Q C w since C w is closed under the convolution product. We claim that a quantum monoidal seed in K 0 (Cw B ) is precisely that induced from K 0 (C w ). We end this subsection with an example to demonstrate how the mutation process should take place in the category of VV algebra modules.