arxiv: v1 [math.qa] 13 Jun 2014

Transcription

1 Affine ceuarity of affine Brauer agebras Weideng Cui Abstract arxiv: v1 [math.qa] 13 Jun 2014 We show that the affine Brauer agebras are affine ceuar agebras in the sense of Koenig and Xi. Keywords: Brauer agebras; Coored Brauer diagrams; Affine Brauer agebras; Affine ceuar agebras 1 Introduction In order to approach the fundamenta probem of cassifying the irreducibe representations of a given finite-dimensiona agebra, the concept of ceuarity, defined by Graham and Lehrer in [GL], has proven extremey usefu. Exampes of ceuar agebras incude many finite-dimensiona Hecke agebras. Recenty, Koenig and Xi in [KX3] has generaized this concept to agebras over a noetherian domain k of not necessariy finite dimension, by introducing the notion of an affine ceuar agebra. The most important cass of exampes of affine ceuar agebras, which has been discussed in [KX2], is given by the extended affine Hecke agebras of type A. Recenty, Guihot and Miemietz have proved that affine Hecke agebras of rank two with generic parameters are affine ceuar in [GuM]; Keshchev and Loubert have proved that KLR agebras of finite type are affine ceuar in [KL]. In [C1] and [C2], we have shown that the BLN-agebras which have been introduced by McGerty in [Mc], and the affine q-schur agebras which have been defined by Lusztig in [L], are affine ceuar agebras. The Brauer agebra is introduced as an enargement of the symmetric group agebra and is in Schur-Wey duaity with the orthogona or sympectic group. The BMW agebra, which is introduced in [BW] and [Mu], can be considered as a deformation of the Brauer agebra by repacing the symmetric groups by their Hecke agebras. In [MW], they have constructed a basis of the BMW agebra, which is indexed by Brauer n-diagrams. In [Xi], using this basis, he has shown that the basis is in fact a ceuar basis and thus the BMW agebra is ceuar (see aso [E]). 1

2 The cycotomic Brauer agebra is a corresponding enargement of the compex refection group agebra of type G(m,1,n). This has been introduced by Häring-Odenburg in [HO] as a speciaization of the cycotomic BMW agebra, and has been studied by various authors (see for exampe [RY, RX, BCV]). In [RY], they have given a ceuar basis of the cycotomic Brauer agebra and thus it is ceuar (see aso [BCV]). The affine Brauer agebra has been introduced by Häring-Odenburg in [HO] as a speciaization of the affine BMW agebra, and has been studied in [GH]. In [GH], they have introduced the coored Brauer n-diagrams, using which they have defined the affine Brauer agebra. In the subsequent papers[gm]and[g],theyhaveconstructedsevera basesoftheaffinebmw agebras which are a indexed by the coored Brauer n-diagrams. In this note, We wi show that the affine Brauer agebras are affine ceuar agebras in the sense of Koenig and Xi. Our proof reies on the fact that the group agebra of the extended affine Wey group of type A is an affine ceuar agebra over Z. The organization of this note is as foows. In Section 2, we introduce affine ceuar agebras. In Section 3, we wi reca the definitions of Brauer agebras and affine Brauer agebras. In Section 4, we prove our main resut Theorem Affine ceuar agebras Let k be a noetherian domain. For a k-agebra A, a k-inear antiautomorphism i of A satisfying i 2 = id A wi be caed a k-invoution on A. For two k-modues V and W, we denote by τ the map V W W V given by τ(v w) = w v. If B = k[x 1,...,x t ]/I for some idea I in a poynomia ring in finitey many variabes x 1,...,x t over k, then B is caed an affine k-agebra. Definition 2.1. (see [KX3, Definition 2.1]) Let A be a unitary k-agebra with a k-invoution i. A two-sided idea J in A is caed an affine ce idea if and ony if the foowing data are given and the foowing conditions are satisfied: (1) We have i(j) = J. (2) There exist a free k-modue of finite rank and an affine k-agebra B with a k-invoution σ such that := V k B is an A-B-bimodue, where the right B-modue structure is induced by the right reguar B-modue B B. (3) There is an A-A-bimodue isomorphism α : J B, where = B k V is a B-A-bimodue with the eft B-modue induced by the eft reguar B-modue B B and with the right A-modue structure defined by (b v)a := τ(i(a)(v b)) for a A, b B and v V, such that the 2

3 foowing diagram is commutative:. α j B i J α B v b B b w w σ(b ) B σ(b) v The agebra A together with its k-invoution i is caed affine ceuar if and ony if there is a k-modue decomposition A = J 1 J 2 J n (for some n) with i(j ) = J for 1 n, such that, setting J m := m =1 J, we have a chain of two-sided ideas of A: 0 = J 0 J 1 J 2 J n = A, where each J m = J m/j m 1 (1 m n) is an affine ce idea of A/J m 1 (with respect to the invoution induced by i on the quotient). To prove that an agebra is affine ceuar, one canonica way is to use the definitions. The foowing emma, which can be regarded as an affine version of the iterated infation deveoped in [KX1] and [KX2], provides another possibiity to verify the affine ceuarity of a given agebra, and describes aso the structures of a genera affine ceuar agebra. Lemma 2.1. Let k be a noetherian domain, A a unitary k-agebra with a k-invoution i. Suppose that there is a decomposition A = m V j k V j k B j j=1 (direct sums of k modues) where V j is a free k-modue of finite rank and B j is an affine ceuar agebra with respect to an invoution σ j and a ce chain J (j) 1 J (j) 2 J s (j) j = B j for each j. Define J t = t j=1 V j k V j k B j. Assume that the restriction of i on V j k V j k B j is given by w v b v w σ j (b). If for each j there is a biinear form φ j : V j k V j B j such that σ j (φ j (w,v)) = φ j (v,w) for a w,v V j and that the mutipication of two eements in V j k V j k B j is governed by φ j moduo J j 1, that is, for x,y,u,v V j and b,c B j, we have (x y b)(u v c) = x v bφ j (y,u)c moduo the idea J j 1, and if V j V j J (j) +J j 1 is an idea in A for a and j, then A is an affine ceuar agebra. Proof. Since J (j) 1 J (j) 2 J (j) s j = B j, j = 1,2,...,m is a ce chain for the given affine ceuar agebra B j, we can check that the foowing chain of ideas in A satisfies a conditions in Definition 2.1: V 1 V 1 J (1) 1 V 1 V 1 J s (1) 1 V 1 V 1 B 1 V 2 V 2 J (2) 1 V 1 V 1 B 1 V 2 V 2 J (2) 2 V 1 V 1 B 1 V 2 V 2 B 2 m 1 j=1 V j V j B j V m V m J (m) 1 m 1 j=1 V j V j B j V m V m J s (m) m = A. 3

4 In fact, we take a fixed non-zero eement v j V j and suppose that α : J (j) t (V (j) t B (j) t ) (j) B (B (j) t V (j) t ) is the B j -bimodue isomorphism t in the definition of the affine ce idea J (j) t for the affine ceuar agebra B j. Define β : V j V j J (j) t u v x where u,v V j, x J (j) t (V j v j V (j) t B (j) t ) (j) B (B (j) t V j v j V (j) t ) t (u v j x (1) b (1) ) (b (2) v v j x (2) ), and α(x) = (x(1) b (1) ) (b (2) x (2) ). Then one can verify that β is an A-bimodue isomorphism and makes the corresponding diagram in the definition of affine ce ideas commutative. Here V j V j J (j) t is an affine ce idea in the corresponding quotient of A. Thus A is an affine ceuar agebra. 3 Brauer agebras and Affine Brauer agebras 3.1 Brauer agebras In this subsection, we reca the definition of Brauer agebras and introduce some notations for the ater use. Let n N, and et Z[δ] be the poynomia ring in one variabe δ over the integers. The Brauer agebra B Z[δ] (n,δ), or written briefy B(n,δ), has as Z[δ]- inear basis the set of a partitions of the set S = {1,2,...,n,1,2,...,n } into two-eement subsets (here the cardinaity of S is 2n). As usua we sha represent the basis eement by a diagram in a rectange of the pane, where the top row has n vertices marked by 1,2,...,n from eft to right; and the bottom row is numbered by 1,2,...,n from eft to right. If i and j are in the same subset, we draw a ine between i and j. We ca the corresponding diagram a Brauer n-diagram and denote by B n the set of a Brauer n-diagrams. The mutipication in the Brauer agebra B(n, δ) is just the concatenation of two diagrams with a coefficient counting the number of cyces produced by forming the concatenation. Let D 1 and D 2 be two Brauer n-diagrams, we can compose D 1 and D 2 to get another Brauer n-diagram D 1 D 2 by repacing D 1 and D 2 and joining the corresponding points; interior oops are deeted. Let r denote the number of deeted oops, then we define D 1 D 2 = δ r D 1 D 2. We define anorder ons by 1 < 2 < < n,n < (n 1) < < 2 < 1, and i < j for a 1 i,j n. For d B n, we write t(d) for the number of through strings, that is, vertica ines which connect a top vertex with a bottom vertex. 4

5 Generay, given an arbitrary ring R with identity and an eement δ R, we can define the Brauer agebra B R (n,δ) over R by using the Brauer n- diagrams as R-basis. The foowing resut is we-known in [GL]; see aso [KX2]. Theorem 3.1. The Brauer agebra B R (n,δ) is ceuar for any ring R and δ R. 3.2 Affine Brauer agebras In this subsection, we wi reca the definition of the affine Brauer agebras given in [GH], which can be considered as a sort of wreath product of Z with the Brauer agebras. We define a coored Brauer n-diagram, which is a Brauer diagram in which each strand is endowed with an orientation and abeed by an eement of the group Z. We denote by B n the set of a coored Brauer n-diagrams. Two abeings are regarded as the same if the orientation of a strand is reversed and the group eement associated to the strand is inverted. Note that we ony consider these diagrams without cosed oops inside the frame. Given n N, et R = Z[δ 0,δ 1,...] be the ring with infinite variabes δ 0,δ 1,... over the integers. We now define the affine Brauer agebra B n,r over R. As a vector space, Bn,R is the R-span of a coored Brauer n- diagrams. We define the product x y of two coored Brauer n-diagrams x and y using the concatenation of x above y, where we identify the bottom nodesof xandthetopnodesofy.more precisey, we first choose compatibe orientations of the strands of x and y. Then we concatenate the diagrams and add the abes on each strand of the new diagram. Any cosed oop in this new diagram can be oriented such that as the strand passes through the eftmost centra node in the oop it points downwards. If this oriented oop is abeed by ±i for some i N, then the diagram is set to be equa to δ i times the same diagram with the oop moved. Let z be the coored Brauer n-diagram obtained by removing a the cosed oops, and et m i be the number of deeted oops with abes ±i for each i {0,1,2,...}, then we define x y = (δ m 0 0 δ m 1 1 δ m 2 2 )c. The affine Brauer agebra B n,r has an expicit presentation as foows. It can aso be defined as the R-agebra generated by {s i,e i,t j 1 i n 1, and 1 j n} subject to the foowing reations: (a) s 2 i = 1, for 1 i n 1. (b) s is j = s j s i, if i j > 1. (c) s i s i+1 s i = s i+1 s i s i+1, for 1 i < n 1. (d) s i t j = t j s i, if j i,i+1. (e) s i e j = e j s i, if i j > 1. (f) e i e j = e j e i, if i j > 1. (g) e i t j = t j e i, if j i,i+1. (h) t i t j = t j t i, for 1 i,j n. (i) s i t i = t i+1 s i, for 1 i < n. 5

6 (j) e i s i = e i = s i e i, for 1 i n 1. (k) s i e i+1 e i = s i+1 e i, for 1 i n 2. () e i+1 e i s i+1 = e i+1 s i, for 1 i n 2. (m)e i e j e i = e i, if i j = 1. (n) e i t i t i+1 = e i = t i t i+1 e i, for 1 i n 1. (o) e i t a ie i = δ a e i, for a 0 and 1 i n 1. One can prove that the two definitions of Bn,R are equivaent by the arguments simiar to those for BMW agebras in [MW]. 4 Affine ceuarity of affine Brauer agebras In this section, we wi show that B n,r is an affine ceuar agebra. Definition 4.1. Suppose that n,k N. An fat (n,k)-dange is a partition of {1,2,...,n} into k one-eement subsets, and (n k)/2 two-eement subsets, here k must be a natura number in {n,n 2,n 4,...}. An (n,k)- dange is a fat (n,k)-dange to which an integer r Z has been assigned to every subset of size 2. We can represent a fat (n,k)-dange d by a set of n nodes abeed by the set {1,2,...,n}, where there is an arc joining i to j if {i,j} d, and there is a vertica ine starting from i if {i} d. An (n,k)-dange can be represented graphicay by first abeing each arc of the underying (n, k)- dange and then giving it the foowing orientation: we et a one-eement sets have a downward orientation and a two-eement sets have a right orientation. We denote by D(n,k) the set of a (n,k)-danges, and et V(n,k) denote the vector space spanned by a (n,k)-danges. We aso define V (n,k) be a copy of V(n,k), but draw the pictures danging upward rather than down, and abe the vertices by 1,2,...,n. For each eement d D(n,k) V(n,k), et d V (n,k) be the corresponding eement. For each k N, we denote by A k the group agebra of the wreath product of Z and the symmetric group Σ k. Lemma 4.1. For each eement d B n, we can write d uniquey as an eement in V(n,k) R V (n,k) R A k for some k N. Proof. Suppose that there are k vertica ines in d B n. Then we have two (n,k)-danges d 1,d 2 (by cutting off a vertica ines) and aneement d A k. These data (d 1,d 2, d) are uniquey determined by d, where d is obtained in the foowing way: we can easiy get a permutation π(d) Σ k, if we aso consider the abes on the k vertica ines then we get an eement of A k, which is just d. Thus we can write d as d 1 d 2 d. Ceary, if we are given d 1,d 2 D(n,k), and d A k, we have a unique eement d B n with the data (d 1,d 2, d). 6

7 Now we want to define an R-inear form ϕ k from V (n,k) R V(n,k) to A k. Given two basis eements d 1 V (n,k),d 2 V(n,k). Then by Lemma 4.1, we can form the eement X j := d j d j 1 in V(n,k) R V (n,k) R A k for j = 1,2. Suppose that the product X 1 X 2 is expressed as an R-inear combinationofthebasiseementsin{d d B n },say j f jc j,wheref j R. It is cear from the mutipication in B n,r that this expression of X 1 X 2 can be written as f i c i + a with t(c i ) = k and a in the R-spanning of those basis eements c with t(c) < k. Now we rewrite c i as the form c i,1 c i,2 c i. Moreover, for those c i with t(c i ) = k, we know from the concatenation of two tanges that they areof the formd 1 d 2 c i. Here X 1 X 2 can bewritten as d 1 d 2 f i c i +a. Now we can define ϕ k (d 1,d 2 ): = i f i c i A k. Now we define J k to be the R-modue generated by basis eements d with t(d) k. It is cear that J k J k+1 and J k is an idea in B n,r for a k. Lemma 4.2. If c = c 1 c 2 c and d = d 1 d 2 d with c 1,d 1 V(n,k), c 2,d 2 V (n,k) and c, d A k, then c d = c 1 d 2 cϕ k(c 2,d 1) d (mod J k 2 ). Proof. We may consider c 2 as a (k,n)-dange, and we now consider the concatenation of the two tanges c 2 and d 1, this gives us a (k,k)-dange T. If we write this tange T as a inear combination of the basis eements {x x B k }, then we see that T = I k I k ϕ k (c 2,d 1)+a, where ϕ k (c 2,d 1) is the biinear form defined as above, a J k 2 and I k = id k is the (k,k)- dange with k vertica strands. So the product c d is formed by a series of concatenations: c 1 c c 2 d 1 d d 2.Thus we have c d = c 1 c ϕ k (c 2,d 1 ) d d 2+a with a J k 2. This impies that This proved the emma. c d c 1 d 2 cϕ k (c 2,d 1 ) d (mod J k 2 ). By Lemma 4.1, we have an R-modue decomposition: Bn,R = V(n,n) V (n,n) A n V(n,n 2) V (n,n 2) A n 2 V(n,n 4) V (n,n 4) A n 4 V(n,ε) V (n,ε) A ε, where ε is zero if n is even, and 1 if n is odd. The foowing emma tes us how to get an idea in B n,r from an idea in the group agebras. Lemma 4.3. Let I be an idea in A k. Then J k 2 +V(n,k) V (n,k) I is an idea in B n,r. Proof. To prove the emma, it is sufficient to show that for each d = d 1 d 2 d with d B n and t(d) = > k, and c = c 1 c 2 c with c B n and t(c) = k, the foowing property hods: (d 1 d 2 d)(c 1 c 2 c) b c 2 a c (mod J k 2 ) for some b V(n,k); and the eement a is an eement in A k which is independent of c. This property foows again by considering the composition of 7

8 tanges as in the proof of Lemma 4.2. In fact, the concatenation d 1 d d 2 c 1 is an (n,m)-tange with m k. If m < k, then the composition of d and c is in J k 2, so we are done. Suppose that m = k, then this concatenation d 1 d d 2 c 1 is of the form b a + a, where a is a inear combination of (n,j)-tanges with j < k. If we concatenate this further with c c 2, then we get the desired statement. It is we-known how to define an invoution i on B n,r : i is given by refection of a diagram through its horizonta axis. Note aso that there is an invoution σ on A n defined by σ(w) = w 1 for any w W, where W is the extended affine Wey group of type A n 1. The foowing emma easiy foows from the fact that the extended affine Hecke agebra of type A is affine ceuar as is shown in [KX3] and from [KX3, Lemma 2.4]. Lemma 4.4. The group agebra A n over Z is an affine ceuar Z-agebra with respect to the invoution σ. The foowing emma describes the effect of i on an basis eement of B n,r and σ on the biinear form ϕ k, whose proof can be seen from the definition of i and the tange concatenations. Lemma 4.5. (1) If d = d 1 d 2 d, then i(d) = d 2 d 1 σ( d). (2) The invoution σ on A k and the biinear form ϕ k have the foowing property: σϕ k (c,d) = ϕ k (d,c) for a c,d D(n,k). Combined with Lemma 2.1, 4.2, 4.3, 4.4 and 4.5, we have proved the main resut of this note. Theorem 4.1. The affine Brauer agebra B n,r over a noetherian domain R is an affine ceuar agebra with respect to the invoution i. Let now A be an affine ceuar agebra with a ce chain 0 = J 0 J 1 J 2 J n = A, such that each subquotient J i /J i 1 is an affine ce idea of A/J i 1. Then J i /J i 1 is isomorphic to A(V i,b i,ϕ i ) for some free k-modue V i of finite rank, an affine k-agebra B i and a k-biinear form ϕ i : V i k V i B i. Let (ϕ i st) be the matrix representing the biinear form ϕ i with respect to some choices of basis of V i. Then Koenig and Xi obtain a parameterisation of simpe modues over an affine ceuar agebra by estabishing a bijection between isomorphism casses of simpe A-modues and the set {(j,m) 1 j n,m MaxSpec(B j ) such that some ϕ i st / m}, where MaxSpec(B j ) denotes the maxima idea spectrum of B j. 8

9 References [BCV] C. Bowman, A.G. Cox and M.De. Visscher, Decomposition numbers for the cycotomic Brauer agebras in characteristic zero, J. Agebra. 378 (2013), [BW] J.S. Birman and H. Wenz, Braids, ink poynomias and a new agebra, Trans. Amer. Math. Soc. 313 (1989), [C1] W. Cui, Affine ceuarity of BLN-agebras, preprint. [C2] W. Cui, Affine ceuarity of affine q-schur agebras, preprint. [E] J. Enyang, Ceuar bases for the Brauer and Birman-Murakami-Wenz agebras, J. Agebra. 281 (2004), [G] F.M. Goodman, Ceuarity of cycotomic Birman-Wenz-Murakami agebras, J. Agebra. 321 (2009), [GH] F.M. Goodman and H. Hauschid, Affine Birman-Wenz-Murakami agebras and tanges in the soid torus, Fund. Math. 190 (2006), [GL] J.J. Graham and G.I. Lehrer, Ceuar agebras, Invent. Math. 123 (1996), [GM] F.M. Goodman and H.H. Mosey, Cycotomic Birman-Wenz- Murakami agebras I: Freeness and reaization as tange agebras, J. Knot Theory Ramifications. 18 (2009), [GuM] J. Guihot and V. Miemietz, Affine ceuarity of affine Hecke agebras of rank two, Math. Z. 271 (2012), [HO] R. Häring-Odenburg, Cycotomic Birman-Murakami-Wenz agebras, J. Pure App. Agebra. 161 (2001), [KL] A. Keshchev and J. Loubert, Affine ceuarity of Khovanov-Lauda- Rouquier agebras of finite types, [KX1] S. Koenig and C. Xi, Ceuar agebras: Infations and Morita equivaences, J. Lond. Math. Soc. 60 (1999), [KX2] S. Koenig and C. Xi, A characteristic free approach to Brauer agebras, Trans. Amer. Math. Soc. 353 (2001), [KX3] S. Koenig and C. Xi, Affine ceuar agebras, Adv. Math. 229(2012), [L] G.Lusztig, Aperiodicityinquantumaffineg n, Asian.J.Math, 3(1999), [Mc] K. McGerty, Generaized q-schur agebras and quantum Frobenius, Adv. Math. 214 (2007), [Mu] J. Murakami, The Kauffman poynomia of inks and representation theory, Osaka J. Math. 24 (1987),

10 [MW] H. Morton and A. Wassermann, A basis for the Birman-Wenz agebra, unpubished manuscript, 1989, revised 2000, [RX] H. Rui and J. Xu, On the semisimpicity of the cycotomic Brauer agebras II, J. Agebra. 312 (2007), [RY] H. Rui and W. Yu, On the semisimpicity of the cycotomic Brauer agebras, J. Agebra. 277 (2004), [Xi] C. Xi, On the quasi-heredity of Birman-Wenz agebras, Adv. Math. 154 (2000), Mathematica Sciences Center, Tsinghua University, Jin Chun Yuan West Buiding Beijing, , P. R. China. E-mai address: cwdeng@amss.ac.cn 10