I nternat. J. Math. & Math. Si.
Vol. (1978)93-96
A NOTE ON RIESZ ELEMENTS IN C*-ALGEBRAS
DAVID LEGG
Department
of Mathematics IndianaUn
iversity-Purdue UniversityFort Wayne,
Indiana(Received December
5,
1977)ABSTRACT.
It
is known thatevery
Rieszoperator R
on a Hilbertspace
can be writtenR Q + C,
where C iscompact
and both Q andCQ QC
are quasinilpotent.This result is extended
to
a generalC*-algebra
setting.INTRODUCTION.
In [3],
Smythdevelops
a Riesz theory for elements in a Banach algebra withrespect to
an ideal of algebraic elements.In [I],
Chui, Smith and Ward show that every Rieszoperator
on a Hilbertspace
is decomposible intoR Q + C,
where C iscompact
and both Q andCQ QC
are quasinilpotent.In
thispaper
we useSmyth’s
workto
show that the analogous result holds in an arbi#raryC*-a
Igebra.2.
DEFINITIONS AND NOTATION.
Let A
be aC*-algebra,
and letF
be a two-sided ideal ofalgebraic
elements94 D. LEGG
of
A. An
elementT
A is a Riesz element if its cosetT
+F
in A/F hasspectral radius
O. A
point Z (T) is a finite pole ofT
f ft is isolated in (T) and the correspondingspectral
projection lies inF. Let
E(T) {X (T)’Zis
not
a finite pole of T}. Smyth has shown thatT
is a Riesz element if and only if E(T){0}, [3,
Thm.5.3].
Smyth also showed that if T is a Riesz element, thenT Q + U,
whereQ
i quasinilpotent and UF. [3,
Thm.6.9].
This is a generalization of
West’s
result[4,
Thm.7.5]. We
now extend the result of Chui, Smith and Ward[I,
Thm.I]
by showing that UQ QU is quasinil-potent,
whereT
Q+
U is the Smyth decomposition.3.
OUTLINE
OFSMYTH’S CONSTRUCTION.
Let T
be a Rieszelement,
and label the elements of (T)\E(T) byn
nI, 2,
in such a way thatI
n >.IXn+ x
n+0 as n. Each Xn is afinite pole, so each spectral projection P is in
F Let
SP + +
Pn n n
then fnd a self-adjont
projection Qnsatisfying SnQ
nQn
andQnSn
Sn.
Let
V
n
Qn Qn-1’
and defineU kVk
U is clearly inF
andQ T
-U isshown
to
be quasinilpotent.4.
THEOREM UQ
QU is quasinilpotent.PROOF. For any S
sA,
let S denote the left regular representatfon ofS.
Then by
Lemma
6.6 in Smyth[3],
we have thatQn A
is an nvariant subspace of.
Since
Qn QnQn
we haveQn
eQn A" Hence Q(Qn
eQn A, say Q(Qn Qn
S for someQQn Qn
say vQn
x ThenS A
That is, SNow
let v rangeQn’
Qv QQnX QnSX
belongsto
rangeQn" Hence
we see thatrange Qn
is an nvariantsubspace of
Q. It
follows thatQ
has anoperator
matrix representation of the formRIESZ
ELEMENTS
INC*-ALGEBRAS
95A A A
11 12 13
0 A22 A23
where
Aij ViQV j.
Withrespect to
this blocking, we have0 ,212 0
0 0 X313
0
He
n ceuQ Qu 0
0 o
(1-:kn)A1n
O,n_1-,n
)An-l,n
96 D. LEGG
Now
letP
be theorthogonal
projectiononto range Qn’
and letn
A
n (PQn)(UQ
QU)(PQn
).It Is easy to
see theeIA
nl IXnlll
diag.as n. Hence UQ QU A
n
converges In
the un!formnorm to UQ QU
as n.But UQ QU A
n has the formwhere
N
is nilpotent.It
follows thatUQ QU A
n has no
non-zero
e!genvalues.Thm.
3.], p.
14 of[2]
can now be easily modifiedto
show thatUQ QU
has no non-zero eigenvalues. SinceUQ QU
belongs to ,
this meansa(UQ
QU){0},
i.e.,
UQ QU
isquasinilpotent.
REFERENCES
I.
Chui,C. K.,
Smith,P. W.,
andWard, J. D., A note
onR!esz operators, Proc_____=.
Amer.
Math.Soc., 60, (1976),
92-94.2. Gohberg, [.
Co,
and Krein,M. G.,
Introductionto
the theory of linear non-selfadJoint operators. "Nauka," Moscow, 1965;
Englishtransl.,
Transl.Math
Monographs,
vol.]8, Amer.
Math.Soc.,
Providence,R. I.
1969.3.
Syth, M. R. F.,
Riesztheory
in Banachalgebras,
MathZ., ]45, (1975), 45-155.
4.
West, T. T.,
The decomposition of Rieszoperators, Proc.
London Math.Soc.,
]IT,
Ser. 16, (966),
737-752.AMS (MOS)