Derivations on commutative operator algebras - damtp

5 downloads 0 Views 148KB Size Report
It is well known that any derivation on a commutative von Neumann algebra is implemented by a bounded operator. This result can be extended to certain ...
BULL. AUSTRAL. MATH. SOC. VOL.

47B47

32 (1985), 415-418.

DERIVATIONS ON COMMUTATIVE OPERATOR ALGEBRAS MARK SPIVACK

It is well-known that any derivation on a commutative von Neumann algebra is implemented by a bounded operator.

In this note we

present a simple alternative proof, which generalises the result further within Hilbert space, and to reflexive Banach spaces.

It is well known that any derivation on a commutative von Neumann algebra is implemented by a bounded operator.

This result can be extended

to certain non-self-adjoint commutative algebras by similarity.

In this

note we present a simple alternative proof, which generalises the result further within Hilbert space, and to reflexive Banach spaces. Let us call a set of Banach space operators a projection algebra if it is the algebra, or norm-closed algebra, generated by its projections. We will say that a projection algebra is bounded, with bound k , if the real number

k

is a uniform bound for the projections in the algebra.

If

E

is a Banach space, then

on

E

and a derivation on a subalgebra

into

B(E)

such that

B(E)

denotes the set of bounded operators A

is a linear map

6(ab) = a& (b) + 6{a)b for

a,b

in

derivation is said to be implemented if it is of the form for some fixed operator

x

on

E

and all

a

in

6

from A

A . A d (a) = xa - ax

A . All Banach spaces

mentioned are assumed to be complex, and all algebras to be unital. that any "complete" Boolean algebra of projections is bounded.

Note

(See [2]).

Every derivation on a commutative algebra generated by a finite set of Banach space projections is known to be implemented by an operator

Received 11 April 1985. Copyright Clearance Centre, Inc. Serial-fee code: $A2.00 + 0.00. 415

0004-9727/85

416

Mark Spivack

which can be described explicitly.

We obtain a bound for this operator

which is independent of the number of generating projections.

It follows

immediately that continuous derivations on commutative bounded projection algebras on reflexive Banach spaces are implemented. We abuse notation a little by saying that projections orthogonal if pq = qp = 0 . Denote

p and q are

1 - p by p

Then, given any finite commutative set {q .},i = 1,...,n of projections, there is a set {p . },i = 1,...,2

, of orthogonal projections

"2-

(some of which may be zero) generating the same algebra as

{q.} .

Before proving the c r u c i a l result we mention the fact that a Banach space

E

i s reflexive i f and only i f the unit b a l l of

B(E) i s compact

in the weak operator topology (Chapter VI, Dunford and Schwartz [Z]). Note also that a von Neumann algebra on a Hilbert space i s generated by i t s s e l f - a d j o i n t projections [?]• We f i r s t s t a t e as a lemma the known f i n i t e case. LEMMA 1. algebra {p.}, x =

Let

A be a finitely

on any Banach space

generated

E and let

i = l , . . . , n j is an orthogonal n £

&ip-)p-

implements

commutative

projection

6 be any derivation

generating

set,

on A.

If

then the operator

6 on A.

The proof follows easily from the relations p6{p)p = 0 for orthogonal projections THEOREM 2. Hilbert

1 m x = — u) m

~

n I

p6iq)

IIall < 4fc2ll6ll

where

6 (u )u , where for each r r wh

ere each

-6(p)q

k is a bound for

{p.} are self-adjoint,

We claim t h a t for some integer

* • J? •

=

p , q .

space and the projections

Proof.

u

and

X.

1 or

If then

E is a llxll < II6II

m we can write

r , I u II < 2k . r

is

A.

-1 .

In fact we w i l l put

417

Operator algebras Put

m = 2n~1 , and l e t 1

1

{X. } form t h e ( f i n i t e )

1

1-1

1

1

1-1

1

1

1-1

1

.

.

1-1

1

1-1-1 1 1-1-1

1

1

1

1-1-1-1-1

One can easily convince oneself, by checking with m y

and

X.

X.

= 0

n = 2 or 3 , that

for i ? j .

• r 2 I (X. ) = m f o r each ^ . C o n s e q u e n t l y , r=X ' m m n T 6 ( u )u = I I X . X . 6{p .)p . v

r=l

r

z

ij =

m 1

Finally, since each A and u^ = 1 .

X. t,r

r

°r

v

°

n 1 &(p-)p- = m r , as required.

r=l i=l

in

matrix

is ±1 , u r

V

%

is the difference of two projections

DM^I < 2/C , and IIdl < (2fe)2ll6ll .

Hence

i s a s e t of s e l f - a d j o i n t H i l b e r t space p r o j e c t i o n s then each s e l f - a d j o i n t u n i t a r y o p e r a t o r , and so

IIU II = 1 .

Then

If u

Uxll < II6II

{pA is a as

claimed. We can immediately s t a t e t h e c o r o l l a r y .

COROLLARY 3 . Let A be any commutative on a reflexive A . where and

Then

Banach space

E , and let

6 be a continuous

6 is implemented by an operator

k is a bound for A . A a von Neumann algebra

bounded projection x such that

If, in particular, then we can choose

algebra

derivation

on

llxll < Ak II6II ,

E is a Hilbert x so that

space

II xll < II6II .

Proof. The restriction of 6 to any finitely generated projection subalgebra B i s implemented by such an operator, by Theorem 2. Let 5 D D

denote the set of operators which implement

bounded by 4k II6B .

Then

6 on B and whose norms are

5 S R i s compact in the weak operator topology, B

418

Mark Spivack

since

E

empty.

is reflexive, and any finite intersection of such sets is non-

Hence the intersection of all such sets is non-empty, and the

result follows. REMARK 1.

The condition on E of reflexivity applies of course to

Hilbert space, where the self-adjoint projections are exactly those of norm 1.

Any projection on a Hilbert space which commutes with its adjoint

must be self-adjoint.

So a commutative projection algebra on a Hilbert

space is self-adjoint if and only if it has bound 1. holds for general commutative projection REMARK 2.

Note that the result

C -algebras.

We mention finally that this proof is closely related to

an existing one for the case of a von Neumann algebra.

I am indebted to

Professor Erik Christensen for describing that one to me. here for comparison: algebra

Let 6 be a derivation on a commutative von Neumann

A . Note that by Ringrose [3] 6 is continuous.

weakly closed convex set generated by elements of the form u

We sketch it

is unitary in A . For each unitary

T (a) = uau* + uS{u*) . Then

C

u define a map

and the maps

T

Let C be the u