arxiv: v1 [math.oa] 19 May 2009

(1)

arXiv:0905.3166v1 [math.OA] 19 May 2009

K-Teoria de operadores pseudodiferenciais com s´ımbolos semi-peri´ odicos no cilindro

Patricia Hess

Tese apresentada ao

Instituto de Matem´ atica e Estat´ıstica da

Universidade de S˜ ao Paulo para

obtenc ¸˜ ao do t´ıtulo de

Doutor em Ciˆ encias

Programa: Matem´ atica Aplicada

Orientador: Prof. Dr. Severino Toscano do Rego Melo

Durante o desenvolvimento deste trabalho a autora recebeu aux´ılio financeiro do CNPq S˜ao Paulo, dezembro de 2008

(2)

K-Teoria de operadores pseudodiferenciais com s´ımbolos semi-peri´ odicos no cilindro

Este exemplar corresponde à reda¸cão final da tese devidamente corrigida e defendida por Patricia Hess e aprovada pela Comissão Julgadora.

Banca Examinadora:

Prof. Dr. Severino Toscano do Rego Melo (orientador) - IME-USP

Prof. Dra. Cristina Cerri - IME-USP

Prof. Dra. Beatriz Abadie - URU

Prof. Dr. Antˆonio Roberto da Silva - UFRJ

Prof. Dr. Ricardo Bianconi - IME-USP

(3)

Agradecimentos

Agrade¸co a todos aqueles que sempre me incentivaram e apoiaram, em especial, ao professor Toscano, por ter aceito ser meu orientador e estar sempre disposto a me ajudar; aos amigos que fiz nestes últimos anos, por tornar a minha estadia em São Paulo tão agradável; e por fim, ao professor Daniel Gon¸calves, que, embora não tenha seu nome citado na banca examinadora, esteve presente

`

a defesa e colaborou com muitas sugest˜oes.

(4)

Resumo

Seja A a C*-álgebra dos operadores limitados em L²(R×S¹) gerada por: operadores a(M) de multiplica¸cão por fun¸cões a ∈ C^∞(S¹), operadores b(M) de multiplica¸cão por fun¸cões b ∈ C([−∞,+∞]),operadores de multiplica¸cão por fun¸cões cont´ınuas 2π-periódicas, Λ = (1−∆R×S¹)^−1/2, onde ∆R×S1 é o Laplaciano de R×S¹,e ∂_tΛ, ∂_xΛ para t∈R e x∈S¹. Calculamos a K-teoria de Ae de A/K(L²(R×S¹)), onde K(L²(R×S¹)) é o ideal dos operadores compactos emL²(R×S¹).

Palavras-chave: K-teoria, Operadores pseudodiferenciais.

(5)

Abstract

Let A denote the C*-algebra of bounded operators on L²(R×S¹) generated by: all multiplications a(M) by functions a ∈ C^∞(S¹), all multiplications b(M) by functions b ∈C([−∞,+∞]), all multiplications by 2π-periodic continuous functions, Λ = (1−∆R×S¹)^−1/2,where ∆R×S¹ is the Laplacian on R×S¹, and ∂_tΛ, ∂_xΛ, for t ∈ R and x ∈ S¹. We compute the K-theory of A and A/K(L²(R×S¹)), whereK(L²(R×S¹)) is the ideal of compact operators onL²(R×S¹).

Keywords: K-theory, Pseudodifferential operators.

(6)

Conte´ udo

Introdu¸c˜ao 1

1 A C*-´algebra A 4

1.1 Descri¸c˜ao deA . . . 4

1.2 O ideal comutador de A . . . 6

1.3 O caso B=S¹ . . . 8

2 C*-sub´algebras de A 10 2.1 A ´algebraA^† . . . 10

2.2 A ´algebra do produto cruzado . . . 17

2.2.1 O produto cruzado . . . 17

2.2.2 Ideal comutador e espa¸co s´ımbolo de A^⋄ . . . 20

3 A K-Teoria de A e suas C*-sub´algebras 24 3.1 Conceitos b´asicos . . . 24

3.2 A K-teoria deA^† . . . 27

3.3 A K-teoria deA^⋄ . . . 30

3.3.1 A seq¨uˆencia de Pimsner-Voiculescu . . . 36

3.4 A K-teoria deA . . . 38

Apˆendice 50

Bibliografia 53

(7)

Introdu¸ c˜ ao

Este trabalho tem como objetivo calcular a K-teoria da C*-álgebra A de operadores limitados em (L²(R×S¹)),gerada pelos operadores: (i) de multiplica¸cão por fun¸cões que se estendem contin- uamente para [−∞,+∞]×S¹, (ii) de multiplica¸cão por fun¸cões cont´ınuas emRde per´ıodo 2π, (iii) Λ = (1−∆R×S¹)^−1/2,onde ∆R×S¹ é o operador Laplaciano em L²(R×S¹),e (iv) 1/i∂_tΛ, 1/i∂_xΛ parat∈Re x∈S¹.

Para calcular a K-teoria deA, é importante conhecer a estrutura desta álgebra. Desta forma, o cap´ıtulo 1 é destinado essencialmente a descrever sua estrutura, apresentando diversos resultados de [10] restritos ao caso B=S¹.

A C*-álgebraA não é comutativa, e seus comutadores não são todos compactos. Temos então que o ideal comutador EA de A contém o ideal dos operadores compactos K(L²(R×S¹)) e além disso, temos o seguinte isomorfismo:

EA

K ∼=C(S¹× {−1,+1},K(L²(Z×S¹))). (1) CompondoEA → EA/K com o isomorfismo acima, conseguimos estender esta aplica¸c˜ao e obter um

*-homomorfismo

γ :A →C(S¹× {−1,+1},L(L²(Z×S¹))), que nos será muito útil nos cálculos das aplica¸cões de conexão em K-teoria.

Apresentamos ainda, no cap´ıtulo 1, o isomorfismo entre a álgebra comutativa A/EA e o conjunto das fun¸cões cont´ınuas em M tomando valores complexos, denotado porC(M), sendoM um subconjunto compacto de [−∞,+∞]×S¹×S¹×S¹, onde este isomorfismo se dá pela aplica¸cão de Gelfand. Note que S¹ também representa o c´ırculo, mas preferimos distingu´ı-lo do c´ırculo proveniente da variedade. A composi¸cão da proje¸cão canônicaA → A/EA com este isomorfismo nos dá a aplica¸cão que denominamos de s´ımbolo, isto porque esta aplica¸cão é dada pelo s´ımbolo principal dos operadores em A.

Apesar de termos todas estas informa¸cões sobreA, elas não foram suficientes para o cálculo de sua K-teoria. Definimos então, no cap´ıtulo 2, duas C*-subálgebras deA, as quais denominamosA^† e A^⋄,e tais que

A^†⊂ A^⋄⊂ A.

Estas álgebras não são comutativas e não contêm a álgebra dos operadores compactos emL²(R×S¹), denotada porK(L²(R×S¹)).Determinamos seus ideais comutadores e mostramos os seguintes iso-

(8)

morfismos:

A^†

E^† ∼=C(S¹×S¹) , A^⋄

E^⋄ ∼=C(S¹×S¹×S¹).

O resultado mais importante deste cap´ıtulo é que a C*-álgebraA^⋄tem estrutura de produto cruzado e este teorema segue como uma generaliza¸cão do teorema 8 de [14].

No terceiro e último cap´ıtulo, apresentamos os cálculos de K-teoria das álgebras A^†, A^⋄ e A. Partindo da seqüência induzida pela aplica¸cão do s´ımbolo quocientada pelo idealK(L²(R×S¹))

0−→ EA

K(L²(R×S¹))

−→i A K(L²(R×S¹))

−→π A

EA −→0,

conseguimos calcular a aplica¸cão do ´ındice da seqüência exata de seis termos em K-teoria:

δ₁ :K₁(A/EA)−→K₀(EA/K(L²(R×S¹))).

Analogamente a proposi¸cão 3 de [14], conseguimos mostrar que γ ◦δ₁ calculado num elemento [[A]_E_A]₁ ∈ K₁(A/EA) é igual a indγ_A(1,±1)[E]₀, cujo operador E é uma proje¸cão de posto 1 de K(L²(Z×S¹)) eindé o ´ındice de Fredholm. Para calcular este ´ındice, usamos uma particulariza¸cão da fórmula do ´ındice para operadores el´ıpticos de Atiyah-Singer dada por Fedosov [7], no caso em que a variedade tem Todd class igual a 1. Esta fórmula determina o ´ındice do operador a partir de seu s´ımbolo, fazendo com que não precisemos entrar em argumentos topológicos, necessários na fórmula de Atiyah-Singer.

Para calcular K0 e K1 de A^† e A^⋄, usamos a mesma idéia acima, mas foi com a seqüência de Pimsner-Voiculescu [16] que conseguimos concluir que

K0(A^†)∼=Z, K1(A^†)∼=Z² , K0(A^⋄)∼=K1(A^⋄)∼=Z³.

Com todos estes resultados e a partir do cálculo da K-teoria do ideal comutadorEA, provamos que existe um operador de FredholmT ∈M_n(E_A⁺) cujo ´ındice é igual a 1. Diante disso, conseguimos mostrar que a aplica¸cão do ´ındice da seqüência exata de seis termos em K-teoria associada a seqüência

0−→ K(L²(R×S¹))−→ A −→ A/K(L²(R×S¹))−→0,

´e sobrejetora. E esta informa¸c˜ao foi crucial para chegarmos ao resultado desejado.

No trabalho de Melo e Silva [14], eles determinam a K-teoria da C*-álgebraA⊂ L(L²(R)) gerada por: (i)operadores de multiplica¸cão por fun¸cões que admitem extensões cont´ınuas em [−∞,+∞], (ii) os operadores descritos em (i) conjugados com a transformada de FourierF, e (iii) multiplicadores por fun¸cões cont´ınuas de per´ıodo 2π. Eles apresentam duas maneiras diferentes para calcular a K-teoria de A. Uma delas se baseia na seqüência exata proveniente da aplica¸cão do s´ımbolo principal, onde se conhece o núcleo dessa aplica¸cão e sua imagem. A outra, surge da seqüência exata induzida pela aplica¸cão que chamamos de γ^′, que estende o homomorfismo sobrejetor E → C(S¹× {±1},K(ℓ²(Z))).

Apesar de conhecermos o núcleo e a imagem de γ : A → C(S¹ × {±1},L(L²(Z×S¹))), a seqüência induzida por esta aplica¸cão não nos possibilitou ir adiante no cálculo da K-teoria de Ae

(9)

trabalhamos apenas com a seqüência do s´ımbolo. Mas o que é importante ressaltar, é que tivemos que construir várias outras seqüências envolvendo a álgebra, seu comutador eK(L²(R×S¹)) para podermos inferir algo.

De um modo geral, o que usamos para calcular a K-teoria deAsão argumentos bem conhecidos, que estão associados ao s´ımbolo principal e ao s´ımbolo principal de fronteira, ao qual chamamos de γ no nosso trabalho. Conhecer a imagem e o núcleo desses s´ımbolos é uma ferramenta que nos possibilita o cálculo da K-teoria de uma C*-álgebra A, como pode ser visto nos trabalhos de Melo, Nest e Schrohe [12] e Melo, Schick e Schrohe [13]. A estrutura da álgebra A se assemelha a estrutura das álgebras estudadas em [12] e [13] e de tantas outras C*-álgebras geradas por operadores pseudodiferenciais de ordem zero (ver por exemplo [1], [2], [8], [9], [10] e [15]).

Apesar de termos estudado a K-teoria de A apenas em R×S¹, suspeitamos de que vários resultados podem ser generalizados para R×B, ondeB é uma variedade Riemanniana compacta de dimensão n. Mas este é uma assunto que pretendemos abordar num trabalho futuro.

(10)

Cap´ıtulo 1

A C*-´ algebra A

Come¸caremos este primeiro cap´ıtulo definindo a C*-álgebra A, com a qual iremos trabalhar, e descrevendo vários resultados já conhecidos sobre ela. Melo, [10], e Cordes, [2], estudaram esta

´

algebra e deles obtemos informa¸cões necessárias para o cálculo da K-teoria deA.

Nas duas primeiras se¸cões, introduziremosAcomo uma C*-subálgebra de operadores limitados em L²(R×B), cujas fun¸cões em L²(R×B) são complexas e B é uma variedade Riemanniana compacta de dimensãon. Na terceira se¸cão, nos restringiremos ao caso em que Bé o c´ırculo S¹ e a partir de então este será o caso que iremos estudar nos próximos cap´ıtulos.

No decorrer do trabalho, usamos duas nota¸c˜oes para o c´ırculo. S¹ denota um c´ırculo qualquer e S¹ corresponde especificamente `a variedade escolhida no lugar de B.

1.1 Descri¸ c˜ ao de A

Considere B uma variedade Riemanniana compacta. Escreva Ω =R×Be seja ∆_Ω o operador Laplaciano definido em L²(Ω). Definimos a ´algebra A como sendo a menor C*-sub´algebra de L(L²(Ω)) contendo

(i) operadores a(M_x) de multiplica¸c˜ao por a∈C^∞(B) :

[a(M_x)f](t, x) =a(x)f(t, x);

(ii) operadores b(M_t) de multiplica¸c˜ao por b ∈ C([−∞,+∞]), onde C([−∞,+∞]) representa o conjunto das fun¸c˜oes cont´ınuas emR que possuem limite quandot→ ±∞:

[b(M_t)f](t, x) =b(t)f(t, x), (t, x)∈R×S¹;

(iii) operadoresp_j(M_t) de multiplica¸cão na primeira variável por fun¸cões cont´ınuas 2π-periódicas p_j(t) =eîjt, j ∈Z;

(iv) Λ := (1−∆_Ω)^−1/2; (v) ¹_i_∂t^∂Λ,comt∈R;

(11)

(vi) L_xΛ,ondeL_x´e um operador diferencial de primeira ordem em B.

Com o intuito de facilitar a nota¸c˜ao, denotemos porA₁, A₂, . . . , A₆ os operadores (ou classes de operadores) listados nos itens (i), (ii), . . . , (vi) acima, respectivamente.

Usando a estrutura de espa¸co de Hilbert deL²(Ω), temos que este é isomorfo aL²(R)⊗L²(B)¹. Podemos então conjugar a álgebraA com o operador unitário F⊗IB definido emL²(R)⊗L²(B),

(F⊗IB)⁻¹A(F⊗IB), ondeF ´e a transformada de Fourier emL²(R),

(F u)(τ) = 1

√2π Z

R

e^−itτu(t)dt,

e IB denota o operador identidade em L²(B). Esta conjuga¸cão será útil daqui em diante para obtermos uma série de resultados sobreA.

Vamos denotar um operador do tipo A⊗IB,onde A∈ L(L²(R)) eIB ´e o operador identidade em L²(B),e IR⊗B,onde IR ´e o operador identidade em L²(R) e B ∈ L(L²(B)), apenas porA e B, respectivamente, deixando sempre claro a que espa¸co cada um deles pertence.

SejaBa C*-´algebraAconjugada porF e para cada i= 1, . . . ,6,F⁻¹A_iF est´a listado a seguir.

(i’) a(M_x)

(ii’) b(D) :=F⁻¹b(Mt)F;

(iii’) F⁻¹p_j(M_t)F =T_j,onde (T_ju)(τ,·) =u(τ+j,·), parau∈L²(Ω) ej ∈Z; (iv’) (F⁻¹ΛF u)(τ,·) = (1 +τ²−∆B)^−1/2u(τ,·), u∈L²(Ω);

(v’) (F^{−1 1}_i_∂t^∂ΛF u)(τ,·) =−τ(1 +τ²−∆B)^−1/2u(τ,·), u∈L²(Ω);

(vi’) (F⁻¹LxΛF u)(τ,·) =Lx(1 +τ²−∆B)^−1/2u(τ,·), u∈L²(Ω).

Podemos considerar a álgebra das fun¸cões cont´ınuas de R limitadas que tomam valores em L(L²(B)), denotada por C_b(R,L(L²(B))), como uma subálgebra de L(L²(R, L²(B))) no seguinte sentido: uma fun¸cãof emC_b(R,L(L²(B))) é identificada com operador de multiplica¸cão f(M_t) em L(L²(R, L²(B))) definido por

(f(M_t)u)(t) =f(t)u(t) ∈ L²(B), parau∈L²(R, L²(B)). Note queL²(R×B)∼=L²(R, L²(B)).

As fun¸c˜oes

B₄(τ) = ˜Λ(τ) , B₅(τ) =−τΛ(τ˜ ), B₆(τ) =L_xΛ(τ˜ ), τ ∈R, (1.1)

1L²(R)⊗L²(B) significa o espa¸co de Hilbert proveniente do produto tensorial⊗entreL²(R) eL²(B)

(12)

com ˜Λ(τ) = (1 +τ²−∆B)^−1/2, est˜ao emC_b(R,L(L²(B))) (isto ser´a demonstrado mais adiante no lema 2.1). Assim, obtemos os operadores

B₄(M_t) , B₅(M_t) , B₆(M_t) ∈ L(L²(R, L²(B)))

opb de multiplica¸cão pelas fun¸cõesB₄, B₅, B₆.E estes operadores são exatamente os encontrados nos itens (iv’), (v’) e (vi’), respectivamente.

Para simplificar a nota¸c˜ao, vamos escrever o conjunto dos operadores limitados em L²(Y) por LY, e o conjunto dos operadores compactos em L²(Y) porKY, para uma variedadeY qualquer.

1.2 O ideal comutador de A

Defini¸c˜ao 1.1. Chamamos de ideal comutador de uma C*-´algebra A ao ideal fechado gerado pelos comutadores [a, b] =ab−ba, para todoa eb em A.

Sejam EA o ideal comutador deAe EB o ideal comutador deB. ´E claro que EB =F⁻¹EAF.

A proposi¸cão 1.2 de [10] nos dá uma descri¸cão do ideal comutador deB:

Proposi¸c˜ao 1.2. O ideal comutador EB de B ´e o fecho do seguinte conjunto de operadores:

EB,0 ={

N

X

j=−N

b_j(D)K_j(M_t)T_j +K; b_j ∈C([−∞,+∞]), K_j ∈C₀(R,K^B), K ∈ KΩ, N ∈N}, onde Kj(Mt) representa o operador de multiplica¸c˜ao pela fun¸c˜ao Kj ∈C0(R,K^B) :

(K_j(M_t)u)(t) =K_j(t)u(t), u∈L²(R, L²(S¹)).

ConsiderandoJ o fecho do conjunto J0 ={

N

X

j=−N

bj(D)aj(Mt)Tj+K; bj ∈C([−∞,+∞]), aj ∈C0(R), K ∈ K^R, N ∈N}, podemos tamb´em escrever o idealEB como sendo

J⊗ K^B,

onde este produto tensorial entre C*-álgebras é único, poisK^B é nuclear.

Temos em [10], teorema 1.6, o isomorfismo entre EA/KΩ e duas cópias de C(S¹,K^Z×B). Antes de enunciá-lo, daremos uma breve idéia da constru¸cão necessária para chegar a este resultado (a demostra¸cão completa pode ser encontrada com todos os detalhes em [10]).

Para cada ϕ real, seja U_ϕ o operador em L²(S¹) dado por U_ϕf(z) = z^−ϕf(z), z ∈ S¹, onde z=e^iθ comθ∈[−π, π], e seja Yϕ o operador em ℓ²(Z) da seguinte forma:

Y_ϕ :=F_dU_ϕF_d⁻¹,

(13)

ondeF_d:L²(S¹)→ℓ²(Z) ´e a transformada de Fourier discreta (F_du)_j = 1

√2π Z _2π

0

u(e^iθ)e^−ijθdθ , u∈L²(S¹) ej∈Z.

Então Y_ϕ é um operador unitário que satisfaz (Y_ku)_j =u_j+k,sek∈Z,e Y_ϕY_ω =Y_ϕ+ω. Sejau uma fun¸cão em L²(R).Defina para cadaϕem R, a seqüência em ℓ²(Z)

u^⋄(ϕ) := (u(ϕ−j))_j∈Z

(u^⋄(ϕ) ∈ ℓ²(Z) para quase todo ϕ∈ R pelo Teorema de Fubini, pois L²(R) pode ser visto como L²([0,1]×Z)). Podemos definir ent˜ao o operador unit´ario

W : L²(R)−→L²(S¹, dϕ;ℓ²(Z)), u7−→W u(e^2πiϕ) =Y_ϕu^⋄(ϕ) . (1.2) Denote S a C*-sub´algebra deLS¹ gerada por

(i) operadores de multiplica¸c˜ao por fun¸c˜oes emC^∞(S¹);

(ii) operadores do tipob(D_θ) = F_d⁻¹b(M_j)F_d,onde b(M_j) é um operador definido em ℓ²(Z), de multiplica¸cão pela seqüência b= (b(j))j, com limite quando j→ ±∞.

S cont´em o ideal KS¹ e todos os seus comutadores s˜ao compactos ([3], cap´ıtulos V e VI e [4]).

Temos ainda de [10], que vale o isomorfismo S/KS¹ ∼= C(S¹ × {−1,+1}). Compondo-o com a proje¸cão canônica S → S/KS¹,obtemos a seguinte aplica¸cão:

ρ:S −→C(S¹× {−1,+1})

ρ_a(M_x₎(x,±1) =a(x), a∈C^∞(S¹) ; ρ_b(D_θ₎(x,±1) =b(±∞).

Temos ent˜ao a seguinte proposi¸c˜ao 1.5 de [10]:

Proposi¸c˜ao 1.3. A aplica¸c˜ao

EB −→ S ⊗ K^Z⊗ K^B B 7−→ W BW⁻¹

´e um∗-isomorfismo. ParaB em EB da forma B=b(D)K(M_t)T_j, combem C([−∞,+∞]), K em C₀(R,K^B) ej∈Z,temos

W BW⁻¹=b(D_θ)Y_ϕK(ϕ−M_j)Y_−ϕ−j+K^′, com K^′ ∈ KS¹×Z×B. (1.3) Para cada ϕ ∈R, K(ϕ−M_j) denota o operador compacto em ℓ²(Z, L²(B)) de multiplica¸cão pela seqüênciaK(ϕ−j) em K^B.

Denotando porC(S¹× {−1,+1},K^Z×B) o conjunto das fun¸c˜oes definidas emS¹× {−1,+1}que tomam valores em K^Z×B,enunciamos o teorema 1.6 de [10].

Teorema 1.4. Existe um∗-isomorfismo Ψ : EA

KΩ −→C(S¹× {−1,+1},K^Z×B). (1.4)

(14)

Demonstra¸cão. Tome Ψ como sendo a composta da seqüência de aplica¸cões abaixo:

EA

KΩ

−→(1) EB

KΩ

−→(2) S ⊗ K^Z⊗ K^B KS¹×Z×B

−→(3) C(S¹× {−1,+1},K^Z×B)

onde (1) representa a aplica¸cão A +KΩ 7→ F⁻¹AF +KΩ, (2) leva este último elemento em W F⁻¹AF W⁻¹+KS¹×Z×B e (3) é o ∗-isomorfismo:

S ⊗ K^Z⊗ K^B KS¹×Z×B

−→ C(S¹× {−1,+1},K^Z×B) A⊗K₁⊗K₂+KS¹×Z×B 7−→ ρ_A(·,±1)K₁⊗K₂ .

1.3 O caso B = S

¹

Desta se¸cão em diante, estudaremos o caso em que a variedade B é o c´ırculo, apesar dos resultados apresentados nessa se¸cão serem válidos para uma variedadeBcompacta de dimensão n.

A classe de geradores denotados porA₆ na defini¸c˜ao da C*-´algebraApode ser substitu´ıda pelo operador

(vi) 1 i

∂

∂βΛ, com e^iβ ∈S¹. j´a que a variedade S¹ tem fibrado tangente trivial.

Definiremos nesta se¸cão duas aplica¸cões de A num certo espa¸co de fun¸cões cont´ınuas. Estas aplica¸cões são ∗-homomorfismos muito importantes e serão muito citadas no último cap´ıtulo.

Defini¸cão 1.5. Seja A uma C*-álgebra e I seu ideal comutador. Chamamos de espa¸co s´ımbolo M_A deA ao espa¸co de ideais maximais da álgebra comutativaA/I.

Defini¸cão 1.6. Chamamos de σ-s´ımbolo de uma C*-álgebra Aa aplica¸cão σ :A →C(M_A),

que é dada pela composi¸cão da proje¸cão canônica π:A → A/I com a transformada de Gelfand da C*-álgebra A/I,onde I é o ideal comutador de A.

Dado um elemento d em D, chamaremos de s´ımbolo de d a fun¸cão cont´ınua σ_d ∈ C(M_D) associada ao elemento d módulo I. Enunciaremos agora o teorema 2.2 de [10], restrito ao caso B=S¹, que descreve o espa¸co s´ımbolo de Ae nos dá os s´ımbolos de seus geradores.

Teorema 1.7. O espa¸co s´ımbolo deA ´e o subconjunto de [−∞,+∞]×S¹×S¹×S¹ dado por M_A = {(t, x,(τ, ξ), e^iθ); t∈[−∞,+∞], x∈S¹, (τ, ξ)∈R² :τ²+ξ²= 1,

θ∈Re θ =t se |t|<∞},

onde o elemento (t, x,(τ, ξ)) pertence ao fibrado das coesferas de R×S¹. Com esta descri¸cão de M_A, os σ-s´ımbolos da classe dos geradores da C*-álgebra A calculados em (t, x,(τ, ξ), eîθ) são respectivamente dados por

a(x), b(t), e^ijθ, 0, τ, ξ. (1.5)

(15)

Vejamos agora que todo operador A em A determina um operador limitado de L(EA/KΩ), já queEA/KΩé um ideal de A/KΩ. Fica bem definido então o operador abaixo:

T : A −→ L(EA/KΩ) A 7−→ T_A ondeTA(E+KΩ) =AE+KΩ.

A partir da´ı, pode-se definir a aplica¸c˜ao

γ : A −→ L(C(S¹× {−1,+1},K^Z×S1)) A 7−→ γA = ΨTAΨ⁻¹, para Ψ definido em (1.4).

Seja C(S¹ × {−1,+1},L^Z×S¹) o conjunto das fun¸cões cont´ınuas em S¹ × {−1,+1} que tomam valores em L^Z×S¹. Identificando as fun¸cões em C(S¹ × {−1,+1},L^Z×S¹) com os operadores de multiplica¸cão correspondentes em L(C(S¹ × {−1,+1},K^Z×S¹)), temos da proposi¸cão 2.9 de [10] que a imagem de γ está contida emC(S¹× {−1,+1},L^Z×S1).Obtém-se então o seguinte∗-homomorfismo dado em [10], proposi¸cão 2.4:

Proposi¸c˜ao 1.8. Existe um ∗-homomorfismo

γ :A −→ C(S¹× {−1,+1},L^Z×S1) (1.6)

A7−→ γ_A

tal que,γ_A_i(e^2πiϕ,±1) para i= 1, . . . ,6,´e dado respectivamente por:

a(Mx) , b(±∞) , Y−j , YϕBi(ϕ−Mj)Y−ϕ , i= 4,5,6,

onde B_i(ϕ−M_j) ∈ L(ℓ²(Z, L²(S¹))), i = 4,5,6, são operadores de multiplica¸cão pela seqüências B_i(ϕ−j)∈L²(S¹),para B_i’s dadas em (1.1).

Podemos notar que a imagem de γ restrita a EA ´e o conjunto C(S¹ × {−1,+1},K^Z×S¹), e γ_A= Ψ([A]_K_Ω) paraA∈ EA.

(16)

Cap´ıtulo 2

C*-sub´ algebras de A

Neste cap´ıtulo, definiremos duas C*-´algebras de A,as quais denotaremos por A^† e A^⋄. Deter- minaremos seus ideais comutadores e espa¸cos s´ımbolo.

Mostraremos um resultado análogo ao que foi feito em [14], teorema 8, onde Melo e Silva mostraram que uma C*-álgebraA⊂ L^R, gerada por um certo tipo de operadores de multiplica¸cão,

é isomorfa ao produto cruzadoC([−∞,+∞])⋊_αZ,ondeαé dada pela transla¸cão por um. Verifica- remos queA^⋄ tem estrutura de produto cruzado, isto é, existe um isomorfismo entreA^⋄ eA^†×αZ, para uma a¸cão α de Zpor automorfismos de A^†.

Conhecendo um pouco da estrutura destas ´algebras, estaremos aptos a calcular suas K-teorias no pr´oximo cap´ıtulo.

2.1 A ´ algebra A

^†

Chamemos de A^† a C*-sub´algebra de L(L²(Ω)) gerada por:

(i) operadores de multiplica¸c˜ao a(Mx),coma∈C^∞(S¹);

(ii) Λ := (1−∆_Ω)^−1/2; (iii) ¹_i_∂t^∂Λ,comt∈R; (iv) ¹_i_∂β^∂ Λ,come^iβ ∈S¹.

Com base no que foi feito no cap´ıtulo anterior, descreveremos o ideal comutador e o espa¸co s´ımbolo deA^†.

Os geradores do item (i), quando conjugados com a transformada de Fourier F, não sofrem nenhuma altera¸cão. Já os geradores dos itens (ii), (iii) e (iv) conjugados comF são os operadores B₄(M_t), B₅(M_t) eB₆(M_t) descritos no in´ıcio do cap´ıtulo 1, página 6. Denotemos porB^† a álgebra A^† conjugada com transformada de Fourier.

Lema 2.1. Para cada j= 4,5,6, B_j pertence ao conjuntoC_b(R,L^S¹).

(17)

Demonstra¸cão. Como B₄ ∈ C₀(R,K^S¹) ([2], proposi¸cão 1.1), então fica claro que B₄ está em C_b(R,L^S¹).

ComoB₅(τ) =−τ B₄(τ) eB₆(τ) = ¹_i_∂β^∂ B₄(τ),então estas fun¸cões também são cont´ınuas emR. Para mostrarmos que, para cada τ real, os operadores B₅(τ) e B₆(τ) estão em L^S¹, primeiro vamos conjugá-los com a transformada de Fourier discreta F_d, B₅^′(τ) := F_dB5(τ)F_d⁻¹ e B₆^′(τ) :=

F_dB₆(τ)F_d⁻¹, e ent˜ao mostrar queB^′₅(τ) e B₆^′(τ) s˜ao operadores limitados emℓ²(Z).

Os operadoresB₅^′(τ), B₆^′(τ) :ℓ²(Z)→ℓ²(Z) são operadores de multiplica¸cão pelas seqüências

−τ(1 +τ²+j²)^−1/2 , j(1 +τ²+j²)^−1/2, j ∈Z, respectivamente. Calculando a norma destes operadores, temos:

||B₅^′(τ)||² = sup { ||B₅^′(τ)(v_j)_j||²_ℓ²₍Z); (v_j)_j ∈ℓ²(Z), ||(v_j)_j||= 1}

= sup{X

j∈Z

|τ(1 +τ²+j²)^−1/2v_j|²; (v_j)_j ∈ℓ²(Z), ||(v_j)_j||= 1}

≤ X

j∈Z

|v_j|² = 1

||B₆^′(τ)||² = sup{X

j∈Z

|j(1 +τ²+j²)^−1/2v_j|²; (v_j)_j ∈ℓ²(Z), ||(v_j)_j||= 1}

≤ X

j∈Z

|v_j|² = 1

Logo, B₅^′(τ) eB^′₆(τ) são operadores limitados emℓ²(Z). Como a conjuga¸cão é um isomorfismo, temos que B₅(τ) e B₆(τ) são operadores limitados em L²(S¹) e portanto as fun¸cões B₅ e B₆ pertencem aC_b(R,L^S¹).

Para conhecer a estrutura da C*-álgebraA^†e podermos descrever seu espa¸co s´ımbolo, primeiro encontraremos um isomorfismo entre a álgebra gerada pelos operadoresA₄, A₅ eA₆ e a álgebra de fun¸cões cont´ınuas definidas numa compactifica¸cão deR×Z. Antes de enunciarmos o lema que nos mostra este isomorfismo, definiremos a compactifica¸cão deR×Z.

Considere a seguinte compactifica¸c˜ao de R² dada em [1], p´agina 133. Dado o homeomorfismo de R² na bola aberta

h : R² −→ B ={y∈R²; ||y||<1}

y 7−→ y

(1 +||y||²)^1/2

temos o conjunto CS(R²) = {f ∈ C(R²);f ◦h⁻¹ ∈ C(D)}, onde D = {y ∈ R²; ||y|| ≤ 1} é o fecho de B. CS(R²) é a classe das fun¸cões cont´ınuas limitadas f sobre R² tais que a fun¸cão g(y) =f ◦h⁻¹(y) admite uma extensão cont´ınua emD. Temos então que CS(R²) =C(B²), onde B² é a compactifica¸cão deR² homeomorfa a D.

Denotemos por R×Zo fecho deR×Z emB² e porS_∞¹ a fronteira de B². Vamos mostrar que R×Z´e (R×Z)∪S¹_∞.

(18)

Seja (x₁, x₂) em S_∞¹ . Então a este elemento está relacionado um único elementoz= (z₁, z₂)∈ S¹ =∂Bpelo homeomorfismo entreB²eD. Tome uma seqüência de racionais{(_m^p^j

j,_n^q^j

j)}jemBque converge para (z₁, z₂) de forma que m_j, n_j → ∞.Considerando então a seqüência {(n_jp_j, m_jq_j)}j

emZ² ⊂R×Z⊂R²,temos

h((n_jp_j, m_jq_j)) = (n_jp_j, m_jq_j) p1 + (n_jp_j)²+ (m_jq_j)²

=

(p_j m_j,q_j

n_j) r

1

(njmj)² + ^p

2j

m²_j + ^q

j2

n²_j j→∞−→ (z1, z2)

pz₁²+z²₂ = (z1, z2) Ent˜ao, (n_jp_j, m_jq_j)^j→∞→ (x₁, x₂).

Fica assim bem caracterizada a seguinte compactifica¸c˜ao deR×Z: R×Z = {(t, j)∈R×Z} ∪∂B²

= (R×Z)∪S_∞¹ . Agora podemos enunciar o seguinte lema:

Lema 2.2. Seja C a C*-´algebra comutativa gerada pelos operadores A₄, A₅ eA₆. Ent˜ao C ∼= C(R×Z)

Demonstra¸cão. Se conjugarmos os operadoresA₄, A₅, A₆ com o operadorF⊗F_d⁻¹,obteremos operadores de multiplica¸cão emL²(R×Z) dados, respectivamente, pelas fun¸cõesB₄^′, B₅^′, B₆^′ :R×Z→R definidas abaixo:

B^′₄(τ, j) = (1 +τ²+j²)^−1/2 B^′₅(τ, j) =−τ B₄^′(τ, j) B₆^′(τ, j) =−jB₄^′(τ, j) , (τ, j)∈R×Z (lema 2.1). Denotando porC^′a álgebra (F⁻¹⊗F_d)C(F⊗F_d⁻¹), podemos vê-la como uma subálgebra de C(R×Z).

Queremos mostrar, usando o teorema de Stone-Weierstrass, que C^′ = C(R×Z). Como (B₄^′(t, j))²+ (B₅^′(t, j))² + (B^′₆(t, j))² = 1, para todo (t, j) ∈ R×Z, a ´algebra C^′ possui unidade.

Vamos verificar agora, que sempre ´e poss´ıvel encontrar uma fun¸c˜ao emC^′ que separa pontos.

Caso 1. Sejam (t₁, k₁)6= (t₂, k₂) em R×Z. SeB₄^′(t₁, k₁) 6=B₄^′(t₂, k₂),temos o que quer´ıamos.

Caso contr´ario, ent˜ao ou

B₅^′(t1, k1) = −t1

(1 +t²₁+k₁²)^1/2 6= −t2

(1 +t²₂+k₂²)^1/2 =B₅^′(t2, k2), ou

B₆^′(t₁, k₁) = −k₁

(1 +t²₁+k₁²)^1/2 6= −k₂

(1 +t²₂+k₂²)^1/2 =B₆^′(t₂, k₂),

(19)

j´a quet₁ 6=t₂ ou k₁6=k₂.

Caso 2. Sejam (t, k) emR×Ze z = (z1, z2) emS_∞¹ . Vamos primeiro calcular B₄^′ emz. Para facilitar as contas, suponha queB₄^′ está definida em todoR². Temos então queg=B₄^′◦h⁻¹ admite uma extensão cont´ınua emD={y ∈R²; ||y|| ≤1}. Logo, paray∈B={y∈R²; ||y||<1}temos

B₄^′ ◦h⁻¹(y) =B₄^′

y (1− ||y||²)^1/2

= 1

1 +_1−||y||^y²¹ 2 +_1−||y||^y²² 2

1/2 = (1−y₁²−y²₂)^1/2. Seja (y_j)_j∈Z uma seqüência em B que converge paras= (s₁, s₂) emS¹ quando j→ ∞, então

B₄^′ ◦h⁻¹(y_j) = (1−(y_j)²₁−(y_j)²₂)^1/2 ^j→∞−→ (1−s²₁−s²₂)^1/2 = 0,

j´a que||s||= 1. Assim, para qualquers= (s₁, s₂)∈S¹=∂D, B₄^′ ◦h⁻¹(s) = 0.Portanto, B₄^′(z1, z2) = 0.

Como

B₄^′(t, k) = 1

(1 +t²+k²)^1/2 6= 0, ent˜ao B^′₄(t, k)6=B₄^′(z).

Caso 3. Sejamz= (z₁, z₂) ew= (w₁, w₂) distintos emS_∞¹ . Usando o mesmo racioc´ınio feito no caso 2, primeiramente faremos a composi¸cão das fun¸cõesB₅^′ e B₆^′ com h⁻¹ para depois podermos calculá-las emz e w. Para y∈B,

B^′₅◦h⁻¹(y) =B₅^′

y (1− ||y||²)^1/2

= −y₁/p

1− ||y||²

1 +_1−||y||^y²¹ 2 +_1−||y||^y²² 2

1/2 =−y₁,

B^′₆◦h⁻¹(y) =B₆^′

y (1− ||y||²)^1/2

= −y₂/p

1− ||y||²

1 +_1−||y||^y²¹ 2 +_1−||y||^y²² 2

1/2 =−y2.

Dada (−y_j)_j∈Z uma seq¨uˆencia emB que converge paras= (s₁, s₂) emS¹ quandoj → ∞, temos B₅^′ ◦h⁻¹(−y_j) = (−y_j)₁ ^j→∞−→ s₁ e B₆^′ ◦h⁻¹(−y_j) = (−y_j)₂ ^j→∞−→ s₂.

Assim, para qualquer s = (s₁, s₂) ∈ S¹ = ∂D, B₅^′ ◦h⁻¹(s₁, s₂) = s₁ e B₆^′ ◦h⁻¹(s₁, s₂) = s₂. Portanto,

B₅^′(z1, z2) =z1 6=w1 =B₅^′(w1, w2) ou B₆^′(z1, z2) =z2 6=w2 =B₆^′(w1, w2) Assim,B₅^′ ou B₆^′ separam pontos.

Conclu´ımos ent˜ao queC ´e isomorfa a C(R×Z).

Observa¸cão 2.3. Vimos no teorema 1.7 que os σ-s´ımbolos dos operadores A₄, A₅, A₆ calculados em (t, x,(τ, ξ), eîθ), onde (τ, ξ) ∈S¹ são dados por 0, τ, ξ, respectivamente. Note que isto coincide com os cálculos deB₄^′, B₅^′, B₆^′ nos pontos (z₁, z₂)∈S_∞¹ .

(20)

Teorema 2.4. O ideal comutador de B^† ´e C₀(R,K^S¹).

Demonstra¸c˜ao. SejaE_B^† o ideal comutador deB^†.

Note que a álgebra B^† está contida em C_b(R,S), onde S foi definido no cap´ıtulo 1, página 7. De fato, a(Mx) ∈ S para a ∈ C^∞(S¹) (este operador não depende da variável real), e para τ ∈R, B_i(τ)∈ S,poisB_i(τ) =F_d⁻¹B_i^′(τ)F_d, parai= 4,5,6.

Fixado τ ∈ R,mostremos que{B(τ);B ∈ B^†}=S.

Primeiro,V :={B(τ);B ∈ B^†}é C*-subálgebra deL^S¹ pois a aplica¸cãoB ∈ B^†7→B(τ)∈ L^S¹ é um C*-homomorfismo, portanto tem imagem fechada. Queremos mostrar queF_dVF_d⁻¹ =F_dSF_d⁻¹ usando o Teorema de Stone-Weierstrass. Os operadores B_i^′(τ) = F_dB_i(τ)F_d⁻¹, i = 4,5,6, podem ser vistos como fun¸cões em C(Z∪ {−∞,+∞}),já que

−1≤B_i^′(τ, j)≤1, ∀ j ∈ Z∪ {−∞,+∞}.

Temos ainda que B₆^′(τ, j) =−j(1 +τ²+j²)^−1/2 separa pontos emC(Z∪ {−∞,+∞}), pois j

(1 +τ²+j²)^1/2 = k

(1 +τ²+k²)^1/2 ⇐⇒ j=k.

ComoF_dVF_d⁻¹ cont´em a identidade, poisId=B₄^′²(τ)+B₅^′²(τ)+B₆^′²(τ),ent˜aoF_dVF_d⁻¹ =F_dSF_d⁻¹ e portantoV =S.

Sabe-se de [2], proposi¸c˜ao 1.2 e 1.3, que todos os comutadores de B^† e seus adjuntos est˜ao em C₀(R,K^S¹), logo E_B^† ⊆C₀(R,K^S¹). Assim, para τ ∈R, o conjunto U :={A(τ); A ∈ E_B^†} ⊆ K^S¹. Na verdade,U :={A(τ); A ∈ EB^†}=K^S¹.De fato, dadoT pertencente aS,para umτ ∈R,existe B ∈ B^†tal queB(τ) =T.Da´ı, para A ∈ E_B^†

A(τ)T =A(τ)B(τ) = (AB)(τ) ∈ U,

poisAB está emE_B^†.Logo, U é um ideal deS não nulo contido em K^S¹.Segue queU =K^S¹. Por [5], 10.4.5, temos queE_B^† =C₀(R,K^S¹) se os estados puros deC₀(R,K^S¹) são separados por EB^†.Os estados puros de C₀(R,K^S¹) são os funcionais lineares da forma

f_t,v(A) = (v, A(t)v) , A ∈ C₀(R,K^S¹), (2.1) onde (v, A(t)v) denota o produto interno dev porA(t)v,t∈Rfixo ev ∈L²(S¹) tem norma 1 (ver [5], 2.5.2 e 4.1.4, e [18], IV 4.14). Para mostrar queE_B^† =C₀(R,K^S¹),´e suficiente mostrar que, dados dois funcionais da forma (2.1), ft1,v1 6=ft2,v2,podemos acharA ∈ E_B^† tal queft1,v1(A)6=ft2,v2(A).

1. Suponha t₁ 6= t₂, t₁, t₂ ∈ R. Tome D ∈ F_dE_B^†F_d⁻¹ ⊆ C₀(R,K(ℓ²(Z))) tal que D(t₁) = (w1,·)w1,paraw1 ∈ℓ²(Z) e defina para cada l∈Z, a_l ∈C(R×Z) da seguinte maneira:

a_l(t₁, k) = 1 , ∀k ∈ Z e a_l(t₂, k) = 0, se|k|< l.

Considerando os funcionais linearesf_t_i_,w_i(D) = (w_i, D(t_i)w₁) emC₀(R,K(ℓ²(Z))) parat_i ∈R e w_i ∈ℓ²(Z), i= 1,2,temos

f_t₁_,w₁(a_lD) = (w₁,(a_lD)(t₁)w₁) = 1 ,

(21)

f_t₂_,w₂(a_lD) = (w₂,(a_lD)(t₂)w₂) = (w₂, a_l(t₂)(M_k)D(t₂)w₂)^l→∞−→ 0.

Isto ´e, existe l em Z tal que f_t₁_,w₁(a_lD) 6= f_t₂_,w₂(a_lD) e a_lD ∈ F_dE_B^†F_d⁻¹. Portanto, para t₁, t₂ reais distintos e v₁ = F_d⁻¹w₁ e v₂ = F_d⁻¹w₂ em L²(S¹), tome A = F_d⁻¹a_lDF_d em E_B^† para termosft1,v1(A)6=ft2,v2(A)

2. Suponhat₁ =t₂ =t₀. Se v₁ e v₂ tˆem norma 1, ent˜ao|(v₁, v₂)|= 1 ⇐⇒ v₁=αv₂, |α|= 1, e portanto temos os mesmos estados puros. Logo, tomemos v1 e v2 tais que |(v1, v2)| 6= 1.

Temos ent˜ao, para A ∈ EB^†,onde A(t₀) = (v₁,·)v₁,

f_t₀_,v₁(A) = (v₁, A(t₀)v₁) = (v₁,(v₁, v₁)v₁) = 16=|(v₁, v₂)|² =f_t₀_,v₂(A).

PortantoE_B^† separa os estados puros deC₀(R,K^S¹) e podemos concluir queE_B^† =C₀(R,K^S¹).

Denotemos por E^† o ideal comutador de A^†. Lembrando que B^† = F⁻¹A^†F, podemos ent˜ao escrever E^†=FE_B^†F⁻¹.

Teorema 2.5. O espa¸co s´ımbolo M^†deA^† é homeomorfo aS¹×S_∞¹ e osσ-s´ımbolos da classe dos geradores da C*-álgebra A^† calculados em (x, w=τ+iξ) são respectivamente dados por

a(x), 0, τ, ξ. (2.2)

Demonstra¸c˜ao. Considere as inclus˜oes

i₁ : C^∞(S¹) −→ A^†

E^† i₂ : C −→ A^† E^† a 7−→ [a(Mx)]_E^† A 7−→ [A]_E^†

Temos que S¹ e R×Z são os espa¸cos s´ımbolo de C^∞(S¹) e C,respectivamente, pois pelo lema 2.2, C e C(R×Z) são isomorfos. Seja a aplica¸cão dual

ι^∗ : M^† −→ S¹×R×Z ω 7−→ (ω◦i1, ω◦i2)

As imagens dei₁ ei₂ geramA^†/E^†,então ι^∗ é injetora. Como M^† é compacto,S¹×(R×Z) é Hausdorff e ι^∗ é cont´ınua, temos queι^∗ é um homeomorfismo sobre a sua imagem. Determinemos então a imagem deι^∗.

Note que

S¹×(R×Z) ∼= (S¹×R×Z)∪(S¹×S_∞¹ ).

Suponha que exista (z, t, j)∈(S¹×R×Z)∩Imι^∗.Considere a aplica¸c˜ao doσ-s´ımbolo σ^† : A^† −→ C(M^†)

A 7−→ σ^†_A(ω) =ω(A)

Associamos ao ponto (z, t, j) um funcional linearω₀∈M^† dado pela evalua¸c˜ao neste ponto.