This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
G = /(p(r)ks(g)hlks(g)k)Z~s)ds G =//g(s-ltr)h(tr)g(s-lt)k(t)A(s)dt
ds
G×G =~g(str)h(tr)g(st)k(t)ds dt GXG =/(/
gV(rs-l)g(s)ds)h(tr)k(t)dt
G×G = / ( @ ~ . g)(r)h(tr)k~dt = ~(r)(p(r)hlk) • G Thus, we get
/
~ks(g)h,ks(g)kA(s)as = ,~n,k
"
G
Therefore~ we finally obtain the following: (~((i ® g*)5(y)(1 ~ g)),(~ e ~h,k )
= (~(y),~® ,~h,k> = <~ o ~ ( y ) , ~
~ ~h,k >
Q.E.D.
Let [~,%,~]~ and [N~,$~,~¢} be the GNS representation of with n and $ on ~. Let respect to faithful semi-finite normal weights (resp. .¢) be the set of x c ~ with ~0(x*x)< (resp. ¢(x*x) < ~). We denote by S¢,~ the closure of the conjugate linear map: ~(x) ~n~,(x ), x ~ n O n~. Denote the polar decomposition by s~,~ = j¢,~ ~!/2 ,~, . Then J~,~ is a conjugate linear isometry of Dq0 onto ~ singular positive self-adjoint operator on %.
and Z~¢,~ is a non-
Proposition 1.7. Let ~ be a faithful semi-finite normal weight on ~. and = ~ o s-1 o ~ . Then
45
(i)
is a faithful semi-finite norm~%l weight on
~
(ii>
if
~
=d
~
unitary representation of u(J
G
canonically implementi~gz ~,
then
u
is the
J~ = (Jq0 ~ J)u@=
®J). Proof.
Assume that
~
n = g(O,~P,)nqf 6) Then n 0
is standard,
i.e.,
turns out to be
(x.
~),' s ) . x~(s)
[ ~ , $ ] = [i~0(~0,~0, }.
an
~(x)
,[x :r~ % (y( r - l ~ ~ ) ~"-= n(s~
s (~(s-1)) × .
=/;~(x(s))(1
',~ K ~ ) )
~x
~J
Then
~
is
a-weakly dense in
into
~ ® L2(G)
by
n:
G.
x ~ n ~,
m ×~
G
by
n~.
We denote the linear map of
x ~.,
s ~
~:
n
a .
is a left Hilbert aJ.gebra with respect to
n(x)n(y) and dense in
into
n 0 n~
Js ,
(~(~))(s) = n ~ ( ~ ( s ) ) , ~(n N n~)
We s e t
involutive algebra with respect to
We denote the involution preserving isomorphism of
Then
~ ×~ G;
~ e the modular unitar~ involutions and
~ @ L2(G).
Define
= n(x . Y), ~
and
2
:~(x)~ = n(x ~)
by
m(~]-itA it I
t c ~
by the uniqueness of standard
Since J~,.~ = J
Form
.
and so, for
(~,(x ~ ) )( s ) = a( s )i/2u (s ) ,4,,n~(x~(s-i )) -1 o
= n(s) /~u(s) Jq~n~(~-s~X(S)*)) A(s)-i/2J~n =n(~)
-i
_~(s)*) ~°g~S
o
/ ~ j s q~~co0~l - , c? ~cc," ' x '~ s ) )
= (ff~/2n(~))(s) it follows that algebra 6)
~ / JI12 A
'q(n n n#). K(G,~) = support.
,
is the closure of tile involution
The canonical weight The space of
~
on
~X~ G
#
of the left Hilbert
is given by
~-walued continuous functions on
G
with compact
46
:
Therefore,
S¢ =' 7 ~ I/2
and hence
~((~ .~ ~)(e)) J~ = 7
or
9(-
: ~ o ~-i
J~ m = ~"
o eS(~(~ ) ~(~))
.
Q.E.D.
NOTES
The g e n e r a l t h e o r y o f o p e r a t o r v a l u e d w e i g h t was d e v e l o p e d by Haagerup~ [ 3 3 ] . On the other hand, operator valued weights associated with an action or a co-action are treated i n d e p e n d e n t l y i n [11,,34,1!2,!~6,60] .
47
§2.
Integrability and operator
w.
We begin ~¢ith the definition of integrability: Definition 2.1.
An action
is said to be integrable,
in §i is semi-finite, namely, For example,
~G
~
(resp. co-action
5)
of
if the operator valued weight
and
Pe
5G
(resp.
p5 )
is
g~
G
on
~
(resp.
o-weakly dense in
are both integrable.
(resp.
gS) •
~)
defined (resp.
if).
By virtue of Proposition 1.6 a
dual co-action and a dual action are integrable. Lemma 2.2. with any
(a) If C is integrable and + ~o ~ ~*' then we have
(2.1)
(~ ® g)(O~x)) = ~(X)UG(g) ,
(b) + ,J 6 ~., o
If
5
is integrable and
x ~ ~o '
,,~i= (*~o ° g5 (or
(~o ® ~G ) ° O),
g ~ LZ(G)+
(~o ® '~fG) ° 5),
with any
then
(2.P_)
(',~® ~)(5(y))
Proof.
(a)
= '~(y) ~(1)
,
Y : PS'
~ e A(G)+
Our assertion follows from the fact that: e~(~s(X))
(b)
~ = :~o ° gC (or
We may assume that
= a(s)-~(x)
y e p~.
for
x ~ ~
.
Then we have
(~ ® ~)(5(y)) = ~(5(y)) = <~5(5(y)),(~o > =
sup< ~(5(y)) ,~o > ~ sup< 5o(5~(y)) ,~o > CeF
teF
= <~(~5(y)),~ ° ®
~> by
= <e~(y) ® 1,~ o ® ~> =(0®~)(y®1)
(1.24),
.
Q.E.D.
We now present the main result of this section: Theorem 2. 3. a unitary
w
in
If
~
is standard and
£(R) @ ~(G)
5(z) =
(w*®
Proof. integrable, @ ~(G)
Let
~ = '~o ° g5
'~ @ SG
~,
is integrable on
then there exists
such that
(2.3)
(2.~)
5
w*(z ® Z)w ,
1)(L ® q ) ( w * ®
l) = (L @ 5G)(W*)
.
~ on ~. Since 5 is o semi-finite, normal weight on ~ @ 9(G). Since
for a faithful normal state
is a faithful
is standard, it is assumed to act on the
L2-cQmpletion
of
.~ ® , '~G"
48 For any
xj e u., and ~
yj ~ u.. ~ "G
we have
2
,~- xj ~ yj.[,~G :
~*~. s y~y~)
(~,, ~ ~,~)(~(x~.~j))
:E
= (~, ~ ,~.s)(E(~ ~ ~)
b~ (~.2) ,
*~,(x~xj)(1 e yj))
= IIE~(x])(~ ~ ~)il,~a
•
Therefore we have n 5(xj)(l ~ yj) ~. ,,, , ~';'G
j=l We define an isometry
w*
(2.6)
on
w%,~
for
x. c u , J '~"
yj ~ ,. '~G
L2(n ~ 9(G),'~ ~ '~G) = ~ ~ L2(G)
(j:l .... ,n) .
by
,,(x e y) : -,~:~,,,(,~,<x)(1~ y)) .
For the moment we assume that
w
is unitary, which will be proved later in a series
of lemmas. For any
z £ ~l, we have w*(z ~ l)~.,~@,,~(5(x)(l ~ y))
, ( zx = w* ~ ] : n ~ G
~
y)
= ~L,~,~,G(~(zx)( i ~ Y)) = S(zh~.%(S(x)(1
By the assumption on ® L2(G). Now, if
w,
the set of all
~ y)) .
5(x)(l @ y), x -c ,~, y e "~G
Thus (2.3) is obtained. f,g e LI(G) n L2(G),
then
8a(,,o(fb)(1 ~ ~,(gb) ~ (p ® p)((w$~ ® ~ ) ) ~ ) and so
(2.7)
=
~.c ~ ¢o(( o ~ p)(@~(f ® ~)~e~)
= %%®,.a(~G(o(r 5)(J- .~ o(g ~))) .
is total in
49
Therefore, if
x 6 ",0 and
a,b 6 n, , then with ~G
Y = '~ ® "G ® ~'G we have
(w* ® 1)(L ® o)(w* ® l)riy((x ® 5G(a))(l ® i ® b)) = (w* ® l)qw([(L ® ~) ° (5 ® g)(x @ i)}(i ® 8G(a))(l ® i @ b)) = q%,(((5 @ I-)5(x))(l ® ,~G(a))(i @ i ® b))
= r~((~ ~ ~o)(~(x)(i~ a))(i ~ I ~ h)) = (i ® WG)qy( (
® g)(x ® i)(i ® a ® b))
by (2.7)
= (1 ® Wg)(w* ® 1)qy(x ® a ® b)
= (z ~ w~)(w* ~ 1)(z ® w~)~W((x ® ~o(a))(z ® 1 ® h)) , Q.E.D.
which entails (2.4) Before going into our lemmas, we note the following facts:
(2.8)
So( ,,,,~G) c ,,VG® '¢'G"
(2.9)
SG(.,~o)(l ®.~,G) c U~,GS,,:G ;
(2.i0)
.¢G(~(f)~p(g)*)
= ~(~(g~
. f))
.
Indeed, (2.8) and (2.9) were proved in the above proof.
Equality (2.10)
follows from the calculat~ on:
%(p(f)p(s)~)(~)*)
= (flo(s)g)
= (g~ * f ) ( s -z)
(2.ii) =(~(s)*(g ~ * f))(e)
Len~ua 2.4.
If
'~ = "~o °
(2.i2) for all
for some faithful
+
~='o ~ ~*'
.
then
(,4 ~ CG)(5(a)*(b ® p(h))) = (~ @ CG)((a*@ l)5(b)(i@ p(hv))) a,b ~ "9
Proof.
(2.13)
g5
= ~o(p(s)o(.~ ~ * f ) )
and
For any
(,~
f,g,h e A(G) O K(G),
we have
,@G)(SG(p(f))(p(g) ® o(h))) = (wlG ® ,$G)((p(f) ® i)BG(p(g))(l®p(h")))
by direct computation. hl,h 2 ~ L2(G).
h ~ A(G) ? ~(G) .
Put
Since
h c A(G),
it is of the fore
Y = ~o ® '~G ~ ~IfG" For each
x,y ~ ~,
h~ . h I
for scme
we have, by (2.10),
50
(Y ® o(g) ® ~(h2)*l(~ ® ~)(x
®
~(f))*(l @ i
®
D(hl)*)) #
= ~((~ ® S~)(x ® ~(f))(y ® ~(g) ® ~(h2~. hi))) (2.14)
= T((x ® ~(f) ® i)(~ @ 5G)(y ® ~(g))(l @ i @ ~(h I . ~2)))
= ((~, ® ~ ) ( y
® ~(g))(1
® 1 ® ~(~l)*)l(x
® ~ ( f ) ® ~(~2))*),t,
,
where the second equality follows from (2.13) and v
(2.15) Since
(h~. hi)" = hi . ~2 K(G) ~ L2(G),
it follows that
y ® p(g) ® P(h2)* c n# Since
and
~(hl)*
, p(~2)* ~ .,,, ~'G
5G(p(g))(l ® ~(~i)* ) ~ ,¢G@~IG , it follows that
(~ ® ~G)(y ® p(g))(l ® I ® p ( l l ) * ) We fix these elements.
~ .~
Then (2.14) is extended uniquely to
as a bounded linear functional of Replacing ( x ® p(f))* by 5(a),
x ® D(f). we have
Since
L2(~ @ R(G~,w ° ® ~G )
a e uS, we have
5(a) ¢ n o®@G.
( y ® p(g) ® P(h2)*l (t) ® #)(5(a))(1 @ 1 ® P(hl)*))~f (2.16)
= ((~ ® ~o)(y ® p(g))(l ® i ® p(~i)*)lS(a) ~ ~(~2)*)~ Similarly,
P(h2)* , p(~l)*~
5(a)(1 ® P(hl)* ) ~ q~ ®'@G' o
u
and 5(a) ~ P(h2) '~G it follows that
c~ uy. Since
(~ ~ O(~(a))(l ® i ® P(hi)*)~ "~ . Therefore, (2.16) is ex~ended uniquely to L2(n @ ~(G), ~o @ @G ) as a bounded linear functional of y ® p(g). Since b e qS' we have ~(b) ~ "Wo@~G" Replacing y ® p(g) by 5(b), we have (5(b) @ P(h2)*l(5 ® ~)(5(a))(l @ 1 @ P(hl)*)) T •
(2.17) = ((s ® O(s(b))(i Since
a,b c qs'
® i ~ p ( ~ i ) * ) l S ( a ) ® P(h2) )y
each argument belongs to
uy.
Therefore, (2.17) gives our desired
result (2.12) by using (2.10) and (2.15). Len~na 2.5. If w is a faithful, semi-finite~ normal weight on then
(2.18)
$ ° ~
= ( ~ t ® ~) ° ~ "
Q.E.D. satisfying (2.12),
51
Proof.
P~ virtue of ~he KMS condition,
there exists a function [~ e C : 0 < I m
If
a
~ < ~
F
for any
x,y ~ .~
® V. and f~ A ( G ) 0
(G),
continuous on and holcmorphie in the strip
such that
F ( t ) = (w®,$G)( ~
( x @ p ( A - l f ~ ) ) 5(y)) ;
F(t + i) = (~ @ ¢G)(5(y)~t
(x @ p(A-If ~)))
is an analytic
element in
(2.z9)
g(G)
with respect to
CG(ab) = CG(t~ CG_ (a))
~
CG
,
then
.
Since
¢ (2.20)
dte(p(f))
= p(A ~-:; f) ,
t c ]R ,
it follows that w F(t) = (w ® ¢G)((ot(x ) ® 1 ) 5 ( y ) ( l ®
~G v o t (o(f))))
~G = (~ ® C G ) ( 6 ( ~ ( x ) ) ( Y ~ % t ( p ( f ) ) ) )
(2.2Z)
by
(2.12)
= (~ ® %)((~ ® o G)(s(~(x)) (y ® p ( f ) ) ) ) , and
f))))
by
(2.12)
(2.22)
= (~ ® %)((y ® p(f))(~ ® ot%(~(o~(x)))) • If
z ( n ,
that
then
6(z)
llZn-'5(z)'IJ®$G
is approximated and
by a sequence
llZn*-5(z)* j@,$.G
ccnverge to
and (2.22), there exists a sequence of functions in the strip:
0
~ < 1
[Zn}
G
n
in
0.
Therefore,
~G
~a Gn(t + i) = (~ @ ,~G)(Zn(L ® o t )(5(~t(x)))) Further we set
(2.23)
G(t) = (.~ ® CG)((b ~ o ¢G t ) (~(o~(x)))S(~))
j
LG ( t
such oy (2.21)
continuous on and holomorphic
such that
Gn(t ) = (~ ® SG)((L ® a t ) ( 5 ( ~ t ( x ) ) ) z n)
f-
"~ @ "~G
+ i) = ('., ® SG)(6(z)(L ® atG)(6(gf(x))))-~
.
52
Since [Gn(t)-G(t)I
< iIZn-~,~(z)iI - -
~
;*~(ot(x))iI.;@,iI G
~I'G
[Gn(t + i) - G(t + i)l --< Iz* n -
it follows that G(t + i))
Gn(t ) (resp.
Gn(t + i))
on each compact subset of JR.
is a holomorphic extension of symbol
~ ~ ' II'?(Ct(X))-)(-II~j~I~C_
G~
such that
G
n
G
converges uniformly to
G(t) (resp.
The three lines theorem implies that there
to the strip
0 < Im ~ < l,
converges unifoz~ly to
G
denoted by the same
on each compact subset of the
same strip. Finally we shall go into the proof of (2.18). under
& @ G~ G
by (2.20)~ there is an action
~
(~ ® ~t )(5(y)) = }(yt(y)) Since
'2 = ('0 @ ~G ) ° 5~
define
~t
Then
on
5(~)
by
is an action
of
,, is
]R
on
y
invariant.
As
~(~)
of IR ,
on
is globally invariant ~
such that
y ~ n •
Hence
~
commutes with
c ~.
We
~(~q). Indeed,
,i,
.f
"G ) ° 5 o qs+t(y I~' Cs+t(~'~(y)) = (g ® qs+t ) = (i ® q ] G )
o 5 ° a '~ s ° (~t ° ° - t ( Y ) )
= Os(5(~t o ~t(y))) = ~s(Gt(~'~(y)))
and the map: indicates ~(~).
t ~ ~t(5(y))__
that
~
is the
Consequently,
is ~-weakly KMS
continuous
automorphism
of
(~ @ G t j ° 5 o G t = ( c t ~ c
for each
t ) o 5 on
The following lemma verifies the assumption on Le~ma 2.6.
If
w
y £ ~.
~ ® %G ~5(~),
w
~
Therefore,~
i.e.
(2.23) on
~t =~Jt $~G
and (2.18)holds on
~ Q.E.D.
in the proof of Theorem 2.3:
is a coisometry defined by (2°6), then
w
is a unitary
satisfying
(2.24)
w(4~ ® l) w* = :L ~ 1
(2.2~)
w*(J®®C) =(J ®c)w,
where 9,
~ and
and C
Proof.
J
is the conjugation: Let
a
If
z ~ q j,
are the modular
then
qa
operator
f £ L2(G)
be the set of analytic
and the modular ~
unitary
involution
£ L2(G). elements
in
with respect to
G uJ"
for
53
i
=
(~ @ 3_),~:o@,~G(.~,(oi/2(z))(1 @ p(h))) ±
= (~@
(2.26)
J-)>o@%((%"~2 @ O(.~(z)(1 @ o(h)))) by (e.~_8) ,
--- -~o,@,~G(~(~)(! @ p(h))) = w no @ , z @ p(h))
1 1 (Z~ ® l)w*(A 7 ® i) = w*
which gives
a x,y ~ q,~
For any
(w*(x @ v(f)*)lY ~ = (,,~ ® ¢ G ) ( ( y *
and
f,g c ~(G)
.o(g)
),o®,}G
® 1)5(x)
(l
~ p(f#
on
,
a q, @ ,
.
we have
* g)))
by
= (.~, ~ %)(~(y*)(x @ 0(~ * ~)))
(2.12)
,
by (2.19)
,
= (,~@ ~,,G)(~(y*)(l@ ~(#))(x @ p(7))) = (.~, @ % ) ( ( o ~ ~, (x) = (w*(y*@
@ p ( ~ ,--f ) ) ~ ( y -x-)( 1 ® ~ ( ~ ) ) )
p(gV))lo:_~i(x*) @ s(f,,))a,®¢ G l
= (w*(~'j;aj@ Cp(g)*)I/~ a~x @ cp(f)*)~@% I
c)(x @ o(f)*)).@%
= ((~] @ ~)w*(a~- @ z)(a @ c)(y ~ p(g)*)l(% = (x @ o(f)*l(a:,, @ C)w*(a @ c)(y ~ p(g )* )),@,,
by (2.26) .
YG
Thus
w*
satisfies
(2.25)
and so
w
is a unitary.
Using the same computation
as
(2.26) we have
1 w(A~:
Since
1 @ 1 ) w e = A g~, ~ 1
both sides are self-adjoint
operators
on
a q~ @ n~,O .
with the same core
qa ® ~
,
CG
(2.21-).
we have
Q.E.D.
NOTES
The importance is taken from [ 60].
of the integraole The integraOility
action was first pointed
out in [14]. Lemma 2.5
for the Kac algebra version was given in [ 25].
54
§3.
Inte~rable actions and co-actions. In this section we shall give a characterization
actions, assuming the proper infiniteness Theorem 3.1.
If
~G
of integrable actions and co-
of the fixed points algebras.
is properly infinite, the following three conditions are
equivalent: (i)
G
(ii)
is integrable; For any non zero projection
such that
x = fxf
f ~ T~ ~ C, there exists a non zero
x ~
and
(~.l)
(leV~)~(x)
=x®l,
or equivalently (~t @ L)(x) = (i ® X(L))*x
(iii)
[ ~ ' ~ ~ [~'~]e
Proof.
(i) :~ (ii):
z ¢ q~
with
Suppose
~
z ® i = f(z @ !)f.
(3.2) for
for some projection
Then
e
in
is integrable.
For a~Lv g { K(G)
(x{)(s) = A(s)~s(Z)- L ~ { ~ $ ® L2(G).
;
fxf=x.
, =
Since
j
z {0,
~'~-~. Then there exists a non zero we set
g(t){(t)dt we have x ~ 0 .
Since
Ilxmil2= jIl~s(Z)~ 2A(~)d~ = <~(z*z),,~> II~(z*z)ll II~!i2 ~ i~(z*=)ll IIg,l~ I1~I1~ , x
i s bounded on
(3.2),
then
~ ® L2(G).
[x,x' ® i] = 0
((1 ® v~(x)~)(s,t)
If
we r e p l a c e
and so
~
x ~ ~.
by
( x ' ® 1)~
with
x'
~ ~'
in
Since
: A(t)~(~(x)~)(t-ls,t) ~t)½~t(x)~(t-ls,t) £
i"
by (3.2) ,
A( t)GA( t-ls ) ~ t (~t_is (z) ) J g( r)~( r ,t)dr A( s)~Gs( z)fg( r)~( r,t)dr ((x ® 1)~)(s,t)
we have
x = fxf
(ii)----~(iii): set of all defined by
x e ~
,
satisfying (3.1). We use the
2 x 2
satisfying (3.1).
matrix method due to Connes. Let
a
be an action of
G
on
Let
~
~ ® F2
be the
55
(3.3)
"/to : ¢ x l l
Xl2~
\x21
(
~--t(XlzL)
x22/ ~ >
~t(x]A~)(1 N ) ' ( t ) ) * ~
X(t)),,~t(Xpl)
(I N
,~t(x22)
/
"
Therefore, i f x e J, then x @ e21 ~ (~ ® F o) ~. Then condition ( i i ) implies that the c e n t r a l support of 1 @ e l l in (~ @ F2)~ is majorized by the c e n t r a l support of I @ e22 in (~ ® F2)Y. Since i~,.~ is properly i n f i n i t e and ~ @ C ® e22 is contained in ((~ @ F 2 ) Y ) I ~ e 2 2 , i ® e22 Noreover,
l®ell
Therefore, w e J
is
(~. ® F2)~ ,
there exists an isometry
by (3-3)(iii)
ble on
c-finite in
Put
: (i):
~ .
e = ww*
Since
Thus
~
~
w e ~,
Then
•
is also properly infinite in
e e
~(L'-(G)),
~
~
{~(x] = {i~.~}l®p~
(~ is integrable on
~
and
by (iii).
--
--i
1 ® p e: ~'~and hence
(~
in
(~ @ F.2)~o
w ® e21 e (i~.® F2)7
implies
and (iii) is proved.
is integrable on
is integrable on
then
i ® ell < i ® e22
because
.) e in
so
(~i® F2)~.
®
p
e ~ ~-~'~,~e If
p
is also integra-
is a minimal projection -
is integrable on
~'l®p"
,~..
Since Q.E.D.
Next we shall consider the dual version of the above theorem. Theorem 3.2.
If
~%5
is properly infinZte~ the following three conditions are
equivalent : (i)
5
(ii)
is integrable; For any non zero projection
such that
y = fyf
there exists a non zero
y c
( 1 @ WG)~(y ) : y ® 1 .
(3.k) [~,5-'}
(iii) Proof. such that xj ~ q5
~ [~'~}e
(i)=>(ii): z = 5 (z)
and
for
some p r o j e c t i o n
Suppose that
for some
aj s n~ G
(7.b) where
f £ ~%'~"® C
and
e
~x
we define an operator
y
Thereex~stsanonzero
a non zero
d~.,
•
z~q5
For any
~G
by
(~
, ~ aj) = x~, z ,$fG(a aj)'i.,:~
!,~ is a faithful, semJ.-finJte,
~.
~ is integrable.
0cA(G) 3]{(G).
r~,.,¢,k(~.x j ~-" .~
in
normal weight
"~'G
(,,,i ° ~ ,)G) o 5
on
, ~% for some
+
faithful
~o ~ 'ft.. Since
,I
,'. .. E ".+,,.l,,l*,:j
<~(z*z),; ~q0) _< LzllOi(~ ~ )%.) for some
'.,~t.,),,x i''7''
~ 1 ) ! L oJe
" 7'C,(
< and r:er,cc,,oy
II z + (~**:~.j~. 1;
I!2
(X
(~'<'s . . . . )'
j
,,.
~'., ~.(,:i*~. ~(<" ' * , ;s '" , j )x j ) ~ " '-"..,,'.~,,... '
~',.(,~*'-~ ,; :<. ;.x.K )*~':z ~..,u*,,.).~.,. ,; <, d )x]'
2 < :lJl: -
":G(d~aJ)5(z)(xJ ~
,
>
;!
71 I x
X"
~ "t~"
. . . . . . .
1Ill2
~Jz > O,
" '~®?O--
II/
< ~
z
il<]VtjI
-¢]~
~u e
lldl12
'iJ,,
CG
iI
'
Xx.
a
~
a. "2
8'['*'@'1+'G
we have
56
Since y
q5
is dense in
h
and
z ~ 0~ 5 ( z ) ( x ®
i)/
0
for some
x
q~ .
(I
Therefore
is a non zero bounded opermto_r. In our proof we may assume that
identified with the L2-completion
5(z)(y'x @ l) for all
.
of
It remains to show that
y
is standard.
"~@'@G'
Therefore
and that
~ $ L2(G)
N' ® C
is
acts on it.
Since
(y, @ 1)5(z)(x ~ l)
y' c N' , (3.5) implies that
0 e A(G) ~ ~ G ) ,
N
[y,y' ~ i] = 0,
satisfies (3.4).
it follows from Lemma 1.5
that
and hence
Since
y
~I
~ "
z = 5 (z) for P ~-weak limit of
5(z)
is the
/50(r)'iI; (z) ® D(r)dr . For any
b e "'@G we set
(3.6)
F(r,@) : g((.%p(r).~,(z)x) @I i)(i @ p(r) ® b) .
Then F(rp@) = ~($,p(r).L(z) @ i)~(l ® p(r))~(x ® i)(l @ i ® b) = ~(Sp(r)*~(z ) ® p(r))~(x @ i)(i ® i ® b) , so that lira £F(r,,$,)dr : ~(5(z))~(x @ i)(i ® i ~ b)
(3.7)
'~ = (~ @ "%G)(Z(z))~,(x ® i)(i ® i ® b) ,
where the last equality follows from standard and
5
is integrable,
8
a o 5G = %G"
satisfying (2.3) and (2.4) by Theorem 2.3.
(3,8) Put
Since
N
is assumed to be
w
is implemented by a unitary
in z(~){~(a)
Then
~(y) = A(~ i~OXW*(~l)(y ® l) • Y = ~ @ '~'G® '~G" Since, for any
x e q5
and
a,b c "~G'
we have
((~ ® ~)(w* ~ l))(y ~ I)((~ ® o)(w ~ i)h~(~(x ® i)(i ® a ~ h)) = ((~ ~ ~)(w* ~ i))(y ~ I)TI~(x ~ a ~ h)
by (2.6),
: ~G(d%)((~ ® ~)(w* ~ l))~W((~(z ) ~ l)(x ~ i ~ h)) by (3.P) , : ,~G(d*a)((& ® ~)(w* ~ i)) lira £~(((~p(r).¢(z)x) ~ i)(I ~ p(r) ~ h))dr : ~'a(d*a) ~im / W(~((~ (r).¢(~)~) ® 1)(~ ® ~(~) ~ b)) dr
57 i
= CG(d*a) lira i ~Iy(F(r~Ij))dr ¢ J
by (3.6)
= '@'G(d*a)~iy((L ® ~3G)(5(z))~(x ® i)(i ® i ® b))
by (3.7),
= '$G(d*a)(1 ~ W~)~,~((~(z) ® 1)Z(x ® 1)(i ® i ® b)) by (2.7), = ( 1 ~ W~) (y ~ l) T~ (~( x ~I i) ( 1 ~ ~ ~ b)) ,
by (3.5),
which gives (3.4). (ii) ~ (iii): = Ad I ® W G
Let
J
be the set of all
~ , we have a co-action
o
{
(3.9)
Therefore ~ x i j
=Ad
o (~®~
®~)
~
of
o
(~
y ¢ ~
with (3.4).
G
~ ® F2
on
defined by
~)
V
v = (~ ® L @ ~)(1 ® 1 ® 1 ® ell + 1 ® W G @ e22 ) .
® eij e (~ ® F2)~
xll ~
if and only if
, x12 ¢ ~ , x21 ~ J
and
x22 E
Condition (ii) implies that the central support of is majorized by the central support of properly infinite,
Since
1 ® 1 @ e22
i ® i ® e22
in
.
i ® 1 ® ell in (~®F2)~ (~ ® F2)~. Since ~5 is
is also properly infinite in
(~ ~ F2)~.
1 @ 1 @ ell is G-finite in (~ @ F2)C ~ 1 ® 1 ® ell < l ® l ® e22 in Thus there exists an isometry u in J. Put e = uu*. Then e c-~5
Since
(~ @ F2)~. and (iii) is
established. (iii) => (i):
This follows from the similar arguments to those in the proof
(iii) ~ (i) in Theorem 3.1.
Q.E.D.
According to Theorems 3.1 and 3.2, we have a stronger result than (1.32) and (1.34). Corollary 3.3 (a) (b)
If
Proof. ~}
5 (a)
~ ~'~]e
~(L2(G)).
Then
If
G
is integrable~
is integrable, The case where
~
is properly infinite:
for some projection i ® p c
the above equivalence.
g(~(pG) = ~ .
g5(%5 ) :: h5.
e c ~.
Let
p
Since
I
is integrabl6,
be a minimal projcetion~ in
, which corresponds to a projection Therefore
G
f c ~G
through
58
Since
~ is dual,
~
= ~,(~)
preserves this equality. The general case:
Put
is an integrable action of ~(~) of
by (1.3~,).
~ = • @ F G
o~
~
and and
= ,~o~. Take a minimal projection
~. (b)
Since
f c ~.~, the induction
if
of
Thus (a) is obtained° ~ ~- (L ~ a) o (a ® ~)
~8
is properly infinite.
p ~ F
on
~.
Then
Therefore
and consider the induction
~l®p
Then (a) is proved. Similarly as above.
Q.E.D.
NOTES
In Theorem 3.1, the equivalence (i) <=> (iii) due to [47 ]. [47 ]
In Theorem 2.2. the implifications
and the implication (i)
> (ii) is new.
is due to [i~4] and the rest is (ii)
~ (iii) ~> (i)
are proved in
59
§ 4.
Dominant actions and co-actions. In this section we shall introduce two new concepts "semi-dual" and "dominant"
for actions and co-actions, and show the implications : "Dominant" :=~ "Dual" = ~ "Semi-Dual" =-> "Intregrable" Definition 4.1.
An action
there exists a unitary
G
(resp. co-action 5)
v e • @ ~(G)'(resp.
(4.1)
is said to be semi-dual, if
u ~ ~1 ~ L~(G))
such that
~(v) = (v @ i)(i ®V'G)
(4.2)
(resp.
~-(u) = (u ~ i)(i ~ WG) )
It should be noted that if Moreover, if
~
or
~
t~ (resp.
'5) is dual, then it is semi-dual.
is semi-dual, then it is integrable by Theorems 3.1and3.2.
Condition (4.2) is equivalent to the condition Chat for each exists a unitary
u(t) 6 ~
such that
t ~ G
there
5(u(t)) = u(t) ® p(t).
From the above definition the following corollary is immediate by considering the fixed point subalgebras. Corollary 4.2.
If
and
~
(4-3)
m x
G ~- ,~i ~ @2(L2(G))
;
(~..4)
'n x 5 G % r ~ ~ ~(:B2(G))
.
Definition 4.3.
~
An action
are semi-dual, ~hen
(~ (resp. co-action
5)
is said to be dominant
if (i)
Q
(resp.
5)
(ii)
~
(resp.
I%5)
is dual; is properly infinite
In the above definition,
(4-5)
condition (ii) implies
{g,,,(~} g {~.,~--} (resp.
If we combine this with
(4.6) a
[~,?)} T ~ , ~ } )
•
condition (i), then
[~,,C~] g f~,~} (resp.
f o r any dominant
.
(resp.
[~t,~} 7 {~,~)})
5).
Now, we shall give an analogous, but a stronger result as Theorem 11.2.1 and I1.2.2. Theorem 4.4 four
If
~,~
(resp.
~15)
conditions are equivalent for
is properly infinite then the following
C~(resp.
5):
60
(i)
It is semi-dual;
(ii)
It is dual;
(iii) It is dominant; (iv)
There exists a unitary
w
K
~[ ~ ~ ~(G)' (resp.
G(w K) = (w K X 1)(L ® V~) , i . e .
u ~ N ~L~(G))
(o t @ L)(W K) = wK(I @ k ( t ) )
such that
,
(reap. ~(u) = (u ® 1)(L S WQ)) Proof. Thus
(i) => (ii):
and
5
Combining (4.5) and (h.1) (resp. (4.2)), we have (4.6).
are dual.
(ii) ~-> (iii)
and
(ii)~(iv):
(iv)~
(i):
obvious.
There exists a unitary
w c ~ @ p(G) (resp.
u (~
~ L~(G))
such that ((~t @ L)(w*) : w*(l @ p(t))
by ( 1 1 . 2 . 7 ) ( r e s p . and
(II.2.3)).
wK = (i ® K ) w * ( l
Here, we put
® K).
w K ~ ~,~ ~(G)'
Example. dual.
Let
: £(L2(G))
[(u) = (u ® i)(i @ WG)) /O
(K~)(t)
-1
= A(t)l/~(t
)
e L2(G)
for
Then (Gt @ ~ ) ( w ~
which implies
(resp.
and
= w~l
~(w K)
@ X(t))
,
- (w K ~ l)(l ® V~) .
Q.E.D.
We shall give an example of an action which is semi-dual but not
G
he a locally compact abelJan group and
G
its dual group.
Put
and
(u(~)g)(t) = g ( t - s )
s,t ~ o
(v(p)~)(t) = (t,p)~(t)
for
~ ~ L2(G).
Let
G
p ~ G
Then the commutation relation
be the action of
G × G
on
~
defined
u(s)v(p) = (s,p)v(p)u(s)
holds.
by
c~(s,p)(X) = Adu(s)v(p)(X) . Then
G(s,p)(U(t)v(q) ) = ((s,p),(q,t))u(t)v(q)
other hand,
~G = C.
by Theorem II.2.2.
Therefore, if
and hence
o: is dual,
is semi-dual.
On the
~. must be isomorphic to
L~(GxG)
This is impossible for a non trivial
G
G.
The situation will be clearer by introducing the concept of regular extensions. Definition 4.5. t -e G t
Let
(~(.) : t ( G -+o:t e Aut(~)
a homomorphism up to inner automorphisms.
(s,t) ~ G x G -~ u(s,t) ~ •
of unitaries satisfying
G s o G t = Adu(s,t)
° Gst
he a Borel mapping
For each Borel family
with
61
the von Ne~m~nn algebra
• x~, u G
generated by
(~(X)~)(t) = ~t(x)~(t)
is called a regular extension of If we define a map
~
on
,
~
~(~)
and
pU(a),
(pU(r)~)(t) = u(t,r)~(tr)
by
G
~x~, u G
with respect to
~
where
,
and
u.
by
a(y) = Ad I g W ~ (y g i) ,
then
a
is a co-action of
G
on
~ Xo,uG
by direct computation.
The relation
between a semi-dual co-action and a regular extension is given by the following, which is also an extension of Thcorem 11.9.1. Theorem 4.6.
Let
5
be a co-action of
G
on
and
u.
N.
The following three
conditions are equivalent: (i)
[N,5} % [~ ×
uG,a]
for some~,a
(ii) There exists a Borel map
t ~ G -Tu(t) e N
with unitary values such that
5(u(t)) = u(t) @ p(t) , t ~ G. (iii) There exists a unitary
u
in
N ~ L~(G)
such that
~(u) = (u ~ ~ ( l ~ W G ) .
We leave the proof to the reader.
NOTES
~e
general theory of dominant actions is developed in [14].
The part of this
section dealing with an action should be viewed as a supplement to [14; Chapter III]. A
characterization of semi-dual actions is adapted from
[50].
CHAPTER IV.
SPECTRUM.
Introduction.
The Arveson-Connes
theory of the spectrum of actions of an
aDelian group was very successful and played a vital role in the structure analysis of a factor of type I17. In this chapter, we shall try to generalize to the noncommutative Since a co-action for instance,
~
is in essence an action of a commutative
it is natural to expect that the dualization
theory would Oe smoother than the non-commutative §i that this is indeed the case. spectrum
F(~)
group of
G.
on
are introduced For a dual
C x~G ,
G .
by amending
p(8)
V. 2.9
Of Theorem V.~.o.
sp(8)
of
We then prove that F ($)
It will be seen i~ 5
and the Connes
is a closed sub-
is shown to be the kernel of the restriction of
An example
This misoehavior
object~ A(G)
of the Arveson-Connes
generalization.
Na~Lely, the spectrum
there.
~ , F(~)
Theorem 1.5.
subgroup of
and
this analysis
case including the dualization.
of
shows that
P(~)
F(~)
can fail to be a normal
will be corrected in the next chapter
to the normalized Connes spectrum
2n($),
see Definition
Section P is devoted to a non-commutative version of the Arveson-Connes in the campact case.
Here we employ 7{oocrts' apparatus.
abelian case is then replaced by G, where Msp(~)
~(V)
~I3~(V) is defined by (2.8).
The eigensubspaee
for a unitary representation Making use of
is defined and serves as a non-commutative
~V),
theory in the
[V, ~V }
the monoidal
of
spectrum
version of the spectrum of
for an abelin group. Section 3,
the connection
between
F($)
and the center of
This relation will become sharper in Theorem V.2.6. ×~G
is not satisfactory
yet.
N ×sG
is given.
The analysis of the center of
We do need further effort in this area.
Section 4 is devoted to the analysis of the relation between co-actions and Rooerts actions. Theorem 11.8.
It will be seen there that these two things are indeed equivalent~
63
§i.
The Connes s~ectrt~u Following Connes'
of co-actions.
idea,
[12], we shall introduce the essential
co-action named the Connes spectrum, recall the duality If
is non zero, then the following
x = p(t)
(ii) (iii)
for some
are equivalent:
5G(X ) = x ® x, i.e., <x,~¢) = (x,~)<x,~>
for all
~,~ ~ A(G).
W~(x @ I)W G = x ® x.
A(G)
and vice versa.
the hull of a closed ideal
of
supp(x) = ~
p(t)
The support
in
A(G)
supp(x)
[g ~ A(G) : 5G, (x) = 0].
(SG,o(x),o)
Of course,
three conditions
t e G.
It is known that the annihilator ideal of
First of all, we
theorem for locally compact groups:
x .z g(G)
(i)
and show some properties.
spectrum of a
= (SG(X),~
if and only if
x = 0.
®
is the regular maximal
of
x < @(G)
Here
~>
5G, ~
is defined as
is defined by
~ ~. A(G)
,
.
The only if part is a Tauberian
theorem. Let
C j , ~ ~ ~.
be a linear map of
<~Jy),¢
y ~ ~
with respect to
Definition
i.i.
is the hull of
~
c A(G)
It is clear that
5.
m
y : 5
SPs(y )
of
E
of
G
~ ~ A(G)
is considered as the spectrum
Y ~ h
~ A(G) : 5 (y) = 0}. -p
with -r.espect to The spectrum
5
sp(5)
is the of
= 0], is the closure of the union of all
Now, we shall prepare some elementary properties subset
defined by
In other words:
= ~
sp(5)
~(G)
supp(~ (y)), ~ ~ ~.
The spectrum
hull of the closed ideal
into
= <~(y),:~, ~ ~> ,
The closure of the union of all of
h
of spectrums.
sps(y), y ~ N. For each closed
we denote
(1.1)
h5(E)
= [y ~ ~ : sps(y
) C E] ,
which is a G-weakly closed linear subspace by Lemma 1.2.ii below.
Lemma 1.2. of
ft ~ a:~(t) (ii)
(i)
sP5(5 ( ( y ) ) c sps(y) ,q supp(q0),
where
supp(o)
is the closure
/ 0}.
sP5(y ) C E
if and only if
neighborhood of E. " ( i i i ) sps(y* ) -= sps(y) -1.
5 (y) = 0
for
.~ ~ A(G)
vanishing on some
64
(iv) U
of
t ~ sp(a)
if and only ~f
ha(U) ~ [0]
for all compact neighborhoods
t.
(v) (vi)
If
E
If
or
E
F
is compact,
ha(E)'~5(F)
then
is a closed subset of
G,
C h S(E["). 5 PE
then the projections
and
5 qE
given by
v{supp(xx >) : x <-~a(~.)] are central projections of Proof. Therefore
Put
my c m z
If Since
(i)
%0¢ = 0
and hence
y~,
EU~
Conversely, if such that
(E).
then
empty by (i), we have
E
5¢(y) = 0,
(iii)
Since Let
%0(t) ~ 0, mt
then
5¢(z) = 5%0(5~,(y)) = 0.
SPa(Z ) c_ sps(y ). ~ ~ A(G)
such that
it follows that
For any neighborhood is disjoint from
and
~(t) ~ 0.
we have
denote the ~deai
,~,(t) ~ 0
and
%0~ = O.
t / spa(z ) . Thus (i) is proved. U
of
supp(%0).
5 (y) = 0. %0 t / E, there exists a neighborhood
%0 vanishes on EU
%0(Y) = 0.
C
If
implies ,~.%a~(z)= O,
Suppose
%0 vanishes on
.
z = 5 (y)..
t / supp(%0), there exists a
(ii)
m
h a.
e
and
%0 c A(G),
Since
sps(a%0(y))
U
e
of
and
if is
%0 ._ A'G)
F_,'omcur assumption it follows [,:te,
t / sp~(y).,, Therefore
spa(y ) c E.
[p(t)]"
t c spa(y*),
of
A(G).
If
then
( m ) x = m , and (mr)~ = % - i we have % c m 1 and hence Y xy t. sp$(y ) c spa(y)-l. Changing the role of y and y , we spa(y ) c spa(y × )-i .
m, .
Since
t yl c spa(y ) . Thus have
(iv) Then %
U
Suppose that
~5(U~ ~ [0]
for all compact neighborhoods
has a non empty intersection with some
belongs to the closure of union of Conversely, suppose that
there exists a 5~(y) ~ 0
%0 • A(G)
for some
y e h.
spa(y ) with
t (sp(5).
such that Since
sps(y ) with
U
y 6 ~l, and hence to
For any compact neighborhood
%0(t) ~ 0
and
spa(a%0(y)) c u
of
t.
y : ~1. Therefore
supp(~) c U.
Since
sp(5).
U
of
t
t ( sp(a)~
by (i), it follows that
a (y) • ~a(u). %0
(v)
We may assume by
y £ ~la(F). For any
(iii) that
(~ (~×_
<$®(xy),%0>
and
F
%0 (- A(G)
= <6(x)a(y),
is compact.
Suppose that
we have
® ~ %0>
= limjF (5(x), a(r)×~(y)~ o(r)~> dr
where
~(r,~) = a
D(r)×-~(y)w. Therefore, ~ (xy) =
lim,.~¢ (r,#)(xJp(r) dr
.
x (~5(E)
and
65
Since sPSG(z~(r)) = sPSG(z)r and SPSG(¢)(r,$)(x)) c sps(x),
it follows that
sPSG(¢~r,~)(x)D(r)) c sP5(x)r . If
U is a symmetric compact neighborhood of
vanishes on the complement of
UF
for all
~
e,
then the map : r ~ 5:(r).×¢(y )
with
supp(¢) c U.
Therefore
sp5 (¢ (xy)) c sps(x)UF
G Since
U (vi)
is arbitrary, the left hand side is contained in We may assume that there exists a unitary
the co-action ~% such that
As in Appendix,
W
belongs to
w(C (G))'
If
Thus
W e £(R) @ g(G)
there exists a *-representation
(TT(90)~Iq) = (W,m~,q®%0),
follows that belongs to
5.
EF.
~,7 (= ~.
r
xy ~ ~IS(EF). which implements
w of
C (G)
on
From the proof of Theorem A.I, it We claim that
then for any
P~E (resp.
a ~ ~5(E)
and
qS) q0 e A(G)
we have (a~)~IT)
= (~(~)~I~7) = < W , ~ , a ~
@ ¢
= <W,®~, a ® ~ >
< ( a ® l)W,m~,~ i ® ~> = <~(a~,m~, 7 ® ~> If
%o = ~f,g,
then (aw(%o)~[7) = (W~(a.)(~ ® f ) l q
On the other hand, for any
where
¢ = wf, h.
6 ~
This means that
(a~(~,)~[ Thus,
ar<%o)~ = 0
r<%0) leaves Since
for every
(i -pE)~ 5
7) = o ,
Hence we get
~ ~_ ~ . so that
~%O)~
: w * (p~5 ® l ) W
( l - P E.)5~
Hence
PE5 { w(A(G))'
: PE8 ~ i
follows from the fact that
5 p _~ = q=.
is°a twosided module over h5.
belongs to
we have
under the inner automorphisms induced by unitaries of both in the center of
•
we have
is variant, which means that
5(p~) 5 q~
h c L2(G),
8(a)([ ® f) = 0.
a~hS(E),
W~_ ~ ( A ( G ) ) " $ ~ ( G ) ,
The assertion for
and
®g)
p °and ~1 . Hence
both invoriant PE
and
qE
are Q.E.D.
66 ,< For each projection restriction ~15,
then
of
~5 to
~e"
i.~.
where
e
Theorem
i.~.
Proof.
Since
Since
in
~'
we define a co-action
It then follows
that if
f
,%e
of
G
on
is the central
The Connes
spectrum
-(5)
runs over all non-zero The Connes f(5)
~'(~)-i : "(?')
of
,% ~s the intersection
projections
spectrum
d(5)
in
by (iii)
is a closed subgroup
to be in
F(~)
of
F(~:)sp(,~e)csp(~>e)
it is necessary
~nd suffSe~ent ~t, 5e e c: PU = e
that for ar~ compact reighbcrhood U of t and a non-zero p_.'cjeetion ~e and qu = e . Hence for any s ,-sp(~,e) and a compact neighborhood V of te
h[']e('J:) o hte(b-)]q" Hence C ~ O s p ( ~ e ) ~ o . h a v e t s ', s p ( ~ e ) . ~neorem i.,~.
Since
[U'.;]
If
5
is dual,
Fp.) = I t .q ~ C- : ~t : ~
(ii)
r(~)
h
(i)
for ne±~hhorhoods or
ts,
~..~e
on
(~ x~. .~],
and
"
Suppose that
dueulity of crossed
.
then
= r(~).
satisfyir~,
s we have
Q.E.D.
(i)
Proof.
( '0 ~ { 0 ]
form~ a t a s i s
G.
to show tne groap property.
of Le.~a 1.q~ we have only to show
For a t oC
of all
~If;.
is clearly closed ~ it suffices
e:• h 5 .
for all projections
onto
h as tile e support e in
s ~ ; e) = sp(?~f).
Definition sp(se);
e
~% is duaJL.
5 ow=(w@L)o(~, products
There exists
where
~
for action te]ls
"N5.
~
of
]I5 X , G
~qen the
us that
C. ~] --. r'n'~ @ ~ ( L ; " ( G ) ) ,
{h %
an isom(Pphism
Js an action c,f C- on
.
Q]
Therefore
[1.2)
Ker ~
We then define
an action
G = Ker ~
~ %X~
B
of
G
on
~ %5~£
~
u(t) = ~,(i @ p(t)).
=
.
If
e
(1.3)
3 t = Adu(t).
° ~t
"
Since
is a non zero central projection
enS({t])e
Consequently~ and only if
~
S
= ~
5s = L
e ~ C 5 (ii)
"
5(u(t)) in
"r~r,
= u(t) ~ 0(t), then
5t(e ) =
and
u(t) eu( t)*
tion
Then
Ch5
by:
B t ° (w ° G) = (w ° &) Here we set
= Ker (%
Since
= e~3:u(t)e :-e~%~"#t(e)u(t)
on the center of on
Ch~,,~,
if and only if ,5 is dual,
h ×- G O
if' and only if s c r(~)
•
if and only if eC,s(e], / 0
G
S
= L
on
C ~,~ "fl"
by (1.3).
~,,~"~ = {~,~}
if
for all non zero projec-
by Theorem II.2.1.
Therefore
F(~) =
67
~(~) = U(,~)
by the duality for crossed product.
It remains to show that
I"(,5) =
r(~). o y 6 ~1, z (. £( L2 (G)), "~i 6 I%., uJo,..c £(L'-(G)).
For any
and
".o 6 A(G),
we have
<(~)~o(y e z), '~'l~ "~2> = (s (y) ~ ~ , <~z e w,°> " Thus
5
: 0
is equivalent to
sp(5 e) ~= sp(~ e ~ l )
for
(~)%0 : 0.
e ~ %`5.
It should be noted that, if For general 5~ P(~)
Thus 5
Since
%~
: an`5 @ C,
it follows that
F(%) = r(,~-~, ....
is dual, then
Q.E.D.
F(,5)
is not necessarily normal and so
is a normal subgroup of
G.
F(5) / F(~)), unlike the
abelian case, as seen in the following: Examl~le. ,5 of
5G
to
sp(5) = H.
on
H
is a non-normal closed subgroup of
p(H) "
=
is an integrable co-action of
On the other hand,
generated by 1 ® p(t)
If N
p(t) @ p(t), t 6 H,
and
AdV ( l ® f ) = l ® f
A ×5 G, r ¢ i'(~) Corollary 1.6.
(i)
%xsG C
(ii)
C~X~
(iii)
i(~)
Proof.
f(~) = ker and
~1`5'
=
c, r(`5)
=
~) [
Ch
is eauivalent to
C=C~
r- tU = tH
~(G/H).
Gsince
for every
is
5r = ~ ® ,\r
t e G.
The following three (resp. two) conditions are equivalent: ~5(~%)(resp. C~,IX G c C~,0< G
@(,~i)). C
~(~,)).
G.
The equivalence
(i) ~-~ii):
then the restriction Since
= ~ tHt -I. Indeed, ~ >< G ~×~,G t~G `5 C ® L~(G) ° Since Ad v (o(t) @ o(t)) =
, we have
G c %(~)(resp. =
G, G.
The case of
of (ii) and (iii) is immediate from Theorem 1.5. 5.
Put
.,h = N ×8 G
and
~ = 5.
According to the
duality for crossed product we have only to show
Since
C~, = % ® C,
for any
x (: ~
we have
x ~ m~<-~x~l,:
~
,
wY~ich implies (l.i.-.). The case of any
~.
The proof can be done similarly as above by noticing that for
y c % y ~ ~`5 <=~ y ® i ~ ~
because
,
AdlfgWG o (L ~ o) o (5 ® L)(y @ i) = y ~ i ® i.
Q.E.D.
68
NOTES
The spectral analysis for which had considerable of factors of type III. Connes spectrum
~
in the abelian case was developed by Arveson
impact on the subsequent development The spectrum of
I'(~) was introduce~
~
G
[47].
[46] .
The
by Connes [12] and used to classify factors of
in the abelian case was determined
to Nakagami
of the structure theory
was introduced by Nakagami
type III into those of type 111X, 0 < k < i. x
[4],
in
The relation between [14].
U(~)
and
Theorems 1.4 and 1.5 are due
69
§2.
Spectrum of actions. If
G
is abelian, the spectrum of an action of
spectrum of a co-action
5 = AdI@s
° ~
of
G
on
~
where
coincides with the S
is the Fourier
unclear yet.
We shall try to clarify the situation in this section.
LI(G),
be the enveloping
G
•
L2(G)
C*(G)
L2(G).- However, if
on
transform of
Let
onto
G
is non abelian, the situation is
C*-algebra of the involutive Banach algebra
and
W*(G) the universal enveloping von Neumann algebra of the secand dual of C*(G). Now, for each
f ~ Ll(G)
we define
Ll(G).
m
of all
Since the
f ~ LI(G)
satisfying
~-weak closure of
ideal, it is of the form Definition 2.1.
m
.
~f ~ 0 in
is a closed two sided ideal of
W*(G)
is also a closed two sided
for some central projection
W*(G) es
The spectrum
namely,
a'f by
~f(x) =/"f(t)~t(x)dt The set
C*(G),
sp(~)
e
w~(~).
in
r'(~)
and the essential spectrtm
are
defined by (2.1)
sp(G) = i - e
; S
(2.2)
F(s) = inf[sp(se) :e c a s, e % O}
To see the situation more closely, we shall assume throughout the rest of this section that
G
is compact.
Let
G
be the equivalence classes of all irreducible ^
unitary representations p ~ G
of
the corresponding
G, ×p, p a G
the normalized
central projection in f / Xp(t)p(t)dt
Ep =
character of
G
and
Ep,
W(G):
.
G
Then
C~(G) = ~ p ~
CEp.
Prol~osition 2.2.
If
[U,~ U]
is a r e p r e s e n t a t i v e
of
p ~ G,
then the f o l l o w -
ing four c o n d i t i o n s are e q u i v a l e n t : (i)
E p -< sp(~). sf / 0 for some
(ii) (iii)
(s t ~ a)(X) = X(I @ U(t))
(iv)
[U,~u}
Proof. condition all
f e EpL2(G).
(i) ~ (i)
f ~ EpL2(G)
for some non zero
is equivalent to a subrepresentation (ii):
As
E
[~,~}.
is a minimal projection in the center of
P is equivalent to if and only if
X ~ ~ ~ £(~U ). of
Ep(l- e ) % O. EpL'~(G) c m ,
It is clear that
if and only if
~,(G),
&f = 0
Ep < es.
for
Therefore,
(i) is equivalent to (ii). (ii) ~,~ (iii): Suppose that
~f/ 0
Let
d = dim ~U
for some
and
[EI,...,s d}
f ~ E~2(0).
an orthonormal basis of
The~e exists an
x ~ L~ ~ t h
~U"
~f(x)/O.
70 Therefore ,.
(2.3)
is non zero for some ({I~){,
j,k.
Let
Tz
denote the operator on
~U
defined by
T~,~=
and
(2.4) Then
(U( s)sj ISk) -as(X) ds
Xjk ~
X :-j'~',kxjk 'Z'T~sj'ak X % O, X ~ ~ ~ £(~)
and
(2.5)
(a t ® L)(X) : X(1 ~ U(t)) .
by direct computation. ( i i i ) ~ ~ii): (iii).
Suppose that a non zero
satisfies condition
x ~ m ~ ~(%,)
Then it is of the form
(2.6)
X =j,k )~ Xjk ~ Taj'~:k
by fixing an orthonormal basis
[al,... ;~:d} of
(2.7)
at( Xj k) = ~
~j. Condition (iii) implies
U(t)~kla~)Xj~
and hence Xjk =/.!U(t)gkl~k )-at(Xjk)dt . Since
X / 0, Xjk / 0
for some
j,k,
which implies (~i).
(iii)--~ (iv): Using the same notations as in the proof of fix some map of
j ~U
with
Xjk / 0.
Put
to the subspace of
a k = Xjk ~
for
spanned by
k - l,...,d.
(iii):> (ii),
Let
[a k: k=l,...,d]
V
we
be a linear
such that
VE k = a k.
Then (2.7) implies atVS k =~ (iv)=~ (iii): Suppose that [~,~].
Let
V
iU(t)SklS~)VS ~ = VU(t)£ k . [U,~ U]
be the intertwiner of
is carried. Let {£1 ..... Sd} k = 1,...,d. Then
~U
is equivalent to a subrepresentation of onto the subspace of
be an orthononnal basis of
~U
~
on which
U
and
a k = Vg k
for
~t(ak) = VU(t)s k ::~ (U(t)Skla~)a ~ •
Put Xjk = a k for all j,k. x(l~u(t)) a~d X ~ 0 .
Then
×
defined by (?.6) satisfies ((~t @ L)(X) = Q.E.D.
71
For each irreducible unitary representation (2.8)
[U,~ U}
Proposition 2-3.
Assume that
unitary representation of
G,
we denote:
~a
is properly inifinite.
There exists a representation
(ii)
There exists a unitary in
Proof.
( i ) ~ (ii):
with
corresponds to
s.
If
[U,$ U]
is a
Let
[a,R}
in
M (~)
equivalent to
[U,~}.
ha(U).
Suppose that
dim ~o = dim R.
orthonormal bases of
[U,~u}.
then the following two conditions are equivalent:
(i)
~
~a,R} % [U,~u}.
Let
~o
Iv I ..... Vd}, [w I ..... Wd}
~o, ~ and ~U'
respectively.
and
be a Hilbert space [~i ..... ad }
We may assume that each
be wj
in the above equivalence:
(2.9)
(U(t)gj I gk) = wkat(wj) . Fow, we define an isometry
(2.1o) Then
G
ma(U) = Ix ~ m ~ £(~u) : (a t @ g)(x) = x(l ,2.u(t)), t ~ G} ,
which plays the role of eigenspace associated with
in
of
V
V~ = ~ V-] ~ j
® sj = ~ v j ~ j .
of
~
onto
~ @ ~U:
vj~ @ gj ,
~ ~ ~ .
Here we set W = VZw.v.* V-1 J J
Then
W
is a unitary and
~ ® ~U:
W = ~ vj*wk ® T~j ~ k ~ ~. @ £(.~U) • Using (2.9), we have
(a t ® L)(W) .... vJt(w~) $ TSj,g ~
= E vj*WkWkat(w~) ~ T~j,~ = ~ vjw k ® T
* j ,U(t) ~k
= W(I ® U(t)) . (ii)----~(i): space in
~
with
Suppose that
W
dim ~o = dim %
is a unitary in and let
.~.~(U). Let
Iv I ..... v d}
and
~o
be a Hilbert
[Sl .... 'gd}
Y2
are orthonormal bases of onto
~ g ~
by
~o
(2.10).
and
~U~
w.
Then
[w I ..... Wd]
respectively.
Define an isometry
V
of
Put : v-lw
V v..
is a basis of a Hilbert space
2
in
~ (~).
Indeed, since
(~t e ~) ° Ad V : Ad V ° qt
I~:k)VkVj
V-I(1 ® U(t))V = ~ (U(t)aj j,k by direct computation,
it follows that
~t(wj) = ~t(V-~TV)vj
= (V-~V)
(V-I(I ~ U(t))V)vj
(2.11) =~k (U(t)gj ]gk)V-Iwv~< Moreover,
(2.11) shows that
The monoidal spectrum that
~(U)
=,~,U(t)ajk I gk)Wk •
[U,~j} ~ [~,R]. Msp(~)
Q.E.D.
due to Roberts is the set of all
contains a unitary associate(~ with a representative
The following theorem ~dll give a sufficient condition for
Proposition 2.4. ergodic subgroup
g
Assume that of
Aut(~)
~+
[U,~ U}
such
of
p.
Msp(~) = [p ~ G:E p-< sp(~)].
is properly infinite.
com~uting with
p ~ G
~t' t ~ G,
If there exists an then
^
pProof.
By Proposition 2.2,
fore, it suffices to show that we set
~ = ~ ® ~
z2
~(U)
of
belong to
on
Ep <_ sp(~) Ep _< sp(~)
k ~ £(~U).
~.
l~Jt PU = P,t~ £(~U),
~(U)
p e Msp(~).
Then the left support
are both invariant under
C ® £(~).
is equivalent to implies
Since
g
zI
ThereT ¢ g
and the right support
is ergodic on
~'t = (~t ® L
% [0}.
For each
and
~,
zI
and z 2
~t = +t g AdU(t)"
Since
(e U) ,~: (u)(, u ) : m~(u) , zI
and
z2
Adl~u(t)(z2)
are central in
(J U)
= ~t(z2) = z.o ~ an~
and U
infinite, we can choose a unitary in Proposition 2.5. [p e G : E p-< sp(~)}
Assume that and
~
(+JTT)~, respectively.
is irreducible,
z 9_ = i.
Thus, z I = i. Since
~.~ is properly
.,~+(U). ,,~
Q.E.D.
is properly infinite.
is faithful, then
Since
~
is dominant.
If
Msp(~) =
73
Proof.
As shown in Theorem 1.3.4,
the set
C (G)
of all functions
fx,y
defined by fx,y(t) = x ~ t ( y ) , is a *-subalgebra of fx,y(t) = fx,y(e) f, t c H}.
C(G).
for all
Moreover, if
Let
t e H,
C(G)"
= C(G).
representative of
p
and
then
~t = L
R c ~(~). ~t = ~
on
on
~.
Then
t e G
A ~ ~(~). Since
for all
p e G.
[~,q}
Thus
~
~
p e G,
Since
is faithful, %(~)
H = ~e} contains a
is dominant.
is a Roberts action of
is a representative of
such that
Ca(G ) - = ~fe C(G) :k~f)-
The Peter-Weyl theorem then implies that
Proposition 2. 5 . If [~,~} 6 ~ (~)
,
be the closed subgroup of
x,y ~ ~
Msp(a) ={p 6 G : Ep ~ sp(~)}, and so
H
x,y ~ R, R ( ~ ( ~ )
Q.E.D.
~(~)
on
h
and
then the following two conditions are
equivalent. (i)
Ep ~ f(~).
(ii) epR(e ) ~ 0 Proof.
for all non zero projection
e ~ C
Condition (i) is equivalent to
(e ® 1),~.~(U)(e ® l) % 0
for all
e £ %.~,
where
Proposition 2.6. generated by
~
Lemma 2.7. tion
[~,D } Proof.
of If
If
and If
{U,~} ~ [c~,R}. ~
is dual and
Q.E.D. ~
is properly infinite, then
~
G
is
is semi-dual, then for any irreducible unitary representa-
there exists a unitary in
~
•
~(,T0 .
~.~(~).
is semi-dual, there exists a unitary
(s t ® t)(w) = w(1 ® p(t)).
If
G, there exists a projection
[w,~w} e
in
w
in
~ @ R(G)
such that
is an irreducible unitary representation of
R(G)'
such that
[.w,~ } = u[p,L2(G)]e u* for some isometry is a unitary in
u
of
eL (G)
~. @ £ ( ~ )
onto
and
Proof of Proposition 2.6.
% . Since
(~t ~ ~)(v) = v(1 ® ~(t)). Combining Proposition 2.3 and L e m m
any irreducible unitary representation in
~(,~.). Let
bases in (2.12)
%U
and
[a I ..... gd] ~,
e { ~(G)', v = (i ~ u)w(l ~ u*)
and
[U,,%U]
Iv I ..... Vd]
respectively.
If
of
2.7, we have for
an equivalent element
[~,~]
be the corresponding orthonormal
x c ,%,
,F(U(t)gJ I gk)-~t(x) d t =
G
Q.E.D.
then 9~ g~(xvj)v k "
74
Let
p
be an element in
G
associated with
~U,~I~.
The set of functions
(U(t)~ 1 ])
does not depend on the choice of a representative of
denoted by
f~
nom
dense in
• ~(G)
The linear span of such functions with by Stone-Weierstrass theorem.
combinations of elements of the fo~u (2.12). and
]::~; x
Ccnsequently,
~ (m).
p,
~,~i ~ ~
f~
,(t)=
which will be and
p ~ ~,
is
is approximated by linear ~
is generated by
~
Q.E.D. NOTES •
I'L
i
Propositions 2.6 and 2 8 are due to Roberts [ppi and Propositions 2.2, 2.4 and 2.5 are taken from [~j].
75
§5.
The center of a crossed proauct and
:'(5).
In this section we shall give a necessary and sufficient condition for a crossed product to be a factor.
The following proposition gives us a sufficient condition
for the fixed point algebra to be a factor. Proposition 5.1.
If
~(resp. 5)
is dual, then the following two conditions
are equivalent : (i)
% × G C &(,~,), ( r e s p .
(ii)
C
Proof. [~,5}.
F(5) = G);
, (resp. C ~, C % ) .
C ~
The case of
[~L,~] : Since
~
is dual,
[,~.,s~ % [h ×5 G~ ,'q}
for some
By means of the duality theorem for crossed product and Theorem II.l.l, it
suffices to show the equivalence:
% ~ c ~ n ×~,~, a
(~.1)~
~<~
?~(%) ~ % × ~
^
Since
% ® C
is elementwise
(3.1) is equivalent to
%
~ invarianfl, the condition in the left
~ C c 5(~),
(:~.,o)
~(~)
hand s i d e o f
which is equivalent to
c ('n x s c-)' . p~
Indeed,
% @ C c 5(~)
% C "n",
is equivalent to
(~)(z~l) =z~l~l, Moreover, all
C~c
z e %
~&
and
for
z~C~.
is equivalent to (3.2), for (3.2) implies f ¢ L~(G).
[5(z),l @ f] = 0
for
Condition (3.9) is clearly equivalent to the condition
on the right hand side of (3.1). The case of
[~,5] : Since
['~,5} ~ [~. x(~ G,~}
for some
[,Tt,~.
By the duality
theorem for crossed product and Theorem II .1.1, it suffices to show the equivalence:
%, e c ~ ,~. ×
(~.3)
G <-~ ~(c~) ~ %,× G .
This is done as a similar argument as in the above case. of (3.3) is equivalent to equivalent to
~(C~) c (~ ×
~
® C c ~(m), G)'
That is, the left hand side
which is equivalent to
~
c~,
which is
w~ich is equivalent to the right hand side of (3.3) Q.E.D.
Corollary 3.2. i~(5) = G). tion
e
in
Proof.
Assume that
If
~ (resp. 5)
~
(resp. ~5).
C
c%,
is dual, so is
or e
% ~ G C ~(m). (rest. 5 e)
' rssp.
C~',?~ C Ch
or
for each central projec-
By Theorem II .2.1 (resp. 11.2.2) and Proposition 3.1.
Q.E.D.
78
Theorem 5.3-
of
(i)
• x
(ii)
C~G
The following two conditions are equivalent:
G (resp. h ×~ G)
is a factor.
C ~(m) (resp. 2(5) = G)
and
~(resp. 5)
is ergodic on the center
• (resp. h). Proof.
The case of
~(z) = z @ i
for
[~,~}.
z e C~,
( i i ) ~ (i) : Since
(i) -> (ii):
then
~
= ~ ×
~
on
It is clear that
~(z) commutes with G
~ ×
.C~ G c ~(~).
G. and hence
If
z = i.
by Theorem II .1.2, it suffices to show that
is a factor. The ergodicity of
Of(x)
Moreover,
C~x G c ~ ( ~ )
The case of for
( i i ) ~ (i): on
Ch
~
[h,5}.
z e Ch,
i)
.
x G 1
on
e,~"&(X
C~,
,R'
C~.V~GC ~(~) C_~C~
5(z)
commutes with
by Corollary 1.6. ergo
~
on
Since~ ~
ioity of
on
%.
Because,
by Corollary i. 6.
.~
CBx~G C ~(h). and so
is a factor. That
Since
Here we use
is a factor.
h x5 G
~
C~.
on
by Proposition 3.1.
we fin~ that
It suffices to show that
to
x @ i ~ 1
=
(i)=~ (ii) : It is clear that
then
is equivalent to that of
C ~ x ~ G C ~(~)
~
is equivalent to
the above ergodiclty " " of
z ® i
is equivalent to that of
is equivalent to
~ -~ C ~ G c ~(~)
is dual,
=
%
~
g(z) = z
The ergodicity of
CO><5G c %(h)
is dual,
If
z = i. 5
is equivalent to
~ G ~(~]"
%
is eauivalent, r o f cto
Q.E.~ Theorem 3.4. is integrable and Proof.
Assume that ~
~
(resp.
h 5)
G c ~(~)(resp. F(5) = G),
The case of
[~,~}:
Since
~
is properly infinite. then
~ (resp. 5)
If
~ (resp.
is dominant.
is properly infinite and
~
is inte-
grable, we have
(3.4)
fm,~} ~ ~,~} F ~'g}e
for some projection C~× G c ~(~) dua~ and infinite,
f <
e
in
@.
Let
f
be the central support of
e
in
~.
That
is equivalent to that CI~x G c ~(~) by Corollary 1.6. Since ~ is ~f is central, ~ is also dual by Corollary 3.2.- Since ~ is properly and
~f
are also properly infinite.
On the other hand, since tion with central support
f,
~
is c-finite and
it follows that
~
is dominant on
~
e
e ~ f
f~'~}e ~ f~'~ f ' which implies that
Therefore,
by (3.4).
~f
is dominant on
is a properly infinite projecin
~f.
Therefore
77
The ease of
{'a,,q :
Since
is propez'ly infinite and
$
is integrable, we
have
(3.5)
for some p r o j e c t i o n
e
in
'
•
-
-
•
.
The r e s t of t~le pz'oof ~s the same as the a b o v e c a s e Q.E.D. NOTES
A n e c e s s a r y and sufficient c o n d i t i o n , T h e o r e m ~.[j, for a crossed p r o d u c t to be a factor was o b t a i n e d in terms of
P(~)
by
Connes-Takesaki
and 0y N a k a g ~ n i for the non-a,oelian case [47]. and [47] for
5 .
!14]
for the a D e l i a n case
T h e o r e m 3.' is due to r 14] for
o.
78
§4.
Co-actions and Roberts actions. In this section we shall discuss the relation between a Roberts action and
a co-action.
We indicate by
[Wr,~r}
a representation of
equivalent to the right regular representation of Given a rirg
g
of representaticns of
and the relation between them.
C
G
which is q~asi-
G.
we consider two objects
~,
vg
Now we set
(4.!) Then
~
(a,)~,w,c~
For each irreducible representation operator
a
is a unitary representation of
represented by a matrix
vg(~)
on
(4.2)
~9
•
~.
on
£(~)
Each element of
is
Condition (1.3.~) implies that
~,~
~ R
and for each
~ e ~
we define az
by
v~(~)~¢,,w,
~~
"
Then it satisfies
,~(~)ii
: llg;I ,
I"T
(4.3) v~(~ e q) = v (~,)~(~) In particular, if
II~II = l,
(4.4)
then
vg(~)
,
I I
Now suppose a Roberts action
[D,~}
'~TT' "
is an isometry.
~g(t)v~(~) = v~(TT(t)~)~(t)
is given.
E
of'
,
Moreover
t -c G .
on a yon Neumann algebra
We set
considering each
0
as a representation of
trivial representation~
p~
~
is an isomorphism of
on
R ~
= R. into
As
~
contains
~ @ ~(~).
Condition
(1.3.2) implies
(b
,)~%(~)'~
h
, ~
Jn(%,%,)
fora11
~,~'~
.
Conditions (iii) and (iv) in the definition of Roberts actions g~ve us a *-homomorphism
~I of
w)~(G)' into
p~(~)'
such that
79
(4.5) If
~((%,,)) at,w,
= (:I_T,~,(%,=,))
is an isometry,
so is
, %,~, ~ ~G(~, ~') •
Ti~,~,(a,)
ri~,w (i) = 1.
since
Next we want to construct a Hilbert space on which we realize the crossed product of
N
by
~
with respect to the Roberts action
set of all bounded linear operators
[p,h}.
@
of
~9
to
~
to
~
by
¢(w),
Let
F(p,~)
be the
satisfying
(4.6) If we denote the restriction of
(4.7)
¢
9w, n,(aw,~,)¢(w')
Assume
that
~
has an element
representation
of
with
= 0(t).
@(~,r(t))
G.
[~r~r}
Then there Let
= ¢(~)a
then it is written by
,w,
quasi-equivalent
exists
F0(P,~ )
an isomorphism
be the set of all
to the right ~
of
~r(G)"
$ ~ F(p,~)
regular onto
~(G)
with
ii~ii~ = @G(@(¢(~r)*~(Wr))) < ~ ,
(4.8) where
SG
is the Plancherel weight on
Len~na 4.1. Proof. p(t).
If
Let
0
$(~r) = 0,
~(G).
then
¢ = 0.
be the isomorphism of
Wr(G)"
onto
g(G)
with
O(Wr(t))=
Since
~('r ® l)a : ~ % ® l , . r ( a ) ® ( = r) : 0 , for any trivial representation
i.
is a unitary in
with
we have
a ~ JG(.r e i,~ r)
¢(Wr ® l) = O.
If
[~.,~j e ~
•
L~(G) @ £(.~#
and
U
211
(U~)(~) = w(t)~(t)
for
~ c L (G) ® $~ ,
then (4.9)
Ad(o@g)-l(U)(Wr(t)
and hence
@(TTr @ T~) = O.
@(w)b we have
¢(W) = 0.
Since
= 9.~,~r®.~(b)@(.~. r ® ~) Since
[w,~#
From this lemma, we ~ o w We denote the completion by Lenm~a 4.2. and
e ~,
Zf
where
@ l) = Wr(t) $ w(t)
~) e
,
is arbitrary in
that
1
b e OG(,~,w r @ w) , ~, ¢ = 0.
JJ defined by (4.8)
Q.E.D. is a norm on
Fo(p,~).
L2(p,R).
F(p,~),
then
p(y)¢, ¢v9,(~) e F(p,~)
for
y e n
and
80
(p(y)@)(w) = pw(y)D(~)
Proof.
any
a ~
Since
~G(~,W')
pg(y)h(b) = 9(b)p~(y)
and
~
b ~ ~(G)',
it follows that, for
= hr, ~,(a),
~(p(y)@)(w')
Similarly,
for
•
- ~p~,(y)$(~')
= p~(y)~$(w')
= pw(y)<~(,w)a
= (~(y)¢)(w)a
since for any (a@l)~=,lw,,,g~,,v,~_(a (a ® 1 S
@i
= ~p~,(i ) ,
.
), a= ~i.,,v,(a)
and
~ = 9w, w(l ),
a c ~G(U",:')
by condition (ii) in the definition of Roberts action~ it follows that
ove(~)a~,
= ¢(~" s r,)(a ® i )(~, e
~)
Q.E.D. Therefore we can define a crossed product as the followirg: Definition h.3.
Assume that
regular representation
of
G.
~
Let
has an element quasi-equivalent p(y)
and
V(~)
be operators on
to the right L2(p,~)
defined by (~,.lO)
for
(~(y)¢)(~) = p~(y)O(=),
@ c ~(p,~).
action
[P,'I}
The crossed product of
y ~ ~ ,
~
by
R
with respect to a Roberts
is the yon Neumann algebra generated by
which will be denoted by
h ×
p(~)
and
V(~w),~ e @,
g.
It is immediate from (4.10) and (4 .ii) that
(4.~)
v(~)~(y) Lermna 4.4.
If
[~,~
(4.13) l~roof. isomorphism
=
~ ~
~(~Jy))v(~) and
,
~/] ~ ~.,
~ ~ %
.
then
v(~0*v(~) = (~ l~)l • Since
r,r
~
wr(G)"
of
a c ~G (~r @ ~,~,r)
is quasi-equivalent onto
to
(~r ® ~)(G)"
is an isometry and
e = aa
Wr @ w with
-i
,
by (4.9),
there exists an
~(,~r(t))= ~ r ( t ) @
then
v
If
81
e(~(Wr(t)))e = Ada(~r(t))
If
•
f = Ti~r@~ ,wr(a)*i~r@W,Wr (a), then Ada(¢(Wr)*@(~r) ) = Ada(¢(~Tr)*f¢(%))
= e(®(%@~)*+(%e~))e Since and
a
is an arbitrary isometry in
@(Wr@W)*¢(~r®W)
JG(~r@~,Wr)
~ (~r®~)(G)",
and since
¢(TTr)*¢(~,r)
~ ,Wr(G)"
it follows that
(~( ¢( TTr)*¢(Wr) ) = ~( TTr ~ ~) *¢( TTr ® TT) If
¢, Y C Fo(P,~ )
and
~,rl E ~TT'
(v(~)®Iv(~)~)
then
= ,G(~(~(~)%(%®~)%(%®~)v~(~)))
(~.~) -X- , -~ = ~G(O(V~(VI) (~('w.(i~ r) @(Wr))VR(~))) where
@
is an isomorphism of
On the other hand, if
~r(G)"
f ~ A(G)
onto and
vR(9)*~(Wr(f))v~(~)~ = v~(q)*~(Wr(f))(~®
R(G)
with
~ ~ ~r'
then
where
g(t) = f(t)(~t)~{9 ).
(glu)(®l~)
@(Wr(t))= p(t).
~)
: v~(9)*J'f(t)(~r(t)~@~t)~)dt
= %(g)~
,
= Ff(t)(~t)~ITi)~r(t)~r dt J
, Therefore, the right hand side of (4.14) is equal to
by (I~.8). Thus (4.13) is proved.
Now we define a unitary representation
U
Q.E.D. of
U(t)¢ = SwR(t) -I ,
(4.15)
G
2
on
L (p,R)
e Fo(P,~)
by
.
Then, it is immediate that U(t)p(y) = p(y)U(t) ,
(4.~6)
U(t)V(~) = V(~t)~)U(t) Therefore,
~ ×p R
restriction to denoted by
~ .
h ×
y~h, ,
is globally invariant under the action P
R
t ->Adu(t) , whose
is called the dual action of the Roberts action
{P,9}
and
82 Lemma 4.5 Let g, then
~
be the dual of a Roberts action
[p,.q]
of
g
on
~.
If
[~,~# ~
(i) {~,v(~Q]~ ~(~ x ~) (ii) { ~ , ~ ~ {~,v(%O} Proof (i) Let [~,~a} be a trivial representation of G with dim ~ = 1 and a 0 a normalized vector with ~ ~ = Ca 0 . Let [Cl,..,Sn] and [~l .... '%} be " the corresponding orthonormal bases of ~ and ~.~ respectively. Take a ~ ~ G ( ~ ® ~,~)
and
~ ~ JG(~ ® ~,~) aC
Since
=~7
o
(aaol ~j ® ak) = 5j,k,
j
so that
®cj
-" = ~ s ®~ ' aC'o + j j •
it follows that
(l ®a*)(~lQ(%~)
=(l ~ a * ) E ~ : j ® ~ j ~ , : ~ o J
Using our assumption (1T @ a*)(a (9 1D
[v,~
: i
: [~ @ ~ , %
and hence
o~(T~i~,~(a)*)q~@.~,~(~) = i .
(4.17)
From the above assumption, ~ ~w
we have
and
b c JG(,W' ,w),
V(Co) = i.
Since
V(b~) = p(~],w, ~(b))V(~ )
for
it follows that
p(~_
(a)) = p(r,_
=~
(a))V(~o) ~ V(a~o)
V(Zj ® aj) =~V(~j)V(~j)
,
and hence, by Le~na 4.4,
E V(aj)V(aj)* = ~ V(~j)p(r,_
= ~
P(Pw(h_
(a))*V(%)
(a))*)V(~j)V(~j)
= p(%(rL_
(a))~)v(~-%)
= p(%(r~_
(a))%,~,~(a)) = l
TT~L
by (4.12) ,
by (4.Z7)
6
83
Therefore ~ ~
V(~_~
by
is a Hilbert space in
(4.16),
(ii)
it follows that
~ x
g.
{~,V(~}
____~t(V(~)) = V(~(t)~)
Since
for
~ ~^(~ x R). P P
It is clear from ~^
V(9) Pt(V(g)) = V(~) V(w(t)g) : ( ~ t ) g l g ) l
for
~i
Q.E.D.
~ ~rr" G
In the rest of this section we assume that
is compact and
dt
the normal-
ized Haar measure. Proposition 4.6. Proof. that, if
~)P = p(~) . P By (4.16) it suffices to show that
[,~,~
(~ x
~ ~
is irreducible,
~J
or
~
'
(n x
then
P
~)P c p(n).
First we recall
~
is a trivial representation,
where
dt
is the normalized Haar measure.
Therefore
Now, we denote by
g
the normal expectation of
~ ×
~
onto
(~ x
P
P
g(x) =10t(x)dtd-- ' x e h X
P
~)P: P
g .
The set of elements of the form
x =~
p(yj)V(~j)
yj e ~ , ~j ~ ~ . J
is
a-weakly dense in
~ X
g
and
P ~(x) = 2
p(yj)V
~(~)
~(t)
.
Q.E .D.
Lemma 4.7.
If
~(~,)
contains a representative
is implemented by a unitary representation u(x ® l)u* Proof. Cv I .... ~Vn}
for
x c ~,
then
~
c ~:u(t)~
Choose a representative
~,~p}
be an orthonormal basis of
~p.
u
of
of
p
G
on
= ~ , t c G} c ~%(~I) Put
of
for all ~
p ~ G
such that
is cyclic for p
for each
and ~(x) =
~. p c G.
Let
84
~
E
is the central projection in
E
*
=yu(t)d~
P E°
Then
n
= n ! ~ v.e~,(v..)u(t)dt ~ j=l J ~ J
. and
u(G)"
Eo~ = [~ag9 :u(t)~
= ~ , t ~ G}.
~p Since
..
.fr
k
E_ = n ~ vj t i utt)dt ) V. = n ~ ~, j <,.' J P it follows that
E
Up
~ ~ (T~o$)-.
Since
~
~E
p
vm. ~. , J o,I
= 1, Eo$
is cyclic for
~. Q.E.D.
We are now ready to prove the equivalence between the crossed product by a coaction and that by a Roberts action. Theorem 4.8. (i)
If
5
Assume that
G
i s compact and
is a co-action of
an element quasi-equivalent a Roberts action
[p,-i}
G
on
~,
to the right regular
of
g
on
~
h
is properly ~ i n i t e .
there uxi:t
a r~ng.
representation
of
~
containing
G
and
such that ^
(ii)
If
R
is a ring containing
ular representation
of
exists a co-action
5
Proof. If we define
(i)
and
of
Put
[p,q}
G
G
[P,I} on
~
~(,~.,~,(b))
in
= ~
= b ,
then it is a Roberts action of w
~ (~)
~
on
~.
such that
,
is properly infinite,
to the right regular representation
Therefore we can construct a crossed product
(4.~m)
~
~ ~%(~)
ring.
,
is a dual action,
(a t ® g)(w*) = w*(l ® p(t))
quasi-equivalent
!
there
,
~,
Since
Since
stant
~,
is a self-adjoint
~ ~(m)
b ~ JG(~,~,)
~ (~)
m ~ ~(G) ~
(8(y)),
Theorem 11.2.2.
Let
to the right regon
satisfying (4.18).
[~,~} = [~ ×5 G , ~3]. Then
5(n~(y))
exists a unitary
~
by
(4.19) (4.20)
an element quasi-equivalent is a Roserts action of
~ ×
of
~,
G
by Proposition
where
R = .~ (~).
P be the projection ~f ~ @ LP(G) onto 2 @ C! where o function. We shall identify ~ with 2 @ CI. Then
= ~ ( y ) E ° == y
,
by
there exists an element in
E
~oS(y)
there
y c n ,
i
~(~)
2.3.
is a con-
85
(4.22)
Eob = bE o = "'1~, ~(b)
Now,
for any
~ c R ~
b e ~G(W',,~)
L2(G)-- we define
¢_ %
by
¢~ (w)a = Eoa ~ , a e ~I~ '
Then
¢~
is a bounded linear operator of ~ ® D w
b e ~G(W',~),
.
-r e
to
f~
R
.
and
#~ e Fo(0,R ).
then 0~(w')ba = Eobag = ~i~, w(b)Eoa~- = "iw,,w(b)¢g(w)a
hy (~+.e2).
Indeed, if
Moreover, if
~,Ti e R,
f.g c: L2(G)
az~d a,b £ ~
,
, then r
(9:i ~ g(%)*¢~ ~ f(~r)~ Ib) = (b%o~(~
~ f) l~i ~ g)
= ;(b*(l ® k(t))a(~ ® f)lq ® g)dt =/b*~t(a)(~ITi)(X(t)flg)dt
,
an~ hence +]®g(1~r) ¢~®f(~r)
= (~IT~)Wr(~O~) ,
qc = ~f,g ,
which implies that =
,
ll~ef!l e
9+
'+'G(e(~®f(~r)
Therefore we have an isometry for ~ 6 R @ L2(G).
W
of
.o
¢~®f(~r)))
R ® L2(G )
: iI~ ® f,i o L'(p,~)
into
such tlmt
Next we shall show by usimg (4.21) and (h.pp) that
(L.23)
wS(y) = p(y)W ,
(4.24)
w~ =v(~)w
(4.25)
If
~ e R @ L2(G)
,
W(I @ k(t)) : U(t)W ,
and
b e ~,
then
y ~ h , ~
~
, ~
t e G .
¢5(y)~(~,)b = Eobg(y)~ = E°P~,(6(y))b~w, =
p~ (5(y))Eob~ = 5(p~(y))Eobg = p~(Y)Eobg = p~(y)0g(r,)b, TT
~ ,
and so
"
WS(y)~ = % ( y ) ~
= o(y)~
= p(y)W~ .
86
If
~ ~_ R @ L2(G)
and
b ~ ,~. ,,
Wa~
If ~ e R ® L2(G) and ®g&[i(t) = (i~R(t)-l)(~)~,
b
then
~a~
=
¢~vg(a)b,, = @~ba =: Eoba~ : ~,a~(~')b,
¢~vR(a)
=
~, then and so
( II
W ( 1 @ )~(t))~
V(a)$~
=
:I
V(a)W~
= I~;(l®~.(t))
~ :
.
- Eob(l ~ X(t))~
~(Zi~X(t))~(~)b
@~7~(t) -I
and so
= U(t)W~
= EeSt(b)~
=
.
Using (L.2~); (!4.24) and (4.25), we s ~ l l show that W is an isometry of ~ LP(G) onto L 2 (p,~). If ~ £ L2(p,~) and ¢ = U(t)~ (= @ ~ ( t ) -i) for all t ~ G,
then
{w,~J
~(.)
:I 0
~or a n
irreduci~o
is a trivial representation,
some unitary 9~ = C,~)(u )
uv, ~ ~ and
by (4.19).
~'w' = CS(u ,);
some non zero
~ 6 C
for a trivial
w.
and
Then
then
If
and non t r i b a l
~
c :~(h) axed hence
{w,Dw}
then
and
,
i"
~
~
w'
for
tl~t is,
,~,(u ,u~)
Here wc set
and
~
0~(Y) = u yu
is of the fore
by (*~.20).
Indeed, if
~ ~.
are trivial,
~-7',~.I.w,}
a e ~G(VT',~)
"~. _(a) = mu ,u* ,'~ = ~ .~ u~®
{~,~j
for
~ : ~(v.)5(u ) 1~
are trivial, then
and
(~').~(u,) ~,u~
-i
Cu*~ @1 = ~ -i ~I=, ~(a)~( ~)I~(U ) : ~-l~( ~' )a~(~ ) : ~(~')~(u
Consequently,
we have
~ e WEo ~
O
Since ~
contains an element quasi-equivalent
so does
~^(~l x o
tative of
p
p
~)
for all
by Lemma 4.5. p ~ G
isometry of
~ ® L2(G)
onto
by Propos.~tion 2.6 and
(ii)
w ,: ~}, Since
then
Ad W
h ×
~
h x5 G
s
p
by Lemma 'l.7.
~)
of
contains a represenThus, the right
This means that
h ×
~
is generated by 5s generated by
gives the equSvalence
W
is an
5(h) p(h)
and and
{g~ : irreducible [V(~.) : 5rre-
(4.18).
{£ has an element quas_~-equz'.valent to the right regular representa-
tion, we can consider the crossed p-roduct By Lemma 4.5,
]~^(YI x
L2(0,~).0
Finally, if we notice that
ducib!e
to the right regular representation
Therefore
by Proposition ,°.3 and Lemma 2.7.
hand side of (!:.26) ~s cyclic for'
6 ~}
and so
WE ~ = [~ t L2(p,~) :U(t)0 = ~,t ~. G} .
(4.26)
G,
(D = R ® L2(G))
,) •
h ×
g.
Here we set
M~(~.0 has also an element quasl-equivalent
{m,(~} :
[h
×
to the right regular
g, B].
87
representation.
S~nce
w s ~.~ £(L2(G))
with
is properly ir,~'inJte, there exists a unitary
]q
(~t @ g)(w*) = w*(l ® ~(t))
(~ is a dual action, for
by Proposition P. 3 . Therefore,
f,~.,.~] ~ ['..~..'~}: [,,~'~.,~: ~ .
Q.E.D.
From this theorem we know that if we consider the following correspondences :
then
{h /%1 C, ~!] -~ {h x 5
G, g2 ].
Namely, there is an isomorphism
'~ ×~, G onto ~ x},) G with _F(~ 6~ L) ° ^[~i __ $,P ° 7. Since 'i ? we ,may set w I = (=, 2 L)(I ~ WG) and w 2 :: 1 @ W G. Then .
w~(1 (~ p(t)).
Since
It follows that
(L ~ L {~ ¢~G)(W~W2).
{~,~,l]
(,'-.:2) ~ o v : ~ o (t'~l)t~ we have
w~w 2 E Z2(~) ~ 9 ( G )
~
Therefore
and
~
of
1 @WG
~{ (~I x,, G) ~ Q ( G ) ~ • ( ~ * ~, (<:'.2)t .~ L),- 2, r
~
~
:
((:}l)t .~. L)(w{): Wl(l ~ P(t))-
(w~w 2 ~ I)(L @ %G ~ L)(w~w2) =
['[1~.51} arid [h~:".2] are outer conjugate:
{~z(~), L e ~a]
~
{'~2(~),Adw{~~ ~ f~2(~), L e ~,G~ ~ ~
[~,~2]
In the same way, if we consider [h,~z,f%,,k] ] (ii)~ [h,G,5] (i I {U,ao.{%,,]o]] then
[h ×DI % ,
is realized in
8]] ~ [" ×0 •
R 2,
a 9, ~9].
Since
2
pl(n)
the eovariance equivalence of
corresponds to [h,{01~r[] ]
in some sense will be obtained.
NOTES The materials of this section are adapted from [55].
and
~2(~)
and
{h,{D2~2]]
~l
C_HAPrER V. PERTURBATIONS
Introduction. flow of weights
OF ACTIONS AITD CO-ACTIONS.
This chapter is concerned with ths non-commutative
of Connes-Takesaki
[14 ].
Since the "dual" of a non-commutative
is not a group~ an action of a non-colmnutative a non-commutative l-cocycles G
G
goes well.
on
G
Contrary to this; the dual of the "dual" of
~l gives rise to an action of
~
to the center
C.~%G
G
is the given
duality theorem says ; thus a co-action G
itself on the cohomology space, i.e.
an action on an abelian yon Neumann algebra, which is isomorphic of the dual action
group
does not give rise to an action of
group on the cohomology space, even though the comparison theory of
itself as the Tannaka-Stinespring-Tatsuuma
,% of
version of the
to the restriction
of the crossed product
discussion here is adapted from the flow 6f weights,
~ ×,;, G.
The
[i:'] ~ without major change.
Of
special interest would be ~aeorem 2.6 which says that the normalized Connes spectrum Fn(,%)
is inv~riant under perturbation
kernel of the action of
G
by l-cocyeles;
on the cohomolog~v space.
hence it is precisely the
89
§i.
Comparison
of 1-cocycles
of action and co-action.
In this section we consider a fixed action
~ .
The dual version
Given a strongly values
the set of all perturbed
continuous
map
for a co-action : t ~ G ~ v(t)
actions
by l-cocycles
of
is also discussed.
e ~
with partial
isometry
satisfying v(s) ~s(V(t))
= v(st)
(i.l)
v( s -i) o o]l(v(s)*) , we define
a
an operator
in
~ ~ Ln(G)
by
(a~)(t)
= v(t)~(t)
for
~ c $ ~ L2(G).
Then (a ~, 1)(c~ Z ~)(a)
~- (L 'm ~G)(a)
(1.2) aa* = e a 09 i , a*a = ci(ea) where
ea
is the left support
Proposition there exists
i.i.
If
a strongly
Proof.
of
a
v(t)
.
is a partial
continuous
map:
isometry
t e G
+v(t)
in
~ ~L°:'(O)
~ ~
satisfying
satisfying
(1.2),
(i.i).
By (i.~) we have
(,y~ ~ ) ( a ) and hence
v(t)
,
o{ a(t))=
:(a~)i)(l~VG)(a®l)(i~VG)~
a*( ~ @ .ot )(a)
- 2Zl(a*( ~ @ 0t)(a)).
Then
locally almost t ~v(t)
everywhere.
is a strongly
Put
continuous
map with (i.i). Q.E.D.
Definition isometrics partial
a
1.2. in
isometrics
(l-cocyeles) Let
~ ~ L~(G) b
in
Z (@~IT.) () (1.2).
be the set of all partial
satisfying
N ~ ~,(G)
Let
Z,~(G, ~)
be the set of all
such that
(b ~ i)(~, ~ L)(b) : ( L g, ~0)(~); bb* = e b ® i , b*o for some projection Since
8(eo)
e o e h"
a(t)~t(ea)a(t)*
reduced yon Neumann
=
= e a , we consider
algebra
~e
defined
the action
a O, of
G
by
a a ~ x) = Ad a o ~(x)
Similarly,
we consider
the co-action
b~
of
,
G
x ~
on
e
a
•~e~ defined
by
on the
9O
b~'(y) = Ad b o ~(y) ,
We denote the fixed point subalgebras of o
oy
~
a
and
~
O
~'e
Definition i.~. "~ Z~:(G,'n)) o
~resp.
~)
(Cohomologous)
~ec
with respect to
a~
and
are e~uivalent
class of l-cocycles.
We say that
and w-rite
a
and
a ~- o , i f
there
b
in
ZG(G,T)
exists
an element
c
in
such that
b~(c*~1)a~(c)
,
~
(resp. b = (e* ~ l)a~(e), Moreover,
and
, respectively.
Next we shall consider the cohomologous
(resp.
Y e Geb
a < b
if
a ~ (e ~ l)b
(c~l)~o~)
a - (c g l)bS(c~)).
for some projection
e
in
b
(resp. b ) .
The following proposition is crucial for this section, which deduces the comparison problem of l-cocycles into the comparison problem of projections
in the
sense of Murray and von Neumann. Proposition 1.4. a,b ¢ Z ( G ~ )
(a)
we define
(1.3)
(G,~)
a < b (resp. a ~ b)
(1.4)
and
For any
<~t = °'t ® L •
is equivalent to (resp. e a ~ ell ~ e o ® e22 )
~c . (b)
Let
and
~ = n ® F2
c e ZN(G,~)
~ ~ (L ~ c) ° (~ ~ ~)"
For any
a,b e Z~(G,~)
we
by
(1.5)
c = (L ~ J)(a ~ ell ~ b ® e~2 ) . a ~ b (resp. Therefore~
a ~ b)
if
is equivalent
e a ® ell
(= e a ~ ell + eb ® e22 )
in
[aj}j= 1
by
1.a,
we d e f i n e
is a sequence in then
g
a projection
Ca(b ) ® ell : (Central support of
mutually orthogonal,
--c
in
b)
a ~ b .
Makine use of P r o p o s i t i o n ~:~resp. 'a8)
to (1.4)
and e b ® e27 have the same central support --c ~ (resp. ~c) and a (resp. h a) and b(resp,
are properly infinite, then
If
Y2 by
e a ® ell ~ e b ® e22
define
Then
~ = ~
c(s) = a(s) ® ell ~ b(s) ~ e22
Then
in
Let c ~ ~
Za. 3
Ca(b )
eb ® e22
in
Z (G,~),, (resp. Z~(G,~)),, such that is also a
cz ~a (b) =s~2~aj (b)
an~
1.-coeycle
,
~(Zaj) =VCb(aj)
.
in the center
~C)(e a ® ell). [ea.} J
is
of
91
Let
If
a
[vj : j c I~ ] be an orthonormal basis of a Hilbert space in
is a 1-cocycle~
(1.6)
~, ( r e s p .
~1).
then
a=D
(~j~l~(vj)*
j=1 v
is also a l-cocycle
such that
Proposition 1.5. equivalence classes of
The map
a .~ ~
ca
b e Zs(G,~)
and
b
is properly
infinite.
is an ordered isomorphism of the set of all of infinite multiplicity with
the set of all projections in the center of of
v
l ~ a ( r e s p . I~a )
b < ~
onto
H a ~ where the infinite multiplicity b is defined by the proper infiniteness of
92 §2.
Dominant l-eocycles In the following we call an element
semi-dual, dual or dominant according as
a
in
Zo(G,~)(res p. Zs(G,b)) integraole,
a~)(resP.a~ ) has the corresponding
property. The following proposition is a restatement of the definition of a semi-dual action and co-action. Proposition 2.1. (a)
If a unitary
(2.i)
a e Zo(G,~ )
and
is a semi-dual , then
(~ ~ ~)(a ® i) -- (i ~ v~)(~
®
~)(a ® i)
Z_(G,~) . (b)
If a unitary
(2.2) in
~,~= ~,~ £(LP(G)) (resp. ~ = ~% ,~,£(L2(G)))
®~)'(o®~(resp. ~=(~ ~o)o(5®,)).
G=(,
in
Let
b e Z~(G,~)
is semi-/ual, then
(L ® ~ ) ( b ® i ) - - ( l ® W G ) (
L ®o)(b®l)
Z_(G,~). 5 Proof.
(a)
If
a e Zci(G,~) ,
then
( t ~) J)( a g i) 6 Z_(G,~).
Since
-v
(2.~)
(V~ ® i)(~ ® ~)(i ~ V~) =- Adi®vG(V ~ ® i),
we have
I®V~
follows that
~ Z_(G,~)
As
a ® i®
i commutes with
(I ® V~)( ~ ® ~)(a g i) c Z (G,~.). Since
(o ® ~ ® a
v
in
k ~g(G)'
such that
it
is semi-dual , there
_
exists a unitary
I &)(l ®VG),
~
96
(i 10 V~)(a:i)(v ) : v
$ i.
Therefore
(v ~ i)((i ® V~)(L ® o)(a ® 1))~ (v~ = ( L ® ~)(a ® i) and hence (2.1) follows. (b)
If
b c Zs(G,b),
(2.t) we have
then
(& ® o)(b ® l) e Z (G,~).
Since
(W G ® i)(~ ® a) (i ® WG) = A d I ® w ~ (W G ® i), i ® W G e Z(,,G,~).
follows that
As
b ~ i ® i
commutes with
(i ® W G ) (L ® ~)(b ® i) e Z (G,~).
exists a unitary Therefore
u
in
~l ~ L~(G) ' suchSthat
Since
(8 ® L ® L)(I ® WG) , b
is semi-dual , there
(i ® WG)(oS)-(u* ) = u* ~ i .
(u ® l)((i® WG)(L ® o)(b ® l))g(u*)
(~. ® ~)(b @ i)
it
93
and so (P.2) follows.
Q.E.D.
Proposition ,°.2.
(a)
If
a
is a unitary in
Z (G,~.),
then
i e v~ -- (1 ® v~)(, ~ ~)(a ~ ~)
(2.~)
in z_ (~,~). (b)
If
b
is a unitary in
(~.~) in
then
l ~ w G-- (z ~ WG)(~ ~ ~)(~ ~ ~)
Z (G, ~). Proof.
by
Zs(G,~) ,
(a)
Since
Proposition 2.1,
it
i (9 V6 ~ Z ~ G,~.,) and (1 ,~ v~)(L ~ ~)(a ® l) o r e m a i n s t o show ( 2 . 5 ) . By d i r e c t c o m p u t a t i o n
Adl.~V,~a
e Z_(a,[)
® i) - (~ $ a) ° (t_ ® ~G)(a ).
a e Z (G,~) , it follows that
Since
Ca* ~ i)((1 ~ v~)(L ~ ~)(a ~ l))[la) : ( a * e Z)(1 ~ V~)((~ ® o) o (~ ~ O~G)(a)) : i ,~ V ~
(b)
Since
by (i.~),
.
1 ® W G e Z (G,~)
and
(i ® WG)(& ~ o)(b ® i) e Z (G,~)
Proposition 2.17 it remains to show (2.6).
by
By direct computation,
Adl,w~(b ® i) : (~ ® o) o (~ ~ ~a)(b). Since
b e Z~ (G ~) ,
it follows that (b*@ i)((i $ WG)(~ ® c)(b @ l))~(b) = i ® W G. Q.E.D.
This proposition
shows that
(2.7)
(~)~°
42.8)
(bS) No Ad b = Adb$1 Proposition 2.3
a
and
b
Let
are dominant,
Ada = A d a @ l
a
then
and
b
a ~- b .
° ~
on
~,,,
° ~
on
E.
be unitaries in
z (a,~) (resp. z~(G,~)).
If
94
Proof.
(a)
Propositions
Since
a
and
b
are dominant,
they are semi-dual
.
Combining
~.i and 2.2, we find that
1~%' ~-(,®~)(a~l) in
Z(~(G,~).
Therefore
a - (~ ® (~)(a
in
ZF (G,~).
Therefore~
oy Proposition
e
where
p
~,,~ F 2
=
properly
and
infinite,
Proposition
(b)
and
[ - (~ ~ j)(b @ i) are equivalent
i.:~,
% ell ~ e
,~, e ,:,, .....
in
is given by (i.]3) for
c
a
9
C
and
b.
1.4 implies
is given b y ( l . ~ ) f o r
Theorem 2.4 There
and
~b
are
a ~- b .
By the same argument,
(i)
~,La
Since
~ ell ~ e ~ ,~. e ,: .... i ~ e D ~ e;.);.;. _ _
e
~ ell ~ e
.~. e.~
in
{c ,
-
and c a -- b.
;
we nave
e a ,~ ell ~ e
Thus,
9~ i)
Let
[ and
T. (resp.
is a dominant
where
.9 : .~ ® F 2
b
o .
h)
Since
a
and
be propoerly
unitary
a
in
h
are properly
infinite, Q.E.D.
infinite.
Zr(G,}.) (resp. Z~G,~)).,
which
is unique up to equivalence. (ii) An element
b e Zr~(G,~ ) (resp.
Z5(G,N))
is integrable
if and only if
b
Proof. orthonormal
(i)
The case of [~,o]:
basis [vj : j c ~ I
Then
(= Z(vj ~ 1)~(vj)*). Therefore
we may assume
ally isomorphic
to
exists a dominant
a
that
[~,~] unitary
. in
If
~
of a Hilbert is a l-cocycle ~o
is properly space in unitary
is properly
Since
~ . and
infinite.
i @ V~ e Z-(G,~)
Z?~(G,~,).
infinite,
~a
a =
is properly
Therefore
and
By Proposition
Put
we can choose an
~ = Adlgv.
infinite.
[~,~]
is spati-
O ~ ,
there
P.3 it ms unlque up to
equivalence. The case of is properly a dominant
[11,~]: By using
infinite. unitary
in
Since z~(G,~).
the same device
i ® W G e Zg(G,~) By Proposition
as adore we may assume
and
that
5 ~I
~ = AdI~.W G o g , there exists
2.3 it
is unlque up to equivalence.
95
(ii)
It is immediate from Theorems Ill.3.1andlll.3.2
• ~(resp. NS)
By virtue of Theorem 2•4 and the ex~nple in §rV.l , l-cocycle perturbation, spectrum
,
for we may assume that
is properly infinite by the same device as above.
F(5)
contrast to the abelian case•
F(5)
Q.E.D. is not stable under
This defect of the Connes
is restored as follows:
Definition 2.5• ,~GtF(5)t-i
The normalized Connes spectrum
Fn(5 )
is the intersection
which is the largest normal subgroup contained in
Theorem 2.6.
The normalized Connes spectrum
n (5)
F(5).
of a co-action
va~iant under the perturbation by any unitary 1 - cocycle in Zs(G,N )
5
is in-
and is equal to
r(~). Proof.
By our favorite
2 x 2-matrix arguments, our assertion is equivalent to
the claim that if two projections l'n(Se ) = i'n(Sf).
Let
u
e
and
f
in
~5
be a partial isometry in
with
and
be an arbitrary compact neighborhood of
be compact neighborhoods be a function in We then have
of
A(G)
a*a ~ ~e
t
and
t-lst
such tb~t
and
aa* s
.
t
Set
and eI =
supp ~ c
eI
belongs to
eI
V[supp(x*x)
: x ~ ~'~
and
K.
s.
then uu* = f.
sps(flu ) Let
K
KVK -I c U. Set
a=5
and V Let
(flu)~0.
~/ ~ ~A(G) supp( ~ (a)*5~, (a) ).
~C
By Lemma 2.7 below,
N~
be a point in
respectively such that
~(t) = i
~f]
Let
u*u = e
fl ~a 5
U
fl ! f"
N
~ake a non-zaroprojection s e Fn(Se ) . Let
with
are equivalent in
e
~
Since
t-lst ~ 7'(5 i) e1
(V)} :-~/[supp(xx*) : x ~ ~%
(V)} = e I
e1 so that we can find an
x~ n
(v), ~l' '~'2~ A(O)
such that
fl 0 ~ 5,#l(a) x 5 o(a)*,_ c- ~5
Hence
U 0 sp(5
that is, of
fl)
J ~;
s ~ u(5f).
Fn('6e).
so
Thus
By symmetry,
Len~aa 2.'7. For any
s ~
(U) .
sp(~fl)
for every non-zero projection
Fn(Se ) c ?(sf); we have x 6 N,
~fl (KVK -1) c
so
Fn(Se ) c Fn(5f )
n(~Se) = i'n(&f) . we have
~/[supp(5< (x)*F (x)):~ ~- A(G)} = p ~ F
~f
fl ~ "n'" ,
by the normality O.E.D.
96
Proof.
We may assume that
(1"(C.)~1'~')
f~ is implemented
= k' Wrr~'.~.' ~ ~ "~ ®,:@)
5(a)
=: w~(a e Z)w ,-x
¢
Y = [5 (x) :~ ~ A(G)}.
w such tb~t IT.
,i A ( C - )
~: ~
,
~,r,
;
;
I-
a r(A(G))" ~Q(G)
w
Let
:,
by a unitary
Then
Y
.
is a subspace
of
~I invariant
under
5@,
~9
e A(G).
Suppose
p~ ~ 0, ~ ~ .~.
~ = ,,f~g c A(G),
For any
-., ~z R
and
y -- Y,
we
have
\]~' ~,Y~l !
= \W ,,~,= . y @ q¢) :_ \~y II @ l)w1~,.~,., ~ ~)
,b
For any
~ ~ ~
and
h ~: L'-(G),
we have
(5(y)(t ~f)
[ c ~h)
= <Xy),~,C (~,(y)
'
=(~ (y)~lt)
¢ ~'
fl,h
~
=0
) with
,'.....
;
v
5 ( y ) ( ~ ,~ f ) = 0 ;
thus
N a m e l y we have
s o that
p~(q0)~ = 0.
( i - i0)~ invariant.
Hence
(Yw(O)@ I ',) = 0
Hence (p$
i)
p
and and
f o r every
q ~ ~;
TT((2) commute because w
commute,
which means
hence w(o.)
leaves
the
5(p) = w ~ ( p @ l ) W =
p ® I.
Q.E.D.
Corollary F(b) = G
yw(.~)~ =0.
2.7
If
if and only if
i'(5)
is no~nal,
!'(~) = G.
then
f(~) = U(~).
In particular,
97
§3- Action of
G
on the cohomolo~F space.
In this section we assume the proper infiniteness
for
~
and shall only give
a sketch how to make an action on the cohomology space which relates to the Connes spectrum
~(5) .
For convenience we simply denote 2
Let
D = ~ ~ £(~ (Zs))
£(~(z~)).
W e define a
(3.1)
and
lea,b: a,b e ZSI
1-cocycle
u
~)(
u = (~ ®
Z5(G,h )
by
Z 5.
the canonical matrix units in
Z~a,O) (T = (~ ~ ~) ° (~ ® L))
in
by
~ a ® eaa ) . a ~Z~
Then, the map
(a ® q) o (5 ® L))
(= AduO U
is also a co-action of For each in
G
on
a c Zs(G,h )
~ . We denote by
we denote by
ph ( a)
9
the center of
D
the support projection of e a ~ e aa
9 .
Proposition 3.1. projections
in
(i)
The map
Ph
transforms
Zs(G,a )
o-finite
9.
(ii)
ph(a) = ph([) •
(iii)
ph (a) ~ p.n(b)
if and only if
a < ~ .
v
Proof.
onto all
(ii)
That
aj = (vj ® l ) a S ( v j ) *
v
ph (a) ~ ph (a) is clear.
Since
a = 2 aj
with
by (1.6), v
P~(~) =~b %(a)~ %b =~L~b(V%(aj))j ® e~b<_ pn(a) (iii)
That
cb(a ) <_ Cb(b ) ,
(i)
ph(a) ~ Ph(b) if and only if
Let [e. : i e 11
if and only if ~ < b
by
.
p~(a) <_ ph(b) ,
if and only if
Proposition 1.5.
be a family of mutually orthogonal non-zero projections
1 a
in
p
with
q-finite
,
e. ~ pb(a) . For each i z I is countable.
Conversely,
form
p~(a)
c I, e (e a ~ eaa ) ~ 0 .
we shall show that each
f o r some
(3.1)~s Z e a ,~_ eaa
and
a e Z~(G,h). e <_ s~(u),
q-finite projection
Since the left it follows that
support
Since
e
s~(u)
in
h
is
is of the
~ of
u
defined by
98
e ~ Since
e
is
V
[Pn(a) : a c z~(o,n)}.
there exists a sequence
J-finite,
[aj : j c ~ ]
in
Z&(G,h )
such
that
e <_ V Take a l-cocycle
h 6 Z~(G,~)
[Pn(aj) : J 6 ~;}.
such that
e <_ p.n(b). Choose a l-cocycle
a. < b
for all
j e ~
.
Then
a c Zs(G,~I) such that
e(e b ~ ebb) :: Cb(S, ) ~ ebb • Now,
e
p~(b)
and of
are ooth projections in
p~(a)
D-- dominated by the central support
and
eb @ ebb
e(e b @ ebb) = p,fl(a)(cb ~ ebb) • Consequently,
Proposition 3.2 the center of e e Cho If
b
If
onto
In particular, a
Q.E .D
e = p~(a).
b -c Z&(G,~), @d
with
therc exists uniquely an isomorphism
d
p~(b)
such that
Pb(e) = p~((e @ i) b)
Po
of
for
p0(eo(a)) = ph(a)p~(0).
is a 1-eocyele in
Z~(G,~), then
(1 ~ o(r))a is also a 1-eocycle in
z~(0,~). Definition 3.3
A homomorphism
~
of
G
into
Aut(@)
is defined Oy
~tP~(a ) - p~((l ~ ~(t))a) for all
a e Zs(G,~ ).
Theorem 3.L
The following three conditions are equivalent for
(i)
a
(ii)
a < b
(iii)
The map
Proof.
is integrable. for some (or all) dominant t ~ ~tP~(a )
is
D e Z~(G,n). ,,>
o-strongly continuous.
(i) ~ > (ii) : By Theorem 2.4.
a ~ z~,(G,n) :
99
(ii) ~(iii) : Since is properly infinite. and some projection
ph(a) = ph(~)
Then e
by Proposition 3.1, we may a s s ~ e
a ~ (e ~ l)b
in the center of
for some dominant l-cocycle b
.
Since b
and hence there exists a unitary representation b~( u( t) ) :-u( t) ~ p(t) .
Since
a ~ (e ~ l)b
u
and
of
that
a
b e Zs(G,~)
is dominant, it is dual G
in
h
such that
(i ~ o(t~)a~ (i ~ p(t~ (e @ l)b,
it follows that ph(a) : pb((e 9 1)b)
(3.2)
p~(1Z
Because, since
o(t))a)
c b* ~ Z ~(G,h), b"
p~((u(t)eu(t)*® l)b) .
we find that
b~(U( t ))c5 (u(t)) ~ (: Z,b(G,'n) by direct computation.
Since
(1 2 o(t))c we have
(u(t)* % i) b,5(u(t)) c,%(u(t)~ 5(u(t)),
(I ~ p(t))c ~_ bS(u(t~c[~(u(t)~ . Here we replace
c
by
(e q l)b
and
obtain
b~(u(t))(e @ l)b$(u (t)~ =
(u(t)eu(t)*
®
1)b
.
Therefore (3.2) i~ true. On the other hand, we have an isomorphism ~d (d : p~(b))
such that
Pb
Pb(e) = p,n((e ~ l)o i
of the center of by
Proposition 3.2.
~
b
onto Therefore
the map
p~(a) = pb (e) ~ t p n is
J-strongly continuous. (iii)
and
(&) = pb (u(t)eu(t)*)
~ (ii) :
f =V[3t(e
Let
) : t ,c Go].
Go
be a dense countable subgroup of
By assumption, each
3t (e) for some sequence It n n f = V [~t (e) : t e G] and it is we have
f = p~(b)
: n e ~]
in
c-finite and
for some dominant
.~t(e)
G .
Let e ~ p~(a)
is a ~-strong limit of
G o . Therefore, 3
b e Zs(G,~).
invariant. Since
By Proposition 3.1
e < f < p~(b) ,
100
a 4 ~ < b
by Proposition ~.i. Q.E.D.
Corollary 3.5. a e Zs(G,h )
where
such that
d = p~%(a) and
Connes spectrum
Pn(5 )
If
~
"- p~'operly infinite, there exists a dual is
[~k,~a~] T [~ ×,~,.G, ~]j and
~ ~d
is the restriction of
is precisely the ker~nel of
~
to
~d"
Thus the normalized
~d.
NOTES The contents of this chapter are generalizations of the flow of weights on a factor of type III in [i4].
CPAPrER Vl RELATIVE COMMUTANT OF CROSSED PRODUCTS.
Introduction.
The relative
commutant
of the original algebra in the crossed
product plays an important role in the study of the crossed product and/or the fixed point algebra.
Section i is devoted tc the analysis
of the condition under which
the relative commutant is contained in the original algebra. the relative commutant property, of
G.
But~ in the continuous
case, the freeness
case,
of each individual group element
does not yield (i.i) as in the example following Theorem i.i. criteria for a stronger relative
In the discrete
(I.i), is equivalent to the freeness of the action
commutant property,
i.e.
Theorem i.i gives a
a necessary and suffi-
cient condition for the relative commutant of the center of the original algebra to be the original algebra itself. very primitive.
Generally speaking,
the results in this area are
We need a greater effort to understand the relative commutant
property to claim, anything definite. In §2~ we treat the stability of actions following Connes-Takesaki~ Again we know very little about it.
[ik].
102
§i.
Relative
colr~utant theorem.
It is known that,
if
is descrete,
G
the following
two conditions
are
equivalent : (i) x
=
ot
is free on
~,~ for each
Indeed,
for
all y
implies
~<~.)' p (~ xoG) c ~.(~,.). p( t )) c ,-~rc)' 0 (~×,~,G),
~_~t~O,,~xt) ( l *
xto:t(y ) = y x t continuous
for all
y ~ F..
However~
thc above equivalence
Theorem 1.1
The following
conditions
(i)
-~C~)'
n ~ ×,o)
= ~);
(ii)
For any compact
subset
K
of
for
q ~ p
such that
q < ~,.
If
on ~
[F,~;]
L~(F,[~)
such that for every
rio
which does not contain the unit p c C~
for every
is a standard
is isomorphic
are equivalent:
there exists a non-zero
and
f~t(q) q = 0
(iii)
~
G,
e ~ G , and any non-zero projection
projection
in
does not hold for
o<%).
cX ~.)' n (~.x. ~ ) -
G
and only if
in this section is mainly concerned with
(1.1)
element
if
group.
Our interest
N
= yx
o)~ (ii)
of
t / e (mot(Y)
G-measure
space such that the canonical action
[c~,G,~],
7 c ~ - N ,
t c K;
then there exists a B o m e l null set
the stabilizer
subgroup
H
of
7
7 reduces
to
[e]
Proof. separable Let
F
.
(iii)
> (ii) : Let
C ~ -suoalgebra
of
be the spectrum of
that ~zt(a)(~) = a(t-l~), measure on
F
H
C~ A •
be a globally ~
jn~ariant
Then
C
lim !Io~t(x) - xll = 0 for every x c A. t-~e acts on ~ continuously in such a way Furthe-~more,
to a faithful normal
state on
is quasi invariant under the action of
be identified with the action of
o - w e e k l y dense
such that
a £ A, t c G, ~ e I~ .
corresponding
that the measure
A
G
on
L:~(P,~).
Set
let C~,G
~i
be the Radon
It then follows and
~ C D ,G,c~]
can
103
r K = [~ e F : t ~ By condition (iii) action of
G
~ u(p - 2K) - 0
on
U .
neighborhood
Ut
of
neighborhood
V(t)
For each ~ t
of
K.
set
Set
for every t £ K
PK
q e PK
is open in
and
t ~ K
tU t 0 U t = @
such that
open covering of' the compact ~V(tl),...,V(tn) }
and
such that
of
/ ~
p
b y the continuity of the
there exists a compact
Then
we can choose a
V (t)U t Q U t = @ .
K,
Then
IV(t) : t e K}
is an
so that wc can choose a finite subcovering
U(T)~n
Ut..
such that
i= i
( ~. 2)
,
•
]
Then
U(~)
is a neighborhood
of
l
KU(V) n u(~) = ~ .
Thus every point Condition (ii)
~ ~ PK
admits a neighborhood
ii) now follows >(i) :
Let
U(~,)
such that (1.2) holds.
from this easily.
~ - .,"~C~)' '~, ~ ×op)^-
We consider the restriction
of the
h'
dual co-ac~,ion ~ K
of
G
contained for every
to
such that
@
.
e ~ K •
Let
in the interior of t c K
be a p r o j e c t i o n
L
L
such that
and
e ~ L.
clt(q) q = 0
/
from the fact that
¢~(x (t))(l ~ p ( t ) ) d t
•
= [0]
all
0
f e A(G)
G
t e L .
such that
such that
for every
subset is
K
f(t) = i
x c ~(K).
Let
q
We then have
x ¢ ~,,x O. o
(1.3)
Hence,
If
for every compact
subset of
~f(x) - x for
q~f(x)q
This follows
9'~K)
be a compact
and supp ( f ) c L~ then
(1.3)
x :
We claim that
holds for every
x
of the form
^
for every
x e o~(K),
we have
~G xq - q~f(x)q - 0 .
But condition (ii) ~(K)
= {0]. (i)
says
Hence, ~o = ma([e]), = ~ D )
@ (iii)
u(N)
> 0
.
Since
N
%m~ler the projection
to the second
cross-section
theorem,
such that
~ H %.'
t 6 L]
= i.
Thus
•
HVt
[e] ] - N •
P:t%'=D',tl component
T ,N
there exists a measurable
-[e]. %,
P:
is the image of' the BOT'el set
[(t,'y) ~ G X
h
for every
: Set [~e
Suppose
= O
that V [q :(Tt(q)q
We then define
a
=e Y
e] c o x
r
is analytic. C-valued for
By the von Neumann
function:
~ ~ N
~ c N ~ h
and an operator
6 G u
on
104
~
r,2(G)
as follows:
(u{)(%,,t)
: {(,,,th
-i t
) ~,,
where we consider the central decomposition
' @ ~ ~ @ L2(G)
of
'
¢-:
/~ ~ ~v)d.(o~) It is then easy to check that
u ~ o(~)'
O(~!×oG)
but
u / q(~). Q.E.D.
A n important
consequence
of the theorem is that the freeness of the action of
each individual group element of property,
Consider
G~n
can be constructed
; l~ )
action on
Then consider any non-transitive G = G1 × G~n;l~),
[p,u]
F = Pl x l~n ,
transformation
.
l~n
action
-~ of
and if
o
equipped with the Lebesgue measure t'ree action
I~ = u I × m
Let
If
G
.
{?i' 7'1' GI}"
m
Set
We then get a n o n ~ r a n s i t i v e acts freely on
property.
be an abelian yon Neumann algebra equipped with an
Auto(C ) = [o < Ant (Q) : o-,:.~ t - .~'tc, t e G]
is faithful, then the action
.,~ satisfies
the conditions
is ergodic on (% in T h e o r e m 1.1
[C~., c~} •
Proof.
Let [f,u]bc~ t h e G - m e a s u r e
T h e o r e m i.i. action of
W e note that
G .
space considered
H = Auty(O)
acts on
then
follows
~l(p - N) = 0
.
[_~]
in the proof (iii)
that
N
For
each
is
invariant
compact
set
!e]
} •
under
H; h e n c e
either
K
G
e ~ K ~ set
in
with
~ (ii) of
also and commutes w i t h the
Set
N = {7 s ~:HT/ It
A more precise
group such that each single group element
1.2.
G •
case.
co,mutant
as follows:
ergodic group and
the relative
the descrete
But it does not have the relative commutant
Proposition
for
does not ~aarantee
which shows a sharp contrast with
example of this phenomena
ergodic
G
u(N)
= 0
or
105
rK It follows that ~(I'K) = i
or
FZ
=
{To
r:Kn
H
is open and H-invariant.
FK = ~"
If
s ~ e,
~ e FV(s).
Hence
[V(si) : i = 1,2,...,n}
of
YV(s)
K,
PK~
of
fK
y e r
s
such that
F.
D , we have K
of
~(F-N)
~
and
s? ~ ~,
y ~ V(s)~,
so
which
Choosing a finite covering
DV(s I) U ... UV(Sn) = i ~ I D V ( s i )
sequence of compact subsets of
is dense in
such that
we have
for every compact subset
Since
V(s)
is dense in
By the Baire property of
-N = Qn=lFN •
Hence either
then there exists
that there exists a compact neighborhood means that
= ~ 3.
G G
rK / ~ ,
with
so that
e ~ K .
such that
If
~(rK) = i
[Kn]
G - [e] =
= lim ~(~K ) = i,
n
N
"
is an increa~ing
Un=IKn
' then
we have
must be null.
Q.E.D.
n
Corollary 1.3.
If
with the faithfulness
G
is abelian, then the ergodicity of
of the restriction of
G
to
C~
G
on
C~
together
yields the conditions in
Theorem 1.1.
Denote by Za(G,h(C~) ) a e Z (G,h(C~))
we set
the set of all unitary l-eocycles in
6a = Ada* ~
$a(~(x)) = ~(x)
Theorem 1.4. (i)
G.
a 6 B(G,h(%))(i.e.
Proof. (i)
Suppose that
Adb(t)((~(x)) = (x(x)
satisfies (1.1), t -> b(t)
that
.
then
is a bijective isomorphism of
a ,-, i)
if and only if
B ¢ Aut(~ x
G/~(m)).
Z (G,h(~))
onto
a
we have
for
x ~ ~, b(t)
is a unitary 1-cocycle in
(ii)
That
~a e Int(~ ×
~a = Adu
b(t) = ,~(a(t))
for some unitary
u ~ (x(D.)' ,O (~ ×
G)
r £ G.
Since
satisfies (1.1),
this is equivalent to
v £ C~
and
~
for some
Since CL a(t) £ C~.
it follows
~ = !3a.
is equivalent to
v ~r(V*) = a(r).
and
(~([~)' ,O (In x~ G).
b(st) = b(s)(L ® ps)(b(t)),
Z (G,CD)~ with
G), i.e.
G).
.
belongs to
b(t) 6 cx(C~) and so
is strongly ccntinuous and
5 a ~ Int(~ ×
We set
b(r) : ~(~ ~ O(r))(1 ~ ~(r))*
Since
For each
G/~(~)).
(ii)
Since
Z (G,%).
Then, by direct computation,
Ba(l ~ p(r)) = (Z(a(r))(l ®p(r))
li' (~ satisfies (l.l),
The above map :a - ~ a
Aut(m ×
,
x
u
in
D.x
u(1 ® p(r))u* = (~(a(r))(L @ P(r)) u = ~(v)
G for
for some Q.E.D.
106
Proposition
i.').
(i)
If
o
is integraDlc
(1.4)
(~':')' (ii)
If
G
Proof.
is
aeelian
(i)
Let
and
";.
..D _ ,, o ~..
is
and satisfies
(i.i),
then
r ~ , cl;: • dual,
then
(1.4.)
for some faithful
implies
normal
(1.1).
state
~
on
~ .
~x
As
~
is integra~le,
'~ ° Q t = rp . Let
J
o
is a faithful,
We may assume
oe the modular
that
~
unitary involution
u(t)q~(x)~_(o~(x)) .. .~ is square integrable.
for
x<,n
Let
U
.
semi-finite,normal
acts standardly and
Since
u
~
~ ~e an isometry
weight on m such that P L- completion of ~
on the
a unitary
in
is integrable, of
~
into
£(gO)~ L~(G) the map:
gO ~ L2(G)
(U~) (t) - u(t)~, Then we have,
for any
(l.5)
x e £(~)
u~=
Since
and
u(G)")
defined
by
~ c gO •
t e G,
~(~xl)~*u,
J((,T!~) ' n ~.)J -- ( m v
definedby
t->u(t)~,g~n
uu(t)
Q p,'
=(l~,~.,(t))u.
and
(o(~.) V (C ® 9(G)") p u(~' ~9 C)u*
(~ ~p) a ~Xr,0' = ~dcr ~)
Dy assumption U
(i.i),
is isometry, (ii)
of
G
into
y e: (TO.), Q ~,~ ,
JyJ c C~, and hence
We may assume
on ~®
if
~
that
implementing
L2(G)
~
then
UJyJ c %(C~.)U = U C ~
by (1.5).
Since
Let
representation
y ~ ~.
is standard.
canonically
,,z , If,P4]
uf=~ - u ( ~ ¢ f),
~ ~ ~ ,
u .
be a unitary We define
a map
~
of
by
f c r.2(G).
Then we have
(1.6)
u(x ~ l)u*Uf = u~x ,
First,
(1.7) where
we notice
that,
if
x ~ ~(D).
y c ,~(,~.)' ;~ (~T.×..G) ,
then
~*g yuf J ~ (~.2:)' p ~ (- c~) , J
is the modular unitary involution
for
,~.
Indeed,
since
y e C~(~0' , (1.6)
107
implies that because, if
U*g yUf e ~'
y c -G ~ X,C'
Since
x ¢ T' ~, u(G)', then
, (1.6) implies
UgyUf ~ m V u(G)",
Ufx = u(x ® l)u* Uf ~ (x ® l)Uf
and hence
[u~ yUf, x] = o . We now show (i.i).
By Theorem II. 3.P. (a) we have only to show that y ~ C~(D)' n ~:×.G) (/
By assumption,
G
is a belian and
there exists a unitary
Vp ~ ~
V'p = JVpJ ~ ~'.
Ju(t)J = u(t),
Since
(i.8) If
Therefore for each
c~(Vp) = (t, p) Vp.
we have
p ~
Put
u(t)v~u(t)* - (t,p)v~
and
~ f) = (v~ ~ ~)u( ~ ~ pf).
then
n (~,X G) ,
(~l®
y c (C ~ L'~(G)) '
is dual.
such that
u(~
y e ~.)'
~
>
p)u(~ ® f)lu(n ~ g)) - (yu(~ ~ pf)lu(~ ~ g))
oy(1.8),
: (y(V,p ® 1)*u(v~ ~ 1)(~ ~ f)lu(~, g)) : (~(v~
~ f)l(v~ ~ ~)u(~ ~ g))
= ( ~ ( v ~ ~ f)lu(v~ ~ ~g))
b~l.8)
= (yufv lU gV ) = (yuf~!U~g~) = ((i ~ p)yu(~ ~ f)lu(~l ~ g)). Thus
[y, i ® p] = 0
Proposition
for all
1.6.
(i)
p E G
If
and hence
o
y e (C @ L~(G)) '.
Q.E.D.
is integrable and satisfies the relative
commutant property:
(1.9)
~(~0' n('~x
G) ca~.x G'
then
(1.10) (ii) Proof.
(~;~)' n ~,= c If
G is abelian, (i)
Proposition 1.5.i.
t h e n (1.10)
il:lplics ( 1 . 9 ) .
We use the same device and notations as in the proof of If
y c(b..°;)' r,. LT. ,
be the complex conjugation operator on
then
L2(G).
UJyJ ~ CM.,x G U Then
by (1.5).
Let C
108
UJu(t)J = ( J ~ Therefore
JyJ
(ii)
commutes with
C)(I®
Ju(t)J ,
o(t))(J ~ C)U = ( i ®
and hence
p(t))U.
y e ~
We use the same notations as in the proof of Proposition 1.5. (ii).
First we notice that (l.ll)
(i®
(1.12)
(u(r) ® 7\ (r)) Uf = ~ ( r ) f
If
y e a(~)' n (F~× G), then O,
~(r)) Uf
Uo(r)fU(r )
JU* yUfJ e ~:) by g
"
(1.7).
Since
Ju(t)J = u(t), this
implies that (1.13) Since
Ug y Uf c ~ . y c !:~)', it suffices to show that
y e (C ® 9(G)) '.
By (1.11)
and
(i.13)
we have
Ug y(1 ® o(r))U~._ = Up(r).g(1 @ p ( r ) ) y U p ( r ) f. Since
y e ~x G
and
G
is abelian,
(l.ll)
implies
U~(r).g(1 ® D(r))YU.(r) f : U g ( l ~ o(r)]yUf.
Therefore
y ¢ (C ~ It(G))'.
Q.E.D.
It should be noted that (1.10) is true for any integrable modular automorphisms, [14]. NOTES
The equivalence (i) ~
(ii) in Theorem 1.1 was obtained independently in [14,57].
Theorem 1.4 is taken from [14].
Propositions 1.5 and 1.6 are due to Paschke, [54].
109
§2. StaOility In this section we shall discuss the stability of actions or co-actions under l-coeycle perturbations.
Definition 2.1.
An action
:). (resp. co-action
all unitary l-cocycles are equivalent, there exists a unitary
h)
is said to be staole, if
bh&b is, for each unitary 1-cocycle
c e ~(resp. ~) such that
a
a = (c* ® i) o (c) (resp.
(e* ~ 1)~:(e)). Lemma 2.2.
If
q
satisfies (i.i), then (i.i) holds for both of the follow-
ing: for each unitary
a c Z,),(G,k);
(ii)
on
or
Proof.
(i)
(i)
a~
some unitary
~ ~ F n (n e ~
~) given by
We may assume that
u e £(~) ~ L=(G)
~
with
is standard and
a~(~,,) v (~ ® .~ ( 0 ) )
(ii)
a(X
:){x) - u(x ® l)u*
for
(u ~ I) (g ® G) (u ~ l) = ;,~G(u). Since
(a~<,~.)) ' = ( A d a u ( ~ ® ~ ) ) '
it follows that
~t = ~t ® L •
satisfies (l.1) on
- a .~.(~)'a*
-: a(~,: ~ p ) a * , ~ .
Since
(:){ ~.) @ Fn)' q (( "~(~,,) ~ F n) v (~ ¢ ~(O) ~ .. )) c "~ ~.) @ Fn (~ ~ ~") (( :'(~) @ Fn)' : ~(~ ~ ~n)' it follows that
(~ satisfies (l.l) on
~,
F n. Q.E.D. a
Pro~osition 2.'~ all unitaries
Proof. c(t) = i ® (i.i) on
If
~
satisfies (l.l).and
a e Z (G,(,, ~), then
Take a unitary ell + a(t) ~ e22
~ ® F2 .
~
a e Zo(G,#~)., We set and
~t ~ ~t ® L •
~ - ~®
Then, by Lemma 2.2,
-C
D
coincides with
central supports of
~c
for
Thus
eI = i ~
unitary
i ~ ejj in
~ ,
in
the fact
j = i~2.
ej (~ C ~
ell + i ~ e22 = e 2 , namely,
central support in
F o, -C
Therefore, Proposition i.'~ implies that
which implies that the center of
i ® ell ~ i ® e22
is properly infinite for
,,, is stable.
-e
~
a e Z (G,~) ,
As we assumed that i ® ell
and
(m)' -C
C~ ~ ~ . Then
Let
ej e ~
e~
satisfies
P ~ = C~ , i~
be the
O • •
Since
implies that i ® ell + i @ e22 < ej. i ~ ell ~
a
and
i ~ e22
have the s~ne
is groperly infinite for every
i ~ e~,,/~, are properly infinite in
~c.
110
Consequently,
i % ell ~ 1 ~ e22
Corollary 2.71.
If
G
in
~c ,
namely,
is finite and
~;t
a ~ i.
is free for each
t / e , then
o
is stable. a
Proof.
~e
case where
N
is properly infinite.
properly infinite for all unitary t / e ,
o' satisfies (i.i).
The case where
D
a e Z
(G,D).
Therefore,
is finite.
Since
Since
~
= ~ ~ F
and
satisfies (i.i) by Lenzna 2.~, and hence the center of
trace on on
~.
T~' • Then the restriction Therefore,
Thus ea ~ ell ~ eb ® e~2 ~
C g
for any projections e ~ f
a
C of
in
is finite,
to e
O ~ ~(~
and
is the
Let
~
~
Then O ~
by
De the center valued
is also the center valued trace f
~T ¢~-> e ~ f
for all unitaries
.
is
2.~.
"t : :~t @ L.
~<7
~
is free for all
,~ is stable by Proposition
Let
Proposition i.~, which implies that
~t
G
in
in
a,. b
.in
,,
~.~ . Z. y(G,~.). .
Conseouently,
D.
Q.E.D.
EOTES
The stability of an action played an important role in the structure analysis of a factor of type Ill, [14].
IIowever= we have to admit that the general study
of the stability of an action is in a very primitive one should study also the approximate ular automorphism action of ]R by Connes-St~rmer
[13].
stability
stage.
of actions.
on a factor of type III I
The materials
The authors feel that For example~
is approximately
presented here are taken from [14].
the modstable
CI-IAPI~ER VII APPLICATIONS
Introduction
TO GALOIS THEORY
Galois theory here means the theory concerning intermediate
Neumann sublagebras
yon
between the entire yon Neuamnn algebra and the fixed point sub-
algebra under a prescribed action (resp. co-action) related to the analysis
of
of the algebra of observables
the quantum field theory of Doplicher-Haag-Roberts,
G.
The theory is intimately
in the axiomatic
[ 17].
approach to
It should, however,
be
pointed out that since our theory is concerned with von Neumann algebras, but not C*-algebras~
we have still a long way to go in order to build a theory applicable
directly to physics.
Nevertheless,
the study in the von Neumann algebra context
would provide a way to go further. In ~l, we shall study the crossed product by a closed subgroup homogeneous
space
H~G
according to an action or a co-action.
tell how one can recover a given closed subgroup subalgebras,
i.e.
H
is determined by
• x
Section 2 is devoted to the association yon Neumann subalgebras
H
of
G
H
or the right
Theorems
1.1 and 1.2
by the crossed product
H (resp. ~ x 5 (H\G)). of closed subgroups
H
to intermediate
in the crossed product under a natural regularity condition.
In ~3, under regularity conditions we show Galois type correspondences closed subgroups and intermediate The regularity conditions
subalgebras
between
for semi-dual actions and co-actions.
are fullfilled when one has a sufficiently
phism group commuting with a given action of a compact group.
large automor-
Hence~ if the situation
arises from physics, and the action is given by the gauge group, then the space translation will provide the regularity condition. mechanisms, be in with
we shall show that an automorphism
~(G)
for a compact
c~(G),
Theorem 3.8.
G
if
~
~
Making use of all the duality leaving
The last section is devoted to the full group analysis provides a correspondence automorphism
~
pointwise
commutes with a large subgroup
between certain subgroups,
~
of Dye-Choda,
called full groups~
group of the crossed product and intermediate
subalgebras.
fixed must commuting
which also of the
112
§!.
Sub6roups and crossed products Let
×~ H
H
be a closed subgroup of
and
~ ><5 (H\G)
K
with
~ x5 (H~G).
O
I
I ~,x~H
H
[e}
will turn out to be the or the set of
t e G
xH
]%><5 O
i
I
H ~
(:Z(I]'P,) , or
H
This indicates the one side of Galois type corres-
H ~
{e}
Then
~(~ x H) c h ~ p(K)"
J~,X~ G
G
We denote by
We shall give a characterization of
in Theorems 1.1 and 1.2.
smallest closed subgroup with ~t = & on pondences:
G.
~x 5
(H\o)
5(]%)
O
the right or the left regular representation of
on L2(H). Theorem i.i.
~ = ~ ~
G.
Then
~,XG H = [y • n : (9(y) -: n @ p(H)"] ,= n 0 (C ~ £~(G/H))'.
(ii)
H
Proof. in
Let
(i)
is the smallest closed subgroup (i)
K
satisfying
By (I.2.8) and (I.2.9) it is clear that
(~(~ X~ H) c ~l @ p(K)".
~(~ xG H)
is contained
n @ p(H)". Next we shall show that
~(y) • h ,~ p,(H)" implies
y • (C ® f(G/H))'
For
this it suffices to show that
(1.z)
f(S/H) ® C ~ (Adw (C ® ~XH)')) v (c ® ~(T2(G))) .
Indeed, y
y ® i
commutes with
must commute with
C @ £~(G/H)
(~(f) c £~(G/H) @ L*(G),
IF~ill = 1
Since
where
by (i.i).
and
C ® C ® £(L2(G))
l~ow, if
(c~f)(s,t) = f(ts).
f .< ~(G/H) O C(G), For any
g,h c K(G)
f c D(H)' If
and
(7
~d (f -i )(1 ~ g -1 )d r
(x~(f) = Ad W (i ® f)~
~ • L2(G x G),
(i ~ h)
Fg,h
belongs to the right hand side
thegn
r ~f(r-ls)
is continuous and bounded, if
g(r-l)dr
converges to the Dirac
f ® (A-lh).
f ® (A-lh)
Making
i,
F converges weakly tc g,h belongs to the right hand side of (i.I).
.
measure at the unit, then to
then with
r
(Pg,h~)(s't) =(]~ f(r-ls)g(r -l)dr) A(t)-lh(t)~(s,t) Since
and hence
we set
~,h =
of (i.i).
AdI@WG(~I' ~ p(H)')
we have the inclusion (i.i) for
~(G/H) n c(G)
is weakly dense in
f(G/H) O C(G)
~(G/H),
Therefore
A-lh
in place of
we have (i.i).
converge weakly ~(G/H).
As
113
m X~ H = ~ n (c ® £ ~ ( G / H ) ) ' .
Finally we shall show that
y ~ ~ n (c ® ~ ( G / H ) ) ~. Here we may assume that be the modular unitary involution of
•
and
~
~x~
Suppose that
is standard. G,
Let
respectively.
J~
and
It then
follows from Proposition III.1.7 that
= (Jm ® J)u* = ~ (J~ ® J) , where
u
is the canonical unitary implementation of
7(c ® A ( G / H ) ) ' 7 and hence
)y7 c h' n (c ® ~(~\o)),.
for induced representations, (~.XH
H)'
onto
[ 65].
~.
= (C ~ ~(H\o))'
Here we apply the m a t t n e r - M a c k e y ' s
There exists a natural isomorphism
~' 0 (C ® ~ ( H \ G ) ) ' ,~(x' ® l H )
~(~
~H
is the restriction of
X H H)'),
theorem
of
such that
= x' ® 1 G ,
x' "- ~' ,
~u(t)®~(t)):u(t)®x(t) where
Then we have
(~ to
which is generated by
H.
,
Therefore,
~.' ® C
and
t ~ H, ~y7
belongs to
u(t) ® X(t),
t c H.
Since
7(u(t) ® X(t))7 : i ® p(t) , it follows that (ii)
y
belongs to
~ ×(~ H. Q.E.D.
It is cleam from the first equality in (i).
Theorem 1.2.
Let
(~o):
~ = ~ ~
G.
(i)
~
(ii)
H = it ," G : ~t(x) = x,
Then
{x ~ ~ : ~ t ( x ) = x ,
t ~ ~]:~n(c~x(H))'
x e )I ×t~ (I{kG)] •
Proof'. (i) it sufI'iccs to eonsi<~cr the co_mmut,ant of (!1.3.8).
(ii)
Then
K
Let
K
be the set of
is a closed subgroup of
by (i), we have
H = K.
t < G
G
such that
containing
~t(x)=
H.
Since
x
for
x e h ~
~ x8 ( H \ G ) c h
(H~G).
x8 (K\G) Q.E.D.
114
NOTES
A Galois theory of yon Neumann algebras are initiated
by Nakamura and Takeda
[51] and Suzuki [ 61] for discrete groups. Theorems 1.1 and 1.2 are obtained by Takesaki [ 69] for abelian locally ccmpac~ grups and Nakagami [ 47] for non abelian groups.
115
§2.
Subal6ebras in crossed products Let
9
X5 G)
be a v o n
containing
of the form case
H
~×~
Neumann subalgebra of a crossed product G(~)
H
or
(resp.
5(h)).
~ X 5 (H\ G)
is determined by
.9
and
.9
~×~
G
(resp.
We shall give a condition for
for some closed subgroup is determined by this
H
H.
of
~
G.
to be In this
Therefore, we have
the other side of Galois type correspondences:
I oE_LbH I
I
I .9 ~ I
1 {e}
a(~.)
,
l
~,(h)
G
For the s~ke of a technical reason we shall assume that factors in Theorems 2.1 and 2.2.
I >H
~
and
~X 5 G
are
In Theorem 2.3 we replace this assumption by
other conditions. Theorem 2.1. If
Let
.9 be a von Neumann subalgebra of
containing
a(~).
is a factor, then the following two conditions are equivalent: (i)
.9
(ii)
.9 = ~, xcz H
Proof.
is globally
fying
~
invamiant.
for some closed subgroup
H
cf
G.
(ii) ~ (i): It is clear.
(i) --~ (ii): Let
h = N X~ G
a(9) c h ~ p(H)" .
and
Since
H
the smallest closed subgroup of
&(y) e "a ~ ~(H)"
coincides with the closed subgroup generated by 9
~L ×~ G
is contained in the set of all
y (: h
with
by Theorem i.i.
Let
~
be the isomorphism of
~(C~(x)) = qH(x)
and
~(i ~ ~(r)) = i ® ~H(r).
(2.1)
is equivalent to sp&(y)
for all
H
onto
~. x H H
satis-
sp&(y) c H, H
y ~ .9.
£](y) e N @ ~(H)", i,e. • x
G
Therefore
.~(y) e ,T,x H satisfying
Then
~(~) : ~(~) : ~ ×j H
Here we set
5 = (~H)^.
Since
N. is a factor,
Now we claim that ~(.9) x 5 H the ergodicity of z @ lH
for
5
is a factor.
on the center of
z a w(C~).
n(9)
F(5) = H
by Theorem IV.l.5.
To this end, we need only to check
by Theorem IV.'J.3.
Suppose that
5(z) =
Tile inclusion relations (2.i) imply that
Cfi(~h)
:
~ ( . 9 ) 5 (~ X H H ) 5 = c~H(E',) • CJ
~,
Since r<.9)8,
z
is a factor, so is
~(p)5.
Since
must be a scaAar operator.
On the other hand, by (2.1), we have
~Co) 5
is contained in the center of
116
The d u a l i t y onto
for crossed
~ ~ £(L2(H))
product
gives
us a n i s o m o r p h i s m
as in the proof of Theorem 1.2.7.
~ @ L'~'(H) by Lemma 1.2.6.
~'
of
Then
(~' ×~H H) X~ H
~,(~H(~) X5 H) =
Therefore,
~ L~(H) C 17'(17(~) X5 H) c ~'~ ~ £ ( L 2 ( G ) ) Since
w(e) x~ S
is a factor, it must be
( ~ × H H) X5 H. hene~e
Considering
5(y) ® l
~,
This means
we h a v e
~9)
,-<,9) X 5 H =
= ~. × H H
~
and
(x of
G
on
1 @ k(f),
h x5 G
carries the generators
respeetSvely,
i.e.
g
leaves
On the contrary~ we want to consider a co-action
makes
C ®L~(G)
fix and
5(~)
which agree with a ec-action Theorem 2.2. h x5 G
Let
~
5(y)
and
and Q.E.D.
i ® f
to
5 ( h ) f i x e d but C@L'~(G) .d :~" of G on h ×=~2 G w~ich
move:
5 ( y ) }->(~ ® 5 C ) ( 5 ( y ) )
If
of
P = T X~ H. An action
not.
~T.~ £(L2(G)).
the fixed points
.
of
G
cn
,
h ~
l~f G
~>1 ® f , Z ' l
defined
by t h e map:
be a yon Neumann subalgebra cf
h ~
G
x }>Adlc~(xg'l containi~
)
5(h).
is a factor, then the follcwjn6 two conditions are equivalent:
(i)
~
(ii)
~ = ~ ~
is globally
Proof.
5d
(~\~)
invarJant.
for some elosed
s~b~ro~p
~
o:°
G.
Without any loss of generality we mekv assume that
(i) ~ (ii): Let
~
be the co-action of
Then, by Corollary II.3. 3 there exist isomorphism
w
of
5(h)'
onto
G
,~n 5(h)'
an action
(h /T> C)' ×~ C
(~ of
G
such that
h
is standard.
defined by (II.~3.4). ('n
(h X 5 G)'
and an
(~ o 17 = (w ~ L) ° £.!
We want to consider the foll,'>w~r~ correspondences:
~-~
Since P ~(G).
~
is globally
Using the property
contained .in ~' ~ ( G ) . is globally
5d
(~ invar~ant.
and obtain that
~'
--~
w(?' )
invariant,
Adlc{W~
W G ~= L'~(G) @ e ( G ) , G
This means that S~nce
(~ ~
9' G)'
® C)
is contained in
we find ~hat
is globally
A d l ~ / (~' ® C)
,, invarian~, or
~s
w(~')
is a facto-r, we can apply Theorem 2.1
117
~(~,)= ( ~ % o ) ' ~ H
for some closed subgroup
cf
G.
Remembering the property
(11.2.4) cf
~,
we
have ~(y) = ~(y),
~ :~ (~ %
c)'
~erefore,
~'
is generated
(h ~
G)'
and
9 = (h XS, G) n (c ~ X(H))' = ~l ~, (H\G) (ii) ~ (i): The commutant of C ® X(H).
s(y) = y ® 1
Since
it follows that contained in
~'
.
in other words,
by Theorem 1.2. ~s generated by
(h XsG )' and
m~nd 8 ( l ~ X ( r ) )
= l®X(r)®p(r),
y -~ (h ><5 G ) '
£
Since
C ~ ~(H),
~ = h X 6 (H\G)
for
is globally
.~' ~ ~(G).
r ~G
invariant.
Therefcre,
WC_ (I.~(G) ~ ~(G),
~
A d l ~ ~ (~' ® C)
is g l o b ~ l yG
5d
is
invariant. Q .E .D.
For a discrete group
G
we have a more general result.
Theorem 2. 3 . Assume that of
~x(% G
Aut(~×~
containing
G)
C
~(~).
is discrete.
If
~
Let
P
be a v o n
Neumann subalgebra
is free and there exists a subgroup
S
of
such that is globally
S
~nvariant;
(a)
~(~)
(b)
S
is ergcd~c on the center of
(c)
S
is trivial on
~(m);
C ®~(C),
then the following two conditions are equivalent: (i)
9
is globally
~
inva~'iant and of the form
faithful normal expectation (ii)
~ = ~x~
Proof. Let
etH
H
g(~x~
G)
for some
g.
for some subgroup
(ii) =>(i): The
S
of
invmriance of F(G)
be the projection Jn
H
G. m x
with suppcrt
~s clear from (a) and (c).
H tH.
Let
g
be a faithful
normal expectation defined by g(y) = Since
~ (i ® etH)Y(l ® etH ), tH ~G/H
etHPr(etH ) = etH
~ ( ~ ~) =
~
for
e
in
~
~
is free,
hence
° y = v
e c ~(C~). o g.
etHPr(etH ) = 0
for
r ~ H,
Since
g(l ® P(t)) :~ (1 ® p(t))e
by Lemma 2.4 below.
S~nce
~
n p ~(m)'
n~,~
@:
e' and
and
we have
H.
(i) ~ (ii): Since projection
r ~ H
y (~ m XG G .
Since S
is
P
is globally
a trivial
on
~ C @~(G)~
for some central
is free, we have
~(c m)
i nvariant we
(1 ~ p(t))e = (1 ~ ~(t))~(e),
and have
~ ~ S
is free, we have
118
Therefore the ergodicity of set of
t £ G
with
Z
on
G(C~)
implies
g(l ® ~)(t)) =. i ® p(t).
e = 0
Then
H
or
i.
Let
H
is a subgroup of
be the G
and
= g ( ~ ×~ G) = • x~ H. Lemma 2.4. g
Let
~
Q.E.D. be a v o n
Ne~mann subalgebra of
a faithful normal expectation of
~
onto
h.
If
u
~
with
h' ~ • c h
is a unitary in
~
and with
.×.
~
= ~,
then
g(u) = ue = eu
for some centr~l projection
e
in
h.
-v
Proof. u g(u)
Since
c %
g(u)x = g(uxu~u) = uxu g ( u )
~(u)~(~)~(u)
Therefore
g(u)
=
e E %
and
~
is a partial ~sometry. e = S(u)
Then
for
all
x c h,
we h a v e
and h e n c e
~ ( u ) = ue = e u ,
~(u)
for
=
We set = ~.(~ S ( u ) )
u~(u)x
= ~ ~(u)
~= x u ~ ( u )
.
for
x ~ ~.
Q.E.D.
NOTES
Theorem 2.1 is obtained by [691 for abe!tan locally compact groups and [47] for non abelian ones. H. Choda [ 6 ] .
Theorem 2.2 is obtained in [47].
Theorem 2.3 is obtained by
119
§~.
Oalois correspondences M~ir~2, u s e
of the results obtained
correspondence. we denote by
in §!ii and 2, we shall zive a Galois
For a w)n Neumann algebra
£(~1,92)
91
rand its von Neuma~n subaigebra
the set cf all w)n Neumann subai6ebras
~
of
91
92
con-
e raining
~2"
Theorem 3.1. bijective
If
h5
correspondence
of globally
5
is a factor and
b
is
semi-dual,
then there exists
between the set cf closed subgroups
invariant yon Neumann subalgebras
H
of
G
and the set
~ ~ £(h,hS):
(5.1)
where
K
runs over all closed subgroups of
Proof. 5
The case where
is dominant
on
h.
~
G.
is propez'ly infinite:
~j virtue of Theorem III.4.4~
Combini$~ '±~eorems i.i and 2.i, we have the desired corres-
pondence.
Th~gene~ Then
~
ease:
: h~ ~ F
P~t
~=hE~,
where
~(H)
and
H(~)
H = H(F(H))
equivalent to then
are defined
[(~) ~ [ ~ .(H)", and hence
Corolla~y :3.2. Assume that
Proof.
factor, remaindez'
oz'
~" ~ £ ( L 2 ( G ) ) ~ h x b O.
clcsed subgroups sub~l~ebras
If
,%(Z of
G H
~. is a factor and on of
(z
x ~ ?(H(~)),
: 9.
Q.E.D.
If
?" is integrable
By Theorem IV.'J.4,
Since
&~ez'efore,
of the proof is the same as in Theo:r'em "j.l.
Theo_,'em "3.3.
,~ F ,,
ffs
Y(5) = Q h5
and
t,
is
h
is a
is a factor.
J s semi-dual~
and the set of g.loba]ly
9 <: ~(~,,,~p(Z) in such a way that
5(z
The
Q.E.D. then there exist a
[P. and a biject:ive eor_"espondence between the set of G
an~
as in Theorem "~.i.
is properly infinite:
is a factor by Theorem 1V.7.3.
.,~(H) =?(H)
= ~ .~ o ( H ) "
There~ore, if
'N"% is a factor.
h $~
Therefore,
Since
5(~)
9(H(9))
"n.
Therefore
,
~(~) = H ( [ ) . Thus,
The case where
h X~, G
cc-action
(5.2)
x : e.
Since
then there exists the same cor-~espondence
dominant on
is se~£-dual.
similarly as ([~.l).
we have
h
~
9 : ~(H(@))
and
= H ( ~ ( H ) ~ F o) = H ( ~ P ( H ) ) .
x @ 1 ." ~ ( H ( ~ ) )
F(5) = C,
o (s ~ ~) ~_d N = ~ L .
is a properly infinite factor and H = H(~(H))
we h a v e
[= ( ~ )
invax.iant von Neumann
120
Procf.
The case where
~
is properly infinite:
Since
~
is dominant,
Theorems 1.2 and 2.2 give us the desired correspondence. The general case: is a factor,
~
Put
~ = m~_F~,
is s~mi-dual and
~
H = H(~(H)) where
~(H)
and
on
P(H).
~t = ~ hence
H(~) Since
and hence
follows that
and
If
for
If
Therefore
t ~ H(~(H)),
x c 9.
~. fis a factor.
then there exists a co-action
~t = ~
x e ~(H(9)),
t (H(9).
and hence
Assume that
~ = P @ F . Then
it follows that
H(~(H)) = H.
~t(x ® i) = x ® I
Corollar~ 3.4.
and
is properly infinite.
o = 9(H(~)) ,
~(H) = ~(H) ~ F . Thus
x @ i e ~(H(~)) = ~
C ~ . ~ G c(~(~)'
@ &
~ F
are defined similarly as (3.2).
t 6 H(~(H)) = H.
t 6 H(P)
~t=~t
= ~
If
5(~ of
then
Since Thus,
then ~(H)
and
~t(x) = x
on
for
H(9) = H(~),
it
9(H(9)) = ~.
Q.E.D.
(~ is integrable and G
on
m
and the same
correspondence as in Theorem 3.3. Proof.
By Theorems 3.3 and IV.3.4.
Lemma 3.5.
Assume that
by a unitary representation
is discrete.
u,
(~ is a free action implemented
There exists a faithful normal expectation of
(ii)
There exists an action
onto
~,~' xy G
such that
v
of
G
on
,~x) = y(x)
(~)'
onto
~'.
IT.' and an isomorphism
for
x ~. ~'
and
-
of
w(u(t)) = 1 @ p ( t )
t. Proof.
for
Put
x c ~'.
vt(x ) = u(t)xu(t) ×
Since
~
is free~
onto
~.'
and
~,' and
¢ = ~ o g. (m~) ',
Let
fcr
so is
(P be a faithful normal state on
of
If
then the following, two conditions are equivalent:
(i)
(~)' for
G
Q.E.D.
~',
x ~ T.'. Then ~.
g
g(u(t)) = 0
Since,
and
{w~,%,~%,}
for
x(t), y ( t ) ~
(~u(t)*x(t)l~u(s)*y(s)) = , \t s ¢
of
v : ~ ~ ~,u(s) s
where
fs
computation
is a funetionin we
have
%
onto
y(s) ~
~2(a)
Let (~(~)'
be GNS representations ~',
(sfg(u(st-l))x(t)] : /
~t,s v
t ~ e.
y(S)×u(st-l)x(t
= there exists an isometry
for
a faithful normal expectation of
[~,$@,g~}
respectively.
Thus
g(u(t)*)~t(x ) = xg(u(t)*)
,~ ® ~2(G)
defined by
%(y(s))~fs
with support
~s}
and
' llfsll2=l.
By direct
121
v%(x)v ~ , ~ ( u ( r ) ) v -1 : 1 ® ~(r)
Setting
w = (wQ ® ~)-i ~ Ad v o wQ,
When
G
~s discrete and
expectation of
(~)'
the spatial equivalence Theorem 3.6. expectation of Aut(~)
~
onto
~
c ~
.
we have the desired result.
~s sea,-dual,
~'.
Q.E.D.
then there exists a faithful normal
Indeed, we have only to consider the eommutant of
[~,~} ~ [~,~}.
Assume that
(~)'
,
onto
G
is discrete and there exists a faithful normal
~'.
If
~x is free and there is a subgroup
C~;
and
g
satisfying
(i)
g
(ii)
y(u(t)) = u(t)
is ergodic on
for all
~ ~ g
and
t ~ G,
then there exists a bijective correspondence between the set of subgroups and the set of globally
g
invariant yon Neumann subalgebras
faithful normal expectation of Proof. (~)' onto
Since
onto
~
(~P~)' onto
~'
G
such that
can apply Theorem 2.3 to
~(~') = v(m')
[~,~].
I 9
and
st = L
Since
~(K(~)) = ~
This implies ~' ×~ H
on
~
P'
and an isomorphism
~' = ~' V u(H(P))"
Z' X
G
onto
of Since w(~')
K
Y
~-~
I
i ® D(t) c v(e'),
we have
by Theorem 2. 3 , we have and so
~ = P(H(P)).
t 6 H(~(H))
H(9) = K(r
w(P') = ~' >< H(P).
Since
~(H)
is equivalent to
corresponds to
1 ® c(t) e ~' xy H.
H(P(H)) = H.
Q.E.D.
Up to this point, we often use the following correspondences:
(a)
[~}
by (II.3.4), 5(h)'
= {h X5 G, $]
and
£
then there exists an action
onto
(h X5 G)' ×y G
we
K
Remark. If
(~)'
I
I~(~') = ~' ×
I
if and only if (~ = ~ P ' ) ) ,
w
~(u(t)) = i ® o(t), t ~ G.
I ~
I
in the diagram, we have
This shows that
G
We consider the diagram:
I ~
I Since
of with a
is free and there exists a faithful normal expectation of
~',t::ere e~ist an action ~ of G on ~'
~' x
H
~ ~ 2(~)
in such a way as (3.2).
is free and there exists a faithful normal expectation of
of
of
such that
the co-action of y
of
G
on
(R ~
G
on G)'
5(R)'
defined
and an isomorphism
122
H
1%
I
h x 5 (H\G)
=
( h ><8 ( H \ G ) ) '
~
t5t~~ Here, gll
g12
a discrete (b)
I
~(h)
~
;%
{~(~)',~}
are bounded for a compact
If
{h,5] = [~ x~ G, ~}
and
of a(~)'
onto
(m×5 e)' ×~ G
t~=
r~~ = g.. ij ~nd
G,
~
then there exists a co-action
g31
{(~%G)'x
c, ; ]
and
g21
and
g22
.
Further,
are bounded for
G.
(II.3.3),
Here,
~
are operator valued faithful semi-finite normal weights.
g.. and
=
(1l ><5 G ) ' X H 'f
~
the action of ~
of
G
on
G
on
~(~)'
(~ X~ G)'
such that
iT.x~c~ ~
(mx~a)'
~
~((mx~G)')
iT, X(:z H ,-->
(lb. X(::z H)'
~
(iT, XQ; G)' x~ (H\G)
~
{(~-, xa o ) '
~(rO
,---~
{c~(r~),,~]
x~ ~, ~::}
are operator valued faithful semi-finite normal weights. g32
a discrete
defined by
and an isomorphism
are bounded for a compact
G,
and
g41
and
g42
Further,
are bounded for
G.
Theorem 3.7ergodic subgroup
Assume that S
of
G
Aut(~)
is compact.
If
commuting with
~
is faithful and there is an
at,
t ~ G,
then there exists a
bijective correspondence of (3.2) 0etween the set of closed normal suDgroups G and the set of globally
Proof. IV.2.5,
The case where
~
~,
It is clear that
we may assume that
is globally ~
and
with
iT.(~= ~
of
Put
invariant.
L=(G)
into
~L~(G)).
(~t ° ~ = ~ ° kt'
The general case:
S
•
9
Since
by Theorem 1.2.
G/H(£)
@
H
of
P ~Q(~,~).
By means of Proposition
~ c @(H(@)).
H(P) = {e}
(~ is faithful] on
(~ and
exists an isomorphism
•
~1 (~ is properly infinite:
~(H(£)).
generated by into
invariant yon Ncumann suolagebras
iT.. Therefo-~,e, H = H(P(H))
From this assumption, @
~
is considered as a faithful action of
fixed points are
because
and
(~ is dominant on
suffices to show that normal,
~
on
Since
It H(£)
P(H(P)).
and must show that
and hence
is
Since the 9 = ~.
(~ is dominant on
P,
By means of Theorem II.2.2, there with w
(~t ° ~ = ~ ° Xt
and
9
is also an isomorphism of
is generated by
~
~ = ~,@ F , ~t : O~t ® ~'
and
r~L~(G)).
'~ = @ ~ ~
and
is L~(G)
Thus
9 = ~.
123
= {T ® T' : T ~ 8,
T' c Aut(F )].
Then
= ~(~(c))
and
~(~(~)) .
~ =
Q .E .D.
The rest of the proof is the same as that of Theorem 3.3. Theorem ~.8. of
Aut(~)
Assume that
is of the form Proof.
G
commuting with ~ = ~
is compact.
~t,
t ~ G,
for some
r
The case where
~
a < Aut(~L/~ ~)
commuting with
r ( G.
is properly infinite:
IV.2.2 and IV.2.4, every irreducible some representation in
If there is an ergodic subgroup
then
subrepresentation
By virtue of Propositions of
[~}
is equivalent to
)~G(~). Therefore, Theorem 1.3.4 tells us that we need only
to check
Let
for all
~(~)=~
(3.3) (vj : j = l, .--,d}
HAlbert space in basis.
~
be an orthonormaZ basis of
with
dim ~0 = d
and
w
is an isometry of
V(t) =
onto
and
•
is considered as by
O0(x ) = ~ ujxuj
R0
into itself.
o0(~ ) ~ (R0,R0), and
Since
P,~= p0(~) @ (R0'~0)"
(R0,.~0) (R0,R0)
Since
; oo
{T0 : T e ~]
defined
is the subspace of those elements in
and
T e 8
mapping
h(z, it follows that
q = q ® we define
T0
and
L- by
0 ~% is ergodic on
is equivalent to the fact that is ergodic on
x ~ ~. ,
is the endomorphism of
f~,
The proof of (3-3) is now obtained as follows. c(R) m R
Indeed,
.
kjk ~ £,
is contained in
For each
0 m = c0(m ) $ (R0,~0).
X
[V,R 0] = w*{(Z,~}w.
where
at = at ® ~
sion
bc a
is a lineaz' span of elements of the form
kjkUjXU k = o0(x ) F ) j k U j U k
p0(~).
~0
its orthonormal
~ Vk(Zt(vj)uku j . j,k
(~t(w) =D(Zt(vj)u 3 = wV(t)
Since each element in
on
R e ~M~(m)" Let
[u. : j = l,..-.d]
×
and
R0
(3.4)
on
.
We set d w = ~ vju; j=l
Then
~<:~(~,)
~0(~),
so is
[~0
Since
w×C(w) ((R0,~0).
it suffices to check
: T
<
= wR 0,
$]
on
the inclu-
But, since
124 m
To this end we set
a
-X
= 7(w)w
.
Since
C~t(a~. ) = ~.(w.F(t))7(t)x~ * = a T by (3.4), it follows from the a s s u m p t i o n
on
~
that
~(aT) = aT,
which implies
(3.5). The general = IT v T'
case:
: "[ r ~,
We set T' ~ A u t ( F
~,, = i~..~ P , )}.
Then
c~t = c~t ~ ~, ~ = C~
~ = d ® ~
for some
r.
and
Thus~
~ = c~ .
r
f
Q .E .D.
NOTES
A Galois correspondence Connes and Takesaki ones. M
•
groups
(Theorem 5.i) is obtained
Choda
[4 ]
.
[6].
A Galois
Kastler,
correspondence
A Galois
tained by Kishimoto
by
[14] for abelian locally compact groups and ['17] for non abelian
Theorem 3.3 is obtained in [!-7]. Lemma ~.5 is obtained b y Connes
by H. Choda
Araki~
for continuous
[41]
for discrete
correspondence
groups
for compact groups
by a slightly different method.
Takesaki and Haag [~.].
,)
[12] and
/
(Theorem _~.o) is obtained (Theorem 3.7) is oo-
Theorem 3.8 is obtained by
125
§4.
Galois correspondences
(II)
In this final section we shall give a different
sort of Galois correspondence.
In the first half of this section we introduce the concept of a fall group of automorphisms
of
~
and get a Galois type ccrrespondence
will be called the Dye correspondence.
finer than Theorem 2. 3 , which
The s e ~ nd half is an introduction to a
new approach to the Galois correspondence. In what follows we assume that faithful action of of
G
on
~t
: t ~ G}
1.
Dye correspondence For any
e = e(O,Y)
Aut(~)
~,
~.
G
is a (countable) discrete group and
We occasionally
identify
and use the same symbol
y e Aut(~)
Definition 4.1.
G
a
with the subgroup
for them.
there exists the largest central projection
satisfying that the automorphism
O ~ Aut(~)
G
~
For a faithful action
(v-l~) e ~
of
is inner on
G
on
~
~e"
the set of all
satisfying sup e(~,~t) = 1
teG is called the f~ll group of full if
For each C~
~
such that
O e [G]
G,
which is denoted by
[G].
A group
G
is called
G = [G]. there exists a partition
[~tl(e(t))
: t c G}
{e(t)
: t e G}
of the identity in
is also a partition of the identity.
Then
if and only if
(4.1)
~(x) =
for some unitary
v ~ ~.
Therefore,
u ~ N(~(m)),
where
N(~(m))
of unitaries
u
~
in
Theorem 4.2. correspondence
G
) ,
~ ( [G]
with
of
of
G
)
If
~ c ~(~ ×~ G, ~(~)) onto
=
~u
~=Ad
in
m~
U
o~
G,
for some
i.e. the set
~
~s free, there exists a bijective H
of
[G]
and the set of
with a faithful normal conditional
~:
i-~H(O) = [y c Aut(m) H ~D(H)
~(~)
u~(~)u × = ~(~).
(Dye correspondence
~
x c
if and only if
is the normalizer
between the set of fall subgroups
von Neumann subalgebras expectation
D e(t~t(vxv tcG
~ N(~(m))
:~
o y = Ad
: ~
o ~,
o y = Ad
o ~,
u ~ N(~(m)) y
a H}"
Q ~} ;
.
U
Proof.
See [37].
In order to translate the above theorem into the Galois type correspondence, we choose a suitable Hilbert
space
~
so that the action
~
~s implemented by a
126
unitary representation
of
u
G
on
D
with
(~t = Adu(t]
on
~,.. Then
~',
defined by (4.2)
O~(x)
is an action of
G
cn
~,.'. l,'or e~ch 6'(x)
is an automorphism and call the
= u(t)xu(t)
of
=
x (. ,~"
~ - [G]
of the form (4.1) we define
x'_. e(t)O~(x), t~G
8'
by
x ~ 17,~'
,~'. Denote the set of a&l such
C-full group determined by
Theorem 4. 3 .
×,
~'
with
8 ({ [G]
by
[G]c
G.
Assume that
(i)
(~
is implemented
by a unitary
representation
(ii)
(~
is free;
(iii)
there exJ sts a faithfu], normal conditional
u
of
G;
and expectation
of
(~.~)' onto
~'. If
~'
is defined by (4.q) and
Aut(~J), subgroups
HC
cf
[C] C
is the full grcup of correspondence
[(~ : t ~ G}
cf
(~,~)' onto
in
between the set c'.f C-full
and the set of vcn lleumann sub.-~.ehras
a faithful normal expectation
(4
[G]
then there ex_~sts a bJjective
? ~ p(,~.,~(~) with
~':
.~) H C i->~,. 0 [u ~ ii(~') : Ad U e- HC}'
where
N(~')
is the normalizer of
Proof. action
Jn
Accordi~z to our assumptions
y (~ (~')
such that
~'
of
(~,,.~)' (j), (JJ) and (i~!), Lemma 3.5 gives an
G
on
~,'
and an isc,morpbism
..~(x) = ~(x),
x-
~.'
r~nd -(u(t)) = i ® o(t),
free and there exists a faithful normal expectation
~
of
of
(~.~)' onto t ~ G.
~.' ×
G
~,' ×
Since ontc
~
r~°')
G is from
w
our assumption on
(~
and
o,
we can apply Theorem 4.2 to
~',~}.
Now, we
consider the diagram:
~?~> ( ~ ) ' ~ ~,'× c
[a i
7
Since
~x)
: y(x),
u ~ N(y(~')),
then
l x ~ ~'
[,s i c
I e- >
I
~
I <----~.
H
HC
I and
~N(~'))
~ o @ = Ad u o ~
Theorem 4.2 gives the correspondence
= N(~(~')),
is equivalent to between
~'
and
Jf
0 c Aut(m')
~ = Ad H:
i w- (u)
.
and Therefore,
127
H~-e~"~,u
N(~.') : Ad u ~ H~"
~
~'~,[ad u ~' which ~mplies Remark.
If
not necessarily
if
8
,
~
Q .E .D.
is free, then there
of
G
exists
surjective.
The converse
Moreover,
inclusion
of the identity
of the identity.
an ~njection:
into the set of full subgroups ~ ~
in
cf
C17,, such that
v c ~
H ~ [HI
[G].
H = 9([H]).
is shown as follows.
is of the form (4.1) for some unitary
t ~ H]
n~'}
our result.
set of subgroups
is clear.
• u ~N(~,)
,
Indeed, That
from the
Th~s injection
~ ×5 H ~ O([H])
~ ~ [HI
if and only
and some partition
[~l(e(t))
: t c H]
is
[e(t)
:
is also a partition
Setting U =
(1 .~. p(t
~.
l(e(t))v)
,
tcH
we have -i
u
Ad
o (% = (~ o ~.
unitary
Since
subaAgebras Aubert
in
then
and so u ' = u~(z) for some O(~l) o r , , ~ . ~usthe of intermediate
G, (~(~,)) than that given in Theorem
von Neumann
2. 3 .
ccrrespondenee 4.4. of
Let
subalgebra
9
be ~in~te!y
wandering,
~,
~
{~t(e~)
: t ~ G]
~r = L
on
(iii)
the set of 4.5.
If
9
Since
system
~
is a partit~on
r c G ~
~r(ei)
~.
For each yon Neumann
cf the identity
with
~
r
: L
of the identity ~ ci
~n
P
subgroups
H
wandering
of
G
9
is said to
i ~ I;
i g I;
and
is finite.
a bijective
correspondence
of (i~.2)
and the set of yon Neumann
subalgebras
partition.
is dual, we may assume that
~h,5].
for each
for some
on
is dual, there exists
with a finitely
Proof.
cn
[e. : i c I] ].
whenever
the set of finite
E ~(~,~)
O
jf
(ii)
Theorem
be an action of
a partition
(i)
covariant
Ad a o ~ = (% o ~, ,'
u-lu ' <~(CI~) wh~chmeans
gives rise to a finer classification
~(~. x
Definitien
between
u' c N((~(~,,)) and
is free,
~
:~enee u' ~ m % H ,
z c%.
Dye correspondence
2.
If
U
u' ~ ~(m').
~he correspcndence
[~,~} = [U X 5 G, g}
H(9(H))
= H
fcr some
is a consequence
of
Theorem 1.2. Next we shall show show the reverse
~(H(@))
inclusion.
= ~.
Since
g
be the
Let
# c @(H(~)) ~-valued
is clear,
weight
:(Ill .1.2) : + a
(X)
--
~
t~G
A(t)~t(x ) ,
X
4
~
•
on
~
it suffices defined
by
to
128
Let 0
{e i : i £ I} for all
i ~ I
be a finitely wandering partition. by (ii).
Therefore,
for any
If ~!{
x 6
t { + O p~
H(@), and
then ~t(ei)e i = + ~ 6 ~.,
(g (xei)e i, '~} = < ~ a(t)~t(xei)ej/O) t~G = ( _~ A(t)~t(xei)ei,~!) t£H Since
V ~t(ei) = i
by (i) and
H
= (x
~ a(t)~t(ei)ei,u) t~H
•
is finite by (iii),
~' ,5(t)~t(ei)e i = uiei t~H for some
~i > O.
Therefore xe i = u i l g
and hence
x = ~ xe. e 6~.
~.=H Q P~
Consequently,
is =-weakly dense in
~P. . As
(xei)ei e ~H H
q O~ ~ ~.
Thus it remains to show that
is finite and
g (~t(x))=
A(t)-ig=(x),
N
each element Ct~ ~ % ( x ) is
~-weakly dense in
wi~h
x ~ ~belongs
,,h. Since
H
to ~ = ~ ~.
is finite, the set of all
Since ~
is du~l,
--~tsH ~t (x)
~=
with
U
x ~ ~
is
dense in
~H
=-weakly dense in m ~ T
= {~t~t(y)
: y ~ ~}
T h u s ,~.~: n ~ is c-weakly
.
Q.E.D. NOTES
The concept of full group is defined for an abelian yon Neumann algebra by Dye [21] and generalized to a general von Neumann algebra by Haga and Takeda [37] as in Definition 4.1 and by Connes [12], independently.
Theorems 4.2 and 4.3 are obtained
in [21] for abelian yon Neurmann algebras and in [37] for general yon Neumann algebras.
Theorem 4.5 is obtained by Aubert
[5] for a finite group
G.
APPENDIX
To a unitary representation
[u,$}
ponds bijectively a non-degenerate
*
of
G
on a Hilbert space
representation
n
of
~
LI(G)
there corres-
on
~
in such a
way that w(f) = / f(t)u(t)dt
If
G
is abelian, then
LI(G) = ~A(G)~ -I.
,
f ~ Ll(G)
.
Therefore, a unitary representation
the dual grOup
G
algebra
The aim of this appendix is to discuss such a representation
A(G).
corresponds to a non-degenerate
*
representation
of
of the Fourier for
general locally compact groups. Theorem A.l. degenerate
*
(a)
There exists a bijection between the set of all non-
representations
u 6 £($) @ L ~ ( G )
[w,~}
of
LI(G)
and the set of all unitaries
with the associativity condition:
(A.I)
(u @ i)(~ @ q)(u ® i) : (L @ ~G)(U)
,
which is determined by the relation: (A.2)
(,(f),~> = (u,<~ @ f) ,
(b)
f ~ Ll(G)
,
w e £(~)..
There exists a bijection between the set of all non-degenerate
sentations [~,R]
of
A(G)
and the set of all unitaries
*
w ~ £(R) ~ @(G)
reprewith the
associativity c erudition (A.3)
(w @ 1)(~ @ ~)(w @ l) = (L @ ~G)(W)
by the relation (A.4)
<,~(%0)/~) = <w,~ ~ 0~> ,
Proof.
(a)
That a unitary
u c £(~.) $ L~(G)
to the existence of a unitary representation ¢ F~ ® L2(G). (b)
The correspondence
(~,TI) e R × R -~ (w,~,r~ @ ~0>
w
of
w
:n 6 £ ( R ) . .
satisfies (A.I) is equivalent with
(u%)(t) = U(t)~(t)
and
~
to
~:
For' each
~ 6 A(G)
for
the map:
turns out to be a bounded Hermitian form.
~(~)
in
is a linear map of
for ~,~ ~A(a)
[U,~}
,
Thus (a) is a known result stated in the above.
then a bounded operator
Clearly,
~ 6 A(G)
~(@.,
£(E)
A(G)
There exists
such that
into
£(~).
According to (A.3), we have,
130
= <w ® 1,((~ ® ~)(w ~ 1))(,.~ ~. ~ ~ ¢)>
(A.5) = <.(~) ® 1 , w ( ~ ~ ~)> = <w,,~(~) ® ¢> = <~(~),'~(~)> = <~(~o),~("0,~'> •
Therefore,
w
is multiplicative
Next we shall show t ~ t e A(G).
and
w
w(A(G))
is a
*
is abelian.
representation,
~(~)
namely,
= ~(¢*
for
Since
<(x ~ l)w,:~ ® ~> =
<~(~),~>
= <x~(~),.~>
and <w(x ~ i),,~ ® ~> ~- <~(~)x,~>
it follows unitary,
that,
[x ® l,w]
w(A(G))'
= 0
is equivalent
to
x ~ w(A(G))'.
is closed under the adjoint operation.
turns out to be an abelian von Neumann algebra. by
,
Since
Therefore,
w
is
G = w(A(G))"
Here we denote the dual m a p of
w*:
Since
w
is multiplicative,
character of
This mean
A(G).
that
if
~
is a character
Since these characters
w ( ~ ) * = ~(~)
Since
that
w
w(A(G))~
is unitary,
= 0
~,
then
w*,~, is also a
we have
•
F i n a l l y we shall show that the Suppose
of
are self-adjoint,
for
*
representation
~ < R.
~ ~ f = 0
For any
for any
w
is non-degenerate.
,, ~. R, f , g { L2(G),
f c L2(G).
Therefore,
we have
~ = O, i.e.
w
is
is non-degenerate. The correspondence tation of
@~ ~(G),
A(G).
[6?].
Since
of
~
to
w:
~ = w(A(G))"
Therefore
Let
{~,~}
is abelian,
be a non-degenerate ~t follows that
~ ~
*
represen~(G) =
131
"~ E £(A(G),G) = ((i. ~)y A(G))* = 0, @'k R(G) : CI @ ~'(G) Here we denote the element in
G ~ @(G)
corresponding to
w
by
.
w.
Then we have
(A.4):
<~(~),~> = < w , ~ > Making use of the multiplicativity
, ~A(a)
of
w
get the associativity condition (A.3). Now, the representation Since, for any
*
representatioh
of
~,lj c ~
of
A(G)
w
(A.5),
we
is unitary.
is extended uniquely to a
which is denoted by the same symbol
f,g E ~(G)
and
and the similar computation as It remains to show that
[w,R]
C (G) = C*(A(G)),
, ~(R)..
*
In,R].
,
: (,w(g ~ * f),.~ .). =,l'(w(Itlf),:~'~,q)g-V~dt we have
(A.6)
(w(~
f))(t) : w(xtlf){
, locally
a.e. in
t .
Therefore w ~ ((~f)[~(,,eg))
:/._( w().l- lf){ Ii w(k ; lg)Ti)dt
(A.7)
=,f (,~(ktl(gf)),{~{,,,>dt . For each
,& c ~(R).,
tional~ that is
the map:
f ~ C (G) -> (~,(f),{~.',> is a bounded linear func-
w~6~ is a Radon measure on
./ <w(X
G:
(f,wnem) = (w(f),'~>.
~f)),~,, )dt = /~/ (
Therefore
s)dt
(A.8) = (f I ~) /'d~*-~,T~(s) , where the last equality is obtained by Fubini Theorem, for hand,
w
is non-degenerate.
f c C (G), 0 < f < i can choose
f
so that
contains the identity. f z i
~f ~ ~ G ) .
So the weak closure of the set of
implies
Since
w(f) i i.
w
is a
*
~(f)
On the other with
representation~
we
Therefore, the first equality of
(A.8) gives us
(A.9)
({ I h) = , / d ~ *',~{,.,(s) .
Combining (A.7), (A.8) and (A.9), have the similar equality as (A.6):
we find that
w
is an isometry.
As for
w* we
132
(w*(~i ~ g))(t) : ~((~[ig)~)~ in place of it.
Repeating the same argument as above, we find that
w*
is an
isometry.
Q.E.D.
Example 1.
If
[w,~} = [WG,L2(G)},
ing non-degenerate multiplication
*
representation
operators on
then w satisfies (A.3). The correspon*o [~,L-(G)} of A(G) is given as the
L2(G): ~(~0)~ = o~ ,
Indeed,
~ -c L2(G)
.
(~(:Of,g),~,,i) = (WG(~ @ f) I "I @ g) = ((g# * f)~ ! ~I,)
Example 2.
If
G
identity such that given by
is discrete, there exists a partition
w = ~t~G e(t) ~ p(t)
w(~) = ~ t ~ G
[e(t) : t ~ G}
of the
The corresponding representation
~
is
o(t)e(t).
For any unitary representations £(~j) ~ L~(G)
"
uj
of
G
on
~j,
or unitaries
uj
in
satisfying (A.I), we consider a representation: o
t
of i
u
G
on 2 u .
.
~i ® ~o, ~ Then
~ ul(t) ~ U'-(t)
which is also a unitary in
£(~i ~ ~ )
@ L=(G)
denoted by
ui . u 2 = (i~u2)(L ~ ) ( u I ~ I )
(A. i0)
: ((~ ~ ~)(ui ~ l))(i ~ u ~) on
~i ® '~2 ® L2(G)"
representation
In <~ 3 of Chapter I we use the notation
t -~ ul(t) ~ u2(t)
Definition A.2. Rj
for
j = 1,2.
instead of
uI
w. be non-degenerate J The product ~l * w2 of w I
Let
for
Theorem on
Rj,
and
satisfies
A.3.
then
(A.~)
and
.
~2
of
A(G)
on
is defined by
*,
v2'~'2)
If
wl * ~2
~j(j
= 1,2)
are non-degenerate
is a non-degenerate
*
*
representations
representation
of
A(G)
of on
that
= ((~)
(Wl ~ i ) ) ( i ~ 2 )
,
(~l * ~2 )(g~ * f) : [ ~ ( o ~ l g ~ ~ ~2(~[if) dt , f,g ~ ~ o ) w
for the
~.j ~ £(Rj) * •
w i.~2
(A.13)
representations
and
(~i * ~2 (co) '~i ® "~'2> = (~'Vl~'l
~ ~ A(G)
where
*
*.
,
(A.11)
U
u I .~ u 2
2•
is the unitary corresponding to
~
by (A.4).
,
A(G) R1 ®~2
133
Proof.
Put
is a unitary in
wI = w l '
w2 = w,2
and
£(~1 ~ ~2 ) ~ L®(G)"
(~¢~)
o (LCL~)
w = ((L ® ~)(w I ® 1 ) ) ( 1 ® w2).
Then
Since
o (L¢~a
~ ~) = (~ C L ~ G )
o (L®~)
,
it follows from (A.3) that
: ( ~ )
o (L~o)((w
=(~e~)
° (~)('l
i®i~i)(~®~O(w ~i)
i~i~i))
.
Again, by (A.3), we have
(i~w~i)(~)(l~w~l) Therefore
w
=(~G)(i~w~)
satisfies the associativity condition:
(w ® l ) ( ~ @ ~ ~ ~)(w @ l ) = ((C ~
® ~)(w I ~
l ® l))(l
• ((~®~)
®w 2 @ i)
o ( ~ O ( w
iei~l))(~o)(l~w~,l)
: ((~ ~ ~ e ~) o (~ ~ ~)(w I ® i))(~ ® ~ ~ ~)(i ® wn) =(~®~)(w) Now, for any
. ~ e A(G)
and
wj ~ £(~j).,
(~ ' ' ~ l * W~2> = J7
~(st)
we have
d.~ l(s) d.~2(t)
=,'/'<Wz,* z ~ pt~)d'2 *~ 2(t) =
i/"(1 ® p ( t ) , ( ~
1
where the third equality follows from (ptm)(s) Since
(~l @ ~)Wl
~j e A(G),
=
is of the form ~-J~3 wj .~ ~j
it follows that
(p(s),p(t)~) for some
. ~.J [ £(~1).
and
134 *, 1 * ,~2':*~2> = ,i" ~ ( i ® p(t),,~'j ~ ~Cj)~ 2 2 ( t) (%0,Wl.~. " J_>3 *
-
"
*,J
>3 ( l , ~ j ) , ' /" (p(t),o.j >(in " *~J ~_ o (t ) J~
~,
(w2,~ 2 @ ~j)
J>_3 -: (I ~ w2,
v, a~ ,~j ® Co S %0j) _
J>_3 :.
Therefore,
<((L ® o)(w I ® 1))(i ® w p ,% e '~2 ® °>
Wl * 'w2 is a non-degenerate
It remains to s~-ow (A.13).
*
For any
representation of
f,g <: K(G)
r......
and
Ffi
f,g# e K(G),
with (A.12). we have
O( rs)di:~1( r)d~%( s)
= jj./ g~rt-l)f(ts)dt
Since
A(G)
,:j e £(~j).
d,~ul(r)dw~*'2(s)
.
we use Fubini theorem and
<(~1 * ~2 )(g~ * ±')'<% ~ :'>P
'<,~z( -1 % g~,%><~2(xtlf),%> ~t ,
: which implies (A.13).
Q.E.D.
In the above theorem if representations of
A(G) (s I
on
sj(j = 1,2) ~j ~
s2)%~*
are one dimensional non-degenerate
then they are characters of
A(G)
and
f) = ,!~Sl
=
~ -i g~slt )f(ts2)dt = ( g ~ *
f)(sls2)
•
135
T h e o r ~ A.4. w 6 h ~ ~(G)
If
5
is a co-action of
with (A.3) and
corresponding to
w,
w
G
on
is the non-degenerate
*
representation of
A(G)
then 5
Proof.
implemented by a unitary
It is clear by (A.6).
<~ = :~f,g> .
Q.E.D.
REFERENCES
Ira]
Araki, H.; Some properties of modular conjugation operator of von Neumann algebras and a non con~uutative Radon-Nikodym theorem with a chain rule, Pacific J. Math, 50(1974), 309-35h.
[2]o Araki, H. ; Structure of some von Nemmann algebras with isolated discrete modular spectrum, Publ. RIMS, Kyoto Univ., 911973), l-lk.
~ ~
%i~
[3]
Araki, H.~ Kastler, D., Takesaki, }$ti'and Haag, R.~ Extension of KMS states and chemical potential, Commun. Ymth. Phys., 53(1977), 97-134.
[4]
Arveson, W.B.; On groups of automorphisms of operator algebras, J. Functional Analysis, 15(1974), 217-2),3.
[5]
Aubert, P.L.; Th$orie de Galois pour uric W*-algSbre, Comment. Math. Helvetici,
[6]
Choda, H. ; A Galois correspondence in a yon N e u ~ n n algebra, Preprint of Osaka Kyoiku Univ., 1977.
[7]
Choda, H.; Correspondences between yon Neumann algebras and discrete automorphism groups, The 2nd Japan-US Seminar on C*-algebras and its Applications to Physics, 1977.
[8]
Choda, M.; Shift automorphism groups of von Neumann algebras, Proc. Japan Acad., 50(1974), 470-475.
[9]
Choda, M. ; Normal expectations and crossed products of yon Neumann algebras, Proc. Japan Acad., 50(1974), 738-7L2.
[10]
Choda, M. ; The fixed algebra of a yon Neumann algebra under an automorphism group, T6hoku Math. J., 28(1976), 227-234.
[]_7_]
Choda, M.; Correspondence between subgroups and subalgebras in the crossed product of a v o n Netunann algebra, ~ath. Japonicae, 21(1976), 51-59.
3~( 5 l) (1976), 411-453.
Connes, A.~ Une classification des facteurs de type III, Ann. Sci. ~cole Norm. Sup., 6(1973), 133-252. ~ i<~
[z3]
Connes, A. and St~rmer, E.; Homogeneity of the state space of factors of type III, J. Functional Analysis, 28(1978), 187-196. 0 ~4~ ~ g
[14]o Connes, A. and Takesaki, M. ; The flow of weights on factors of type III, T$hoku Math. J., 29(1977), 473-57D.
[15]
Digerness, T.; Poids duals sur un product crois$, C.R. Acad. Sc. Paris, 278 (1974), A937-A940 •
[16]
Digerness, T.; Dual weight and the commutant theorem for crosse4 products of W*-algebras, Preprint of UCIA, 197 h.
[17]
Doplicher, S.~ Haag, R. and Roberts, J.E. ; Fields, observables and gauge transformations I, Commun. Math. Phys.~ 13(1969), 1-13; II, ibid., 15(1969), 173-201.
[18]
Doplicher, S., Haag, R. and Roberts, J.E.; Local observables" and particle statistics I, Commun. Math. Phys., 23(1971), 199-230; II, ibid., 35(1974),
49-S5. [ 19]
Doplicher, S.~ Haag, R. and Roberts, J.E.; Local observables and particle statistics and non-abelian gauge groups, Commun. [v~th Phys., 28(i~72), 331-348.
[20]
Doplicher, S., Kastler, D. and Robinson, D.; Covariance algebras in field theory and statistical Mechanics, Commun. Math. Fnys., 3(1966), 1-28.
[21]
Dye, H.; On groups of measure preserving transformations~ I, Amer. J. Math., 81(1959), 119-159; II, ibid, 85(1963), 551-p76.
137
[22]
Enock, M.; Produit croise d'une algebre de yon Neumann par algebre de Kac, J. Functional Analysis, 26(1977), 16-)'7.
[23]
Enock, M. and Schwartz, J.M.; Une dualit@ dans les alg~bres de von Neumann, Bull. Soc. Math. France, Suppl. Memoire~ 44(1975), 1-144.
[24]
Enock, M. and Schwartz, J.M.; Une noavelle construction du poids dual sur le produit crois~ d'une alg~bre de von Ncumann par un groupe localement compact, C. R. Acad. Sc. Paris, 282(1976), A415-A!II8.
[25]
Enock, M. and Schwartz, J.M.; Alg~bre de Kac et produits crois@s, C. R. Acad. Sc. Paris, 283(1976), A~21-A32~.
[26]
Enock, M. and Schwartz, J.M. ; Produit crois~ d'une alg~bre de yon Neumann par algebre de Eac, II~ Publ. RIMS, Kyoto Univ., to appear.
[27]
Ernest, J.; Hopf-von Neumann algebras, Functional Analysis Conf. Irvine 1966, Academic Press 1967, 195-215.
[28]
Eymard, P.; L'algebre de Fourier d'un groupe localement compact, Bull. Soc. Math. France, 92(196~I), 181-236.
[29]
Fell, J.M.G.; A~ extension of Mackey's method to Banach *-algebraic bundles, Memoir of the Amer. Math. Soc., 90(1969), 1-168.
[30]
Fell, J.M.G. ; Induced representations and Banach *-algebraic bundles, with an appendix due to A. Douady and L. Dal Soglio-Herault, Lecture Notes in Math., 582(1977)~ 1-349, Springer-Verlag.
[31]
Golodets, V. Ya. ; Crossed products of von Neumann algebras, Russian Math. Surveys, 26(1971), 1-50.
[32]
Haagerup, U.; The standard form of von Neumann algebras, Math. Scand., 37(1975), 271-283.
[33]
Haagerup, U.; Operator valued weights in von Neumann algebras, Odense Univ. 1975.
[34]
Haagerup, U. ; On the dual weights for crossed products of von Neumann algebras, I, II, Preprints of Odense Univ. 1976.
[35]
Haga, Y.; On subalgebras of a v o n 291-305 •
[36]
Haga, Y.; Crossed products of yon Neumann algebras by compact groups, TShoku Math. J., 28(1976), 511-522.
[37]
Haga, Y. and Takeda, Z. ; Correspondence between subgroups and subalgebras in a cross product yon Neumann algebra, TShoku Math. J., 24(1972), 167-190.
[38]
Ikunishi, A. and Nakagami, Y.; On inv~riant G(a) and I'(~) for an automorphism group of a yon Neumann algebra, Publ. RIMS, Kyoto Univ., 12(1976) 1-30.
[39]
Kallman, R.; A generalization
[40]
Kirchberg, E. ; Darstellungen coinvolutiver Hopf-W*-Algebren und ihre Anwendung in der nicht-abelschen Dualit~ts theorie Lokalkompakter Gruppen, Berlin, 1977, PP. 354.
[41]
Kishimoto, A. ~, Remarks on compact automorphism groups of a certain von Neum.ann algebra, Publ. RIMS, Eyoto Univ., 13(1977), 573-581.
[42]
Landstad, M.B.; Duality theory for covariant systems, Trans. A~er. Math. Soc., to appear.
[43]
Landstad, M.B.; Duality for dual covariance algebras, Commun. Math. Phys., 52 (1977), 191-202.
[44]
Mackey, G.W.; A theorem of Stone and von Neumann, Duke Math. J., 16(1949), 313326.
[45]
Nakagami, Y.; Duality for crossed products of von Neumann algebras by locally compact groups, Bull. A~uer. Math. Soc., 81(1975), 1106-1108.
Preprint of
Neumann algebra, T$hoku Math. J., 25(1973),
of free action, Duke Math. J., 36(1969), 781-789.
138
[46]
Nakagami, Y.; Dual action on a yon Neumann algebra and Takesaki's duality for a locally compact group, Publ, RIMS; Kyoto Univ., 12(1977); 727-775.
[k7]
Nakagami, Y.; Essential spectrum U(3) of a dual action on a yon Neumann algebra, Pacific J. Math., 70 (1977), L37-L79-
[48]
Nakagami, Y. and Oka, Y. ; On Connes spectrum F of a tensor product of actions on yon Neumann algebras, Yokohama Math. J., 26(1978), to appear.
[49]
Nakagami, Y. and Sutherland, C.; Takesaki's duality for regular extensions of von Neumann algebras, The 2nd Japan-US Seminar on C*-algebras and Applications to Physics, 1977.
[50]
Nakagami, Y. and Sutherland~ C.; Takesaki's duality for regular extensions of von Neumann algebras, Pacific J. Math., to appear.
[51]
Nakamura, M. and Takeda, Z. ; On some elementary properties of the crossed product of yon Neumann algebras, Proc. Japan Acad., 34(1958), 489-494.
[52]
Nakamura, M. and Takeda, Z. ; A Galois theory for finite factors, l~'oc. Japan Acad., 36(1960), 258-260.
[53]
Paschke, W.L.; Integrable group actions on von Neumann algebras, Math. Scand., ~40(1977), 234-248.
[54]
Paschke, W.L.; Relative commutant of a yon Neumann algebra in its crossed product by a group action, Preprint~ 1977.
[55]
Roberts, J.E.; Cross products of a v o n Neumann algebras by group duals, Inst. Nazional di Alta Mat. Symposia F~th., 20(19#6), Academic Press, 1977.
[56]
Saito, K.; On a duality for locally compact groups, T$hoku Math. j., 20(1968), 355 -367.
[57]
Sauvageot , J.L. ; Sur le type du produit crois@ d'une algebre de von Neumann par un groupe loealement compact d'automorphismes, C.R. Acad. Sc. Paris, 278(1974~ A941-A944 ; Bull. Soc. F~th. France, 105(1977), 349-368.
[582
Schwartz, J.M.; Sur la structure des algebres de Kac, Preprint, 2nd edition, i~77.
[59]
Str~til~, D., Voiculescu, D. and Zsid6, L.; Sur les produits crois@s, C. R. Acad. Sc. Paris, 280(1975), A555-A558.
[60]
Stratila, D., Voiculescu, D. and Zsid6, L. ; On crossed products, I, Rev. Roumaine Math., 21(1976), 1411-1449; II~ ibid., 22(1977), 83-117.
[ 61]
Suzuki, N.; Crossed products of rings of operators, T$hoku Math. J., 11(1959),
[62]
Takesaki, M.; A note on the cross-nonu of the direct product of operator algebras, K ~ a i Math. Sem. Rep., 10(1958), 137-140.
[63]
Takesaki, M.; A generalized commutation relation for the regular representation, Bull. Soe. Math. France, 97(1969), 289-297.
[64]
Takesaki, M. ; A characterization of group algebras as a converse of TanakaSteinspring-Tatsuuma duality theorem, Amer.J.Math., 91(1969), 52~c-564.
i13-124.
. [65]
[66]
Takesaki, M. ; Covariant representations of.C*-algebras and their locally compact automorphism groups, Acta Math., 131(1971), 249-310. Takesaki, M. ; Duality and yon Neumann algebras, Lecture on Operator Algebras (Edited by K.H. Hofmann), Lecture notes in Math., 247(1972), 666-779, SpringerVerlag.
[ 67 ]~'; Takesaki, M. ; Dualit$ dans les produits croisSs d'alg~bres de von Neumann, C. R. Acad. Sc. Paris, 276(1973), A41-A43.
[ 68]o Takesaki, M.; Duality in crossed products and von Neumann algebras of type III, Bull. Amer. Math. Soc., 79(1973), 1004-1005.
7 -~o ~L~
[ 69 ]0 Takesaki, M.; Duality in crossed products and the structure of yon Neumann algebras of type III, Acta Math., 131(1973)~ 249-310.
~ q7 4~$
139
[70]
Takesaki, M.; Relative commutant theorem in crossed products and the exact sequence for the automorphism group of a factor of type III, Inst. Nazionale di Alta Mat. Symposia Math., 20(1976), Academic Press, 1977.
[71]
Takesaki, M. and Tatsuuma, N.; Duality and subgroups, Ann. of Math., 93(1971), 344 -364.
[73]
Tatsuuma~ N.; A duality theorem for locally compact groups, J. Math. Kyoto Univ., 6(1967), 187-293.
[74] ~i'atsuum.a,L. ; An extension of AKTH-t~eory to locally compact groups, Preprint, 1977. [75]
Tomiyama, J. ; Tensor products and projections of nora one in yon Ne~nann algebras, Lecture note at Univ. Copenhagen, Denmark, 1970.
[76]
Turumaru, T. ; Crossed product of operator algebra, T$hoku Math. J., 10(1958), 355 -365. Van Heeswijck, L.; Duality in the theory of crossed products, Preprint of Katholicke Univ. Leuven, 1978.
[77]
[78] Walter, M. ; W*-algebras and non-abelian harmonic analysis, J. Functional Analysis, 11(1972), 17-38. [79]
Zeller-Meier, G. ; Produits crois@s d'une C*-alg~bre par un groupe d'automorphisms, J. Math. pures et appl., k7(1968), 101-239.
[80]
Takesaki~ M.; Tomita's theory of modular Hilbert algebras and its applications, Lecture Notes in Math., 128(1970), i-]~°3, Springer-Verlag.
[81]
Takesaki, M.; Lecture on operator algebras at UCLA, (1970/71).