Von Neumann e a Teoria de lgebra de Operadores

RUY EXEL
ESPONDENDO A UM QUESTIONRIO elaborado pela National Academy of Sciences dos EUA, von Neumann considerou seu trabalho em teoria de operadores como uma de suas trs contribuies cientficas mais importantes. Este trabalho, iniciado no final da dcada de 20, tem origem no seu interesse em obter uma formalizao matematicamente precisa para diversas teorias emergentes na poca, dentre as quais se destaca a mecnica quntica.

No que veio a constituir aproximadamente um tero de sua extensa lista de publicaes, von Neumann desenvolveu sua teoria de operadores no espao de Hubert, criando assim, no apenas uma nova teoria matemtica, que comporta aplicaes teoria de representaes de grupos infinitos e teoria ergdica, mas uma nova forma de pensamento, que permite modelar a lgica fugaz da mecnica quntica e que, com os avanos subseqentes, proporcionou uma abrangente unificao de diversos campos da Matemtica. As portas abertas pelo seu trabalho continuam a provocar desenvolvimentos cruciais na fronteira da matemtica dos dias de hoje. Von Neumann rapidamente reconheceu que o estudo de operadores em espaos de Hubert requeria um ponto de vista mais amplo, no qual vrios operadores deveriam ser estudados em conjunto, e que as relaes algbricas entre estes mereceriam, talvez, mais ateno que o estudo das caractersticas que cada operador apresentava isoladamente (entretanto no se deve ignorar a importncia de seu trabalho no estudo de single operator theory, sendo von Neumann um dos criadores do importantssimo teorema espectral para operadores ilimitados). Em 1929, no artigo Zur Algebra der Funktionaloperatoren und Theorie der normalen Operatoren, von Neumann (1929:370-427) iniciou seu estudo da teoria dos anis de operadores, que hoje em dia, muito propriamente, so chamados de lgebras de von Neumann. O conceito formal de anel, que surgiu pela primeira vez em 1921 com Emmy Noether, em

artigo no Mathematische Annalen, foi imediatamente reconhecido como uma criao de fundamental importncia na formulao da matemtica moderna e, com von Neumann, ganhou alguns de seus mais importantes exemplos. As teorias axiomticas em Matemtica muitas vezes permitem que se obtenha, de forma relativamente simples, uma classificao completa dos objetos de estudo, a exemplo da teoria dos espaos vetoriais: um espao vetorial fica inteiramente determinado, uma vez que sua dimenso seja conhecida. Por outro lado, outras teorias tratam de objetos to gerais, que uma classificao completa reconhecidamente impossvel. So raras as vezes em que um sistema de axiomas define um conjunto de objetos matemticos que sejam sofisticados e gerais o suficiente para fazer, de seu estudo, um frutfero desafio intelectual, ao mesmo tempo que demarquem um terreno definido o suficiente para suscitar a possibilidade de classificao de todos os seus modelos possveis. A teoria dos grupos de Lie vem mente como um exemplo significativo. A anlise cuidadosa da conexo misteriosa entre as cincias naturais e a Matemtica , freqentemente, o melhor meio para que o intelecto humano possa vir a formular tais teorias. A teoria das lgebras de von Neumann um exem;, pio importante deste mtodo de criao intelectual, sendo a mecnica quntica seu ponto de conexo com o universo fsico. Uma lgebra de von Neumann, tecnicamente falando, uma coleo M de operadores limitados no espao de Hubert, aqui denotado por H, que, em primeiro lugar, forma uma sublgebra da lgebra L(H) de todos os operadores limitados em H. Em segundo lugar, requer-se que M seja autoadjunta, ou seja, que contenha o adjunto de cada um dos seus elementos e, finalmente, que M seja fechada na topologia forte, isto , na topologia da convergncia pontual de operadores. De fundamental importncia para os estgios iniciais do desenvolvimento da teoria das lgebras de von Neumann, a srie de quatro artigos intitulados On Rings of Operators (1936: 116-229; 1937: 208248; 1940:96-161; 1943:716-808), em trs dos quais von Neumann contou com a importante contribuio de F. J. Murray. Uma descrio da teoria das lgebras de von Neumann no pode omitir o resultado central de Zur lgebra der Funktionaloperatoren una Theorie der normalen Operatoren, que o teorema do duplo comutante. Dada uma sublgebra auto-adjunta A de L ( H ), que contenha o operador identidade, define-se o seu comutante como sendo o conjunto A' dos ope-

radores em H que comutam com cada um dos membros de A. O teorema do duplo comutante afirma que o duplo comutante A" coincide com o fecho forte de A. Alm de importantes aplicaes tcnicas, este resultado simboliza urna das caractersticas estticas mais marcantes da teoria, que a harmonia entre seus aspectos algbricos e topolgicos. Urna lgebra de von Neumann M chamada um fator quando seu centro consiste apenas dos mltiplos escalares da unidade, condio equivalente inexistncia de ideais fortemente fechados em M. Para se ter idia de como se relacionam estas duas condies note que, pelo teorema do duplo comutante, se v imediatamente que as projees espectrais de um operador auto-adjunto pertencente a M, tambm pertencem a M. Sendo assim, se T um operador pertencente ao centro de M, qualquer uma de suas projees espectrais p ser uma projeo central e, em conseqncia, pM ser um ideal de M. A inexistncia de ideais acarreta, portanto, que os nicos operadores no centro de M devem ser os mltiplos da identidade. O exemplo bsico de fator a lgebra L(H) mencionada. No caso em que H tem dimenso finita, L(H) reduz-se lgebra Mn(C), das matrizes complexas n x n, onde n a dimenso de H. Embora apenas em artigo de 1949 (401-485) von Neumann tenha provado o teorema de decomposio em fatores, a relevncia dos fatores foi imediatamente reconhecida. Os fatores so os constituintes fundamentais da teoria e a compreenso destes afeta o conhecimento de todos os outros exemplos. A grosso modo, o teorema de decomposio reza que toda lgebra de von Neumann pode ser reduzida, relativamente ao seu centro, a uma integral direta de fatores. O conceito de integral direta corresponde a uma generalizao de somas diretas, para o caso em que o conjunto de fatores parametrizado, no por um conjunto discreto, mas por um espao de medida contnuo. Com o teorema de decomposio, a compreenso da estrutura das lgebras de von Neumann se reduz classificao dos fatores, e a preocupao em se chegar a este objetivo perfeitamente visvel na srie Rings of Operators. Ali encontramos os primeiros resultados importantes. Para se obter uma primeira classificao dos fatores, Murray e von Neumann desenvolveram a teoria de comparao de projees. Uma projeo um elemento p de uma lgebra de von Neumann que satisfaz p2 p* = p. Estas relaes acarretam que p uma projeo ortogonal, no sentido usual, sobre um subespao do espao de Hubert subjacente. Dadas duas projees p e q numa lgebra de von Neumann M, diz-

se que p e q so equivalentes, em smbolos p ~ , se existe um operador u em M tal que p uu* e q = u*u. Com esta noo de equivalncia, Murray e von Neumann introduziram uma ordem parcial no conjunto das projees em M. Isto , diz-se que p * q se p equivalente a uma subprojeo de q, ou seja, a uma projeo cuja imagem est contida na imagem de q. De importncia central o fato de que esta ordem total num fator, isto , ou bem p q ou ento q p. Uma projeo p chamada infinita se p equivalente a uma sua subprojeo e, em caso contrrio, p e dita finita. Se a identidade da lgebra de von Neumann M, que sempre uma projeo, for finita, ento a lgebra tambm chamada finita, e similarmente se definem lgebras infinitas. Relacionada teoria de comparao de projees, Murray e von Neumann introduziram a sua funo dimenso. Mais precisamente, foi demonstrado que, para um fator M, existe uma funo D, definida no conjunto das projees de M, e tomando valores reais positivos, incluindo o valor infinito, tal que

se p e q so projees ortogonais, isto

Isto reproduz a noo clssica de dimenso de projees num espao de Hubert e indica a possibilidade de se obter modelos no clssicos em fsica quntica. A demonstrao da existncia e unicidade de D segue idias relacionadas com o conceito de medida de Haar em grupos localmente compactos, um campo da matemtica que tambm conta com importantes contribuies de von Neumann (1934:106-114), responsvel pela demonstrao da unicidade da medida de Haar para grupos compactos. A natureza do conjunto de valores da funo dimenso estabelece a primeira classificao dos fatores. Este conjunto pode ser: (i) {O, l , . . . , n}, onde n um inteiro, incluindo infinito, (ii) [0,1], isto , o intervalo real fechado de 0 a l,

Na primeira situao o fator se denomina de tipo In e, neste caso, necessariamente isomorfo a M n (C) ou, no caso em que n infinito, a L(H). O segundo caso corresponde ao fato de que a identidade finita, no existindo projees minimais, e o fator denominado de tipo II1. A alternativa seguinte define os fatores de tipo II*. Dentre todos, os mais misteriosos, ao menos na poca, so os fatores de tipo III, que correspondem ao ltimo caso. A existncia de fatores do tipo II e III, embora prevista pela teoria, no era, de maneira alguma, bvia. Para a construo de exemplos Murray e von Neumann lanaram mo de elementos da teoria ergdica. E interessante notar que a prpria teoria ergdica, que estava nascendo na poca, contou tambm com importantes contribuies de von Neumann. Os primeiros exemplos de fatores de tipo II e III foram obtidos da seguinte maneira. Dado um espao de medida (*, m) com uma ao de um grupo discreto enumervel Gr, considere a lgebra constituda por todas as funes mensurveis e essencialmente limitadas em *, denotada por L * ( * ) . Cada elemento g do grupo, define um automorfismo de L * ( * ) atravs da frmula Uma construo tecnicamente complexa permite que se obtenha uma lgebra de von Neumann M, que contenha, de uma maneira natural, uma cpia de L* (*), assim como uma famlia de elementos unitrios {ug}g*G, satisfazendo

A condio para que tal lgebra seja um fator a ao ser livre e ergdica. Neste contexto, livre significa que a medida do conjunto {* : g* = *} zero para todo elemento g no-trivial, enquanto a definio de ergodicidade requer que os nicos subconjuntos S de * tais que a medida de g(S) S seja zero para todo elemento g do grupo, sejam aqueles que tm medida zero ou cujo complementar tenha medida zero. A construo de uma lgebra de operadores a partir de uma ao de grupo num espao de medida uma importante idia de Koopman, que foi o orientador de Murray. Esta construo inaugurou uma frutfera conexo entre duas teorias aparentemente no relacionadas, a saber, a teoria dos anis de operadores e a teoria dos sistemas dinmicos. Tal conexo sobrevive at os dias de hoje com pleno vigor, sendo que alguns resultados cruciais neste assunto foram obtidos muito recentemente

por Giordano, Putnam e Skau (1983), fornecendo uma classificao de homeomorfismos minimais no conjunto de Cantor. Voltando ao problema de se construir fatores de tipo II e III, Murray e von Neumann estudaram, inicialmente, o caso em que * admite uma medida invariante. Neste caso, se existem tomos em *, isto , subconjuntos indecomponveis de medida positiva, o fator resultante ser de tipo I finito ou infinito conforme a medida de O seja finita ou infinita. Na ausncia de tomos, M ser de tipo II, finito ou infinito como mencionado. No terceiro artigo da srie Rings of Operators, von Neumann logrou encontrar os primeiros casos de fatores de tipo III. Os exemplos obtidos resultaram tambm de sistemas ergdicos que, desta vez, no admitissem medida invariante alguma. Exemplos concretos destas situaes so: a ao do grupo dos inteiros no crculo, por meio de rotaes de ngulo irracional, resultando num fator de tipo II1, a ao do grupo dos nmeros racionais na reta real, por translao, resultando num fator de tipo II* e a ao, na reta real, do grupo de transformaes afins x * ax + b, onde a e b so nmeros racionais, resultando num fator do tipo III. Ainda hoje no temos uma classificao completa de todos os fatores. Entretanto, alguns dos desenvolvimentos mais marcantes na teoria de lgebras de von Neumann desde ento, tm sido provocados pelo desejo de se refinar a classificao em tipos originada por Murray e von Neumann. Dentre estes destaca-se o trabalho de Connes (1973:133-252), cuja classificao dos fatores de tipo III lhe valeu a medalha Fields. Connes, utilizando a teoria de Tomita-Takesaki, provou que os fatores do tipo III se dividem em classes III*, onde * um parmetro real, relacionado com o espectro de um grupo de automorfismos da lgebra que est codificado na sua prpria estrutura algbrica. Em On Ring of Operators II e IV Murray e von Neumann dedicaram esforo considervel ao estudo do problema de isomorfismo espacial de fatores. Dados dois fatores isomorfos entre si como lgebras abstratas, isto , sem considerao ao espao de Hubert subjacente, pergunta-se sob que condies este isomorfismo espacial; ou seja se existe um operador unitrio u entre os respectivos espaos de Hubert, de tal forma

que o isomorfismo dado coincida com a conjugao por u. No primeiro (1937:208-248) mostraram que no caso de fatores finitos, a questo crucial reside na anlise da constante de acoplamento (coupling constant). Para ser mais preciso, dado um fator M operando num espao H, seja M1 o seu comutante. Dado um vetor no nulo x qualquer em H, considere o espao [Mx], que claramente invariante por M. Disto seguese que a correspondente projeo ortogonal comuta com M e, portanto, um elemento de M1. Da mesma forma a projeo ortogonal em [M' x] pertence a M. Sendo assim, a constante de acoplamento definida como sendo o quociente onde D e D' so as funes dimenso de M e M', respectivamente. Um ponto importante a ser ressaltado que esta constante no depende da escolha de x, sendo conseqentemente um invariante intrnsico da lgebra M e de sua posio relativa ao seu comutante. A soluo do problema do isomorfismo espacial obtida por Murray e von Neumann afirma que dois fatores finitos, isomorfos entre si, so unitariamente equivalentes se, e somente se, as respectivas constantes de acoplamento coincidem. Murray e von Neumann estenderam estes resultados, exceto para o caso em que M de tipo III e o caso em que M de tipo II* e M' de tipo II1. Estes casos vieram a ser estudados e resolvidos mais tarde por Griffin, Dye e Kadison. Um resultado de extrema elegncia foi obtido em 1943 (716-808), esclarecendo a relao entre fatores de tipo II* e II 1 . Dado um fator M do tipo II*, sabe-se que a identidade uma projeo infinita e, portanto pode ser escrita como a soma de uma famlia ortogonal infinita {pi} de projees finitas, mutuamente equivalentes. Considerando a equivalncia entre pi e pj, existir, portanto, uma isometria parcial uij em M tal que u*tt,- = PJ e Uiju*j = Pi. Desta forma, o conjunto {uij} passa a ser uma famlia de unidades matriciais em M, gerando, portanto, um fator de tipo I*. Por outro lado, a sublgebra poMpo ser um fator de tipo II1, uma vez que p0 uma projeo finita. Um raciocnio simples conduz concluso de que M nada mais que o produto tensorial de um fator de tipo II1 por um de tipo I*. Dito de outra forma, todo fator de tipo II* pode ser visto como a lgebra das matrizes infinitas sobre um fator de tipo II 1 . A classificao de fatores em tipos In, II1, II* e III, aliada prova da existncia de fatores de cada um dos tipos previstos, levantava

a questo crucial quanto a esta classificao ser completa, ou seja, se dois fatores do mesmo tipo deveriam ser, necessariamente, isomorfos. Resolvendo esta questo, Murray e von Neumann obtiveram exemplos no isomorfos de fatores do tipo II1, utilizando, para isto, a teoria de representao de grupos. Dado um grupo discreto G, considere o espao de Hubert l 2 (G), constitudo por todas as seqncias ( * g } g * G de nmeros complexos, indexadas por G, satisfazendo

A representao regular de G em l2(G) consiste em se associar, para cada elemento g de G, um operador unitrio ug em l 2 (G), atravs da frmula

A lgebra de von Neumann gerada pela imagem da representao regular resulta num fator se, e somente se, a classe de conjugao de todo elemento no-trivial de G for infinita. Esta propriedade caracteriza os grupos chamados ICC (infinite conjugacy class). Neste caso fcil provar que tal fator de tipo II1. E o caso, por exemplo, do grupo livre com n geradores, denotado por Fn, e tambm do grupo S* constitudo por todas as permutaes de um conjunto infinito enumervel, que movam apenas um subconjunto finito. Com o objetivo de distinguir a classe de isomorfismo entre estas lgebras, foi definida uma propriedade de comutatividade fraca para lgebras de von Neumann, a qual verificada para o caso de S*, embora falhe para F2, mostrando assim que existem fatores de tipo II1 no isomorfos entre si. A propsito, um dos grandes problemas no resolvidos at hoje, e que tem sido objeto de intensa investigao, a questo do isomorfismo entre os fatores associados a grupos livres com um nmero distinto de geradores. Esta questo levou Voiculescu et al. (1992) a introduzirem sua teoria de probablidade no comutativa, teoria esta que tem um interesse intrnseco significativo. O caso do grupo S* chamou a ateno para uma propriedade extremamente importante. Uma lgebra de von Neumann M chamada hiperfinita (a nomenclatura original dada por von Neumann foi aproximadamente finita) se existe uma cadeia crescente de sublgebras de dimenso finita, cuja reunio fortemente densa em M.

Num dos sucessos mais significativos atingidos pela teoria de classificao de fatores, Murray e von Neumann provaram que dois fatores hiperfinitos de tipo II1 so necessariamente isomorfos. A demonstrao deste fato consiste de uma longa e sofisticada srie de argumentos. Em 1976, Alain Connes (1973:133-252) obteve uma importante generalizao deste resultado para fatores mais gerais. J foi dito que a motivao de von Neumann, no seu estudo de operadores, foi entre outras, a tentativa de estabelecimento de uma base formal para a mecnica quntica. Entretanto, os observveis fsicos so freqentemente ilimitados, o que faz com que os operadores ilimitados sejam objeto de grande interesse. Por outro lado, a teoria de lgebras de von Neumann trata de operadores limitados, j que, em caso contrrio, as propriedades algbricas tornam-se de difcil compreenso. Por exemplo, dados operadores ilimitados T1 T2 no , de forma alguma bvia, como obter a soma T1 + T2. O problema que se coloca que os domnios de T1 e T2 podem ter interseco vazia. Entretanto, em fsica quntica, manipulaes formais com operadores ilimitados so rotineiramente executadas e, embora o significado matemtico no seja sempre absolutamente cristalino, a utilidade destes clculos inegvel. Com sua descoberta de fatores de tipo II1, Murray e von Neumann obtiveram um sucesso importante no sentido de atribuir significado matemtico para clculos com operadores ilimitados. Para se compreender tal fenmeno, preciso introduzir o conceito de operadores afiliados a uma lgebra de von Neumann. A saber, um operador ilimitado, densamente definido e fechado T dito afiliado a uma lgebra M, se T comuta com todo operador em M'. Murray e von Neumann (1936) provaram que, para tais operadores, a maioria das propriedades desejveis para o clculo de operadores satisfeita. Por exemplo, tais operadores podem ser somados e multiplicados entre si, formando uma lgebra no sentido usual da palavra. Existe ainda enorme quantidade de contribuies significativas de von Neumann teoria de operadores que no foram sequer citadas, como, por exemplo, lgebras abelianas maximais, teoria no comutativa de integrao, antiautomorfismos e produtos diretos infinitos. Como j enfatizado, sua obra abriu um campo profundamente frtil em matemtica que, ainda hoje, objeto de alguns dos mais fascinantes desenvolvimentos da cincia. A sua extenso e o seu alcance fazem com que seja completamente impossvel descrever, ainda que superficialmente, em uma nica palestra, todos esses desenvolvimentos. Entretanto, eu gostaria de comentar, com algum detalhe, a teoria de Vaughan Jones

sobre fatores do tipo II1 por duas razes. Primeiro, por sua magnfica elegncia e, em segundo lugar, pelo fato de ter trazido para o universo de aplicaes das lgebras de von Neumann, uma nova rea da matemtica: a teoria de ns. A teoria de ns trata, como o nome indica, de se classificar, matematicamente, as diversas possibilidades de atar um ou mais pedaos de barbante, formando um n. Alm de seu interesse intrnseco, a teoria de ns encontra aplicaes em topologia, geometria diferencial, teoria das singularidades, mecnica estatstica e em gentica, na qual o polinmio de Jones usado para se estudar cadeias de DNA. As aplicaes do estudo de lgebras de von Neumann, encontradas por Jones em teoria de ns, foram obtidas de maneira totalmente no-intencional, e resultaram do interesse de Jones em desenvolver uma Teoria de Galois para fatores do tipo II 1 . Neste estudo, Jones deparouse com determinadas relaes algbricas que permitiram a introduo de um invariante polinomial para ns, ou seja, um mtodo de se associar um polinmio a um n, atravs do qual, freqentemente, pode-se distinguir entre dois ns no equivalentes. Pelo seu trabalho nesta rea, Jones fez jus segunda medalha Fields atribuda a um cientista dedicado ao estudo de lgebras de von Neumann. O ponta-p inicial para a teoria de Jones a noo de constante de acoplamento, introduzida por Murray e von Neumann, conforme j mencionado. No caso de um fator M, do tipo II1, Murray e von Neumann demonstraram que existe uma funo linear tr, a valores complexos, definida para todos os elementos de M, que obedece s relaes:

A esta funo d-se o nome de trao, devido s semelhanas com as propriedades de trao de matrizes complexas. Utilizando-se tr, define-se o espao L 2 ( M ] como sendo o espao de Hubert obtido a partir de M, com o produto escalar A cada elemento a de M, define-se um operador Ta em L 2 (M) , pela frmula Ta(b) = ab. Isto define o que se chama de uma representao

de M em L 2 (M), atravs da qual podemos interpretar M como uma lgebra de operadores em L 2 (M). Esta representao chamada de forma standard de M. Conforme o esprito da teoria de Galois, Jones estava interessado no estudo d e subf atoresN*M . Como a s propriedades q u e distinguem fatores do tipo II1 sero necessariamente herdadas por N, este ser tambm de tipo II 1 . O substituto para o conceito de ndice para extenses de corpos da teoria de Galois o ndice de Jones [ M , N ] , definido como sendo a constante de acoplamento para N, vista como uma lgebra de operadores em L2(M). O primeiro indicador de que algo verdadeiramente fantstico se oculta nesta teoria o teorema demonstrado por Jones segundo o qual os possveis valores para o ndice so qualquer nmero real r * 4. qualquer nmero da forma maior ou igual a trs. , onde n um inteiro

Consideremos, a partir de agora, uma incluso de fatores do tipo II 1 . A chamada construo bsica, devida a Cristensen e Skau, um ingrediente importante na obteno do invariante polinomial de Jones. Esta construo est baseada no fato que existe uma esperana condicional, ou seja, uma aplicao E : M * N que satisfaz:

Alm disso, possvel demonstrar-se que o operador E pode ser estendido a um operador em L 2 ( M ) , extenso esta que ser, doravante, denotada por e. Sendo assim, pode-se obter uma lgebra maior que M, construindo-se a lgebra (M, e), gerada por M U {e}. Jones provou que se o ndice de N em M finito, ento (M, e) tambm um fator do tipo II1 e que o ndice se preserva no sentido que

A construo bsica, mencionada, consiste, precisamente, em se produzir a lgebra (M, e) a partir do par N * M. E interessante que, uma vez aplicada esta construo, encontramo-nos na posio de repetila. Portanto, esse procedimento pode ser feito uma quantidade infinita de vezes. Obtm-se, assim, uma seqncia Mi de fatores do tipo II1, onde Mi+1 = ( M i , e i ) . As relaes algbricas satisfeitas pela seqncia {ei} so de crucial importncia. Sendo * = [M, N ] - 1 , tem-se:

quando x um elemento da lgebra gerada por

Para prosseguir precisamos introduzir o importante conceito de braid. Um braid, ou seja, uma trana, consiste em se tomar duas varetas, cada uma das quais com n orifcios, igualmente espaados, colocadas horizontalmente, uma acima da outra a uma certa distncia. Toma-se, tambm, n cordes e ata-se uma das extremidades de cada cordo a um dos orifcios da vareta superior, sendo que e a outra extremidade atada a um dos orifcios da vareta inferior. Assim, obtm-se uma trana que, naturalmente, pode assumir diversas configuraes distintas. O chamado braid group, ou o grupo das trancas, Bn consiste do conjunto de todas estas configuraes possveis. A estrutura de grupo de Bn dada pela seguinte operao: o produto de duas trancas obtido fazendo-se coincidir a vareta inferior de uma destas com a superior da outra e, ento, eliminando-se estas duas varetas, aps atar-se os cordes superiores com os inferiores, obedecendo o orifcio em que cada cordo estava amarrado. Entre as possveis trancas, destacam-se n l elementos fundamentais {* 1 ,..., * n-1 }. Comeando-se com a trana trivial, isto , aquela em que os cordes so amarrados verticalmente, tome o i-simo cordo juntamente com seu vizinho da direita, desamarre-os da vareta inferior, d meia volta e torne e amarr-los, trocando, assim, sua posio. Desta forma, obtm-se a trana *i, j mencionada. E um antigo resultado de Artin que estas trancas fundamentais satisfazem as relaes:

e que, alm disso, estas relaes definem Bn completamente, formando uma apresentao deste grupo. A aparente semelhana entre estas relaes e as relaes entre os elementos ei- foi notada por um membro da platia durante uma conferncia proferida por Vaughan Jones. Matematicamente, esta semelhana expressa-se pelo fato de que a associao

estabelece uma representao de Bn na lgebra de von Neumann na qual residem os ei. Aqui, t dado pela equao , lembrando que Calculando-se o trao do elemento correspondente, obtm-se um nmero complexo que depende do valor do ndice [M, N] ou, mais explicitamente, do parmetro t. Ainda que, neste ponto, a teoria torne-se ligeiramente intrincada, no preciso muita imaginao para perceber que trancas e ns tm uma ntima relao entre si. Mais precisamente, prova-se que todo n pode ser obtido pelo fechamento de uma trana. Embora a trana que deve ser utilizada para se obter um dado n no seja nica, um teorema de Markov que duas trancas que se fechem num mesmo n podem ser obtidas uma da outra por uma seqncia de transformaes chamada movimentos de Markov. Para que o trao da representao de uma trana * * Bn dependesse apenas do n que desta se obtm, Jones levou em conta o efeito dos movimentos de Markov no clculo do trao e definiu

abelianizao nida uma funo de tonde (*)aimged*naque um invariante para o n *, no sentido que dois ns equivalentes tero, necessariamente, a mesma funo V. Mais importante que isto o fato de dois ns distintos muitas vezes terem invariantes distintos, o que permite, de forma concreta e objetiva, perceber tal distino. Na verdade, invariantes polinomiais para ns no so propriamente uma novidade, uma vez que o polinmio de Alexander foi introduzido em 1923. O aspecto de novidade do polinmio de Jones, entretanto, reside no fato de que certos ns no distinguidos pelo polinmio de Alexander, o so pelo polinmio de Jones. O leitor interessado encontrar mais informaes sobre o trabalho de Jones em seus artigos publicados em 1976 e 1983.

Z de Bn.

O autor gostaria de expressar seus agradecimentos a Severino Toscano de Melo e Michael Forger, que colaboraram na forma de uma leitura crtica da verso preliminar do presente trabalho.

Referncias bibliogrficas CONNES, A. Une classification des facteurs de type III. Ann. Ecole Norm. Supp. 6 1973, p. 133-252. _______. Classification of injective factors; cases II1, II*, III*, * * 1. Ann. Math. 104 1976, p. 73-115. GIORDANO, T.; PUTNAM, I. F. & SKAU, C. Topological orbit equivalence and C* crossed products. Tech. rep., University of Trondheim, 1993. JONES, V. Index for Subfactors. Invent. Math. 72 1983, p. 1-25. _______. Subfactors and Knots, v. 80 of Regional Conference Series in Mathematics. American Mathematical Society, 1991. KADISON, R. V. Theory of operators. Part II. Operator algebras. Amer. Math. Soc. v. 64, Part II 1958, p. 61-85. Bull.

MURRAY, F. J. Theory of operators. Part I. Single operators. Bull. Amer. Math. Soc. v. 64, Part II 1958, p. 57-60. MURRAY, F. J. & VON NEUMANN, J. On rings of operators. Ann. of Math. 37 1936, p. 116-229. MURRAY, F. J. & VON NEUMANN, J. On rings of operators, II. Trans. Amer. Math. Soc. 41 1937, p. 208-248. _______. On rings of operators, IV. Ann. of Math. 44 1943, p. 716-808. ULAM, S. John von Neumann. Bull. Amer. Math. Soc. v. 64, Part II 1958, p. 1-49. VOICULESCU, D. V.; DYKEMA, K. fe NICA, A. Free random variables, v. l of CRM Monograph Series. American Mathematical Society, 1992. VON NEUMANN, J. Zur Algebra der Funktionaloperatoren und Theorie der normalen Operatoren. Math. Ann. 102 1929, p. 370-427.

VON NEUMANN, J. Zum Haarschen Maass in topologischen Gruppen. Compositio Math. 1 1934, p. 106-114. ______. On rings of operators, III. Ann. of Math. 41 1940, p. 96-161. ______. On rings of operators, Reduction theory. Ann. of Math. 50 1949, p. 401-485.

Ruy Exel professor do Departamento de Matemtica do Instituto de Matemtica e Estatstica da USP. Palestra feita pelo autor no encontro A obra e o legado de John von Neumann, organizado pelo Instituto de Estudos Avanados da USP e pela Academia Brasileira de Cincias no Instituto de Matemtica e Estatstica da USP em 14 de novembro de 1995.