Escolar Documentos
Profissional Documentos
Cultura Documentos
in Operator Theory
RaUl E. Curto
Palle E. T. Jf2jrgensen
Editors
ISBN 978-1-4612-6683-9
Preface . viii
III. C· Algebras
Berezin-Toeplitz quantization
L.A. Coburn . . . . . . . . 101
vi Contents
Generalized characters of U 00
Robert P. Boyer . . . . . . 225
Module structures on Hochschild and cyclic cohomology
of crossed products
Ronghui Ji . . . . . . . . . . . . . . . . . . 236
q-Relations and stability of C*-isomorphism classes
P.E. T. J{t1rgensen, L.M. Schmitt, and R.F. Werner 261
A test for injectivity for asymptotic morphisms
Terry A. Loring . . . . . . . . . . . . . 272
On the "quantum disk" and a "non-commutative circle"
Gabriel Nagy and Alexandru Nica . . . . . . . . . . 276
Contents vii
RADU GADIDOV
In this note we give another proof of the commutant lifting theorem (see
[6] and [7]), based on the Adamjan-Arov-Krein techniques introduced in [1]. We
then apply the construction given in Theorem 1 below to obtain a generalization
of a result in [2] (see also [4]).
Let us begin with some notation. Throughout this note all Hilbert spaces
are understood to be complex and separable. If?i,?i' are Hilbert spaces,
the algebra of all bounded linear operators from ?i into ?i' will be denoted
by 8(?i, ?i') and by 8(?i) if?i = ?i'. If T is a contraction on the Hilbert space
?i, we denote as usual the defect operator of T by DT (:= (1 - T*T)i), the
defect space of T by 1)T (:= DT?i ), the minimal isometric dilation of T by
U E 8(Je), and the orthogonal projection from Je onto?i by P. Furthermore, if
1) is a Hilbert space, the spaces L2(1) and H2(1) are the usual Lebesgue and
Hardy spaces of 1)-valued functions on the unit circle T relative to normalized
Lebesgue measure m on T, S E 8(H2(1)) is the multiplication by z on H2(1),
H:'(1):=L2(1)9H2(1) and P_ the orthogonal projection from L2('D) onto
H:'(1). If 1)' is another Hilbert space and S' E 8(H2(1)~» is the multiplica-
tion by:Z on H:'(1)'), a Hankel operator is an operator H in 8(H2(1) ,H:'(1)'»
such that HS = S'* H; moreover, if 9: T -+ 8(1),1)') is a bounded measurable
function (weakly or strongly, which amounts to the same since both 1) and 1)'
are separable) and / is in L2(1), the function %-+9(z)/(z) on T will be de-
noted by 9 f. For any d in 1) the constant function on T whose value is d will
also be denoted by d, and the function z -+:zd on T will be denoted by :Zd.
Recall that the usual form of the commutant lifting theorem is as follows
(cf. [7, Theorem 2.2.3]).
Theorem 1. Let T and T' be contractions in 8(?i) and 8(?i'), respectively,
having minimal isometric dilations U and U' in 8(Je) and 8(Je'). If A is a
contraction in 8(?i, ?i') such that AT = T' A, then there exists a contraction A
in 8(Je, Je') such that AU = u' A and P' A = AP.
We give another proof of this fundamental theorem below. When applied
to Hankel operators, the construction given in the proof of Theorem 1 yields
the following generalization of a result in [2], where the spaces 1) and 1)' are
finite dimensional (see also [4]).
Theorem 2. Let 1), 1)' be Hilbert spaces such that dim 1) ::; dim 1)'. If H
is a Hankel operator in 8(H2(1) ,H:.(1)'» with IIHII < 1, then there exists a
4 R. Gadidov
< h' + k,h~ + k~ >it =< h',h~ >1t' + < Bk,h~ >1('
+ < B*h',k 1 >IC + < k,kl >IC .
(1) T(h' + Uk) = T'* h' + k , for all h' in 1t' and k in /C.
Since
-,
/C = Vu-*n-u, , U-, = U-*Ii', A=...r.·
/I. = r,i'11C .
n~O
that U' is a minimal isometric dilation of T'. To show that P' A = B, suppose
h' E 1t' and k E /C. Then
<AUk, if'nh' >i;. =< Uk, if;:h' >i;. =< Uk,f*nh' >it
=< fUk,f*(n-l)h' >it=< k,f*(n-l)h' >it
=< k, if:(n-l)h' >i;. =<1k, if!n-l)h' >i;.
_z _, _z _
=< U.Ak, U;:h >i;. =< U'Ak, u'nh' >i;•.
Also, for n = 0, we have
Since the subspaces {if'n1t'}n:o span it' we conclude that if'A = AU. By
the uniqueness (up to isomorphism) of the-minimal isometric dilation of T' (cf.
[7, Theorem 1.4.1]), there exists a unitary_operator q,' in 8(/C' , it') such that
q,11{.' = 11{.' and q,'U' = if'q,', so A := q,'* A is a contraction in 8(/C, /C'), such
that AU = u' A, P' A = AP, and the proof is complete.
Remark. The construction made above d~n't just luckily fit. With a
•
little effort one can show that the contraction A in Theorem 1 is unique if
and only if ii. = 1t'VU/C or it = T'*1t'V/c. Also by noting that the operator
0: ii.-vAe1t'e(/Ce1t) defined by O(h' + k) = DAPke(h' + APk)e(1 - P)k,
for all h' in 1t' and k in /C, is unitary, one can see that
O((1t'VU/C).L) = 1lA (:= (VA e VT) e {DATh e DThj he 1t}),
O((1"*1t'V/c).L) = 1lA (:= (VA eVT') e {DAhe DT.Ah j he 1t}),
so one regains the main result in [3].
Proof of Theorem 2. Note that since HS = S'* H, we may put ourselves in the
framework of Theorem 1 by taking A = H, T = S and T' = S'*. Since S is an
isometry, it follows that 1t(:=H2(V» = /C, and since IIHII < 1,
x= [;. ~l
6 R. Gadidov
(3)
(1t'VT1t)..l = { - HDEld + DEld; deV},
(T'*1t'V1t)..l = { DH~ (zd') - H* DH~ (zd'); d' e V'} ,
so
dim«1t'VT1t)..l) = dimV:::; dirnV' = dim«T'*1t'V1t)..l).
[7, Theorem 2.2.1]) and since for any positive integer n, fJ!n-i)(U* - T*)h n is
orthogonal to 1t', it follows that h is orthogonal to 1t'. It is trivial to check that
(5) h = -Hh+h.
0=< k*, U*h' >K:. =< k., T·h' + (U* - T*)h' >K:.
=< h,T h >it + < DT.hi,DT.h >it
- -. I - ,
(6)
On the commutant lifting theorem and Hankel operators 7
so
dime (1-£'VT1i) J..) = dim V ~ dim V' = dime (T'·1-£'V1t) J..) .
Hence T can be extended to an isometry (denoted again by T) acting on the
whole Hilbert space ii. Then the minimal isometric dilation of T·, denoted as
above by U.EB(f.), is a unitary operator, and we show that i
(:= PZ,j'H)
is an isometry. Once we show this the proof can be completed as follows.
Since U' is a minimal isometric dilation of 8', there exists a unitary operator
4>' E B(f' ,L2 (V'» such that 4>iH2(7)') = ~H2(7)') and S' := 4>'U' 4>'* is the multi-
plication by z on L 2(V'). Thus ii := 4>';' is an isometry in B(H2(V) ,L2(V'»
such that ii 8 = s'ii and P!.. ii = H, and hence there exists a bounded measur-
able function 9 : T -+ B(V, V') such that for all h in H2(V), iih = 9h. Since
ii is an isometry, 9(z) is ~ isometry a.e ..
Now we show that;' is an isometry. Note first that this is equivalent to
ii c f' and since f.= ii Vf', what we really need to show is that f. = f'.
Let now k. in f. be orthogonal to f'. There exist h and {h n } n':l in ii such
that k. = h + Emn-l)(U. - T*)hn and IIk.1I
n=l
2 = IIhll 2 + E IIDf.hnl 2
n=l
(cf.
[7, Theorem 2.2.1]) and since for any positive integern, mn-l)(U. - T*)hn is
orthogonal to 1-£', it follows that h is orthogonal to 1-£'. It is trivial to check that
(5) h =-Hh+h.
For all h' in 1-£',
0=< k., U.h' >i.. =< k., T*h' + (U. - T·)h' >i..
- -. I - ,
=<h,T h >it+<Df.hl,Df.h >it
-- -,
=< Th + Df.hl,h >it'
so there exists hi in 1-£ such that
(6)
8 R. Gadidov
By (3) and (5) there exist h' in 1{,', h2 in 1{, and d in 'D such that
(8)
(10)
hi = h2 - H* Dii~ (z(d' +~»,
-Hhl = T'*h' + Dii~(%(d' +~».
Therefore
from which it follows that zed' + dD = -H~ - T'*h'. From this relation and
(10) we get
(11) hi = ~+H*Dii~(Hh2+T'*h')
= ~+H*HDii2~+H*Dii~T'h'
= Dii2~ + H* Dii~T'*h' = Dii2(~ + H*T'h').
By (7) we get
h = -Hh + HDii2d
h2 =T*h-T*Dii2d,
80
~ +H*T'*h' =T*h-T*Dii2d-T*H*Hh+T*H*HDii2d
= T* Dih - T* d =T* Dih.
On the commutant lifting theorem and Hankel operators 9
Taking into account (11) we obtain h1 = D;lr DJ,h. From the above relation
and (6) we deduce
"'.1 n
References
[1]. V.M. Adamjan, D.Z. Arov, and M.G. KreYn, Infinite Hankel matrices and
generalized problems of Caratheodory-Fejer and F. Ries%, Funkcional. Anal. i
Priloren. 2 (1968), 1-19. [Russian]
[2]. V.M. Adamjan, D.Z. Arov, and M.G. Krein, Infinite Hankel block matrices
and some continuation problems, Izv. Akad. Nauk. Armjan. SSR. Ser. Mat. 6
(1971), 87-112. [Russian]
[3]. T. Ando, Z. CeaUljellCU, and C. Foi&lj, On intertwining dilations, II, Acta
Sci. Math. (Szeged) 39 (1977), 3-14.
[4]. R. Gadidov, Two problems of operatorial eztrapolation, An. Univ. Craiova
Mat. Fiz.-Chim. 12 (1984), 18-26.
[5]. J.B. Garnett, Bounded analytic functions, Academic Press, New York, 1981.
[6]. D. Sarason, Generalized interpolation in Hoo, 'frans. Amer. Math. Soc.
127 (1967), 179-203.
[7]. B. Sz.-Nagy, and C. Foi&lj, Harmonic analysis of operators on Hilbert space,
North Holland, Amsterdam, 1970.
Department of Mathematics
Texas A& M University
College Station, Texas, 77843
OPERATOR SEMIGROUPS, INVARIANT SETS AND
INVARIANT SUBSPACES
1. INTRODUCTION
Theorem l.
a) (C, dw ) is a compact metric space.
Operator semigroups 11
Algebra Conditions
LOO(Il) Il
discrete
C(K) Il
discrete
P(K) Il
restricted to 8e I< discrete
R(K) Il
restricted to 8I< discrete
A(K) Il
restricted to 8I< discrete
POO(Il), Il cnr 1l(8L) = 0, where L is the
spectrum of z in POO(Il)
REFERENCES
Scott McCullough
o. Introduction.
The purpose of this paper is to characterize finite di-
mensional complete Nevanlinna-Pick interpolation kernels. This re-
sult complements a recent result of Agler [2] and the characterization
of finite dimensional Caratheodory interpolation kernels in [8]. Peter
Quiggin has also shown that the condition is sufficient for scalar val-
ued interpolation [12]. Further, an abstract finite dimensional version
ofthe de Branges-Rovnyak construction is presented. This construc-
tion generalizes versions of the de Branges-Rovnyak construction [7]
used by a number of authors, including Agler [5] and Muller [9] for
weighted shifts (diagonal kernels) satisfying various polynomial iden-
tities.
Let k denote the Szego kernel,
1
k(z,A) = --_.
1- zA
A finite dimensional version of the classical Nevanlinna-Pick Theo-
rem is the following. Let N distinct points AI, ... , AN in the unit disc,
an integer M < N, and v x v matrices Wl, ••• ,WM be given. If the
Pick matrix
is positive semidefinite.
Following Agler [3], it is natural to replace the Szego
kernel, or more precisely the matrix (l-~j .>.), with other kernels.
Accordingly, fix k = (kij )f.j=l a positive definite matrix, with ki,j ::F 0
16 S. McCullough
(0.1)
(0.2)
However, unlike for the Szego kernel, this may not always be possible.
k is said to be a complete Nevanlinna-Pick kernel [3], and NP kernel
for short, if for every M < N, every v and every choice of v x
v matrices WI. ••• , WM satisfying (0.1) there exists v x v matrices
WM+I. ••• , WN satisfying (0.2).
Let b = (~) and b' = (l-b i ,j). It is a result of Agler's
I"
b(T*, T) = 1- T*T.
Thus, the condition that b(T*, T) is positive is that T is a contrac-
tion; and the conclusion is that T can be lifted, via the de Branges-
Rovnyak construction, to the adjoint of the unilateral shift. In this
case, the compressions of S* are particularly simple. If T is the
compression of S* to the orthogonal complement of the span of
{eM+1, ... ,eN}, then T is unitarily equivalent to the restriction of
S* to the span of {el' ... , eM}.
where b = .,
(kl. ), then
f(T)hj,m = f(Aj)hj,m.
Thus, we may compute,
TPx =PJPx
=PJPx + PJQx
=PJ(P + Q)x
=PJx = APX.
=
where Q 1- P, and where we have used PS*Qej =
0, since the
range of Q is invariant for S*. Thus, for j = 1, ... , M, Pej is an
eigenvector for T with corresponding eigenvector Aj.
T extends to (S*)(M), by (1.1). This means there exists
an isometry V : LM --+ K such that VT = JV, where J = S*M =
I ® S* and K = LM ® H. Since T Pej = AjPej, JV Pej = AjPej.
Thus, VPej = Xj ® ej for some vector Xj ELM. Therefore,
kij - kiNkNj = < Pej, Pei >
(1.6) = < VPej, VPei >
(1.7)
(1.8) (( J - w·w":)(k·
1 3 1,3. - k·I, NkN ,1.)))M
1
(( J _ w.w":)k
1 1
.. )N
1,1 1
is a direct sum of the rank one positive with all entries 1 and the
matrix (ki,j!), where J is the identity on 0'-1 j and is thus positive
semidefinite. Since k is an NP kernel, there exists a p X P matrix W N
such that
((I - wiw;)ki,j)~
is positive semidefinite. Computing as above, we find that the matrix
for j = 1,2, ... , M. Further, we must have (1- < X, X > )kN,N ~ 1.
Therefore
-b~,N ~< X,X >.
If we let XN = x, then
-b' = « Xj,Xi »i" + y,
where y is the matrix with (N, N) entry -b~,N- < x, X >~ 0 and
all other entries O. It follows that -b' is positive semidefinite. 0
3. A Remark.
In our definition of NP kernel the order of the points
>.t, ... , >'N was fixed. Provisionally say k is a strong NP kernel if for
any index set I C {I, 2, ... , N} and for any v X v matrices {Wi: i E I}
such that
( J - wiwj)ki,j) i,jET
is positive semidefinite, there exists matrices {Wi : i ~ I} such that
(J - wiw;)ki,j)~j=l
is positive semidefinite. It is immediate that a strong NP kernel is an
NP kernel. Moreover, if k is a strong NP kernel, then -b' is positive
semidefinite. The proof in section one that -b' positive semidefinite
implies k is an NP kernel also shows that in fact k is a strong NP
kernel. Hence, NP kernel and strong NP kernel are the same.
It is also worthwhile to point out that if it is assumed
that there exists a positive definite matrix P such that
(3.1)
where * denotes Schur product, then the inequality (1.7) implies the
inequality (1.8). The relation (3.1) is (1.6) and this is a consequence
of the assumption -b' ~ 0, which in turn is equivalent to the exis-
tence of a positive matrix Q such that
(3.2)
Of course, (3.2) is just (3.1) with N replaced by 1. This approach is
very close to that of Quiggin [12].
24 s. McCullough
REFERENCES
1. M.B. Abrahamse, The Pick interpolation theorem lor finitely connected do-
mains, Mich. Math. 26 (1979), 195-203.
2. J. Agler, A talk at the Southeastern Analysis Meeting (SEAM) in Knoxville
Tenne ....ee, March 1992.
3. ___ , Some interpolation Theorems 0/ Nevanlinna-Pick type" J. Operator
Theory (to appear).
4. ___ , Operator Theory and Nevanlinna-Pick interpolation, preprint.
5. ___ , Hypercontractions and Subnormality, Journal of Operator Theory
13 (1985), 203-217.
6. J .A. Ball, A lifting theorem lor operator models 0/ finite rank on multiply-
connected domains, Journal of Operator Theory 1 (1979), 3-25.
7. L. de Branges and J. Rovnyak, Appendix on square summable power series,
Canonical models in quantum scattering theory, in Perturbation Theory and
its Applications in Quantum Mechanics, Wiley, New York, 1966, pp. 347-392.
8. S. McCullough, Caratheodory interpolation kernels, Integral Equations and
Operator Theory 15 (1992).
9. V. Muller, Models/or operators using weighted shifts, Journal of Operator
Theory 20 (1988), 3-20.
10. S. Parrott, On a quotient norm and the Sz.-Nagy-Foias lifting theorem,
Journal of Functional Analysis 30 (1978), 311-328.
11. V.I. Paulsen, Completely bounded maps and dilations, Wiley, New York,
1986.
12. P.P. Quiggin, For which reproducing kernel Hilbert spaces is Pick's Theorem
true?, preprint.
13. J. Rovnyak, Some Hilbert spaces 0/ analytic functions, Yale Dissertation
(1963).
14. D. Sarason, Generalized interpolation in Hoo, American Math society Trans-
actions 27 (1967), 180-203.
University of Florida
Department of Mathematics
201 Walker Hall
PO Box 118000
Gainesville FL 32611-8000
LOCAL SPECTRAL THEORY FOR MULTIPLIERS
AND CONVOLUTION OPERATORS
ABSTRACT. This note centers around the class D(G) of decomposable measures
on a locally compact abelian group G. This class is a large subalgebra of the mea-
sure algebra M(G), has excellent spectral properties, and is related to a number
of concepts from commutative harmonic analysis. The discussion of D(G) in
Section 1 is to illustrate this point. The main features of this class are collected
in Theorem 1.1, which improves recent results from [19] and includes some new
properties related to the involution of M(G). We shall present a different ap-
proach, which avoids previous tools like the hull-kernel topology [19], [23] or the
spectral theory of several commuting operators [2], [10]. Theorem 1.1 is an im-
mediate consequence of the spectral theory for multipliers on Banach algebras in
Section 3. The emphasis is here on multipliers with the decomposition property
(6) from [3], which characterizes the quotients of decomposable operators. We
show that mUltipliers with property (6) behave very nicely and coincide with the
strongly decomposable multipliers under fairly mild conditions on the underlying
Banach algebra. Our results on multipliers require some new results on general
local spectral theory in Section 2, which should be of independent interest. In
particular, some basic results on decomposable operators from [8] and [28] will be
extended to the more flexible case of quotients and restrictions of decomposable
operators in the spirit of [3].
of authors that T,. is compact if and only if I' is absolutely continuous with
respect to Haar measure [1], [15]. However, a characterization of the slightly
more general class of those measures which induce Riesz convolution operators
has been found only recently in [19]. The difficulties which arise in the general
spectral theory of convolution operators are, of course, at the core of harmonic
analysis and closely related to the fact that the spectrum 0'(1') = O'(T,,) is, in
general, much larger than the closure of the range ii(r) of the Fourier-Stieltjes
transform ii on the dual group rj see for example [14], [30].
It seems natural to investigate the role of decomposabilty in this context and
to apply the theory of Banach algebras to gain more insight into convolution
operators. This kind of approach was initiated by Colojoara.-FoiCUj [8] and has
been pursued further, for instance, in [2], [9], [10], [18], [19], [20], [23], [24]. In this
note, we shall give a fairly self-contained proof of the following result. Indeed,
since the group algebra A = Ll (G) is a regular and symmetric semi-simple
commutative Banach *-algebra with a bounded approximate identity [26] and
since its multiplier algebra can be identified with M(G) via convolution [16],
Theorem 1.1 follows immediately from the general theory to be developed in
Section 3.
1.1 Theorem. Let D(G) consist of all measures I' E M(G) for which T,. is
decomposable on Ll (G). Then D( G) is a full and symmetric closed *-subalgebra
of the measure algebra M( G) and contains the greatest regular subalgebra of
M(G). Each I' E D(G) has a natural spectrum in the sense that 0'(1') = O'(T,.) =
ii(r)-. Moreover, the spectrum 6(D(G)) of D(G) contains the dual group r
and is a quotient of the spectrum 6(M(G)).
powers and if 5 E M(Z) denotes the Dirac measure at 1, then it can be seen that
the product measure JL := v X 5 E Mo(R x Z) has natural spectrum, but JL is
not decomposable, since Lemma 4.7 of [19] shows that JL ~ Moo(R x Z). We are
indebted to Colin Graham (Thunder Bay) for providing us with this and some
other examples.
properties of multipliers.
Note that, by Proposition 1.1 of [21], an operator T E leX) has SVEP if and
only if XT(F) = XT(F) holds for all closed F ~ C, where XT(F) := {z EX:
qT(Z) ~ F} and qT(Z) denotes the local spectrum ofT at Z in the sense of [8], i.e.
the complement of the set of all ~ E C for which there exists an analytic function
I: U - t X on some open neighborhood U of ~ such that (T - 1')/(1') = Z for
all I' E U. The spaces XT(F) seem to be more appropriate for certain general
questions oflocal spectral theory than the classical counterparts XT(F) from [8].
The following elementary properties will be useful: XT(0) = {OJ, XT( q(T» = X,
XT(F) = XT(q(T) n F), and XT(F) = X implies that T - ~ is surjective for
all ~ E C\F and hence that q(T) ~ F whenever T has SVEP. The last result
follows from the fact that surjective operators with SVEP have to be bijective
[29].
Let V(z,r) and V(z,r) denote the closed, resp. open disc in C with radius
r 2: 0, centered at z E C. We shall need the following extension of Corollary
2.3 in [17], concerning the local spectral radius of T E leX) at Z E X given by
PT(z) := limsuPn_oo IITnz I1 1 /n.
2.1 Proposition. For arbitrary T E .c(X), we have XT(V(O, r» = {z EX:
PT(Z) $ r} for all r 2: O. In particular, ifT has SVEP , then for each DOD-zero
Z E X we have the local spectral radius formula max{I~I: ~ E qT(Z)} =
PT(z).
Proof. Since XT(F) = XT(F) for all closed F ~ C whenever T has SVEP,
the last assertion follows immediately from the first. Now, let Z E X such
that PT(z) $ r. Then the infinite series 1(>') := _>.-I Z - ~-2Tz - ~-3T2z -
>. -4 T3 Z - ••• converges locally uniformly on C\ V (0, r) and hence defines an
X-valued analytic function on C\ V(O, r). Since (T - ~)/(~) = Z for all ~ E
C\ V(O, r), we conclude that:!: E XT(V(O, r». Conversely, let:!: E XT(V(O, r» be
arbitrarily given, and consider an analytic function I : C\ V(O, r) - t X such that
(T - ~)/(~) = Z for all >. E C\ V(O, r). Then, for ~ E C with 1>'1 > max{r,IITII},
we obtain I(~) = (T - ~)-IZ = _~-IZ - ~-2Tz - ~-3T2Z - >.-4T3z _ ... and
therefore 1(>') - t 0 as I~I - t 00. Hence the definition g(O) := 0 and g(p.) :=
1(1/1') for 0 < 11'1 < l/r yields an analytic function g from V(O,l/r) into
X with the property that g(p.) = -I' Z - p.2Tz - p.3T2z - p.4T3 z - ... for
11'1 < 1/ niax{r,IITII}. Since g is analytic on the disc V(O,l/r), it follows exactly
as in the scalar-valued setting from Cauchy's integral formula that the preceding
identity holds even for all I' E V(O,l/r). This shows, in particular, that the
radius of convergence of the power series representing g(p.) is 2: l/r. By the
standard formula for the radius of convergence of a vector-valued power series,
we conclude that PT(Z) $ r, which completes the proof.
Proof. We use a basic idea from the proof of Theorem 2.3.3 in [8], see also [27].
Given Z E XT(F) and an analyticfunction f : C\F -+ X such that (T-.\)f(.\) =
Z for all.\ E C\F, we consider an arbitrary closed disc E:= V(z,s) in C\Fr
and choose a real number t > T + s such that the disc D := V(z, t) is contained
in C\F. Then K := sup{lIf(.\)1I : .\ E D} < 00, and, for each .\ E E, we obtain
from Cauchy's integral formula
limsup sup
n_oo >'EE
Ilc(s,T)n(A/(n)~.\)lll/n
n.
:5 T/(t - s) < 1,
2.3 Theorem. Assume that T E £(X) has property (6) and that S E £(Y)
has Dunford's property (C). Then, for all A E £(X, Y) and T ~ 0, we have the
equivalences:
Proof. Since it has been shown in Theorem 2.4 of [21] that C(S, T) has SVEP,
the first equivalence is clear from Proposition 2.1. In view of Proposition 2.2, it
remains to be seen that the last statement implies the first, so assume that A
30 v. G. Miller and M. M. Neumann
XT(F) ~ !lls(Fr) holds for all closed F ~ C. Since T has property (5), we know
from [3] that there exists a decomposable operator R E .l( Z) on some Banach
space Z and a continuous surjection Q E .l(Z,X) such that TQ = QR. Then
clearly (AQ)ZR(F) = (AQ)3R(F) ~ AXT(F) ~ !lls(Fr) = Ys(Fr) for all closed
F ~ C. Now, although Theorem 4.1 of [27] is stated only for the case of decom-
posable operators, it is easily seen that its proof goes through verbatim if the
operator on the range space has property (C). Hence PC(S,R) (AQ) ~ r. In view
of the open mapping theorem for the surjection Q, there exists some constant
M > 0 such that MIIBII ~ IIBQII for all B E .l(X, Y). Since C(S, R)n{AQ) =
C(S, T)R(A)Q and therefore MIIC(S, T)R(A)II ~ IIC(S, R)n(AQ)1I for all n E N,
we conclude that PC(s,T)(A) ~ PC(s,R)(AQ) ~ r.
Proof. Under the assumptions of part (a), Proposition 2.2 implies that Y =
(AX)- = (AXT(U(T)))- ~ !lls(u(T) + V(O,r)). Since S has SVEP, this yields
u(S) ~ u(T) + V(O, r) by one of the properties of spectral subspaces mentioned
above. To prove assertion (b), let F := u(S) + V(O, r), and consider an arbitrary
~ E C\F. Then V(~, r) and u(S) are disjoint. Again from Proposition 2.2 and
basic properties of spectral subspaces, we obtain the inclusions Aker(T - ~) ~
AXT({A}) ~ !lls(V(~,r)) = !lls(V(~,r) n u(S)) = !lls(0) = {OJ. Since A is
injective, we conclude that ker(T - ~) = {OJ so that T - ~ is one-to-one. To
show the surjectivity of T - ~, we choose open neighborhoods U of F and V
of ~, respectively, such that U U V = C, F n V- = 0, and ~ f/. U-. Since T
has property (5), we obtain X = XT(U-) + XT(V-). Also, from Proposition
2.2 and F n V- = 0, we conclude that AXT(V-) ~ !lls(V- + V(O,r)) =
!lls«V- + V(O, r)) n u(S)) = !lls(0) = {OJ. The injectivity of A implies that
XT(V-) = {OJ and therefore X = XT(U-), Since ~ f/. U- by our choice of U,
the last identity shows that T - ~ is surjective. Hence C\F ~ C\u(T), which
completes the proof.
Part (a) of the preceding result implies, in particular, that quasi-similar sub-
decomposable operators on Banach spaces have the same spectrum. Since hy-
ponormal operators are known to be subscalar [25], this subsumes, for instance,
a classical result due to Clary [7]. Later we shall use the following special case
of part (b), which improves a recent result from [20]: ifT has property (6) and
A is injective such that SA = AT, then u(T) ~ u(S). We next show that the
properties (6) and (fj) are preserved under certain limits.
2.5 Proposition. Let S E .l(Y), and assume that the operators Tk E .l(X)
have property (6) and Ak E .l(X, Y) are surjective for all kEN. If rk :=
PC(S,Tk)(Ak) -+ 0 as k -+ 00, then also S has property (6).
Since rk --+ 0 as k --+ 00, there exists a kEN such that Fr. n O'(S) c U
and Gr. n O'(S) ~ V. From (5) for Tk and Proposition 2.2, we conclude that
Y = AkX = AkXT. (F) + AkXT• (G) ~ !Ds(Fr.) +!Ds(Gr.) = !Ds(Fr. n O'(S)) +
!Ds(Gr• n O'(S)) ~ !Ds(u-) + !Ds(V-), which shows that S has (5).
2.6 Corollary. Let T E leX), and assume that the operators Sk E leY)
have property ((3) and Ak E leX, Y) are bounded below for all kEN. If
PC(s.,T)(A k ) --+ 0 as k --+ 00, then also T has property ((3).
Indeed: we know from [3] or [11] that the properties ((3) and (5) are dual to
each other, hence the assertion follows from Proposition 2.5 by a straightforward
duality argument. The most important special case arises for X = Y and Ak =
I, the identity operator on X. Recall from [28] that the spectral distance of two
operators S, T E leX) is defined to be pes, T) := ma.x{pC(s,T) (I), PC(T,s)(I)}.
Note that peS, T) coincides with the spectral radius of S - T whenever Sand T
commute. We obtain the following generalization of a classical limit result due
to Apostol; cf. Theorem IV.6.10 of [28].
2.7 Theorem. Let T k , T E leX) such that rk := p(Tk , T) --+ 0 as k --+ 00. If
Tk has property (5) for each kEN, so does T. The same conclusion holds with
respect to the properties ((3), (C), SVEP, and decomposability.
Proof. The case of SVEP follows easily by means of Proposition 2.2, but has
already been settled in Theorem 3.2 of [27]. In view of the preceding results, it
remains to consider the case of Dunford's property (C). In this case, we know
that T and Tk have SVEP for all kEN so that the XT(F)-spaces coincide with
the XT(F)-spaces. We conclude that T has (C), since a double application of
Proposition 2.2 shows that, for all closed F ~ C,
00 00
k=l k=l
Recall from [8J that two operators S, T E leX) are called quasi-nilpotent
equivalent if p( S, T) = O. Obviously, Theorem 2.7 implies that each of the
properties (5), ((3), (C), SVEP, and decomposability is preserved under quasi-
nilpotent equivalence. This improves classical results from [8J. We close this
section with another kind of permanence.
Proof. The case of SVEP, Dunford's property (C), and decomposability is clear
from Theorem 1.1.6 and 2.1.10 of [8]. If T has ((3), then the construction of [3]
shows that there exists a decomposable extension S E leY) ofT on some Banach
space Y so that O'(S) is contained in the given open connected neighborhood
32 V. G. Miller and M. M. Neumann
Proof. By Theorem 2.7 and 3.1, Mo(A) is a closed sub algebra ofthe commutative
Banach algebra M(A). Moreover, if T E Mo(A) is bijective, then its inverse is
obviously a multiplier and has property (0), since Theorem 2.8 may be applied
to the analytic function given by f().) := 1/), for all), "I- O. This shows that the
subalgebra Mo(A) is full.
To relate the class Mo(A) to the more restricted class D(A) of all decompos-
able multipliers T E M(A), we assume the Banach algebra A to be semi-prime in
the sense that every two-sided ideal J of A with J2 = {OJ is trivial [6]. This con-
dition will ensure that all multipliers on A have SVEP. Note that all semi-simple
algebras are semi-prime and that a commutative algebra is semi-prime if and
only if it contains no non-zero nilpotent element. Hence the following theorem
covers also examples like the radical weighted convolution algebras L1(R+,w)
on the half-line, since, by the Titchmarsh convolution theorem, these algebras
are integral domains. In the special case of a semi-simple commutative Banach
algebra with a bounded approximate identity, the identity Mo(A) = D(A) has
recently been established in [20] with a completely different approach. A de-
composable operator T E C(X) on a Banach space X is strongly decomposable
if TIXT(F) is decomposable for each closed F ~ C.
3.3 Theorem. Assume that the Banach algebra A is semi-prime. Then every
multiplier T E M(A) has SVEP. If, in addition, A has a bounded left approxi-
mate identity, then, for every T E Mo(A) and every closed left ideal B in A, the
restriction S := TIB E C(B) is decomposable on B and satisfies Bs(F) Es(F)=
with Es(F) := {u E B : au = 0 for all a E A with O'T(a) n F = 0} for all closed
F ~ C. In particular, every T E Mo(A) is strongly decomposable on A, and
D(A) is a closed full commutative subalgebra of C(A).
Proof. Let T E M(A) and :z: E A such that T2:z: = O. Since (T:z:)2 = :z:T2:z: = 0
and (T:z:)u(T:z:)= =
T(:z:uT:z:) =
:z:uT2:z: 0 for all u E A, we conclude that the
two-sided ideal J generated by T:z: satisfies J2 = {OJ and therefore J = {OJ
because A is semi-prime. Hence T2:z: = 0 implies T:z: = 0, which shows that
ker(T - ).)2 = ker(T - ).) for all ). E C. Thus T has finite ascent and hence SVEP
by Proposition 1.8 of [17]. Now, assume that A has a bounded left approximate
identity, and consider a multiplier T E Mo(A) and a closed left ideal B in A. By
the module version of the Cohen factorization theorem [6], it follows easily that
TB ~ B. To prove the decomposability of S := TIB, by Theorem IV.4.28 of
[28], it suffices to show that Es is a spectral capacity for S. Clearly, Es(0) = {OJ
and Es(C) = B. We also have B = Es(UJ) + ... + Es(U;;;) for every finite
open covering {UI, ... , Urn} of C. Indeed, given an arbitrary u E B, we first
use the Cohen factorization theorem to obtain a E A and v E B such that u =
avo Then, as in the proof of Theorem 3.1, property (0) yields a representation
34 v. G. Miller and M. M. Neumann
a = a1 + ... + am for suitable ak E AT( Uk) for k = 1, ... , m. This implies that
u = al1 = a1"+·· +am l1 with CTT(akl1) ~ CTT(ak) ~ Uk and hence ak" E ES(Uk)
for k = 1, ... , m. We next claim that, for every collection {Fa: a E J} of closed
subsets of C with intersection F, we have Es(F) = naeJEs(Fa). Here the
inclusion ~ is obvious, and to see the converse let u E na€JEs(Fa) and a E A
with CTT(a) n F = 0 be arbitrarily given. By compactness, there exist finitely
many ab ... , am E J such that CTT(a) n Fa, n··· n Fa m = 0. Again by property
(6) for T, we obtain ao, ab ... , am E A such that a = ao + a1 + ... + am,
CTT(ao) n CTT(a) = 0, and CTT(ak) n Fa~ = 0 for k = 1, ... ,m. Because of
u E Es(Fa~), we conclude that aku = 0 for k = 1, ... , m and consequently
au = aou = 0, since CTT(au) = CTT(aoU) ~ CTT(a) n CTT(ao) = 0. Thus, as desired,
u E Es(F). We finally show that, for each closed F ~ C, the 5-invariant closed
subspace Es(F) satisfies CT(5IE s (F)) ~ F. Given any A E C\F and u E Es(F),
we use again the module version of the Cohen factorization theorem to write
u = al1 with a E A, 11 E Es(F). Then, by (6) for T, we obtain 6, c E A such that
Aft CTT(C), CTT(6) n F = 0, and a = 6 + c. Now c = (T - A)d for some d E A and
therefore u = al1 = (6 + C)l1 = Cl1 = (T - A)(d)l1 = (5 - A)(dl1) with dl1 E Es(F).
This shows that 5IEs(F) is surjective and hence bijective by SVEP, see [29].
We now conclude from Chapter IV of [28] that 5 is decomposable and that
Bs(F) = Es(F) for all closed F ~ C. In particular, taking B := A, we see
that T is decomposable. Also, since B := AT(F) = ET(F) is a closed ideal
in A for each closed F ~ C, we conclude from the above that T is strongly
decomposable. The last assertion follows from Corollary 3.2 and the Cohen
factorization theorem.
Proof. The existence of Reg M(A) is clear from [19] or [23], and Theorem 2.3
of [18] shows that RegM(A) ~ D(A) ~ M.s(A), see also [19]. Now, given
T E M.s(A), let 5 denote the operator of multiplication by Tlto(A) on the
Local Spectral theory for multipliers 35
REFERENCES
1. C. A. Akemann, Some mapping properties 0/ the group algebras 0/ a compact group, Pacific
J. Math. 22 (1967), 1-8.
2. E. Albrecht, Decomposable systems 0/ operators in harmonic analysis, Toeplitz Centennial,
Birkhauser-Verlag, Basel, 1982, pp. 19-35.
3. E. Albrecht and J. Eschmeier, Analytic functional models and local spectral theory, (sub-
mitted).
4. C. Apostol, Decomposable multiplication operators, Rev. Roumaine Math. Pures Appl. 17
(1972), 323-333.
5. E. Bishop, A duality theorem/or an arbitrary operator, Pacific J. Math. 9 (1959), 379-397.
6. F. F. Bonsall and J. Duncan, Complete Normed Algebras, Springer-Verlag, New York,
1973.
7. W. S. Clary, Equality 0/ spectra 0/ quasi-similar hyponormal operators, Proc. Amer. Math.
Soc. 63 (1975), 88-90.
8. I. Colojoarl and C. Foia§, Theory 0/ Generalized Spectral Operators, Gordon and Breach,
36 V. G. Miller and M. M. Neumann
MISSISSIPPI STATE UNIVERSITY, P.O. DRAWER MA, MISSISSIPPI STATE, MS 39762, U.S.A.
E-mail: neumann@math.msstate.edu
Operator-Valued Poisson Kernels and
Standard Models in Several Variables
F.-H. Vasilescu
1. INTRODUCTION
Let 'Ji be a complex Hilbert space, and let £('Ji) be the algebra of all
bounded linear oeprators acting on 'Ji. For each T E £('Ji) we denote by
a(T) the spectrum of T. Let lD c C be the open unit disc. If T E £('Ji) is
such that a(T) C lD, then for each analytic polynomial I (more generally,
for each I holomorphic in lD and continuous on Ji)) we have (see [Vas])
(1.1) I(T) = r
laD
l(w)(1 - wT*)-l(I - T*T)(I - wT)-lda(w) ,
Definition. If T E £(1t), IITII $ 1 and a(T) C lD, then P(T, w), given
by (1.2), is called the opemtor-valued Poisson kernel associated with T.
where
AT = L (-l)!o!T*oTo ,
oEZ+
aSe
and e = (1, ... ,1) E Z+ (if a = (at. ... ,an) then lal = ai + .. .+an, and
TO = 1fl ... T::").
and tl¥:) ~ O. Then (3.5) exists in the strong operator topology of £(Ji)
for each f E C(S).
As a matter of fact, Theorem 3.2 is an improved version of the corre-
sponding result in [Vas], due to some subsequent assertions obtained in
[MiiVa].
For n = 1, a direct proof of Theorem 3.2 can be given. If n ;::: 1, only an
indirect proof of Theorem 3.2 is so far known. This is based on a structure
theorem for those c.m. T E £(Ji)n such that tl¥) ~ 0 and tl¥:) ;::: 0 (see
Theorem 5.1).
4. POSITIVITY CONDITIONS
The fact that T E C(Ji) is a contraction is expressed by the relation
I - T*T ~ O. There are versions of this condition valid for one or several
variables.
40 F.-H. Vasilescu
can be used to obtain the existence of a regular dilation for T 1 , ••• ,Tn (see
[SzFo]).
If T E £{ll)n is a c.m., the condition (of ball type)
(4.3)
(4.4)
5. STANDARD MODELS
Let n ~ 1, m ~ 1 be fixed integers, and let 8m : Z+ - Z+ be given by
(m+ lal-1)! n
(5.1) 8m (a) = a Z+ .
a.I ( m _ 1) .I ' E
where {ej = (0, ... ,1, ... , On is the canonical basis of lRn.
Definition([MiiVa]). The c.m. s(m) = (Sf m), ... , S~m» is called the
backwards multishift of type (n, m).
(5.3)
(a') 6,(1)
T -
> 0 and 6,(n)
T -
> o·,
s - lim T*kTk =0
k-+oo
s- lim Tk=O
k-oo
2° If ~(1)
T
>
-
0 and 6,(m)
T
>
-
0, then
(b) A (m)
US(m) 2:: 0.
Operator-valued Poisson kernels 43
°
REMARK. If T e £(11.)n is a c.m. such that 6.¥) 2: and 6.¥:) 2: 0,
then T has a spherical dilation (see [Vas]). In other words, there is a Hilbert
space M c 11. and a c.m. N e £(M)n consisting of normal operators such
that
on M,
and Tj = P'H.NjI11.(j = 1, ... ,n), where P'H. : M -+ 11. is the orthogonal
projection.
If m i- n, we do not have any spherical dilation. Thus, for n = m there
are chances to reconstruct the Sz.-Nagy-Foias theory for contractions (see
also [MiiVaJ).
Nevertheless, if T e £(11.)n is a c.m. such that 6.¥) 2: 0, 6.~m) 2: 0, then
sCm) $ W (W given by Theorem 5.1) may be regarded as a "dilation" of
T. For instance, we have the estimate
(5.7)
for all f e LOO(O') and h e H2(S, 11.), where C[g) is the Cauchy transform
of 9 ([Rud]) and }(z) = f(z).
P(rM*,w) $P(rW,w)
Related results:
1° ~(m)
T
>
-
0 iff ~(m) > O·
1/J(T) - ,
8. OPEN PROBLEMS
There is a long list of open problems in this context. We select some of
them.
Problem 2. State and prove a commutant lifting theorem for the above
class.
Problem 4. State and prove some classical problems in the unit ball
related to operator theory (e.g., Schur's problem, etc.).
REFERENCES
[Agl] Agler J., Hypercontractions and subnormality, J. Operator The-
ory 13(1985), 203-217.
[Ath 1] Athavale A., On the intertwining of joint isometries, J. Operator
Theory 23(1990), 339--350.
[Ath 2) Athavale A., Model theory on the unit ball in on, J. Operator
Theory (to appear).
[CuVa] Curto, R. E. and Vasilescu F.-H., Automorphism invariance of
the operator-valued Poisson transform, Acta Scient. Math. (to
appear).
46 F.-H. Vasilescu
Institute of Mathematics
Romanian Academy of Sciences
P.O. Box 1-764
Ro-70700
Bucharest, Romania
Section II
NONSELFADJOINT ALGEBRAS
Elementary operators and subalgebras
Keith J. Coates
Department of Mathematics
Texas A&M University
College Station, Texas 77843
September 26, 1993
Abstract
In this note, we construct an elementary operator on B(H) of length
two which leaves invariant a nontrivial triangular subalgebra of B(H} but
which cannot be written as a finite sum of elementary operators of length
one that each leave the triangular subalgebra invariant.
2: 2: 2: Ei,i-l
00 00
Note that Al and A2 are diagonal matrices and that B} and B2 are forward
unilateral shift operators.
Define R, an elementary operator on B{h), by R = MAt,B t - M A2 ,B.' It
is not difficult to see that R lies in ET",,(B(12» but that the individual multi-
plications MAt,B" M A2 ,B. do not: Let Ei,j E Too. Then we must have i :5 j.
If i < j, then R(Ei,j} = MAt,B t (Ei,j) - MA.,B.(Ei,j} = O'jEi,j-l - O'iEi,j-l =
(aj - ai}Ej,j-lo which is a nonzero element of Too. If i = j, then we have
R(Ei,i) = MAt,B t (Ei,i) - M A2 ,B2(Ei,i) = O'iEi,i-l - O'iEi,i-l = 0. The individ-
°
ual multiplications each map Ei,i to the same nonzero element outside of Too
(i > i-I), so R(Ei,i) = E Too.
Theorem 1 R E ET",,(B(l2» but R admits no representation E?=l Me.,D.
such that each Me.,D. E ET",,(B(l2».
Idea of proof. We have seen above that R E ET"" (B(/2» but that MAt,B"
M A2 ,B. ¢ ET",,(B(12}}' Suppose we have a representation R = L::::l Me.,D.
with each Me.,D. E ET",,(B{l2»' Let A~,BLA~,B~,Ci,Di be the upper left
m x m submatrices of A 1 ,B1 ,A2,B2,Ci,Dj, respectively. Then standard com-
putations show that R' =
M A,l' B'1 - M A,2' B'2 =L..J - Me'i' D'i E Er.m (Mm),
"'~l
where Mm is the algebra of m x m matrices and Tm is the subalgebra of upper
triangular m x m matrices. Similarly, it is also not difficult to see that each
Me~,D~ E ETm(Mm} as well.
By'the construction of the Ci, Di, we have that for every 2 :5 j :5 m, there
are iI, i2 with 1 :5 i}, i2 :5 n such that Cit contains the matrix unit Ei,i and
Di2 contains the matrix unit Ei,i-l' Since MC;,D: E ETm{Mm} for each i, we
must have that il '" i 2 •
. = M A,)' B'1 -MA'2' B',
L....J - Me~, 'D~
Also, since "'?-l 2
the construction of AI, B 1, A2, B2
give that for every it '" h, there is an i such that Ci contains the matrix unit
Ej.,j. and Di contains the matrix unit Eh,h-l'
Elementary operators and subalgebras 51
A combinatorial argument can now be used to show that the above two
conditions force the number of terms n in the sum to be larger than log2m.
Since this must be true for every m, we arrive at a contradiction, proving the
theorem.
This paper provides one example of an elementary operator that leaves in-
variant a subalgebra of B(H) but which does not lie in the linear span of length
one operators which leave the subalgebra invariant. The full proof of this ex-
ample will appear in an upcoming paper which will explore in greater detail the
kinds of algebras for which this situation can occur.
References
[1] C. Apostol and L. A. Fialkow, Structural properties of elementary operators,
Can. J. Math. 38 (1986), 1485-1524.
[2] R. E. Curto, Spectral theory of elementary operators, preprint.
[31 L. A. Fialkow, Spectral properties of elementary operators, Acta. Sci. Math.
46 (1983), 269-282.
[4] __, Spectral properties of elementary operators, II, Trans. Amer. Math.
Soc. 290 (1985),415-429.
[5] __, The range inclusion problem for elementary operators, Michigan
Math. J. 34 (1987),451-459.
[6] L. A. Fialkow and R. Loebl. Elementary mappings into ideals of operators,
Illinois J. Math. 28, 555-578.
[7] C.K. Fong and A. R. Sourour, On the operator identity L: AkX Bk == 0, Can.
J. Math. 31 (1979),845-857.
Questions on Bimodules of Nest Algebras
Xingde DaP
the University of North Carolina at Charlotte, Charlotte, NC 28223
Abstract
We will describe some recent results on bimodules of nest alge-
bras and we will propose some related questions.
1. Condition A :
2. Condition B :
Using direct integral theory it may now be possible to do this for any von
Neumann algebra. However, the approach might be tedious. Is there a
different approach to the questions? We don't know the answer to this.
Erdos and Power [10] have successfully classify all bimodules of nest
algebras which are closed in the strong operator topology. They proved that
each strong closed bimodule is singly generated under the strong topology.
In a conversation, Arveson suggested to the author the following question.
This question is open even in B(1i) case. Recently Orr classified the
maximal ideals and the automorphism invariant ideals of continuous nest
algebras.
The results [15] (and [4], an alternative proof of the results in [15]) on
the Jacobson radicals of nest algebras is based on the Ringrose's structural
theorem for the radical. In general, the corresponding results for CSL alge-
bras are still unknown. Hopenwasser proposed a structure for the radical
of CSL algebras analogous to Ringrose's theorem. Hopenwasser-Larson
further studied this conjecture. Recently Davidson-Orr verified this con-
jecture for width-two CSL algebras. Let C be a CSL in B(1i). If C contains
an order type I nest, then, as a consequence of a result in [4], B(1i) is not
a norm-principal bimodule of algC. We don't know whether this condition
is also sufficient.
Question 6 Is the weak factorization property valid for all nest algebras
in an arbitrary von Neumann Algebra?
°
R'N. We proved that a necessary and sufficient condition for A E R'N is
that ~(A, t) = almost everywhere (Lebesgue measure) ( in [0, 1]). The
same result was independently obtained by Orr.
We proved [3] that a necessary condition is that the nest must be pure
atomic. The above example provides an uncountable pure atomic nest N
for which R'N is a norm-principal ideal of algN. This suggests to us that
the pure atomic condition might be sufficient also.
References
[1] Andersen, N. T., Compact perturbations of reflexive algebras, J.
Funct. Anal. 38(1980), 366-400.
[2] Andersen, N. T., Similarity of continuous nests, Bull. London Math.
Soc. 15(1983), 131-132.
[3] Dai, X., Norm-closed bimodules of nest algebras, Ph.D thesis, Texas
A&M University, 1990
[5] Dai, X., On the generators of bimodules of nest algebras, Jour. Op-
erator Theory, to appear.
[6] Dai, X., Jacobson radicals of nest subalgebras in factors, Proc. AMS,
to appear.
[15] Orr, J. L., On generators of the radical of a nest algebra, Proc. Lon-
don Math. Soc.
JOHN DAUGHTRY
Abstract.
We present a necessary and sufficient condition for a commutative
subspace lattice (CSL) to have the property that every sublattice has the
universal factorization property (UFP). Then we derive a sufficient condi-
tion for a CSL to have the UFP which applies to all known examples of
CSL's with the UFP. (The preceding results are, in fact, obtained for CSL-
subalgebras offactor von Neumann algebras.) Finally, we give an example
of a CSL which has the UFP, even though it is not a direct sum of a com-
plemented lattice and a CSL with the property that every linearly ordered
sublattice is countable.
Proof: By the first Lemma of [4] (cf. [2, p. 482]), there exists a nest
N in C such that N' = C' and for all T invertible in V such that TC is
commutative (TN)' = (TC)'. Having chosen such a nest N, let C denote
{PV E : PEN}. Let T E V be invertible and such that TC is commutative.
Let N be the nest obtained by adding 0 to C. (In the case E = 0, the desired
result is already known.) N r is countable by hypothesis, so T = VB with
V a unitary element of V and B and B-1 in algy N, by Lemma 2. In
The universal factorization property 63
particular, V*T maps the range of E onto itself. Let Uo denote the unitary
factor in the polar decomposition of V*T E as an operator on the range of
E: V*TE = UoIV*TEI. CE is a complemented lattice on the range of E.
The commutativity of {rp(V*TPE) : P E C} = {V*rp(TPE)V : P E C}
and Proposition 1 imply that Uo maps the range of PE onto the range of
V*T P E and W*T EI maps the range of PE onto itself for all P in C.
Define U = VUoE + V(I - E). Then it is easily verified that U is
unitary. For all P E C, R[U P E] = R[T P E] (by the preceding paragraph),
so U*T and T- 1U leave invariant the range of each element of CE. Recall
that V*T = B with B and B- 1 in algy N. Thus R(TP) = R(VP) for
PEN. Consider PEN, and note that P ~ E. Thus rp[U P] = rp(U PE)+
rp[U P(I - E)] (because U is unitary) = rp[VUoEP] + rp[V(I - E)P] =
rp(TE)+rp(VP)-rp(VE) = rp(VP) = rp(TP). That is, P = rp(U*TP).
Thus, U*T and its inverse, T- 1U, map the range of Ponto itself for all P
in N uCE.
The commutant of Cis [CUCEl' and (TC)' (TN)' = =
[T[CUCE)]'.
Let 1/J denote a conditional expectation of B(H) onto (CEY, and define
WE(X) = E1/J(EX E)E. By Lemma 6.2 of [7; p. 83], there exists a faithful,
normal conditional expectation X of V onto N' and X is multiplicative on
VnalgN. Let E.L = I-E, and WE.l.(X) = E.LX(E.LXE.L)E.L. Define
W : V --+ C' by W = WE + WE.l.. Then W is a conditional expectation of V
onto C' (because C' = [C U CE]').
Consider wE(U*T) = E1/J(EUoV*TE)E = E 1/J(EW*TEIE)E. The
last expression equals EIV*TEIE because EW*TEIE commutes with CE.
From the definition of UO, W*TEI =
UoV*TE, so WE(U*T) =
EU*TE.
=
Thus W(U*T) EU*TE + WE.l.(U*T). Similarly, WE(T- 1U) E =
1/J(ET- 1VUoE)E = E1/J(EW*TEI-1UQ'UoE)E =
E1/J(EW*TEI- 1E) =
EW*TEI- 1E by the fact that EW*TEIE commutes with CE. That is,
WE(T-1U) = T-1VUoE = ET-1U E. Thus W(T-1U) = ET-1U E +
WE.l.(T- 1U).
Then WE.l.(U*T) WE.l.(T- 1U) = E.LX(E.LU*TE.L)E.L X
(E.LT- UE.L)E.L = E.L X(E.LU*TE.LT- 1UE.L)E.L (by the multiplicativ-
1
ity of X on algN) = El. by the fact that U*T maps the range of E into
itself. Likewise, WE.l.(T- 1U)WE.l.(U*T) = E.L. It follows from the pre-
ceding calculations that W(U*T) and W(T- 1U) are inverse to each other,
hence each has trivial kernel.
Now by Lemma 1 with M = C U CE, it follows that the range of UP
is the same as the range of T P for all P E C. In other words, U*T and
T- 1U belong to algy C. Then letting A =
U*T, we have T =U A with A
and A-1 in algv C. c
Proof: For such an element E there must exist an integer n such that the
set of all functions supported on Q n [n, n + 1) is contained in R(E). For
each real number rEin, n + 1), the functions supported on Q n [r, n + 1)
belong to 'P E. Such an uncountable linearly ordered subset is contained in
an uncountable nest. c
It is clear from the preceding proposition that 'P is not a direct sum
of a complemented lattice and a CSL with the property that every linearly
ordered sublattice is countable. Consequently, the following proposition
shows the usefulness of Theorem 2.
Proof: Let E denote the projection on the functions f such that f(n) = 0
for all integers n. Then £E is complemented. Every subset C of {P E £ :
P ~ E} is determined by the set of integers at which elements of C must
vanish. Thus if C is linearly ordered, it must be countable. The conclusion
that 'P has the UFP now follows from Theorem 2. c
Theorem 2 and the preceding example demonstrate that count ability
and complementation can be combined in somewhat subtle ways to yield
the universal factorization property for a CSL. Consequently, the most ap-
propriate open problem to state in conclusion is whether there is a third
property of a CSL which implies the UFP (a property which does not ap-
pear to be some combination of countability and complementation).
References
1. Arveson, W. B., Analyticity in operator algebras, Amer. J. Math. 89
(1967), 635-647.
2. Arveson, W. B., Operator algebras and invariant subspaces, Ann. of
Math. (e) 100 (1974), 433-532.
3. Arveson, W. B., Interpolation problems in nest algebras, J. Func.
Anal. 20 (1975), 208-233.
The universal factorization property 65
4. Daughtry, J., and Johns, R., Arveson nests and operator factorization
along commutative subspace lattices, Proc. A.M.S. v.107, 4 (1989),
943- 947.
5. Davidson, K. R., Nest Algebras, Pitman Research Notes in Mathe-
matics v. 191, Essex, U.K. (1988).
6. Larson, D. R., Nest algebras and similarity transformations, Ann. of
Math. 121 (1985), 409-427.
7. Pitts, David R., Factorization problems for nests: factorization meth-
ods and characterizations of the universal factorization property, J.
Funct. Anal. 79 (1988), 57-90.
8. Stratila, S., Modular Theory in Operator Algebras, Abacus Press,
Kent, U.K., 1981.
9. Takesaki, M., Theory of Operator Algebras I, Springer-Verlag, NY,
1979.
John Daughtry
Department of Mathematics
East Carolina University
Greenville, NC 27858
madaught@ecuvm1.bitnet
COMPRESSION LIMIT ALGEBRAS
ALAN HOPENWASSER
CECELIA LAURIE
I. INTRODUCTION
While there is now a large and rapidly growing literature on the study
of direct limits of subalgebras of finite dimensional C·-algebras, the focus
in almost every paper on the subject has been on systems with embeddings
which have *-extensions to the generated C* -algebra. One notable excep-
tion is the paper by Power [PI]. The purpose of this note is to extend
the study of systems which are not *-extendible and to produce examples
which illustrate some new phenomena.
When all the embeddings in a direct system are *-extendible, then the
limit algebra is, in a natural way, a subalgebra of an AF C* -algebra. On
the other hand, if the embeddings are not *-extendible, then it is no longer
a priori obvious that the limit algebra is an operator algebra. (Initially, the
direct limit must be taken within the category of Banach algebras.) Even
if the limit algebra is an operator algebra, its image under some represen-
tations may generate a C*-algebra which is not approximately finite (as
happens in the situation studied by Power). For systemS with the type of
embeddings which we consider in this paper, the limit algebra will always
be an operator algebra, a fact which can easily be seen with the aid of
the abstract characterization of operator algebras by Blecher, Ruan, and
Sinclair [BRS]. We also produce a representation of the limit algebra which
is "natural" in the sense that the C* -envelope of the image algebra (as
defined by Hamana [HJ) is isomorphic to the C*-algebra generated by the
image algebra.
The authors would like to thank Vern Paulsen for helpful suggestions on the content
of this paper.
Compression limit algebras 67
<PI A
A 1--+ if>2 A if>3 A
2--+ 3--+···-+
For each k, one of the summands of tPle is the identity compression; let
qle denote the support interval for this summand from the nest of invariant
projections for T n "'+l' Also, let ""Ie denote the compression of Tn "'+l onto
qle. We may, in a natural way, view ""Ie as an algebra homomorphism from
Tn"'+l onto Tn",. It is clear that ""Ie 0 tPle = id, for all k. Thus compression
embedding systems are structured in the sense introduced by Larson [L]; in
particular, compression limit algebras are all structured Banach algebras.
Compression embeddings satisfy one additional property: they map
matrix units to sums of matrix units. This implies that they are regular
embeddings, in the sense used by Power [P2, section 4.9].
Remark. Compression embeddings can be placed into a broader context.
If C = [c;j 1is an n x n matrix, the mapping tPc: Mn - Mn given by
tPc[ ~j] = [c;j~j 1is known as a Schur mapping. It is easy to check that
tPc is an algebra homomorphism if, and only if, C satisfies the cocycle
condition: c;le = c;jCjle. Furthermore, tPc is unital if, and only if, all
c;i = 1. By taking a direct sum of algebra homomorphisms each of which is
a compression composed with a Schur mapping, we can obtain embeddings
more general than compression embeddings. (Compression embeddings
arise by insisting that appropriate Cij = 1.) We defer the study of these
more general systems to another time.
III. REPRESENTATIONS
Let
For each k, we may write tPk = 1/1! $ ... $ 1/1:, where each 1/1j is a
compression map. At least one of these compression maps must be the
identity; in order to keep track of a selection of identity compressions,
arrange the indexing so that 1/1S = id for all k. Thus, we will always have
that the first index a is non-positive and the last index b is non-negative.
Now suppose that tP: Tn" -+ Tn"+l is a compression embedding and
that 1/1 is a single compression to an interval from the invariant projection
lattice of Tn,,+l. It is easy to check that 1/1 0 tP is a sum of compressions to
intervals from the lattice of Tn". Note that the intervals associated with
1/1 0 tP may include some which were not associated with tP itself.
A consequence of the observation above is that a composition of two
compression embeddings is again a compression embedding. Since we need
to consider multiple compositions, let tPjk denote the composition tPk 0 .. ·0
matrix unit is f&'. By iterating this procedure, we can index all the Tn" SO
that the successive images of the matrix unit fJo under the distingushed
identity compressions will be f&. In the doubly infinite case, the indexing
of the Tn" 's will begin with negative integers and end with positive integers
each of arbitrarily large magnitude for sufficiently large k.
It is now clear how to define the representation Pk: the image of the
distinguished matrix unit fifo in the component TJo should be the one di-
mensional projection onto the span of the basis vector eo. For each k, Pk
is a completely isometric representation of Tn" into Alg (N) acting on the
Hilbert space 1-£. Furthermore, the following diagram commutes:
Proof. Here, we view pap and qaq as being restricted to the ranges pen and
qCn of p and q respectively. Since p and q are distinct, there is an element a
of Tn such that one of pap and qaq, say pap, is non-zero while the other is o.
So we have an element of the form bEBO in C·( {papEBqaq: a E Tn }). From
this and the fact that the C*-algebra generated by Tn is M n , it follows
that 8(pCn) EB 0 ~ C*({pap $ qaq: a E Tn}. This in tum implies that
O$8(qCn) ~ C*({pap$qaq: a E Tn} and hence that 8(pCn) $8(qCn) ~
C· ( {pap $ qaq: a E Tn }. The reverse containment is evident.
By using the obvious extension of this lemma to multiple direct sums
(including countable direct sums), we can describe the C·-algebra,
C·(Pk(Tn ,.»,both as a subalgebra of 8(1t) and as an abstract (finite-
dimensional) C·-algebra. Indeed, write Pk = E(D "7i and, for each i, let qi
be the interval in the nest for Tn" to which "Ii is a compression. Then
C*(Pk(Tn ,,)) = {(bj ) E L(D8(qjC n,,): bi = bj whenever qi = qj}.
72 A. Hopenwasser and C. Laurie
If r1, ... , r m is the list of distinct intervals to which the 1Ji are compressions,
then
m
C*(Pk(Tn,.)) ~ LeB(rjCn,.).
j=l
We shall need both the isomorphism class of C*(Pk(Tn,,)) and its actual
expression as an operator algebra acting on 'H. Also, since C*(p(A)) is the
closure of the union of the C*(Pk(Tn,,)), we have proven the following:
Proposition. Let A be the direct limit of a system of full upper triangular
matrix algebras with compression embeddings and let p be the representation
of A defined above. Then C*(p(A)) is an AF C*-algebra.
Our main result is the following theorem.
Theorem. Let A be the direct limit of a system of full upper triangular
matrix algebras with compression embeddings and let p be the representation
of A defined above. Then C*(p(A)) is the C*-envelope of p(A).
Proof. In order to prove that C*(p(A)) is the CO-envelope of p(A), it is
sufficient to show that the SHov boundary of p(A) is O. Since the SHov
boundary is the largest boundary ideal, we need merely show that if J
is a non-zero ideal then J is not a boundary ideal. This requires proving
that the canonical quotient map C*(p(A)) -+ C*(p(A))j J is not completely
isometric when restricted to p(A). We shall, in fact, prove that p(A)nJ =I- 0;
the quotient map is not even isometric.
For convenience, let Bk = C*(Pk(Tn,.)) and B = C*(p(A)). Each Bk is
isomorphic to a direct sum of full matrix algebras, one for each compression
map which appears in the expression for Pk. Since the identity must appear,
one summand must be Mn,.. This summand is the largest rank summand
and it appears one time only. M n ,,-l appears at most two times, reflecting
the fact that the nest for Tn" has exactly two interval projections of rank
nk -1. More generally, M n ,. _ j appears at most j + 1 times in the expression
for B k .
Thus, the isomorphism class of Bk is Mn " $ Mtl $ ... $ Mt ., where
tt, ... ts are integers less than nk. In the Bratteli diagram for B, the kth
level has a node for each summand in the isomorphism class of Bk. Next,
we need the following observation: given k and a summand Md in the
isomorphism class of Bk, there is an integer j > k such that Md partially
embeds into the summand Mn; in the isomorphism class of Bj .
The observation is verified by inspecting the chain of finite dimensional
CO-algebras acting on 'H. Now, Pk(Tn",) is an infinite sum whose terms
are selected from finitely many compressions of Tn". Consequently, there
exist integers a :5 0 and b ;::: 0 such that if p is the projection onto the
linear span of {ei: a :5 i :5 b}, then p is reducing for C*(Pk(Tn,,)) and
every compression, and in particular the one corresponding to Md, appears
in the restriction of C*(Pk(Tn,,)) to p. Then, by the way in which the
Compression limit algebras 73
Remark. We have shown that the C·-envelope of a direct limit of full up-
per triangular matrix algebras with compression embeddings is an AF C·-
algebra. If, on the other hand, A is the direct limit of full upper triangular
matrix algebras with •-extendible embeddings, then A can be represented
as a generating subalgebra of a UHF algebra. Since UHF algebras are
simple, it is immediate that the generated C·-algebra is the C·-envelope.
More is true. It is easy to show that if A is a generating subalgebra of an
AF C·-algebra B and if A contains a Stratila-Voiculescu masa, then B is
the C·-envelope of A. Thus, if A is the direct limit of a system of digraph
algebras with •-extendible embeddings, then the C·-envelope of A is an AF
algebra.
The simple proof of this last fact does not apply to compression limits.
Examples in the next section will show that the image of the limit algebra
under the representation P need not contain a masa in the generated C·-
algebra. (The natural diagonal in p(A) need not be a masa in C·(p(A)).)
The following problem is suggested.
Problem. Is the C·-envelope of a direct limit of digraph algebras with com-
pression embeddings an AF C·-algebra?
74 A. Hopenwasser and C. Laurie
J
<lii
[a
a 1-+ <lii 1-+
<lii
<lii 1 1-+
<liJ
aii
(Strictly speaking, this is abuse of notation, since, for example, f .. bli is not
a scalar but an infinite matrix with a single non-zero entry, viz., bii in the
ith position on the diagonal. In cases like this we identify the two and the
meaning should be clear.)
Now, fix an integer k > i such that bkk is close to a and PkCPk is close
to c. Then a = Pkbpk + apt is in p(Ai) and is close to b. Thus, p(Ai) is
dense in, and hence equal to B ...
Fact. The family of algebras Ai are pairwise non-isomorphic.
Indeed, the identity and the Pk are the only projections in lCN+Cl (or
in B('H), for that matter) which are invariant under P(Ai). But Pk E p(Ai)
if, and only if, k < i. Thus, keeping in mind that the indexing starts with
0, there are exactly i + 1 invariant projections in Ai. This establishes the
claim. Note also that the C* -envelope for each Ai is lC + Cl. The "linking
condition" that the ith diagonal element is equal to the limit of the diagonal
elements disappears in the passage to the generated C* -algebra. This is an
example in which the diagonal of p(A) is not a masa in C*(p(A)).
76 A. Hopenwasser and C. Laurie
C. For this example, it is most convenient if the indices for each matrix
algebra T m are drawn from the set { -m + 1, ... , -1,0 }. The basis for
'H is indexed by the non-positive integers and the Pk will be the obvious
infinite rank projections. Fix an integer i such that -n + 1 :5 i :5 O. The
embeddings in the system
are given by
REFERENCES
[AI] W. Arveson, Subalgebras of C"-algebras, Acta Math. 123 (1969),141-224.
[A2] _ _ , Subalgebras of C"-algebras II, Acta Math. 128 (1972), 271-308.
[BRS] D. Blecher, Z. Ruan, and A. Sinclair, A chamcterization of opemtor algebras, J.
Functional Analysis 89 (1990), 188-201.
[B] O. Bratteli, Inductive limits of finite dimensional C" -algebras, Trans. Amer.
Math. Soc. 111 (1972), 195-234.
[H] M. Hamana, Injective Envelopes of Opemtor Systems, PubI. RIMS, Kyoto Univ.
15 (1979), 773-785.
[L] D. Larson, Structured Limit Algebras, This journal.
toP) J. Orr and J. Peters, Some representations 0/ TAF algebras, Preprint.
[PI] S. C. Power, Non-sel/-adjoint opemtor algebras and inverse systems 0/ simplicial
complexes, J. Reine Angewandte Mathematik 421 (1991), 43-61.
[P2] S. C. Power, Limit algebras; an introduction to subalgebras 0/ CO -algebras, Pit-
man Research Notes, Longman, 1992.
Department of Mathematics
University of Alabama
Tuscaloosa, AL 35487
INVERSE SEMIGROUPS, GROUPOIDS AND A
PROBLEM OF J. RENAULT
ALAN L. T. PATERSON
September 1992
Abstract
In [8], J. Renault showed that a topological groupoid G relates
to inverse semigroups through its ample semigrou.p Ga. In the case
when G is r-discrete, the semigroup G a is "large" and determines the
topology of G. The main theme of this paper is the following natural
problem which was raised by Renault : given an inverse semigroup
S (assumed, for convenience, unital) does there exist a (Hausdorff)
r-discrete groupoid G with S "determining" G as an inverse sub-
semigroup of G a ? What kind of uniqueness can we expect? Renault
shows that there exists such a groupoid in the case where S is the
Cu.ntz inverse semigrou.p On, the groupoid G in that case being the
Cu.ntz groupoid On.
We show that the answer to both questions is negative in general.
The natural class of groupoids associated with an inverse semigroup
S is that of S -grou.poids. Such groupoids are not always Hausdorff
but there always exists a faithful S-groupoid whose representation
theory is essentially the same as that of S. We describe briefly a
construction which produces this and many other S-groupoids.
1 Introduction
(4)
The elements r(u) and s(u) are called the mnge and source of
u.
82 A. L. T. Paterson
with a = al'" a r , 13 = 131 ... j3s and 1 ::; ai,j3j < n. The
involution is given by :
(Paqj3)* = Pj3Qa.
(aw, /3w, z)
with 0'., /3 as above. Given finite sequences 0'., /3 as above and an
open subset W of Y, we define Sa./3.w C On by :
w = (U 't/J(en)) U '¢(O).
00
n=l
3 Constructing S-groupoids
REFERENCES
DEPARTMENT OF MATHEMATICS
UNIVERSITY OF MISSISSIPPI
UNIVERSITY, MS 38677
On Banach Algebras Generated by
Two Idempotents
Y sette Weiss
A matricial analogue of the Gel 'fand map is constructed for the el-
ements of a unital Banach algebra generated by two idempotents. For
commutative unital algebras, the Gel'fand map realizes an imbedding into
the algebra of all continuous functions on a well-defined set, namely the
space of maximal ideals. Analogously, a semisimple algebra can be shown
to be isomorphic to a subalgebra of all continuous 2 x 2 matrix-valued
functions on a compact set with possible poles of order two at two points,
and continuous trace. Conditions for the semisimplicity of the algebra are
given, as well as a formula for the computation of the spectral radii of its
elements.
Introduction
The desire to describe the unital Banach algebras that are generated
by two idempotents is motivated by the Gohberg-Krupnik-Sarason symbol
calculus for algebras of Toeplitz, Hankel, Cauchy, and Carleman operators
on Lp- spaces (for a summary of this work, see [1]-[3]). The Calkin and
Allan-Douglas images of these algebras can be described with the aid of
extensions of various theorems on two projections. In these applications,
symbol maps are families of continuous representations and so the con-
struction of the symbol for the elements of the closure of a Banach algebra
generated by two projectors is not explicit but 'pointwise' as limit in the
representations in the induced factor norms. In this paper, we construct in
terms of the Gel'fand map a matrix symbol with continuous determinant
for all elements of the algebra. This symbol is continuous for the elements
of a dense subalgebra and continuous with possible poles of order two on
the closure of the algebra. For a C·-algebra generated by two orthogonal
projections, by using such properties as the positivity of certain elements,
this construction can be made into an imbedding of this algebra into the
algebra of all continuous 2 x 2 matrix-valued functions.
In order to construct the matricial analogue of the Gel 'fand map for
the unital Banach algebra generated by two idempotents p and q, we first
consider the free algebra U with identity generated by two elements p and
q with p2 = P and q2 = q. Using properties of U, we then construct a
set of representations {c/>T }TE17 of the algebra A = (p, q) of polynomials
in p and q. This algebra has the properties that it is the holomorphic
On Banach algebras 91
image of U and that it is dense in A = alg (p, q). The representations are
shown to be bounded and so extendable to the whole algebra A. The set of
representations is then parametrized in terms of G, the spectrum of (p_q)2,
which belongs to the center of A.
The spectrum G can then be endowed with the weak topology relative
to the space of maximal ideals of the subalgebra of A generated by (p -
q)2. Then for every a E A, the matrix-valued function ¢T(a)d:;JaCT) is
continuous at all of the points corresponding to irreducible representations,
and may have poles at two points, corresponding to the reducible (that is,
one dimensional) representations. The map A 1-+ A(T), T E G, is our
analogue of the Gel 'fand map.
(1.1 )
p 1-+ ( 1 +v
1 and q 1-+ ( I+V
-1
-t )
1- v .
[la, W,e] = 0
for all a, b, e E A.
Let
e2 =p-q
(1.3)
ea = p+q-e
e4 = [P, q) = pq - qp.
Then the identities
e22 -
- t, e~=I-t (1.4)
hold, and
(1.5)
(1.6)
In other words,
(1.8)
is our representation of U.
We note from (1.8) and (1.5) that the generators p and q of the free
algebra U correspond to the matrices
Theorem 2. If the points 0 and 1 are not in the a or are isolated points
of a, then the algebra A is isomorphic to a subalgebra of the algebra of
94 y. Weiss
and
(2.1)
are a basis in all factor spaces formed with these ideals. The matrix-valued
map (2.1), the elements of which were constructed with the help of the
Gel 'fand transform of the elements of commutative algebra, is now seen to
give an imbedding of A into the algebra of continuous 2 x 2 matrix-valued
functions, possibly with poles of order two at 0 or 1 (in the next section we
will give an example of an algebra with an imbedding constructed as above
which actually has such poles). Obviously, if 0 or 1 do not belong to or are
isolated points in a, then the matrix elements of the two dimensional rep-
resentations are continuous functions, and the map (2.1) defines for every
a E A a continuous matrix valued function on a \ {O, I}. The definition of
the one-dimensional representations depend on how many there are. There
may be two one-dimensional representations corresponding to the point
o and the eigenvalues {O,O} and {I, I} of the generating elements{p, q},
as well as two one-dimensional representations corresponding to the point
1 and the eigenvalues {l,O} and{O, I}. By using the equalities (1.6) and
(1.7), we get
and hence the continuity of the map (2.1). Recall that the trace is defined
by
(2.5)
By definition, this is continuous as a map from A to the continuous func-
tions on a \ {O, I}. We now show that the image of trT a is continuous on
all of a for any a E A. Indeed, if s is an eigenvalue of MT(a), then se - a
is not invertible in
(3.1)
where trTa and detTa are continuous functions defined by (2.6) and (2.7).
The proof of this result follows from the local principle of Allan-Douglas
(see [2], p.31), and the form of the functions involved. In fact, let a E A,
then a point sEC belongs to the spectrum of a if and only if there is a
point TEa with
det(MT(a) - s * e) = O.
96 Y. Weiss
The proof of the last equality may be found in [5]. Using this equality the
modulo maximal point of the spectrum of the element a can be computed
by formula (3.1).We also have the following corollaries.
Corollary 5. If (p - q)2 is not quasi nilpotent, and if 0 and 1 are not iso-
lated points of the spectrum of (p - q)2, then A = alg (p, q) is semisimple.
(~ ~) 1- r Vr( lr - r)) .
p= q = ( Vr(l- r)
Then it is not hard to see that the element
a = (-JT
VT=T VT=T)
JT
is in A and its symbol
References
L. A. Coburn
(*)
(**)
where, now, h is a (variable) positive real number and the operators A}h)
act on Hilbert spaces H(h)' [B2]' [RJ, [KL] also require norm continuity of
the map h --+ A}h), or at least that
(***)
IIT(r)T(r)
f 9
- T(r)
fg + !T(r) II < C(I ,g)-2
r ~(8jf)(8jg) (r) - r
It follows that
is unitary with
w(r)w:(r)
a b
= exp{iImb. a/4r}W(r)
a+b·
and these algebras are *-isomorphic for all r > O. Note that CCRr(C n ) is
so simple that we have the closed ideal lattice
CCRr(C n ) + Kr
I
Kr
I
(0)
The sup norm closure ofTP+Cgo is just the algebra AP+Co generated
by the almost-periodic functions and the continuous functions which vanish
at infinity. Thus, in roughly the sense of A. Connes, CCRr + Kr is non-
commutative AP + Co.
I provide next a very brief discussion of the [BC4 ] norm estimates.
Clearly, IITY)II(r) ~ 11/1100. Fixing r = 1/2 for convenience with T, =
r?/2), IIT,II(1/2) = IIT,II and
pt)(a) = (4rrt)-n r
len
l(w)e-la-wI2/4tdvw,
Berezin-Toeplitz quantization 105
For I positive (or real and semi-bounded), it is not hard to check that
j<t) is bounded if and only if j<s) is bounded for arbitrary s, t > O. It
follows for such I that Tf is bounded iff j(1/2) is bounded. This is an
earlier result of [BC3 ].
That j(1/2) should playa special role is not surprising since, for r = ~,
the normalized reproducing kernel functions are just
1 c~
.
Id/3= Lim (2T)2n
T-+oo
1 jT ... jT I(Zl, ... ,zn)dxldYl ... dYn
-T-T
where
1#9 = L Cadbeboa/2Xa+b.
a,b
Hence,
(f#9f = L Cadbeboa/2-la+bI3 /2 Xa+ b •
a,b
1cnB
Xc d/3 - -{O
1
c#o
C = O.
It follows that
Note that
Itr{A)1 ~ IIAlloo ~ IIAII
and that tr is a positive linear function on CCR{C n ) with tr{J) = l.
Letting T9k - B with gk trigonometric polynomials, we see that
{/k#gkf - {ABf
{gk#/kf - (BAf
uniformly so that
References
Department of Mathematics
SUNY at Buffalo
Buffalo, NY 14214 USA
Normal Elements ofa Simple C*-Algebra
George A. Elliott
Theorem. Let B be a simple C· -algebra, and let I{) and t/J be two injective
homomorphisms of A into B, where A = C([O, 1]). Suppose that B is unital,
Normal elements of a simple C*-algebra III
and that for every quasitrace T on B, the compositions Ttp and TtP are equal.
Assume that B satisfies one of the following three conditions:
(i) B is purely infinite;
(ii) B is of real rank zero and stable rank one, and the ordered group KoB
(see Theorem 3.1 of [14]) is weakly unperforated ([lJ, Definition 6.7.1;
for the non-simple case see 2.1 of [13]);
(iii) B is the inductive limit of a sequence of finite direct sums of ma-
trix algebras over commutative C* -algebras, the spectra of which have
bounded dimension (or slow dimension growth in the sense of [2]).
It follows that tp and tP are approximately unitarily equivalent (to
within an arbitrarily small tolerance).
Proof. Consider first the case (i). Note that, by [31], a purely infinite
simple C* -algebra has real rank zero. It is therefore sufficient to prove, for
each fixed integer n > 0, that two self-adjoint elements h and k of B with
spectrum the finite subset {m/n; 0 ~ m ~ n} ~ [0,1] are approximately
unitarily equivalent to within tolerance 3/n.
Since B is purely infinite (i.e., every non-zero projection is infinite),
by Theorem 1.4 of [10] the set of equivalence classes of non-zero projections
in B, with the natural addition, is a group, and the natural map into KoB
is an isomorphism. It follows in particular that any non-zero projection
in B is equivalent to part of any other non-zero projection, and also that
cancellation holds for equivalence classes of non-zero projections. Using
these two facts, it is possible to construct, step by step, as follows, a unitary
u with Ilk - uku*1I < 3/n.
First, with e(S) and f(S) denoting the spectral projections of hand
k corresponding to the set S, choose a partial isometry Uo from e( {O}) to
a subprojection of f( {O}), choose a partial isometry Vl from the comple-
ment of this projection inside f({O,I/n}) to a subprojection of e({I/n}),
choose a partial isometry U2 from the complement of this projection inside
e({I/n,2/n}) to a subprojection of f({2/n}), choose a partial isometry V3
from the complement of this projection inside f( {2/n, 3/n}), and continue
in this way as long as possible, ending with either a partial isometry be-
tween subprojections of e( {(n-I)/n, I}) and f( {I}) or of f( {(n-I)/n, I})
and e( {I}), depending on whether n is even or odd. It remains to note that
the first subprojection is a proper one, and that we may suppose that the
second subprojection is a proper one. Denote the relative complements of
these subprojections by p and q. The sum of uo, U2,··· and vi, vj,··· is a
partial isometry between I-p and I-q. Since both p and q are non-zero, by
cancellation for non-zero projections they are equivalent, and adding some
partial isometry in B taking ponto q (or q onto p) we obtain a unitary
u taking each minimal spectral projection e( {min}) of h into a subpro-
jection of the spectral projection f( {(m - I)/n, min, (m + I)/n}) of k. It
follows that Ilk - uhu*1I ~ 3/n. (For each spectral projection e({m/n}),
lI(k-uhu*)ue({m/n})u*1I ~ I/n, and if eO,el, and e2 denote the sum ofall
112 G.A. Elliott
°
states, and consider the subgroup generated by 9 and u, with the relative
order. If there exists n < such that mg + nu ~ 0, then mg > 0, and
°
by weak unperforation 9 > 0, as desired. If there is no such n, i.e., if
mg + nu ~ implies n ~ 0, then mg + nu 1-+ n is a state of the sub
ordered group, which extends to a state on the whole ordered group by
the Goodearl-Handelman Hahn-Banach theorem (Cf. [11]), and which is
zero on g, in contradiction with the hypothesis; therefore this case does not
arise.) (The following remark concerning terminology should perhaps be
° °
made here: The definition of weak unperforation given by Blackadar in [1],
that ng > for some n > implies 9 > 0, is presumably intended only for
a simple ordered group. (It happens that the ordered group KoB in the
present case is simple.) For a general ordered abelian group, the weak form
of unperforation defined in [13] agrees with that of Blackadar in the simple
case, and perhaps should constitute the definition of weak unperforation in
the non-simple case.)
It follows from these two facts, together with the result of [3] that in a
unital C*-algebra every positive functional on (the pre-ordered group) Ko
arises from a quasitrace on the C* -algebra, that if e and I are projections
in A such that T( e) < T(f) for every quasi trace T of A, then e is equivalent
to part of I.
It is now possible to proceed in very much the same way as above.
Let h and I: be self-adjoint elements of B with spectrum [0,1], such that
T(hr) = T(l: r ) for each r = 1,2"" and for each T E QT(B), i.e., for
each quasitrace T of B with T(I) = 1. Then as B is of real rank zero we
may approximate hand k by self-adjoint elements ho and 1:0 with finite
°
spectrum. We may suppose that, for some n, the spectra of ho and 1:0 are
both equal to {min; ~ m < n} ~ [0,1].
We may suppose, furthermore, that for each m with 1 ~ m ~ n -
1, and for each T E QT(B), T(eo([O,m/n]» < T(/o([O,(m + 1)/n])) and
T(fo([O, min]» < T( eo([O, (m + 1)/n])), where eo(S) and 10(S) denote the
projection-valued spectral measures of ho and 1:0, This is not obvious, but
can be seen in the following way.
First, note that if p and q are projections of B such that p ~ 9 and
g' ~ q for some g,g' E B such that p and 9 commute, g' and q commute,
and T(g) = T(g') for all T E QT(B), then
Furthermore, as B is simple and of real rank zero, T(Z) > 0 if Z > O. (To
see this, note that by considering the commutative sub-C· -algebra of B
generated by Z we may suppose that zy = yz = y for some y > 0, and
then passing to a projection in the hereditary sub-C· -algebra of B (which
still has real rank zero by [25]) we may suppose that y is a projection. But
since the set of projections on which T is zero is closed under equivalence,
orthogonal sum, and passing to subprojections, it is the set of all projections
in a closed two-sided ideal of B. Since T(l) = 1, and B is simple, this ideal
must be zero. Therefore, T(Y) > 0, and since z and y commute and z ~ y,
T(Z) > O. We conclude from this that, with P :$ 9 :$ q as above, if 9 is
distinct from either P or q, then in fact T(p) < T(q), T E QT(B).) Hence,
if, with P :$ 9 and g' :$ q as above, either of these inequalities is strict, then
Similarly,
-"
! !P1
-
!P2
B1 B2 - B,
-" -
! tPl tP2
B1 B2 - B.
The hypothesis that !P and tP determine the same map from Aff T A
to Aff TB, together with the decomposition Aff TB = lim- Aff TBi ,
implies that the maps from Aff T A to Aff T Bi determined by !Pi and tPi are
arbitrarily close on any finite subset of Aff TA for sufficiently large i. This
together with the fact that, as B is simple, each fixed non-zero positive
element of A must give rise under !P and tP to an element of Aff T B which
°
is strictly positive, and hence must give rise under !Pi and tPi to an element
of Aff T Bi which is larger than some fixed 6 > for all sufficiently large
i, implies that the hypotheses of the uniqueness result (Theorem 6) of [15]
hold for !Pi and tPi for all sufficiently large i, and in such a way that, for
large i, !Pi and (Adu)tPi are close on finitely many given elements of A for
Normal elements of a simple C*-algebra 115
some unitary u in Bi. Therefore, also !P and (Adu),p are close on these
elements, as desired.
Note that, except for the quite straightforward use of simplicity of
B, the only use of the proof of the classification theorem made here is
the application of the uniqueness result for maps between basic building
blocks, Theorem 6 of [15]. Furthermore, it is clear that, to prove the present
theorem in the full generality of case (iii), in which the spectra of the C·-
algebras Bl, B2,··· are compact metric spaces of bounded dimension (or
of slow dimension growth in the sense of [2]), it is sufficient to establish a
suitable generalization of Theorem 6 of [15]. Such a generalization (with a
somewhat less sharp estimate) is as follows.
Let Bo be a finite direct sum of matrix algebras over unital com-
mutative C·-algebras, the spectra of which are compact metric spaces of
dimension at most d < 00. Let !PI and !P2 be homomorphisms of A into Bo.
Suppose that !PI(I) and !p2(1) have the same Ko-class in B o, and that the
images of !PI(I) and !P2(1) in any primitive quotient of B have both dimen-
sion and codimension at least d12. Let 6 > 0 and n = 1,2,··· be such that,
with h (= t 1-+ t) the canonical self-adjoint central generator of A, the im-
age of both !PI (h) and !P2( h) in each primitive quotient of Bo have at least
fraction 6 of their eigenvalues in each of the canonical open subintervals of
[0,1] of length lin. Suppose also that the absolute number of eigenvalues
in each such interval is at least 3d + 2. Suppose that for each of the n
continuous functions on [0,1] which are linear and increasing from 0 to 1
on the canonical subintervals of length lin, and constant elsewhere, the
corresponding function of h has approximately the same value, to strictly
within 6, on the functionals T!PI and T!P2 for each tracial state T of Bo. It
follows that !pI(h) and !p2(h) are approximately unitarily equivalent in B o,
to within 57In.
This uniqueness result is seen as follows. Exactly as in the proof of
Theorem 6 of [15], one has that the eigenvalues ofthe images of !PI (h) and
!P2(h) in each primitive quotient of B o, when considered in increasing order,
counting multiplicity, are within 3/n of each other.
By Theorem 8.1.5 of [20], the hypothesis on the dimension and codi-
mension implies that !PI(I) and !P2(1) are unitarily equivalent. We may
=
therefore pass to the case that !Pl(l) !P2(1) 1. =
By Lemma 1.5 of [26], perturbing !PI (h) and !P2(h) by small amounts,
we may suppose that any eigenvalue of the image of !PI (h) or !P2( h) in any
primitive quotient of Bo has multiplicity at most d.
Passing to a direct summand of B o, we may suppose that all primitive
quotients of Bo are isomorphic.
Numbering the eigenvalues of !PI (h) as ~I' ~2' ... in increasing order,
with multiplicity, consider the eigenvalues ~l' ~l+P' ~1+2p, ... , where p =
3d+2. The distance between any two of these is at most 2/n (since at least
3d + 2 eigenvalues are contained in each canonical open subinterval of [0,1]
oflength lin, and therefore in any subinterval oflength 2/n). Furthermore,
the number of eigenvalues strictly less than ~(Hl)p is at least (k + l)p - d,
116 G.A. Elliott
and the number of eigenvalues less than or equal to "\ip is at most kp+d-1.
Hence, as (5d + 1)/2 < p, with 1= (k + l)p - d we have that I is less than
or equal to the dimension oUhe spectral projection ~+1(t) of 'Pl(h)(t) for
the interval] - 00, ..\(Hl)p(t)[, and I is strictly greater than (d + 1)/2 plus
the dimension of the spectral projection Qi(t) of 'Pl(h)(t) for the interval
] - 00, ..\ip(t)]. It follows by the projection selection theorem of [4] that
there exists an I-dimensional projection Ri in Bo contained between Qi
and PH1. The projections Si = Ri - Ri-l (where no = 0) are then
orthogonal, and enlarging the last Si by the complement of the sum of all
of them, we have
E
lI'Pl(h) -
i
"\ip Sill < 4/n .
Proof. Consider first the case (i). Suppose, first, that the (common) K I -
class of u = ip(z) and v = ",(z) is zero, where z (= z 1-+ z) denotes the
canonical unitary generator of A. Then, by [23], as B has real rank zero
(Cf. proof of Theorem 2(i», both u and v can be approximated by unitary
elements with finite spectrum. The proof may then be completed as in the
case of Theorem 2(i). (Alternatively, the conclusion may be deduced from
that theorem.)
Now let the K I-class of U and v be non-zero. As B has real rank zero,
for any n = 1,2,··· u and v are arbitrarily close to direct sums UI $ U2
and VI $ V2 with SpU2 = SpV2 = {e 2... im / n jO $ m < n}. (It is enough
to consider the case n = 1. By [7], there is a projection in B separating
the spectral projections of u in B·· corresponding to a small open arc in
'll' containing 1 and an open arc disjoint from this and of length close to
211". If the length of the large arc is close enough to 211" then this projection
approximately commutes with u and its product with u has spectrum close
to 1. Hence u is close to a unitary UI $U2 with Sp U2 = {I}.) Let us choose
the approximations so that U and v are within lIn of UI $ U2 and VI $ V2.
Using the result ofCuntz that any projection in B is equivalent to part
of any non-zero projection (Cf. proof of Theorem 2(i», choose a projection
p such that the support of U2 is the sum of p and projections equivalent to
the supports of UI and VI, so that we have a unitary
Since the spectrum of ui $ Vt $ p is 'll' but this partial unitary has K t-class
equal to zero, by the first paragraph above ui $ til $ P is approximately
unitarily equivalent to U2 = u2(n) to within tolerance 2/n. Similarly, writ-
ing
118 G.A. Elliott
and noting that by cancellation for non-zero projections (Cf. proof of The-
orem 2(i)) the support of ut ED UI ED P is equivalent to the support of V2,
we may identify these supports and apply the first paragraph above to
conclude that ut ED UI ED P is approximately unitarily equivalent to V2 =
v2(n) to strictly within tolerance 2/n. In other words, w is approximately
unitarily equivalent both to UI ED U2 and to VI ED V2 to within tolerance
2/n. It follows that U is approximately equivalent to V to within tolerance
l/n + 2/n + 2/n + l/n = 6/n. Since n is arbitrary the assertion is proved.
Consider next the case (ii). Suppose, first, that the (common) K 1-
class of U = /f>(z) and v = .,p(z) is zero. Then by [23], U and v can be
approximated by unitary elements Uo and Vo with finite spectrum. We may
suppose that, for each tracial state T of B, the value of T is approximately
the same on each of finitely many continuous functions acting on Uo and on
Vo. Hence, by an argument similar to that in the proof of Theorem 2(ii),
we may suppose that, for any given !, for each T E T(B) and each open arc
S~,]["
where Sf denotes the arc in '][' consisting of all points in '][' within the open !-
neighborhood of Sin C, and eo and /0 denote the projection-valued spectral
measures of Uo and Vo. Since Aff T(B) = lim ..... Aff T(B;), it follows that,
on choosing uo and Vo to belong to some B;, the preceding inequalities hold
for T E T(Bj ) if j ~ i is sufficiently large. In particular specializing to an
extreme tracial state of B j , by Proposition B of [19] we conclude that Uo
and Vo are approximately unitarily equivalent, to within tolerance £, in any
primitive quotient of B. Since Uo and Vo have finite spectrum, B j has a
direct sum decomposition such that, in each direct summand, Uo and Vo
are linear combinations of projections of constant dimension over primitive
quotients. The assumption that elements of KoB are separated by tracial
states of B implies that two projections in Bj have the same Ko-class in B
if they have the same dimension in each primitive quotient of Bj (because
then they have the same value on each tracial state of Bj, and hence on each
tracial state of B- since each tracial state of B restricts to a trace of Bj).
It follows by cancellation (Cf. proof of Theorem 2(ii)) that two projections
in Bj that are equivalent in each primitive quotient of Bj are equivalent
in B. The proof of Proposition B of [19] then shows that Uo and Vo are
approximately unitarily equivalent to within £, not only in each primitive
quotient of Bj, but also in each of the direct summands considered above
(for each of them consider the eigenprojections of uo and Vo in this direct
summand, as multiples up to equivalence in B of minimal projections in
the algebra of matrices in this direct summand with scalar entries, instead
of the eigenprojections in the primitive quotients).
Normal elements of a simple C*-algebra 119
Choose some unitary w with support strictly less than one half of each
spectral projection of U2 or V2 (inside the support of U2 or V2, that is) on
each tracial state of B, and with the same Kl-class as U and v (and UI and
vt). Using that a projection in B is equivalent to a subprojection of another
if it is strictly smaller on every tracial state (Cf. proof of Theorem 2(ii»,
and that w· ED w can be approximated by a unitary with finite spectrum
inside its support in B ([23]), we have that UI ED U2 is within 21r/n of
UI ED w· ED w ED u~ where Spu~ = {e2rim/n j 0 $ m < n}, and hence is within
41r/n of w ED Wi where Spw' = {e2rim/njO $ m < n}. Similarly, VI ED V2 is
within 41r/n ofwEDw" where Spw" = {e2rim/njO $ m < n}. Since finitely
many functions of UI ED U2 and VI ED V2 agree approximately on T B, this is
also true for w ED Wi and w ED wIt if n is large, and hence also for Wi and
wIt. By the case of zero K I-class considered above, Wi and wIt are close to
being unitarily equivalent if n is large. Hence so also are the pairs wED w'
and wED wIt, UI ED U2 and VI ED V2, and, finally, U and v.
Now, consider the case (iii). This follows, as we shall see, from the
proof of the classification theorem for simple unital inductive limits of direct
sums of matrix algebras over G('!r), given in [16], in much the same way
as Theorem 2(iii), in the special case that B is an inductive limit of direct
sums of matrix algebras over G([O, 1]), follows from [15] (which considers
the special case of the classification theorem with [0,1] in place of 1r). The
proof of the classification theorem in the case of circles is more intricate than
in the case of intervals, and the reduction of the present uniqueness result
to the uniqueness result for maps between basic building blocks (Theorem
4 of [16]) is not quite as immediate as in the case of Theorem 2(iii). (A
preliminary step is required.) The reduction is carried out as follows.
First, as in the proof of Theorem 1 of [16], express B as the inductive
limit of a sequence BI -+ B2 -+ " ' , with each Bi a finite direct sum
of matrix algebras over G(T), in such a way that each partial map from
a minimal direct summand of Bi to a minimal direct summand of Bi+l
has the following property: it takes the canonical unitary central generator
into a (partial) unitary which either has constant determinant (inside its
support) or, in the case that its K I-class is non-zero, is approximately
constant (in the sense of 5.2 of [14]), to within a tolerance to be specified.
As in the proof of Theorem 2(iii) , we have approximately commutative
diagrams
120 G.A. Elliott
A
1 <PI
-- --
'\. <P2
Bl B2 -- B,
--
1 t/Jl '\.
--
t/J2
Bl B2 -- B.
Theorem. Let B be a simple unital C· -algebra, and let <P and t/J be
two injective unital homomorphisms of A into B, where A = C(X) with
X a conn~cted compact subset of C. Suppose that <P and t/J agree on KIA.
Suppose that B is purely infinite.
It follows that <P and t/J are approximately unitarily equivalent.
evaluations, by which is just meant that <p(z) and 1/J(z) are approximible
by normal elements with finite spectra, contained in X. Furthermore, the
points of X in question must be arbitrarily close to being dense in X. It
follows that there are close approximations to <p and 1/J involving the same
finite subset of X. Adding some extra points if necessary (splitting some
points), we may number this finite set in such a way that consecutive points
are close. The proof may now be carried out in the same way as in the case
considered in Theorem 2(i) (in which the finite set is {min; 0 ~ m ~ n},
in case the number of points is n + 1).
To deal with the case of arbitrary Ki-map, note first that, expressing
C(X) as the inductive limit of a sequence C(Xt} -+ C(X2) -+ ... where
each Xi is a connected finite CW-complex of dimension at most two em-
bedded in C (Cf. Theorem 1.13.5 of [18]) we may suppose that X is already
such a space. (One may pass to inductive limits in all the uniqueness re-
sults in this paper.) The purpose of this reduction is in order to construct
another map C(X) -+ B which has the opposite action on Ki - so that
we may finish the proof as in the case of Theorem 3(i).
Let, therefore, X be as in the preceding paragraph, and let us con-
struct an injective map C(X) -+ B giving rise to an arbitrary map
p: Ki(C(X)) -+ KiB. We may start with one of the given maps, and mod-
ify it (we do not have to start from scratch). Replace the given map <p by
the map (: Z 1-+ v<p( Z )v· where v is a proper isometry in B, and note that
«1) is a proper projection. For each hole in X, note that the boundary is
homeomorphic to 1l', and add a direct summand to ( which factors through
a map from the algebra of continuous functions on this boundary, which
maps the canonical generator of Ki into the element of KiB associated by
p to this hole, minus the K i-class of B associated by ( to this hole. (Recall
that K l(C(X)) consists of a direct sum of copies of~, one for each hole in
X.) The resulting map, ( plus the direct sum of orthogonal maps, one for
each hole, chosen in this way, has the desired Ki class.
The proof may now be finished in the same way as for the analogous
Theorem 4(i) (with ( in place of the map C(1l') -+ B corresponding to ui).
References
Department of Mathematics,
University of Toronto,
Toronto, Canada M5S 1A1
Mathematics Institute,
Universitetsparken 5,
2100 Copenhagen 0, Denmark
A GELFAND·NAIMARK THEOREM FOR C*-ALGEBRAS
ICHIRO Fu JIMOTO
Introd uction.
Since the memorial work by I.M. Gelfand and M.A. Naimark [22], there have
been various attempts to generalize the beautiful representation theorem for
non-commutative C*-algebras (see e.g. [12] and its bibliography). Among them,
one notable direction was the approach from the convexity theory, initiated by
R.V. Kadison finding a functional representation of a C*-algebra on the w*-
closure of the pure states as an order isomorphism in the context of Kadison's
function representation theorem (cf. [23]). This motivated the abstract Dirichlet
problem for the extreme boundary of compact convex sets (cf. [2,3]), and the
duality arguments on the pure states for C*-algebras by F.W. Shultz [28] in the
context of Alfsen-Shultz theory, which was further developed in C.A. Akemann
and F.W. Shultz [1] based on Takesaki's duality theorem (cf. [8], [30]). Another
important approach was initiated by J.M.G. Fell [14] using the fiber bundle
theory, and culminated in the Dauns-Hofmann theorem [11] (cf. also [13]),
where they showed that every C*-algebra is *-isomorphic to the C*-algebra of
all continuous sections of a C*-bundle over the spectrum of the center of its
multiplier algebra.
Our purpose in this paper is to present a generalized Gelfand-Naimark theo-
rem for non-commutative C*-algebras on the extreme elements of the CP-state
space in the sense of CP-convexity, or the irreducible representations of the al-
gebra, which interpolates the above mentioned approaches and recovers both of
the algebraic and affine geometric aspects of the duality. As applications, we
discuss the abstract Dirichlet problem for the CP-extreme boundary, and pro-
pose a generalized spectral theory for non-normal operators, which show that
our duality generalizes the same situation of the commutative case.
The detailed version of this paper has been submitted for publication elsewhere.
A Gelfand-Naimark theorem for C*-algebras 125
1. Preliminaries.
",EA "'EA
where the sum converges in the BW-[resp. BS-] topology (Le., the pointwise
weak [resp. strongJ convergence topology), which we abbreviate in the following
by
'¢ = CP - L S:,¢",S",.
"'EA
We note that this CP-convex combination is a natural notion in the C*-algebraic
approach in quantum physics to describe interactions of physical systems (cf. e.g.
[4], [10], [25], [26]).
We denote by Rep(A) [resp. Repc(A),Irr(A)J the set of all [resp. cyclic,
irreducible] representations, and we write Rep(A : H) etc to specify the Hilbert
space H in which the representations are confined. We define the support H",
of'¢ = V*1I"V E CP(A,B(H)) by the support of'¢(A) in H, i.e., H",:= [IVIH],
and denote by p", the projection of H onto H ",. We also define the cyclic [resp.
irreducible] dimension of A by
Qc(A) [resp. Qi(A)] := sup {dim Hrr; 11" E Repc(A) [resp. Irr(A)]}.
I is called bounded if 11/11 = sup{lI!( 1/J )11; 1/J E Q H(A)} < 00. We denote by
AB(QH(A), B(H)) the set of all bounded CP-affine functions from QH(A) to
B(H), and by AC(QH(A), B(H)) the set of all BW-w (or BS-s) continuous
elements. Then the CP-duality theorem [17; Th.2.2] states that, if dimH >
Qc(A), then
A ~ AC(QH(A), B(H)) (* -isomorphism),
which is shown to be well-defined (cL [17] for details). This CP-duality theo-
rem generalizes Kadison's function representation theorem with recovering the
full C*-structure. If A and Bare C*-algebras and H is a Hilbert space with
dimH ~ sup{Qc(A), Qc(B)}, then QH(A) and QH(B) are CP-affine BW (or
BS) homeomorphic if and only if A and Bare *-isomorphic ([17; Th.3.2]). This,
together with Kadison's result on state spaces with scalar convexity in [24], can
be illustrated as
2. CP-extreme states.
We first note that the scalar convexity is not suitable for the extremal problem
of the CP-state space Q H(A), as it can be easily seen that every representation
7l" E Rep(A: H) is an extreme point ofQH(A), while 7l" may have a direct sum de-
composition 7l" = EB a 7l"a = 2:,,,,Pa7raP,,, where Pa := P"''' (cL [19]). This indicates
that there are many decompositions of CP-maps which cannot be described by
scalar convex combination, but can be described by CP-convex combination.
We define the extreme elements of the CP-state space in the sense of CP-
convexity as follows.
A Gelfand-Naimark theorem for C*-algebras 127
This theorem shows that the CP-extreme boundary DH(A) consists of pure
approximately unital CP-maps (u'u = IH with dimH < dimH",No) and ir-
reducible representations of A on H (uu* = IHT with dimH ;:::: dimH,,). The
following result shows that our CP-convexity indeed interpolates the gap be-
tween algebraic theory and convexity theory.
3. CP-Gelfand-Naimark theorem.
We denote by AE(X, B(H)) the set of all bounded equivalent functions from
X to B(H), and by A~(X, B{H)) the set of all c-continuous elements, where c
denotes the weak (c = w), strong (c = s) or strong* (c = SO) topology in B(H),
and note that the pointwise weak, strong and strong* convergence topologies
coincide on Rep(A : H) (cf. [8], [30]). In particular, we write A~(X, B(H)) for
the set of all uniformly c-continuous elements.
The following theorem was first proved by Akemann-Shultz
,.
[1] for larger
Hilbert space Hand sO-continuous functions, which can be improved using L.G.
Brown's recent result on Shultz's theorem in [9] as follows.
(*-isomorphism),
We note here that, since dimH ~ sup{oc{A), No} ~ inf{o;(A), No}, we have
DH(A) = Irr(A: H) by Corollary 2.3. (If A is separable, we can take an infinite
dimensional separable Hilbert space H, i.e., dimH = No.) We can now state our
main theorem, Le., the generalized Gelfand-Naimark theorem for C*-algebras
on the CP-extreme boundary DH(A) = Irr(A: H).
Theorem 3.3. Let A be a C*-algebra and H be an infinite dimensional Hilbert
space with dimH ~ oc(A). Then,
Sketch of Proof. Let 11" E Irr(A : H)c, then there exists a net (11"",) in Irr(A: H)
such that 11"", -+ 11". For / E A~(Irr(A: H), B(H)), (/(11"",)) is a bounded Cauchy
net in B(H) in the c-topology, hence by the uniform boundedness principle there
exists a limit in B(H) in the c-topo!ogy, which we denote by c -lim", /(11"",). Let
us define the extension of / by
We can easily see that this definition of i' does not depend on the choice of
the net (11"",) converging to 11", and that i' is c-continuous on Irr(A: H( The
fact thati' is equivalent can be proved using techniques in [8]. Obviously, the
extension map / E A~(Irr(A : H),B(H)) ...... i' E A~(Irr(A: H)c,B(H)) is
one to one and onto, and is a *-isomorphism, hence our assertion follows from
Theorem 3.2. 0
5. CP-spectral theorem.
theorem we have C*( a) 3! Co(0"( a)) 3! Cu( 0"( a)). We shall generalize this spectral
theorem to the non-commutative case.
It is not difficult to see that the map a: 1l' E Irr(C*(a) : H) -> 1l'(a) E O"H(a)
is uniformly homeomorphic with the strong* topology in O"H(a).
Gc(C*(a)). Then
(*-isomorphism),
It would be interesting to see the relation of this result with some other
attempts toward non-commutative spectral theory, such as matricial range and
spectrum which was initiated in [6].
REFERENCES
1. C.A. Akemann and F.W. Shultz, Perlect C*-algebms, Memoirs Amer. Math. Soc. 326
(1985).
2. E.M. Alfsen, On the Dirichlet problem 01 the Choquet boundary., Acta Math. 120 (1968),
149-159.
3. E.M. Alfsen, Compact convex sets and boundary integmls, Springer Verlag, Berlin-Heidelb-
erg-New York, 1971.
4. R. Alicki and K. Lendi, Quantum Dynamical Semigroups and Applications, Lecture Notes
in Physics, No. 286, Springer-Verlag, Berlin-Heidelberg, 1987.
5. W.B. Arveson, Subalgebms 01 C*-algebms, Acta Math. 123 (1969), 141-224.
6. W.B. Arveson, Subalgebms 01 C*-algebms II, Acta Math. 128 (1972), 271-308.
7. C.J.K. Batty, Semi-perlect C*-algebms and the Stone- Weierstmss problem, J. London
Math. Soc. (2) 34 (1986), 97-110.
8. K. Bichteler, A genemlization to the non-sepamble case 01 Takesaki's duality theorem lor
C*-algebms, Inventiones Math. 9 (1969), 89-98.
9. L.G. Brown, Complements to various Stone- Weierstrass theorems lor C*-algebms and a
theorem 01 Shultz, Commun. Math. Phys. 143 (1992), 405-413.
10. E.B. Davis, Quantum Theory 01 Open Systems, Academic Press, London, 1976.
11. J. Dauns and K.H. Hofmann, Representation 01 rings by sections, Mem. Amer. Math. Soc.
83 (1968).
12. R.S. Doran and V.A. Victor, Chamcterizations 01 C*-algebms; The Gelland-Naimark
theorems, Marcel Dekker Inc., New York and Ba.sel, 1986.
13. M.J. Dupre and R.M. Gillette, Banach bundles, Banach modules, and automorphisms 01
C*-algebms, Pitman, London, 1983.
14. J.M.G. Fell, The structure 01 algebms 01 opemtor fields, Acta Math. 106 (1961), 233-280.
15. 1. Fujimoto, CP-convexity and its applications, Ph.D. dissertation, University of Florida,
1990.
16. I. Fujimoto, CP-duality lor C*- and W*-algebras, In W.B. Arveson and R.G. Douglas
(eds.), Operator Theory/Operator Algebras and Applications, Proc. Symposia in Pure
Math. 51 (1990), Part 2, 117-120.
17. I. Fujimoto, CP-duality lor C*- and W*-algebms, J. Operator Theory, to appear.
18. I. Fujimoto, A Gelland-Naimark theorem lor C*-algebms, submitted for publication.
19. 1. Fujimoto, Decomposition 01 completely positive maps, submitted for publication.
20. 1. Fujimoto, CP-extreme and lacial structure 01 CP-state spaces, in preparation.
21. 1. Fujimoto, The geneml Stone- Weierstrass problem in CP-convexity theory, in prepara.-
tion.
22. 1.M. Gelfand and M.A. Na.imark, On the embedding 01 normed linear rings into the ring
olopemtors in Hilbert space, Mat. Sbornik 12 (1943), 197-213.
23. R.V. Kadison, A representation theory lor commutative topological algebm, Memoires
Amer. Math. Soc. 7 (1951).
24. R.V. Kadison, A genemlized Schwarz inequality and algebmic invariants lor opemtor
algebms, Ann. of Math. 56 (1952), 494-503.
25. K. Kraus, Geneml state changes in quantum theory, Ann. of Physics 64 (1971), 311-335.
26. K. Kraus, States, Effects, and Operations, Lecture Notes in Physics, No. 190, Springer-
Verlag, Berlin-Heiderberg, 1983.
A Gelfand-Naimark theorem for C*-algebras 133
27. V.1. Paulsen, Completely bounded maps and dilations, Longman Scientific & Technical,
Essex, 1986.
28. F.W. Shultz, Pure states as a dual objects for C*-algebras, Commun. Math. Phys. 82
(1982), 497-509.
29. W.F. Stinespring, Positive functions on C*-algebras, Proc. Amer. Math. Soc. 6 (1955),
211-216.
30. M. Takesaki, A duality in the representation theory of C*-algebras, Ann. of Math. 85
(1967), 370-382.
31. M. Takesaki, Theory of operator algebras I, Springer-Verlag, New York-Heidelberg-Berlin,
1979.
The space HB is called the standard Hilbert module over B and A may be
identified with the "compact" operators on HB. Then M(A) is the set of all
bounded module maps on HB with adjoints.
We have the following commutative diagram:
0 -+ A -+ E -+ B -+ 0
II t tT
0 -+ A -+ M(A) -+ M(A)/A -+ 0
Weyl-von Neumann- Berg Theorem that gives the needed information about
trivial extensions when A = J( and B = C(X). In the first part of this talk,
we will present some generalized Weyl-von Neumann Theorems.
Let T be a self-adjoint operator on an infinite-dimensional, separable
Hilbert space. The classical Weyl-von Neumann Theorem says that for f > 0,
there are a diagonalizable self-adjoint operator D and an operator k E J( such
that
T = D + k with IIkll < f.
We say that the generalized Weyl-von Neumann theorem holds in M(A),
if for any self-adjoint element x E M(A) and any f > 0, there exist an
(increasing) approximate identity {en} for A consisting of projections and a
bounded sequence {An} of real numbers such that
00
x=LAn(en-en-d+a (eo = 0)
n=l
for each f E C(X), where 11" is the quotient map from M(A) to M(A)/A.
138 R.Lin
and
'YO(T) : Ko(B) -+ Ko(C).
Let Homo(I(*(B),K*(C)) be the set of those homomorphisms from Ki(B)
to Ki(C) (i = 0,1) which maps the image of the identity of B in Ki(B)
The generalized Weyl-von Neumann theorem 139
r: Ext(C(X), A) - t Homo(K.(C(X)),K.(M(A)/A))
is a bijection. Furtheremore, an extension T E Ext(C(X), A) is trivial if and
only if /1 (T) = 0, and every trivial extension is totally trivial.
Remark 8. we would like to make the following remarks:
(i) The C·-algebra A in Theorem 7 is not stable.
(ii) Suppose that TI, T2 E Ext(C(X), A). Then Tl is (unitarily) equivalent to
T2 if and only if /1(Td = /1(T2) and ,0(Td = 'oh). So the map /0 is used
to distinguish trivial extensions.
One may ask how much we know about K.(M(A)/A) when A is not
stable. Fortunately, in this case, we can compute K.(M(A)/A). Set
Ko(M(A)/A) ~ R/T(A).
Let inf(Ko(A) denote the set of infinitesmal elements of Ko(A). Then we
proved (in [LinS, 12]) that
Kl(M(A)/A) ~ inf(Ko(A)).
140 R.Lin
~ Homo(Z E9 Z,R/Q E9 Q) ~ Q.
In particular, there is only one unitary equivalence class of (totally) trivial
extensions. However, if X is the Contor set, then every extension is totally
trivial, but
References
[eu 1Cuntz, J., K-theroy for certain C*-algebras, Ann. of Math., 113 (1981),
181-197.
[HR 1Higson, N. and R4>rdam, M., The Weyl-von Neumann Theorem for
multipliers of some AF-algebras, Can. J. Math., 43 (1991) 322-330.
[Lin2 1Lin, H., Simple C*-algebras with continuous scales and simple corona
algebras, Proc. Amer. Math. Soc., 112 (1991), 871-880.
142 R.Lin
[Lin8 1Lin, H., Notes on K-theory of multiplier algebras and corona alge-
bras, preprint
[Lin9 1Lin, H., Extensions by C* -algebras of real rank zero II, in prepara-
tion.
[LZ 1Lin, H. and Zhang, S., Infinite simple C*-algebras, J. Funct. Anal.,lOO
(1991), 221-231.
[PI 1Phillips, N. C., Simple C*-algebras with property weak (FU), Math.
Scand., 69 (1991), 127-181.
[RS 1Rosenberg, J. and Schochet, The Kunneth theorem and the univer-
sal coefficient theorem for Kansparov's generalized K - functor, Duke
Math., 55 (1987), 431-474,
The generalized Weyl-von Neumann theorem 143
[Z2 1Zhang, S., Certain C·-algebras with real rank zero and their corona
and multiplier algebras, Part I, Pacific J. Math., 155 (1992),169-197.
[Z3 1Zhang, S., Trivial /(l-f!.OW of AF algebras and finite von Neumann
algebras, J. Funct. Anal. 92 (1990) 77-91.
[Z4 1Zhang, S., A Riesz decomposition property and ideal structure of mul-
tiplier algebras, J. Operator Theory 24 (1990), 209-225.
Department of Mathematics
The State University of New York
at Buffalo
Buffalo, New York 14214
U.S.A.
The cb-norm of a derivation
MARTIN MATHIEU
ABSTRACT
The completely bO\Ulded nonn of an inn.,.. derivation of a C"-algebra is determined in terms
of the central Haagerup tensor nonn_ As a consequence, it is equal twice the distance of an
implementing element to the center of the local multiplier algebra.
1. Introduction
Let us start this paper with a warning to the reader. Albeit indicated by the
title, we will not attempt to calculate the completely bounded norm (cb-norm) of an
arbitrary derivation 6 of a C*-algebra A on a Hilbert space H, nor to decide when
6 is completely bounded. The latter is well known to be equivalent to the possibility of
extending 6 to the whole of B(H), and this, so far, can only be done under additional
assumptions on A, see e.g. [10]. Rather than that we shall assume that 6 maps A
into A again, which makes it completely bounded automatically (as it is inner in A"),
and even more restrictive, we will suppose that 6 is inner in the multiplier algebra
M(A) of A. In this case, however, the cb-norm of 6 can be determined by the central
Haagerup norm of 1 ® a - a ® 1, where a E M(A) is an element implementing 6.
Henceforth, 6" will denote the inner derivation z H za - az (z E A). One of
the first who calculated the norm of 6" seems to have been Stampfli [20] showing that
=
116" II 2 d( a, C) where d( a, C) denotes the distance of a to the scalar multiples of 1,
if A = B(H). It follows immediately that this formula remains true if A is a primitive
C*-algebra and a E M(A). This can be pushed to the case of prime C*-algebras by
standard methods, see [12, Proposition 2.23], but now reaching the utmost since, even
when replacing d(a, C) by the distance to the center Z(M(A)), in general, 116,,11 will
be smaller than 2d(a,Z(M(A))) [16]. However, if the center is well- behaved, things
=
improve again. It was proved by Zsid6 [21] that 116,,11 2d(a,Z(A)) whenever A is
a W*-algebra (with partial results obtained earlier in [13], [14], and [16]), and this was
extended to AW*-algebras by Halpern, see [11]. In Theorem 3.6 below, we shall obtain
This paper is part of a research project supported by the DAAD. It is in final fonn and no version
of it will be published elsewhere.
1991 Mathem"tic. Subject Cl"..ific"tio,,: 46L57; 47B47.
The cb-norm of a derivation 145
for some basic properties of the Haagerup norm 11·11" and the Haagerup tensor prod-
uct see [8] and [11], for example. This representation 0 is isometric into the space
(CE(A), 11·11<6) if and only if A is prime (the reason for this is that the prime C*-
algebras are precisely those for which the center Z of the local multiplier algebra (to
be defined below) is one-dimensional).
We define two ideals J and i as the ideal respectively the closed ideal generated by
l®z-z®l, z E Z(M(A», in M(A)®M(A) respectively M(A) 0" M(A). The central
Haagerup tensor product M(A) 0z" M(A) is then defined to be M(A) 0" M(A)/i,
which coincides with the completion of M(A) 0 M(A) / J with respect to the quotient
norm induced by the Haagerup norm, if J is closed in M(A) 0 M(A). In any
case, M(A) 0 M(A) /J is nothing but the tensor product M(A) 0Z(M(A)) M(A) as
Z(M(A»-bimodules. Since 0 is a Z(M(A»-bimodule map, it induces a bimodule
homomorphism
Oz: M(A) 0z" M(A) --+ CE(A)
In fact, as examples show, {}z is not always isometric [9]. However, the following
was obtained in [6, Theorem 3.7].
Theorem 2.1. For every boundedly centrally closed C*-algebra A the canonical
homomorphism (}z is an isometry from M(A) ®z Ia M(A) into CB(A).
This result had been proven for von Neumann algebras on a separable Hilbert space
as well as for C*-algebras whose primitive spectrum is Hausdorff in [9, Theorems 2.4
=
and 3.1] extending previous work by various authors (in particular the case A B(H)
which was first treated by Haagerup). Rather than giving all the pertinent references
here, we refer the reader to [6].
In order to explain the notion of a boundedly centrally closed C*-algebra we need
to introduce the concept of the local multiplier algebra. If 1t.I2 are closed essential
ideals in A such that 12 ~ It then, by the universal property of the multiplier algebra
of h there is a unique injective *-homomorphism P12:M(It) -> M(I2) extending
the inclusion 12 ~ It. We may think of P12 as "restricting the multipliers to 12 ".
The direct limit ~ M(I) of this system {M(I)jP12, 12 ~ It} of C*-algebras and
isometric *-homomorphisms indexed by the directed set of all closed essential ideals in
A is called the local multiplier algebra of A and denoted by Mloc(A). The direct
limit ~ Z(M(I» of the centers Z(M(I» of M(I) with corresponding isometric
*-homomorphisms will be denoted by Z, and it coincides with the center Z(Mloc(A»
of Mloc(A), by the local Dauns-Hofmann theorem [5, Theorem 1].
We define the bounded central closure C A of A by AZ, which is a C*-subalgebra
=
of Mloc(A), and call A boundedly centrally closed if A cA. There are the following
characterizations of these C*-algebras, see [6].
lIuliz II = sup
. 111I"(u)lI" (1)
where the supremum is taken over all irreducible representations 11" of A and 1I"(u)
is an abbreviation for (11" ® 1I")J(u), the induced representation of M(A) ® M(A) /J
evaluated at u [6, Theorem 3.5].
The cb-norm of a derivation 147
3. Application to derivations
The results in the previous section immediately yield the following description of
the cb-norm of an inner derivation.
Theorem 3.1. Let A be a boundedly centrally closed C*-algebra. For each a E M(A)
we have that
To obtain further information, one may apply Stampfli's result which yields
1Ic5.. (a)lIcb = 2 d( lr( a), C) for all lr together with the isometric property of () in the
case of primitive C*-algebras, i.e. 1Ic5.. (a)lIcb = 1110lr(a) - lr(a) 0 111h.
Lemma 3.3. For each a E B(H) we have 1110 a - a 0 111h =2 dCa, C).
PROOF. For all ,\ E C,
from which 1110 a - a 0 111h ~ 2 dCa, C) follows. To obtain the reverse inequality take
a unit vector e E H and let u E B(H) be the unitary defined by ue = -e,
U7] 7] =
for all 7]..1 e. Picking 7]..1 e with 11'111 = 1 we put I(x 0 y) = (xye 17]) and obtain
a functional IE (B(H) 0h B(H))* with 11/11 ~ 1. Then
PROOF. We have that 116.. lIcb = 111 ®z a - a ®z 111n = 111 ® a - a ® lib. = 2d(a, C)
and clearly, Z(M(A» = C 1. 0
Our final aim is to establish (4) for all boundedly centrally closed C*-algebras. The
following is the last ingredient missing.
Theorem 3.5. Let A be a boundedly centrally closed C*-algebra. For each a E M(A)
we have that
d(a,Z) = sup d(1I"(a),C),
. (5)
. °implies that a E Z,
For the reverse inequality note at first that sup d( 11"(a), Cl =
.
whence we may assume that sup d(1f(a), C) = 1 in the sequel. Then, sup d(a" C) = 1
,~
°
For each tEA, the distance to the scalars, d(at,C), is attained at some A, E C.
For each I' E C, r> let B(I', r) denote the open ball with radius r and center 1',
and let B(I', r) be its closure. Since IA,I ~ d(a" _C) + lIa,lI ~.1 + II all , all A,r belong to
B(O, 1 + lIalD. Let e> ° and take A..... ,Ar
_
E B(O, 1 + lIall) such that U B(Aj,e)
j=1
cover B(O, 1 + lIalD. For every A E C, the function t ...... lI(a - A),II = lIa, - All is
lower semi-continuous, and hence
is open. If tEA is chosen, there is j E {I, ... , r} such that IAj - Ad < e. In this
case,
j=1
Aj = 0. As A is extremally
j=1
A·
1
= 0 as well. Therefore,
{V; 11 ~ j ~ r} with V; = A \ UAj forms a covering of A by clopen subsets. Putting
nU
j-l
W1 = V1 and Wj = V; n A, for 2 ~ j ~ r we obtain from this a covering by
(=1
pairwise disjoint clopen subsets Wj ~ V;.
The cb-nonn of a derivation 149
We now put ej =
Xw;, 1 :$ j :$ r which is continuous on A and hence a
projection in Z (by the Dauns-Hofmann theorem). Finally, putting % Ej=1 >'jej =
we obtain
r
lIa - %11 =sup lIat -
t
%tll =sup lIat - E >'j(ej)tll :$ 1 + e
t j=1
PROOF. We only have to combine Theorems 3.1 and 3.5 with Lemma 3.3. 0
Let us note some of the consequences, the first two of them being well known.
Corollary 3.1. For every AW*-IJIgebm A IJnd eIJch a eA we hIJve thIJt 1160 1106 =
2 d(a, Z(A».
Corollary 3.S. For every derivIJtion on IJ C*-IJIgebm, the norm IJnd the cb-norm
coincide.
PROOF. If 6: A -+ A is a derivation, then its second adjoint 6** is an inner derivation
on A**, say 6** =60 with a e A*·. We have
and if the distance to the center is attained at %0 (which always holds if a is self-adjoint
by [19, Theorem 3.3]), then the following orthogonality relation is valid
111 ®z (a - %0) - (a - %0) ®z 111z/a = 111 ®z (a - %o)lIz/a + lI(a - %0) ®z 111z/a (8)
4. Open problems
What happens with the cb-norm of .50 if A is not boundedly centrally closed?
There is at least one situation to which the same reasoning as in the previous section
applies, the one when A is Hausdorff. In this case, Hz again is an isometry [9, Theorem
= =
3.1], wherefore 11.50 11.6 111 ®z a - a ®z ll1z A sup 111 ® w(a) - w(a) ® lilA the latter
If
equality being proved in a similar way as (1). Since A if Hausdorff, the function
t 1-+ lIa, - ~II is actually continuous, thus, using the Dauns-Hofmann theorem, it is easy
to conclude that d(a, Z(M(A))) = sup d(w(a), C). Putting this together we obtain the
If
following result which, although we don't have a reference for it, is undoubtedly known.
Theorem 4.1. Let A be a C*-algebra such that its primitive spectrum is Hausdorff.
For each a E M(A) we have that 11.50 1106 = 2 d(a, Z(M(A))).
Observe that a C*-a1gebra A with A Hausdorff is boundedly centrally closed
precisely if Z(M(A» is an AW*-a1gebra. A class of C*-a1gebras containing both the
boundedly centrally closed ones as well as the C*-a1gebras with Hausdorff spectrum is
the following (by [4, Corollary 2.6]): for each two closed ideals 11,12 in A with
= =
1112 0 there is z E Z such that zh =F 0 and zI2 O. In this case we say that Z
separates orthogonal ideals. However, none of the steps needed to answer the following
question - such as Theorems 2.1 and 3.5 as well as (1) - are available so far.
Problem 4.3. Suppose that the C*-algebra A contains an essential closed ideal I
such that 11.501/ 11.6 = 2 d(a, Z(M(I))) for all a E M(I). When does it follow that (6)
holds for all a E M(A)?
Note that Z(M(A» = Z(M(I» n M(A) and, by the proof of [7, Proposition 3.1],
11.50 11.6 = 11.501/ 1106 ~ d(a, Z(M(A))) for all a E M(A) under the hypothesis of 4.3.
As to quotients, it is known that (6) remains true for quotients of W*-a1gebras [3,
p. 1167], and for quotients of AW*- algebras the result is announced in [19]. We noticed
above that quotients of boundedly centrally closed C*-a1gebras need not be boundedly
centrally closed; in fact, [7, Example 3.3] yields a primitive C*-algebra with a quotient
not satisfying (6).
Problem 4.4. Let I be a closed ideal of a C*-algebra A such that (6) holds. When
is (6) inherited by AI H
Now let A be an arbitrary C*-a1gebra, and .5: A --+ A be a derivation. Since .5
leaves eacII closed ideal invariant, we have, for each essential closed ideal I, a restricted
derivation .51 which extends to a derivation .5M (/) on M(I), and 11.511 = =
11.5/ 11
II.5M (I)II· Passing this to the direct limit we obtain an extension of .5 to Mloc(A), again
denoted by .5, under preservation of the norm.
The cb-norm of a derivation 151
Problem 4.6. Is every derivation on a C*-algebm inner in the local multiplier algebm?
Note that an affirmative answer to this question would imply the results for innerness
of derivations on simple C*-algebras and AW*-algebras.
Assuming that 6 is inner in M(A) as before, we also obtain a description of its
cb-norm for arbitrary C*-algebras.
References
7. R. J. Archbold, 0 .. th • .. orm
Phil. Soc. 84 (1978), 273-291.
0' a .. i.. ner d.rivatio .. 0' a C*·algo6ra, Math. Proc. Cambridge
9. A. Chatterjee and R. R. Smith, Th. ce ..tral Haag.np t ...lOr prod".t a ..d map. b.tw.... vo ..
N."ma .... alg.bTU, J. F\mct. Anal., to appear.
10. E. Christensen, E:t:I ....io ... 0' derivation., II, Math. Scand. 50 (1982), 111-122.
11. G. A. Elliott, 0 .. d.rivatio ... 0' AW*·alg.bra., Tohoku Math. J. 30 (1978), 263-276.
12. L. A. Fia!kow, Stnd"ral prop.rti .. 0'
.lem ... taTJ op.rator., in: "Elementary operators and
applications", Proc. Int. Workshop, Blaubeuren, June 1991; World Scientific, Singapore 1992,
55-113.
13. P. Gajendragadkar, Norm
170 (1972),165-170.
0' a d.rivatio .. 0' avo .. N."ma .... alg.bra, Trans. Amer. Math. Soc.
17. V. 1. Paulsen, Thre. te ... or norms 'or operator .pac.. , in: "Mappings of operator algebras", (H.
Araki, R. V. Kadison, edo.), Birkhauser, Boston 1990.
18. G. K. Pedersen, Approzimating derivation. 0.. id.al. 0' C*.alg.bra., Invent. Math. 45 (1978),
299-305.
19. D. W. B. Somerset, The i.. n.r d.rivations a..d the primitive ideal .pa ••
Theory, to appear.
0' a C*-algebra, J. Oper.
20. J. G. Stampfli, The n.rm 0' a derivati ... , Pac. J. Math. 33 (1970), 737-748.
21. L. Zsid6, Th ....rm ., a d.rivati ... in a W*.alg.bra, Proc. Amer. Math. Soc. 38 (1973),
147-150.
Hopf C* -Algebras And Their Representations
Xiu-Chi Quan
1 Preliminaries
In this section, we recall the terminologies we are going to use throughout
this paper. Let us begin by recalling the definition for Hopf CO-algebras.
Let A be a CO-algebra with a dense *-subalgebra A, <I> : A ~ A @ A a
C* -homomorphism, we say that (A, <1» is a Hopf C:* -algebra if the following
diagram commutes.
154 x.-c. Quan
A A®A
lif>®I
A®A®A
k
A -------+-. A - - - - + -
k(6)k
A (x) A - - - - - - - - . .
where T : A0A --t A0A is the flip automorphism, T(aQ?Jb) = bQ?Ja, Va, b EA.
We say that e : A --t C) is a cOllnit of A if e is a C*-homomorphism and
the following diagram commutes
e
A C A
«)
ACi9A
I k@[ .
1m
A@A
Two Hopf C*-algebras (AI, «)l), (A2' «)2) with units are said to be isomor-
phic if there exists a *-isomorphism () : Al ---t A2 such that the diagram
()
Al • A2
1 <{)l ()@()
<{)2
Al @AI . A 2 @A 2
commutes. If (AI, <()t, k l ), (A2' <()2, k2) are involutive Hopf C*-algebras, we
require that () 0 kl = k2 0 (). If (AI, <()t, ell, (A2' <()2, e2) are Hopf C*-algebras
with counits, we also need that el = e2 0 ().
The Hopf C* -algebras theory grows out of the desires of understanding the
deformation of compact matrix groups. Because one parameter deformation
of matrix groups are not groups anymore, but they are Hopf C* -algebras.
Woronowicz studied the twist SU(n) group.
Definition. Let (A, «)) be a Hopf C*-algebra, a E A* a positive linear
functional, we say that a is a left Haar measure on A if
Up to now, for all known examples of Hopf C*-algebras, there exist Haar
measures on them, we refer to [Q2] and [W2] for more details.
156 X.-C. Quan
A®A®M
r /).@I
A®M M
The pair (M, 1/;) is called a left A-comodule, and 1/; is said to be its structure
map. A right A-comodule can be defined similarly. For more information
about comodules, we refer to [AJ.
Let M be a left A-comodule with structure map 1/;, a subspace Ml C M
is said to left invariant if 1/;( M 1 ) c A (9 M1 ; we say that M is an irreducible
left A-comodule if M is the only nonzero left invariant subspace of M.
Let (A, <1» be a Hopf C*-algebra with a dense *-subalgebra A, V a finite
dimensional left A-comodule with structure map 1/; : V ----t A (9 V. If {e;}i=l
Hopf C*-algebras 157
is a basis of V, and
The matrix (aij) is called the coefficient matrix of 'lj; respect to {ei};~l. Then
the comodule property implies that
Note that X(V) does not depend on the choose of basis, i.e., for isomorphic
comodules, they have the same character.
If A =C(G) for some compact group G, then there is a one-to-one
correspnodence between the characters of G and the characters of C(G).
A left unitary representation 7r of A on ~. Hilbert space H is a comodule
map from H into A C8l H such that
Theorem 1. Let (A, cI» be a Hopf C* -algebra with left Haar measure (J', V
a finite dimensional left Hilbert A-comodule. Then V has an inner product
< .,. > such that V is a unitary left Hilbert A-comodule with respect to
<.,.>.
Theorem 2. (1) Let V, W be nonisomorphic finite dimensional irre-
ducible left A-comodules. Then the following is true:
(1.1) For any BE B(V, W), we have (J'. B = 0;
(1.2) For any BE B(V, V), we have (J'. B E C· I.
158 x.-c. Quan
(2) Let (A, ell, k, e) be an involutive Hopf C*-algebra, u the unital left
Haar measure on A. For nonisomorphic finite dimensional irreducible left
A-comodules V, W, we have
u(X(V)k(X(W))) = 0, u(X(V)k(X(V))) = 1.
Note that if 0 is a compact group, A = 0(0), then Theorem 2 is the
usual orthogonal relations for the characters of irreducible representations.
Theorem 3. (1) Let (A, ell, k, e) be an involutive Hopf O*-algbera with
unital left Haar measure u, V be an irreducible finite dimensional left A-
comodule with struccture map L, and dim V = d, let {el,""" et} be an
orthonormal set in V. Then we have
Theorem 4. (1) Let 7r E E, aij(l ::; i,j ::; n = dimV1!") be the coefficient
matrix of 7r with respect to a fixed orthonormal basis of V1!"' For any x* E A*,
we have
3 Open problems
In this section, we formulate some open problems about Hopf C*-algebra
theory, we hope that the understanding of these problems will help us to
study the quantum group and mathematical physics, also we expect them to
have applications on mathematics itself.
I. In the previous section, we study the finite dimensional irreducible
unitary representations of Hopf C* -algebras, so the natural question is: un-
der what conditions, every irreducible unitary representation is finite dimen-
siOilaI?
II. In the compact group case, the finite dimensional irreducible unitary
representations determine the group, this is the well-known Tannaka-Krein
duality theory. So we can ask: How about the Hopf C* -algebras'? More
precisely, what is a necessary and sufficient condition for a Hopf C*-algebra
to have Peter-Weyl property. Is there an analogue duality theory for Hopf
C*-algebras as the Tannaka-Krein duality theory for compact groups'? In
[Wa], Woronowicz formulated a Tannaka-Krein duality theory for compact
matrix pseudogroups by using category theory, we will study a Krein duality
theory for Hopf C*-algebras in a separate paper.
III. Establish Fourier and harmonic analysis on Hopf C* -algebras. This
is a potentially very important research area, it will have applications to
mathematical physics and quantum groups, just as in the compact group
Hopf C*-algebras 161
case.
IV. Formulate Differential calculus and differential geometry on Hopf C*-
algebras. One of the main problems in this field is to formulate de Rham
theory.
V. Quantum Lie groups and quantum Lie algebras. We know that Hopf
(;'* -algebra with unit (in some sense) is a deformation of compact Lie group,
now a natural question arises: Can we formulate a Lie algebra from each
Hopf C* -algebra such that there is a one-to-one correspondence between the
representations of the Hopf C* -algebra and the representations of the Lie
algebra? Some work in this direction has been done by Woronowicz in the
twisted SU(2) case [WI], we expect that a very systematic study of this
subject is possible.
VI. Recently the study about the deformations of the classical polynomials
is very active, most the results are dealing with the orthogonality about the
deformed polynomials, so we can ask: Can we apply the orthogonal relations
in this paper to study the orthogonality of the deformations of the classical
polynomials?
ACKNOWLEDGMENTS
The author likes to take this opportunity to thank Prof. PaUe Jorgensen
for his constant support and encouragement, thank Prof. Tuong Ton-That
for his useful suggestions and comments, also thanks the refree for the sug-
gestions of the improvement of this paper. Work supported in part by NSF.
162 x.-c. Quan
References
[A] E. Abe, Hopf Algebras, Cambridge University Press, 1980.
[DR] S. Doplicher and J. Roberts, Endomorphisms of C*-algebras, cross
products and duality for compact groups, Ann. Math. 1:30 (1989), 75-119.
[D] V. Drinfeld, Quantum groups, Proc. I. C. M. (1986), 798-820.
[HR] E. Hewitt, K. Ross, Abstract Harmonic Analysis II, Springer-Verlag
Berlin 1970.
[L] R. G. Larson, Characters of Hopf Algebras, 17(1971) :352-368.
[Ql] X. Quan, Compact Quantum Groups and Group Duality, Acta App!.
Math. Vo!' 25, No.3 (1991) 277-299.
[Q2] X. Quan, Haar measures on Hopf C*-algebras, preprint.
[T] M. Takesaki, Duality and von Neumann Algebras, Lecture Notes in
Mathematics 242 (1972) 665-779.
[WI] S. Woronowicz, Twisted 8U(2) group. An example of a noncom-
mutative differential calculus, Pub!. RIMS, Kyoto Univ. 23 (1987) 117-181.
[W2] S. Woronowicz, Compact matrix pseudogroups, Comm. Math.
Phys. III (1987),61:3-665.
[Wa] S. Woronowicz, Tannaka-Krein duality of compact matrix pseu-
dogroups. Twisted 8U(n) groups, Invent. Math. 93 (1988) :35-76.
SHUANG ZHANG*
O--A--E--8--0.
Some matters have been clarified about the real ranks of these three C*-algebras.
If RR(E) = 0, then RR(8) = 0 and RR(A) = O. Assuming RR(A) =
0, then
RR(E) = 0 if and only if RR(8) = 0 and every projection in 8 lifts to a
projection of E ([7,3.14], [39,2.4]). In case A is stable, every projection
in 8 lifts if and only if Kl(A) = 0 ([45,2.10]); thus RR(E) =
0 if and only
if RR(A) = 0, RR(8) = 0, and Kl(A) = O. However, if one only assumes
RR(A) = 0, both RR(8) and RR(E) remain unknown even for the following
special short exact sequence
the affirmative answers were given for the following subclasses of C*-algebras of
real rank zero:
(1) A is any matroid C*-algebra or the stabilizations of any type Ih factor
([7,3.21J, later in [39,2.1,2.2J with a slightly general setting, and [16]);
and
(2) A is a purely infinite, simple C*-algebra (in particular, the stabilizations
of all Cuntz algebras On for 2 ::; n ::; +00 and all type III factors [39,2.6].
A striking progress was made recently by H. Lin ([21, Theorem 9], [19,3.4])
who proved
(3) RR(M(A» = 0 whenever RR(A) = 0, tsr(A) = 1, and K 1 (A) = 0; here
tsr(A) = 1 iff A has the cancellation property ([3]).
Lin's result (3) includes (1), but is independent of the result (2); furthermore,
Lin's result (3) has covered many classes of finite C*-algebras in the public
interests; for example, all u-unital AF C*-algebras, the stabilizations of irrational
rotation C*-algebras and of all Bunce-Deddens algebras, Elliott's basic building
block algebras, among others. However, the general conjecture seems to resist
all efforts and all techniques available. The main difficulty appears in dealing
with C*-algebras neither with cancellation nor purely infinite.
As the title indicates, the condition 'RR(M(A» = 0' has a lot to do with
the generalized Weyl-von Neumann theorem and other internal properties of
M(A). Various conditions equivalent to 'RR(M(A» = 0' have been derived in
[29], [45,§3], [42], [21,Corollary 6J, [7,2.6J, and in [6J, exploiting the
structure of M(A) on one hand, and attacking the Brown-Pedersen conjecture
from different angles, on the other hand. Let us spend a few more lines on some
of the equivalent conditions. In the exact sequence of the first paragraph, an
element x E E is said to be quasidiagonal (with respect to A), if there exists
an approximate identity {In} of A consisting of a sequence of projections such
that IIxfn - fnxll ----> 0 as n ----+ 00. The terminology 'quasidiagonal' is a
natural extension of the classical one, since, equivalently, x can be written as
L:~1 ai +a for some mutually orthogonal elements ai E A ( [45J); in particular,
a self-adjoint element x is quasidiagonal iff x = L:~1 tiTi+b, where b E A, {Ti} is
a sequence of mutually orthogonal projections in A, {til is a bounded sequence
of real numbers. If every self-adjoint element of E is quasidiagonal, then we say
that the generalized Weyl-von Neumann theorem holds in E ([45J). In case A
is taken to be the algebra I(. of all compact operators over a separable Hilbert
space 1£ and E is taken to be the algebra of all bounded operators C(ll), the
above reduces precisely to the classic Weyl-von Neumann Theorem ([39,3.1]).
It was shown that the general Weyl-von Neumann theorem holds in E whenever
RR(E) = 0 ([29]). The converse is certainly not valid in general; a familiar
counterexample is when A = 1(., B = C(Sl) and E is taken to be the Toeplitz
algebra. But for the particular case when E = M(A), the following conditions
are equivalent:
(a) RR(M(A» = O.
(b) The generalized Weyl-von Neumann theorem holds in M(A) ([29], [45J).
(c) The generalized Olsen's theorem holds in M(A) ([6 ,Corollary 4J);
i.e., Whenever x, y E M(A) such that xy E A, there exists a projection
Quasi-diagonalizing unitaries 165
Since Ilulnu· - Inll = lIuln - Inull --- 0, take nt such that lIuln, u· - In, II < 8t .
Then there exists [13,2. 1J a unitary Vt E A such that
(let 8t be small enough). Let Vt = .At + at for some at E A and some number
I.AII = 1. Now
II VI u(fn -
In, )u·vi - Un - In, )11
=IIVI ulnu'vi - Inll
:::;lIuln - Inull + II(aIU)/n - In(alu)lI--- o.
Then there exist n2 > nl and a unitary v2 in (1 - In, )A(1 - In,) such that
Proceeding this way, one find a sequence of unitaries {Vi} in Uo(A) such that
€
IIv; - 111 < 2i' and
ViVi_I ...VZVIUlnj = InjViVi-I ...V2VIU VI:::; j:::; i.
If m < n, then
IIVnVn-I ... V2 VI - VmVm-I ... V2 VIII
=IIVnVn-I ... Vm+1 - 111
n-m-l
Thus, one sees by the Cauchy criterion that the sequence of products
3. Proof of Theorem 1.
First, assume that RR(M(A ® K» = O. Then every projection of M(A ®
K)/A ® K lifts to a projection in M(A ® K) ([45,2. 2J), and hence K l (A) = 0
([45,2.10J). Furthermore, 'RR(A®K) = 01 implies 'RR(A) = 01 ([4,2.7J,
[30 ,14J, [7]). We need only to show that every unitary of M(A ® K) is
quasidiagonal.
Combined H. Lin's result (f) above ([21,Corollary 6J) with a known fact
that the unitary group of M(A ® K) is contractible ([28J and [l1J), one sees
that that every unitary of M(A ® K) can be approximated by unitaries with
finite spectra (i.e., M(A ® K) has the (FU) property in the terminology in
[33J). The same standard arguments (for self-adjoint elements) as in [45,§3J
can be adopted to work with unitaries. For the convenience of the reader, we
outline a proof as follows.
Let u be any unitary of M(A ® K), and let {on} be a sequence of numbers in
tl
[0, decreasing to O. Choose a unitary Un in M(A ® K) with finite spectrum
such that Ilu - unll < On. Write
mn
Un = L AinPin
i=1
for some numbers {Ain} C SI and some mutually orthogonal projections {Pin}~nl
in M(A ® K) such that L:::nl Pin = 1. Since A is a-unital, each PinAPin is also
a-unital. For each 1 ~ i ~ mn take any sequential approximate identity of
pinAPin of projections, say {Tin(j)}~l' Set qj( n) := L:::n1 Tin(j) for j ~ 1 and
n ~ 1. Then {qj( n)} ~1 is an approximate identity of A consisting of projections
(for each fixed n ~ 1). Using a 'diagonal selection' as in the proof [45,3. 6J,
one can choose {qjJn)}~=1 which is an approximate identity of A such that
lIuqjn (n) - qjn (n )ull ----+ 0;
where {qjJn)}~=1 may not be increasing, however. Using the same arguments
as in [45,3. 4J, one can adjust it to an increasing approximate identity of A
consisting of projections with all other properties kept. Therefore, u is quasidi-
agonal.
We now assume that RR(A) = 0, Kl (A) = 0 (this is equivalent to the
condition that every projection in M(A®K)/ A ® K lifts to projections in M(A®
K», and every unitary of M(A ® K) is quasidiagonal. Since every projection in
M(A ® K)/ A ® K lifts, we need only to show that the corona algebra M(A ®
K)/A®K has real rank zero ([7,3.14J, [45,2.4J). In turn, by the result (f)
of H. Lin mentioned above again it suffices to show that M(A ® K)/ A ® K has
the weak (FU) property. Let u be any unitary in the identity path component
of M(A ® K)/ A ® K). Since the identity path component of M(A ® K)/ A ® K
is precisely the image of the unitary group of M(A ® K) under the quotient
map 11' [40,2. 3J. Take a unitary u of M(A ® K) such that 11'( u) = U. Then u
is quasidiagonal by assumption. It follows from Lemma 2 that there exists an
approximate identity {en} of A and a unitary v E Uo(A 0 K) such that
vu = diag( WI, W2, ... , W n , ... ),
168 s. Zhang
where Wn is a unitary in the corner (en - en-d(A ® ~)(en - en-d for each
n ~ 1. Since K 1 (A) = 0 and RR(A ®~) = 0 ([7]), it follows from the above
result of H. Lin once more that A ® ~ has the (FU) property. It follows from
[19,1.4] that each corner peA ® ~)p has the (FU) property, where p can be
any projection of A ®~. This, in particular, applies to each W n • One gets a
unitary w~ of (en - en-d(A ® ~)(en - en-I) with finite spectrum such that
3. Two Problems
Quasi-diagonalizing unitaries 169
REFERENCES
1. J. Bunce and J. Deddens, A family of simple C·-algebras related to weighted shift opera-
tors, J. Funct. Anal. 19 (1975), 13 - 24.
2. B. Blackadar and A. Kumjian, Skew products of relations and structure of simple C·-
algebras, Math. Z. 189 (1985), 55 - 63.
3. B. Blackadar, K-theory for operator algebras, Springer-Verlag, New York Berlin Heidelberg
London Paris Tokyo, 1987.
4. B. Blackadar, Notes on the structure of projections in simple algebras, Semesterbericht
Funktionalanalysis, Tubingen Wintersemester (1982/83).
5. L.G. Brown, Stable isomorphism of hereditary subalgebras of C·-algebras, Pacific J. Math.
71 (1977), 335 - 348.
6. L.G. Brown, Interpolation by projections in C·-algebras of real rank zero, preprint (1992).
7. L.G. Brown and G.K. Pedersen, C·-algebras of real rank zero, J. Funct. Anal. 99 (1991),
131 - 149.
8. M-D. Choi and G.A. Elliott, Density of the self-adjoint elements with finite spectrum in
an irrational rotation C·-algebra, Math. Scand. (to appear).
9. J. Cuntz, K-theory for certain C·-algebras, Ann. of Math. 131 (1981), 181-197.
10. J. Cuntz, Simple C· -algebras generated by isometries, Comm. math. phys. 57 (1977),
173-185.
170 S.Zhang
11. J. Cuntz and N. Higson, Kuiper's theorem for Hilbert modules, Operator algebras and
mathematical physics, Amer. Math. Soc., Vol. 62, Proceedings of a Summer conference.
(1985), 17 - 24.
12. E.G. Effros, Dimensions and C"-algebras, CBMS Regional Conference Series in Mathe-
matics, A.M.S 46 (1981).
13. G.A. Elliott, Derivations of matroid C"-algebra. II, Ann. of Math. 100 (1974), 407-422.
14. G.A. Elliott, On the classification of C"-algebras of real rank zero, preprint.
15. G. A. Elliott, Automorphi.ms determined by multipliers on ideals of a C"-algebra, J.
Funct, Anal. 23 (1976), 1 - 10.
16. N. Higson and M. R,prdam, The Weyl-von Neumann theorem for multipliers of Bome AF
algebra, Can. J. Math (to appear).
17. G. G. Kasparov, Hilbert C"-modules: theorems of Stinespring and VoiculeBcu, J. Operator
Theory 3 (1980), 133 - 150.
18. H. Lin, Simple C"-algebras with continuous scales and simple corona algebras, Proc. Amer.
Math. Soc. 112 (1991), 871-880.
19. H. Lin, Generalized Weyl-llon Neumann theorems" Inter. J. Math. 2 (1991), 725-739.
20. H. Lin, Generalized Weyl-llon Neumann theorems, II, preprint.
21. H. Lin, Exponential rank of C· -algebras with real rank zero and the Brown-Pedersen
conjectures, J. Funct. Anal. (to appear).
22. H. Lin, Approximation by normal elements with finite spectrum in simple AF-algebras, J.
Operator Theory (to appear).
23. H. Lin, C"-algebra extensions of C(X), preprint.
24. H. Lin, Extensions by C"-algebras with real rank zero, I" Int. J. Math. (to appear).
25. H. Lin, Extensions by C"-algebras with real rank zero, II" preprint.
26. H. Lin and S. Zhang, On infinite simple C"-algebras, J. Funct. Anal. 100 (1991), 221 -
231.
27. H. Lin and S. Zhang, Certain Simple C·-algebras with nonzero real rank whose corona
algebras have real rank zero, Houston J. Math. 18 (1992), 57-71.
28. J .A. Mingo, K -theory and multipliers of stable C· -algebras, Trans. Amer. Math. Soc. 299
(1987), 255 - 260.
29. G. J. Murphy, Diagonality in C"-algebras, Math. Z. 199 (1988), 279 - 284.
30. G.K. Pedersen, The linear .pan of projections in simple C"-algebras, J. Operator Theory
4 (1980), 289-296.
31. G.K. Pedersen, SA W"-algebras and corona C"-algebras, contributions to non- commuta-
tive topology, J. Operator Theory 15 (1986), 15-32.
32. N. C. Phillips, Approximation by unitaries with finite spectrum in purely infinite C"-
algebras, preprint.
33. N. C. Phillips, Simple C"-algebras with the property weak (FU), Math. Scand. (to appear).
34. M. R,prdam, On the structure of simple C"-algebras tensored with a UHF algebra, J.
Funct. Anal. (to appear).
35. M. R,prdam, Ideals in the multiplier algebra of a stable algebra, J. Operator Theory (to
appear).
36. D. Voiculescu, A non-commutative Weyl-von Neumann theorem, Rev. Roum. Math. Pour
et Appl. 21 (1976), 97-113.
37. D. Voiculescu, Around quasi-diagonal operators, Centre de Researches Methematiques,
preprint (1991).
38. S. Zhang, On the structure of projections and ideals of COrona algebras, Can. J. Math. 41
(1989), 721 - 742.
39. S. Zhang, Certain C· -algebras with real rank zero and their corona and multiplier algebras,
Part I, Pac. J. Math 155 (1992), 169 - 197.
40. S. Zhang, Certain C· -algebras with real rank zero and their corona and multiplier algebras,
Part II, K-theory 6 (1992), 1 - 27.
41. S. Zhang, C"-algebras with real rank zero and the internal structure of their COrona and
multiplier algebras, Part III, Can. J. Math. 62 (1990), 159-190.
42. S. Zhang, C"-algebras with real rank zero and the internal structure of their corona and
multiplier algebras, Part IV, Inter. J. Math. 3 (1992), 309 - 330.
Quasi-diagonalizing unitaries 171
43. S. Zhang, A Riesz decomposition property and ideal structure of multiplier algebras, J.
Operator Theory 24 (1990), 209 - 225.
44. S. Zhang, A property of purely infinite simple C·-algebras" Proc. Amer. Math. Soc. 109
(1990), 717 - 720.
45. S. Zhang, K l-groups, quasidiagonality and interpolation by multiplier projections, Trans.
Amer. Math. Soc. 325 (1991), 793 - 818.
46. S. Zhang, Trivial Kl-flow of AF algebras and finite von Neumann algebras, J. Funct.
Anal. 92 (1990), 77 - 91.
DIETMAR BISCH I
May 1992
1. Introduction
sociated to various subfactors listed below are performed (the details can
be found in [Bi2]). Our method actually allows to compute fusion alge-
bras associated to bipartite graphs. We give then a list of fusion alge-
bras associated to subfactors including the fusion algebras of Haagerup's
(5 + v'13)/2 subfactor and the Goodman-de la Harpe-Jones 3 + v'3 subfac-
tor. Some other fusion algebras related to subfactors have been computed
previously. For instance, it is shown in ([GW]) that the fusion algebras for
Wess-Zumino-Witten models can be obtained from braid type subfactors
by replacing the basic construction by a construction using the shift on
the hraid elements (see [GW] for details, see also [GN]). Both construc-
tions coincide for the B, C, D subfactors ([We2]), Jones' subfactors ([Jol])
and more generally for selfconjugate subfactors. The computations for the
Hecke algebra subfactors ([WeI]) can be found in ([GW]). Various fusion
algebras are computed in ([11], [Ha], [SuI], [Su2]) and there is some overlap
between their calculations and our work.
Fusion algebras are of course abundant in physics, they appear for in-
stance iIi algebraic QFT where they describe the sector structure of two
dimensional QFT's (nonabelian fusion algebras may occur here) ([DHRl],
[DHR2],[Frl],[Fr2],[FRS],[Lol],[L02],[R],[RSD or in rational conformal field
theory ([MS],[Ve]) ("Verlinde algebra"), where they contain the informa-
tion on how often the primary field <l)k appears in the operator product
expansion of the fields <l)i x <l)j.
The classification of finite dimensional (abelian) fusion algebras is an out-
standing open problem and of particular interest in physics. We hope that
the explicit examples computed below from subfactors have some physical
interpretation.
is the basic construction for the pair (Npq C (pMp)q) ~ (Np C pMp).
pN p C pM p C pM1P C ...
is the basic construction (since ql ... qk-I E Mk-2). Apply now again
lemma 2.1 with N +-+ ql .. . qk-lMk-2ql ... qk-l,
M +-+ qi ... qk-IMk-Iql ... qk-I and p +-+ ql ... qk, i.e. let
qk+1 E (qi ... qk-IMk-Iql ... qk-I)' n ql ... qk-lMkql ... qk-I such that
180 D. Bisch
t ( Q l ... q"-l M"-lql ... q"-l)
rQ1 ... Q"_lM"Ql ... Q"_1 ql·· .qk+leQl ...Q"_lM,,_2Ql ... Q"_1 = (7)
= trQ1 "'Q"_l M"_lQl ...Q"_1 (ql ... qk)[M : N]-l.
It is an easy computation to show that
and
(7) ¢> (7)': trM,,(ql" .qk+le~:=~) = trM(qI)k[M: Ntl.
Lemma 2.1 says then that
(ql ... qk-l M k-2ql ... qk-l)qkqk+1 C (ql ... qkMk-lql ... qk)qk+1 C
C ql ... qk+lMkql ... qk+l (8)
(Ak-l c Ak) ~ (ql .. . qk M k-2Ql .. ·qk C ql·· .qkMk-lql ... qk) (9)
~ (ql .. . qk M k-2ql ... qk C ql" .qkMk-lql.' .qk)qk+b
(the last isomorphism holds since qk+l E (ql ... qkMk-lql ... qk)'), the basic
construction Ak-l C Ak C Ak+1 is isomorphic to (8). This together with
(9) completes the induction and hence the proof. Q.E.D.
(10)
and
(11)
1 ~ r ~ k.
diagrams for N eM. Note also that proposition 2.4 can be used to give
another proof of theorem 2.6 in [Bi1].
We would like to find a method that allows us to compute the standard
invariant of a reduced subfactor explicitly. In the next section we describe
how the principal graphs of reduced subfactors can be computed and give
examples where this computation has been carried out.
i,j E I, (13)
if the fusion algebra is abelian (this relation follows from (2) in lemma
3.2 and commutativity of the fusion algebra). The matrices Ni, i E I,
are commonly called the matrices of fusion rules. Abelian fusion algebras
can be obtained from the representation theory of compact groups, where
I is the set of irreducible unitary representations of the group and the
Ni1 are the multiplicities with which the representation k appears in the
tensor product representation i ® j. The involution is given by taking the
contragredient of a representation and the trivial representation plays the
role of the distinguished element in I. Further examples of abelian fusion
algebras arise from the representation theory of quantum groups at roots
of unity, for instance if we consider the quantum group Uq (sl(2)) at q =
exp 27ri/n + 1, then I labels the irreducible representations in the truncated
Weyl chamber and the fusion constants are given by Nt; = 1, for Ii - jl <
k < min{i + j, 2(n + 1) - i - j} and N j j = 0 otherwise ([GW],[Re]).
k
V\ (\ b
Multiplication table for even-even multiplication (this fusion algebra ap-
pears in RCFT ([Ve])):
A4
1 a
1 1 a
a a l+a
a=
a b
a
A4
a b
a 1+a a
b a 1
2. The fusion algebra associated to the sub factor with principal graphs
As (the involution on the even part of the fusion algebra is trivial).
Principal graph:
b
Multiplication tables for even-even multiplication:
As
1 a f3
1 1 a f3
a a 1+a+f3 f3
f3 {3 {3 1
a=
/3= • •
As
a b
a a+b a+b
{3 b a
As
a: b
a 1+01 a+{3
b a+{3 1+01
b c
Multiplication tables for even-even multiplication:
E6
1 a {3
1 1 a {3
a a 1 + 201 + {3 a
f3 f3 a 1
O!=
• •
Es
a b c
a a+b+c a+c a+b+c
f3 c b a
Finite depth subfactors 187
Es
a b c
a 1+0 0 0+13
b 0 1+13 0
c 0+13 0 1+0
Mu!t;p!;"t;on t ' b ! e V f \
E7
0 13 "I
0 1+0+13+"1 0+"1 0+13+"1
13 0+"1 1+"1 0+13
"I 0+13+"1 0+13 1+0+"1
5. The fusion algebra associated to the sub factor with principal graph
Es (the involution on the even part of the fusion algebra is trivial).
Principal graph:
q b c
Multiplication table for even-even multiplication:
Es
1 0 13 "I
1 1 0 13 "I
0 0 1+0+13 0+ 213 + "I 13
13 13 0+ 213 + "I 1 + 20 + 313 + "I 0+13
"I "I 13 0+13 1+"1
Q:'=
,t-I-~:f---"'l---i:
f3=
188 D. Bisch
"1=
• • • •
Multiplication tables for even-odd and odd-odd multiplication:
Es
a b c d
01 a+b a+b+c+d b+d b+c+d
(3 b+c+d a+ 2b+ c+ 2d a+b+c+d a+ 2b+c+d
"( d b+c b a+d
Es
a b c d
a 1+01 01+(3 (3 (3+"(
b 01+(3 1 + 01 + 2(3 + "( 01+(3+"( 01 + 2(3
c (3 01+(3+"( 1+(3 01+(3
d (3+"( 01 + 2(3 01+(3 1+01+(3+"(
~ q b c ~
Multiplication table for even-even multiplication (trivial involution):
I~
1 01 (3 "(
1 1 01 (3 "(
01 P ~+0I+(3+"( 01+"( 01+(3+2"(
(3 ~ 01+"( 1+"( 01+(3+"(
"( ~ 01+(3+2"( 01+(3+"( + 201 + (3 + 2,,(
a=
Finite depth subfactors 189
{3=
:: II
r=
i~
a b c d
et a+b a + 2b + c+ d b+c b+d
{3 b a+b+c+d b b
'Y Ib+c+d a +3b+c+ d a+b+d a+b+c
~
a b c d
a l+et et+i3+'Y 'Y 'Y
b et+{3+'Y + 2et + (3 + 3'Y et+{3+'Y et+{3+'Y
c 'Y et+{3+'Y l+et 'Y
d 'Y et+{3+'Y 'Y l+et
\.i. bed.
Multiplication table for even-even multiplication (the even part of this
fusion algebra is noncommutative and has the following involution: I = 1,
= = =
a a, i3 {3, 7 r, 8 = {, =
f 8).
I~
1 et f3 'Y 6 €
1 1 et {3 'Y 6 €
et et l+et+{3+'Y et+{3+'Y+€ et+f3+'Y+ 6 'Y f3
f3 {3 et+f3+'Y+ 6 l+et+f3+'Y et+f3+'Y+€ et 'Y
'Y h' et+f3+'Y+€ et+f3+'Y+ 6 l+et+f3+'Y f3 et
6 6 f3 'Y et € 1
€ € 'Y et f3 1 6
The graphs for a, {3, r, 8, { can be read off the multiplication table.
Multiplication tables for even-odd and odd-odd multiplication:
190 D. Bisch
~
a b c d
01 rz+ b a + 2b+ c+ d b+d b+c
f3 b+ c a+2b+c+ d a+b ~+d
'"I ~+d a+2b+c+ d b+c rz+ b
8 c b d a
f d b a c
~
a b c d
a 1 + 01 01 + f3+'"1 f3 + f '"1+ 8
b p+f3+'"1 ~ + 201 + 2f3 + 2'"1 + 8 + f p+f3+'"1 ~+f3+'"1
c f3+8 01 + f3+'"1 1+'"1 01 + f
d '"I + f 0I+f3+'"I 01 + 8 1 + f3
c
Multiplication tables for even-even multiplication:
3+v3
01 f3 '"I 8 f
01 1+0I+f3+'"I+ 8 01+'"1+ 8 0I+f3+8 0I+f3+'"I+8+f 8
f3 01+'"1+ 8 + 2f3 + f 01+8 01+'"1+8 ~
'"I 01+.8+8 01+8 ~+2'"1+f 0I+f3+8 I"Y
8 0I+f3+'"I+8+f 01+'"1+8 0I+f3+c5 1+0I+f3+'"I+ 8 p
f 8 f3 '"I 01 1
3+73
a f3 "I 8 e
a ~+a+f3+-y+5 a+-y+5 ~+f3+5 a+f3+-y+5+e 5
f3 a+-y+5 a+-y+e 1+f3+5 a+f3+8 rr
"I a+f3+.5 1+f3+.5 a+-y+e a+-y+.5 16
8 a+f3+-y+8+e ia+f3+8 a+-y+8 1+a+f3+-y+8 ~
( 8 "I f3 a 1
f3+73
a f3 "I 5 e
a Il+a+f3+-y+.5 a+-y+.5 a+f3+.5 a+f3+-y+.5+e .5
f3 a+-y+8 a+f3+{ 1+"1+ 8 a+f3+8 "I
"I a+f3+8 1+"1+ 8 a+f3+{ a+-y+8 lB
8 a+f3+-y+8+{ ia+f3+8 a+-y+.5 1+a+f3+-y+8 Ia
( 8 "I f3 a 1
3+73
a f3 "I .5 (
f3+73
a f3 "I .5 {
3+V3
a b c
a a+b ~ + 3b + c
b+c
f3 b a + +
2b c b
"I b a+ 2b + c b
.5 b+c ~+3b+c f>+b
€ c b a
192 D. Bisch
3+...,(3
a b c
a 1+0 0+13+,),+0 0+(
b p+13+')'+o + 30 + 213 + 2')' + 30 + ( C}+13+')'+o
c 0+( 0+13+,),+0 1+0
References
BY
ERIK CHRISTENSEN
MATEMATISK INSTITUT
K0BENHAVNS UNIVERSITET
DK - 2100 COPENHAGEN
DENMARK
1. Introduction.
Von Neumann algebras of type III have a rich structure which make
them nice and tractable in many ways. On the other hand the theory of
index initiated by V. Jones show that even for the approximately finite
dimensional III factors, there are lots of open questions and lots of deep
connections to other branches of mathematics. In the past 7 years I have
been working together with Allan M. Sinclair, trying to understand some
problems in the Hochschild cohomology for von Neumann algebras. We
have had some success and have been able to prove that all the contin-
uous Hochschild cohomology groups for a von Neumann algebra M with
coefficients in M vanish, whenever M has no summand of type III, [4,5].
Although the structure for III von Neumann algebras is very nice, it does
not help in settling these sorts of questions. In order to try to compute
the Hochschild cohomology for III von Neumann Algebras it seems to be
necessary to have a better understanding of the linear operators on a von
Neumann algebra M of type III' When attacking this question, it becomes
clear that the finiteness of M is an important aspect, because it sometimes
makes it possible to extend an operator on M to a bounded operator on
L 2 (M, tr) where tr is a finite faithful trace in M. (We are only consider-
ing the factor case here.) One example of this interplay between operators
on M and operators on the underlying Hilbert space is found in the basic
construction used in index theory [3,9], which we will describe briefly. Let
M be a finite factor of type III in standard position on a Hilbert space H
and let ~ in H be a cyclic unit trace vector for M. If N is a von Neumann
196 E. Christensen
Let PN denote the orthogonal projection from M~ onto N1, then the above
equality shows that 7rN(X)~ = PNX~ so the operator 7rN : M -+ M can
naturally be extended to an operator on H. The reader may recall that
the basic construction consists in producing the von Neumann algebra Ml
which is generated by M and PN. In the cohomology questions we have
encountered operators ¢ : M -+ M such that ¢ is also continuous with
respect to the trace norm" IlIon M given by Ilmll! = tr((m*m)1/2).
Such an operator will be called universally bounded and it turns out that
a universally bounded operator also implements a bounded operator on H.
We have not been able to characterize universally bounded operators by
other properties, but we are quite sure that some better knowledge about
their properties and the properties of the algebra of all universally bounded
operators will turn out to be fruitful in the theory of continuous cohomology
for von Neumann algebras. An obvious question to which we so far have
only obtained trivial or no answers is the following: Suppose ¢ : M -+ M is
universally bounded and T<I> : H -+ H is the corresponding operator on H.
What kind of conditions on ¢ will ensure that the von Neumann algebra
generated by M and Tq, is finite. Except for the conditional expectation
example already mentioned which sometimes yields a finite von Neumann
algebra we can get a finite algebra if a : M -+ M is an automorphism and
the fixed point algebra MG: has finite index in M.
The rest of the paper consists of some preliminary results and some ques-
tions on universally bounded operators.
2. Universally bounded operators on finite von Neumann alge-
bras.
Our aim is to get a better understanding of the spaces of continuous linear
operators on a von Neumann algebra M and to deepen our knowledge
of the possible properties the individual operators may have. Since this
area of research by no means has been overcrowded so far and very few
general results exist, we think that it is reasonable just to stick to the
simplest cases. Hence we will here only consider mappings on a finite factor,
say M, of type III with norm separable pre dual M*.A finite factor M
of type III, has a unique tracial state, tr, [8, ch.8]. The trace defines a
prehilbert space structure on M by (x,y) = tr(y*x) and the Hilbert space
completion is denoted L2(M, tr) in analogy with the commutative case
where M = LOO(X,Jl) and Jl is a probability measure. In the sequel we will
let H denote the Hilbert space L2(M, tr), then H contains M and as usual
we define an anti linear isometric involution J on H as the completion of
Universally bounded operators 197
The separability assumption on M*, i.e. Ll(M, tT) turns H into a sep-
arable Hilbert space. In the rest of the paper we will let M, tT, L 2(M, tT),
Ll(M, tT) be present as the frame in which the definitions and results are
presented.
2.1 DEFINITION.
Let <I> : M ---. M be a bounded operator. If <I> is bounded with respect
to the norm 11111 also, then <I> is said to be universally bounded, i.e.
the norm Illh. The extended operator will be denoted CI> too, so whenever
we talk about a universally bounded operator CI> on M we mean automati-
cally the restriction to M of a continuous operator CI> on Ll(M, tr) which
maps Minto M and is continuous with respect to 111100 on M. It is now
clear that a universally bounded operator CI> naturally has 2 norms associ-
ated to it namely the norms 1ICI>111 and 1ICI>1I00 corresponding to the norms
as operator on the spaces Ll(M, tr) and M respectively.
Since Ll(M, tr) can be identified with the predual of M we can - for a
universally bounded operator CI> : Ll(M, tr) ~ £1(M, tr) define the adjoint
operator CI>* : M ~ M by
2.2 LEMMA.
If CI> : M ~ M is universally bounded then so is CI>* and
PROOF: Let us define 'l1(T) = CI>(T*)*. Then 'l1 is universally bounded with
1I'l11100 = 1ICI>1100 and 1I'l1l1l = 1ICI>lh. Furthermore CI>* = 'l1 t , the transposed of
'l1. It is clear from the way the duality Ll(M, tr)* = M is obtained, that
CI>* = 'l1t : M ~ M and 1ICI>*1I00 = 11'l1ll l . In order to estimate 11CI>*(m)lIl we
have to consider the relation (1) but only for T in the unitball (111100) of M.
From (1) we then find 11CI>*(m)lh ::; 1ICI>lloo IImll l . Hence CI>* is universally
bounded and 1ICI>*lh = 1ICI>1I00·
The non commutative integration theory also introduces the spaces
LP(M, tr) for 1 < p < 00, by defining a measurable operator T to be in
LP(M, tr) iftr((T*T)p/2) < 00. It turns out that for 1 ::; p < 00, LP(M, tr)
is a Banach space when equipped with the norm IITllp = tr((T*T)p/2).
2.3 PROPOSITION.
Let CI> : M ~ M be a universally bounded operator and let 1 < p < 00,
then the restriction ofCI> to LP is continuous with respect to the norm II lip·
Let 1ICI>lIp denote the norm of this operator in LP(M, tr) then
PROOF:
Let f > O. Let e be a spectral projection for a*a such that a*ae ;?:
lIall~ (1 - f)e and let f be a spectral projection for bb* such that fbb* ;?:
IIbll~ (1 - f)f. Since M is a factor either e »- f or f »- e. Now, either way
makes no difference for the argument so we may as well assume that f »- e
and that v is a partial isometry in M such that v*v :S f and vv* = e. We
then get
In order to describe our result we remind the reader of the Haagerup ten-
sor product [2,12J. Let Msa denote the real vector space of self-adjoint
operators in M. The real algebraic tensor product Msa 18> Msa can be
equipped with the Haagerup norm through the following definition. For x
in Msa 18> Msa we define:
The completion of Msa 18>h Msa with respect to this norm is called the
Haagerup tensor product and denoted Msa 18>h Msa·
We will define a mapping r : Msa 18>h Msa -+ UB(M) by first defining r
on Msa 18> Msa and then extending r by continuity. For x = E~=l ai 18> bi
we define
n n
r(L ai 18> bi) = L "Ya;b;, ai, bi E Msa· (3)
;=1 i=l
For m in M and vectors 17, pin L2(M, tT) we get
so
n n
II L "Ya;b; 1100 ::; II L ai 18> bill h
i=l i=l
since II E~=l "Ya;b; 111 = II E~=l "Y~;b; 1100 = II E~=l "Ya;b; 1100 we have
n n
IIr<L ai 18> bi)lIub ::; II L ai 18> bill h .
i=l i=1
The operator r can now be extended to Msa 18>h Msa. The extension is
also denoted r and we have proved the following proposition.
2.9 PROPOSITION.
There exists a unique contraction r of Msa 18>h Msa into U B(M) such
that for all a, bin M sa , r(a 18> b) = "Yab.
It would be interesting to know whether r is injective on Msa 18>h MBa'
We have not been able to prove this, but we think there might be a good
chance, that the following lemma can be extended.
2.10 LEMMA.
The mapping r : Msa 18> Msa -+ U B(M) is injective on the algebraic
tensor product.
PROOF:
202 E. Christensen
2.12 COROLLARY.
Let <fJ be a positive definite function on G. There is a unique universally
bounded operator M", on M such that
M",>'(s) = <fJ(s)>.(s).
Let 't/J : G --+ be given by 't/J( s) = <fJ( S-1 ), then 't/J is positive definite, so
by the lemma IIM1/Jxll oo :::; 't/J(e) Ilxlioo' We can then estimate IITyll 1 and we
get for an arbitrary x = ~I(s)>'(s) with Ilxlloo :::; 1.
Hence M", is continuous for the norm 11111 as well on the functions with
finite support and the corollary follows.
REFERENCES
[1]. S.K. Berberian, Regular ring of a finite AW*-algebra, Ann. Math. 65 (1957),
224-239.
[2]. A. Chatterjee, A.M. Sinclair, An isometry from the Haagerup tensor product into
completely bounded operators, J. Operator Theory (to appear).
[3]. E. Christensen, Subalgebras of s finite algebra, Math.Ann. 243 (1979), 17-29.
[4]. E. Christensen, E.G. Effros, A.M. Sinclair, Completely bounded multilinear maps
and C*-algebraic cohomology, Invent.Math. 90 (1987), 279-296.
[5]. E. Christensen, A.M. Sinclair, On the Hochschild cohomology for von Neumann
algebras, Preprint, Copenhagen.
[6]. R.E. Edwards, "Fourier Series," Holt, Rinehart and Winston Inc., New York, 1967.
[7]. U. Haagerup, An example of a non nuclear C*-algebra which has the metric ap-
proximation property, Invent. Math. 50 (1979), 279-293.
[8]. R.V. Kadison, J.R. Ringrose, "Fundamentals of the theory of operator algebras,"
Academic Press, Orlando, 1986.
[9]. V.F.R. Jones, Index for subfactors, Invent.Math. 72 (1983), 1-25.
[10]. V. Paulsen, Completely bounded maps and dilations, Pitman Research Notes in
Math. 146; Longman Sci.& Tech., Harlow UK, (1986).
204 E. Christensen
SaidA. Rida
Introduction
Let N C M be an irreducible, finite depth, finite index inclusion of hyperfi-
nite lIt-factors. The question of which graphs occur as principal graphs has
been settled by various authors when the index is ~ 4 and is still open for
the remaining values. In an unpublished work, Ha.a.gerup proved that the
smallest irreducible, finite depth subfactor of the hyperfinite lIt -factor with
index above 4 has index (5 + .[13)/2 and principal graph T(4,4,4) (cf. def
1.3). Independantly from Haagerup's result, we use the gaps in Popa's set
A(M,N) (c!. [4]) to prove that star graphs do not occur as principal graphs
when the index is in (4,2 + V5).
1 Preliminaries
In [3], Jones defined the polynomials Pn{x) recursively as follows:
Po == 1 nEN
An : [0,1/4] --+ R
by
These functions will be the main tool in this paper. The next lemma
outlines some of their properties.
1
Recall that the norm of a graph is defined to be the operator norm of its
adjacency matrix. ([1])
1) There exist two and only two vertices of degree 3, and all other vertices
have degree :5 2.
2) It contains no cycles.
3) The four free branches of the graph have p-1, q-1, r-1 and s-l vertices.
4) There are 1-1 vertices between the two degree 3 vertices.
(We will usually assume p :5 q , r :5 s , q:5 s.)
Note that this definition differs from that given in [1] in terms of the number
of vertices between the degree 3 vertices.
An example of such graph is H(2, 3, 3, 4; 3):
A.t=s
208 s. A. Rida
n
where At is the transpose of A. We will often gather these data in a diagram
called the Bratteli diagram as in the following example:
M~M3(C)$C N~ {( ~ ~ $6 a,6EC}"C$C
we have n= ( ~) m= ( ~ ) s = ( :: ) r = ( !: )
A=(~ ~)
3, tl 1, t2
and we will adopt the convention that white vertices correspond to the
smaller algebra and black vertices to the bigger one.
Let N C M be an inclusion of III-factors with finite index, N C M C
MI C M2 C ... the Jones' tower of subfactors and ... C N3 C N2 C NI C
N C M a choice of the tunnel (cf [4]). Consider the infinite Bratteli diagram
corresponding to the chain of inclusions
C = N' nNe Ni nNe N~ nNe· ..
By theorem 4.6.2 [l],the Bratteli diagram of N{. nNe N{.+l n N is obtained
by a reflection of that of N{._l nNe N{. n N and a possible addition of
edges and vertices. The graph r remaining after deleting the parts corre-
sponding to the reflection on each level is called the principal graph and the
distinguished vertex on the first level (the one corresponding to N' n N) is
denoted *. (This is the same as ko in Popa's standard matrix in [5, page 20]).
remark 2.1 Theorem 4.6.2 [1} treats the chain of higher relative commu-
tants (N' n Mi)i, but we know from [5) that N' n Mi is antiisomorphic to
NIH n N, which justifies the previous paragraph.
When r is finite, we say that N C M has finite depth, and in that case, we
have [M : N] =11 r 112 (cf also [1]).
The next proposition gives a method of computing values in A(M,N)
and will be crucial in proving the main result of this paper.
Non occurrence of star graphs 209
We have:
{ "L...J -
(jtj. ' (j E {0,1, .. . ,aij} } C Api(M,N) C A(M,N)
- -
jEJi s.
Proof
For j E Ji, we have Piqj = rt + r2 + ... + r Oij
where rk is a projection in M qj with rk.r, = Okl.rk and tr(rk) = ni.tj
= =
Claim: set a tj/Si, then EN(rk) api, 1 ~ k ~ aij
Proof of claim:
Let x E N pi , then x = Eq,.x
EN(rk) = api {:} rk - api ..L Npi(with respect to tr)
=
{:} tr« rk - api).x) 0 '<Ix E Npi
tr«rk - api).x) = tr«rk - api). E, q,.x)
=tr(rkxqj - a E,Piq/X
=Tr(x).tj - aTr(x) E, ai,.t,
= Tr(x)[tj - aSi] = 0 since Si = E, ai,.t,
Where Tr is the usual trace of matrices.
By taking different combinations of the rk's, we get projections that expect
on (jtj/Si, (j E {O,l, ... ,aij} since the rk's are mutually orthogonal.
Taking projections from different M qj 's, j E Ji yields the proposition.
3 Perron-Frobenius eigenvectors
In this and the next sections, we will write An and Pn instead of An(r) and
Pn(r) whenever no ambiguity is possible.
210 S. A. Rida
Proof
Let r = T(p,q,r) , p::; q::; r < 00 and assume without loss of generality
that q < r. Since N' n M = C, the * vertex is an end vertex and by theo-
rem 3.8 [5], * should have the smallest component of the Perron-Frobenius
eigenvector. Give r a bicoloration so that * is white. We have to consider
four cases depending on whether the multiple vertex is black or white and
whether q is even or odd. Let's assume that the multiple vertex is white
and that q is odd, the remaining cases being essentially similar. Let S., Sm
and Sq be the components of the Perron-Frobenius eigenvector correspond-
ing respectively to *, the multiple vertex and the outmost vertex on the
q-branch (by outmost we mean away from the multiple vertex). We want to
prove that s. is the smallest component ofthe Perron-Frobenius eigenvector
and since the components are increasing on each branch by lemma 3.1 c),
it suffices to compare s. to Sq. Since the 3 above mentioned vertices are all
white by assumption, rand q are odd.
Non occurrence of star graphs 211
Let r = 21 + 1 , q = 2m + 1 , m < I
by lemma 3.1 a), we have
it follows
•• =
!i. ~2""'~' ~
2.···. r -T m
= 'T - m
'
n'
Aq-l-l ...·.A r
= 'T
n'
j=m+1 A2jA2j+l
= j=m+l
1,:\'\2j
2j
> 1
by lemma 1.1 a).
")t j +
In
r 1 = T r"-j+lp.2j-2+<r+l' J. <
_ r" r+1
, t r"+l = AqAq_l
\ \ P.r-l! t rr"+2
+1 =
ApAp-lPr-l.
Note that Q~t~l (resp. Q~t~2) is 0 if p = 2 (resp. q=2).
Proof
The decomposition of the algebras Nk n N is a consequence of theorem 4.6.2
[1].
1) We have seen that the * vertex is at the end of the longest branch (lemma
3.2). It follows that up to k = r - 1, the Bratteli diagram behaves in the
same way as the one in [3, p. 19]. The computation of the traces follows
the same technique.
2) The inclusion N:_ 1 nNe N: nN is given by the following sub diagram
of T(p, q, r):
t~'+1 t~'+2
Since the traces on the Bratteli diagram get multiplied by T down every
vertical column, (theorem 4.6.2 i)[I]) the trace on N: n N is given by a
multiple of the Perron-Frobenius eigenvector of T(p, q, r).
Also, 8 m = tf(~~1)/21+1 = Pr-l by i), and the traces on the long branch of
the above diagram are given by lemma 3.1 a), i.e.
t jr = T r'-j+lp.2j-2+<r 1 ~ j ~ r'
t~'+1 and t~'+2 correspond to vertices on the p and q branches and lemma
3.1 gives:
P.
r
t r '+2 = -p:-.8
TPq- 1
q
m
\
= Aq. r-l
p. \ \ P.
r+1
tr"+l = -Aq_lAq
- - T r - l = Aq_lAq r-l
T
Non occurrence of star graphs 213
Before proving the main result, we need a few lemmas about graphs.
The proofs can be found in [6].
Define the Hoffman's sequence I'q =11 T(2,q, 00) Wfor q E N (cf. also [2]).
This is a strictly increasing sequence and limq J.tq = 2 + V5 (cf. [1D.
=
lemma 4.4 Let T [M : Nt 1, then
[M : N] < 2 + .f5 <=> (1;;)3 < T.
214 s. A. Rida
The next theorem is the main result of this paper. Here is an outline of
the techniques used in its proof:
1: Let N C M be an inclusion of finite dimensional algebras with N con-
taining the unit of M. Then every summand in the decomposition of M
contains at least one summand from the decomposition of N . (Note that
all these inclusions have multiplicity 1 as this is the only case of interest to
us).
2: Let (Q, s) be a summand in the decomposition of N along with its trace of
a minimal projection, and assume that (Q,s) C (Li,ti), i = I, ... ,n where
(Li,tSs are summands of M. Then I'i = tds E A(M,N) Vi = I, ... ,n
and Ef=ll'i = 1 (cf. section 2).
3: One dimensional summands of M contain only one dimensional sum-
mands of N (This is obvious).
4: Let N C M be hyperfinite III-factors with index [M : N] = r-l. The
smallest value :F 0 (resp. largest value :F 1 ) in A(M,N) is r (resp.
1 - r). Moreover, A(M,N) has gaps between ~n(r) and ~n+I(r) for all
n. By exhibiting values in these gaps, we will show that certain inclusions
can't occur.
Proof
Let N C M be such an inclusion, r = [M : Ntl its index, r = T(a,b,c)
its principal graph and n its dual graph (Le. principal graph for M C M},
where Ml is the result of the basic construction performed on N eM,
also note that II r 11=11 n ID. We know from lemma 1.1.12 [7] that n :F r,
therefore, either n = H(2,q,2,sjl) for some 2 ~ q ~ s, I ~ 1, or n =
T(p,q,r» (p,q,r) :F (a,b,c). Let's assume that r :F T(3,4,4) (this case
uses similar techniques, and will therefore be omitted).
Case 1 n = H(2,q,2,sjl). Set (J = 1- r - ~8.
By lemma 4.5, we have c ~ S+ 1. Consider the inclusion N;nN C N;nM. By
lemma 4.1 i), the decomposition of N; n N has one I-dimensional summand,
call it Q, where the trace of a minimal projection is p•. Let s" =
[~]
and (Lj+I)j:1 the first s" summands in the decomposition of N; n M. Let
Non occurrence of star graphs 215
(T, ... , T2 p.-3, Tp._ t) be the corresponding traces as given by lemma 4.2
iii). (Note that the indexing of the tunnel of M C M1 is different from that
of N C M j it is shifted down by 1).
Claim: Vj ~ sIt - 1 Q rt. Lj+1.
Proof of claim: Each inclusion of summands gives rise to a nonzero value
in A(M,N). Assume Q c L:t~l' then p = . .2~_3 E A(M,N).
On one hand
Combining (1) and (2), we get I' < (1;;)3 < T by lemma 4.4, a contradic-
tion since T is the smallest nonzero value in A(M,N), and this completes
the proof of the claim.
Since the (tj+1)j:l1 is increasinginj, all the other inclusions Q C Lj+1, j ~
sIt - 1 yield values smaller than T and therefore can't occur.
Now, let's distinguish the cases I > 1 and 1= 1.
I> 1 : In this case we are left with 2 possible inclusions:
Q c L:t1 which yields
P1 = --p;-
TPs - 1 = A.+1 E A( )
M,N
Since both P1 and 1'2 are -F 1, they both have to be in A( M, N) and satisfy
P1 + 1'2 = 1 (because N; n N contains the unit of N; n M), but this is a
contradiction since
1- As - T
P1 + P2 = 1 _ As < 1
216 s. A. Rida
1 = 1 : In this case, there are 3 possible inclusions:
Q C L:t1 which yields
JJI = -p;-
TP.- 1 = >'.+1 E A( )
M,N
JJ2 =
T{JP.-
PII
1
= (J >'.+1 E A(
M, )
N
Now if q = 3, then
p. = -r>'3;r±l
= >'3>'r+1
< >'3
Non occurrence of star graphs 217
p. ~ r <=> '\g-1:,'\rt 1 ~ r
<=> ~q-l~r+1 ~ r(1 - ~q-l)
<=> "\q-l("\r+l + r) ~ r
<=> ~r+l + r ~ 1 - ~q-2
<=> ~r+l + + +
r ~ r ~q ~r - ~q-2
<=> ..\r+l - ..\r ~ ..\q - "\q-2 > ..\q - "\q-l
References
[1] F. Goodman, P. de la Harpe, V. Jones, Coxeter graphs and towers of
algebras. MSRI Publications 14, Springer Verlag.
[2] A. J. Hoffman, On limit points of spectral radii of nonnegative sym-
metric integral matrices. Lecture notes in Math. 303: 165-172, 1972.
[3] V.F.R Jones, Index for subfactors. Invent. Math. 72:1-25, 1983.
[4] S. Popa, Relative dimension, towers of projections and commuting
squares of subfactors. Pac. J. Math. 137 number 2: 95- 122, 1989.
[5] S. Popa, Classification of subfactors: reduction to commuting squares.
Invent. Math. 101:19-43, 1990.
[6] A.S.Rida, On subfactors with the generating property and graphs. PhD
Thesis, University of California, Berkeley, 1992.
[7] J. K. Schou, Commuting squares and index for subfactors. PhD Thesis,
Odense Universitet, Denmark, 1990.
Depth 2 Subfactors and Hopf Algebra
Crossed Products
Wojciech Szymanski
Department of Mathematics
University of Cincinnati
Cincinnati, OH 45221
Abstract
We discuss finite dimensional Hopf *-algebra structures related to
depth 2 subfactors of I h -factors.
In the late sixties Sweedler introduced concepts of a Hopf algebra, its action,
and the crossed product (see [9]). Interest in Hopf algebras grew in the
eighties after the discovery of quantum groups. Hopf *-algebras came into
play and their relation to the theory of operator algebras was clarified (see
[12]). Since then, many applications of Hopf *-algebras to operator algebras
have been found. In particular, several concepts known in the case of group
actions (such as spectral subspaces, spaces of spherical functions) have been
translated into the context of finite dimensional Hopf *-algebra actions on
CO-algebras (see for example [6]). In this article we want to discuss some
applications of Hopf algebra techniques to subfactors.
A (finite dimensional) Hopf *-algebra H is a (finite dimensional) C'-
algebra equipped in linear maps; ~ : H ~ H ® H, comultiplication, c :
H ~ C, counit, and S : H ~ H, antipode (see [9, 12]). Both ~ and c
are CO-algebra homomorphisms and S is a *-preserving antimultiplicative
involution. Moreover, the following identities are required; (~181 id)~ =
Depth 2 subfactors 219
MH eM c M XI He (M XI H) XI HO,
Longo has recently obtained a similar result for infinite factors (see [4]).
The idea of the proof is based on the duality between A and B established
by a bilinear form (-, .) : A x B - t C defined as
difficult part of the proof is to show that ~ preserves multiplication. For this
we make use of the following observation.
A map T : B®B -+ C defined as T : b1 ® ~ ....... b1 eNS(b2 ), where S
denotes the antipode of B, maps ~(B) onto A. S: B -+ B is the unique
map satisfying (a, S(b)) = (a*, b*) for all a E A, bE B.
The crossed product decomposition of M2 is based on the following ob-
servation.
There is an isomorphism of vector spaces M1 ® B -+ M2 given by x®b .......
xb. This map becomes an isomorphism of von Neumann algebras M1 )4 B -+
M2 if the crossed product is related to the action of B on M1 defined as
b· x ~ [M: N]E(bxeM),
References
[1] F. M. Goodman, P. de la Harpe, V. F. R. Jones, Coxeter graphs and tow-
ers of algebms, Math. Sci. Research Inst. Publ. n. 14, Springer-Verlag,
1989.
[4] R. Longo, A duality for Hopf algebms and for subfactors, preprint, 1992.
222 W. Szymanski
[5] A. Ocneanu, "Quantized groups, string algebras and Galois theory for
algebras," in Operator algebras and applications, vol. 2, London Math.
Soc. Lecture Notes, vol. 136, Cambridge Univ. Press, 1988,119-172.
[6] C. Peligrad, W. Szymanski, Saturated actions of finite dimensional Hopf
*-algebras on C*-algebras, preprint, 1992.
[7] M. Pimsner, S. Popa, Entropy and index for subfactors, Ann. Sci. Ec.
Norm. Sup. 19 (1986),57-106.
[8] M. Pimsner, S. Popa, Finite dimensional approximation of pairs of al-
gebras and obstructions for index, J. Funct. Anal. 98 (1991),270-291.
Section 1. Introduction
Recently, G. I. Ol'shanskii introduced a new class of semifinite factor
representations and their associated matrix coefficients, called generalized
characters, which include the essential features of finite character theory
for the infinite dimensional classical groups. They are related to the con-
cept of total positivity [Kar] which has important applications in analysis,
combinatorics, and to the theory of operator nodes and their characteristic
functions which were introduced to study non self-adjoint Hilbert space
operators. In [04], Ol'shanskii classified generalized characters associated
to the infinite symmetric groups. In this situation, they are related to the
Brauer semigroups which, together with their q-analogues, have important
applications in knot theory and in the study of the Yang-Baxter equation
(see [04] for references). The association of all these ideas suggest that the
investigation of generalized characters may provide new insight in these
areas. In this paper, we use c· -algebraic methods developed in (Boy2] to
begin the classification of certain generalized characters associated to the
unitary group.
We now give a brief review of [03] and relate these results with previous
work. We examine the pair (L, K), where L is a topological group with a
closed subgroup K. The subgroup K acts naturally on L via conjugation.
A normalized continuous positive definite function p on L is K -central if
p(kxk-l) = p(x), for all x E L, k E K. The collection of all K-central
functions for (L, K) forms a convex set whose extreme points are called
generalized characters, denoted by GC(L, K). They can be identified with
a matrix coefficient of certain semifinite factor representations. For K = L,
the generalized characters reduce to the usual finite characters of L.
For many classical pairs (L, K) (see [02] for the complete list), the
space LK of K-orbits admits a binary operation giving a semigroup. This
algebraic structure, absent in finite dimensions, provides the infinite di-
mensional theory its unique features. For example, a K-central function
gives rise naturally to a function on LK which is extremal if and only if
it is multiplicative, relative to multiplication of K-orbits. An important
example to consider is L = U(oo), the inductive limit unitary group, with
K = L, then the K-orbits are identical with the conjugacy classes 6.(L) of
L, given by unordered families of complex numbers {Zj} such that IZjl = 1
and Zj #- 1, for only finitely many indices. Two such families, say C = {Zj}
and C' = {zj}, multiply to yield Co C' = {Wj} where W2j = Zj and
W2j+l = zj. Since a L-central function p yields a function p on 6.(L), p is
a finite character (that is, extremal) if and only if p(C 0 C') = p(C)p(C').
226 R.P. Boyer
ub
otherwise, take IA = 1 and IB = 1. Since 1) + bP) = 1, I is a convex
combination of I A and lB.
For I to be a generalized character, it must be an extremal K-central
function; hence, either IIL1 = 1 or IIL1 = X~l). By (2.3), the convex sets
of all K-central functions I that satisfy IILl = 1, respectively IILl = X~l),
are affinely isomorphic to the set of usual characters. Hence, the general-
ized characters I with IILl = 1, respectively, IILl = X~l), are uniquely
ab
determined by the value 2), respectively, b~2). They can be identified with
ab
the generalized characters, given in section 1, Po,,8(V), with 2 ) = 1 - {3,
respectively, P1,,8(V), with b~2) = 1 - {3.
Further,the same method used for finite characters shows Po,,8(V) =
Ef:;/ {3j(1 - {3)N-j-1Tr(A~N) Ai (V)), where V E LN. By [SV1, pp. 112-
117], we have P1,,8(V) = Ef=1{3j-1(1- {3)N-jTr(Bt)Ai(V)), V E LN.
Hence, every generalized character P supported on the antisymmetric ten-
sors have the form det[I - A + AV], where A = (~ ~), where A = 0 or
1 andO~{3~ 1.
In section 3, we interpret these ideas in their C" -context to derive
partial classification results.
Section 3. Classification Results
We need the fundamental construction of Stratila and Voiculescu [SVl]
of the C* -algebra associated with a direct limit G of separable compact
groups G N. It is defined as the C* -completion of the direct limit of the
Banach *-algebras £(N), where £(N) is the Banach *-subalgebra generated
by the £l(GN) C M(GN) and M(GN) is the Banach *-algebra of finite
Borel measures on G N. The natural inclusion M (G N) c M (G N+1) induces
the embedding of £N into £(N+1). We denote this C"-algebra by C*(G).
It is an AF-algebra.
It is convenient to work with the primitive quotients AJ = C*(U(oo))j
J, where J is some primitive ideal. The space of primitive ideals of
C* (U (00)) is parametrized by a (double) signature {Ujj L j }f=1' where
Uj , -Lj E Z U {oo} and Uj ~ Uj+l ~ Lj+1 ~ Lj . [SV1] To simplify
230 R.P. Boyer
notation, we shall assume for the remainder of this section that the lower
signature {Lj } is identically o. Further, we single out those primitive quo-
tients AJ = C*(U(oo))jJ that admit faithful type III factor representa-
tions. Their signature entries have at most one distinct finite value. We
call these signatures type III [Boy2].
We can interpret the proof in section 2 by using the Stratila-Voiculescu
dynamical system associated to the AF-algebra AJ = A(O, r), where 0 is a
compact Hausdorff space (consisting of paths through the Bratelli diagram)
and r is a countable group of homeomorphisms (consisting of finitely sup-
ported path permutations). J is the primitive ideal with U1 = U2 = ... = l.
We give a briefreview of this system. For quotients of C·(U(1 + 00)), the
nodes DN of the Brattali diagram D at level N are a certain subset of f;.
Two nodes A E DN and p. E DN+1 are connected if and only if p.ILN > A.
The space 0, then, is the set of all paths (WN) through D with WN E DN.
Further, finite characters are given by the r-invariant and ergodic probabil-
ity measures on O. By [SVl], this path space for the antisymmetric tensors
is given explicitly as infinite paths through the usual Pascal triangle.
The generalized characters found in section 2 are also described as
measures. This does not automatically follow from [SVl,2] since the op-
erator A, giving the KMS-function PA for the generalized character, does
not satisfy ker(A(I - A)) = {O}. The only functions PA that are directly
given by probability measures on 0 are those such that A is diagonal and
A(I - A) is injective. We need to use a subdynamical system. Let Ox,
(x = 0,1) be the subset of 0 of all paths through the Pascal triangle such
that (WN) E Ox only if W1 = x, where x = 0,1. Let ro be the subgroup
of r that preserves Ox. Then the generalized characters are given by the
ro-invariant, ergodic measures on Ox. Further, the two dynamical systems
(0, r) and (00, ro) are isomorphic. This is the method we used to find the
infinite characters of U(oo) in [Boy2].
For the generalized characters of the pair (L, K) = (U(1 +00), U(oo)),
there are three natural invariants, which identify the subdynamical system
attached to the primitive quotient of C·(U(1 + 00)). The first invariant
is the multiplicative character of U(I), or equivalently an integer n, given
by the restriction piLl. The second invariant is the finite character X of
the group K, p1K1. The third invariant is the (double) signature of the
primitive ideal of C* (U (1 +00)) given by the semifinite factor representation
associated to p. By example, each of these invariants is necessary. Consider
the two generalized characters P1(V) = adet(1 - (3 + (3tI) and P2(V) =
[a - {3b(1 - {3 + {3d)-lc] det(1 - (3 + (3d). Then P11L 1 = P21L 1 = a and
P11K = P21K. But the associated primitive ideals are different: ker(p1) has
signature: (2,1,1, ... ), while ker(p2) has signature: (1,1,1, ... ). The two
other cases are given by similar examples. The results of this section show
many incidences where these three invariants do uniquely determine the
generalized character.
Generalized characters of U= 231
--
1), U(N)) are linear combinations of the functions ON(A, p)(V) =
Tr(P.>.,,.A(V)), where A E U(N), p E U(N - 1) -: and P.>.,,. is the pro-
jection of the representation space of A onto the subspace that supports
the representation I' [D].
Proposition 3.1 Let p E GC(L, K) such that piLl = 1 and p has signa-
ture of type lIt. Then p (: :) = det[f(d)], where fez) is a genernting
function for a totally positive sequence.
Proof. We first determine the deco~ition of the generalized char-
acter p on restriction to LN. If A E L N, then AILl x KN = L:{m} x
{AIm}. Now, we need only the term in this sum for m = 0 since piLl =
aO = 1. For m = 0, {AIm} = {A}. Hence, plLN = L:{CN(A)ON(A,A) :
the number of parts of A < N}. Further, the coefficients CN(A) obey the
same consistency relations as a trace for U (00 ); that is, there is a unique
trace t such that tlU(N -1) = L:{CN(A)XN-l(A) : A E U(N -1) . . .}, where
XN -1 (A) denotes the character of the irreducible representation of U(N -1)
with signature A. This mapping is an affine isomorphism between these two
convex sets. In particular, this map preserves extreme points. Hence, there
is a natural bijection between the generalized characters with piLl = 1 and
finite characters t of U(oo).
One consequence of this correspondence is that any K-central
function is uniquely determined by its restriction to L2, since any cen-
tral function of U(oo) is determined by its restriction to U(l). Now, write
plL2 = L: {C2(A)02(A, A) : number of parts of A = I} or plL2 = L:~o
C2( {k} )02( {k}, {k}), where {k}, the signature with one non-zero entry k, is
realized as a representation by the k-th symmetric power of the usual rep-
resentation of U(2) on C 2 . In particular, 02( {k}, {k}) (~ ~) = dk , where
n;=l [a + ,Bjb(1 - ,Bj + ,Bjd)-lc) det(1 - ,Bj + ,Bjd), where 0 < ,Bj < 1.
The combination of Propositions 3.1 and 3.2 allow us to recover the
classification of generalized characters that are supported by the primitive
quotient with signature (1,1,1, ... ), that is, supported by the antisymmet-
ric tensors, given in section 2.
Both of these Propositions have a dynamical system interpretation.
Let (Ok, rk) be the dynamical system for the primitive quotient with the
type Ill-signature (k, k, .. .). Let (0, r) be the system for the primitive quo-
tient in Proposition 3.1. Let 0' be the subspace of all paths in 0 that pass
through the node (0) in 6(1) and r' be the subgroup of r that preserve the
subspace 0'. Then (O',r') is isomorphic to (Ok,rk)' For Proposition 3.2,
the subspace 0' is given by restricting paths to pass through (k) in 6(1).
Then the generalized characters correspond to the r'-ergodic probability
measures that are supported on 0'. This is an exact analogue of the finite
character situation [SVl).
We next address the problem of determining the range of the canon-
ical map from GC(L, K) --+ Prim(L) where p 1-+ ker(p), where ker(p)
denotes the kernel of the semifinite factor representation corresponding
to p. The finite characters parametrize the subset of the primitive ideal
space of U(1 + (0), whose signature entries have at most one finite value
[Boy2). Generalized characters still parametrize only a proper subset of
Prim(U(l + 00».
Proposition 3.3 Let p E GC(L, K), then the signature of p has at most
two distinct finite values.
Proof. If (Ut, U2, ... ) is the signature of p, let r = /{j : Uj = 00}1,
so 0 :::; r :::; 00. Next, let PN = pILN, then PN = E{CN('\,p)ON('\,p) :
,\ E t:;"p E K;.}. Set XN to be the support of PN C t:;, and YN,
the support of plKN C K;. Since there exists an integer n such that
piLl = a'''', any irreducible component v occuring in the restriction '\IKN
satisfies (*) 1'\1- n = Ivl.
Since plK is a finite character, its signature (U1, U2, ... ) must be of
type Ill; that is, there exists an index 0 :::; r' :::; 00 such that, if r' < 00,
U~'+1 = U~'+2 = ... < 00 and, if r' > 0, U1= '" = U~, = 00. This has
the consequence that if v E YN then (**)lj :::; Uj, where v has signature
(It, 12, ... , IN-t). It follows because of (*) that r = r'. Hence, the signatures
of P and plK agree if all the signature entries of P are infinite. So, assume
r < 00. Then there must be an integer jo such that Uj = Uj, j ~ jo and, if
r ~ 1, Uj = Uj, 1 :::; j :::; r,
We will be done if we can show that jo :::; r + 2. Since we always
have Uj :::; Uj, for all j, we need to verify that Ur +2 = U~+2' To accom-
Generalized characters of U ~ 233
plish this, consider the partial trace(A, v), where A e X N. Recall that
(JN
e YN; moreover, v must be an
(IN(A, v)IKN is the character of v, where v
irreducible component of the skew Schur function {A}/{n}. If A has sig-
nature (mb m2, ... ,mN) and 1nr+2 > U~+2' then mr+l > U~+2 = Ur+1
as well. Then, by the Littlewood-Richardson rule, the irreducible v e YN
cannot satisfy (**), since we must have lr+1 > U~+1' Contradiction. In
other words, the signatures of p and plK agree except for the (r + l)-st
entry, when r < 00.
In the next two propositions, we classify generalized characters in non-
negative signatures that correspond to infinite factor representations. We
first treat the type I case. There it is easy to exhibit examples; for example,
if 7r is the natural representation of U(l +00) on the Hilbert space H, then
p(V) = (7r(V)el' el) = a is a generalized character. We show that the other
type I generalized characters are just powers of this one.
Proposition 3.4 Suppose pe GC(L, K) such that the corresponding prim-
itive quotient AJ is type I, then p has signature (n, 0, 0, ... ) and
p (: ~) = an.
§l. Preliminary.
Throughout this paper G will denote a discrete group
and (G) the set of conjugacy classes of G. We also denote by
(G)', resp. (G)", the subsets of (G) which contain
elements of finite and infinite orders, respectively. Given a
conjugacy class x, let h be an element in x. The subgroup
Gh = { g E G I gh = hg} of G contains a central cyclic
subgroup generated by h, which we denote llh. The quotient
GhtD.h is denoted by Nh. Obviously Gh and Nh do not
depend on the element h chosen up to group isomorphisms.
Module structures 239
and
h7r{g).
a -Igh
n\ lI\gh ••. h )-1-1
0 ···hn-1)-lgh 0 ••. h n-1. -I h • •h» ,
"\g.
+ ...
+ (-1)n (a o. g-l7r{gho), a l7r{gh ot 1gh o. 7r{ghO)-l7r{ghohl)' ... ,
an 7r{gho· .. hn -1) -lgho· .. hn -1. 7r{gho· .. h n -1) -l7r{gho· .. hn ),
7r{gho· .. hn ) -lgh o· .. hn )·
Note that 7r{gho··· hn ) -lgh o· .. hn = 7r{hgtlhg = 7r(gt1g since
7r{hg) = h 7r(g).
It is now a straight forward matter to check that
-
'l/J(1, hn+l' hn+lhn+2' ... , hn+t"· .h n+m),
that is, u(ggo, gg1' gg2) = u(go, g1' g2)' and u(go, g1' g2) = 0,
where g, go' g1' g2 are in Gh , and where g = q(g), whenever
two entries are the same. When h is of infinite order, uoq is
cohomologous to O. Thus there is a normalized one cochain A
over Gh such that dA = uoq. Then as in [8], one can choose
in a canonical way that A(lG' h) f o. (In fact, if [u] f 0 in
H2(N h; k), then A(l G, h) :I 0 is independent of A chosen; and
if [u] = 0, then one can choose A such that A(l G, h) = 1.)
Note once again that cp(c odc 1·· ·dcn) = cp(c o, ... , cn), and I{J
= };o<i<j~n+2
"'/c 1 1+1- - -dc·J - l- c.-
dc 1- - -dc·1-l-c.-dc.
'f'\ O J dcJ. +1- - -dc n +2)-A 1J"
..
+ };~!~ +2T>,. (h k+1- - -h n +2h O- - -hi -1- dh i -(hi +lhi +2) - - -h k)}
-- (- 1) ( i-1) +( i+1) {(h
T>,. i+2- - - h n+2h 0- - -
h idh i+l)
A
0 0
. • 1
+ (_l)l(-l)l+ {T~(hi+1" ohn+2hoO oh i _1dh i) 0 0
= (-1)(j-1) +( h1) 0
{T. . (h.l +1
1\
000 h n +2hO 0 0 0 h.1-1dh 1. h·1+ 1 0 0 0 0 (h.l -I h.))-
l
T)..«hjhj +1) 0 0 0 hn+~O 0 0 0 hi-1dhi" hi +1 0
0 0 h j -1)}
= (-l)i+j{[).(l, hi" 0 ohj ) - ).(1, h i +1o ohj )] 0 -
= (_l)i+j -l T U
(h oo oh·1-1dh.oh.
1 1+ 1 oh·l -1dh.oh.
0 2)
l l +1" ohn+' 00 0
The last equality uses the facts that d)' = uo q, and that Tu
''''ldc-··
'f'\ 1 ·dc-1 +J-- l·C-1 +J-.dc-+-+
1 J l •· ·dc-+
1 n ).
A
};k=j +IT).(h k+i +1· .• h n+i +lhi" .. hi +j -ldh i +j" hi +j +1· .. hi +kH
= };Y=o (-l)ni{};j=O (-l)j (_l)j(n-j ).
This shows that Scp = [47Ti/ 'x(1, h)]. cpUru. [3, Ch. II].
One can prove easily that if one equip S(Gj A) the product as
that ofAxo.G:
f(J*'If;(g) = l1tEG cp(h)ah-1( 'If;(h -lg»,
then S(Gj A) becomes an dense subalgebra of il(A, G, a). By
a similar argument as in [12) that SeA, G, a) is a smooth
subalgebra of il(A, G, a). Recall from [7) that a subalgebra
A of a Banach algebra A is called smooth if AGDMn(() is
stable under holomorphic functional calculus in AGDM n((), for
all n.
S(G; A) satisfies <rx ' ex> = < [Chr]x' (Ch[eD x >' where
the subscript x is a conjugacy class of the group, and the
letter with such a subscript represents the cyclic (co )homology
References
Email-address: igesl00@indycms.iupui.edu
q-RELATIONS AND STABILITY
OF C·-ISOMORPHISM CLASSES
1. INTRODUCTION
o-+ C -+ 21 -+ Od -+ 0
in the category of C* -algebras, where C denotes the C* -algebras of the
compacts, and 21 is the Cuntz-Toeplitz algebra on d generators.
3.3 q-Commutation Relations. Let 1£ be a given Hilbert space, 1£.
as in 3.2, and let q E JR.. Consider the set B indexed by 1£ x 1£* with
elements Ig* - qg* 1- (f,g)l, and Ih - qhl, for I, h E 1£, g* E 1£*.
Equivalently, consider the possibility of dividing out by the ideal on the
combined relations:
labeling [15], but the CCR-algebra is different; it is well known that it has
no representation by bounded operators, so it is not C·-admissible. But
we still get a C·-algebra (see [6, 30]) by generalizing the construction in
3.1 above: Look at elements u, v indexed by 1£ x 1£., and given by formal
exponentials
u = e*(J-r>,
(3)
which are now C·-admissible by Lemma 2.1. The generators u = u(!), v =
v(g) now depend on an argument /,g E 1£, which even for dimll = 1
takes uncountably many values, so the CCR-C·-algebra based on (3) is
non-separable.
In Section 5 ofthe present paper we shall look closer at relation (1) for
q in the interval -1 < q < 1. Since in this interval (2) is not consistent
with (1), we ignore this relation. We show that (1) is C·-admissible, and
thus provides an interpolation between the CCR and CAR. We shall refer
to the C·-algebra on (1) as the q-CCR-C·-algebra. We also show that
the C·-isomorphism class of this algebra is constant for q in the interval
Iql < v'2 - 1; and we expect, in fact, in the full interval, -1 < q < 1.
Several generalizations and modifications of the q-CCR-relations have
been considered in the literature. In [32] the Fock representation of the
relations aiaj = 6ij + qij ajai was shown to be positive, and another mod-
ification, based on the positive definiteness of functions on pair partitions
was investigated in [33]. The techniques of section 5 also apply to relations
in which the term qg. / is replaced by a general, but sufficiently small lin-
g;
ear combination of operators /i [18], or even by suitable transcendental
functions of the generators.
3.4 The C·.algebras U::c. This is the non-commutative (ne) C·-algebra
on the unitary n by n matrices, Le., the classical matrix group Un. The ma-
trix functions (Uij), 1 ~ i, j ~ n, satisfy the familiar relations EI: UtiUl:j =
EI: Ui1: ujl: = 6ijl, that is to say, (Uij) is a unitary matrix in Mn(U::C) ~
U:: c ® Mn where Mn denotes the n x n complex matrix ring. We may
take these as relations for elements in a C·-algebra. By Lemma 2.1 they
are obviously C·-admissible, so we can talk about the universal C· -algebra,
U:: c , on these relations, see [3 ,7, 13, 24, 34], U:: c • This C·-algebra was
studied recently in [24] along with a certain reduced version U::~ed' and it
was shown that U::,~ed has no non-trivial projections, and the ~morphism
classes were also found.
3.5 Woronowicz' S.,U(2). The construction in 3.4 has an analogue for
the other classical Lie groups G, so we get associated C·-algebras Gnc. This
is especially useful for the Lie groups SU(n), and the non-compact group
U(n, 1) of all (n + 1) by (n + 1) complex matrices 9 such that gJg. = J
q-Relations and stability 265
where J = (~1 1:). This is also the group of matrices preserving the
indefinite sesquilinear form
and it was shown in [7, 34] that U( n, 1)nc may be viewed as a self-similar ver-
sion of the Cuntz-Toeplitz-algebra, see [13]. Each Gnc may alternatively be
reconsidered from the point of view of deformations and Hopf-algebras [35],
leading to the Woronowicz-Drinfeld theory [23, 35] of "quantum-groups."
The 1/ is a deformation parameter, then the C·-algebra is denoted cnC(I/),
but when the classical matrix-group G is non-compact, then the correspond-
ing 1/- relations are typically not C·-admissible, see [27, 34, 35(b)]. The
simplest case when they are C·-admissible is S"U(2) with matrix-entries
(;. -;"Y) , and relations
4. SYMMETRIES
where a E C, A : 1{. -+ 1{. is linear, and hI, h2 E 1{. are restricted by the
"isometry" conditions:
and
/Coo = {4>E/CIVJE1t1l"(I)4>=O}
/Co = lin { 11" (Ii ... f~) 4> I n EN, fi,··· , rn E 1l" , 4> E /Coo}
/Cl = n
nEN
lin {1I"(li ... f~)1/I1 fi,··· , f~ E 1l", 1/1 E /C}
Then /Co and /C 1 are 1I"-invariant, and /C = /Co$/C 1 • This invariant decom-
position is uniquely characterized by the property that 1I"1~o is a direct sum
of isomorphic copies of the Fock-representation, and /C 1 n /Coo = to}.
Moreover, ifdim1l = 1, and /C 1 =F to} then -vr=i1l"(f)1/C 1 is unitary for
every unit vector f E 1l.
The proof of this result is given in [18]. The Wold decomposition from
single operator theory [22] provides a canonical direct sum decomposition
for an arbitrarily given isometry as a sum of a unilateral shift (with mul-
tiplicity) and a unitary. In this analogy, the Fock representation 11"0 corre-
sponds to the unilateral shift. As in the single operator case the comple-
ment /C 1 is characterized by the property that every vector can be given an
arbitrarily long "iteration history" with respect to the operators 11"(1*).
We remark that there are, for every q E (-1,1), non-trivial representa.-
tions with /C = /Cl. In fact, if h E 1l is a vector with IIhll = 1 there is a
unique state Wh such that
Such "coherent states" were studied in the case q = 0 in [7], and, for general
q, in [19]. The GNS-representation associated with such a state contains
no Fock component /Co.
At least in a limited range of q one has the following alternative descrip-
tion of this decomposition: if Iql < 1/2, and dim1l < 00, one can show [17]
that 0 is an isolated eigenvalue of
Theorem 5.4 [17]. Let q E JR., Iql < -12 - 1 be given, and let f/Jo be
the universal representation of the Cuntz- Toeplitz C· -algebra 2(0(1l) over
a finite-dimensional Hilbert space 1£. Let P = 1- f/Jo(E. ete.), where {e.l
is an orthonormal basis in 1£. Then 2(11(1£) = 2(0(1£), and the universal
bounded representation f/JII of the q-relations is determined by
1
f(R) = (1- P + q L f/Jo(ei)* Rf/Jo(ej )*f/Jo(ei)Rf/Jo(ej») 2" ,
ij
In general, the stability interval will depend on d: For the case, aia; =
6ij 1 + qat aj, 1 :5 i, j :5 d, our Theorem in [17] gives isomorphism of the
q-dependent C·-algebras, for Iql < (v'5 - 1)j(2d). Even though there may
possibly be a bigger stability-interval, the true interval must depend on d,
since one can show [17] that apart from some discrete values of q there are
no bounded representations for q < -ljd.
270 P. E. T. J!IIrgensen, L. M. Schmitt, and R. F. Werner
ACKNOWLEDGEMENTS
The present paper is based on the joint article [17] by the co-authors,
and a lecture by one of us (RFW) at The University of Iowa-Great Plains
Operator Theory Symposium (May 1992). It represents research done while
the authors have benefited from hospitality at the following institutions:
PETJ and RFW at Oberwolfach, RFW at Universitat Tiibingen, and The
University of Iowa, and PETJ at the University of Pennsylvania and the
University of Calgary. The coauthors acknowledge discussions with B.
Kiimmerer, R. Speicher, G. L. Price, J. Cuntz, S. L. Woronowicz and B.
Brenken. We would like to thank the referee for his/her careful reading and
considered suggestions.
REFERENCES
1. J. Anderson and W. Paschke, The rotation algebra, Houston Math. J. (1992).
2. L. C. Biedenharn, The quantum group SUq (2) and a q-analogue of the Bo.on op-
erator., J. Phys. A 22 (1989), L873-878.
3. B. Blackadar, Shape theof'J for C* -alge6rtu, Math. Scand. 56 (1985), 249-275.
4. M. Boiejko and R. Speicher, An e2:ample of a generalized Brownian motion, Comm.
Math. Phys. 131 (1991),519-531.
5. O. Bratteli, G. A. Elliott, F. M. Goodman and P. E. T. Jt&rgensen, Smooth Lie
group action. on the irrational rotation algebrA, Nonlinearity 2 (1989), 211-286.
6. O. Bratteli, G. A. Elliott and P. E. T. Jt&rgensen, Decompo,ition of unbounded
derivation. into inVAriAnt And approrimAtel,l inner part., J. reine angew. Math.
(Crelle's J.) 346 (1984),166-193.
7. O. Bratteli, D. E. Evans, F. M. Goodman and P. E. T. Jt&rgensen, A dichotom,l for
derivAtion. on On, Publ. RIMS, Kyoto Univ. 22 (1986),103-117.
8. O. Bratteli and D. W. Robinson, OperAtor Algebra, And qUAntum .tatiatica.l me-
chanic. I and II, Springer-Verlag, New York, 1979,1987.
9. L. A. Coburn, The C*-Algebra generated bll an i.ometf'J I, Bull. Amer. Math. Soc.
13 (1967), 722-726.
10. A. Connes and M. A. Rieffel, YAng-Mill. for non-commutative two-tori, Contemp.
Math. 62 (1987), 237-266.
11. J. Cuntz, Simple C*-Algebra. generated by i.ometrie., Comm. Math. Phys. 51
(1977),173-185.
12. K. Dykema and A. Nica, On the FocI: repre.entation of the q-commutAtion relAtion.,
J. reine angew. Math. (Crelle's J.) 440 (1993),201-212.
13. D. E. Evans, On On, Publ. RIMS, Kyoto Univ. 16 (1980),915-927.
14. D.I. Fivel, Interpolation between Fermi And Bo.e .tAtillic. u.ing generalized com-
mutAtor., Phys.Rev.Lett. 65 (1990),3361-3364; Erratum, Phys.Rev.Lett. 69 (1992),
2020.
15. J. Gllmm, On A certain cla" of operator algebra., Trans. Amer. Math. Soc. 95
(1960), 318-340.
16. O. W. Greenberg, Particle. with .mall violation, of Fermi or Bo.e .tatidic., Phys.
Rev. D 43 (1991),4111-4120.
17. P. E. T. Jt&rgensen, L. M. Schmitt and R. F. Werner, q-Canonical commutation
relAtion. And .tahilit, of the Cuntz algebra, Pacific J. Math. (to appear).
18. P. E. T. Jt&rgensen, L. M. Schmitt and R. F. Werner, Po.itive repre.entation. of
general commutation relation, allowing Wicl: ordering, Preprint Osnabriick, 1993.
19. P. E. T. Jt&rgensen and R. F. Werner, Coherent datu of the q-ca.nonica.l commuta-
tion relation" Preprint Osnabrock, 1993; archived at funct-antbabbage .aina. it,
'9303002.
q-Relations and stability 271
Terry A. Loring *
Department of Mathematics and Statistics
University of New Mexico
Albuquerque, NM 87131
The purpose of this note is to prove the following result which gives a suffi-
cient condition for an asymptotic morphism to be associated to a deformation
of C* -algebras. All C· -algebras in this paper will be assumed separable. See
[1, 2] for definitions, etc.
the definition of the norm in Boo that cp is injective exactly when cP is weakly
injective.
To see that weak injectivity is not the same as injectivity, consider any con-
tractable C* -algebra A. Let B = A and let CPt be a path of *-homomorphisms,
parameterized by [1,00), that equals idA for t an even integer and equals the
zero map for t an odd integer.
Given an arbitrary asymptotic morphism (cpt) : A -+ B, one may mod out
by Ker cp and conclude only that cP factors as the composition of a quotient
*-homomorphism and a weakly injective asymptotic morphism. This immedi-
ately gives a proof of a weaker version of Theorem 1: injectivityon K-theory in
these cases implies weak injectivity of the asymptotic morphisms. To deduce
the existence of a deformation, one needs injectivity.
To summarize the relation between injectivity and weak injectivity we give
the following two lemmas which, modulo the above correction, are due to
Connes and Higson.
(a) cP is injective,
(b) cP is the asymptotic morphism associated to a deformation of
A to B,
and
00
,g
with a subgroup of
K.(B) / ~ K.(B).
Lemma 4 For any choice oft,,, as above, and fQr any x E K.(A),
00
References
[1] A. Connes and N. Higson, Deformations, morphismes asymptotiques et
K -theory bivariante, C. R. Acad. Sci. Paris, t. 310, Series I (1990) 101-106.
[2] M. Da.da.rlat and T. A. Loring, Deformations of topological spaces predicted by
E-theory, these proceedings.
[3] T. A. Loring, Deformations of nonorientable surfaces as torsion E-theory ele-
ments, C. R. Acad. Sci. Paris, t. 316, Serie. I (1993) 341-346.
On the "quantum disk"
and a "non-commutative circle"
Gabriel Nagy Alexandru Nica
Department of Mathematics Department of Mathematics
Kansas State University University of California
Manhattan, KS 66506 Berkeley, CA 94720
e-mail: nagy@math.ksu.edu e-mail: nica@cory.berkeley.edu
Abstract
Let Tq be the universal C*-algebra generated by an element z satisfying
the equation:
zz* = qz*z + (1- q)I,
where q E [-1,1] is a parameter. We show that, in contrast to Tq for
-1 < q < 1, which is known to be the Toeplitz algebra, 7-1 is a (stably)
finite C*-algebra, embeddedable into M2 ® C(D). We prove the continuity
of the field (Tq)-l~q~b by using a remarkable continuous field of states,
(4)q)-l~q~l. 4>-1 is a faithful trace-state of 7_ 1 . For q > 0, 4>q is the
restriction to Tq of the Haar measure on the quantum group S.,fiU(2).
The distribution (with respect to 4>q) of the real part of the generator z is
deformed from the semicircle law ~\..I'f='t2dt, at q = 0, to Itldt, at q = -1.
On the "quantum disk" 277
1 Introduction
Hence 7-1 is, in some sense, a "non-commutative circle". We will show here
that:
(1.3)
278 G. Nagy and A. Nica
1.2 Theorem Let E be the linear span of the cross-sections of the form:
with J E C([-I, I]) and m,n E N (and Zq the generator of Tq). Then the
completion of E makes (Tq)-l<q<l a continuous field of C*-algebras (in the
sense of [5], Chapter 10).
The point in the last theorem is the continuity at -1. The lower-semicontinuity
will follow from the fact that the states </>q form a continuous field, and have
faithful GNS representations; after that, the upper-semicontinuity will come out
via a universality argument (see [12], or [10] where a general treatment of this
sort of situation is done).
In order to give the definition ofthe state </>q, let us first recall some basic facts
about the C*-algebra Tq, -1 ~ q ~ 1. It is immediate that sp{ z;m z; I m, n :::: O}
is a dense unital *-subalgebra of Tq. There is a natural continuous action by
automorphisms, a, of the circle Ton Tq, determined by a,\(zq) = ).Zq,). E T.
The fixed-point subalgebra for a is Vq = sp{z;mz;' 1m:::: OJ, and there is a
faithful conditional expectation Eq : Tq -+ Vq obtained by integrating a (Le.
Eq(x) = iT a'\(x)d>.). For q f: 0, Vq is the unital C*-algebra generated by the
selfadjoint element aq = 1- Z;Zq of Tq, because, as it is easy to check:
(1.5)
On the "quantum disk" 279
[-1,1], if q = -1
Iq = { {qnJn~O}U{O}, ~fqE(-I,I)\{O} (1.6)
[0, 1), If q = 1
(see for instance Proposition 1 of [6] for -1 < q < 1, and Remark 2.2 below
for q = -1; the case q = 1 is obvious). The "quantum interval" Iq has an
appropriate "Lebesgue measure", which integrates J E C(Iq) as follows:
1 Iq
~I21J(t)dt,
I~ J(t)dt,
ifq=-1
J(t)dqt = { (I-JqJ)Lk=oJqJkJ(qk), ifqE(-I,l)\{O}
if q = 1
(1.7)
(for q f- ±l, IIq J(t) dqt is an infinite Riemann sum, "approximating" the nor-
malized Riemann integral on [0,1)' for q > 0, and on [q,I], for q < 0 - compare to
[1), p.l0-11). This gives a faithful positive functional on C(Iq), thus providing
a faithful state 1/Jq on Vq (by 1/Jq(J(aq)) = II q
Jdq, J E C(Iq)). The canonical
state <pq on Tq we have in mind is simply:
(1.8)
for q > 0, this is exactly the restriction to Tq of the Haar state of S,;qU(2). The
last formula also holds for q = 0, when we take 1/Jo ; Vo = clos sp{ z~m Zo J m ~
O} -> C to be determined by 1/Jo( z~m zo) = 0 for every m ~ 1 (<Po is thus the
remarkable state of the Toeplitz algebra uniquely determined by the fact that
<Po(z(jzo) = °-see [4]).
The properties of <Pq, -1::; q::; 1, we need in Theorem 1.2 are:
1.3 Proposition ro The states <Pq, -1 ::; q ::; 1, form a continuous field, in
the sense that for every cross-section T considered in Theorem 1.2, the function
q -> <pq(r(q)) is continuous on [-1,1].
2° The GNS representation of <pq is faithful for every q in [-1,1] (and actually
<pq itself is faithful for q f- 0).
1.4 Proposition We have a factorization of cf>-1 as cf>-1 o~, where ~ : 7-1 ->
that x 2 and y2 are in the center of 7-1 (for instance x 2 commutes with y because
it can be written as 1 _ y2).
Let us prove first that every irreducible *-representation IT : 7-1 -+ £(1l) of
7-1 is at most 2-dimensional. Indeed, since x2 is in the center, we must have
IT(x 2 ) = >.I for some 0 ~ A ~ 1. If, say, A = 1, then IT(y) = 0 and RanIT is the
unital C*-algebra generated by the selfadjoint unitary U = IT(x); this and the
irreducibility of IT imply dimIT = 1. The case A = 0 is similar. If 0 < A < 1,
then U = IT(x/v'X) and V = IT(y/v'f="'X) are selfadjoint unit aries and, clearly,
RanIT is the unital C*-algebra generated by the projections P = (U + 1)/2 and
Q = (V + 1)/2. It is well-known, however, that two projections can generate
a unital irreducible C*-algebra only on a space of dimension at most 2 (see for
instance [11], Section 3); hence dimIT ~ 2.
Now, let IT be a 2-dimensional irreducible *-representation. Then A =
IT(z) E £(C 2 ) satisfies:
A*A+AA* = 21. (2.1)
It is easy to check (by looking at the entries) that a 2 x 2-matrix with this
property is either of null trace or unitary. But A cannot be unitary (its spectral
projections would be invariant for IT); hence it is of null trace. Taking the
normalized trace Tr of (2.1), we get Tr(A*A) = 1.
Conjugating A E £(C 2 ) of the preceding paragraph by a unitary, such that
with f3 :f. 0 and 21AI2 + I/W = 2. We can actually assume f3 = J2(1-IAI2) (by
further conjugating B with an (
ifJ
eO ~ )
,8 E R, such that eifJ f3 is positive).
As a consequence, every 2-dimensional irreducible representation of 7-1 is uni-
tarily equivalent to one sending the generator z E 7-1 into a matrix as the one
appearing in (1.3).
There exists a unital *-homomorphism cfI : 7-1 -+ M2®C(D) such that
[cfI(Z)](A) is as in (1.3) for every A in D (because the matrix appearing in (1.3)
satisfies (2.1), and by universality). From the preceding paragraph it is clear
that composing cfI at the left with *-homomorphisms M2 ® C(D) -+ M2 which
evaluate at various A'S in the open disk D, we get representatives of all the classes
of equivalence of 2-dimensional irreducible representations of 7_ 1 • On the other
hand, it is also clear that composing cfI with evaluations at various A'8 in the
282 G. Nagy and A. Nica
A E T, let 0(A) be the class of the character of 7-1 sending z into A. Then 0
is a continuous map from D onto the spectrum 7-1 of 7_1. and it obviously
factors to a homeomorphism D/P = -A IIAI < 1} ~ 7_ 1 . QED
2.2 Remark Let z( = z_t} be the generator of 7_1. and define a-1 =
1- z:1L1. We mentioned in the Introduction (relation (1.6» that the spec-
trum of a_1 is [-1,1]. This follows immediately from the embedding \) : 7-1 -+
¢ (z.mzm) _ { 0, if q = 0
q q q - IIq(l- t)(l- ~t) ... (1- q';_1 t)dqt, if q # 0 (2.3)
The continuity of (2.3) on [-1,1] \ {O} follows immediately from the fact that
q IIq f(t)dqt is continuous on [-1,1] \ {O} for every polynomial f (indeed, if
-+
f(t) = t k and q # ±1, then IIq f(t)dqt is (1 - Iql)/(1 - Iqlqk), continuous and
On the "quantum disk" 283
converging to t f~l tkdt for q -+ -1 and to f~ tkdt for q -+ 1). In order to prove
the continuity at 0, we can compute the integral appearing in (2.3) explicitly:
h Iq
I 1
(1 - t)(1 - -t) ... (1 - - t ) d t
q qm-I q
=
E JqJk(I - qk)(1 -
00
(1 -Jql)
j=o
E E
00
(I-JqJ)JqJm (-I)IFI(JqJqlFl)jqllFlI,
j=O F~{1, ... ,m}
where IFJ is the cardinality of F ~ {I, ... ,m}, and JIFII is the sum of its
elements,
E (-I)lF1 qllFll 1
I-JqJqlFl'
F~{1, ... ,m}
Note that for every q E [-1,1] and every r E E, r(q) belongs to the dense *-
subalgebra ~ = sp{ z;m z; J m, n ~ O} of Tq, and conversely, for every q E [-1, 1]
and x E ~ there exists r E E such that r(q) = x.
It is important to mention at this point that, for every -1 :;; q :;; 1, the
elements (z;mz;)m,n~O spanning ~ are linearly independent. For q = 1 this
is obvious, and for -1 < q < 1 it follows from the well-known representation
of Tq sending Zq into a weighted shift (see for instance [16], Appendix A2, or
[6], Example 2). Let us also prove this assertion for q = -1. Remark first that
(z~T z~'t )m~O are linearly independent; this happens because z~T z~~.\ is a polyno-
mial of degree m in a_I (formula (1.5)), and because u(a-d = [-1,1] (Remark
284 G. Nagy and A. Nica
(with E-I : T-I - V-I the conditional expectation); hence Am,m+k = 0 for
every 0 ::::; k ::::; N, 0 ::::; m ::::; N - k. A similar argument shows that Am,n =0
when m > n, too.
Let us prove the lower semicontinuity of (2.4). For every q E [-1,1], the
faithfulness of the GNS representation of I/>q (Proposition 1.3) gives the norm
evaluation:
(see for instance [5], Section 2.4). Let us fix qo E [-1,1], TEE and £ > O. There
exists (by (2.5)) Yo E ~o such that
(2.6)
still holds (giving together with (2.5) that IIT(q)W > IIT(qo)W - i), for q in a
neighborhood of qo, Hence (2.4) is lower semicontinuous.
The upper semicontinuity of (2.4) comes out via a "universality" argument.
Let us fix qo, and define:
M
L Ifm,n(q)llIzqllm+n ~
m,n=O m,n=O
N
L IA m,n(q)12(m+n)/2.
m,n=O m,n=O
when m ~ n, and using (1.5), we immediately see that the state <1>-1 of 7-1 is
uniquely determined by:
1 if n = 0 and m is even
<I>-1(a:'\z::1) = { Om,+l'
otherwise
(2.9)
286 G. Nagy and A. Nica
with a_1 =I - z~1 L1. SO it will suffice to check that 4>-1 0 <l also satisfies (2.9).
This can be done by explicitly computing [<l(a~~.\z~1)](A) and then integrating
its trace after A E fi, which in turn can be done due to the relations:
The verification of (2.10) is immediate, and so is the fact that Tr[<l( a~:~.\ z~1)](A) ==
oon fi unless both m and n are even. In the latter case we have [<l(a~\z~1)](A) ==
An(1 - IAI4)m/2 I, hence:
"'_ (<l(a m zn ))
'f'1 -1 -1
= .!.7r if)
[ An(I_IAI4)m/2. vr=1Xf4
IAI2 dA =
2.6 Proof of Proposition 1.5 We shall use the description of 4>-1 given
by the previous proposition. We have (writing simply z instead of Lt):
and [<l(( Z+;{ )2)](A) == l+R;(>.2)I. It is clear that Tr[<l(( z.!{ )m)](A) == 0 (imply-
ing 4>-1(( z.!{ r) = 0 ) if m is odd. If m is even, m = 2k, we have:
4>-1 ((z+z*)m) = .!. [_ (I+Re(A 2))k. IAI2 dA =
2 7r in 2 vr=TXJ4
1 [ (I+Re()k 1
= ;;: if) 2 . 2F-l(j2
(where we performed the change of variable ( = A2, d( = 21AI 2dAj this is ob-
tained by summing up the changes of variables ( = A2 on the upper and lower
half-disks, with Jacobian 41A12)
= .!. [
7r if)
(1 + X)k . 2Jl - 1x
2 2 _ y2
dxdy
On the "quantum disk" 287
Also, it is not hard to see that for lEN: ul.i E Tq and Eq( u!,;) = 0, for i i- 0,
while:
ul
0.0
~(_I)kq(k+k2)/2q-k(l-k)[I]\I_a
= L.... k q
)(I-!a ) ... (I _ _
q q
I_ )ak
ql-k-1 a q q
k=O
belongs to Vq; [i) in the last relation is the q-binomial coefficient [klJ~·!klq"
(where, as usual, [i]q = l+q+ .. +qi-l, i 2:: 1, and [O]q! = 1, [j]q! = [I]q[2]q··· U]q
for j 2:: 1). Hence we have XI E Tq and Eq(XI ) = ub.o, lEN, which can be
rewritten as:
Eq ( PI ( - +-
Zq -
2
z;)) = (2.11)
I
[I] 2
"L....(-I) kq(l;+k 2 )/2 q- k(1 - k) k (1- aq )(l- 1 1
qa q ) •• ·(1- ql-k-1k
aq)aq , lEN.
°<
10=0
We have obtained (2.11) only for q < 1, but this equation is true for
-1 < q < 0, too. Indeed, it is immediately seen by direct computation that the
left side of (2.11) is of the form:
where Ro.I, . .. , RI.I are rational functions on the punctured plane. On the other
hand, it is of course sufficient to prove the equality of the two sides of (2.11) only
288 G. Nagy and A. Nica
in thi, ,,",,,,,,,.tation n, b,rom" tb, di",.nal op,,,t.. ( ' q q' ... ), and
J 2:( _llq(k+k )/2 q-k(l-k) fir 1, (l_t)(I __qt ) .. . (1- ql-:-l )tk dqt.
I
PI d/-Lq = 2
k=O Iq
(2.12)
Of course, for q > 0, (2.12) is 0 for every 1 E N \ {O}, because of the "orthog-
onality relations for the representations of S,;qU(2)" (more precisely, because
ub,o and ug,o are orthogonal in the scalar product given by the Haar state of
S,;qU(2)); this explains the stability of the semicircle law in this case. For
q < 0, (2.12) is not zero, and allows a comparatively fast computation of the
even moments 0 f /-Lq: ft 2d/-Lq (t) = 4(1+q2)'
~ ft 4 d/-Lq ()
t = 8(1+q2)(1+q
(1-q)4(1+q! )' ••. The
odd moments of /-Lq are all 0, since obviously Eq ({(Zq + z;)/2)m) = 0 for m
odd.
References
[1] G.E. Andrews. q-series: their development and application in analysis, num-
ber theory, combinatorics, physics and computer algebra, Regional confer-
ence series in mathematics No.66, 1986 (published by the American Math.
Society).
On the "quantum disk" 289
[2] L.C. Biedenharn. The quantum group SUq(2) and a q-analogue of the boson
operators, Journ. of Phys. A, 22(1989), L873-878.
[7] S. Klimek and A. Lesniewski. Quantum Riemann surfaces I. The unit disk,
preprint 1991.
[9] G. Nagy. On the Haar measure of the quantum SU(N) group, to appear in
Commun. Math. Phys.
[11] G.K. Pedersen. Measure theory for C*-algebras II, Math. Scand. 22(1968),
63-74.
[13] A. L.-J. Sheu. Quantization of the Poisson SU(2) and its Poisson homoge-
nous space - the 2-sphere, Commun. Math. Phys. 135(1991),217-232.
JOHN C. QUIGG
INTRODUCTION
Let G be a locally compact group, with (full) group CO-algebra C*(G), and
let UG: G --+ M (C*( G)) denote the canonical homomorphism. As a bounded
strictly continuous function from G to M(C*(G)), UG may be regarded as a
unitary element of M(Co(G) ® C*(G)), and we write WG for UG when we have
this interpretation in mind. Although it does not matter in this case, we will
give all C*-tensor products the minimal CO-tensor norm. Recall that if A and
Bare CO-algebras a homomorphism 7r: A --> M(B) is called nondegenerate if
7r(e;) --> 1 strictly for some (hence every) bounded approximate identity {e;}
for A. The homomorphism s ~ UG(s) I)$) UG(s) determines a nondegenerate
homomorphism 6G: C*(G) --> M(C*(G) I)$) C*(G» which is a comultiplication,
i.e., (6G I)$) t) 0 6G = (t I)$) 6G) o6G.
Definition 1.1. A coaction of G on A is an injective nondegenerate homomor-
phism 6: A --> M(A I)$) C*(G» such that
(i) 6(A)(C I)$) C*(G» c A I)$) C*(G)j
(ii) (6 I)$) t) 06= (t I)$) 6G ) 0 6.
map Adja 0 t(wa)(· 01) defines a coaction on jA(A) which is conjugate to {j.
So, our strategy should be to try to get A in the form jA(A), and then (jA,ja)
will be (t, p,). A handle on the problem is afforded by the observation that the
dual action 6 is trivial on jA(A). This leads us to the strategy of getting A by
averaging over G-orbits. Naively, we would like an "averaging map" E: B -> A
given by E(b) = Jaas(b)ds. A substantial amount of analysis is required by
the fact that E is actually unbounded and densely defined. It turns out that
this all works, however, and we let A be the C*-algebra generated by the range
of E. Then we finish by verifying the following facts:
(1) AdJ-L 0 t(wa)(· 01) gives a coaction {j of G on A;
(2) (t,J-L) is a covariant representation of (A,G,{j) in M(B);
(3) B = C*(AJ-L(Co(G)));
(4) every covariant representation of (A,G,{j) factors through (t,J-L).
Of course, the heart of the matter is the structure of the averaging map E.
We dualize the method of Landstad [Lan2] and follow a construction of Olesen
and Pedersen [OP1, Section 2) and [OP2, note added in proo~: the set
The connection between the coaction {j and the homomorphism J-L is:
Lemma 2.2. Define {j: B -> M(B 0 C*(G)) by {j(b) = AdJ-L 0 t(wa)(b 01).
Then {j is a coaction ofG on B, and for all a E A and /,g E Cc(G) we have
Dualizing Green's theory of twisted actions, Phillips and Raeburn [PR) con-
structed a theory of twisted coactions and twisted co crossed products. Using
[Qui2) and Echterhoff's characterization [Ech, Theorem) of induced C*-algebras,
Raeburn and the author [QR, Theorem 5.2) were able to give a twisted version
of Landstad duality for coactions: twisted cocrossed products are characterized
by the presence of an action of a normal subgroup N of G and an N -equivariant
homomorphism of Co(G).
It would be interesting to dualize this to give a characterization of Green's
twisted crossed products. Also, it is tempting to imagine that some sort of
recognizable structure must be present if one has an action of G and a G-
equivariant homomorphism of Co(G / N).
Landstad duality 295
REFERENCES
O. Introduction
In this paper, we describe and compare two different C*-algebraic de-
formation quantizations (in RiefFel's sense [Rl, R2, R3]) ofthe 'multiplica-
tive' Poisson structure on the Lie group SU(2), which are 'compatible' with
Woronowicz's C*-algebraic quantization [Wol, W02] ofthegroup structure
of SU(2) by pseudogroups (or quantum groups). D.ue to the space limita-
tion, in this paper we only describe the results and leave their proof to a
separate paper [Sh3].
In [Shl], it is shown that there exists a deformation quantization of
the multiplicative Poisson structure on SU(2) which is compatible with
Woronowicz's deformation quantization of SU(2) by the pseudogroups
C(S"U(2)), in the sense that the C*-algebras obtained in these two pro-
cesses are isomorphic.
However, it is highly desirable to have a C*-algebraic deformation of
the Poisson SU(2) which, when restricted to the two prominent generators
Q, 'Y of C(SU(2)), satisfies Woronowicz's commutation relations on the
1. Poisson SU(2)
A Poisson manifold [Li, We] is a smooth manifold M endowed with a
Lie bracket structure
and hence HI = < d/,7r >. Integrating "all" Hamiltonian vector fields
on a Poisson manifold, we get a singular foliation, called the symplectic
foliation, such that 7r restricted to each leaf is non-singular everywhere and
hence defines a symplectic form on that leaf [We]. A Poisson structure on
a Lie group G is multiplicative [LuWe], if the multiplication operation
m:GxG-+G
where T is the unit circle in the complex plane C. The singular folia-
tion of Poisson SU(2) by symplectic leaves consists of a circle family of
the canonical symplectic C and a circle U(l) of O-dimensional symplectic
298 A. l-L. Sheu
leaves, to which the complex planes C are glued together along their circle
boundaries at infinity. More precisely, there is a smooth diffeomorphism
4> : T x C -+ SU(2)\U(I)
of SU(2) and
lim 4>Ara) = [ao
r-+oo ~]
a E U(l).
2. Quantum SU(2)
In [Wol], Woronowicz introduced a family of Hopf C*-algebras
C(SI'U(2» with -1 < I' ~ 1 generated by a, 'Yas a deformation of the
classical Hopf algebra of continuous functions on the Lie group SU(2), with
C(SlU(2» ~ C(SU(2».
Let v be the Gaussian measure on C, i.e.
where 0' is the symbol map sending T", to tPoo and x:; is the algebra of all
compact operators on H2(C).
From the following structure theorem of C(SI'U(2», we can view
C(SI'U(2» as a C*-algebra of the above symplectic foliation on SU(2).
A ~ {1r,.(A)},.E[-l,l].
p. ~ 111r,.(A)1I
continuous in p. E (-1,1] for any A E A.
Since our goal is to find a deformation quantization of SU(2), we are
only interested in the behavior of C(S,.U(2» for p. close to 1, and so we
shall fix an f > 0 and add v ~ f to the commutation relations. The theorem
holds for this with [-1,1] replaced by [f,I]. Note that the generator v is
now invertible in A.
5. Weyl transformation
Quantization of Poisson SU(2) 301
W h : C(SU(2))OO ~ C(S"U(2»OO
with p. = e- h / 2 as follows. For any regular function Ion SU(2),
Wh(f) = L iii.1l",.(wik)'
n,i,k
where
hi. = 111l"1 (Wik) 11;2 isU(2) 11l"1(wik)
and 1= En,i,k .hk1l"1 (Wik) is the Fourier expansion of I.
Theorem 4 rD, WoIJ. The Weyl transformation
W h : C(SU(2))OO __ C(SI'U(2))OO
Remark. (1) The author learned recently that A. Bauval had also
obtained similar results [Ba) , using a different method. (2) The above
theorem still holds when we replace wile's by u?le's in defining the Weyl
transformations.
This result strengthens the claim that the group structure and the
Poisson structure on SU(2) are not only compatible on the classical level,
but also compatible on the quantum level, since now they are not only
compatible globally (i.e. as algebras) but also locally (Le. for individual
functions on SU(2)).
We now compare the above two deformation quantizations of SU(2).
The deformation W h is obtained by a 'leaf-wise' quantization through
pseudo-differential operators (with respect to the foliation of SU(2) by
symplectic leaves) and hence is 'leaf-preserving', in the sense that if f = g
on a symplectic leaf L of SU(2) then 'll"L(Wh(J)) = 'll"L(Wh(g)) where 'll"L is
the irreducible representation of the C*-algebra C(SI'U(2)) naturally as-
sociated with the leaf L [VSo). This quantization gives some kind of a
singular foliation C*-algebra and fits well with the more general theory of
external Rd-actions developed in [R5). But it does not seem to work well
with the internal SU(2)-action and so its relation with the comultiplica-
tion is not clear. On the other hand, the deformation Wh (using either
wile or uile) is compatible with Woronowicz's quantization of group struc-
ture, and with the internal SU(2)-action and hence the comultiplication
on C(SI'U(2)). But it applies to a smaller algebra (consisting of regular
functions) than the algebra of smooth functions quantized by Wh and it
is not 'leaf-preserving'. In fact, we can actually find explicitly a regular
function f on SU(2) vanishing on a specific symplectic leaf L such that
'll"L(Wh(J)) =f 0 for all h =f O.
for all a, b, c E P. But this definition does not need the commuta~ivity of
P in order to make sense. In fact, a (noncommutative) algebra A endowed
with the commutator bracket [a, b] = ab - ba for a, b E A is an example.
References
[Ba] A. Bauval, Deformation du groupe de Lie-Poisson SU(2),
preprint.
Beatriz Abadie!
§0 Preliminaries.
for all k,p E Z, and (x,y) E R x T (Do is the image under the
embedding J mentioned above of the sub algebra denoted by CP in
the proof of [Rf3, Thm.5.4]).
There is a faithful trace ([Rf3]) TD on D~v defined for C) E Do,
by
TD(C) = [ C)(x, y, O)dxdy.
JT 2
Now ([Ab2]), the algebra D~v is strong-Morita equivalent to the gen-
eralized fixed-point algebra E~v of the crossed product Co(Rx T) x uZ
under the action 'Y of Z, where O"k(X,y) = (x - k,y) and
and </,g>E(x,y,k)=
= L e(-ckp(y - pv»/(x - 2pp.,y - 2pv)g(x - 2pl' + k,y:- 2pv),
peZ
"Vector bundles" over quantum Heisenberg manifolds 309
§1 Projective modules.
i=m
P = L < Zi, Yi > E .
i=l
On the other hand ([Rfl, Prop. 2.2]), the trace TD on D~/J induces
a trace TE on E~/J via
Now,
1) I(x, y)/(x + 1, y) = 0
2) I(x, y)[h(x + 1, y) + h(x, y) - 1] = 0
3) I/(x, y)12 + I/(x - 1, y)12 = h(x, y)(1 - h(x, y)).
We also want P to be in Eo, so we require
1)' F(t)F(t - () = 0
2)' F(t)[1 - H(t) - H(t - ()] = 0
3)' H(t)[l- H(t)] = IF(t)12 + IF(t + ()1 2
"Vector bundles" over quantum Heisenberg manifolds 311
4)'
5)' °IT: :;
H = (
H(t) :::; 1 for any t E T and F vanishes on [1/2,1].
Let us assume that v E [0,1/2]' I' > 1 and let F and H be functions
satisfying 1)'-5)' for ( = v/I'.
Translation of t by ( in equations 1)'-5)' plays the same role as
translation of z by 1 in equations 1)-5), which suggests taking (z as
the variable t. However, the variable y will play an important role
in getting I and h to satisfy 4) and 5), for which we need to take
t = 1/2 + y - (z.
So let
h(z, y) = H(I/2 +y- (z),
so h is in C(R x T), and it is real-valued and bounded.
Also,
so h satisfies 5).
Now, for (z,y) E [0,21-'] x [0,1]' set
Q.E.D.
= (UnJ~O(x,y,p).
Also,
Q.E.D.
= (II~e)(-x,-y,p) = (UII~e)(x,y,p).
Finally, J preserves the trace:
References
Centro de Matematica
Facultad de Ciencias
Eduardo Acevedo 1139
CP 11200
Montevideo-Uruguay.
e-mail: abadie@cmat.edu.uy
Deformations of topological spaces
predicted by E- theory
Marius Dadarlat *
Department of Mathematics
University of Maryland
College Park, MD 20742
Terry A. Loring t
Department of Mathematics and Statistics
University of New Mexico
Albuquerque, NM 87131
1 Introduction
Let X be a locally compact space. By a deformation of X we mean a
continuous field {At It E [0, I]} of C*-algebras with Ao ~ Co(X), and
liminfllcpt{a)1I > 0
Set at(h) =1- D t and at(N) = JD t - DiS. Since the required relations
hold asymptotically, this determines at. The fact that this induces an iso-
morphism on Ko follows from the calculation, in [2] or [8], of the spectrum
of
See [10] for more details and a modification of this example that produces
deformations of Rp2 and the Klein bottle.
Deformations of topological spaces 319
2 Unsuspended E-theory
Let A and B be C·-algebras. For convenience, we shall assume that A and
B are separable and nuclear. We will use the notation
KK(A,B) ~ E(A,B)
~ [[SA 0 K, SB 0 K]]
'" [[S2 A 0 K, S2 B 0 K]].
is an isomorphism.
The proof of this will be given in [6]. The inverse map may be described
as follows. Let
3 Matricial torsion
Consider the three-dimensional CW complex obtained by attaching, with
degree two, the boundary of a three-cell B3 to a two-sphere S2. Remove the
base-point (which sits in the copy of S2) and call the result X. That is,
where ( : 8B3 --t S2 has degree 2. Thus Ko(Co(X)) = 0 and Kl(CO(X)) S;!
Z/2.
Let B denote the non-unital dimension-drop interval, that is,
We first must be more explicit about the attaching map and the asso-
ciated *-homomorphism 8 : CO(R2) ---; CO(R2). Using the generators and
relations of Example 3, we determine 8 by setting
8(h) f(h),
8(N) 91(h)N + 92(h)N*
112 1
112
~ 1
which satisfy 9192 = ° and f(t) = f(t)2 +( (t)2 + 92(t)Z)(t - t Z).
We will also need L : /1..: ---; /1..: ® M2 gi :n by L(T) = T ® I. With the
additional notation of 01 indicating evalua .. on at 1, we have two pull-back
diagrams:
Co(X)
Co(O, 1] ® CO(R2)
/ \C (R2)
O CO(O, 1] ® A.: ® Mz
o~ ~ 01~
CO(R2)
322 M. Dadarlat and T. A. Loring
We defer the proof until after we see how the lemma is used.
Consider the following commutative diagram (commuting exactly for
each t):
Here "It is the unique solution to £O"It = CPto(}. Since cP induces an isomorphism
on K-theory, "I must as well.
Since these maps are not *-homomorphisms we cannot immediately in-
voke the pull-back property. However, simply restricting idco(o,lj ® CPt pro-
duces"pt : Co(X) --+ B®K.:. Now considering the K-theory of the commuting
diagram
Co(O, 1) ® CO(R2)
t
Co(X)
it is easy to see that "p induces an isomorphism on K-theory.
h
were, lor J• -- 1, ... , 2 ,at}
L " · -- J·/2,,+1 an d R. --
/oJ} J. at} - 2
atj.
IIA-A*II :5 f
f(A) E Mk I8l I
gl(A)B + g2(A)B* E Mk I8l I
It may be checked that H.. and N.. satisfy (1), for some fn ~ 0, with f .. --t 0
as n --t 00.
324 M. Dlldarlat and T. A. Loring
1/2
1/2
1/2
1/2
1/2
1/2
0 1/2
1/2 0
1/2 0
N,,=
0 1/2
o '.
'.1/2
1/2 0
A path of unit aries, multiplied by 1/2, in the lower-right-hand corner
will create a path satisfying (1) from H", Nn to
1/2 o 1/2
1/2 1/2 0
, .
1/2 1/2 0
1/2 o 1/2
1/2 1/2 0
1/2 1/2 0
o o
f3I 0 o
so that
Let
1/2 o 1/2
1/2 1/2 0
, En =
1/2 1/2 0
so that
fIn =
[~
-n An1,N = [~-n1.
1-
n
iJ~
By Berg's technique, [1, 11], there exists a unitary W E M 2 n+l such that,
for some constant C, independent of n,
and (by keeping W trivial except for vectors in a "segment" avoiding the
"last" basis vector in each copy of C 2 " )
326 M. Diidarlat and T. A. Loring
An An
An An
W W*~
I-An I-An
I-An I-An
and
Bn
[ ]
En Bn+!
W W·~
On B~ On+! B~+!
0 E~
Notice that the two matrices on the left satisfy (1) By taking a path of
unitaries from W to I, we get paths satisfying (1) from H" (fdln , Nn ffi fin to
this pair. Linear interpolation from this pair to the pair on the right-hand
side gives a path satisfying (1), perhaps after increasing En. Finally, it is a
simple matter to slide the scalars which are on the diagonal of
A"
A"
to connect the right-hand pair to H"+1> Nn+!. We may conclude that (IPt)
exists with the properties specified in the lemma and IPn(h) = H" and
IPn(N) = N n. 0
References
[1] I. D. Berg, On operators which almost commute with the shift, J. Operator
Theory, 11 (1984) 365-377.
[2] M.-D. Choi, Almost commuting matrices need not be nearly commuting, Proc.
Amer. Math. Soc., 102 (1988),529-533.
Defonnations of topological spaces 327
Paul S. Muhly
Department of Mathematics
University of Iowa
Iowa City, IA 52242
Chaoxin Qiu
Department of Mathematics
University of Nevada at Reno
Reno, NY 89557
Jingbo Xia
Department of Mathematics
State University of New York
Baffalo, NY
ABSTRACf
1. Iptroduction
for all x E A. We follow [Ped] for the basic facts, notatIon and
function. The two notions are related, but we shall not refer to the
when x is fixed by n.
elements in these algebras. (See [Da], [Pi 1,2] and [Qi].) Moreover,
In the next section, we list some basic facts that we shall use
of its limitations.
2. Preliminaries
use:
In L1(R).
using duality techniques (see [Ar] and [Ped]), one may profitably
shall use. In it, HOO(R) denotes the usual space of (boundary value
conflicts with the more common use ofthe term "ergodic", we shall
not necessary and that his argument works for non unital cases.
D
We conclude this section with a lemma due to Eberlein
T
every <p E A * as T -700 ,then 2~ -1 al(x) dt converges to 0
3. Uniform Avera~im:
theorem.
Proposition 2.5. We will prove the implications: (4)::::) (2) ::::) (3)
L2(R)-nonn as y ~oo.
d2
It is well-known that --2-fl\(A) = (-41t 2t2 f(t»I\(A) for
dA
any feel.00 (R). Thus
(1 +41t 2t2f(t»I\(A)
d2
= fl\(A) - --fl\(A).
dA2
Notice that since supp( fl\) C [c, d] ~ (0,00), it is clear now that
y~oo.
Suppose now that we are given x = x' + x" + x'" with x'
e A(-oo, 0), x" E Afl, x'" E A(O, 00). By Lemma 2.3, we see that
contradiction.
338 P. S. Muhly, C. Qiu, and J. Xia
J
T
A and t E R. Since 2~ al(x)dt ~ <1>(x) in nonn as T ~co,
we have
$(x) = $ ( 2T
1
J T
al(x) dt ) ~ $(<1>(x».
J
T
2~ alex) dt ~0 in nonn if there are positive numbers a and
we see that 2~ J T
'tl(f) dt ~0 (as T ~co) in the cr(LCO(R),
-1 o.t(x) dt )
1 T
<I> (zT ---7 0 (as T ---7 00 ) for all <I> E A*. Fix E >
o
I ;0 f (2~]$(a1_s(x»dt) ds I
-0
f
: I (2~]f(S-I)dt) i;(s)T](s)-dt I < E .
R
It follows that
o
< I 1-
20
f (2~ r -1-
<I>(o.s_t(x»dt) ds I
-0
o
+ I 1-
20
r
f (2~-1 CPt a_1(x)("o(x) - as(x)))dt) ds
-0
< E + II f 11/1 x II II x - o.s(x) liSE + II <I> 1111 a /I E .
340 P. S. Muhly, C. Qiu, and J. Xia
E A*. Thus,
1
~ (2T J~(x)
T
dt) ~0 (as T ~oo) for all ~E A*.
conclude that
(lilT) JT
at(x) dt ~ <I>(x)
D
On the basis of Theorem 3.1, we shall refer to (A,
(atl tE R) or simply to A or {~}tE R as uniformly avera~in~ if
[LM] or [Jo]) and can be proved on the basis of Theorem 3.1, once
one recognizes that the kernel of <1> is A(O, 00), which is an ideal in
following theorem.
(i=O,I).
UHF algebras.
if t =0
F(a, t) ={ : * (l ~ y if t < 1 where y = tan(t1t!2)
<1>(a) if t =1
We will prove that F has the following properties:
342 P. S. Muhly, C. Qiu, and J. Xia
[0,1]; and
(1) is trivial.
follow from part 2 of Theorem 3.1 when we prove that each F(., t),
for any a and b in HOO(a). Given a <\> E A*, we notice that the
dynamical (LOO(R 2), R2, 't 2), with respect to the subsemigroup
Uniform averaging and K-theory 343
R
Jf(t,t)J.1 (t)dt = Jf(t,s) J.1 (t)J.1 (s) dt ds.
y
RxR
y y (**)
show (**) for the functions that can be written as f(t, s) = get) h(s)
with g, h in HOO(R). As the measure ~dt is multiplicative on
HOO(R), we have
=
RxR
Jg(t)h(s) J.1 (tW (s) dt ds.
y y
5 Examples
344 P. S. Muhly. C. Qiu. and J. Xia
C!> S 1, such that c!>(x) =0, x S -1, and C!>(x) = 1, x ~ 1. (The Cayley
f
the principal value integral
1
'I'(t) = tJ,lim0 -It1 s - -)ds
c!>(s) ( -
1+s2
~O.
t-s
IIl-sll~E
Unifonn averaging and K-theory 345
integral l'-t
1t
f <» (s) ( 1
(t-s)(1'-s)
) ds. The function <» + i", extends
HOO(a).
set of all f E C*(G) such that sPa(f) ~ (0, 00) is the closure of
require.
REFERENCES
O. INTRODUCTION
The theory of boundary value problems for analytic functions with bound-
ary conditions that contain derivatives, complex conjugation and shift (trans-
lation) of the argument is a well-developed field in the modern function the-
ory. The exposition of the history of the subject can be found in classical
books [1,7,19]; the survey [81 contains recent references.
In the simplest case a problem mentioned above can be formulated as
follows. Find a piecewise analytic function iI1 by the boundary condition
(0.1) a(t)t/I(a(t)) + b(t)t/I(a(t)) + e(t)4>(f3(t)) + d(t)4>(f3(t)) = h(t),
on the contour L that separates the complex plain C into the domains 6
and 0 = C \ (6 U L). Here 4>(t) and t/I(t) are limit values of the function
iI1(z) as z -+ t when z E 6 and z E 0 correspondingly, bar means complex
conjugation, a, b, e, d are given coefficients, h is a known function from some
functional space F of functions on L (say, from Lp(L)), and shifts a and
f3 are diffeomorphisms of L onto itself. One of possible generalizations of
(0.1) is the boundary value problem with boundary condition that contains
derivatives:
L {a/l(t)t/lC/ll(a(t)) + b/l(t)t/lC/ll(a(t))+
m
(0.2) /l=0
e/l(t)4>C/ll(f3(t)) + d/l(t)4>C/ll(f3(t)) } = h(t).
1991 Mathematics Subject Classification. Primary 30E25, 47G20; Secondary 45E05,
47A53.
Key words and phrases. Boundary value problems, integro-differential operators, shifts,
Fredholm operators, index, Hunt-Muckenhoupt-Wheeden weights.
The third author was supported in part by NSF Grant #9101143
Boundary value problems 351
The main goal in the theory of boundary value problems like these is to
obtain the conditions of Fredholmity and calculate index of the problem in
terms of its coefficients. Let us recall that (0.1) is called Fredholm if the set
H of right-hand parts such that problem is solvable forms a closed subspace
in F, and dimension [ of the set of solutions of homogeneous problem and
co dimension [' of H in F are finite. Then index K. of the problem is defined
as K. = [- I'.
Let us stress that the conditions of the Fredholmity of (0.1) and (0.2)
depend on the fact whether a and f3 preserve or reverse the orientation of
the contour, which domain contains infinity, whether domains under consid-
erations are multi connected, etc.
The boundary value problems (0.1) and (0.2) were generalized in several
different directions. Let us note first of all that t:,. and 0 can belong to the
different copies of the plain. In this case a (corresp. f3) will map L onto
the boundary of 0 (corresp. t:,.). Moreover, t:,. and 0 can be multi connected
domains, infinity can belong to anyone of them. And, finally, shifts can
map some components of the boundaries of t:,. and 0 preserving, and others
- reversing the orientation.
One of the goals of our paper is to consider the boundary value problems
of the type mentioned above in the most general setting, that contains all
listed difficulties. Let us formulate the setting.
Let r = {r n}:;'=1 and I = hm}~=1 be systems of compound Lya-
in km
punov's contours such that r n = U r nj and 1m = U Imk are boundaries
j=1 k=1
of domains t:,.n and Om, which can be bounded or unbounded. Let also
ir
L = {L r }~=1' where Lr = U Lri, r = 1, ... ,R, be a system of Lyapunov's
i=1
N M R
contours, and q = L: jn = L: km = L: ir'
n=1 m=1 r=1
Let us introduce a mapping (shift) a transforming curves from L onto
curves from I, and a shift f3, transforming curves from L onto curves from
r. More precisely, let a(Lri) = Imk, f3(Lri) = rnj, where (m,k) = &(r,i),
(n,j) = ~(r, i), with & and ~ being bijections of R = {(r, i) : i = 1, ... ,i r ,
r = 1, ... ,R} onto M = {(m,k) : k = I, ... ,km' m = I, ... ,M} and
}If = {(n,j) : j = 1, ... ,jn, n = 1, ... ,N} correspondingly. It is supposed
in the sequel that a and f3 have nonzero continuous derivatives on all the
curves L ri , preserve orientation of some of them (forward shifts), and change
orientation of others (backward shifts). Finally, let us consider the following
boundary value problem:
1-'=0
(0.3)
L
Vn
Here superscripts (Il) or (v) mean differentiation, bar - means complex con-
jugation, Ilm, Vn E IN, aI" bp , ell, d ll , h are given, and .,pm, r/>n are unknown
functions.
This problem represents a natural generalization of (0.1), (0.2), and other
boundary value problems considered in [1], [5-7],[14-15], [18-19]. In fact, in
the simplest case N = M = R = 1 and Lr = r n = 'Ym the problem (0.3)
reduces to the differential boundary value problem (0.2) with a shift and
complex conjugation, for a pair of functions analytic on a multiply connected
domain. Chapter 2 of the classical monograph [19] is devoted to the last
problem, and a generalization of this simplest problem to the case of two
multiply connected domains is a subject of the dissertation [14]. The case
of several simply connected domains (N = M > 1, R = 1, in = k m = 1)
was considered in [181. Finally, the case when boundaries of several multiply
connected domains were mapped onto a boundary of one multiply connected
domain (N = 1, M > 1, Lr = r n), was considered in a series of papers
[5-61. Such attention to those types of problems is justified, of course, by
their importance for applications (see, for example, [19, Chapter 3)).
The second point of our attention is related to the choice of the space
F. The operator approach, developed in [9-13,15]' allows one to reduce a
problem of (0.3) type to a singular integral operator with Cauchy kernel
and 2 x 2 matrix coefficients as far as Fredholm criteria and index formulaes
are concerned (see Theorems 1.1 and 1.2 below for exact statements). That
is why it seems natural to choose as F the space where these operators
are bounded. One of the possible choices is a weighted space Lp. It is
well known [4] that the singular integral operator is bounded in the space
Lp(L,p) = {J:pf E Lp(L)} if and only if p E Ap, that is, the weight p
satisfies the famous Hunt-Muckenhoupt-Wheeden condition
(0.4) s~p I~I (i Ip(t)/P Idtl) IIp (i Ip(t)l-q Idtl) 1/q < 00
Here I are arbitrary arcs of Lj III stands for the length of I. In the present
paper we consider boundary value problems in Lp with arbitrary weights p
satisfying (0.4).
And, finally, the third moment is the appropriate choice of the classes
of coefficients. This choice is subordinated to the availability of results on
Fredholm theory of singular integral operators with matrix coefficients from
the class considered. For piecewise conitnuous coefficients and spaces Lp with
power weights pet) = n!l It-tilPj the corresponding results go back to the
classical works of I. Gohberg and N. Krupnik [3]. Recently these results
were generalized [171 to the case of arbitrary weights p E Ap. The Fredholm
criteria and index formula in this case still have transparent geometrical
sense (see Theorem 1.3 below). That is why in the present paper we make
a reduction of the boundary value problem to the singular integral operator
for arbitrary bounded coefficients, and then give explicit formulas for the
piece-wise continuous case.
Boundary value problems 353
1. PRELIMINARY RESULTS
We will consider a differential boundary value problem (0.3) in Sobolev
spaces W~ = W~(L, p) with a weight p satisfying (0.4). It means that the
R
right side in (0.3) is chosen in a space Lp(L, p) = EO Lp(Lr. p), and un-
r=l
known functions tPn and ,pm are searched for in classes W~"n)+ (r, poP) =
N M
EO W~"n)+(r n, poP) and W~l'm)+(-y, poa) = EO W~l'm)+(-ym, poa), respec-
n=l m=l
R
tively. Coefficients of (0.3) are arbitrary functions in Loo(L) = EO Loo(Lr).
r=l
Let us denote by.No and Mo sets of such nand m, n = 1, ... , N, m =
1, ... , M that domains Don and Om correspondingly do not contain ooj a
number of such domains we'll denote by No and Mo.
The following result allows one to consider a problem
K.D = K. + 4 ( L
mEMo
Jlm + L
nENo
lin) - 2 (f
m=l
k m Ilm + t
n=l
in lin) .
Theorem 1.1 follows directly from the fact that the differentiation operator
D is a compact operator (see [16]) from W~, 1> 1, into Lp. Moreover, D' is a
Fredholm operator from the space W~+ of Sobolev functions having analytic
continuations into the interior domain V, to the space Lt of Lp-functions
having such continuations. If this domain is 8-connected then (see [13]) the
index of D' equals -281 when 00 E V, and (4 - 28)/ otherwise.
An operator Tw corresponding to the problem (1.1) acts from the direct
+
sum Lt('Y,p) Lt(r,p) into Lp(L,p), where
M
Lt('Y,p) = 'L 0
Lt('Ym,p), Lt(r,p) =
m=l
(1.3)
n=l r=l
1 index in this paper is considered with regard to the field of real numbers
354 D. Kurtz, Yu. Latushkin, and 1. Spitkovsky
Pmk W,;l ] +. +
ITri= [ PnjWp-1C : Lp(Lr;)-tLp(-rmk)+Lp(fnj)
(1.5)
and all the operators K r are Fredholm, r = 1, ... ,R. If these conditions are
satisfied, then an index of(1.1) is given by the following formula:
1 R
K, = 2: E IndK r + 2(No + Mo - q).
r=l
Note that operators Kr (unlike (1.1)) do not contain any shifts or con-
jugations. The theory of singular integral operators Kr is well-understood.
Many results are available to compute explicitly their Fredholm conditions
and index.
The detailed proofs of Theorems 1.1 and 1.2 in case of unweighted spaces
Lp can be found in [13].
Let us consider now the situation when a, b, e, d are piecewise continuous
functions. According to Theorem 1.2, to calculate Fredholm conditions and
index formula for (0.3) it sufficies to obtain them for a 2 x 2 matrix singular
integral operator P+GQ with a matrix coefficient G given by (1.5) on a space
L; with a weight satisfying the Hunt-Muckenhoupt-Wheeden condition.
Let us cite a result from [17] on Fredholm properties and index formula
for singular integral operators on the space L;(f, p) with a weight p E Ap
For such p and an arbitrary T E r put
IndKG
1 (m
= 27f ~ {argdetGLErj + f,;t;arg
m n
Ak(Tj)
)
-I,
where I is the number of summands arg Ak( Tj), j = 1, ... ,m, k = 1, ... ,n
such that arg Ak( Tj) > v+( Tj).
356 D. Kurtz, Yu. Latushkin, and I. Spitkovsky
G = ~ [~ ~y]
satisfy relations (2.1). Then A1,2 = fz!T~ (R ±~. where
(2.2) R= v_u++u_v++2Re(y_y+)
2Iz+z-1
Proof. One can verify directly that
(2.5)
Proof· It follows from (2.4) that arg >'1,2 ~ [v_, v+] iff one of conditions
Here the first column indicates location of v± - 0, and the first row indicates
the location of O. "-" means that corresponding combination of locations
358 D. Kurtz, Yu. Latushkin, and I. Spitkovsky
does not occur. For example, if 0 E [0, 1]), then 0 -1] < 0 < V_, and therefore
V± - 0 1. (-27r + TJ, -TJ)·
To illustrate how this table was obtained, let's verify, for example, that
n = 1 for 0 E [TJ, 27r - TJ) and V± - 0 E (-TJ, TJ)· Indeed, -TJ < V± - 0 < TJ
implies that 0 - 1'/ < V+ < 0 + TJ, and the result desired follows from (2.4).
All the other cases are treated the same way.
If conditions (2.5) are fulfilled, then a number
1, Iv± - 51 < TJ
(2.9) 1 +sgn(o - v±), Iv± - 51 < 27r -
1'/ < 1'/
1 + 2sgn(o - v±), 27r - TJ < 11J± - 51 < 27r.
is well defined.
Lemma 2.3. If the conditions of Lemma 2.2 are met, then
The desired relation follows now from the table for n and the definition (2.9)
ofm. 0
Now we are ready to state the Fredholm criterion and index formula for
problems (0.3).
Let the coefficients (1.2) of higher derivatives in (0.3) be piecewise con-
tinuous on L functions, let {Tj}jEl be all their discontinuity points, and let
{Lj}jEl be the arcs into which L is divided by Tj. Denote by v± = V±(Tj)
the numbers in [0, 27r) related to the weight p at the point T = Tj as explained
before Theorem 1.3. Define functions z, y, u, v and a matrix function G on
L according to formulas (1.4)-(1.5), and introduce then R, 5, 1'/ by (2.2) and
(2.3) at all the points Tj, j E J.
Theorem 2.4.
(a) A problem (0.3) with piecewise continuous coefficients of higher deriva-
tives is Fredholm in a Sobolev space with a weight p satisfying the
Hunt-Muckenhoupt- Wheeden condition if and only if z( t ± 0) f:. 0,
tEL, and the closed line segments [v_ - 5 - 1'/, v+ - 5 - 1'/],
[v_ - 5 + 1'/, v+ - 5 + 1'/] do not contain the numbers 0, ±27r for
all the discontinuity points Tj.
(b) If these conditions are satisfied, then the index of the problem (0.3)
is given by
Boundary value problems 359
M
"'D =4 L 11m +4 L lin - 2 L km I1m-
mEMo nE.!Vo m=l
n=l 7r
Proof. According to Theorems 1.1 and 1.2, the problem (0.3) is Fredholm
simultaneously with operators P + GQ having matrix coefficients (1.5), in
the spaces L;(Lri, p). Apply Theorem 1.3 to these operators. It follows from
(2.1) that
REFERENCES
1. F. D. Gahov, BoundaT!/ value problems, "Nauka", Moscow, 1977. (Russian)
2. I.Gohberg and N .Krupnik, On one-dimensional singular integral operators with shift,
Isv. Acad. Nauk Arm. SSR. Matematica. 8 (1973), no. I, 3-12. (Russian)
3. ___ , Systems of singular integral equations in weighted spaces L p , Soviet. Math.
Dokl. 10 (1969), 688-691.
4. R. Hunt, B. Muckenhoupt, R. Wheeden, Weighted norm inequalities for the conjugate
function and Hilbert transform, Trans. Amer. Math. Soc. 176 (1973), 227-251.
5. R. S. Isahanov, Some boundary value problems of analytic functions, Trudy Tbiliss.
Mat. Inst. Razmadze Akad. Nauk Gruzin. SSR, (Collection ofarticles on the equations
of mathematical physics, 6), vol. 52, 1976, pp. 62-80. Russian
6. ___ , A general problem for holomorphic functions, Trudy Tbiliss. Mat. Inst. Raz-
madze Akad. Nauk Gruzin. SSR, (Collection of articles on the boundary problems of
analytic functions, singular integral equations and some questions of harmonic analy-
sis), vol. 65, 1980, pp. 99-109. Russian
7. G. S. Litvinchuk, Boundary value problems and singular integral equations with a
shift, "Nauka", Moscow, 1977. (Russian)
8. ___ , On operator approach to boundary value problems with shift and conjuga-
tion, Memoirs of the anniversary seminar on boundary value problems (F. D. Gahov
anniversary VoL), Belorussian University, Minsk, 1985, pp. 69-76. (Russian)
9. N. I. Lisovets, A four-element boundary value problem with piecewise continuous co-
efficients with shift on a composite contour, Ukrain. Mat. Zh. 35 (1983), 764-767.
(Russian)
10. ___ , A boundary value problem for functions analytic in several multiply connected
domains, Izv. Vyssh. Uchebn. Zaved. Mat. 4 (1984), 75-77. (Russian)
11. ___ , Differential boundaT!/ value problem for functions analytic in several multiply
connected domains, Manuscript no. 546-Uk-D84, UkrNIINTI, Kiev, 1984. (Russian)
360 D. Kurtz, Yu. Latushkin, and I. Spitkovsky
12. _ _ _ , A method for investigating boundary value problems for function. that are
analytic in a domain, Soobshch. Akad. Nauk Gruzin. SSR 122 (1986), no. 3, 477-480.
(Russian)
13. _ _ _ , A method of inve.tigating differential boundary value problem. for analytic
function., Differentsial'nye Uravneniya 24 (1988), no. 6, 1049-1053. (Russian)
14. A. V. Protsenko, Differential boundary value problem. for analytic function., Ph.D.
thesis, Odessa Univ., USSR, 1981. (Russian)
15. S. F. Skorohod, Noether theory of multielement boundary value problem. with a .hift
for function. analytic in a domain, Ph.D. thesis, Odessa Univ., USSR, 1984. (Russian)
16. S. L. Sobolev, Application. of functional analysis to mathematicap physics, Novosi-
birsk, 1962. (Russian)
17. I. Spitkovsky, Singular integral operators with PC symbol. on weighted Hardy spaces,
Journal of Functional Analysis 104 (1992).
18. N. E. Tovmasjan, Integral representation. of holomorphic functions by holomorphic
densities and their applications, Lecture Notes in Math., Analytic functions, Kozubnik
1979 (Proc. Seventh Conf., Kozubnik, 1979), vol. 798, Springer-Verlag, Berlin and New
York, 1980, pp. 439-445.
19. N. P. Vekua, System. of singular integral equations and boundary value problems,
"Nauka", Moscow, 1970. (Russian)