arxiv:math/ v1 [math.fa] 28 Nov 2003

Transcription

1 SELF-INDUCED NCH LGERS arxiv:math/ v1 [math.f] 28 Nov 2003 Niels Grønbæk bstract. anach algebra is self-induced if the multiplication is an isomorphism. The class of self-induced anach algebras is a natural generalization of unital anach algebras, providing a fertile framework for developing homological aspects of unital anach algebras. Elementary results with applictions to computations of the bounded cohomology groups H 1,, with emphasis on = X, the approximable operators on a anach space X, are given. 0. Introduction. anach algebra is self-induced if the multiplication µ is an isomorphism. The concept of self-induced anach algebras was introduced in [G2] with the purpose of providing a setting for a anach algebra theory of Morita equivalence rich enough to include commonly occurring anach algebras. Selfinducedness is in liking with H-unitality, the concept introduced by M. Wodzicki in [W]. The anach algebraic version of H-unitality is stipulated in the requirement that the bar complex of 0 is pure-exact, or equivalently, the bounded homology groups H n, X = {0}, n 1 for any annihilator anach -bimodule X. It is rather elementary that if is H- unital as a anach algebra, then the inclusion +, where + is the unitization of, implements an isomorphism H n +, + = H n,. Rephrasing this, the admissable short exact sequence 0 + C 0 implements a long exact sequence H n C, C H n +, + H n,. However, the main result of [W] that this excission property holds in general, is far from elementary: If is H-unital as a anach algebra, then any weakly admissable extension 0 C 0 implements a long exact sequence H n C, C H n, H n, Mathematics Subject Classification. Primary 47L10; Secondary 16D90, 46H20, 46M18, 46M20. Key words and phrases. Self-induced, Morita equivalence, Hochschild cohomology, factorization, approximable operators, weak amenability. 1 Typeset by MS-TEX

2 2 NIELS GRØNÆK eing self-induced may be seen as H-unitality in degree More precisely is self-induced is equivalent to each of 1 H 1, X = H 2, X = {0} for any annihilator bi-module X. 2 Hbar 0 = H1 bar = {0}, where H bar is the cohomology of the dual barcomplex. esides providing the framework for a Morita theory, self-induced anach algebras share a basic cohomological property with unital algebras: If is an embedding of a self-induced anach algebra as an ideal in, then restriction implements isomorphisms H 1, = H 1, = H 1,, see [G3, Lemma 2.2]. In the present paper we show some elementary properties of self-induced anach algebras with the aim of computing the cohomology groups H 1,. n imporpant aspect will be Morita invariance of Hochschild cohomology for selfinduced anach algebras. We shall apply our findings to algebras of the type X, the approximable operators on a anach space X, thereby improving on previous results, in particular concerning direct sums and tensor products, of [1], [2], and [G3]. 1. Preliminaries. For anach spaces X and Y we consider the following spaces of operators FX, Y = {finite rank operators X Y } X, Y = {approximable operators X Y } = FX, Y IX, Y = {integral operators X Y } X, Y = {bounded operators X Y } s customary we shall write OperatorsX for OperatorsX, X. We shall use, to denote the bilinear form x, x = x x for x X, x X. The corresponding bilinear functional tr:x X C is the canonical trace. Since it is canonical it is not annotated with the space X. The definitions of anach cohomological concepts are standard and can be found for example in [H] and [J]. For anach algbras and we use the notations mod, mod, and mod for the categories of anach left, anach right -modules, and anach --bimodules. The unitization of is the anach algebra given by the augmentation + C. We denote bounded Hochschild homology and cohomology for with coefficients in X mod by H n, X and H n, X. We shall almost exclusively be interested in n = 1. Recall 1.1 Definition. Let be a anach algebra, let P mod and Q mod. We define P Q = P Q/N where is the projective tensor product and N = clspan{p.a q p a.q p P, q Q, a }. Thus, P Q is the universal object for linearizing bounded, -balanced bilinear maps P Q Z into anach spaces Z. For P mod the we denote the linear map implemented by multiplication by µ P : P P and likewise for right and two-sided modules. If it is unambiguous we shall omit the subscript.

3 SELF-INDUCED NCH LGERS 3 ll multi-linear maps will be assumed to be bounded, and all occuring series in anach spaces are assumed to be absolutely convergent. 2. Morita contexts and derivations of self-induced anach algebras. 2.1 Definition. anach algebra is called self-induced if multiplication implements a bimodule isomorphism µ. More generally, P mod is an -induced module if µ P is an isomorphism, and similarily for P mod. s mentioned, one motivation for this definition is that if is self-induced, then H 1 +, + = H 1,. However, self-inducedness is not necessary for this. More precisely we have 2.2 Proposition. The following three statements are equivalent. i H 1 +, + = H 1, ; ii H 1, C = {0} and H 2, C H 2, + is injective for the annihilator module C; iii cl 2 = and for each derivation D: the bilinear map a, b a, Db + b, Da is -balanced. Proof. This is proved by inspection of the concepts involved. 2.3 Examples. a is self-induced, if is left or right flat and cl 2 =, in particular if is biflat. Important instances occur, when has a one-sided bounded approximate identity, in which case is in fact H-unital. b For a anach space X the anach algebra X is self-induced, 1 if X has the bounded approximation property, cf. a, or more generally if µ X is surjective and X has the approximation property, see [G3]; 2 if X = l 2 E, when E and E both are of cotype 2, [Proposition 4.2, 1]; 3 if X = E C p, 1 p with E arbitrary and C p one of the spaces defined by W.. Johnson, [Jo]. c If P is one of the spaces constructed by G. Pisier in [P1], then µ P is surjective, but not injective. d If P is the space constructed by G. Pisier in [P2], then µ P is not surjective. e NX is self-induced, if and only if X has the approximation property, [G3]. f The augmentation ideal of the free group on two generators, IF 2, is not selfinduced, yet H 1 IF 2, IF 2 = {0}, [G&L, Corollary 3.2]. In the setting of this paper it will be convenient to have Morita equivalence described in terms of Morita contexts. For anach algebras with trivial annihilator this is equivalent to the definition given in [G2]. 2.4 Definition. Let and be self-induced anach algebras, and let P mod and Q mod. Two balanced bilinear maps {, }: P Q and [, ]: Q P are called compatible pairings if they implement bimodule homomorphisms P Q and Q P and {p, q}p = p[q, p ], [q, p]q = q{p, q }; p, p P, q, q Q.

4 4 NIELS GRØNÆK These data are collected in a Morita context M,, P, Q, {, }, [, ]. To M is associated a anach algebra M consisting of 2 2 matrices a p ; a, b, p P, q Q q b with the product defined by means of module multiplication and the compatible pairings. The Morita context is called full if both pairings implement bimodule isomorphisms. The anach algebras and are Morita equivalent, if there are modules P mod, Q mod and compatible pairings {, }, [, ] constituting a full Morita context. The simplest case of Morita invariance of Hochshild cohomology occurs for n nmatrices. First we investigate self-inducedness: 2.5 Proposition. Let be a anach algebra satisfying cl 2 =. Then where M n denotes n n matrices. M n M n = M n, M n Proof. We prove that M n has the universal property defining the tensor product. Let M n Φ: M n M n Z be a bounded M n -balanced bilinear map into a anach space Z. Let E ij be the elementary matrices in M n C and let a, a, b. Then Φaa E ij, be kl = ΦaE i1 a E 1j, be kl = ΦaE i1, a E 1j be kl { 0, j k = ΦaE i1, a be 1l, j = l Since cl 2 =, we further get ΦaE ij, be kl = 0 for j k. Let φ ij a, b = ΦaE i1, be 1j Then φ ij is clearly -balanced. Let ι: M n M n M n be the bilinear map a ij, b kl a ik b kj ij. k Then ι is M n balanced and the above calculation shows that if we for U = u ij M n set ΦU = φ ij u ij ij then Φ = Φ ι. Since spanιm n M n is dense, Φ is uniquely determined.

5 SELF-INDUCED NCH LGERS Corollary. is self-induced if and only if M n is self-induced. We now have elementary Morita invariance of Hochschild cohomology in degree Theorem. Let be self-inducedlet ι: M n M n be the map given by a a , and let τ: M n M n be the map τa ij b ij = i,j a ij b j i. Then the implemented maps H 1 M n, M n ι H 1, and H 1, τ H 1 M n, M n are inverses of one another. Proof. If is unital, this is the usual Morita invariance of Hochschild cohomology of matrices. Consider the admissable sequence {0} M n M n + M n C {0} We have H 1 +, C = H 2 +, C = {0}, since is self-induced. y Morita invariance we then have H 1 M n +, M n C = H 2 M n +, M n C = {0}. Since M n is self-induced, we also have H 1 M n, M n C = H 2 M n, M n C = {0} for the annihilator module M n C, cf. the introduction. From the long exact sequence of cohomology we get a commutative diagram {0} H 1 M n +, M n + H 1 M n +, M n {0} {0} H 1 M n, M n + H 1 M n, M n {0} where the vertical maps are implemented by inclusions. The rows are exact and the right vertical arrow is an isomorphism by the extension property of self-induced anach algebras [G3,Lemma 2.2]. Hence the left vertical arrow is an isomorphism, and we have a commutative diagram H 1 M n +, M n + = ι H 1 M n, M n ι H 1 +, + = H 1, It follows than ι : H 1 M n, M n H 1, is an isomorphism. We want to pursue this further for more general Morita contexts. First we need to precisionize right exactness of the tensor functor:

6 6 NIELS GRØNÆK 2.8 Lemma. Consider a short complex in mod X i Y q Z {0} with clix = kerq and qy = Z i.e. the dual complex X {0} is exact. Then for any P mod: i Y cl1 P ip X = ker1 P q and 1 P qp Y = P Z. Proof. The proof of [G1, Lemma 3.1] works verbatimly. We use this to weaken the defining properties of Morita equivalence: q Z 2.9 Lemma. Let and be any anach algebras, and let P mod and Q mod. Suppose that 1 is self-induced; 2 there are pairings {, }: P Q [, ]: Q P satisfying the compatibility conditions ; 3 {, } implements an epimorphism; 4 cl.p = P. Then {, } actually implements an isomorphism. Proof. Let q: P Q be the epimorphism implemented by {, } and set K = kerq, so that we have a short exact sequence {0} K i P Q q {0}. We want to show that K = {0}. Consider K 1 i 1 q P Q {0} µ 1 µ 2 µ 3 K i P Q q {0} where we for brevity have set µ 1 = µ K, µ 2 = µ P Q and µ 3 = µ. y assumption µ 3 is an isomorphism and µ 2 has dense range. We show that µ 1 has dense range. Let k K. Since µ 2 has dense range, there is a sequence t n P Q so that limµ 2 t n = ik. Hence qµ 2 t n qik = 0, so µ 1 3 q µ 2 t n = 1 qt n 0. y Lemma 2.8 and the open mapping theorem there is a sequence u n K so that t n 1 iu n 0. ut then limµ 2 t n 1 iu n 0, i.e. limµ 2 1 Let k = p n iu n = ik 0 or equivalentlly µ 1 u n k. {p, q}k = {p, q}p n q n. For any p P, q Q we have q n = p[q, p n ] q n so by 3.K = {0} and we are done. = p [q, p n ]q n = p q{p n, q n } = 0

7 SELF-INDUCED NCH LGERS Theorem. Let M,, P, Q,... be a Morita context of self-induced anach algebras and. Suppose that the pairings both implement epimorphisms. 1 With P = P and Q = Q we have a full Morita context M,, P, Q,.... In particular 2 Let M be the anach algebra associated with M,, P, Q,.... Then M is self-induced and M. Proof. We have a commutative diagram P Q P Q P Q 4 Since 1, 2, and 3 are epimorphism, 4 is also an epimorphism, so we have epimorphisms P Q Q P It follows that P and Q satisfy the hypotheses of Lemma, thereby proving 1. Thus we may assume that we have a full Morita context M,, P, Q, {, }, [, ] with associated anach algebra P M =, Q by replacing the bimodules P and Q by the induced bimodules P and Q if necessary. Define P = P and Q =. Then P and Q are both - and Q M- induced, and by means of matrix multiplication we have epimorphic compatible pairings. In order to finish by appealing to Lemma 2.9 we must show that M is selfinduced. It is convenient to write M = Let φ: M M C be an M balanced bilinear functional. Using the isomorphisms ij jk = ik, i, j, k = 1, 2 jj one finds linear functionals ϕ ij : ij C such that with φ ϕ11 ϕ = 12 one has ϕ 21 ϕ 22 φa ij, α ij = φa ij α ij. This is a routine but rather lengthy exercise along the lines of the proof of Proposition 2.5 and is therefore omitted. It follows that M has the universal property of M M. M Remark. We cannot conclude the reverse to 2. Let X be a anach space such that X is not self-induced. Since X C p is weakly amenable [1, Corollary 3.3] and X C p is decomposable, then X C p is self-induced, [G3, Theorem 2.9].

8 8 NIELS GRØNÆK In order to compare cohomology of Morita equivalent anach algebras we shall as previously exploit the double complex of Waldhausen [DI]. Let M,, P, Q,... be a full Morita context of self-induced anach algebras. The complex on the first axis of the Waldhausen bi-complex is the shifted Hochschild complex C 1, and on the second axis the shifted Hochschild complex C 1, The n th column for n 1 is the complex P C, Q n 1 where C, Q n 1 is the normalized bar resolution of the left -module Q n 1. Similarly, the m th row is the complex Q C, P m 1. For details, see [G2]. The cohomology groups H n, are related to the dual bi-cocomplex: 3 2 P Q 1 P Q P Q Denote the E p terms for the spectral sequence whose E 2 -terms are obtained by taking first horizontal and then vertical cohomology by I E p ij and the E p terms for the spectral sequence whose E 2 -terms are obtained by taking first vertical and then horizontal cohomology by II E p ij. We compute I E i0 1 = H i 1, I E ij 1 = {0}, i = 0, 1; j 1 II E 0j 1 = H j 1, II E ij 1 = {0}, j = 0, 1; i 1 where the terms on the axes follow from the definition of Hochschild cohomology and the others from the Morita context being full and the definition of the tensor products and. Thus I E p 20 and II E p 02 stabilize at p = 2 and I E 02 II E 20 1 = II E 11 1 = II E 02 1 = {0}. It follows that I E 20 2 these E 2 -terms in a definition. 1 = I E 11 1 = I E 20 1 = = II E We describe 2.11 Definition. Let M,, P, Q, {, }, [, ] be Morita context of self-induced anach algebras, and let D: be a derivation. Then D Z 1 M,, if the tri-linear form p, q, a {p, q}, Da is expressed as {p, q}, Da = ψap, q ψp, qa, p P, q Q, a

9 SELF-INDUCED NCH LGERS 9 for some bilinear form ψ: P Q C. We define a subgroup of H 1, by H 1 M, = Z 1 M, / 1,, where 1, is the space of inner derivations. The subgroup HM 1, of H 1, is defined analogously Examples. We give some instances, where HM 1, = H 1, 1 Obviously but importantly, if is weakly amenable, then HM 1, = H 1, = {0} 2 Suppose that is unital and that [, ] implements an epimorphism Q P. Then we may write 1 = [q n, q n ] and any derivation D has {p, q}, Da = ψap, q ψp, qa with ψp, q = {p n, q}, D{p, q n }. P 3 Let M,, P, Q,... be a Morita context and let M =. Let Q NM,,, P,... be the iterated Morita context with pairings defined Q by matrix multiplication. Then for any derivation D: M M a a p c p, D q q b = a 0 c p, D q 0 a p q b so that H 1 N M, M = H 1 M, M c p Morita invariance of 1st degree cohomology now reads a p q b, D a 0 q Theorem. Let M,, P, Q,... be a full Morita context of self-induced anach algebras. Then H 1 M, = H 1 M,. 3. pplications to anach algebras of approximable operators. In [G1] we showed that for anach algebras of approximable operators on anach spaces, whose dual have the bounded approximation property, Morita equivalence is determined by approximate factorization. Specifically, X and Y are Morita equivalent if and only if the multiplications Y, X X, Y X and X, Y Y, X Y both are surjective. This can now be improved to the much wider class for which X is self-induced. s in [G1] the key is to find the irreducible modules. 3.1 Lemma. X is the only irreducible left module over X. Proof. Let L be a closed left ideal of X and define ΨL = L X.

10 10 NIELS GRØNÆK Then ΨL is a closed subspace of X : Let ξ, η X and, L. Choose < x, x >= 1. Then x ξ + x η x = ξ + η, so ΨL + ΨL ΨL. Clearly CΨL ΨL. To see that ΨL is closed, let n L, ξ n X and suppose nξ n ξ. Then x ξ n n x ξ L, so ξ = x ξ x ΨL, i.e. ΨL is closed. Now suppose that ΨL = X and let x η be an arbitrary rank-1 operator. Since ΨL = X, we may choose L and x X so that x = η. Then x η = x x L. Consequently L contains all finite rank operators, that is, L = X. It is clear that X is an irreducible X-module. Let L be a maximal modular left ideal of X. y the preceeding paragraph we may choose ξ X \ ΨL. Let Q: X X/L be the canonical map. Then x Qx ξ: X X/L is a non-zero bounded module map between irreducible modules and hence an isomorphism. 3.2 Theorem. Suppose that X and Y are self-induced. Then X and Y are Morita equivalent, if and only if multiplication implements surjections X, Y Y, X Y Y, X X, Y X. Proof. The proof is along the same lines as in [G1, Theorem 7.5] so we give only a sketch. For brevity we set = X and = Y. Let the Morita equivalence be implemented by a full Morita context M,, P, Q,..., and let Φ: P Q be the corresponding isomorphism. Since irreducibility of modules is Morita invariant there is a bounded -module isomorphism κ: Q X Y. For each q Q we define an operator X Y by x κq x, and for each p P we define an operator Y X by y µ X Φ 1 X 1 P It follows that each S X has a factorization κ 1 p y. S = n U n V n, U n Y, X, V n X, Y. Since X is self-induced we can actually obtain U n Y, X, V n X, Y. Conversely, suppose that multiplications are surjective. Then P = Y, X and Q = X, Y with pairings given by composition of operators clearly satisfy the conditions of Lemma, so that the Morita context M,, P, Q,... is full. We shall now investigate Hochschild cohomology groups related to certain tensor products, of which the vector valued L p -spaces are prototypical. First a definition to describe the situation

11 SELF-INDUCED NCH LGERS Definition. Let X and Y be two anach spaces. We say that Y is strongly finitely represented in X if there is C > 0 such that for each finite dimensional subspace S Y there are a finite dimensional subspace S E and linear maps T E : E X, ι E : X Y such that ι E T E is the inclusion E Y and T E ι E C. 3.4 Examples. The L p -spaces are defined to be the anach spaces which are finitely represented in l p in the usual weaker sense of finite representability. However they satisfy the stronger condition of Definition 3.3, see [L&R, Theorem III]. ny anach space is strongly finitely represented in the C p -spaces of W.. Johnson. We now define the tensor products that are compliant with finite representability. 3.5 Definition. Let Y and Z be anach spaces, let be a reasonable crossnorm on Y Z with completion Y Z. For any complemented subspace X Y, set X Z = clx Z. We say that Y Z is compliable if for each complemented subspace X Y the map x z Tx z defines a linear map X, Y X Z, Y Z of bound Examples. 1 Let X be a complemented subspace of Y with complementation constant C 1 and let Y Z be a compliable tensor product. Then X Z is compliable tensor product and a complemented subspace of Y Z with complementation constant C. 2 Let X be any anach space, and let ν, Ω, Σ be a measure space. Then the anach spaces of p-ocher integrable X-valued functions L p ν, X, 1 p are compliable tensor products. 3.7 Proposition. Suppose that Y is strongly finitely represented in X and that Y = Y X. Let Z be any anach space and let Y Z be a compliable tensor product. If Y Z is self-induced, then 1 X Z is self-induced; 2 Y Z X Z 3 H 1 Y Z, Y Z = H 1 M X Z, X Z, where M is the canonical Morita context MY Z X Z, X Z,.... Proof. Let for brevity Y = Y Z and X = X Z. Then Y = Y X by compliance, so that X may be viewed as a corner of Y. Since we have assumed that Y is self-induced, any operator X has an approximate factorization = U n V n with U n FY, X, V n FX, Y. y the defining properties of strongly finite representability and of compliance, for each n N there is a finite dimensional subspace E n Y so that ι En 1 Z T En 1 Z V n = V n. It follows that the multiplication X X X X is surjective. To show that it is injective, let φ be a bounded X-balanced bilinear functional on X. ccording to the decomposition Y = Y X we may consider operators in Y as matrices , 11 Y, 12 X, Y, 21 Y, X, 22 X. Let ij, ij FY and define φ ij, ij = lim φt E 1 ιe 1 Z 1 X ij Z E 1 X ιe 1, T E 1 Z 1 X ij Z, 1 X

12 12 NIELS GRØNÆK where the ordering is by inclusion of E s and formally T E 1 Z ij = 0 if the range of ij is not included in E Z. This is easily seen to define a bounded Y-balanced bilinear functional on Y extending φ from the corner. Now suppose that U n V n = 0, U n, V n X. Then 0 U n 0 V n φ, 0 U n 0 V n X X X is injective. X = 0. Since Y is self-induced, we have that = 0. ut then φu n, V n = 0, i.e. multiplication To show 2 one may argue similarly or just appeal to Theorem The statement 3 follows from Theorem 2.13 by noting that if M is the canonical Morita context of Y X X, then H 1 M Y X, Y X = H 1 Y X, Y X, so that H 1 Y, Y = H 1 Y X, Y X = H 1 M Y X, Y X = H 1 M X, X. In [G3] we proved that L p ν, X is weakly amenable for any infinite-dimensional L p ν if X has the bounded approximation property. This can now be improved to 3.8 Corollary. Let Y be an infinite-dimensional L p -space, 1 p <, and let Y = Y Z be a compliable tensor product. Then Y is weakly amenable, if and only if Y is self-induced. In particular for an infinite-dimensional L p ν, L p ν, X is weakly amenable, if and only if it is self-induced. Proof. y [G3, Theorem 2.9] being self-induced is necessary. The rest follows from noting that - when Y is an L p -space, then Y = Y l p [L&R, Theorem I]; - L p ν, X is isometrically isomorphic to a compliable tensor product L p ν X; - l p X is weakly amenable, if and only it is self-induced, [G3, Corollary 4.2]. We finish the paper with some clarification concerning direct sums and selfinducedness. Recall that a derivation D: X X has the form, D = tr T for an appropriate T X and that D is inner if and only if T IX + C1 X. Notation: For brevity we shall in the following use [ ; ] for commutators of matrices. 3.9 Lemma. Let D: X Y X Y be a derivation implemented by T11 T T = 12 X Y. T 21 T 22 If X Y, X = Y, X, then T 12 IY, X. If X, Y X = X X X, Y, then T 21 IX, Y. If X Y is self-induced, then T 12 IY, X and T 21 IX, Y.

13 SELF-INDUCED NCH LGERS 13 Proof. For FX and P FY, X we have P P D <, D > [ ] P T11 T = tr ; 12 T 21 T 22 = tr 0 P T 12 = trp T 12. Thus, P trp T 12 defines a bounded, balanced bilinear form. Invoking the hypothesis we see that T 12 defines a bounded linear form on Y, X, i.e. T 12 is integral. The proof of the second statement follows analogously. Now suppose that X Y is self-induced. This means that the four multiplications X Y, X X 0 E 11 : X X Y X, Y 0 X Y, X 0 Y, X E 12 : Y, X E 21 : X, Y Y E 22 : X, Y Y X Y X Y X Y 0 Y X 0 X, Y X, Y 0 0 Y, X Y 0 Y are linear topological isomorphisms. For FX, P 1, P 2 FY, X, FY we get P1 0 P2 + P 1 P 2 + D <, D > 0 [ ] P1 0 P2 T11 T = tr ; 12 0 T 21 T 22 T11 T = tr 12 P 2 + P 1 0 T 21 T 22 = trp 2 + P 1 T 12 Invoking the topological isomorphism E 12 we see that T 12 implements a bounded linear functional on Y, X i.e. T 12 is integral. Similarly, T 21 is integral Theorem. Let X and Y be infinite dimensional anach spaces and assume that X and Y are W. Then X Y is W if and only if X Y is self-induced and sup{ trpq P FY, X 1, Q FX, Y 1 } = +. Proof. Since X Y is decomposable, self-inducedness is necessary [G3, Theorem 2.9]. The other necessary condition is [1, Proposition 4.1]. Now assume that X Y is self-induced and that the supremum is infinite. Then, by the lemma, T 12 and T 21 are integral and since X is W, there is λ C so that T 11 + λ1 X IX. y subtracting the inner derivation given by T11 + λ1 X T 12 T 21 0

14 14 NIELS GRØNÆK we see, after adjusting by a multiple of 1 X Y if necessary, that in order to show that X Y is W it suffices to look at derivations given by T X Y of the form T =. 0 T 22 Since Y is W, there is λ C so that T 22 + λ1 Y IY. If λ 0, then 0 1 Y defines a bounded derivation. ut then there is K > 0 so that trpq = tr [ 0 P ] ; K P Q Q 1 Y contrary to assumption. Hence T 22 IY and the derivation is inner as wanted. Question. Theorem 6.10 of [G,J&W] states that if X Y is amenable, then at least one of X and Y is amenable. Can amenable be replaced by weakly amenable? Note that X C p is weakly amenable for any anach space [1, corollary 3.3], so that the conjecture is best possible. References [1] riel lanco, On the weak amenability of X and its relation with the approximation property, J. Funct. nal , [2], Weak amenability of E and the geometry of E, J. London Math. Soc , [DI] K. Dennis and K. Igusa, Hochschild homology and the second obstruction for pseudoisotopy, Lect. Notes in Math. 966, Springer Verlag, 1982, pp [G1] N. Grønbæk, Morita equivalence for anach algebras, J. Pure ppl. lgebra , [G2], Morita equivalence for self-induced anach algebras, Houston J. Math , [G3], Factorization and weak amenability of X submitted. [G,J&W] N. Grønbæk,. E, Johnson and G.. Willis, menability of anach algebras of compact operators, Isrl. J. Math , [G&L] N. Grønbæk and. T.-M. Lau, On Hochschild cohomology of the augmentation ideal of a locally compact group, Math. Proc. Camb. Phil. Soc , [H]. Ya. Helemskiĭ, The homology of anach and topological algebras, Kluwer, Dordrecht, [J]. E. Johnson, Cohomology in anach algebras, Mem. mer. Math. Soc [Jo] W.. Johnson, Factoring compact operators, Israel J. Math , [P1] G. Pisier, Factorization of Linear Operators and Geometry of anach Spaces, Regional Conference Series in Mathematics, No. 60, mer. Math. Soc., Providence, Rhode Island, [P2], On a question of Niels Grønbæk, Math. Proc. R. Ir. cad. 100, No , [W] M. Wodzicki, The long exact sequence in cyclic homology associated with and extension of algebras, C. R. cad. Sci. Paris Sér , Department of Mathematics, Institute for Mathematical Sciences, Universitetsparken 5, DK-2100 Copenhagen Ø, Denmark address: gronbaek@math.ku.dk