Bulletin of the Iranian Mathematical Society Vol. 35 No. 1 (2009), pp 211-219. FIRST ORDER COHOMOLOGY OF l 1 -MUNN ALGEBRAS AND CERTAIN SEMIGROUP ALGEBRAS B. SHOJAEE, G. H. ESSLAMZADEH* AND A. POURABBAS Communicated by Fereidoun Ghahramani Abstract. We characterize cycc and weakly amenable l 1 -Munn algebras. In the special case of Rees matrix semigroups, we obtain a new proof of the following result due to Blackmore: The semigroup algebra of every Rees matrix semigroup is weakly amenable. Characterizations of Connes-amenable l 1 -Munn algebras with square sandwich matrix and semigroup algebras of Rees matrix semigroups are also provided. 1. Introduction Cohomology of Banach algebras has received extensive study since the major exposition of Hochschild cohomology theory for Banach algebras by B. E. Johnson[15], with emphasis on the first order cohomology groups. Let A be a Banach algebra. Vanishing of the first cohomology groups H 1 (A, X) for certain classes of Banach A-modules X has been given different names, depending on the class of Banach A-modules under investigation among which are cycc, weak and Connes-amenabity. The reader may see [1,2,4,14,15,16,18] for more information. Here, we consider these notions for l 1 -Munn algebras and semigroup algebras of Rees matrix semigroups. MSC(2000): Primary: 43A20 ; Secondary: 46H25 Keywords: Rees matrix semigroup, l 1 -Munn algebra, weakly amenable, Connes-amenable. Received: 9 October 2007. Accepted: 24 September 2008 Corresponding author c 2009 Iranian Mathematical Society. 211
212 Shojaee, Esslamzadeh and Pourabbas Blackmore showed that the semigroup algebra of every Rees matrix semigroup is weakly amenable [3]. Bowng and Duncan [4] considered weak and cycc amenabity of the convolution algebras of Rees matrix semigroups and gave another proof of Blackmore s result. As shown in [9], these convolution algebras are certain types of l 1 Munn algebras, whose introduction in [9], was motivated by two open problems in [8]. Some of the properties and the structure of these algebras have been studied in [9-11]. In Sections 2 and 3 we study weak and cycc amenable l 1 -Munn algebras and semigroup algebras of Rees matrix semigroups. Our results involve Bowng and Duncan s result. Connes-amenabity has been proved an appropriate version of amenabity for dual Banach algebras. For more information on this subject, see [18]. In the last section we consider Connes amenabity of l 1 -Munn algebras and semigroup algebras of Rees matrix semigroups. Before proceeding further we set up our notations. Let G be a group, I and J be arbitrary nonempty sets, and G 0 = G {0}. An I J matrix A over G 0 that has at most one nonzero entry a = A(i, j) is called a Rees I J matrix over G 0 and is denoted by (a) ij. Let P be a J I matrix over G. The set S = G I J with the composition (a, i, j) (b, l, k) = (ap jl b, i, k), (a, i, j), (b, l, k) S, is a semigroup that we denote by M(G, p). Similarly, if P is a J I matrix over G 0, then S = G I J {0} is a semigroup under the following composition operation which is denoted by M 0 (G, P ): (a, i, j) (b, l, k) = { (apjl b, i, k), if p jl 0 0 if p jl = 0, (a, i, j) 0 = 0 (a, i, j) = 0 0 = 0. M 0 (G, P ) is isomorphic to the semigroup of all Rees I J matrices over G 0 with binary operation A B = AP B. M 0 (G, P ) [resp. M(G, P )] is called the Rees I J matrix semigroup over G 0 [resp. G] with sandwich matrix P. Throughout, A is a Banach algebra and A module means Banach A- bimodule. An A-bimodule X is called dual if there is a closed submodule X of X such that X = (X ). A is called dual if it is dual as a Banach A-bimodule. Let A be a dual Banach algebra and X be a dual A- bimodule. If for each x X the maps a a.x and a x.a from A into X are ω ω continuous, then X is called a normal A-bimodule.
First order cohomology of l 1 -Munn algebras 213 Let X be an A module. We will denote the set of all bounded [resp. inner] derivations from A into X by Z 1 (A, X) [resp. B 1 (A, X)]. Also, set H 1 (A, X) = Z 1 (A, X)/B 1 (A, X). A bounded derivation D : A A is called cycc if Da, b + Db, a = 0, for all a, b A. The set of all cycc derivations is denoted by Zλ 1(A, A ) and Zλ 1(A, A )/B 1 (A, A ) by Hλ 1(A, A ). A is called weakly amenable [resp. cycc amenable] if H 1 (A, A ) = 0 [resp. Hλ 1(A, A )]. A dual Banach algebra A is called Connes-amenable if for every normal dual Banach A-bimodule X, every bounded ω ω continuous derivation from A into X is inner. Suppose A is unital, I and J are arbitrary index sets and P is a J I matrix over A such that all of its nonzero entries are invertible and P 1. The space l 1 (I J, A) with product X Y = XP Y is a Banach algebra which we call the l 1 -Munn algebra over A with sandwich matrix P and we denote it with LM(A, P ). As shown in [9], Proposition 5.6, semigroup algebras of Rees matrix semigroups are concrete examples of l 1 -Munn algebras. 2. Weak and cycc amenabity of l 1 -Munn algebras Throughout this section, we assume A is unital. Theorem 2.1. If A is cycc amenable, then so is LM(A, P ). Proof. Suppose α J, β I are such that P αβ 0 and q = P 1 αβ. Let D : LM(A, P ) LM(A, P ) be a bounded cycc derivation and define D by: D : A A, Da, b = D(qaε βα ), qbε βα, a, b A. Clearly D is a bounded near map. Let a, b, c A. Then, D(ab), c = D(qaε βα qbε βα ), qcε βα = D(qaε βα ), qbε βα qcε βα + D(qbε βα ), qcε βα qaε βα = D(qaε βα ), qbcε βα + D(qbε βα ), qcaε βα = Da, bc + Db, ca = Da.b + a. Db, c. On the other hand, by assumption we have, Da, b + Db, a = D(qaε βα ), qbε βα + D(qb βα ), qaε βα = 0.
214 Shojaee, Esslamzadeh and Pourabbas So, D is a bounded cycc derivation. Let ψ A be such that D(a) = a. ψ ψ.a, (a A). Define, ψ(aε ij ) = ψ(p ji a) + D(qε βj ), aε iα, i I, j J, a A. It is easy to see that ψ LM(A, P ). Let S = aε ij T = bε kl be nonzero elements in LM(A, P ), U = qε βj, V = qε βl, X = aε iα and Y = qp jk bε βα. Then, S = X U and U T = Y V. So, D(X), U T = D(Y V ), X = D(Y ), V X D(V ), X Y (2.1) = D(V X), Y D(V ), X Y. But, D(V X), Y = D(qp aε βα ), qp jk bε βα = D(p a), p jk b = (p a). ψ ψ.(p a), p jk b (2.2) = ψ, p jk bp a ψ, p ap jk b. So by (2.1) and (2.2), we have, DS, T = DU, T X + DX, U T = DU, T X + D(V X), Y DV, X Y = D(qε βj ), bp aε kα + ψ, p jk bp a ψ, p ap jk b D(qε βl ), ap jk bε iα = ψ, bp aε kj ψ, ap jk bε il = δ ψ (S), T. Therefore, D is inner. Lemma 2.2. If A is weakly amenable, then every bounded derivation D : LM(A, P ) LM(A, P ) is cycc. Proof. It is enough to show the cycc identity for Rees matrices. Let S = aε ij and T = bε kl, where a,b 0. Step I: p jk = 0. Then, 0 = D0 = D(S T ) = DS.T + S.DT. So, for every X LM(M, P ), 0 = DS.T, X + S.DT, X
First order cohomology of l 1 -Munn algebras 215 (2.3) = DS, T X + DT, X S. If p 0, then take X = E = p 1 ε il. Clearly, E is an idempotent, T E = T, E S = S and hence if we substitute X with E in (2.3), then we get, DS, T + DT, S = 0. So, the cycc condition holds. If p = 0, then choose α J and β I such that p αβ 0. Let Y = aε iα and Z = p 1 αβ ε βj. Then, Y Z = S and Z T = T Y = 0. So, DS, T = D(Y Z), T = DY.Z, T + Y.DZ, T = DY, Z T + DZ, T Y = 0. Similarly, DT, S = 0 and hence the cycc condition holds. Step II: p jk 0. By the symmetry of the cycc condition, we may assume p 0 as well. As above, let E = p 1 ε il. Then, we have, D(S T ), E = DS.T, E + S.DT, E = DS, T E + DT, E S (2.4) = DS, T + DT, S. Now, define the map φ : A LM(A, P ) by φ(c) = p 1 cε il. Clearly, φ is an injective bounded near map. Let c, d A. Then, φ(cd) = p 1 cdε il = (p 1 cε il ) (p 1 dε il ) = φ(c) φ(d). Therefore, φ is a bounded algebra monomorphism. Now, define the map, D : A A, Da, b = (Dφ)(a), p 1 bε il a, b A. Then, D is a bounded near map. If a, b, c A, then, D(ab), c = D(φ(ab)), p 1 cε il = (Dφ(a)).φ(b), p 1 cε il + φ(a).(dφ(b)), p 1 cε il = D(φ(a)), φ(b) p 1 cε il + D(φ(b)), p 1 cε il φ(a) = D(φ(a)), p 1 bε il p 1 cε il + D(φ(b)), p 1 cε il p 1 aε il = D(φ(a)), p 1 bcε il + D(φ(b)), p 1 caε il = Da, bc + Db, ca = Da.b + a. Db, c. Therefore, D is a bonded derivation and, by assumption, it is inner. So, for every a A, Da, 1 = 0, and hence, D(S T ), E = D(ap jk bε il ), p 1 ε il
216 Shojaee, Esslamzadeh and Pourabbas = Dφ(p ap jk b), p 1 ε il (2.5) = D(p ap jk b), 1 = 0. Now, by (2.4) and (2.5), DS, T + DT, S = D(S T ), E = 0. Therefore, in either case, the cycc condition holds. The following theorem is an immediate consequence of Theorem 2.1 and Lemma 2.2. Theorem 2.3. If A is weakly amenable, then so is LM(A, P ). Remark 2.4. In the proof of the following theorem we use Lemma 3.7 in [9] which is true only for the case that the sandwich matrix P is square; i.e., the index sets I and J are equal. If P is a regular square matrix and LM(A, P ) has a bounded approximate identity, then the converse of theorems 2.1 and 2.3 are also true. Theorem 2.5. Suppose P is a regular square matrix and LM(A, P ) has a bounded approximate identity. Then, LM(A, P ) is cycc [resp. weakly] amenable if and only if A is cycc [resp. weakly] amenable. Proof. we need only to prove the converse. By Lemma 3.7 in [9], the index set I is finite and LM(A, P ) is topologically isomorphic to A M n, for some n N. If D : A A is a bounded derivation, then D 1 is a bounded derivation from LM(A, P ) to LM(A, P ). Moreover, if D is cycc, then so is D 1, since the action of M n on itself as its dual, is componentwise. Now, suppose LM(A, P ) is weakly amenable and D : A A is a bounded derivation. There is a φ = n i=1 f i B i A M n = LM(A, P ) such that D 1 = δ φ. It is easy to see that D = δ f, where f = m i=1 Bi 11 f i. The argument for cycc derivations is the same. Now, we apply the preceding results to the semigroup algebras of Rees matrix semigroups. The following theorem is (Corollary 5.3 in [3]) comes with a different proof. Another proof can also be found (see Theorem 2.4 in [4]). Theorem 2.6. If S is a Rees matrix semigroup, then l 1 (S) is weakly amenable.
First order cohomology of l 1 -Munn algebras 217 Proof. Suppose S = M (G, P ). Then, by Proposition 5.6 in [9], l 1 (S)/l 1 (0) is isomorphic to LM(l 1 (G), P ). By Johnson Theorem, l 1 (G) is weakly amenable. So, by Theorem 2.3, LM(l 1 (G), P ) is weakly amenable, and hence so is l 1 (S). 3. Connes-amenabity of l 1 -Munn algebras and Rees matrix semigroup algebras Throughout this section, we assume A ia a dual Banach algebra, I = J, P and LM(A, P ) are as in Section 1. It is well known that c (I J, A ) = l 1 (I J, A) = LM(A, P ). Moreover, c (I J, A ) is an LM(A, P ) submodule of LM(A, P ) = l (I J, A ). Therefore, LM(A, P ) is a dual Banach algebra. In the proof of the following theorem, we use Lemma 3.7 in [9], which is true only for the case that the index sets I and J are equal. Theorem 3.1. Suppose A is a unital dual Banach algebra and the index sets I and J are equal. Then, LM(A, P ) is Connes-amenable if and only if it has a bounded approximate identity and A is Connes-amenable. Proof. Suppose LM(A, P ) has a bounded approximate identity and A is Connes-amenable. By Lemma 3.7 in [9], LM(A, P ) A M n. Since A M n = (A ˇ M n ) and both of A and M n are Connes-amenable, then by using the argument of Theorem 5.4 in [15] with appropriate modifications, we can see that LM(A, P ) is Connes-amenable. Conversely, suppose LM(A, P ) is Connes-amenable and X is a normal A-bimodule. Then, LM(A, P ) is unital and hence by Lemma 3.7 in [9], LM(A, P ) A M n. Since X M n = (X ˇ M n ), then X M n is a dual A M n bimodule. Moreover, by the above remark, elements of A M n and X M n have finite representations in terms of elementary tensors and action of X M n on X ˇ M n is componentwise. Thus, normaty of X M n follows from normaty of X. Now, suppose D : A X is a bounded ω ω continuous derivation. Then, D 1 : A M n X M n is a bounded derivation, and ω ω continuity of D 1 follows from the fact that elements of A M n and X M n are finite sums of elementary tensors and action of X M n on X ˇ M n is componentwise. Therefore, by assumption, D 1 = δ φ, for some φ X M n. By the above remark, φ has a unique representation of the form φ = n i,j=1 x ij
218 Shojaee, Esslamzadeh and Pourabbas ε ij. Let a A and r n be a natural number. Then, Da ε rr = (D 1)(a ε rr ) = (a ε rr ).φ φ.(a ε rr ) n n = ax rj ε rj x ir a ε ir. j=1 Letting a = 1, we conclude that for all i, j r, x rj = 0 = x ir. Thus, φ = n i=1 x ii ε ii. Now, the identities, Da ε 11 = (a ε 11 ).φ φ.(a ε 11 ) = (ax 11 x 11 a) ε 11 imply that D = δ x11. Theorem 3.2. Suppose P is a square matrix over G and S = M (G, P ). Then, the following conditions are equivalent. i) G is amenable and l 1 (S) has a bounded approximate identity. ii) l 1 (S) is Connes-amenable. Proof. Proposition 5.6 and Lemma 5.1(ii) of [9] imply that existence of a bounded approximate identity in l 1 (S) is equivalent to the existence of a bounded approximate identity in LM(l 1 (G), P ). Also, Theorem 4.4.13 in [18], l 1 (G) is Connes-amenable if and only if G is amenable. On the other hand, by Lemma 5.1(ii) and Proposition 5.6 in [9], Connes-amenabity of l 1 (S) is equivalent to Connes-amenabity of LM(l 1 (G), P ). Therefore, equivalence of (i) and (ii) follows from Theorem 3.1. Acknowledgments The authors thank the referee for his/her valuable comments. i=1 References [1] R. Azadeh and G. H. Esslamzadeh, Arens regularity and weak amenabity of certain matrix algebras, J. Sci. I. R. Iran 17 (1) (2006) 67-74. [2] W.G. Bade, P.C. Curtis and H. G. Dales, Amenabity and weak amenabity for Beurng and Lipschitz algebras, Proc. London Math. Soc. 57 (1987) 359-377. [3] T.D. Blackmore, Weak amenabity of discrete semigroup algebras, Semigroup Forum 55 (2) (1997) 196-205. [4] S. Bowng and J. Duncan, First order cohomology of Banach semigroup algebras, Semigroup Forum 56 (1) (1998) 130-145. [5] A.H. Cfford and J.B. Preston, The algebraic theory of semigroups I, Amer. Math. Soc. Surveys 7, 1961.
First order cohomology of l 1 -Munn algebras 219 [6] H.G. Dales, Banach Algebras and Automatic Continuity, Clarendon Press, Oxford, 2000. [7] M. Daws, Connes-amenabity of bidual and weighted semigroup algebras, Math. Scand. 99 (2) (2006) 217-246. [8] J. Duncan and A.L.T. Paterson, Amenabity for discrete convolution semigroup algebras, Math. Scand. 66 (1990) 141-146. [9] G.H. Esslamzadeh, Banach algebra structure and amenabity of a class of matrix algebras with appcations, J. Funct. Anal. 161 (1999) 364-383. [10] G.H. Esslamzadeh, Ideals and representations of l 1 -Munn algebras, Semigroup Forum 69 (2004) 51-62. [11] G.H. Esslamzadeh, Double centrazer algebras of certain Banach algebras, Monatsh. Math. 142 (2004) 193-203. [12] F. Ghahramani and R.J. Loy, Generazed nitions of amenabity, J. Funct. Anal. 208 (2004) 229-260. [13] F. Ghahramani, R.J. Loy and Y. Zhang, Generazed notions of amenabity II, J. Funct. Anal. 254 (2008) 1776-1810. [14] N. Gronbaek, Weak and cycc amenabity for non-commutative Banach algebras, Proc. Edinburgh Math. Soc. 35 (1992) 315-328. [15] B.E. Johnson, Cohomology in Banach algebras, Mem. Amer. Math. Soc. 127 (1972). [16] B.E. Johnson, Weak amenabity of group algebras, Bull. London Math. Soc. 23 (1991) 281-284. [17] W.D. Munn, On semigroup algebras, Proc. Cambridge Phil. Soc. 51 (1991) 1-15. [18] V. Runde, Lectures on Amenabity, Lecture Notes in Mathematics 1774, Springer-Verlage, Bern, 2002. B. Shojaee Department of Mathematics, Science and Research Branch, Islamic Azad University (IAU), Tehran, Iran. Email:shoujaei@kiau.ac.ir G. H. Esslamzadeh Department of Mathematics, Faculty of Science, Shiraz University, Shiraz 71454, Iran. Email:esslamz@shirazu.ac.ir A. Pourabbas Faculty of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, 15914, Iran. Email:arpabbas@aut.ac.ir