Manuilov, Troitsky - Hilbert C-Modules
Manuilov, Troitsky - Hilbert C-Modules
Hubert
V. M. Manuilov
E. V. Troitsky
Hilbert
V. M. Manuiov
E. V. Troitsky
Translated by the authors
Copying and reprinting. Individual readers of this publication, and nonprofit libraries
acting for them, are permitted to make fair use of the material, such as to copy a chapter for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of ally material in this publication
is permitted only under license from the American Mathematical Society. Requests for such
permission should be addressed to the Acquisitions Department, American Mathematical Society.
201 Charles Street. Providence. Rhode Island 02904-2294. USA. Requests can also be made by
e-mail to reprint-permission@ams .org.
© 2005 by tile American Mathematical Society. All rights reserved.
The American Mathematical Society retains all rights
except those granted to the United States Government.
Printed in the United States of America.
® The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at http://www.ams.org/
10987654321 100908070605
Contents
Preface vii
1.1. C-algebras 1
Bibliography 193
Index 201
Preface
Hubert provide a natural generalization of Hubert spaces arising
when the field of scalars C is replaced by an arbitrary This generaliza-
tion, in the case of commutative appeared in the paper [591 of 1. Ka-
plansky; however the noncommutative case seemed too complicated at that time.
The general theory of Hilbert (i.e., for an arbitrary serving
as 'scalars') appeared 25 years ago in the pioneering papers of W. Paschke [100] and
M. Rieffel [108]. This theory has proved to be a very convenient tool in the theory of
operator algebras, allowing one to obtain information about by study-
ing Hilbert over them. In particular, a series of results about some
classes of (like and monotone complete
was obtained in this way [38]. An important notion of Morita equivalence for
was also formulated in terms of Hubert [109, 18]. This
notion also has applications in the theory of group representations. It turned out
to be possible to extract information on group actions from Hubert
arising from these actions 1102, 1101. Some results about conditional expectations
of finite index [5, 133] and about completely positive maps of [2] were
also obtained using Hilbert
The theory of Hilbert may also be considered as a noncommutative
generalization of the theory of vector bundles [33, 69]. This was the reason Hilbert
modules became a tool in topological applications — namely in index theory of
elliptic operators, in K- and KK-theory [92, 90, 62, 63, 64, 65, 128] and in
noncommutative geometry as a whole [24, 29].
Among other applications, one should emphasize the theory of quantum groups
[135, 136], unbounded operators as a tool for Kasparov's KK-theory [3, 4] (also
Section 8.4) and some physical applications [72, 80].
Alongside these applications, the theory of Hilbert itself has been
developed as well. A number of results about the structure of Hubert modules and
about operators on them have been obtained [74, 42, 88, 77, 81, 127]. Besides
these results, an axiomatic approach in the theory of Hubert modules based on the
theory of operator spaces and tensor products was developed [12, 11].
A detailed bibliography of the theory of Hubert can be found
in [43].
Some results presented here were only announced in the literature or the proofs
were discussed rather briefly. We have tried to fill such gaps. We could not discuss
all the aspects of the theory of Hilbert here, but we tried to explain
in detail the basic notions and theorems of this theory, a number of important
examples, and also some results related to the authors' interest.
Vt'
viii PREFACE
A major part of this book formed the content of the lecture course presented
by the authors at the Department of Mechanics and Mathematics of Moscow State
University in 1997.
We are grateful to A. S. Mishchenko for introducing the theory of Hubert
modules to us. Together with Yu. P. Solovyov, lie has acquainted us with the circle
of problems related to its applications in topology.
While working in this field and in the process of writing the present text, a
significant influence oii us was niade by our friend and co-author M.
We have discussed a number of problems of the Hubert C*_mnodule theory
with L. Brown, A. A. Irmatov, G. G. Kasparov, R. Nest, G. K. Pederseii and
'N. Paschke. Some applications were considered also with J. Cuntz, A. Ya. Helein-
skii, J. Kaminker, V. Nistor, J. Rosenberg, K. Thomsen, B. L. Tsygan and others.
Our research was partially supported by a series of subsequent Russian Foim-
dation of Basic Research grants.
CHAPTER 1
Basic Definitions
1.1.
For basic information about we refer to the books [31, 104, 123,
58]. We present here only some results on C*_algebras, which will be necessary for
our purpose.
Recall that an involutive Banach algebra A is called a if the equality
IIa*aIl 11a112
The set of all positive elements (A) forms a closed convex cone in A and P+ (A) fl
= 0. Among the Hermitian elements h defined in (iii) there exists a
unique positive element, which is called the positive square root of a (we write
h a1!2).
A linear functional : A C is called positive if > 0 for any positive
element a E A positive linear functional is called a state if = 1. We
have hail = sup where a 0 and the supremurn is taken over all states.
A of an algebra A into the 13(H) of all bounded
operators on a Hilbert space H is called a representation. A vector E H is
called cyclic for the representation ir : A —÷ 13(H) if the set of all vectors of the
form a E A, is dense in H. The vector H is called separating for the
representation ir : A —+ 13(H) if the equality = 0 implies a 0.
To each positive linear functional w on a A we can associate a
unique (up to the unitary equivalence) representation of the algebra A on some
2 1. BASIC DEFINITIONS
_Y
< nma nmya°12d nmY — 2
= II II
112.
Using, for example, the Dini theorem, we can see that the sequence of functions
[(1/n) + t E Sp(a),
is uniformly convergent to on the spectrum of a, hence,
0. Therefore, by the Cauchy criterion, is norm-convergent to an element u e A.
Then, reasoning as above, we obtain
hlunhl = hlx[(1/n) + a]"2yhl + a]_h/2a13/2h1
Hence huh o
PROPOSITION 1.1.5 ([104, Prop. 1.4.5]). Let x and a be elements of a
algebra A such that a 0 and a. For any 0 < there exists an element
u e A such that huh S and x =
Then
lix — 112 = iix(1 — [(1/n) +
Iia"2(i — [(1/n) + a]"2a"2)ii2 0
(i) (x,x)OforanyxEM;
(ii) (x, x) = 0 implies that x = 0;
(iii) (y,x) = (x,y)* for any x,y EM;
(iv)
The map is called an A-valued inner product.
Here are some examples.
EXAMPLE 1.2.2. Let J C A be a right ideal. Then J can be equipped with the
structure of a pre-Hilbert A-module with the inner product of elements x, y E J
defined by (x, y) := x'y.
EXAMPLE 1.2.3. Let be a countable set of right ideals of a A
and let M be the linear space of all sequences (x2), E J2, satisfying the condition
lxi <oc. Then M becomes a right A-module if the action of A is defined by
(xi) a for (xe) E M, a E A, and becomes a pre-Hilbert A-module if the
inner product of elements (x2), (yz) E M is defined by ((xe), := xyj.
Let /C be a right A-module equipped with a sesquilinear map [.,.]:K x K —+ A
satisfying all properties of Definition 1.2.1 except (ii). Put
N := {x E K;: [x,x] 0}.
For each positive linear functional on the A the map (x, y) i—* y])
is a (degenerate) inner product on K, hence the set = {x E K: x]) = 0}
is a linear subspace in K. By taking the intersection of all such subspaces we see
that N = is also a linear subspace in K. It follows from properties (iii) and
(iv) of Definition 1.2.1 that N. A C N. Therefore N is a submodule in K;. The
quotient module M = K/N is equipped with the obvious structure of a pre-Hilbert
A-module with the inner product (x + N,y + N) := [x,y].
Let M be a pre-Hilbert A-module, x E M. Put IIXIIM := ii(x,x)ii"2. We
usually skip the subscript M when it does not lead to confusion of norms.
PROPOSITION 1.2.4 ([100]). The function is a norm on M and satisfies
the following properties:
(i) lix . aiiM < laD for any x E M, a E A;
(ii) (x,y)(y,x) (x,x) for any x,y E M;
(iii) ii(x,y)D 1IY1IM for any x,y E M.
4 1. BASIC DEFINITIONS
(y,x),y. (y,x)))"2
= p((x,x))"2 .
Thus, for any positive linear functional we have (y, x) (x, y)) < . p( (x, x)).
so statement (ii) is proved. This evidently implies statement (iii). D
We call inequality (ii) (and also its consequence, inequality (iii)) of Proposition
1.2.4 the Cauchy-Bunyakovskii inequality for Hubert
REMARK 1.2.5. For any module, or more precisely, for any
sesquilinear form the polarization equality
4(y,x) =
Here and further we denote by the direct sum of orthogonal submodules and
by the direct sum of Banach subspaces without orthogonality.
ExAMPLE 1.3.5. If {M2}, i E N, is a countable set of Hubert A-modules, then
one can define their direct sum On the A-module of all sequences
x = (xi) x2 E M?, such that the series
: (x2, x?) is norm-convergent in the
A, we define the inner product by
Let us check that this series converges. Since the series (xi, and (ye. yj)
are convergent, for any > 0 there exists a number N such that for all n > 0 we
have
N+n N+n
LN L=N
Theii
N+n N+n N+n
.
L=N
This proves that the inner product is well defined.
Let us verify completeness of the module Let = e be a
Cauchy sequence. Then for any E > 0 there exists a number N such that
(1.1) - -
for all n, m N. Since all summands in (1.1) are positive, the inequality
— — <6
holds for each number i separately. But then the sequences E M2 are Cauchy
sequences, hence they converge to the limits x1 = lim E M1. Let us verify that
the series (xi, x2) is norm-convergent in A. Let us fix 6 > 0. There exists a
number n> N such that the estimate (1.1) holds. Let us choose a number K such
that
K+k
— J2))
+ + — + (X(n)
i=K
— —
= — — < 6.
6 1. BASIC DEFINITIONS
Therefore
K+k K+k K+k
<2e+ + _xcm))V
L=K
K+k 1/2
12
/
< 2e + 2 — —
1/2
/1 \
=e et+2t2
3
(t+e)2 \2 j 2
and
t2(t+ey'—tI= <E.
t+e
0
The following statement is an analog of the polar decomposition for Hilbert
We will see below that, similarly to the case of C*_algebras, the exact
polar decomposition exists only in the case of Hilbert over
1 if A> 1/n.
Then, by the spectral theorem,
(gn((X,X)) — gm((X,X)))II =
=sup{IA(gn(A) —gm(A))I : A E Sp((x,x))}.
8 1. BASIC DEFINITIONS
— 1)11
=
PROOF. We start by proving the theorem for the case where A is unital. It is
convenient here to use the procedure of almost orthogonalization [36]. An element
x of the Hilbert C*_module is called nonsingular if the element (x, x) E A is
invertible. The set {x1} e Jv is called orthonormal if (x,, x3) = It is called a
basis of the module 1V if finite sums of the form E A, are dense in
LEMMA 1.4.3 ([36]). LetJ'f be a Hubert A-module that contains the orthonorrnal
elements e1 x E J'.f, > 0. If an element y E Al satisfies (y,y) = 1 and
y±{x,ei then there exists an element EAl such that
(i) the elements e1, . . . are orthonormal,
(ii) efl+lESpanA(el en,x,y),
(iii) dist(x,SpanA(el, . . . < e.
PROOF. Let
=x — x" = x' +Ey.
Then
(x", x") = (x', x') + E2 e2 > 0.
1/2
Therefore the element x" is nonsingular. Put = x". (x", x") — Then
E SpanA(x',y).L{el,.. .
Therefore the elements e1, . . . , are orthonormal. Since we have taken x' E
SpanA(x,el,. . . and E SpanA(x',y), we obtain (ii). Finally, put
w= x")'12 + x) E SpanA(el,. . . ,
We return now to the proof of Theorem 1.4.2. Let {y,,} be the sequence of
all generators of module M. By } we denote the standard basis of the module
HA. Let c U be a sequence, in which one meets each element
and each element Yn infinitely many times. Then the set } is generating for the
module M HA. We will prove the theorem by induction. Let us assume that the
orthonormal elements E M HA and the number in(n) n are already
,
(ii) . 1 k n.
Since each element is equal to e3 or one can find a number m' > Tn(n) such
that em' J-{xi }. Since em' ..L{ei,. . . , it follows from (i) that
. .
PROOF. We begin the proof of the theorem with the case where M L71(A).
Let 91'... be an orthonormal basis in M. Fix > 0. For each m. put
— gj(gj,em).
Thcii E M± and
of submodule M, and the remaining part {gk : k > n} is a basis of the module
M'. This proves statements (ii) and (iii).
We pass now to the case of an arbitrary finitely generated projective module
M. Let M By Theorem 1.4.2, HA HA, hence
PROOF. As in the previous theorem, the proof can be reduced to the case where
M is a free module, M = If {g1,. .. is the standard basis of M, then
put x' = x — for x E H. Then x' EM and x — x' E M', hence
J'/=MEDM'. 0
For a Hubert A-module M denote by (M, M) C A the closure of the linear
span of all (x, x), x E M. The set (M, M) is obviously a closed two-sided involutive
ideal in the A.
and similarly define a C-valued inner product. It is easy to check that these inner
products satisfy all the necessary properties, except, possibly, nondegeneracy. Let
£ C JV®BM be the (maybe empty) set of all finite sums 1 = E .A1®BM
with (I, l)A = 0. Then the completion of ®B M/C with respect to the norm
obtained from any of the two inner products gives us an A-C-equivalence bimodule
(for example, fullness follows from Lemma 1.3.8). 0
EXAMPLE 1.5.7. Consider the standard right Hilbert A-module HA and endow
it with the left module structure over the C*_algebra A 0 K, where IC denotes the
of compact operators on a separable Hilbert space. Elements of A ® IC
can be written as infinite matrices of the form (a23), i,j e N, with entries in A. The
left action of such a matrix (a23) on a sequence (x2) E HA results in the sequence
Define the A 0 IC-valued inner product on HA by
((xi), = (Xjy) E A® IC
(it is easy to check that the matrix (xjy) defines an element from A 0 IC because
both sequences (xi) and vanish at infinity). All properties of an A-A 0 K-
equivalence bimodule can be easily checked and thus we see that A is strongly
Morita equivalent to A ® IC. Similarly, taking instead of HA, we obtain the
strong Morita equivalence between A amid the C*_algebra (A) of n x n-matrices
with entries from A.
This example and Lemma 1.5.6 imply the following statement.
COROLLARY 1.5.8. Let A and B be If the A® IC and
B ® IC are isomorphic. then A and B arc strongly Morita equivalent.
A criterion for the strong Morita equivalence was obtained in [15, 18]. Since
the method of proof is far removed from the Hilbert technique, we skip
the proof.
1.5. HILBERT C-BIMODULES AND STRONG MORITA EQUIVALENCE 13
(x.Ty) = (T*r,y)
o = (T*(y — — (T4(y —
= (y — — (T*(y —
—+ (y — Tx,y) — (T*(y — Tx),x) = (y — Tx,y — Tx). D
1 is the i-th entry. To each operator T E EIIdA(HA) one can associate an infinite
matrix with respect to this basis.
IIt&iII. = (e1,Te1).
Then the adjoint operator has the matrix
Let A = C([0, 1]) and let the functions çoj E A, i = 1,2,..., be defined by the
formula
0
on and [xi,
Let an operator T E EndA(HA) have the matrix
0
P2
0 0...
0 0 0...
(actually it is an operator from the module HA to A, i.e., an A-functional). It is
easy to verify that T is bounded. But the operator T* is not well defined since it
should have the matrix
0 0
0 0
0 0
and the image of the basis element e1 should be an element of HA having the first
column as its coordinates and it has to he an element of HA, which is impossible
since the series is not norm-convergent in the C*_algebra A.
Denote by (M , N) the set of all adjoint able operators from M to N. The
algebra = M) is an involutive Banach algebra. Moreover, it
is a C*_algebra; this follows from the estimate
IIT*TII > sup {(T*Tx,x)} sup {(Tx,Tx)} = 11Th2,
xEB1(M) xEB1(M)
where B1(M) denotes the imit ball of the module M.
We will use the following statement frequently without special reference.
PROPOSITION 2.1.3. For an operator T : M —+ M, the following conditions
are equivalent:
(i) T is a positive element of the End*(M);
(ii) for any x E M the inequality (Tx, x) 0 is fulfilled, i.e., is positive in
tile A.
PROOF. The first condition is equivalent to the equality T = S*S for some
S E End*(M). Therefore
(Tx, x) = (Sx. Sx) 0 for any x E M.
Now let (Tx,x) 0 for all x E M. Then
(Tx, x) = (Tx, x E M.
2.1. BOUNDED AND ADJOINTABLE OPERATORS 17
2 2 2
IIXII . . IIzhI
Since IIpnyII tends to zero, the same is true for the norm of the restriction of
the operator to the submodule hence, for the norm of any compact
operator. Let us assume now that for some operator K, one has —, 0.
2.2. COMPACT OPERATORS IN HILBERT MODULES 19
Let us verify that this map is well defined. If = >1j /.Lj9c3,d3, then
= for any x E A. Therefore = The
map is multiplicative and involutive,
Therefore Ikil for k = )'jOa,,b,. This means that the map can
be extended by continuity up to a map defined on the whole algebra /C(A). The
estimate
= sup
IxII1 i=1 i=1
20 2. OPERATORS ON HILBERT MODULES
shows that the map is an isometry, so statement (i) is proved. Statement (ii) can
be proved in a similar way using the map
/ ...
p—'
t ... 1S*
Finally, since there exists an isometric map from the linear space to
the linear space Mn(A) and since these spaces are dense in IC(HA)
and /C ® A, respectively, statement (iii) follows. 0
LEMMA 2.2.3. For any x e M there exists z E M and k = E ftC(M) such
that x = kz.
PROOF. Put
u := v z := limxfr+ (x,x)'13)'.
Since s2 (e + s) —1 is uniformly convergent to s on bounded sets, in order to prove
that u is well defined, note that for t = (x, x), one has
(x (e+(x,x)'13)' — x + (x,x)'13)',x (E + (x,x)'13)' — x + (x, x)h/3)_1)
= [(E + t'/3)' — + t113Y1]tI(E + t'/3)' — + t"3)11
= [(e + t1/3)' — +
The same arguments show that x = kz. 0
Note that we have also proved that M(M, M) = M.
THEOREM 2.2.4. A Hubert A-module M is countably generated if and only if
the C8-algebra ?C(M) is o-unital.
PROOF. Let IC(M) be cr-unital and let be a countable approximate unit for
it. Then
(2.4) foranyxeM.
Indeed, by Lemma 2.2.3, x = kz holds for some k E /C(M), z E M. Since __+ k
with respect to the norm, one has = kz = x.
By definition, any compact operator can be approximated by a linear combi-
nation of elementary ones. Hence, for each there exist elements and in
M such that
8(n)
1
< —, n=1,2
Let us show that the countable set x', i = 1, s(n), n = 1,2,..., generates
. . . ,
E 1 E
lix — <— and — —.
2 n 2
2.2. COMPACT OPERATORS IN HILBERT MODULES 21
Then
s(n) 8(n)
—
ç Ix —
+ Fn(x)
+ =
Now let the module M be countably generated. It can be viewed as a module
over the algebra A+ obtained by unitalizing A (if it was not unital) with respect
to the action x eM, a C A, e C. If it were countably
generated over A, then it should be countably generated over A+ as well. Since in
the definition of elementary compact operators only the A-valued inner product is
involved, one has KA(M) = 'CA+ (M). Thus we can restrict ourselves to the case
where A is unital.
So let M be a countably generated Hilbert module over a unital algebra A.
By the Kasparov stabilization theorem, M HA HA. Let ,. M —' HA be
the corresponding inclusion and let ir : HA —p M be the corresponding selfadjoint
projection. Let denote the standard basis of HA. Recall that for a
the property of being o-unital is equivalent to that of having a strictly positive
element. Consider
00
:=
=p ( p
/
P =0,
due to the vanishing of the second factor. So p vanishes on a dense subset, hence,
everywhere on 1C(HA). We have shown that is a strictly positive element of
?C(HA). Then a countable approximate unit in AC(HA) and
is a countable approximate unit in IC(M). Indeed, if k E K(M), ink k, then
tkir E and
Ilk — = IIir(tkir — = Iltkir — —i 0 (n —+ oo).
0
Complementable submodules and projections
2.3.
in Hubert
Recall that a closed submodule A( in a Hilbert M is called or-
thogonally complementable if M Ii jV'. As we have already seen, a closed
submodule in a Hilbert is not necessarily orthogonally complementable.
DEFINITION 2.3.1. A closed submodule iV in a Hilbert M is called
(topologically) complementable if there exists a closed submodule £ in M such that
jV+C=M,A1nC= {0}.
The following example shows that there exist topologically complementable
submodules that are not orthogonally complementable.
EXAMPLE 2.3.2. Let J C A be a closed ideal such that the equality Ja = 0,
a E A, implies that a = 0. Put M A
Jv':= {(b,b) : bE J}.
Then
= {(c, —c) : CE J}.
Therefore A1 EBA1-'- = M. However, the submodule £ = {(a,O) : a E A} C
M is a topological complement to in M.
Recall that we denote the nonorthogonal direct sum of Hilbert
by A decomposition into a direct sum M = allows us to define the
projection P onto A1 along £. The operator P is A-linear and, by the closed graph
theorem, is bounded, hence P E EndA(M). However, as is clear from Example
2.3.2, the projection P can be nonadjointable. But if M = Iv' C, then the
corresponding projection is selfadjoint, P E Since it is more convenient
to work with orthogonal decompositions, we would like to describe situations where
such a decomposition exists.
THEOREM 2.3.3 ([90]). Let M, iv' be Hubert A-modules and T E
an operator with closed image. Then
(i) Ker T is an orthogonally complementable submodule in M,
(ii) ImT is an orthogonally complementable submodule in A1.
PROOF. (i) Let ImT = and let T0 M be an operator such that its
action coincides with the action of T. By the open mapping theorem, the image of
the unit ball T0(B1(M)) contains some ball of radius > 0 in Therefore for
each y E M such that T0x = y and lxii IIyii. One
has
= < .
2.3. COMPLEMENTABLE SUBMODULES AND PROJECTIONS 23
and hence,
1/2 1/2
IIyU2 = II (Tox, y) II II (x, II lxii <
We obtain that for any y E
Let us show that the spectrum of the operator does not contain the origin.
Suppose the opposite, i.e., that 0 e Let f be a continuous function on
R such that
1(0) = 1 = f(t) =0 if ItI 2 152
Using functional calculus in tile E
the S = f(T0T1fl. Then IISII = 1 and < We
can choose an element x E M such that lxii = 1, llSaii > Then the inequality
l!Sxii
then
i=1
i.e., the spectrum of the element 1 — is separated from the origin, hence this
element is invertible in A,
1
ek= k
E + M' (k= 1,...,n).
1 fk
ThusAl1 = HA.
has the form y = m+n, one has (x, y) = (x, m)+(x, n) = 0; in particular, (x, x) = 0,
thus x = 0. Therefore HA = Consider the map q
= {
which is a bounded projection since HA = Let x+y E x1 +yl E
Then
(p(x+y),x1 +yi) = (x,x1 +yi) = (x,xi),
(x+y,q(xi +yi)) = (x+y,xi) =
Therefore exists and equals q. 0
Put
b=>2(yj,yj).
Then
IIcII = + b)"2b(E2 + <1
hence c E S. Let 1(t) := E4t2(E2 + t)2. Applying this function to the element b
we obtain the estimate
IIf(b)II = k4b2(E2+bY2II = 1k2(E2+bY1b2E2fr2+bY1II
= 11(1 — c)b2(1 — <E2/4.
Therefore 11(1 — c)bII < E/2 and, together with the estimate (2.5), this proves the
lemma. 0
LEMMA 2.4.3 ([161). There exists a sequence (xe), E M, such that the
sequence of partial sums of the series (xi, x2) is a countable approximate unit
of the algebra A. If A is unital, then there exist a finite number k and elements
E M such that k = 1.
PROOF. Consider first the case of a unital Then, by Lemma 2.4.2,
one can find an element c E S such that Ill — dl < 1/2. Therefore the element c is
invertible and c = (y3, for some k and some Yj E M. Put = c_h/2; .
then (x3,x3) = 1.
In the case of a nonunital let h E A be a strictly positive element.
By induction we shall construct a sequence (c3) in S such that
i; <
By Lemma 2.4.2, we can find an element c1 E S such that 11(1 — ci)hll < Under
the assumption that the elements c1, . . , Ck are already found, by Lemma 2.4.2 we
.
26 2. OPERATORS ON HILBERT MODULES
and put
/ k / k
1/2
Ck+1 < 1— c3, we have c3 < 1. Finally, inequality (2.6) implies that
k+1 k 1/2 k 1/2
(i d)(1 <
unital then this set coincides with the action off on elements of
the module HA is defined by the formula
(2.8) f(x) =
where x= (x1) E HA, and the norm off is given by the equality
<(11111 + C/2.
shows that
(2.11)
N
(2.12) IIfII
But = hence (2.11) and (2.12) imply (2.9). Since for any
e > 0 one can find a number N such that the estimate
N-f-n N-f-n N+n N+n
111112
< If 112
holds for all n > 0, the convergence of the series (2.8) follows. Li
2.5. DUAL MODULES. SELF-DUALITY 29
Note that for the functional f = from Example 2.1.2, the partial sums
are uniformly bounded, however the corresponding series is not conver-
gent.
Let us describe an interesting example of a dual module.
EXAMPLE 2.5.6 ([44]). Let A = 13(H) be the algebra of all bounded operators
on a separable Hilbert space H. Consider pairwise orthogonal projections E A,
i E N, such that the series converges to 1 E A, and each projection
pj is equivalent to 1. We can consider H = as an orthogonal sum of Hilbert
spaces isomorphic to H, : H —+ H2 being isometries, so that
p, = 1 =
l2(A)' = {{ai}
a A with respect to the inner product
:=
The maps
the functional (2.13) is bounded. Then there exists a unique vector E such
that ff11 and + = ço(f(x)) for all x E M. For x E M,
we shall denote by the functional (x,.) E M'. Note that = y+ for all
y E M.
30 2. OPERATORS ON HILBERT MODULES
It is easy to see that = It turns out that the same holds for all
elements of lvi'.
PROPOSITION 2.5.7. Let M be a Hubert A-module and let and be positive
linear functionals on A with Then = f,p for any functional
f E M'.
PROOF. Let f M'. Since the quotient space M/N,,O is dense in one can
choose a sequence of elements in such that + — 0.
Then
= urn + = + Ne,).
To prove the statement, it is sufficient to show that x)) —i for all
x E M. But
— f(x))12
< INI'II x)(x, yn) — (yn, — f(x)(x, yn) + f(x)f(x)t)
< — (yn,x)f(x)* — + f(x)f(x)*)
for each n E N. Since
p((yn, x)f(x)*) = p((yn, x (f(x))*)) ço(f(x (f(x))*)) =
.
= co((yn,x)(x,x)(x,yn))
2
Ilyn +
and the sequence is bounded. Since + — 0, the statement
is proved. 0
It turns out that the property of a Hubert over a unital
being self-dual is very close to the property of being finitely generated and projec-
tive. We complete this section with a complete description [131] of that interplay
in the commutative case.
DEFINITION 2.5.8. A A is called module-infinite (MI) if each count-
ably generated Hubert A-module is projective and finitely generated if and only if
it is self-dual.
2.5. DUAL MODULES. SELF-DUALITY 31
J(kXI\fpJ(x) ifxEM,
x ifxEM-12(A),
is close to the identity, hence it is an isoniorphism. It maps M isomorphically onto
a direct summand of E3.
2) In this case (changing the standard decomposition, if necessary) we can find
a sequence j(k) such that for each k there exists an element zk E M of norm 1
such that its j(k)-th entry (with respect to the standard decomposition) has
norm greater than some fixed C > 0. Let us choose functions bk as in Definition
2.5.9 (for simplicity we assume that we do not need to pass to a subsequence for
the second time). Then the formula /9(x) = >k defines a functional on 12(A).
It is evident that this functional is not adjointable on 12(A) since bk 74 0 as k cc.
Let us show that there is no adjointable functional on 12(A) with =
so that /31M is a nonadjointable functional on M and M is not a self-dual module.
Indeed, suppose that there exists an element a = (a1, a2,...) E M C 12(A) such
that := = /3(x) for any x E M. Then
(2.14) (a,a)
a(x) = fl(x) for those x. The Pythagorean theorem for Hubert. shows
that (a, >Jj<k Taking all the fk's, one obtains (2.14).
On the other hind,
(a,a)(y2) 2 (a,zj)(zj,a)(yj) = = 262
m,k
But (2.14) implies that (a, a) does not belong to A. This
contradiction proves the theorem. D
PROOF. If statement (i) holds, it is sufficient to prove that one can find an
approximating module N for a finite set of elements in HA and this
can be easily done by the Dupré - Fillmore method, as in the proof of Theorem
1.4.5. So suppose that (ii) is fulfilled. Then for any E > 0, one can find elements
b1, . , bk E HA, generating the module N C HA, such that (b2, b3)
. . öjj and
diSt(T(Bl(HA)),.Af) <E, where B1(HA) is the unit ball of HA. Denote by PAr the
projection onto N and consider the operator PET. It can be decomposed as
(2.15) = bi(fi,x) + ...
where E Since x E Bl(HA), one can find an element b N such that
IITx — bII <E. Therefore
IITx—PgTxII=IITx—b+b—PgTxII
(.216 ) = IITx - b[I + IIPAr(b - Tx)II <E + E = 2E,
hence IT — PNTII <2e and T lies in the norm closure of the set of operators of the
form (2.15). If T is adjointable, then PArT is adjointable as well, hence E HA
and T is compact. 0
2.7. C*.Fredholm operators and index. Mishchenko's approach
The material of this section is taken mainly from [92]. Recall first the definition
of K-groups.
DEFINITION 2.7.1 ([60, § 11.1]). Let lvi be an Abelian monoid. Consider the
Cartesian product M x M and its quotient monoid with respect to the equivalence
relation
(m,n) (in',n') (m,n) + (pep) = (m',n') + (q,q).
This quotient inonoid is a group, which is denoted by S(M) and is called the sym-
metrization of M. Consider now the additive category 1'(A) of projective modules
over a unital A and denote by [M] the isomorphism class of an object
M from P(A). The set of these classes has the structure of an Abelian
monoid with respect to the operation [MI + [N] = [M eN]. In this case the group
is denoted by K(A) or K0(A) and is called the K-group of A or the
Grothendieck group of the category P(A). If A has no unit, then the natural map
—* C induces a map of K-groups and K0(A) is defined by
More precisely, projections p: A'1 —' A'1 and q : are equivalent if there
are m' and n' such that n + n' = in + m' = s and the projections
(p 0
0
A8=A'1EDA'1 —i =A8,
(q 0
0
A8 = Atm A"1 —i Atm Atm = A8
can be connected by a norm continuous homotopy in the set of all projections from
End(A8) = End*(A8) (A is unital!). One can also consider the equivalence classes
of projections in the algebraic sense. The details can be found in [10, 60, 94, 134].
Recall the following well-known statement.
LEMMA 2.7.2 (cf. [115, Theorem 4.151). The set of epimorphisms is open in
the space of bounded linear maps of a Banach space E to a Banach space C.
LEMMA 2.7.3 ([92, 1.41). Let A( be a finitely generated Hubert A-module over
a unital A and let a1,... ,a5 be generators of J'.f. Then there exists a
number E > 0 such that if some elements aç,.. a'8 E .N satisfy. ,
Ilak—akII <E
then these elements also generate
PRooF. The map
f L5(A) —'.N, (0,...,O,i,0,...,0)
an epimorphism. Hence, by Lemma 2.7.2, there exists E > 0 such that if
is <
SE, then g is an epimorphism. Let
(i) it is adjointable;
(ii) there exists a decomposition of the domain, HA = and the
range, HA = (where M1, M2, , are closed A-modules and
ft/1,.M2 have a finite number of generators), such that F has the matrix
form F with respect to these decompositions and F1
= ( F2 )
M2 is an isomorphism.
2.7. C-FREDHOLM OPERATORS AND INDEX. MISHCHENKO'S APPROACH 35
but M1 does not necessarily have an orthogonal complement. This result was
obtained in [54].
DEFINITION 2.7.8. Let the conditions of Definition 2.7.4 hold. By Theo-
rem 2.7.5, Al1 and are projective A-modules and we can define the index of
Fby
index F = [Al1] — [Al2] E K(A).
F C M1
that F : Therefore we have the following equalities in K(A):
[JV1] + = + [Pfl = [LmI, = [P2],
+ [22] = VI;] + = [Pfl =
Thus [.N1] — [..V2] = — and we have proved that the index is well defined. 0
1This projection is well defined since C Mi form n and hence FIL.L is an isomorphism,
whence it follows that HA is a closed A-module, L'm fl = 0, L'm + = HA. Therefore
HA = is a direct sum of closed A-modules and Q'm is bounded and A-linear.
38 2. OPERATORS ON HILBERT MODULES
F= (
F1 : M2. Then IIF1II < IIFII; moreover, if D : HA —' HA is an arbitrary
operator, then
D_(Di D2'\
D4)'
arid there exists a constant C such that lID1 II <GilD II (cf. [92]). Therefore, if D is
an arbitrary operator satisfying the estimate hF — Dii <e, then hF1 — Dill < C•e.
Since F1 is an isomorphism, we can find 5> 0 such that if liP'1 — D1 <5 and D1
is an operator, then D1 is also an isomorphism. By taking e = 5/C we obtain that
for the operator
D4)'
the element D1 is an isomorphism. Then
(D1 0
where
( ? ): —'
(1
= ):
are isomorphisms. Using U1 and U2 we obtain a new decomposition of the domain
and the range into direct sums:
M=U1(M1),
With respect to the new decomposition the matrix of D is equal to U2DU1. Thus
D is A-Fredholm with the index
— = [.N1] — = index F.
0
LEMMA 2.7.11. Let F and D be A-Fredholm operators,
HA
2.7. OPERATORS AND INDEX. MISHCHENKO'S APPROACH 39
where
F_(F1 0 D_(D1 0
0 F4)' 0
F1 and D1 are isomorphisms, and AIj , Al2, Al11, are projective finitely generated
A-modules. As earlier, without loss of generality we can assume that
0 F4)'
and F1 is an isomorphism. Then
(F1 F2)(1 (Fi 0)
_Fç1F2
Denote by U the matrix ( and put = U(V1).
)
We obtained a new decomposition, HA = M1 and the matrix F with respect
to the decomposition
HA = = HA
has the previous diagonal form. Consider the projection
T: HA = -*
Since HA the restriction M'2 : is an isomorphism.
Consider the matrix D with respect to the decomposition
HA = —p-' = HA.
This matrix has the form D ) , where D1 is an isomorphism. Put
= (
.( 1 o\(D1 0 0
D4
Therefore one can change the decomposition of the range,
in such a way that the matrix of the operator D with respect to the new decompo-
sition
= =
40 2. OPERATORS ON HILBERT MODULES
has diagonal form. Let us change the decomposition of the range once again:
= D(M2), =
The matrix D with the respect to the latter decomposition
HA = = HA
has diagonal form. Then the composition DF with the respect to the decomposition
HA = M1E V1 -. = HA
indexDF = —
U2(1 + K)U1 =
(1+K1 0
0 (1 + K4) — K3(1 +
PROOF. Consider decompositions of the module HA into direct sums such that
the matrix F has the diagonal form:
HA = = HA.
Without loss of generality we can assume that
= =
2.7. C-FREDHOLM OPERATORS AND INDEX. MISHCHENKO'S APPROACH 41
HA
M2
HA M2 is an F M2 maps M1 isomorphically into
M2 and KerF C M2 Let us show that F(M1)flF(V1)
0. For this purpose, decompose F into a composition
-* M2,
42 2. OPERATORS ON HILBERT MODULES
®c B),
wi+. + Wn C Cm := Ce B)
consequently (W1
and + ) B C Cm,
(iv)the distance between and (W1 + ... + does not exceed 1/n.
Note that (1) and (ii) imply that the modules W2B are pairwise orthogonal and
C-invariant and (W1 + ... + is also C-invariant. The last module is free,
so, by Lemma 2.3.7, it has an orthogonal complement, which is C-invariant due to
unitarity of the action.
Let us pass to the construction of Put
p
, . II — /
Yn+i Yn+i Yn+i Yn+i
j=1
Then
— =0
44 2. OPERATORS ON HILBERT MODULES
for any w e (W1 + + Since by the definition of the sequence y3, the
element Yn+1 lies either in C or in some ® B, we have E Cm' for some
m' > m. Consider the orthogonal complement Sn,m' to (Wi + + in
Cm'. It is an invariant module and e Sn.m'. By the Mostow theorem on
periodic vectors [93], the elements with C-finite-dimensional orbits arc dense in
Snm'. Hence one can find a vector z E such that liz — < 2fl+2 and
the linear span 1? of the orbit Gz of z is an invariant finite-dimensional subspace of
Sn,m'. Since z is a totalizing vector, R is an irreducible G-module. Therefore there
is rn" > in' such that there exists an equivariant isomorphism r : R Vm". Let
{ h1,... hk} be an orthonormal basis of Vm" and
, := r—' (hi), i = 1,. , k. Then
. .
9EC.
Since R c Cm' and rn" > m', R is orthogonal to Vm". More precisely, each element
of R is orthogonal to Vm" ® B in C ® flB. Hence (ri, /i3) = 0 for any i and j. Let
k k 1/2
z := a : + 1,
equivalently, to the span of since D has complex coefficients. Then Wm+ 1 C Cm"
and
= = = Sjj.
p,q=1
g = (gri +
= (2n + 2)a)
= = E
j=1 s=1 t=1 t=1 j=1 s1
___________________
1 1
— (2n+2) k
1/2 (2n+2)
+1
Therefore
p(yn+i, (W1 +••• + z) + p(z,
1
<
2n+2 n+1 n
Thus, by induction, the C-subspaces W2 with properties (i)—(iv) are constructed for
all i. From the explicit expression for we obtain that W,., is isomorphic to some
i.e., is irreducible. Further, the B-Hilbert completion M (i.e., the closure in EE?flB)
of the algebraic orthogonal sum of modules B gives the whole E Indeed,
by property (iv), the algebraic sum is dense in So, M It remains
to prove that M is isomorphic to flB, i.e., that each irreducible representation is
repeated infinitely many times among the modules WEB. Suppose the opposite,
then M flB flB, or
0
Let us now prove the theorem on decomposition of representations [911. Let
M be a Hilbert B-module with a strongly continuous unitary representation C,
and suppose that the group acts trivially on B. Now let {V8} be the complete
collection of pairwise nonequivalent unitary representations of C of dimensions d8
and let be their matrix elements, which are continuous functions on C. For an
invariant normalized Haar measure dg on C, we define the operator
(2.17) :M —'M,
Since a product of continuous complex-valued functions by a continuous module-
valued function is integrable for a fixed x E M and since the group is compact,
the integral is well defined and equals some element of M. We obtain a bounded
operator. Indeed,
Therefore
sup
9EG
It is well known [7, I, §7.1, Theorem 5] that
0 s s',
(2.18)
fG = { d. zm Jn, —
We need the following Peter—Weil theorem (see, e.g., [7, I, §7.2, Theorem 1]).
(2.21) =
(2.22) =
PROOF. First of all, note that for unitary operators in M, the mapping F '—i F*
iscontinuous in the strong operator topology. In other words, for unitary operators,
the strong continuity implies the *-strong one. Indeed.
lI(F'5 — F*)xIj = II(F'' — F1)xII = IIF'(F'' — F')FzII = IIFz — F'zII —* 0.
Therefore one can take T instead of T9 in (2.17), and then take it outside the
integral. More precisely, the first equality in the chain
(P;q)* = d5
f D;q(g)T;(x) dg = f d(g1)
= d5
f dg =
has to be verified at first at the level of integral sums and then one has to take
the limit, which is possible due to the *-strong continuity. Remaining equalities
in the chain above follow from the invariance of Haar measure and the relations
T9* = = Tg1. Statement (i) is proved.
It follows from (2.17) that
=
ff dgdg'.
= dg' J
JG
= =
dh
TgPfm(X) =
L D;m(h)Tgh(X) dh = f
d5 d8
= d5 D:m(h)Th(x) dh
f
= D:m(h)Th(X) dh
d5 f
i=1 Gj1
= =
P8
(2.25) =
x8(g) :=>D,,(g),
48 2. OPERATORS ON HILBERT MODULES
P8 =dsfxS(g)Tgdg,
= d8
f dg'T9 = P8T
vEV8,çoEM8,
and
r(V8®M8) =M5,
where M8 is defined by (2.27).
PROOF. To begin with, let us note that the r8 are algebraically injective. In-
deed, let
o=r,
2.8. REPRESENTATIONS OF GROUPS ON HILBERT MODULES 49
Since, by the Schur lemma, is either an isomorphism or 0, the above equality can
be true only if either = 0 or = 0. But then ® p = 0.
By Lemma 2.8.9, it is sufficient to prove only that r5 maps ®M5 bijectively
onto M8.
Note that, by setting := P8(M) we obtain, by relation (2.20),
that the operators induce isoinorphisms
®x) = T9Pf1(x) =
and
V ®
=
V map
V : —, W5(x)(v) := V(v 0 x).
Then
o Ox) = V(v ® x).
OWS)(v
Since we have an isomorphism on the right-hand side and since is algebraically
injective, r5 is an isomorphism (see Lemma 2.8.12), whence V is an isomorphism.
In particular, the image of coincides with M8 and these images are orthogonal to
each otl1er. Hence r is topologically injective and its image coincides with M. 0
REMARK 2.8.11. Let the G-A-module M belong to the class P(A) of projective
finitely generated modules. Then obviously M8 = Honxc(V3,M) e P(A). Let us
show that only a finite number of summands do not vanish in the sum Denote
generators of M by a1,.. . , a8. Using the Mostow lemma [93], choose C-periodic
vectors b1,. .
. , so close to a1,.. . , a8 that they generate M as an A-module (see
Lemma 2.7.3). By decomposing the linear span of the orbit Gb3, which is a finite-
dimensional C-C-module, into irreducible modules, let us find a new system of
generators c1,.. . now belonging to irreducible G-C-modules. Then it is evident
,
Let us recall some facts about integrating operator-valued functions [62]. Let
X be a compact space, A a and p: C(X) —p A an involutive homomor-
phism of unital algebras. Let F : X A be a continuous map and let, for each
x e X, the element F(x) commute with the image of In this case the integral
EA
fQ(g)dg :=
>0,
fG
we obtain that
e and JQ(g)dg
(the positive cone P+ (A) is convex and closed). Hence we have proved the following
lemma.
LEMMA 2.8.13. Let Q: C be a continuous function. Then, for the
inteqral in the sense of [62], the following inequality holds:
0.
THEOREM 2.8.14 ([128]). Let GL = GL(A) be the full general linear group,
i.e., the group of invertible operators in End 12(A), and suppose that for the group
C, a representation g (g C. T9 E GL) is given, and that the map
PROOF. Let (, )' be the initial inner product. For any u, v E 12(A) there exists
a continuous map C A, x Define the new product by the
formula
(u,v) =
JG
I
where the integral can be considered in the sense of any of the two definitions in [62],
since the map is norm continuous. It is easy to see that this new product gives a
sesquilinear map 12(A) x 12(A) —+ A satisfying properties (i)—(iv) of Definition 1.2.1
and that, by Lemma 2.8.13, (u, u) 0. Let us show that this map is continuous.
Fix an arbitrary u E 12(A). Then x i—p C 12(A) is a continuous map
defined on a compact space, thus the set I
x E G} is bounded. Therefore, by
the uniform boundedness principle ['7, v. 2],
(2.30) lim = 0
We have obtained the continuity at the point 0, hence on the whole space 12(A) x
12(A). For = (ai(x),a2(x),...) e 12(A), the equality (u,u) = 0 takes the form
=
JC
0.
0=
= j dx
= f dx
f = (u,v).
Now we show the equivalence of the two norms, which, in particular, implies
the continuity of the representation. There is a number N > 0 such that N
52 2. OPERATORS ON HILBERT MODULES
11u112 = II(u.u)IIA = if
<N2(j]uII')2.
\XEG I
On the other hand, applying Theorem 2.1.4 and Lemma 2.8.13, we obtain that
(u. u)'
= f (T9-iT9u. T9-iT9u)' dg j 11T9-t 112(Tgu, T9u)' dg
f = N2f(Tqu,Tqu)' dg = N2(u,u).
REMARK 2.8.15. Since 12(P) is a direct summand in 12(A), the previous theo-
rem remains valid for 12(P) and for any other countably generated module M.
DEFINITION 2.8.16. Denote by GL* C GL the general linear group formed by
adjointable invertible operators.
REMARK 2.8.17. Before averaging we have had operators, which, in general, are
nonadjointable. but after averaging we have obtained unitary operators out of them.
In relation to this remark the following question arises: is it true that if a given
operator represents an element of compact group, then it is adjointable? A negative
answer to this question is contained in Example 2.3.2, since a decomposition into
a direct (topological) sum defines a representation of the group Z/2Z.
COROLLARY 2.8.18 ([1291). Let M = be a topological decomposition
into a direct sum of closed Hubert C* -modules (not necessarily an orthogonal sum).
Then there exists a new inner product on the module M equivalent to the initial
one, with respect to which the given decomposition is orthogonal.
PROOF. Define the operator J : M M by the formula
x,
Jx=<I —x, ifxEM1,
ifxeM2.
One can consider the operator J as a representation of the group Z/2Z on the
module M and, by Theorem 2.8.14, the inner product (x,y) + (Jx,Jy)
is equivalent to the initial one. Orthogonality of M1 and M2 with respect to this
inner product is evident.. 0
In Theorem 5.7.13 we shall show how the averaging Theorem 2.8.14 can be
generalized from the case of a compact group to the case of an amenable group,
but only for Hubert We-modules.
( )
Note that this stabilization is defined up to a C-A-isomorphism.
THEOREM 2.9.1 ([1281). Let NA where M and H are closed C-
A-modules, and let H have a finite system of generators , a8. Then H is a
. . .
p(a) = <00
p(a) = + < 00
55
56 3. HILBERT MODULES OVER W-ALGEBRAS
In particular, it follows from here that if A C B C 8(H) are two subsets, then
A!! c B!!.
DEFINITIoN 3.1.2. An invohitive suhalgebra in 8(H) is called a von Neumann
algebra if it satisfies the conditions of Theorem 3.1.1.
Any von Neumann algebra is a Ct-algel)ra.
Unlike general C*..algebra.s. there exist polar decompositions in von Neumann
algebras: any element a E A can he written iii a unique way as a = uh, where u is
a partial isometry, h is a positive element of the algebra A and Ker u = Ker h.
Universal enveloping von Neumann algebra. Let w he a positive linear
functional on a Ct-algebra A and let H,.,) he a cyclic representation of A on a
Hilbert space obtained from the GNS-construction. Put
(ir.H)=
wE .4
AJ I,
=
=
= = 0.
This means that the map F can be extended to To avoid extra notation
we denote this extension still by F.
LEMMA 3.2.3. The map F is bounded.
PROOF. One can write an arbitrary normal functional i/ E as = —
where P, i = 1,...,4, and Then
I II II
as required. 0
Let us continue the proof of the theorem. Since A is isomorphic to the space
of linear functionals on the pre-dual space [123], there exists a unique element
(f,g) e A such that = for any e in particular, =
C P. Thesesquilinearityofthedefinedmap (.,.) :
follows from the linearity of the map f '—i from M' to e P. Let us
for
show that (.,.) satisfies properties (i)—(iv) of Definition 1.2.1.
(i) Since f)) = 0 for any e P, the inequality (f,f) 2 0
follows.
(ii) Let (f,f) = 0 for f eM'. Then = 0 for all e P, hence = 0
for all x e M. Therefore f = 0.
(iii) Since
=
=
=
=
for any e P, we conclude that (f,g) =
(g,f)*•
(iv) Let a e A, e P. Let us define the functional on the algebra A by
pa(b) = b e A. Then e and çoa = where E C, E P.
Let us put i/ = + then is a positive functional and > . .
,
60 3. HILBERT MODULES OVER W-ALGEBRAS
But
= = w(a*f(x)) = a)(x))
= ((f. x+ = ((f +
for any x E M. Since the subspace is dense in H,1,, the equality
= = ((f.
= ((f = a,g))
holds for any p E P. hence a*(f,g) = (f a,g). Passing to adjoints, we also obtain
(f,g)a = (f,g a). .
The obtained inner product on M' is an extension of the inner product from
M. Indeed, if x,y EM, E P, then
= = =
Hence = (x,y). Further, if f EM', then
ço((f,x)) = =
therefore (f, = f(x). Let us show that M' is complete with respect to the norm
I'M' defined by the inner product constructed above. There also exists the norm
on M' defined as the norm of linear maps from M to A, with respect to which
the space M' is complete. Let us prove that II•I'M' = 1.11. Since
2
1(x)* f(x) = (x,f)(f,x) —
(x,x),
we obtain that 11111 If But since 11111 for each w E
and =
So, we have proved that M' is a Hubert A-module. It remains to verify that
it is self-dual. Let F E (M')'. The restriction of F to M C M' is an element of
the module M', hence one can find a functional I E M' such that F(s) = f(x) for
all x E M. Let us define the functional F0 E (M')' by
Fo(g) = F(g) — (f,g), gE M'.
It is clear that for all x E M. We should verify that Fo(g) = 0 for all
= 0
g E M'. Let E P. Choose a sequence {yn + in converging to
Since F0 is bounded, we can find a number K such that Fo(h)*Fo(h) K(h, h) for
allhE M'. For alln= 1,2,... one has
= —
— i,,)) Kço((g — —
3.3. HILBERT W-MODULES AND DUAL BANACH SPACES 61
But since
— yn,g — — — +
— + +(yn + +
= — +
we have — — 0. Therefore
(3.1) = 0.
Since the equality (3.1) is valid for any normal functional E P, we obtain that
Fo(g) = 0. D
3.3. Hubert and dual Banach spaces
PROPOSITION 3.3.1. Let M,H be Hubert over a A
and let T : M —9 H be a bounded operator, T E HornA(M,AI). Then there exists
a unique extension of the operator T to an operator T : M'
PROOF. Define the operator T# : by (T#y)(x) := (y,Tx), x E M,
y E f'I. Since II(T#y)(x)II lxii the operator T# is bounded, IIT#yII
iTilliyii. ForanyaEAwehave
(T#(y . a))(x) = (y. a,Tx) = a* (y, Tx) ((T#y) a)(x): .
where . . E A,, .
M°. It is easy to see that this functional is
well defined. Since
it follows from the definition of the maximal cross-norm [661 that <
Let us show that in fact the equality = lxii holds. Let be a sequence
of functionals of norm 1 in A, such that —' iixii2. For each element
of the form ® x E A, ® M° we have iixii lxii and ®
iixii2, hence lxii < Therefore the map x '—' defines an isometric inclusion
M C (A. ® M°)'. To prove the statement it is sufficient to check that the set
= : x E M} is closed in (A, ® Mo)* with respect to the weak* topology,
since it would mean that M is isometric to the dual space of some quotient space of
A, ®M°. Let be a net in M that converges to some element F E (A, ®M°)'
with respect to the weak* topology. For y E M, let us define the linear functional
on A. by = ® y), where E A,. The functional is bounded,
there exists a unique element f(y) E A satisfying the properties
liFil iiyii, hence
iiFii and = f is obviously
linear. Let us show that it is A-linear as well. Let y E M, a, b E A, E A,. Define
the normal functional E A, by = ço(a'b). Then it follows from the equalities
cp(f(y a)') = F(p® (y .a)) = . a)) = .
= = =
= = p(a'f(y)') = cp((f(y)a)'),
which hold for any E A, that f(y . a) = f(y)a. Since the module M is self-dual,
we can find an clement x0 E M such that 1(y) = (x0, y). Thus F = hence
is closed in (A, ®M°)'. 0
Consider the weak* topology on the dual Banach space M. A net } in
M obviously converges to an element x E M with respect to this topology if
for every A, and for every y EM.
Some modification of the previous argument allows us to also obtain the fol-
lowing statement.
PROPOSITION 3.3.4 (11001). Let M be a self-dual Hubert W'-module. Then
the C'-algebra is a W'-algebra.
= ((x,x) + 1/n)'!2, x
Since = (x,x)((x.x) + < 1. Let y eM be an accumulation
point for the sequence } in the weak* topology (which exists due to the com-
pactness of the unit ball). Since ha,, — (x,x)"2h1 0 and x,
x= (x,x)'!2. Let p be the projection onto the image of Then
p(x, x) 1/2 = (x, x)
1/2
p = (x, x)
1/2
(x,x) (x,x)'!2p(y,y)p(x,x)'!2.
Therefore
(x,x)'!2(p = 0.
whence it follows that p(p — p(y, y)p)1/2 = 0, hence p p(y, y)p. Put z y p.
Thenz.(x,x)'!2=y.p(x,x)'!2=x,(z,z)=p(y,y)p=pandz.p=z.
In order to prove the uniqueness of the decomposition suppose that x = z' a,
where a 2 0, and that (z', z') is the projection onto the image of a. Then (x, x) =
a(z',z')a a2, hence a (x,x)'!2 and (z',z') =p. Since (z'—z'.p,z'—z'.p) = 0,
we obtain z' = z'p. Also one has
(z,x) = (x,x) 1/2 = (z,z , )(x,x) 1/2
i.e., = 0. whence we obtain that (p—(z,z'))p=p—(z,z'.p)
p — (z, z') = 0. Now it can be easily seen that (z — z', z — z') = 0, hence z' = Z. 0
Let be a set of projections in a A. For each of them the
set M0 = paA C A has the natural structure of a singly generated projective
Hilbert A-module. Similarly to the definition of the standard Hilbert module we
can define the module as the set of sequences (ma), ma C Mc, C A,
such that the series is norm-convergent in A. The dual filbert module
(sc, Ma)' is called the ultra weak direct sum of the modules Mc,. For self-dual
Hilbert W*_modules we have the following structural result.
THEOREM 3.4.2 ([1001). Let M be a self-dual Hubert over A. Then
there exists a set {pc, } of projections in A such that the module M is isomorphic
to the ultra weak direct sum of the modules pc,A.
PROPOSITION 3.4.3. Let Al C HA be a Hilbert submodule over a W* -algebra
A. If Jsf-'- = 0, then the dual module 15/' coincides with
PROOF. Let j Al HA be an inclusion of modules. The restriction of
functionals f fig, f E defines the map j' dual to j. If :
i=j'ooj '—+
64 3. HILBERT MODULES OVER
(Ii,... .
. .). But, as f(Th) E 11A, we get a contradiction. 0
Even Hilbert over commutative behave differently
from Hubert spaces. The following example shows what kind of pathology can
occur.
Let A = be the of bounded sequences and let co C be
its subalgebra of sequences vanishing at infinity. Consider the Hubert
M = l2(co) over A.
PROPOSITION 3.4.5 ([85]). There is a submodule .iV C M such that it coincides
with its bi-orthogonal module, but is not complementable.
PROOF. Put
//= {(f1,f2,f3,...),(f1,2f2,3f3,...)},
where fk E c0 for all k eN and the series k2IfkI2 is convergent in c0. It
is easy to see that the submodule Al C M is closed and coincides with its bi-
orthogonal complement, ftf-'--'- = Al. Let us show that Al is noncoinpiementable.
Assume the contrary: let M = .)VEB/C for some submodule K C M. Then there
exists an A-linear (nonorthogonal) bounded projection P : M —' Al. Since P
commutes with the action of A, it can be written as a sequence (Pk)kcN, where
Pk is a projection acting on the k-th coordinate. More precisely, if Pk E A is the
projection onto the k-th coordinate, then Pk = PkP. Since P is bounded, the norms
of the projections Pk should be uniformly bounded. But any projection Pk projects
onto where N : 12 —4 is an unbounded operator, N(aj,a2,...) =
(a1,2a2,. . .). For each k there is a decomposition Mk = 12 =ft4 DKk, where
JCk = pkJC, j'4 = Pk implies
that the complements JCk should consist of the pairs {(x, y) : x, y l2} such that
> for some > 0 independent of k.
Consider an arbitrary element 12,.. .), (gi' 92,...) M, where C0,
gi for any i. If =M then this element can he written a.s the sum
inequality vanishes as k oo (when ii is fixed) and the right-hand side does not
vanish, since e c0 (it is sufficient to take the constant sequences = $ 0).
This contradiction shows that the submodule .N is not complementable. D
— y_y,yfl —
for all /3,y Therefore there exists the limit (with respect to the As)-
topology)
E A
in the A for each x E M. The inequality
: E A}
shows the continuity of the map R: M —+ A, x '—p R(x). It is clear that the map
R is an A-module map, so R is a functional on M. By assumption, the module
M is self-dual, so there exists an element z E M such t.hat R(x) = (z,x). Then
lime (yo, x) = (z, x) (where the limit is taken in the o(A, Therefore
the net {ya} converges to z E M in the topology r1 and r = z, giving a contradiction
to our assumption.
Let us now prove the implication (ii) (i). The extension of the inner product
to the dual module M' we again denote by (.,.). It is easy to see that the ideal
(M,M) E A is norm dense in the ideal (M',M') E A, hence (M,M) E A =
(M', M') E A. Let us first consider the case where a W*_algehra A is u-unital.
Then there exists an exact normal state E (see [13, Prop. 2.5.6]). Let
be the cyclic representation associated with The vector E H is
66 3. HILBERT MODULES OVER W-ALGEBRAS
simultaneously cyclic and separating. The linear space M with the inner product
(•,•) = becomes a pre-Hilbert space and the map i!'(f(.)) : M —+ C, where
I E M', becomes a linear functional on M. Then one can find an clement
in the completion of the space M with respect to the norm .))1/2 such that
(fe,, x) = ip(f(x)) for all x M. This means that there exists a sequence (x2),
x1 E M, i N, such that
where the image of the element x under the canonical inclusion M C M' is denoted
by Since the vector is cyclic and separating, there exists the limit (in the
on A) lim1 — — f) = 0 (see [13, Lemmas 2.5.38, 2.5.391).
Therefore f E M and the module M is self-dual. Let us pass to the general case.
If a A is not a-unital, then one can choose a directed set of projections
E A, E A, such that for each E A, the algebra paApa is a o-unital
and limo Pa = 1, where the limit is taken in the o(A, As
was proved earlier, the functional on the Hilbert paM is an
element of the module paM for all o E A. But then there exists the limit (in the r1
topology) of the net { }, which belongs to M and is equal to f, so self-duality
of the module M is proved.
It remains to show the equivalence of conditions (ii) and (iii). If B1(M) is
complete with respect to the topology r1, then M is self-dual. Therefore it is a
dual Banach space with respect to the topology r2 (see Prop. 3.3.3), hence B1(M)
is complete with respect to the topology Let us assume now that B1(M) is
complete with respect to the topology r2 and {Xa}, E A, is a bounded Cauchy
r1-net. ForallyEM, have
(3.2)
As before, let L denote the linear span of the ri-completion of B1(M). There
exists the limit lime = t L in L (with respect to the topology Ti). It follows
from inequality (3.2) that {XQ} is a Cauchy net with respect to the topology T2 as
well. But since the topology r2 is weaker than the topology r1, one has L ç M.
Therefore the limits lirn2 x1 with respect to the topologies Ti and r2 coincide and
are equal to t E M, implying the completeness of M with respect to the topology
TI. 0
3.6. Fredhohm operators over
Throughout this section, let A denote an arbitrary -algebra. We show here
that the properties of Fredholm operators in the We-case are more similar to those
of the usual Fredholrn operators (over C) than in the general which may
be more pathological (see Example 3.6.3 below). We present here slightly modified
results of [48].
LEMMA 3.6.1. Let M be a self-dual Hubert over a A.
For each closed submodule .iV c M the biorthogonal set .AP' c M is a Hubert
A-submodule and is a direct summand of M, as well as its orthogonal complement
3.6. FREDHOLM OPERATORS OVER W-ALGEBRAS 67
PROPOSITION 3.6.6. Let M be a self-dual A-Hubert module and let {ftf, (., .)}
be an arbitrary Hubert A-module. Suppose there exists an injective bounded module
mapping a : M .,V such that ci(M)-'--'- = Af. Then the operator o(a*a)_h/2 is a
bounded module isomorphism between M and A!. In particular, these modules are
isomorphic as Hubert A-modules.
PROOF. The mapping a possesses an adjoint bounded A-module mapping a*:
M due to the self-duality of M. Since a positive element of the
algebra EndA(M) of all hounded (adjointable) module mappings on the Hubert
A-module M, its square root (a*a)l/2 is well defined by the series
\ 0 0 0)
and index F [KerF] — [(ImF)']. U
The following example shows that the case of general Hilbert and
injective mappings between theni is more complicated.
EXAMPLE 3.6.9. Consider the A C([0, 1]) of all continuous func-
tions on the segment [0,1] as a self-dual Hilbert A-module over itself equipped with
the standard A-valued inner product (a, b)A = a*b. The mapping : f(x)
x 1(x) (x E [0, 1]) is an injective bounded module mapping. Its range has trivial
orthogonal complement, but it is not norm closed and, consequently, not a direct
summand of A. Nevertheless, the bi-orthogonal complement to the range of 0 with
respect to A equals A.
LEMMA 3.6.10. Let P and Q be self-dual Hubert A-submodules of M. Then
P fl Q is a self-dual Hubert A-module and a direct summand of M. Moreover,
P + Q c M is a self-dual Hubert A-submodule. If P is projective and finitely
generated, then the intersection P fl Q is projective and finitely generated too. If
both P and Q are projective and finitely generated, then the sum P + Q is projective
and finitely generated too.
PROOF. Let p: M = P 1" P' be the canonical orthogonal projection,
which exists by Proposition 2.5.4. Let PQ = p : Q P'. Since Q is a self-
dual Hilbert A-module, PQ admits an adjoint operator and KerpQ c Q is a direct
summand by Lemma 3.6.2. Consequently it is a self-dual Hilbert A-submodule of
Q c M. But KerpQ P fl Q. To obtain the second assertion, one has to again
apply the fact that every self-dual Hilbert A-submodule is a direct summand by
Proposition 2.5.4.
If P is projective and finitely generated, then any direct suminand of P is
projective and finitely generated, whence the remaining assertion follows. 0
= em —
Theii
1
The inecluality
r((gj,gj))
shows that the series T((gj, em)) is convergent, hence there exists a
number m0 such that for all m> nz0, one has
I * \
(Yuiem)) <
E
> 1—
To proceed wit.h the proof, the following lemma is required.
LEMMA 3.7.2. If SE Hk, lxii = 1 and if r((x,x)) > 1— then there exists
a projection p e A such that r(p) > 1 — E and the operator p(x, x)p is invertible in
the W* -algebra pAp.
PROOF. Let us denote by dP(A) a projection-valued measure defined by the
positive operator a (x,x) E A, a = f1 AdP(A). Put
A
Jo, A<A0,
i, A>A0,
where Ao e [0; 1]. Then f(a) = p is a projection. Denote dr (P(A)) by dp(A). It is
a C-valued measure on [0; 1] and, by [96], one has
r(a)=f Adp(A).
Then
A I (A) dP(A).
Therefore the spectrum of the element pap of the pAp lies within the
segment [Ao; 1], hence it is separated from zero, so this operator is invertible in
pAp. 0
Now we can proceed with the proof of Theorem 3.7.1. Let
—1/2
= pbp = b E pAp
—
an em—em
' . en
= = P.
Let us now take an element y E M1 such that y $ 0, 1. Since the series
converges, for any e >0 we have
/ T((em,y)*2
,, * ,,
b (em,y))
11b112T((em,y)*(em,y)) <c
for sufficiently large numbers m.
Denote an operator (em,y)* (em,Y)
n
E A by c. Then r(c) < -i-; Ilcil 1 and
c 0. If dQ(A) is a projection-valued measure and if we denote a measure dr(Q(A))
by dv(A), then Adzi(A) < f. If A1 E[0; 1], then
2
A1.J dv(A)f 2
hence f dv(A) < Taking A1 we obtain that v([Ai; 1]) <E. Put
1, A<A1,
A
o, AA1.
Then the operator q = g(c) is a projection such that r(q) = A1))> 1 — E and
(3.5) IqcqII A1 =
Denote by p V q (resp. p A q) the least upper (resp. greatest lower) bound of the
projections p and q. Put p' = p A q. Since (see [123])
r(p)+r(q) = r(pVq)+r(pAq),
we have
r(p') ='r(p)+r(q) —r(pVq) > (1 —E)+(1 —1 = 1 —2E,
72 3. HILBERT MODULES OVER W-ALGEBRAS
due to the inequality r(p V q) T(1) = 1. We get from the estimate (3.5) that
(3.6) jp'cp'II
Put = •p'. Then = p'. Put also y' = E M'. The element y'
can be decomposed into the sum of two mutually orthogonal summands: y' = u+v,
where u = y v= + i). u,v E M.L. Then
The inequality
— —
= = r(E2p') <E2
implies the estimate Thus we have proved that the set of the elements
of the module M1, for which there exists a projection p' such that r(p') > and
the operator p'(x. .r)p' is invertible in the algebra p'Ap', is dense in the module
with respect. to the trace norm. In particular the following statement holds.
LEMMA 3.7.3. There exists an element x E M' such that
> and lxii 1.
Let us come back to the proof of Theorem 3.7.1. Let } be a sequence that
contains each an infinite number of times. Put y = Yi — gk(gk. y1): Then
for e1 = 1 one can find an element y' E such that Ily'M 1 and
(3.8) — y'llr <E',
and a projection pi with T(pi) > such that the operator pi(y'. y')pi is invertible in
—1/2
the algebra p1Ap1. Then, taking h1 = y'b', where b' = E p1Ap1,
we obtain from (3.8) the inequality
< = distT(y,y') < ei,
where B1 denotes the unit ball of the Hubert module in the initial norm. Therefore
distT(yl.Bj(SpanA(M,hl))) <Er.
3.7. DUFRE - FILLMORE THEOREM 73
(3.10)
= =
i>k i>k
= <Tz(>PiZ.
i>k i>k
1x112) (>PiZ).
i>k i>k
Since <6, we obtain <6. Therefore < e for all
x e Bj(lZk). But since the set B1(R.k) is dense in Bi((Mz ® 4)-i-), one has the
74 3. HILBERT MODULES OVER W-ALGEBRAS
Reflexive Hubert
4.1. Inner product on bidual modules
For a Hubert C5-module M over a C5-algebra A we define the bidual Banach
right A-module M" as the set of all bounded A-homomorphisms from the dual
module M' into A. It turns out that the A-valued inner product on M can always
be extended to the bidual module, as opposed to the dual module, which admits
an extension of the inner product only in the case of W5-algebras.
Let x E M, f E M'. Put
±(f)
The map x '—p ± is an isometric map from the A-module M into the A-module
lxii
l._ilx(x) Ii 1
II (x, x) II = lixil
=
For a functional F E we define the functional F e M' by the formula
F(x) :=
Identifying M and M = x e M} C M', we obtain that F is the restriction
of F onto M c M'. Note that for all x G M. It is clear that the map
F '—i F is an A-module map from M" to M' and IFil iF. We shall check
soon that this map is an isometry.
Let us define the inner product (•,•) M" x —+ A by the equality
Properties (iii) and (iv) of Definition 1.2.1 obviously hold. Let us check properties
(i) and (ii). The first one is valid due to the inequality
((a, x), (a, = t2 a*a + a*f(x) + f(x)*a + (x, x)
(4.3) + a*f(x) + f(x)*a +
so that
2g(x)*c*cg(x) (x,x) + f(x)*f(x) (1 + If ll2)(x,x),
we have c*ll + 111112)1/2; thus
Thus 11111
= = 1.
Note that in the case where = M', Proposition 4.1.1 means that the map
F F is an isometric inclusion M" C M'.
PROPOSITION 4.1.2 ([101]). For aliF EM" one has (F,F) 0 and II(F,F)II =
IIFIl2.
PROOF. Let F E M", F 0. Put c = F(F), D = IIFII. Let us show first that
D2 E Sp(c). For t> D consider the inner product (•, on the module A x M.
Since IF, a for all (a,x) E A x M, the map
Ax M—'A,
is bounded and its norm does not exceed D (we mean here the norm defined by the
inner product (•, Therefore
(4.7) (ca+F(x))*(ca+F(x))
Inequality (4.7) holds for all t > D and, taking the limit t —* D, we obtain
(ca + F(x))*(ca + F(x)) D2(D2a*a + F(x)*a +
a = —D2F(x), we get
— 1)*(D_2c — 1)?(x) D2(_D_2F(x)*F(x) + (x, x)),
hence
1)*(D_2c_ 1) + D2(x,x).
Suppose that D2 Sp(c). Then one can find a number 0 such that
— 1)*(D_2c —
Proposition 4.1.2 shows that the inner product defined on M" satisfies con-
ditions (i) and (ii) of Definition 1.2.1. It remains to check condition (iii). Notice
that
(F+G,F+G).>0, (F+iG,F+iG)0,
hence these expressions are selfadjoint. Then
((F,G)+(G,F))* = (F,G)+(G,F), _i((F,G)_(G,F))* =i((F,G)—(G,F)).
Therefore (F,G) = (G,F)*. The module M" is a Hilbert A-module, since the
operator norm on M" coincides (by Proposition 4.1.2) with the norm defined by
the inner product. Thus, we have proved the following theorem.
THEOREM 4.1.4 ([1011). The map (.,.) x —f A defined by (F, G) =
:
F(G), F, G E M", is an A-valued inner product on M". The norm defined by this
inner product coincides with the operator norm on M". The map F '—p F is an
isometric inclusion M" C M'.
Let us pass now to dual modules of higher order. Let '1" E (M")'. Define the
functional M' by the formula
xcM.
Further, let f E M'. Define E (M")' by the formula
:= (F(f))*, F e M".
The maps ;— f i— are A-module inorphisms. Consider their
composition
(4.8) M' F
E M we have
F41(x) = =
= 1(x)
the composition (4.8) is the identity map, whence the map M' —* M'" is an
isometric inclusion and the map M" M' is an epimorphism. Let us show that
the last map is also monomorphic. For that purpose, apply Proposition 4.1.1 for
the case = M". Let E I'!' = M". Then the functional E M' is the
restriction on M of the functional = Suppose that = 0. Then,
by Proposition 4.1.1, we have = 0, hence the map
is monomorphic. Thus this map is an isometric isomorphism.
COROLLARY 4.1.5. For a Hubert M one has (M")' = M' and
(Jv1tI)II _A4".
So, the series of dual modules M, M',... stabilizes on the third step and the
inclusions
M c M" = M" c M' = M"
4.2. IDEALS AND BIDUAL MODULES 79
are isometric. Thus M and M11 are Hubert unlike the module M',
which is. generally speaking, only a Banach module. Let us illustrate by examples
that all possible variants can be realized:
(i(F), i(F)) < (F, F). Changing the map i by its inverse, we get (i(F), i(F)) =
(F,F), i.e., (F,F) = (F(fL)*,F(f,)*) = It is easy to derive from here
that (F, C) = for F, C E J". Since the module J" is complete with
respect to the norm J is closed. 0
LEMMA 4.2.2 ([1011). In a A consider the set of right ideals K,
Jc K C A, with the following property: any bounded A-module homomoTphism
from the ideal J to A admits a unique extension to an A-module homomorphism
from K to A. There is a unique maximal element in this set of ideals and it
coincides with J.
PROOF. Let K, J c K C A, bea right ideal in A such that any element f E J'
can be uniquely extended to a map f E K'. For a E K define F E J" by the formula
F(f) = f(a)*. Due to uniqueness, the map fL has to be the inclusion map K C A,
hence = fL(a) = a. Therefore K C J. On the other hand, Corollary 4.1.5
shows that any element of J' admits a unique extension to an element in J'. 0
Note that J J C K are two right ideals in a A, then
the inclusion J c K holds. Indeed, for any F E J" the map g from K'
to A belongs to the module K".
Consider now the commutative case. Let X be a locally compact Hausdorif
space and let S C X be its subspace. Denote the of continuous functions
on X vanishing at infinity by Co (X), the of bounded continuous func-
tions on S by C(S) and the ideal of functions vanishing on S by C0(X, S) C C0(X).
If W C X is an open subset, then it is easy to see that there exists a unique maxi-
mal open set W, WC W C X, such that any function in C(W) extends uniquely
to a function in C(W). There is an obvious inclusion W c W, where W denotes
the closure of W. If X is a metric space, then one can show that W = W for any
open subset W. This is not true in general. For example, if X is a Stone space and
if W C X is a dense open subset, then one can show that W = X [34].
Let E C X be a closed subspace and let J = C0(X, E) be an ideal in A =
C0(X). Put U = X \ E and denote by Y the space of all bounded functions oii
X vanishing on E such that their restrictions onto the subset U are continuous on
U. The set Y is equipped with the structure of an A-module (with the pointwise
multiplication), and products of functions in Y by functions in J belong to J. For
g E Y define f9 J' by the formula f9(x) = gx, x E J. The following proposition
describes the dual module J'.
PRoposiTioN 4.2.3 ([101]). The map g is an isometric isomorphism
between the Banach A-modules J' and Y.
PROOF. The map g '—p f9 is obviously an isometric A-homomorphism. We
have to show surjectivity of this map, i.e., to show that for any f E J' there is
an element g E Y such that f = f9. Without loss of generality we can assume
that If III' < 1. Then f(x)f(x) < x E J, i.e., If(x)(t)I Ix(t)I holds
at each point t E X. For any point t U choose a function Xj e J that satisfies
= 1. Define the function h : U —' C by h(t) = f(xt)(t). Note that the
estimate Ih(t) < 1 holds for all t E U. For each y E J at any point t E U one has
(xty — y)(t) = 0, hence f(xty — y)(t) = 0. Therefore
f(y)(t) = f(xty)(t) = f(xt)(t)y(t) = h(t)y(t).
4.2. IDEALS AND BIDUAL MODULES 81
Since f maps J into A, the function hy should be continuous on the set U for any
function y E J. Now one can take g = h. Then f = 0
After describing the dual module .1' we can describe the bidual module 5 = J".
Let Xu be the characteristic function of the set U. Theii the map is the inclusion
map J C A and J = : F E Y'}.
PROPOSITION 4.2.4 ([101]). The sets J and C0(X, X \ U) coincide.
F(g)(s) = if s E W,
(0
It is clear that F E V'. Since F(xu)(t) = = 1, it is easy to see that
t D, hence t e V, whence 14' ç V and the proof is finished. 0
COROLLARY 4.2.5 (1101]). Let E be a closed subset of a metric locally compact
Hausdorff space X. Then the Hilbert Co(X)-modnle C0(X, E) is reflexive.
82 4. REFLEXIVE HILBERT C-MODULES
= = (fi):
LEMMA 4.3.2. 1ff = e 12(ACj' and jfK e AC, then f.K = (f2K) e
PROOF. Since the operator K can be approximated by finite-dimensional op-
erators, it is sufficient to prove the lemma in the case where K is finite dimen-
sional. Notice that the operator = is a positive operator,
the kernel of which contains Ker K and the image of which is contained in Im K*.
Since dim Irn K* aiid codim Ker K are finite, the norm convergence of the series
follows from its weak convergence. 0
Let FE 12(ACj". Put F1 = E where is the standard basis of
E Since M" C M' for any Hilbert module M. the sequence F =
(Fi) is an element of the module 12(AC+)'. Let us prove that the series
is convergent in the to the element F(F) = (F, F).
Let K E AC be a finite-dimensional operator in H. By Lemma 4.3.2,
(F,F)K = (F,F. K) =
hence
K*(F,F)K =
and
=
for any e H, where (•,•) is a scalar-valued inner product on H. Let 'i e B1(H),
where B1 (H) is the unit ball of H. Choose an element E H and a finite-
dimensional operator K' such that mj = Then
Therefore
for any q.
4.3. REFLEXIVITY OF HILBERT MODULES OVER 83
i.e.,
=
Since dim L= oc, one has 14,...) = K' + A for some K' E IC. Interchanging
the subspaces H1 and H2, one can construct a sequence 14',...) such that
= K"+A for some K" E IC. Thus
(1. 1. \—I \ ui..'I
— '1' 2
hence
F(k1, k2, .
. .)
= K' + K" + 2A.
Therefore A = 0. In the case of arbitrary subspaces V1 one can find finite-diumen-
sional operators n1 such that
k1 + = ni, + n7, (Iii 12,.. .) E 12(IC+), (nil, rn2,.. .), (ni, 112....) E l2(1C1).
and the image of each of the operators in one of the subspaces H1.
H2. 0
Put F, K + A, where K E IC, A,, A E C. Then
F*F = + +
LEMMA 4.3.4. = A.
PROOF. At first let us show that the series lAd2 is convergent. Suppose
thecontrary. PutM = A112 > M+1.
Choose > 0 to satisfy the estimate
M+
84 4. REFLEXIVE HILBERT C -MODULES
some bounded function f, the set of the continuity points of the function f is dense
in X.
H'4 = {i = : e
4.4. REFLEXIVITY OF MODULES OVER C(X) 85
Let us choose an arbitrary E > 0 and a function A(t) such that the oscillation w(f)
on the support Supp A(t) is less than s2. Then let us find N such that the inequality
2
(4.11) <2E2
holds for all N' > N. It follows from the inequalities (4.10), (4.11) that at the
point to (where A(to) = 1) we have
for all N' > N. Thus, the series converges to a continuous function
F(f)(t) at all the continuity points to of the sum Moreover, we shall
see soon that this series is uniformly convergent, hence it converges to a continuous
function, which should coincide with the function F(f)(t) due to the property L of
X. The uniform convergence of this series would follow from that of the series
(4.12)
F(f)(t) = (F,f)(t) = + -
The series
(4.13)
is shown in [5] that the algebraic finiteness of the index is equivalent to the property
4.5. CONDITIONAL EXPECTATIONS 87
Notice that, unlike algebraic finiteness of the index, in the case of conditional
expectation of a finite index the Hubert {A, E((., can be infinitely
generated.
Put
K(E) = inf{K such that (K. E — idA) is positive on A}.
We call K(E) tile characteristic number of the conditional expectation E.
Let X be a compact Hausdorif space with an action of a group G. Denote by
CG(X) the of G-invariant continuous functions on X and by
G : gx x} the stabilizer of a point x E X.
Note that the continuous action of a compact group satisfies this definition.
DEFINITION 4.5.3. Let a group C act uniformly continuously on a compact
Hausdorif space X in such a way that the cardinality of each orbit #Gx does not
exceed some number k E N. Define the conditional expectation : C(X)
EG(C(X)) c C(X) by the formula
EG(f)(x) f(gax), x E X.
#(C/C
LEMMA 4.5.4 ([47]). The conditional expectation is well defined.
4. REFLEXIVE HILBERT C-MODVLES
Note that if we take one element in each coset C/Ga., theim, by Lemma 4.5.4, the
map
Ec(f)(x)
= #(Gx)
is well defined for all a: E X. f C(X) and it is a conditional expectation omm C(X).
Moreover, one has
= f,
be the points with cardinality of orbits smaller than n. One can choose open
neighborhoods U1,.. . , Urn of these points in such a way that each neighborhood
U2 is invariant with respect to the action of the subgroup and if, for some
h E C, one has hx2 = x3, then hU2 U3. Denote by V the C-invariant compact
set X \ (U1 U . . U Urn). Let F E A' be a functional on the module
A. Consider its restriction on the Hubert {C(Y), .))}. For a
function g C(Y) we take its extension E C(X) and define by the formula
F]y(g) = This definition does not depend on the choice of an extension
If V' V is another compact G-invariant subspace not containing the points
then (Fly')ly = F]y. Since the orbit of each point of the set V has
the same cardinality, by Theorem 4.5.7, the C'(Y)-rnodule {C(V), Ec((., is
finitely generated and projective, hence self-dual. Denote by C(X \ {xi,. })
. . ,
the set of continuous functions on the noncompact space X \ {xi,. ,Xm}. The . .
and this action can be continuously extended to the point x0. Consider the orbit
= x0,x',.. . of the point x0. Then one can write the sum (4.16) in the
form
k—i f
F(f)(x) = .
(
jrO
Passing to the limit (which exists by assumption), we obtain
i F*(gjx)
F(f)(xo) .
= j0 ( i:g,x0=xJ
4.5. CONDITIONAL EXPECTATIONS 91
for any x E X \ {x1,. . . , Recall that the function F(x) is defined only out-
side the point x0. If we would like the action F on the Hubert
{C(Y), .))} to be of the form (4.16) on the whole X, it would be necessary
to define the function F(x) at the point x0 by
(4.17) F(xo) = lim F(g2x).
n x—'xo
(4.17).
PROOF. We have to show that the image of the monomorphism (4.15) consists
of bounded functions. Suppose the contrary. Then there exists a point such that
> n.IIFII, where IIF1I is the norm ofF in the dual Banach A'.
Moreover, one can choose a neighborhood of the point such that =0
for those elements of the group G, for which ±. Consider a function f E C(X)
such that f(±) = 1 and supp f C Then it follows from the equality (4.16) that
= . f(±),
and the inequality
= = > IIF1I
gives a contradiction. 0
Having the above description of the dual module A', we can describe the bidual
module A". Since one has the canonical inclusion A" C A', and since the inner
product on A can be naturally extended to an inner product on A" (see Theorem
4.1.4) making it a Hilbert it is sufficient to verify to which functions in
A' one can extend the inner product. Consider a function F from
A' fl A". Adding to it (if necessary) a continuous function from A, we can assume
that F(xo) = 0. Then the C°(X)-valued inner product of F by itself is an element
of CG(X) of the form
(4.18) (F, F)(x) = E(IF(x)12) =
for all x E X. But since (F, F)(xo) = 0, it follows from the assumption F E A"
that
lim F(g2x) = 0
x—.xo
for each summand of the equality (4.18). Therefore we obtain from (4.17) that the
function F is continuous at the point x0, hence the module A is reflexive. 0
Later in this section we will prove a final version of Theorem 4.5.10 due to
V. Seregin.
92 4. REFLEXIVE HILBERT C-MODULES
for the subgroup C and the neighborhoods that appear in this construction
are of the form = = g3(x°), where is the orbit of x0. Let
X —* [0, 1], E H, be a continuous function such that
= Io,
11, x=x.
Since the cardinality of orbits is bounded, E is well defined and one can assume
that is Suppose = so C Then
:= is invariant, equals 1 on the orbit x0 and is supported in U, U1o. All
these properties, except the invariance, are obvious. If g C and y U1o. then
y gjz, where z E and gg, = gkh for some and h E Gxo, so
ij(f)(h)(x) =
(4.20)
# Xc
where F E H' and #Gx denotes the number of points in the orbit of x, as before.
Let us verify that is well defined, i.e., that the function f = is bounded:
f(x)I <NIIFII.
4.5. CONDITIONAL EXPECTATIONS 93
F(h)(x) = F (h — + (x)
= F (h - (x) (x)
F(hi)(x) +
EGx
= F(hi)(x) +
x,EGx
= F(hi)(x) +
h(x°)=1,
Then = 0, hence 0 and = 0. Therefore
show that, in this case, ij(f) E H'. Then (4.21) immediately implies that = f.
The property ij(f) E H' means that zi(f)(h) is a continuous invariant function
for any function h E H and that the correspondence h '—+ ij(f) (h) is bounded and
linear over CC(X). Invariance follows at once from (4.20) and continuity follows
from the calculation below, where we denote the points of the orbit of x (resp.
x0) by (resp. by x?) and we suppose that x E (see Construction 4.5.12), so
Gx C U1 and one can take := — (j = 1, #Gx°). . . .
94 4. REFLEXIVE HILBERT C-MODULES
Iii(f)(h)(x)-ii(f)(h)(x°)I =
-
=
j ( > - >
i
J
<sup
+
( > -
2
/
11111
+
-
Hence, by (4.22) (with instead of x°),
ij(f)(h)(x) — ii(f)(h)(x°)I = 0.
F(4)(x) = = >
z
Let us continue the proof of the theorem and let us give a functional description
of H". Define the maps ii: H" .8(X) and B(X) —* H, where H is the space
of all maps from H" to B (X), by the formulas
v(F)(x) =
and
=
x E X, h = h= Note that
(4.23) IIhII I((h)(coz))(x)I lihil.
Then
= F(hi)(x) +
x, EGx
= F(hi)(x) +>
h — >xEGx and invariance of the functions F(f1,) was used.
Further, for any point y E Gx, one has
hi(y) = h(y) —
x,EGx
= h(y) — h(y) = 0,
so the function F(h1) equals 0 on this orbit.
Indeed, choose, as in Construction 4.5.12, the neighborhoods so small that
Ihil < r holds on their union. Then < e for the corresponding invariant
function and
= = <Elif II.
x,EGx
So we obtain
IIF(hi)(x)II = = IIF(hipu)(x)II <rilFil
for arbitrary e > 0, hence
(4.24) pv=Id.
96 4. REFLEXIVE HILBERT C-MODULES
Let us prove now that p. is injective. Suppose that f 0 E B(X), so, for some
point x0 E X, we have f(x°) 0. Then
0,
= =
=
= y, EGY
=
=
in the neighborhood of x. As was already shown, condition (4.22) is satisfied
for 1. Thus I is bounded due to the estimate
If(x)I = <NIIFII.
Hence fc Moreover, this implies the continuity of ii: H' —' v(H') C B(X),
when the last space is equipped with the uniform norm. On the other hand, taking
into account (4.23), one has
hence
un
4.5. CONDITIONAL EXPECTATIONS 97
THEOREM 5.1.3 ([100]). For any A and for any Hubert A-module
M. the map f fR is an isometry of (M#)' onto Ho1nA(M, A**).
PROOF. Let. a matrix e satisfy the condition >0
for any e A. Let us show that it is sufficient to prove positivity of the
matrix For this purpose, it is sufficient to show that
(5.1) >0
for any b1.. . ,.E A**. Without loss of generality one can assume that the
elements are in the unit ball Bi(A**) of the W*_algebra A**. Since the unit ball
B1 (A) of the C*_algehra A is dense in B1 (A**) with respect to the strong* topology.
oiie can find iiets E A, A E A, converging to the elements E A** with respect
to the strong* topology. Then the net converges to with
respect to the weak topology (see [123, whence the inequality (5.1) follows.
We have to show that any map e HO1I1A(M, A**) with < 1 can be ex-
tended up to a unique functional f E (M#)' with If II 1. Consider the functional
fo : M A** A** given by the formula
fo ®ai) =
;r7 ai)
= *
i.e.,
fo(z)*fo(z) <
for any z E M ® A**. Therefore the functional f : A** is well defined by
the formula
xi ® + :=
since xaA E A. where [AIW is the weak closure of A in 8(H) and where w-Iim
denotes the limit with respect to the weak topology. One has = A!! due to
the nondegeneracy of the representation, hence XA!! = C = A!!. Since
1EA",onehasxEA1'. D
for any v E A, hence vL(a) = vb, whence b = L(a), since v was taken arbitrarily.
Thus the graph of L is closed, so L is continuous. Properties of R can be verified
in the same way.
104 5. MULTIPLIERS
< sup IIRII IIL(a)*II Mall < sup IIRII IILII 11a112 = IIRII IILII.
IIaII=1 IIaII=1
D
LEMMA 5.2.17 ([104, Lemma 3.12.21). Each right centralizer, each left central-
izer and each quasi-centralizer is bounded.
PROOF. Let p E RC(A). Suppose that it is unbounded. i.e., there exists a
sequence E A such that < 1/n and > n. Then the element
a := is well defined. By Proposition 1.1.5, for each there exists an
element e A such that IIa"611 and = Then the equality
IIp(xn)II = Ilunp(a"3)II
gives a contradiction, hence p is bounded. In a similar way one can prove that any
left centralizer is bounded too. Thus, q E QC(A) is continuous separately in each
variable as a map A x A —i A. By the uniform boundedness principle, such an
operator is jointly continuous (see [35]). D
for any b e B and a E A, i.e., -r(b) and ö(b) coincide as multipliers of A, hence
0
COROLLARY 5.2.20. Let p: A 13(H) be a faithful representation of A and let
A C B be an ideal. Then there exists a representation of B that extends p.
5.3. MULTIPLIERS OF A-COMPACT OPERATORS 107
A M(A) M(A)/A
H1
B M(B) M(B)/B
commutative. If is an isomorphism, then and are isomorphisms too.
PROOF. Let (L,R) e DC(A). Define L,R: B B by
1(b) := ço(L(a)), := p(R(a)). b e B, b =
Let us show that these maps are well defined. Let ec, be an approximate unit of
the A and let b = Then
cp(L(a) — L(a')) = lim — e0L(a')) = lim ço(R(e0)) ço(a — a') 0.
(L,R) o o Row).
By the five-lemma, is also an isomorphism. 0
REMARK 5.2.22. The homomorphism coincides with the canonical extension
of to Au restricted onto M(A).
0Tx,y, 0x,Ty.
Then q5 is an isomorphism.
PROOF. First of all, note that
OTx,yZ = Tx(y,z) = Ox,T*yZ = x(T*y,z) = x(y,Tz) = Osy oT(z),
so that T1 and T2 can be defined in an equivalent way (and for all compact operators
simultaneously) by the formulas
T1(k):=Tok, T2(k):=koT,
108 5. MULTIPLIERS
From these equalities we obtain at once that T1 and T'2 are well defined as maps
IC(M) —+ IC(M) (since AC(M) C is a two-sided ideal) and are bounded
by 11Th. Since
= = = = (T*)i.
The map is algebraically injective. Indeed, let T1 = 0 and T2 = 0. Then for
any x E M, 0 = = T.r(Tx,Tx) holds, whence (Tx, Tx)3 0 and
Tx = 0. Hence T = 0.
To prove the surjectivity of 0. we construct an inverse continuous map 0. Let
(T1, 7'2) be an clement of DC(IC(M)) and let x E M. Consider the limits
(5.2) T(x) := limT,1(x), := + 1/ri]',
(5.3) T*(x) = := [T2(O.t.x)]*(x)[(x,x) + 1/n]'.
Let us prove that these limits exist. By Theorem 5.2.11, (T1, T'2) = (LF, Rp), where
F E M(IC(M)). Then
(T1(k))*Ti(k) = (Fk)*Fk = k*F*Fk < IIF!12k*k = lIT1 l12k*k,
T2(k)(T2(k))* = kF(kF)* = kFF*k* llFlI2kk* =
(T,1(x) — T71(.r) —
Thus, the Cauchy criterion of convergence for (5.2) is the same as for the limit from
Lemma 1.3.9. Therefore the convergence is proved. The convergence of (5.3) can
he proved similarly. We obtained the maps T and T* defined everywhere on M.
5.3. MULTIPLIERS OF A-COMPACT OPERATORS 109
S E x E M.
By the same argument as in Theorem 5.3.1, the above limit exists. It defines an
A-linear map. The boundedness of the operator : M —+ M and the continuity
of can be verified as follows. For any x e M, < 1, we have (see [100, 3.11]
and Proposition 3.4.1)x = n(x,x)'/2, whereu E (M#)', and one has u(x,x)0 EM
for any /3 > 0. Put
/2 EM, <a <
y := u(x, x)3 EM, z:
Then
(x,y) = (x,x)3G, (z,z) =
110 5. MULTIPLIERS
and
z(z,z)(y,v) = =
Foranyn=1,2,...,onehas
= [(x,x) + 1/n]1 [(x,x) +
= [(x,x) + 1/n]1 [(x,x) + 1/n]'
= [(x,x) + 1/n]' [(x,x) + 1/n]'
+ 1/n]' (y,x)*(z, z)(y,x) [(x,x) +
= IIS(Oz,z)112[(x,x) + 1/n]1 [(x,x) +
whence, as n —i oo, we obtain that
1/4 < a < 1/2.
Passing here to the limit as a 1/2, we get the estimate
11S112(x,x).
EndA(M,M') QM(K(M)).
PROOF. The formula
:
Ox',y.(T(x)(y')), X, 7,1, X', E M, T E EndA(M,M'),
obviously is bilinear, thus, it defines a bilinear map on a dense subset in K(M) x
JC(M) with values in K(M).
Let us estimate the norm of Let x = u(x, x)'12 be the polar decomposition
of x in (M#)'. Let := n(x, x)e, where 0 < e < 1/2. Recall that the structure
of a right module on M' is defined by = a E A, M' and
5.4. QUASI-MULTIPLIERS OF A-COMPACT OPERATORS 111
112
. 1
(x', x') 1/2 (x' x') 1/2,1 .
(x, x) —E (y, z) (z, y) (x, x)
ftC(M). Since
cb(T) 0(T) (Ok'x',y', Ox.ky)
)
— —
and
.
Ox,y'.(T(x)(y'))
. (T(x)(yI))*(T(x)(yI))I)
= (Oy'.(T(x)(y')) (T(x)(y')).y'(T(x)(y')) (T(x)(y')) [1/ . (T(i) (ye) (T(x) (1/))],
= (y'. (1/. 1/ .
1/. (T(x)(yI))*(T(x)(1/)) . (1/.
(T(x) (T(x) 1/ . (T(x) (y') ) * (T(x) 0.
(5.6) :=
+
We have to verify the following properties:
1: existence of the limit in (5.6);
2: the linearity (over A and C) of this expression in x and y;
3: the estimate lxii iiyii;
1
4: the identity = S.
Let (y,y)1/'2, u E (M#)'. Put
3' i 1 1
= y) y)
one has
y), Tr,(X, y))
-1 -1
y) y)3a(Z2 Z2)(y, [(n, y) +
+
1i211S11211x112(y, y)
+!]
-2
iiSii2iixii2(y,
— Tm(X,y),Tn(x,y) — Tm(X,y))
+
+
-
since 4a> 1. So statement 1 is proved. Also,
-2
y). y)) y)
+
IISII2IIxII2(y, 11S11211x112(y, y) —f
Let
(5.7) V. (x,z) =
=
+
= [(xix)
+ —
-1
= (x,x)213 +
-1
= [(Xix)
+
= (x,x)+F1 =
= WI' := v'(y',y')'13 E M.
114 5. MULTIPLIERS
IIxaII, IIaxII.
aL(b) = a = b = R(a)b,
the pair (L, R) is an element of DC(A), i.e., a double centralizer. Identifying double
centralizers with multipliers, by Theorem 5.2.11 we obtain that y E M(A). Then
13
y. Indeed,
ya — xaa = L(a) — xaa —p 0, ay — axa = R(a) — axa 0
= IIXakII .
c• + s+n <2e.
= IIxaII + >
c. E+ =
+ MgiII
yb' = = = = i1(xa') =
D
REMARK 5.5.11. In particular, the map from Proposition 5.2.21 is the ex-
tension by continuity of the morphism thereby, is unique.
A similar theory can be developed for quasi-multipliers, if one uses the following
definition.
118 5. MULTIPLIERS
<
i—n(x)
Since the map
sup
xEX
<max , sup
}
maxIsup
I xEY 3=1
<max *e} = E.
Note that. the estimate above, which proves the continuity of J(D), also gives
the inequality lull < 1. Thus, the first part of the theorem will be proved if we can
manage to define an inverse linear map
S EndA0(x) C0(X,M) 8(X,EndA(M)), IISII 1.
Put
(5.8) :=
where is a (nonuniquely defined) map e C10 (X, M), satisfying the condition
= in. Let us verify the independence of the definition from this nonunique
choice of Let = 0. Then, by property (ii), one has = 0 for any
operator T and we have proved that (5.8) is well defined. Once more, the linearity
of S(T) (x) is clear, so we should verify its boundedness. We have
ll(S(T)(x))(in)ll =
llTllErid(c0(x..M)) II IlC0(X,J4) llTllErid(c0(x,.k.l))
This estimat.e shows that S(T) (x) is bounded, that the bound does not depend on
x, and that 1. To complete the proof of the first part of the theorem, the
continuity of S(T) (x) in x with respect to the strong module topology should be
verified. Let x E X be an arbitrary point, E > 0 an arbitrary number and m E M
an arbitrary (fixed) element. One can find an open neighborhood U of the point x
such that the inequality
—
holds for any y E U and for some map of the form Then one has
i.e., that the operator S(T)(x) is adjointable for each x E X, and, secondly, that
S(T)(x) is continuous in the *-strong module topology.
The first assertion follows from the calculation
(S(T)(x)m, m') = (x)) =
= = (m,S(T*)(x)ml),
rn, m' EM.
Moreover, it implies that S is involutive. Now let x E X be an arbitrary point,
E> 0 an arbitrary number and m E M an arbitrary (fixed) element. One can find
an open neighborhood U of the point x such that
— <E
122 5. MULTIPLIERS
holds for any y E U and for some map of the form Then one has
IS(T)*(x)m — S(T)*(y)mII = — <E
foranyyEU. 0
Denote by 13(X, GL*(A)) C GL*(A)) the set of functions with bounded
(pointwise) inverse.
COROLLARY 5.6.9. The homomorphism J defined above gives an isometric iso-
morphism of the groups
GL(A0(X)) 8.(X,GL(A)), GL*(Ao(X)) 8(X,GL*(A)).
PROOF. Since J is a homomorphism of algebras, the statement immediately
follows from its unitality. 0
Note that one has to be cautious when identifying different classes of operators
in the standard Hilbert module over a commutative with continuous
sets of operators of the same class on a Hilbert space. For example, although an
operator of finite rank on the Hilbert module Hc(x) defines a continuous set of
operators of finite rank on a compact space X, the inverse statement is not true,
as can be seen from the following example obtained by D. Kucerovsky [67]. It is
interesting that this example is of topological origin.
Denote by the standard tautological vector bundle over the complex projec-
tive space CP(n). For information about vector bundles and their characteristic
classes we refer the reader, for example, to the books [49, 60]. Let F(ert) be the
Hilbert C(CP(n))-rnodule of sections of the bundle
LEMMA 5.6.10 ([67]). Let K be a compact operator with an algebraically n-
generated image on the Hilbert C(CP(n))-module r(en). Then there exists a point
x0 e CP(n) such that K(xo) = 0, where K(x) E C(CP(n),K.) is the ftC-valued
function defined by the operator K.
PROOF. The operator K has the form sk(rk,-), where 8k, rk are contin-
uous sections of the bundle Let E = . be the vector bundle equal to
the direct sum of ii copies of the bundle Then si Sn is a section of the
bundle E. Let us calculate the higher order Chern class of the bundle E. We have
Cn(E)
because 0. The nonvanishing of cn(E) means that any section of the
bundle E vanishes at some point. In particular, the section s1 ED.. . ED vanishes at
some point x0 E CP(n), hence all the sections i= 1, . . . , n, vanish at the point
x0 too. 0
EXAMPLE 5.6.11 ([67]). Let
X =JJCP(n)
be the disjoint union of complex projective spaces and let X+ be the one-point corn-
pactification of X. Define a Hilbert fl as a direct sum of spaces
of sections of the bundles fl = The rncdule fl is countably gen-
erated, so it can be realized as an orthogonally complemented submodule of the
5.6. COMMUTATIVE CASE 123
standard Hubert module Hc(x+). Define the compact operator K on the module
fl by the formula
Now let us show that S(K)(x) E ftC for each x E X. For an arbitrary e > 0
choose a number n such that IIK(1 — Pn)II <r. Then, for any x E X, one has
IIS(K)(x)(1 — = IIS(K(1 — pn))(X)II IK(1 — <
Hence, S(K)(x) is a compact operator.
Now let a map D : X ftC be norm continuous. Let us prove that J(D) E /CA,
i.e., IIJ(D)(1 — pTh.)fl —' 0 as ii oc. Choose c > 0 and for each x e X find a
number such thit
<E/2 for
and an open neighborhood x such that the inequality
ID(y) — D(x)II <e/2
124 5. MULTIPLIERS
—F3F1 1
,,
Hence, F has a diagonal form,
F ): Nj' N1 I%/12
= (
where
AV12 .— çì .— i—hr \ —
(/1 —
r
Define the operator G E GL by the formula
C:= ( ? )
5.6. COMMUTATIVE CASE 125
Then
of pH. Hence, there exists a neighborhood (with respect to the strong topology) V
of P0 in such that the inequalities
i= 1,...,n,
hold for the orthogonalization . .. , of the basis . Let H be
an arbitrary element with iieii 1. Then, for p E V. one has
— = —
EXAMPLE 5.6.15 ([54]). The following example shows that there exists a strong-
ly continuous map F: X 1c such that J(F)
Let us identify 12 and L2[0, 1]. Let be the set of all functions f E L2[0, 1]
such that 1(x) = 0 for x t. Let us denote by the orthogonal projection
L2 —, il'. Define the following family of isometries [33]:
Therefore IBxIJ1 11x01, i.e., the map B is bounded. The equality (Bx,x)1 =
(x, x)2 0 implies that the operator B is positive with respect to the initial inner
product. The inequality
= k2 (x, x)2 = k2 (Bx, x) < k2 IIBxII 1 lxiii
shows that the estimate iiBxiI1 IixiI1 holds, from which we obtain, by [92] (cf.
the proof of Theorem 2.3.3), invertibility of the operator B. To complete the proof
it remains to put S = B—h1'2. 0
PROPOSITION 5.7.3 Let M be a Hubert module with an inner product
(•, Let be another inner product equivalent to the initial one. Then the
map M given by the formula x (x, )2' x E M, defines an invertible
positive element in QM(K(M)) C Conversely, any invertible positive
element in C (which can be identified with an element T of
the set EndA(M,M)) defines an inner product (x,y) T(x)(y). x,y E M.
PROOF. Let EndA(M, M') —p QM(AC(M)) be the isometric isomorphism
defined in Theorem 5.4.1, = Ox,t.T(z)(y), x,y,z,t e M. The map
x (x, •)2 is bounded, hence it defines a map T M —+ M' and the element
E QM(1C(M)) is defined by the formula
(note that the elementary operators of the form are considered with respect to
the initial inner product Then for s E M one has
= (x (x. (y,y)2,s)1,s)1
.
= (x 0.
As we can see from the following example of a nontrivial inner product, the re-
quirement for Hilbert to be countably generated is essential in Theorem
5.7.5.
equipped with the weak topology and the standard Hilbert C(X)-module Hc(x).
Let us show that there exist inner products on Hc(x) equivalent to the standard
one, which cannot be written as (S., 5.) for any operator S E Endc(x)(Hc(x)).
For this purpose it is sufficient to find a quasi-multiplier T E QM(AC ® C(X))
that cannot be represented as T = S*S, S E LM(K ® C(X)). Let us use the
identification of LM(ftC ® C(X)) (resp. QM(K ® C(X))) with the set of bounded
maps from X to 5(H) continuous in the strong (resp. weak) topology (it is discussed
in detail in Section 5.6). Define the new inner product on the module Hc(x) by
the formula
(5.9) (y, = (y, x(x))(x),
where y,z E Hc(x), x E X. it is easy to see that (y,y)0 (y,y).
This inner product defines a positive invertible quasi-multiplier T. Suppose that
T = S*S for some S E ® C(X)). Let us show that one can choose a
separable infinite-dimensional Hilbert space HT C H such that T(X)HT C HT
and T1(X)HT C HT for all x e X. Let {ei,... ek, .} be a basis of some
, . .
10 for remaining t.
The property 1 is obvious. Let us show that the spectrum of the oper-
ator (f, z) is not separated from zero for any z = (zk) E HA. Since the series
4zk is norm-convergent, for any e > 0 there exists a number n such that
II 4zkII < e. But then the estimation fk(t)zk(t)I < e holds for t <
Hence f is singular. Condition (5.10) for f is false, thus f is not representable.
5.7. INNER PRODUCTS ON HILBERT C-MODULES 131
For t < 0, the eigenvectors of an operator K are (1,0) and (0, 1), and for t > 0,
they are and — One can glue these eigenvectors together in such
a way that their coordinates are continuous functions on [—1, 1], hence one can
diagonalize the operator K over the A.
133
134 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
we are in the situation of Definition 6.1.2. In this case the "eigenvalues" are
(4 o\ (1 0
9)'
These "eigenvalues" are ordered and the "eigenvectors" x1, £2 satisfy the condition
(xi, x3) = Throwing out requirement (1) of Definition 6.1.2, one can choose
K-invariant submodules in M and generating "eigenvectors"
((0 o\ (1 o))'
i\\ ((i i\ (00 1
Ak
(1 ii. 1 1
— 0, for other t,
and let fk(t) = bk . ak(t). Let K be a compact operator given by the matrix
fi 12
12 0 •.. 0
K=
in the standard basis of the module HA. This operator can be easily diagonalized
pointwise. The eigenvector corresponding to the maximal eigenvalue has the form
x= where
Since f2(t) < 1 for 0 < t < 1. we obtain the estimate IIha2II < 1 and the element
x' lies in B1(M). By assumption, (Dx. x) is a positive operator. Denote it by k2,
where k > 0. Then
Q(x') — Q(x) = r((Dxa,xa) — (Dx,x)) = r(ak2a — k2)
But (xb, xb) = b(x, x)b = bhb and the operator bhb corresponds to the function
t(f2(t) — 1). This function differs from zero at t = e, so the operator bhb differs
from zero, hence xb differs from zero as well. Note that the operator D'/2 is well
defined and that Ker D1/2 = 0. Therefore
r((Dxb,xb)) = T((D11'2xb,D11'2xb)) >0,
so we obtain from (6.2) the inequality Q(x') — Q(x) > 0, which contradicts the
assumption that Q(x) is a supremum of the quadratic form Q over B1(M). Thus,
we have proved that Sp /i does not contain values other than zero and one, so h is
a projection. 0
PROPOSITION 6.2.2. Let x E B1 (M) be a vector at which the quadratic form
Q (D.,.) reaches its suprcmum over B1, and let £ C M denote the submodule
generated by the vector x. Then M = £ and the submodules £ and £' are
D-invariant, i.e.. DL C £, C
6.2. QUADRATIC FORMS ON RELATED TO SELFADJOINT OPERATORS 137
= T((DX,y) + (Dx,y)*).
0 = + (Dx.z)*)
T((Dx,y)a* +a(Dx.y)*) = r(2aa* .
= 211 (Dx, y) Ii
PROOF. If the operator (x, x) is less than one, then there exists a vector y E
such that < 1, y 0 and yq = y, where q = 1 — (x,x) is a projection. Then
(x + y,x + y) = (x,x) + (y,y) 1, so x + y E Bl(HA). But by the previous
proposition, one has Q(x + y) Q(x) + Q(y) and since y 0 and KerD 0,
the inequality Q(y) > 0 should be valid, hence Q(x + y) > Q(x) and the obtained
contradiction proves the proposition. U
PROPOsITION 6.2.4. Let the operator D on the module M be positive and let
its "eigenvectors" form a basis in M. If these "eigenvalues" satisfy the inequality
Sp Sp then the supremum of the quadratic form Q over B1 (M) is reached
at the first "eigenvector" x1 and is equal to
Q(x) = r((Dx,x)) =r
+
Q(x)
i> 1
138 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
Thus, rc7ti) is the supremum of the form Q(x) over B1(M) and it is reached at the
vectorx1. 0
6.3. Diagonalizing operators in the
THEOREM 6.3.1 ([81]). Let A be a that admits a decomposition
into a direct integral of finite factors. Then a compact strictly positive operator
K in the module HA can be diagonalized in Hk and its "eigenvalues" are defined
uniquely up to the unitary equivalence.
PROOF. Note that the is semifinite and its center is
isomorphic to the center Z of the algebra A. Therefore (see [123]) both these
algebras can be decomposed into a direct integral of factors over a Bore! space r
with a measure d'y such that L°°([') = Z. The operator K then also admits the
decomposition
K=J
r
Put T = T ® tr, where T is the standard Z-valued finite trace on A and tr is the
standard trace in the Hubert space 12. This is a semifinite center-valued trace on
the (Hi). Let us show first that if we separate the spectrum of
K from zero, then the resulting operator would lie in the idea! of operators with a
finite trace in the algebra (Hi). By XE we denote, as usual, the characteristic
function of a set E C R.
LEMMA 6.3.2. For each e> 0, the inequality
<00
holds almost everywhere on F.
PROOF. Denote the spectral projection by P. Then the operator
inequality
(6.3) KIimp E
holds on the A-submodule ImP C by the spectral theorem. The compactness
of the operator K implies that the module HA can be decomposed into the direct
sum HA 1?. in such a way that < C for sufficiently large n.
Passing to dual modules, we obtain the estimate
(6.4) IIKIwII <C,
where = 7Z'. Denote by Q the projection onto 7?.' in Hk. Then the
projection on ImP fl 1?.' equals PA Q and the projection onto (KerP fl
is equal to P V Q (here we use standard notation for projections onto intersections
and sums of subspaces; see, e.g., [123]). It follows from Theorem V.1.37 of [123]
that
(6.5)
6.3. DIAGONALIZING OPERATORS IN THE W-CASE 139
for each /3 E R. But the definition of the function cQ('y) and (ii) imply that
V = {'y : inf{A : A) ( /3} = {-y : The measurability follows
from (i). 0
Recall that the operator K is decomposable over r. Let
Pi(7;A) = P2(y;A) =
be the spectral projections of the operator corresponding to the sets (A; +oo)
and [A; +oo) respectively. Put
P1(A) = X(A;+oo)(tfl, P2(A) =
and A) = i'(P1(A)). Then this function satisfies the conditions of Lemma 6.3.3,
hence the function
(6.7) A(7) = inf{A : q5(y; A) 1}
is measurable.
Now let us define two new projections in Hk:
(gQ\ Jr = jr
P2
= j1'
(6.9)
140 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
This set is measurable because of the measurability of the function A('y) — (-y).
The case of the projection P2 can be dealt with in the same way. 0
COROLLARY 6.3.5. The projections P1 and P2 given by formula (6.8) are well
defined and
1, T(P2) 1, P1 ç P2.
These two projections define the decomposition of the module Hk into the
direct sum of three submodules,
(6.10)
where H+ = ImP1, H0 = Im(P2 — P1), H_ KerP2. The operator K commutes
with these projections, since the operators K('y) commute with the projections
P1(y;A(y)) and for almost all -y. Therefore the operator K can be
written, with respect to the decomposition (6.10), as
fK+ 0 ü
K=( 0
0KJ
K0 U
and the operator K0 is an operator of multiplication by the scalar .X(-y) for almost
all -y. Therefore any submodule of the module H0 is invariant for the operator K.
We can conclude from Corollary 6.3.5 that there exists a projection P such that
Pi P P2 and T(P) 1. Then the operator K is diagonal with respect to the
decomposition = ImP W Ker P,
K_(K1 0
0 K'
Note that the module Tm P is isomorphic to A, since the projections onto these
two submodules in Hk both have the same center-valued traces equal to 1, hence
these projections are equivalent [123]. Let x1 E Hk be a generator of the module
Tm P, (x1, x1) = 1. If this generator is fixed, then one can represent the operator
K1 Tm P —p Tm P as the operator of multiplication by some element A1 E A,
i.e., K1x1a = x1)qa for a E A, x1a E ImP. By Theorem 3.7.1, the module KerP
is isomorphic to the module Hk and the operator K' is obviously compact in the
module Ker P, so we can apply Lemma 6.3.2 to K'. One also has the operator
inequality K1 = K'.
Proceeding by induction, we can find elements E Hk and operators EA
such that (xi, x3) = Kx2 = and Denote by .N' the Hilbert
A-module generated by all these elements It is clear that .iV HA. Note that
the operator KIN is not necessarily compact. We need to show that N' = Hk.
LEMMA 6.3.6. The norms of the operators tend to zero as i —' oo.
6.3. DIAGONALIZING OPERATORS IN THE W-CASE 141
From (6.11) and (6.12) we can conclude that the operator inequality
is valid for all i. Therefore, since b(y) is a scalar, due to (6.13) one has
=
Since due to the compactness of the operator K, one should have the
estimate (Kx",x") & for sufficiently large n. Therefore II(Kx, x)M < &', where
= IIKIIe2 + 2IIKIIE + &. If we choose E sufficiently small, then this estimate
contradicts (6.14), hence our assumption b> 0 is false. 0
142 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
We have shown that the norm of the restriction of the operator K onto the
orthogonal complement to the vectors x1,. .. tends to zero. Hence x E
,
Note also that in [46] it is shown that any selfadjoint operator acting on a
self-dual Hilbert module over a can be diagonalized, but without the
requirement for "eigenvectors" to satisfy the condition (x, x) = 1, and "eigenvalues"
are defined not uniquely (even as classes of the unitary equivalence).
PROOF. Since the algebra A can be decomposed into a direct integral of finite
factors, it is sufficient to prove the lemma for the case where A is a type factor
(the proof for type factors is obvious). Denote by EK (A) the spectral projection
of the operator K corresponding to the set (—oc, A). The faithful finite trace r
on A can be extended to the (infinite) trace f = tr ®r on the algebra EndA (Hi)
and then restricted to a finite trace on the smaller algebra EndA(Lfl(A)), where
f(1) = n. Put
= inf A, 0 < < n.
(6.16) — <E.
Let be the projections onto the "eigenvectors" of the operators K,. corre-
sponding to the greatest "eigenvalues" f(Qcr)) = 1. Out of the two partitions
of unity and given by decompositions of K1 and K2, one
can construct a finer partition of unity. By [1231, there exist two sets of mutually
orthogonal projections E EndA(Lfl(A)) such that
(i)
m for some i or j.
144 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
Then (after possible renumbering) the operators Kr can be written in the form
(r)
Kr >2 where E R. This enables us to define a
unitary operator U —' such that
(6.17)
n(a) = cl}.
m>ri
(6.19) —
= (au) — =
mn(1)
(r)
Choosing to satisfy the conditions A1(1)x1
. . . __(1)
= _(1)
x1
(1)
A1
(2)
and A1 x1(2) = (2)
x1
(2)
A1
we get the estimate
(6.20) — <E.
In the same way we can obtain the estimates (6.19), (6.20) for other i.
denote the projection onto the module M in the module Hk by P. Consider the
central decomposition of the algebra A into a direct integral. Each fiber in it is a
factor of one of the types or III by assumption. It is easy to see that the
modules Hk and A are isomorphic: we can either apply Corollary 6.5.2 fiberwise or
directly find an appropriate set of partial isometrics } E A. Then any bounded
operator T in the module Hk can be diagonalized. To get formula (6.21), it remains
0
REMARK 6.5.4. Let A = 13(H) be a Then there are selfadjoint
operators T E A that cannot be diagonalized in a stronger sense. More precisely,
it is impossible to write such operators as the sum > where E C = Z(A)
and P1 = = E A (compare with the Weyl theorem). Therefore, in the case
of infinite W*_algebras, Corollaries 6.5.2 and 6.5.3 are the best results one could
hope for.
6.6. Case of of real rank zero
It is known that in the commutative case, i.e., when A = C(X), the com-
pact selfadjoint operators cannot be diagonalized in the module HA. However
this becomes possible if we pass to a larger module over the larger
L°° (X) = A D A, which is obtained from the algebra A by completion (on bounded
sets) with respect to the weak topology in the natural representation of the alge-
bra A in the Hilbert space H L2(X) with a new (integral) norm assigned to a
finite faithful trace (measure) on A. Unlike the the
are continuous, i.e., they lie in the initial C*_algebra A. This leads to the following
definition.
Let A be a separable with a finite faithful trace r. Let (a,
b a nondegenerate inner product on A and let = (., be
the norm defined by this trace. Completing A with respect to this norm we obtain
the Hilbert space L2(A) and the faithful representation of the algebra A on this
space. Let A = L°° (A) be the corresponding trace finite containing
A as a weakly closed subalgebra. Let K be a compact strictly positive operator
in the module HA. This operator admits a natural extension to the larger module
HA over the larger algebra A, where it is still compact and strictly positive, and
where, by Theorem 6.3.1, it can be diagonalized in this module.
DEFINITION 6.6.1. Let A be a that admits a decomposition into a
direct integral of finite factors and let a separable C-algebra A he a weakly dense
subalgebra in A. Let K be a compact strictly positive operator on HA. We call
A an algebra admitting weak diagonalization if, while diagonalizing K in Hk, its
diagonal entries can be chosen within the A E A.
Note that if a admits weak diagonalization, then each selfadjoint
operator of a finite rank K e 0 A can also be diagonalized over the
A in such a way that its diagonal entries can be chosen within the C*_algebra A.
Denote by 2 = C(Z) the center of the A and let T: A C(Z)
be the standard faithful 2-valued trace on A with T(1) = 1. Assume that a
A E A possesses the following property:
(*) for any two projections p, q c A one can find projections Rq, <p,
rq q in the A such that they are equivalent in A and
= = min{T(p)(z),T(q)(z)}, z E Z.
6.6. CASE OF C-ALGEBRAS OF REAL RANK ZERO 147
0 A(n)
are diagonal and E A have a finite spectrum. Let us show that, using property
(*) and choosing such in an appropriate way, one can satisfy condition (6.1)
for the "eigenvalues" Let Aa = Ab = where r1 e A
are projections. Suppose that a < b, but for some rn and n one has 13m >
Diagonalizing projections [137], we can find projections s, e A such that they are
equivalent to rj, and sj = and Put
I I
and
are unitarily equivalent. Repeating this procedure each time when > ak, one
can satisfy (6.1) for and In the same one can order all "eigenvalues" of
within A. By property (*), if — K,1_1 < then one can find unitaries
in A such that
(6.22) — A?Ll) <
°),
then its can be ordered only if the "common part" of projections 1 —p
and q is a projection from the algebra A.
Let H(x) = L2(A(x)) be the completion of A(x) with respect to the norm
Then the algebra A(x) is faithfully represented in the Hilbert space H(x) and we
6.7. CASE OF CONTINUOUS FIELDS OF TRACE C-ALGEBRAS 149
can pass to the appropriate B(x) = L°°(A(x)), i.e., the weak closure
of A(x) (the notation L°° is used by analogy with the commutative case).
Now let dx be a o-finite Borel measure on X. Note that the function (6.24) is
continuous. Therefore one can put
= (b,b)r.
Denote the completion of the algebra A with respect to this norm by H = L2 (A).
The algebra A is faithfully represented on the Hubert space H and we denote the
corresponding We-algebra by A = L°° (A) A. It is clear that
ED
A= / B(x)dx.
Jx
Since the L°°(X)-valued trace = dx defined by tile family of traces on
A is faithful and finite, A is a finite
We are interested here oniy in the case, when X is either a segment or a
circle. Then, if X is divided by points {xk} into segments Dk [1k: xk+1] and
if ak(x) E AIDk is a continuous field for each k. we call a set a(x) = {ak(x)} a
piecewise continuous field on X. Such piecewise continuous fields clearly belong to
the A. The distance from such a field to the A is given by
the formula
dist(a(x), A) = sup{IIak(xk) — ak+1(xk)IJ}.
k
For convenience of notation we write K1 (x) K2 (x) for two piecewise continuous
fields Ki(x) and K2(x) if there exists a piecewise continuous unitary field u(z)
such that u*(x)Ki(x)n(x) = K2(x). Recall that tsr(A) = 1 means that invertible
elements are dense in the algebra A.
Further we are going to use the following result on almost commuting operators.
PRoPosITIoN 6.7.2 ([841). Let A be a with the properties
(i) RR(A) = 0 and tsr(A) = 1;
(ii) the unitary group of the pAp is connected for every projection
p E A.
Let h A be selfadjoint, let u E A be unitary and let the estimate
(6.25) IIu*hu — hil
hold. Then there exist a constant C depending only on thu and a pat/i u(t) con-
necting u with 1 such that for sufficiently small S, one has
IIu*(t)hu(t) — hit
for all t.
THEOREM 6.7.3 ([83]). Let (A(x), X, A) be a continuous field of trace
algebras over a segment or a circle. Let (B(x), X, B) be the corresponding continu-
ous field of W* -algebras and let A be the corresponding W* -algebra. Suppose that
for each point x E X, the A(x) has the following properties:
(i) RR(A(x)) = 0 and tsr(A(x)) = 1;
(ii) the unitary group of the C* -algebra pA(x)p is path-connected for any
projection p E A(x);
(iii) the trace on A(x) is finite and faithful for any x E X;
150 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
(6.26) — <e.
PROOF. By assumption, we can write the operators Kk(x) in the form
Ki(x) = K2(x) =
where (x), qj (x) are spectral projections and the eigenvalues are ordered. Since
Ko(A(xo)) c Ko(B(xo)) is a sublattice by assumption, we can find projections
ri(xo) A(xo) such that =1 E A(xo) and each of the projections
Pm (x0), q3 (x0) and also each of the projections from ® 1 is unitarily equivalent
to a sum of certain projections rj(xo). By renumbering the eigenvalues of Kk(xo)
(counting them with multiplicities), we can write
Ki(xo) = K2(xo) =
in such a way that the sum of all projections in each subset is unitarily equivalent
to a one-dimensional projection in 0 1. Then each subset corresponds to the
"eigenvalime" A(k) (xo):
= +... + ai,ri,(xo);
= +... + 81,r,(xo).
Choose unitaries E A(xo) such that = for li—i +1
I <li. Then the estimate (6.26) follows from (6.27). 0
LEMMA 6.7.5. Let D = [xk; xk+11 be a segment in X, and let A(x), E AID
be two continuous fields of selfadjoint operators with a finite spectrum on D such
that — ,i'(x)II < e. Let j.t E A(Xk) be a selfadjoint element with a finite
spectrum and let u A(xk) be unitary and satisfy
11/1 — u*1zF(xk)uII <5 and — <E.
6.7. CASE OF CONTINUOUS FIELDS OF TRACE C-ALGEBRAS 151
Then for sufficiently small S and E there exists a piecewise continuous unitary field
u(x) such that
(i) U(Xk) = u, U(Xk+1) = 1;
(ii) the estimate
(6.28) IIu*(x)p/(x)u(x) — +S
holds on D, where C is a constant depending only on the norm of A(x).
PROOF. By assumption, we have — <2E. Therefore
IIP'(xk) — u*/f(xk)uII < + 5.
By Proposition 6.7.2, there exist a constant C depending only on the norm of A(xk)
(or of /i(xk) since these elements are close to each other) and a path uj, 0 t 1,
connecting u with the unit in the unitary group of the algebra A(xk) such that
— A(xk)II +S
for any t [0, Continuity implies that there exists a point e (Xk; xk+1)
such that there exists a unitary continuous field Ut(X) over the segment [xk;
such that it extends and the estimate
II?4(x)/1'(x)ut(x) — .X(x)II +S
still holds for all x e [xk; Define the unitary field u(x) by the formula
IUt(X) for t= k
, where x E [xk;x'k + 11'
1 for xE
It is a unitary continuous field and the estimate (6.28) holds on [xk; On the
other hand, if x then u(x) = 1, so this estimate is also valid there. 0
LEMMA 6.7.6. Let K(x) be a selfadjoint operator on the module K(x) E
®A. Then for any e > U there exists a piecewise continuous field K' (x) of opera-
tors with a discrete spectrum such that it locally lies in l!K'(x) — K(x)II <E
and the operator K'(x) is diagonalizable on ® A with piecewise continuous
"eigenvalues" with A) < 2E.
PROOF. Fix > 0 and choose a point xo E X. Since RR(A(xo)) = 0, we
can find an operator K'(xo) E ® A(xo) with a finite spectrum, K'(xo) =
ampm(xo) (where pm(xo) are spectral projections of K'(xo)) such that one
has IIK'(xo) — K(xo)II < There exists a neighborhood of the point x0 such
that the projections prn(xo) can be continuously extended in this neighborhood up
to projections pm(X). Put K'(x) = >m ampm(x). Then one can find a smaller
neighborhood of the point x0, where
(6.29) IIK'(x) — K(x)II <E.
So, for each point in X there exist a neighborhood W and a continuous field on W
such that the inequality (6.29) is valid. By taking a finite covering of X by such
neighborhoods, one can obtain a partition of X by segments and a piecewise
continuous field (continuous on each segment) K'(x) = e
AIDk, such that dist(K'(x), 0 A) < 2e. Let us diagonalize the operator field
K'(x) on each segment Dk, K'(x) = diag{A1(x)}. Then the fields A1(x) =
e AIDk, are piecewise continuous and, since — < 2E,
152 6. DIAGONALIZATION OF OPERATORS OVER
using Lemmas 6.7.4 and 6.7.5, we can replace the diagonal entries on each
interval by unitarily equivalent ones in such a way that the estimate
= sup Ack)(Xk)M <
is valid. U
and (6.32) implies existence of unitary elements v1.k(xk) E A(xk) such that
— <&
By Lemma 6.7.5, we can find such extensions of the unitary elements Vj,k(Xk) to
some neighborhood of the point xk, for which, by (6.30), one has the estimate
— + 8.
Put
Pck)(X) =
Then
(6.33) — <8
and
—
Ai(x)M + 8.
Proceeding by induction and passing from Dk_1 to Dk, we substitute the fields
(x) by (x) on each Dk and we obtain new piecewise continuous fields (x) =
(x) } such that there exist piecewise continuous fields of unitary elements (x)
for which
— < 8.
By setting = we get statement (i) and the estimate
<8 follows from (6.33). 0
Now let K(x) be a strictly positive compact operator on the module HA. Take
a sequence > 0 vanishing as m oc. By Lemma 6.7.6, we can find a sequence
of piecewise continuous fields of diagonalizable operators Km (x) e ® A of
finite rank with "eigenvalues" Ai.m (x) E A such that
(i) IKm(X) — K(x)II
(ii) Km(X) diag{Aj,m(x)}, where dist(Ai,m(x),A) <Cm.
Since
IIK1(x) — K2(x)jI K(x)II + IK(x) —
IIK1(x) — <Cl +62,
one can find, by Lemma 6.7.7, a piecewise continuous operator
such that
— K2(x)II < — < e2, <
and
— <C</2(e1 + e2) + e2 + 62.
Then, since
— Km(X)M < — Km_i(X)Jj + IIKm_i(X) — K(x)II
+ IIK(x) — Km(X)II <2Cm_i + Cm,
we can find, by induction, a sequence such that
(6.34) — Km(X)II <Em, — <Em,
(6.35) <Cm,
(6.36) — +Em) +Cm +Cm.
154 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
commute with each other, then the algebra A is the C*.algebra of continuous func-
tions on the space X = Sp U1 x ... x Sp so the operator D defines the family of
operators x E X, such that the operators (1 are compact (in the usual
sense). Then we can diagonalize pointwise the family of operators and obtain
a family of eigenvalues E C(X). The spectrum of the operator D is deter-
mined by the spectra of the operators of multiplication by the functions In
the case, where the operators U1, . , U,2 generate a noncornrnutative
. .
(6.39) D=A+W
with
(6.40)
6.8. SCHRODINGER OPERATOR 155
and
W—
where (resp. T8) denotes the unit translation in variable t (resp. s), Tt s) =
+ 1, s), and Wkj denote the Fourier series coefficients of the function W(x, y).
We suppose that the function W(x, y) is sufficiently smooth to satisfy the condition
>.k,1 IWktI < 00.
Let A9 be the C0-algebra generated by two noncommuting unitaries U and V
such that UV = [14, 22] and let C A9 be its "infinitely smooth"
subalgebra of elements of the form >k1 aki V1, where the coefficients aki are of
rapid decay. The Schwartz space S(R) of rapidly decreasing functions on R can be
endowed with a structure of a projective right with one generator [22].
We denote this module by M°°. The action of on M°° is given by formulas
= + 9), =
where E M°°. The module M°° is generated by a projection p E M°°
with r(p) = 9 and, since M°° C A9, M°° inherits the norm from A9. Its
closure M = M°° A9 with respect to this norm is a Hilbert Ae-module. Note
that the eigenfunctions of the operator A (6.40) form an orthonormal basis (t) }
in S(R) C L2(R) and the functions from S(R2) = can be represented
as the series with m2(s) E M°°. Define the A9-valued inner product
on 8(R2) by the formula
where n3(s) E M°°. By S(R;M) (resp. L2(R; M)) we denote the Schwartz space
of functions (resp. the space of square-integrable functions) taking values in the
Banach space M. The inclusion
S(Rx R) "-
allows us to consider S(R2) as a dense subspace in the Hilbert A9-module
N= : (m1, rn) is convergent in A9}.
One can see that, since the A9 is simple and (M, M) should be its ideal,
the module M is full, i.e., (M,M) = A9. By Theorem 2.4.1, one has HA0.
(Bkl(e), = QfliCki(mfl))
= ,
i,n,j
= =
= =
< lIakLII2 = =
can obtain the set of "eigenvectors" {x2} for D with (xi, = p. In that case
the corresponding "eigenvalues" can be viewed as elements of where
A.
Since the A9 is a of real rank zero [20], the "eigenval-
ues" )t, can be chosen from the smaller algebra by Theorem 6.6.2. If
0, then the spectrum of the operator D lies in the set U1(20(i — 1); 20i).
Therefore the spectral projections = P(29(j_l);29j)(D) lie in and the
standard methods of perturbation theory [80] can be applied. However the problem
of analyticity of "eigenvalues", which takes place in the commutative case for the
integer values of 0 [99, 107], is far from being understood.
6.9. Example: A continuous field of' rotation algebras
We give an example here of a without the weak diagonalization
property. Let X = [a, b] be a segment containing at least one integer point, for
example 1, and let S be a circle. Let the group Z of integers act on the
C(X x S) of continuous functions on the cylinder by the formula
(6.41) (o(n)f)(x, t) = f(x, t + nx),
where f(x, t) e C(X x S), x E X, t E 5, n E Z. By Ax we denote the cross-product
C(X x
As is shown in [112, 37], the algebra Ax is a continuous field of rotation algebras
= A(x) over X. Note that the continuous field (A(x),X,Ax) is a continuous
field of trace and that for irrational x one has RR(A(x)) 0 and
tsr(A(x)) = 1 [20, 111]. Moreover, the algebra A(x) has the weak diagonalization
property for each x e X. On the other hand, the unitary group of the
A(x) is not path-connected, but we believe that the obstruction to diagonalizability
is not related to this fact. Note that A1 C(T2) is the commutative
of continuous functions on a torus, so it is not a real rank zero algebra, unlike the
irrational case, and the homomorphism K0(A(1)) —, Ko(B(1)) is not injective.
There exists a nontrivial projection in M2 ® A1, which is the Bott generator in the
group K°(T2). This projection can be extended ([111, 78]) up to a continuous
field of projections p(x) in some neighborhood of the point 1 E X in such a way
that
(6.42) Tx(P(X)) 1+x
for the standard trace on We can diagonalize this field of projections in the
direct integral of type factors: p(x) where >
Then, for x = 1, we should have A1(1) = 1, = 0. For arbitrary x the
"eigcnvalues" (x), i = 1, 2, should be projections. If these "eigenvalues" are
continuous fields in Ax, then we should have Ai(x) = A1(l) = 1, )¼2(x) = =0
for all x, hence
= 1.
But since the trace is invariant with respect to the unitary equivalence, this contra-
dicts (6.42). Therefore the Ax does not have the weak diagonalization
property.
Note that on a dense set of irrational points in X, the A(x) satisfy
all the conditions of Theorem 6.7.3 except condition (ii). Slightly changing the
proof, for any given continuous field of operators K(x) and for any E > 0 we can
158 6. DIAGONALIZATION OF OPERATORS OVER C-ALGEBRAS
find a subset X such that the measure of the set X \ does not exceed e
and the operator field K(x) is diagonalizable on with "continuous" "eigenvalues"
(i.e., lying in the Axj.
CHAPTER 7
Let us make one more reduction. In order to simultaneously consider the case
of GL and of GL* we introduce the following common notation: g := GL (resp.,
GL*), 6(M) := EIIdA(M) (resp.,
LEMMA 7.1.2 (a version of the Atiyah theorem about small balls). Let f: S —i
g be a continuous map of a sphere of arbitrary (but finite) dimension. Then f is
homotopic to a map f' : S —+ such that f'(S) is a finite polyhedron.
PROOF. Let> 0 be such that the E-neighborhood of the compact set f(S) lies
in a fine simplicial subdivision of the sphere S such that diani(f(o)) <
Choose
E/2 for any simplex a- of this subdivision. This is possible, since S is compact. Let
f' be a piecewise linear map extending the restriction of f onto the 0-dimensional
skeleton. Thus diam(f'(a-)) < diam(f(a)) <E/2 for any s. For any point s E S
there exists a vertex S such that If(s) — = Ill(s) — f(st)Il < r/2 and
Ilf'(s) — < r/2, hence the segment [f(s),f'(s)] c G for any point s S.
Therefore the linear homotopy It(S) tf'(s) + (1 — t)f(s) lies in Passing to a
subdivision of f'(S), we obtain the structure of a simplicial complex. 0
REMARK 7.1.3. Note that this argument is not valid for other topologies to be
considered. For example, with respect to the strong topology on the set of linear
operators in a Hilbert space, the sequence Id91 is convergent to Id, where has
the matrix diag(1, . 1,0,0,...) (unit up to the n-th place). Hence, the general
. . ,
( mt(2i,2i+1)
mt(2i+1,2i+1)
(cost —sint'\(u 0'\( cost 0
cost 0 1
7.1. TECHNICAL LEMMAS 161
0
LEMMA 7.1.5. Let W C be defined by
W={g EGIgIH' =IdH'},
where
12(A) H' ® H1, H' H1 12(A).
Then W is contractible inside G to
V = {g e = IdH', g(H1) = H1}.
PROOF. With respect to the decomposition 12(A) = H' H1 we define the
hornotopy by
., (1 /3(s)(1-t)
7(8)
I
eRo 1)'
(1
(1 (1
(1 (1 (1—t).0
1
71
j=i+2,i+3,...,
32 13 ,..., —
If A is not unital, the notion of the "standard basis" {e1} for the module 12(A)
makes no sense. Nevertheless, the elements ej'y are well defined for any -y E A,
namely,
This series satisfies the Cauchy criterion: if tl1e number in is so large that
i=m+1
then
r r 1/2 r 1/2
< <1
The same argument for s = 1 implies that IIt(z)II lizil. Also one has (ix,z) =
(x, tz), i.e., t =
Consider arbitrary elements x. y E A. Then
(i*ix)*y = (i*ix y) = (ix,iy) = (x,y) =
x and = Id. Hence.
ii*ii* = ii*
i.e., p is a projection. Since = Id, i = Imp (see
also [71, Sect. 31). U
{k(1, 1); k(1, 2), k(2, 1); k(1, 3), k(2, 2), k(3, 1);... } = {1, 2,... },
isadjointable and preserves the inner product. In particular, its image is defined
by the selfadjoint projection of the form
PROOF. Letx=(ai,a2,...)E12(A),y=(bi,b2,...)E12(A). Then
(Jx, Jy) = =
= = = (x,y).
For this series the Cauchy criterion holds. Indeed, let a number N = N(z) be so
large that 11(1 — pN)zII < 5 and let m be so large that s(k(m,j)) > N (j is fixed).
Then (by Proposition 1.2.4)
PROOF. Put i(1) := 1 and choose j(1) > i(1) in such a way that
1 r
—pj(I))Frei(l)alIj < 21.21' r = 14
N.
Find i(2) > j(1) such that (by Lemma 7.1.8)
1
< r= 1,...,N.
Then choose j(2) > i(2) such that
Let us continue this process by induction. Suppose that i(1),.. i(k — 1) and . ,
,j(k — 2) are already found and satisfy conditions (7.3) and (7.4). Find
j(k — 1) > i(k — 1) such that
11(1 < rn = 1,...,k— 1, r= 1 N,
II 1
h 1 N.
Denote by P and P' the corresponding orthogonal projections. Then PP' = P'P =
0. Let x = (ai, a2,...) and y = (b1, b2,..) be arbitrary norm one vectors from
12(A). Then, for any r 1,... ,N, by (7.5), (7.6) one has
II
(FrJX, J'y) = II
( +
t,s,n,m \h(n,m)g(8,t) h(n.m)<g(s,t)
2h(n,zn). 29(t,s)
t,8 ,n,m
since h(n, m) > n + m, g(t, s) > t + s by the construction. Therefore one has
(7.7) IIP'F'rPII <E, r = 1,. .. , N.
As was shown in Lemma 7.1.2 and Lemma 7.1.5, it suffices to know how to
construct a homotopy of any piecewise linear map with the image in a finite poly-
hedron in GL8 with vertices F1,. . , FN into a map taking values in a compact set
.
Ilafibli 0 (i co).
PROOF. Since a* E AC, for any E > 0 we can find a number N = N(e) and a
basis h1, h2,... in H such that
<
HN=spanc(hl,...,hN),
PN and are the corresponding projections on HN and Since the partial sums
of the series form a nondecreasing uniformly bounded sequence of positive
operators in 13(H) (see [42]), is strongly convergent to the zero operator.
Hence,
111h11 = (f.*h, f'h) = (f1fh, h) 0
Note that similar properties for matrix elements themselves (which belong to
LM(AC) 8(H)) do not hold even for operators from GL*. Moreover, the following
example shows that all matrix elements can have norm equal to 1.
EXAMPLE 7.3.2 (A. V. Buchina, [105]). Consider the standard Hilbert AC-
module
Let } be a basis of H and let denote the rank one projection onto the i-th
vector. Define F by the matrix
Pi P2 P3 P4 P5 P6 P7 P8
P2 P1 P4 P3 P6 P5 P8 P7
P3 P4 P1 P2 P7 P8 Ps P6
P4 P3 P2 P1 P8 P7 P6 Ps
Ps P6 P7 P8 P1 P2 P3 P4
P6 P5 P8 P7 P2 P1 P4 P3
P7 P8 P5 P6 P3 P4 P1 P2
Ps P7 P6 P5 P4 P3 P2 P1
where the first line is the ordered sequence of projections, the second line is obtained
from the first line by permutations in pairs P2i—1 and P2i for i = 1,2,..., the third
line is obtained from the first line by permutations of adjacent pairs, the fourth line
is obtained by permutations of pairs in the third line, the fifth line is obtained by
permutations of 4-tuples in the first line, and so on. Let us introduce the notation
and note that, for ii i2, one has for any j. Let us
show that this operator F satisfies all necessary conditions.
1. Let us prove that the image of (k1, k2, k3,..) E 12(IC) is compact for
the action of each line of the operator F, i.e., let us verify that the inequality
II Pa(j)kj < oo holds for each i.
1
n+p a+p
= < <E
holds for any n> N and any p e N and, by the Cauchy criterion, it follows from the
norm-convergence of k k3 that k3 is also norm-convergent. Thus, the
series is norm-convergent and its entries are compact operators, hence
is compact as well.
2. Let us verify that the image of a vector (k1,k2,k3,...) E 12(IC) under the
action of F belongs to 12 (IC), i.e., let us prove the norm-convergence of the series
*
We have
*
=
168 7. HOMOTOPY TRIVIALITY OF GROUPS OF INVERTIBLE OPERATORS
oo> =
Ilk.jxII2 = 2 = 2
hold for any x E H of norm 1. Hence, for any s > 0 and for any x with II.rlI
= 1,
one can find a number N(x) e N such that I(kji)a,U)12 < r for any
m> N(x) and any p E N. Thus,
/n+p \ n+p
=
j i7Z j
n+p n+p
= = <E.
i=fl j i=fl j
Consider the operators B = and = acting on
H. The first of them is compact and, consequently. the remaining ones are compact
as well, being the sums of norm-convergent series with compact entries. For a fixed
vector x E H of norm 1, the following statements hold:
(i) the inequality
(B7,x,x) = (Bx,x)
holds;
(ii) .x) = (Bx, x).
Put E,, := B — It is easy to see that
(i) —' 0 as ii 00;
(ii) =
(iii) E,L 0;
(iv) lIE1, II = II B — < 111311.
It follows from (i) and (iii) that 0 with respect to the strong topol-
ogy. By (iv), we obtain 0 with respect to the strong topology, due to the
joint strong continuity of multiplication in both variables on bounded sets. We
have proved the strong convergence of the increasing sequence of positive compact
operators B. Choose a finite-dimensional projection p
such that IIB(1 — < r and then choose n such that Il(B — < E for any
ni> n. Then, since the sequence increases,
lB — Bmll lI(B — + lp(B —
]
and
— (1 1\ 1 1
= =
for any nonnegative z. The estimate hlbhl 1 follows from
/ \1 /
\ nJ " nI
The condition (y, y) = a2 is now clear. 0
THEOREM 7.4.5. Property (E) implies property (K).
170 7. HOMOTOPY TRIVIALITY OF GROUPS OF INVERTIBLE OPERATORS
onLk,
on
(7.12) <
Note that fork> k(i), one hasw2 = IId(i,k)II <1. Therefore, similarly
to the argument above, the map
J1 : 12(A) 12(A), (a1, a2,...) '—i > k(i,j))a3,
where
k(1, 1); k(1,2), k(2, 1); k(1, 3), k(2, 2), k(3, 1);...
is some increasing sequence, is an adjointable embedding preserving the inner prod-
uct. If we denote H1 := ImJ1, then, by (7.12),
IIF1IH1II <
Let C1 be the orthogonal complement to the image of the first copy of A under
J1. Let m(2) > m(1) := 1 be so large that 11(1 — Pm(2))F!J(1)II < e/2, where
Yi := Denote by F2 the restriction of the m(2)-th line of the
matrix F onto G1 12(A) and find, by the same algorithm, a new embedding J2
such that its image equals H2 and
11F21H211 <
LetC2 c H2 be the orthogonal complement to the image of the first copy of A
under J2. Let m(3) > m(2) be so large that
E 1/2
11(1 Pm(3))F'YiII < .2i'
.
i 1,2, Y2 J2(O!2 ,0,...),
<
(7.15) = 1,...,i.
Using again, we can construct an embedding J of the module 12(A) on a
submodule H of the linear span of y2 and an embedding J' of the module 12(A)
on the submodule H' := Em(j). Since these modules are e-orthogonal (i.e.,
< E for any h E H, h' E H', IhII 1, IIh'II 1), there exist projections
p and p' onto them such that pp' = p'p = 0. More precisely, note first that the
172 7. HOMOTOPY TRIVIALITY OF GROUPS OF INVERTIBLE OPERATORS
embedding J is adjointable. Indeed, the image of each vector (aj, a2,...) under J1
is a sum of the form
E Mk(2.3).
For constructing the higher J3 's, the corresponding lie again in direct sums of
modules Mr and, for these sets of modules are not intersecting. We can apply
Lemma 7.1.7. The operator J will be defined by the formula
(7.16) J: (al,a2,...) i—p = y3/13a3.
Hence, there exist the orthogonal projections q and q' onto H and H'. respectively.
Note that this argument can be refined as follows. In particular, we have shown
that for any J8 and any m there exists no more than one r such that QmJ3Qr 0.
Therefore, throwing out, if necessary, a finite number of canonical summands in
12(A) and restricting J8 to the remaining module, we can assume that
(7.17) Qm(j)Js = 0,
(7.18) Qm(j)Yi 0, j = 1,... ,j.
Also, IIqq'II IIq'qII <e. Indeed, consider a vector of the form
x=>>v:las=>ys/28a8,
It is necessary to show that Iq'xII <E. This estimate follows from (7.14), (7.18):
jq'xII = >>
Since the projections q and q' are selfadjoint, we obtain the second estimate as well.
Then, by Remark 7.4.6, HeH' is the image of an adjointable embedding and,
by Theorem 2.3.3, the decomposition 12(A) = (Hi- fl holds. Denote
by p and p' the projections onto H and H', respectively, which correspond to this
decomposition, so that pp' p'p = 0. Thus,
(7.19) IIp—qII <&, IIp'—q'II < 3E, < 1+3e <2, < < 2.
Then
iq'FxiI =
— + +=
Note that one can obtain a similar statement not only for a single operator
F (actually for two operators; F and Id), but also for a finite set (vertices of a
siinplicial complex) . .
, F(N). For this purpose, one has to argue for F =
with a constant e and to obtain projections P1 and After that one has to apply
the algorithm to and to obtain projections and P2 such that
P1P2 = P2P1 = P2, P1 P2 = P2P1 = P2, P2 P1 = P1 P2 =0,
<e,
and so on. This completes the proof, since now one can apply the Neubaucr homo-
topy. U
Let us complete this section with a discussion about the following example,
which gives no hope that the class (K) is sufficiently large.
EXAMPLE 7.4.8. Under the conditions and notation of Example 2.5.6 the func-
tional
Recall that in [331 the subspaces are defined in the following way:
:={IEL2([O,1I)If(x)=O for xt}.
LEMMA 7.5.2. If F(t) is bounded and if F with respect to the strong
topology on B(H), as t —+ 0, then ØIdA —4 F®IdA with respect to the left strict
topology.
if t is so close to 0 that
ii(Ft — < E
LEMMA 7.5.3. Let a set {C(t)} be uniformly bounded (by a constant C) and
let G(t) —p G and S(t) S (t 0) with respect to the left strict topology. Then
G(t)S(t) CS (t 0) with respect to the left strict topology.
PROOF. Let k 'CA be an arbitrary operator. Then 5k E 'CA and
— SkiI 0, ii(C(t) — G)(Sk)iI 0 (t 0).
Hence
iiG(t)S(t)k — GSkii ii(G(t) — C)Sk + G(t)(S(t) — S)kii
Ii(G(t) — C)Skii + CII(S(t) — S)kii 0 (t —' 0).
0
THEOREM 7.5.4. The unitary group U of operators in 12(A) is contractible with
respect to the left strict topology.
PROOF. For any U E U and t E (0, 1] we define
t) := (1d12(A) —Pt ® IdA) + ® Ida) U (U1 ® IdA) ® IdA)
and
U.
The operator 1), t e (0, 11, defines the identity mapping ®A and coincides
with the restriction of the unitary map (U1 ® IdA) Olito H1 ® A.
Therefore
by Lemma 7.5.2. Here k1, k2 and k3 are fixed operators from KA. Now let (U', t') E
U x (0,1] tend to (U,0) E U >< [0,1]. Then Pt' —+ 0 with respect to the strong
topology and ®IdA 0 with respect to the left strict topology by Lemma 7.5.2.
Therefore, for any k e )CA,
0, —+0.
PROOF. Since S is compact, the set is bounded by some C(x) for any
x E H. Therefore, by the uniform boundedness principle [35, 11.3.21], there exists
a constant C such that
C, Vs e S, .r e B1(H).
Therefore <C. 0
176 7. HOMOTOPY TRIVIALITY OF GROUPS OF INVERTIBLE OPERATORS
Now, from Theorem 7.6.1 by Lemma 7.6.2 and Lemma 7.6.3, we obtain the
following statement.
REMARK 7.6.5. We suppose that the results of this section in the part con-
cerning Hilbert spaces were known earlier but we have not found them published
anywhere.
PD(x) = D(x)P = P Vx E X.
PROOF. Put Q := Id —P, Q' := Id —P',
H2
HP'H = (H0P' + +
= = -F,
Q'HT(x)'P(x) = = 0,
P(x)T(x)HP' = T(x)PT(x)'Q'T(x)HP'
= T(x)PT(x)'(1 — P')T(x)(—HoP')
= T(x)PT(x)' (1 — P')T(x)P(—HoP')
= T(x)PT(x)'T(x)P(—HoP') = T(x)P(—H0P') = T(x)HP'.
Assume that
G(x) := HT(x)'P(x) + T(x)HP'.
Then
=
(T(x)PT(x) - 'Q') = 0.
Hence, for
U(s,x) := Q(x) + (1 — s)(P(x) + P') + sG(x),
we obtain that
U(s, x)' = Q(x)
+ + (1— s)2
[(1 — s)(P(x) + P') - sG(x)].
Therefore U(s, x)T(x) defines a homotopy in
U(0, x)T(x) = Id oT(x) 'S-' U(1, x) o T(x).
Thus, since P(x)T(x)P = T(x)P, one has
U(1, x)T(x)P = Q(x)P(x)T(x)P + G(x)P(x)T(x)P
=0+ HT(x)'P(x)T(x)P = = HP.
Since H(P + P') = (P + P')H = H, for
V(s) := QQ' + (1 — s)(P + P') — sH,
we have
V(s)' = +
s2 + (1 — s)2
[(1 — s)(P + P') + sH].
Besides, V(0) = QQ' + P + P' = Id. Therefore the following homotopy is defined:
R(x) := V(1)U(1,x)T(x) U(1,x)T(x) in C(X,g(M))
and
R(x)P = V(1) U(1, x) T(x)P
=V(1)HP=QQ'HP-H2P=O+(P+P')P=P.
Put
R(s, x) := R(x) — sPR(x)Q.
For some e e M, let the equality R(s,x)e = 0 hold. Then
o = R(s, x)e = R(x)(P + Q)e — sPR(x)Qe = Pe + R(x)Qe — sPR(x)Qe,
0 = QR(s,x)e = QR(x)Qe.
Let f = PR(x)Qe, whence f = Pf. Then
PR(x)(Qe — P1) f — P1 = 0, QR(x)Pf = 0.
Therefore R(x)(Qe — Pf) = 0, Qe = Pf = f=0 and PR(s,x)e = Pe = 0, e = 0.
One also has
R(x)M = M, R(x)P = P, QR(x)QM QR(x)(1-P)M = QR(x)M = QM.
7.7. NEUBAUER TYPE HOMOTOPY 179
We require the following definition in order to introduce the basic technical tool
of KK-theory, namely, the Kasparov product.
DEFINITION 8.2.5. Define by 1AEKK(A, A) the class of the triple (A,
A, = 0,
The original proof of this theorem and even the construction of the product
itself is very complicated. That is why we will pass now to the presentation of the
main aspects of the Cuntz approach to KK-theory [28]. This approach allows us
to consider elements of KK(A, B) as generalized homomorphisms from A to B and
to define the product as their composition.
8.3. Cuntz's approach
First of all, let us note that for each class in KK(A, B), one can choose a
representing triple (M, ir, F) such that F2 = 1. Indeed, for the opposite B-module
(—M), define the map
ir':A—9MED(—M), ir'(a)=ir(a)EDO,
and define F' E End* (M ED (—M)) by the formula
= + U(1 —
—
F
the operator F' is unitary. Then, for any polynomial f, we have Ff(F*F) =
f(FF*)F. Using approximation of the function x '—' by polynomials on the
spectrum of F*F, we obtain the equality
F' = = = F'-' =
Under this assumption, = F(FF*)t/2, t 10, 1], defines an operator homotopy
between the triples (M, ir, F) and (M, ir, F'). Namely, the bimodule in an operator
hoxnotopy is fixed and a family of operators is norm continuous. This is a stronger
equivalence relation on E(A, B) than homotopy, but, nevertheless, one can define
KK using operator hornotopy.
So, we assume that for (M, ir, F) E E(A, B), the equality F = F* =
holds. In this case one can identify and using F. Thus, we arrive to
a description of a representative of an element of KK(A, B) as a trivially graded
Hilbert B-module equipped with two representations, and 1r, of the
A:
R.+(a)
= lr(a)IM(o), ir(a) = Fir(a)FIM(1).
The Kasparov stabilization Theorem 1.4.2 allows us to restrict ourselves only to
the module HB = 12(B).
DEFINITIoN 8.3.1. Let A and B be A quasi-homomorphism from
A to B is a couple of *-homomorphisms ir± : A End* (HB) such that
7r(a) E B® IC I((H8)
holds for any a E A, where IC is the algebra of compact operators on a separable
Hubert space.
8.3. CUNTZ'S APPROACH 185
Let
IxII= sup XEA*aigB.
D,
The corresponding completion of the algebraic free product is a This
algebra is denoted by A * B and is called the product of A and B.
This free product can be defined alternatively in the following way (see [55,
Appendix B] and [21]). For each n = 1,2,..., consider the following algebraic
tensor products:
A®cB®cA®c B®cA®c n tensor factors,neven,
ntensorfactors,nodd,
ntensorfactors,neven,
ntensorfactors,nodd.
Co := Ba).
For the purpose of obtaining multiplication in C0, define the bilinear maps
X Bm ' An+m_i, n even, m even,
X Bm An+m, n odd, m even,
X Am ' Bn+m_i, n even, m even,
X Am Bn+m, n odd, m even,
X Bm 4 An+m_i, n even, m odd,
X Bm An+m, n odd, m odd,
X Am —I Bn+m_i, n even, m odd,
X Am Bn+m, n odd, m odd,
X Am An+m_i,) n even, m any,
X Am An+m, ri odd, rn any,
X Bm 4 Bn+m_i, n even, m any,
X Bm Bn+m, ) n odd, m any,
The remaining maps are defined in a similar way. Define the bilinear map
by the formula
(x1,yi,x2,y2,...) := +yj
i,j=1
where x2, E A2, Ys, B2. Then one can check that this bilinear map equips
C0 with the structure of an algebra. Define the involution * on elementary tensors
as the operation that transposes tensor factors in the inverse order and takes their
adjoints in A or B. For example, (a 0 := 0 a*. Then, for an even n, one
obtains maps * : * : and for an odd n, one obtains maps
*: —÷ *: This turns C0 into an involutive algebra with respect
to the map
* : C0 —' C0,
I \* I * * * * * * * * \
.=1Sx1,yl,y2,x2,x3,y3,y4,x4,...),
where x2 E A2, y2 E
Let CpA : A —+ D and 'PB : B D be two *-homomorphisms. Define the map
D on for even n on elementary tensors by the formula
:= 'PA(al)'PB(b1)'PA(a2)'PB(b2) . . .
In the three remaining cases the map can be defined in a similar way. Then one
can define the following *-homomorphism:
Xn EAR,
be a completion of the quotient algebra C0/N with respect to the norm . One
can easily verify that C is a and, since and are isometrics, the
maps
a—'ZA(a)+N, 3B:B—'C, b'—'iB(b)+N,
are isometric embeddings. Put A * B := C. The universal property, i.e., exis-
tence of the homomorphism (cf. the first approach to the definition), is now
completely evident.
8.3. CUNTZ'S APPROACH 187
qA = = (IdA,IdA) QA : A}
and we have the short exact sequence
where any of the two embeddings, and i, splits More precisely, this follows
from the following statement.
LEMMA 8.3.3. Elements of the form
qa1 qa2 ... and qa2 ... qan, a2 E A,
generate a dense involutive subalgebra C in qA and qA = Ker
PROOF. Since (IdA, IdA)(qa) = 0, one has qA C Ker It remains to show
that C is dense in Ker
Denote by C0 the linear span of elements of the same form as for C and also
of elements of the form i+(a). Then C0 is a dense involutive subalgebra in QA.
Indeed,
q(ab) + q(a)q(b) = — F(ab) + — — i(b))
= i(ab) — —
= — —
+ = — + —
Hence,
= q(ab) + q(a)q(b) —
Since = — q, we obtain, by induction, that C0 = A *alg A C QA.
Suppose that x e Ker C QA is an arbitrary element. Then x = xi,,
e C0. Hence, there exists the limit
y=lim{x,, C,
— o = — = 0,
so y e Ker and
0= — y) = lim o o = lim
x=y.
0
Thus, any quasi-homomorphism ir± from A to B defines a *-homomorphism
= (irk, 7r) : QA — B satisfying the property ir(qA) C B®K. Let qA —, B®/C
be the restriction of ir. Conversely, using the Kasparov stabilization Theorem
1.4.2, one can show that each *-homomorphism : qA —, B ® /C defines (up to a
small deformation) a quasi-homomorphism from A to B. We obtain the following
definition of the KK bifunctor due to Cuntz.
188 8. HILBERT MODULES AND KK-THEORY
i3xf3j,
K(A1,B1) x K(A2,B2)
commutes. This gives an algebraic description for the Kasparov product.
The approach based on unbounded modules turned out to be a useful tool and
was used in a number of papers (see, e.g., [51, 25, 26]).
Among more recent results let us indicate the notion of a Hubert module with
boundary introduced by M. Hilsum, which allowed him to make progress in some
topological problems [52, 53]. Unfortunately, these results (and other applications
of the Hilbert C*_module theory to elliptic theory) need an extended presentation
of pseudodifferential calculus and other topics which are far from the main subject
of our book.
compact Hausdorif space X. The details and some generalizations can be found
e.g. in [121].
DEFINITION 8.5.1. Consider the set of locally trivial bundles E —+ X with the
fiber P P(A) and with the structure group of invertible continuous A-homomor-
phisms P P. We denote the symmetrization of the semigroup of the isomorphism
classes of such bundles (with respect to the direct sum operation) by K(X; A).
By HA-bundles we mean locally trivial bundles with the fiber HA and with the
structure group GL* (A).
LEMMA 8.5.2. Each HA-bundle over X is trivializable, i.e., isomorphic to X x
HA.
PROOF. This follows immediately from the contractibility of the structure
group (Theorem 7.2.2). 0
CONSTRUCTION 8.5.3. Denote by the set of all adjointable A-Fredholm
operators. Let
FE F : x '— F(x),
be a continuous family of Fredholm operators, x E X. Then (cf. Theorem 2.7.6)
we can choose an appropriate decomposition of HA such that = =
For each x E X there exists a neighborhood U, such that for any y
the map is an isomorphism onto its image. Since X is compact, one can
. Putn := min{n(xi),.. ,n(x8)},.Mj :=
.
commutative:
(10)
00
XXHA >XXHA
Here we have used Lemma 8.5.2. To prove injectivity, one has to construct a
homotopy connecting an arbitrary map F: X with X —p IdHA, where is
the set of operators of index zero. For F, one has [NFl — [CFI = 0, i.e., after taking
sums of these bundles and some trivial bundle X x one obtains an isomorphism
J:Npe(X
x x e La)) on the right-hand
side. Hence, taking ii + k instead of n and writing J fiberwise as J(x), define, for
t E [0, 1], the following family of maps:
E
F
for h E
Since the fiberwise perturbation is compact, the map takes values in F* and the
index is constant, hence, zero. For t = 1 one obtains a map to GL* (A), which is
homotopic (in the class of maps to GL* (A)) to a map into a single point, according
to Theorem 7.2.2. El
13. 0. Bratteli and D. W. Robinson, Operator algebras and quantum statistical mechanics. I,
Springer-Verlag, New York — Berlin — Heidelberg, 1981.
14. B. Brenken, Representations and automorphisms of the irrational rotation algebra, Pacific
J. Math. 111 (1984), 257—282.
15. L. G. Brown, Stable isomorphism of hereditary subalgebras of Pacific J. Math.
71 (1977), 335—348.
16. , Stable isomorphism of hereditary subalgebro.s of Pacific J. Math. 71
(1977), 335—348.
17. , Close hereditary C -subalgebras and the structure of quasi-multipliers, Preprint
MSRI 1121 1—85, 1985.
18. L. G. Brown, P. Green, and M. A. Rieffel, Stable isomorphism and strong Morita equivalence
of C-algebras, Pacific J. Math. 71 (1977), 349—363.
19. L. G. Brown and C. K. Pedersen, C-algebras of real rank zero, J. Funct. Anal. 99 (1991),
13 1—149.
20. M.-D. Choi and G. A. Elliot, Density of self-adjoint elements with finite spectrum in an
irrational rotation C-algebra, Math. Scand. 67 (1990), 73—86.
21. E. Christensen, E. Effros, and A. Sinclair, Completely bounded multilinear maps and
algebraic cohomology, Invent. Math. 90 (1987), 279—296.
22. A. Connes, et géométrie différentielle, C. R. Acad. Sci. Paris Sér. I 290 (1980),
599—604.
23. , An analogue of the Thom isomorphism for crossed products of a C -algebra by an
193
194 BIBLIOGRAPHY
33. J. Dixmier and A. Douady, Champs continus d'espaces Hilbertiens, Bull. Soc. Math. France
91 (1963), 227—284.
34. R. C. Douglas and C. Pearcy, On the spectral theorem for normal operators, Proc. Cambridge
Philos. Soc. 68 (1970), 393—400.
35. N. Dunford and J. T. Schwartz, Linear operators. I. General theory, Interscience, New York,
1958.
36. M. J. Dupré and P. A. Fillmore, Thviality theorems for Hilbert modules, Topics in Modern
Operator Theory, 5th International Conference on Operator Theory (Timisoara and Her-
culane (Romania), June 2—12, 1980), Birkhäuser Verlag, Basel — Boston Stuttgart, 1981,
—
pp. 71—79.
37. 0. A. Elliott, T. Natsume, and R. Nest, The Heisenberg group and K-theory, K-Theory T
(1993), 409—428.
38. 0. A. Elliott, K. Saitô, and J. D. M. Wright, Embedding AW* -algebras as double commutants
in type I algebras, J. London Math. Soc. 28 (1983), 376—384.
39. S. C. Ferry, A. Ranicki, and J. Rosenberg (eds.), Novikov conjectures, index theorems and
rigidity, Vols. 1, 2, London Math. Soc. Lecture Note Ser., vols. 226, 227, Cambridge Univ.
Press, 1995.
40. 0. C. Filippov, On C-algebras A over which the H%lbert module l2(A) is self-dual, Vestnik
Moskov. Univ. Ser. I Mat. Mekh. (1987), no. 4, 74—76; English transi., Moscow Univ. Math.
Bull. 42 (1987), no. 4, 87—90.
41. M. Frank, A set of maps from K to isomorphic to Enda(k)(l2(a(k))). Applica-
tions, Ann. Global Anal. Geom. 3 (1985), no. 2, 155-171.
42. , Self-duality and C -reflexivity of Hilbert C* -modules, Z. Anal. Anwendungen 9
(1990), 165—176.
43. , Hilbert C -modules and related subjects a guided reference overview, Leipzig
University. ZHS-NTZ preprint No 13, 1996, funct—anbabbage.sissa.it, preprint #9605003.
44. , Geometrical aspects of Hilbert -modules, Positivity 3 (1999), 215—243.
45. M. Frank and E. Kirchberg, On conditional expectations of finite index, J. Operator Theory
40 (1998), no. 1, 87--ill.
46. M. Frank and V. M. Manuilov. Diagonalizing "compact" operators on Hilbert W -modules,
Z. Anal. Anwendungen 14 (1995), 33—41.
47. M. Frank, V. M. Manuilov, and E. V. Troitsky, On conditional expectations arising from
group actions, Z. Anal. Anwendungen 16 (1997), 831—850.
48. M. Frank and E. V. Troitsky, Lefschetz numbers and geometry of operators in W5-modules,
Funktsional Anal. i Prilozhen. 30 (1996), no. 4, 45—57; English transl., Functional Anal.
AppI. 30(1996), 257—266.
49. P. Criffiths and J. Harris, Principles of algebraic geometry. Vol. 1, Wiley-Interscience, New
York, 1978.
50. K. Grove and G. K. Pedersen, Diagonalizing matrices over C(X), J. Funct. Anal. 59 (1984),
64—89.
51. M. Hilsum, Signature operator on Lipschitz manifolds and unbounded Kasparov bimodules,
Operator Algebras and their Connections with Topology and Ergodic Theory (H. Araki, C. C.
Moore, Stratila, and D. Voiculescu, eds.), Lecture Notes in Math., vol. 1132, Springer—
Verlag, 1985, pp. 254- 288.
______
BIBLIOGRAPHY 195
52. , Index classes of Hubert modules with boundary, Preprint 2001-03 Institut de
mathématiques do Jussieu, 2001.
53. , Hilbert modules of foliated manifolds with boundary, Foliations: Geometry and
Dynamics (Walczak, Pawel et al., eds.), Proceedings of the Euroworkshop (Warsaw, Poland,
May 29-June 9, 2000), World Scientific, Singapore, 2002, pp. 315-332.
54. A. Irmatov, On a new topology in the space of Fredholm operators, Ann. Global Anal. Ceom.
7 (1989), no. 2, 93-106.
55. K. K. Jensen and K. Thomsen, Elements of KK-theorij, Mathematics: Theory and Applica-
tions, Birkhkuser, Boston, MA, 1991.
56. B. E. Johnson. Centralisers and operators reduced by maximal ideals, J. London Math. Soc.
43 (1968), 231—233.
57. R. V. Kadison. Diagonalizing matrices, Amer. J. Math. 106 (1984), 1451-1468.
58. R. V. Kadison and J. R. Ringrose, Fundamentals of the theory of opcator algebras. \ToIs.
1—2, Graduate Studies in Math., Amer. Math. Soc., Providence, RI, 1997.
59. I. Kaplansky, Modules over operator algebras, Amer. J. Math. 75 (1953), 839-858.
60. M. Karoubi, K-theory. An introduction, Grundlehren Math. Wiss., vol. 226, Springer-Verlag,
Berlin — Heidelberg — New York, 1978.
61. V. A. Kasimov, Homotopy properties of the general linear group of the Hilbert module 12(A).
Mat. Sbornik 119 (1982), 376—386; English transl., Math. USSR-Sb. 47(1984), 365—376.
62. G. G. Kasparov, Topological invariants of elliptic operators, I: K-homology. Izv. Akad. Nauk
SSSR Ser. Mat. 39 (1975), 796—838; English transl., Math. USSR-Izv. 9 (1975), 751—792.
63. , Hilbert theorems of Stinespring and Voiculescu, J. Operator Theory
4 (1980), 133—150.
64. , The operator K-functor and extensions of Izv. Akad. Nauk SSSR Ser.
Mat. 44 (1980), 571—636; English transl., Math. USSR-Izv. 16 (1981), 513—572.
65. , Novikov's conjecture on higher signatures: the Operator K-theory approach, Repre-
sentation Theory of Groups and Algebras (J. Adams, R. Herb, S. Kudla, J.-S. Li, R. Lipsman.
and J. Rosenberg, eds.), Contemporary Math., vol. 145, Amer. Math. Soc., Providence. RI,
1993, pp. 79—99.
66. A. Ya. Khelemskij, Banach and locally convex algebras, Clarendon Press, Oxford, 1993.
67. D. Kucerovsky, Finite rank operators and fanctional calculus on Hilbert modules over abelian
Canad. Math. Bull. 40 (1997), no. 2, 193—197.
68. N. Kuiper, The homotopy type of the unitary group of the Hilberl space, Topology 3 (1965),
19—30.
69. A. Kumjian, On equivari ant sheaf cohomology and elementary -bundles, J. Operator The-
ory 20 (1988), 207—240.
70. E. C. Lance, On nuclear Ce-algebras, J. Funct. Anal. 12 (1973), 157-176.
71. , Hilbert C5-modules - a toolkit for operator aiqebraists, London Math. Soc. Lecture
type, Uspekhi Mat. Nauk 49 (1994), no. 2, 159—160; English transl., Russian Math. Surveys
49 (1994), 166—167.
80. , On eigenvalues of perturbed Schrödinger operators in magnetic field with irrational
magnetic flow, Funktsional Anal. i Prilozhen. 28 (1994), 57—60; English transl., Functional
Anal. AppI. 28 (1994), no. 2, 120-122.
______
BIBLIOGRAPHY
248.
103. A. A. Pavlov, Algebras of multipliers and spaces of quasirnultipliers, Vestnik Moskov. Univ.
Ser. I Mat. Mekh. (1998), no. 6, 14—18; English transl., Moscow Univ. Math. Bull. 53 (1998),
13—16.
104. G. K. Pedersen, C5-algebras and their automorphisni groups, Academic Press, London —
New York — San Francisco, 1979.
105. P. Popov and A. Buchina, Quasi-orthogonalization of functionals on l2(A), Acta. AppI.
Math. 68 (2001), 123—135.
106. P. 5. Popov, A topological criterion for almost orthocoinplernentation of all functionals on
12(C(X)). Mat. Zametki 65 (1999). no. 4, 636—640; English transi., Math. Notes 65 (1999),
no. 3-4, 532—536.
107. M. Reed and B. Simon, Methods of modern mathematical physics. V. 4. Analysis of opera-
tors, Academic Press, New York — London, 1978.
BIBLIOGRAPHY 197
(1974). 51—96.
110. , Strong Morita equivalence of certain transformation group -algebras, Math. Ann.
222 (1976), 7—22.
111. , C-algehras associated with irrational rotations, Pacific J. Math. 93 (1981), 415—
429.
112. , Continuous fields of C* -algebras coming from group cocycles and actions. Math.
(1990), 445—480.
115. W. Rudin, Punctional analysis, McGraw-Hill, New York. 1973.
116. S. Sakai, and Springer-Verlag, Berlin — New York, 1971.
117. H. Schröder, K-theory for real and applications. Pitman Res. Notes Math. Ser..
Longman Sci. Tech., Harlow, 1993.
118. V. V. Seregin, Reflexivity of modules obtained by the actions of a group. Vestnik
Moskov. Univ. Ser. I Mat. Mekh. (2003). no. 1, 40—45; English transi., Moscow Univ. Math.
Bull. 58 (2003). no. 1, 44—48.
119. G. Skandalis, Some remarks on Kasparov's theory. J. Funct. Anal. 56 (1984), 337-347.
120. , Kasparov 's bivariant K-theory and applications. Expositiones Math. 9 (1991), 193—
250.
121. Yu. P. Solovyov and E. V. Troitsky, C -algebras and elliptic operators in differential topology,
Amer. Iviath. Soc., Providence, RI, 2001.
122. V. S. Sunder and K. Thomsen, Unitary orbits of selfadjoints in some C' -algebras, Houston
J. Math. 18 (1992), 127—137.
123. M. Takesaki, Theory of operator algebras, 1, Springer-Verlag, New York — Heidelberg --
Berlin, 1979.
124. V. A. Trofimov, Reflexivity of Hilbert modules over the algebra of compact operators with
adjoint identity, Vestnik Moskov. Univ. Ser. I Mat. Mekh. (1986), no. 5, 60—64; English
transi., Moscow Univ. Math. Bull. 41 (1986), no.5, 51-55.
125. , Reflexive and self-dual Hilbert modules over some C -algebras, Uspekhi Mat. Nauk
42 (1987), no. 2, 247-248; English transl., Russian Math. Surveys 42 (1987), 303—304.
126. E. V. Troitsky, The classifying space of a K-functor related to a Vestnik Moskov.
Univ. Ser. I Mat. Mekh. (1985), no. 1, 96—98; English transl., Moscow Univ. Math. Bull. 40
(1985), 111—115.
127. , Contractibility of the full general linear group of the C*.Hilbert module l2(A), Funk-
tsional Anal. i Prilozhen. 20 (1986), no. 4, 50—64; English transl., Functional Anal. Appl. 20
(1986), 301—307.
128. , The eqivariant index of elliptic operators over Izv. Akad. Nauk SSSR
Ser. Mat. 50 (1986), no. 4, 849—865; English transl., Math. USSR-Izv. 29 (1987). 207—224.
129. , Orthogonal complements and endomorphisms of Hilbert modules and
complexes, Novikov Conjectures, Index Theorems and Rigidity, Vol. 2 (S. C. Ferry, A. Ran-
icki, and J. Rosenberg, eds.), London Math. Soc. Lecture Note Ser.. vol. 227, Cambridge
Univ. Press, 1995, pp. 309-331.
130. , Functionals on 12(A), Kuiper and Dixmier-Douady type theorems for
modules, 'frudy Mat. Inst. Steklov. 225 (1999), 362—380: English transl., Proc. Steklov Inst.
Math. 225 (1999), 344—362.
131. , Discrete group actions and corresponding modules, Proc. Amer. Math. Soc. 131
(2003), 3411—3422.
132. A. Valette, Les fibres en thdorie de Ko.sparov, Mem. Acad. Roy. BeIg. Cl. Sci. XLV (1988),
no. 6.
133. Y. Watatani, Index for C*.subalgebras, Mem. Amer. Math. Soc., vol. 424, Amer. Math. Soc..
Providence, RI, 1990.
134. N. E. Wegge-Olsen, K-theory and Oxford Univ. Press, Oxford. 1993.
198 BIBLIOGRAPHY
135. S. L. Woronowicz, Unbounded elements affiliated with C* -algebras and non-compact quantum
groups, Comm. Math. Phys. 136 (1991), 399—432.
136. S. L. Woronowicz and K. Napiórkowski, Operator theory in the C* -algebra framework, Rep.
Math. Phys. 31 (1992), 353—371.
137. S. Zhang, Diagonalizing projections in multiplier algebras and in matrices over a C -algebra,
Pacific J. Math. 145 (1990), 181—200.
Notation Index
a112 1 4
a> 0 24 LC(A) 105
a0 1 LM(A) 105
I M' 27
A" 56
M
1 19
/3-urn 114 M(A) 102
Co(X) 80 19
DC(A) 103 6
GL 50 43
GL 52 29
E:A—.B 6 pVq 71
EndA(M) 15 pAq 71
16
P(A)
29
6 RC(A) 105
flB 42 RM(A) 105
HornA(M,H) 15 RR(A) 147
16 s-tim 55
index F 36 Sp(A) 1
/C 19 tsr(A) 149
IC(M) 18 65
IC(M,Jsf) 18 65
ICA 123 18
8K(M,Jtf) 32 w-lim 55
K(E) 87 27
K(A) 33 La 3
Ko(A) 33 114
33 Z(A) 57
KK(A, B) 182 5
12(A) 6 e 5
12(M) 6
199
Index
201
202 INDEX