Representations of AF-Algebras and of the Group U (∞) PDF
Preview Representations of AF-Algebras and of the Group U (∞)
Lecture Notes ni Mathematics Edited yb .A Dold dna .B nnamkcE 486 ,~erban &lit&rtS naD Voiculescu Representations of AF-Algebras and of the Group U )oo( II II galreV-regnirpS Berlin- Heidelberg- weN York 91 5 7 Authors .rD Serban-Valentin &lit&rtS Dr. Dan-Virgil Voiculescu Academie de al Republique Socialiste de Roumanie Institut de Math6matique Calea Grivitei 12 Bucuresti 21 Roumania S+,t'::" ]% :;,az-l::~r:-\,b_le:LsL::~ $~i):~- < !{~2[;.r'~se:.~t~l ti.Or':S CC ,~_~-:~!:..~ebF3.*4 t:l:(~ CI" t.hC ~:;',>~:[, (Lecl:ure r.oSOS iC ~ci.t~:.r[eh~:&n: ~ ;~51; i B bl :v.h~q<r&o ~. sed~:lc~ll[ nde:iss. ] ..] ro)'~}~1e~!]( .;',=.r~L~-;tla 2. s~io~tt{t:les'-{rp:.R of al,<}- ":n'aS. 5- i,OCt~lL, "9 S~.',-e'~q!~Oc Grou~c;. .-41 ! el~re.*;en:,~-tiolc: o" .S~tlO'ZT: ]. Voiculesc% Da::-Virgi$~ -)[~!}!l ,)oiz~t ;zoht!l:~ [[. Ti'~]c. lli. Series: Lecture rotes n m.,~;'?:l~{t.-i:L~ (}~er/i:) ~ :Q~6. qA~,.L29 no. iq:k:, [ f~A;'?_,]] Z¢'.Sz < ]i[!' .]5 J / ;-::{~)< AMS Subject Classifications (1970): 22 DIO, 22 D25, 46 L05, 46 L tO ISBN 3-540-07403-1 Springer-Verlag Berlin • Heidelberg • New York lSBN 0-387-07403-1 Springer-Verlag New York • Heidelberg • Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photo- copying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher'. :~ by Springer-Verlag Berlin - Heidelberg 1975 Printed in Germany Offsetdruck: Julius Beltz, Hemsbach/Bergstr. I N T R O D U C T I O N Unitary representations of the group of all unitary opera- tors on an infinite dimensional Hilbert space endowed with the strong-operator topology have been studied by l.E.Segal (~30~) in connection with quantum physics . In ~2~ A.A.Kirillov classified all irreducible unitary representations of the group of those uni- tary operators which are congruent to the identity operator modulo compact operators , endowed with the norm-topology . Also , in [2~ the representation problem for the unitary group U(oo) , together with the assertion that U(OO) is not a type I group , is mentio- ned . The group U(oo) , well known to topologists , is in a cer- tain sense a smallest ~nfinite dimensional unitary group , being for instance a dense subgroup of the "classical" Banach-Lie groups of unitary operators associated to the Schatten -von Neumann classes of compact operators ([18]) . Also , the restriction of representations from U(n+~) to U(n) has several nice features which make the study of the representations of U(o~) somewhat easier than that of the analogous groups SU(~) , O(~) , SO(o~) , Sp(oo) . Th~ study of factor representations of the non locally compact group U(oo) required some associated C ~- algebra . The C*- algebra we associated to a direct limit of compact separable groups G , = aril n , G has the property that its factor repre- V~ sentations correspond either to factor representations of Goo , or to factor representations of some n G and , since the distinc- tion is easy between these two classes , it is of effective use . This C*- algebra is an A~ - algebra , i.e. a direct limit of finite-dimensional C~- subalgebras . AF - algebras , introdu- ced and studied by O.Bratteli (~]) , are a generalization of UHF - algebras . For the UHF - algebra of the canonical anticommutation relations of mathematical physics there is the general method of L.Garding and A.Wightman (E~2~) for studying factor representations and , in particular , the cross-product construction which yields factor representations in standard form . 8o we had to give an extension of this method to AF - algebras (Chapter I) . For U(oo) this amounts to a certain desintegration of the representations with respect to a commutative C*- algebra , the spectrum of which is an infinite analog of the set of indices for the Gelfand - Zeit- fin basis (K37J) . For U(oO) in this frame-work , a complete classification of the primitive ideals of the associated C*- alge- bra , in terms of a upper signature and a lower signature , is possible (Chapter III). Simple examples of irreducible represen- tations for each primitive ideal are the direct limits of irredu- cible representations of the U(n)'s , but there are many other irreducible representations • Using the methods of Chapter I , we study (Chapter IV) certain class of factor representations of U(oo) which restricted to the U(n)'s contain only irreducible representations in anti- v symmetric tensors . This yields in particular an infinity of non- equivalent type III factor representations , the modular group in the sense of Tomita's theory ([32]) with respect to a certain cyclic and separating vector having a natural group interpretation. Analogous results are to be expected for other types of tensors . The study of certain infinite tensor products (Chapter V) gives rise to a class of type II~ factor representations . As in the classical theory for U(n) , the commutant is generated by a representation of a permutation group . In fact it is the regular representation of the Infinite prmutation group S(~o) which generates the hyperfinite type II~ factor . Other examples of type Ilo~ factor representations are given in § 2 of Chapter V Type II% factor representations of U(oo) were studied in ([34],[35]) and the results of the present work were announced in ) 38] ( Concluding , from the point of view of this approach , the representation problem for U(oo) seems to be of the same kind as that of the infinite anticommutation relations , though "combinatorially" more complicated . Of course , a more group - theoretical approach to the representations of U(~o) would be of much interest . Thanks are due to our colleague Dr. H.Moscovici for drawing our attention on E2~ and for useful discussions . The authors would like to express their gratitude to Mra. lv Bands Str~til~ for her kind helP im typing the manuscript . The group U(o~) is the direct limit of the unitary groups U(1) c U(2) c ... c U(n) c ... , endowed with the direct limit topology . Let H be a complex separable Hilbert space and ~en~ an orthonormal basis . Then U(oo) can be realized as the group of unitary operators V on H such that Ve n n = e ex~eptimg only a finite number of indices n . Similarly , we consider GL(oo) the direct limit of the GL(n) ' s . By U~(oo) we denote the group of unitaries V on H such thst V - I be nuclear , endowed with the topology derived from the metric d(V',V") = Tr(IV' - V" ) . I Also , by U(H) and GL(H) we denote all unitary , respectively all invertible , operators on the Hilbert space H . As usual , wo - topology means weak-operator topology and so - topology means strong-operator topology. Since it might be useful for the reader to have at hand certain classical facts concerning the irreducible representations of U(n), especially in view of Chapters IV and V, there is an Appendix about these representations. liV The bibliography listed at the end contains, besides references to works directly used, also references to works we felt related to our subject. We apologize for possible omissions. Bucharest, March 12 th 1975. The Authors. CONTENTS C ~ R I . On the structure of FLJ - algebras and the~ representations ........................ ... ! § I . Diagonalization of ~ - algebras ............... B § 2 . Ideals in AF - algebras ........................ 20 § 3 • Some representstions of AF - algebras .......... 31 CHAPTER II . The C*- algebra associated to a direct limit of compact gTOUpS ......................... V5 § I . The L - algebra associated to a direct limit of compact groups .............................. 75 § 2 . The AF - slgebrs associated to a direct limit of compact groups ond its disgonslisation ..... 62 CHAPTER III. The primitiVe ideals of A(U(co)) .......... 81 § I . The primitive spectrum of A(U(® )) ............. 81 § 2 . Direct limits of irreducible representations ... B9 CHAPTER IV . Type III factor representations of U(oo ) in antis~etric tensors .................. V9 CHAPTER V . Some type IIoo factor representation s of U( ) oo .................................. v21 § 1 . Infinite tensor product representations ........ V21 § 2 . Other type IIoo factor representations ........ . 146 APPENDIX : Irreducible representations ~ U(n) ....... 155 NOTATION INDEX ......................................... 16o SUBJECT INDEX ................................... 164 e@eee ee BIBLIOGRAPHY ........................................ ... 166 CHAPTER I ON THE STRUCTURE OF AF - ALGEBRAS AND THEIR REPRESENTATIONS The uniformly hyperfinite C*- algebras (UHF - algebras) , which appeared in connection with some problems of theoretical physics , were extensively studied , important results concerning their structure and their representations being obtained by J. Gl~mm (~i~]) and R. Powers ([~]) . They are a particular case of approximately finite dimensional C ~- algebras (AF - algebras) considered by 0.Bratteli ([ i ]) , who also extended to this more general situation some of the results of J. Glimm and R. Powers . Our approach to the representation problem of the unitary group U(~) required some other developments , also well known for the UH~ - algebra of canonical anticommutation relations . Chapter I is an exposition of the results we have obtained in this direction , treated in the general context of AF - algebras. We shall use the books of J. Dixmier ([ 6 3,[ T ]) as refe- rences for the concepts and results of operator algebras . If ~ 2 , , M ... are subsets of the C - algebra A , then we shall denote by <M~. 2 , M , ...> the smallest C *- subalgebra of A containing ~_~ n M and by n 1.m.(M~ , 2 M , ... ) (resp. c.l.m.<M~ , 2 M , -.. )) 2 the linear manifold (resp. the closed linear manifold) spanned by ~_) ~ . Also , for any subset ~,r of A , we shall denote n by M' the commutant of @~ in A : ~i ' = {xE A ; xy = yx (~q') y~ t~} . A maximal abelian sub al~ebra (abreviated m.a.s.a.) of a C*- algebra A is an abeiian C*- subalgebra C of A such that C' = C . A conditional expectation of a C - algebra A with respect to a C*- subalgebra B in A is a linear mapping P : A >B such that : 2) llP(x)lj ~.- Ilxll for all x g A ; 3) P(x)> o for all x ~ A , x ~ 0 4) P(x)"P(x) ~ P(x'x) for all x e A ; 5) P(~z) = yP(x)z for all x ~ A , y,z E B Obviously , a conditional expectation of A with respect to B is a (linear) projection of norm one of A onto B . Conversely , J. Tomiyama ([33 S) has proved that any projection of norm one of A onto B is a conditional expectation . In what follows we shall use the result of J. Tomiyama only in order to avoid some rather tedious verifications . An approximatel.y finite dimensional C ~- algebra (abrevia- ted AF - algebra) is a C - algebra A such that there exists an ascending sequence I A~} n>~o of finite dimensional C ~- sub- algebras in A with
The list of books you might like
