A K-teoria de A

Nesta ´ultima se¸c˜ao, apresentaremos a K-teoria deAe deA/KΩ,ondeKΩrepresenta o ideal dos operadores compactos emL²(Ω). Construiremos trˆes seq¨uˆencias exatas envolvendo estas ´algebras e o ideal comutador deA, e a partir das seq¨uˆencias exatas de seis termos em K-teoria, vamos calcular as aplica¸c˜oes de conex˜ao. conhecermos K0 e K1 de C(MA),usando o σ-s´ımbolo obteremos o resultado desejado.

O pr´oximo lema ´e um resultado de [14], Proposi¸c˜ao 1, que nos d´a a K-teoria da ´algebraC(X), ondeX´e o subconjunto de [−∞,+∞]×S¹que consiste dos pontos (t, e^iθ) tais quet=θse|t|<∞. como X×S¹×S¹.Conseguimos ent˜ao o seguinte isomorfismo

C(M_A)∼=C(S¹, C(S¹, C(X))).

Esta descri¸c˜ao deC(M_A) ser´a fundamental para os nossos c´alculos. Inicialmente, vamos determinar a K-teoria deC(S¹, C(X)) para depois determinar a deC(S¹, C(S¹, C(X))).

Lembrando que a seq¨uˆencia exata 0 ^✲ SC(X) i^✲

C(S¹, C(X)) ^✲ p

C(X)

✛s

✲ 0, cinde, ent˜ao vale que

K_i(C(S¹, C(X))) =i_∗(K_i(SC(X)))⊕s_∗(K_i(C(X))), i= 0,1.

ˆ K₀(C(S¹, C(X))) :

J´a sabemos que K₀(C(X)) =Z[1]₀,ent˜ao s_∗([1]₀) = [x7→1]₀∈K₀(C(S¹, C(X))).

Conhecemos o isomorfismo entreK₁(C(X)) e K₀(SC(X)).Temos ent˜ao que

θ_C(X)([l]₁) = [x=a+ib7→Q(l, a, b)]₀ , θ_C(X)([˜l]₁) = [x=a+ib7→Q(˜l, a, b)]₀. Logo

K₀(C(S¹, C(X))) =Z[1]₀⊕Z[a+ib7→Q(l, a, b)]₀⊕Z[a+ib7→Q(˜l, a, b)]₀ (3.18)

ˆ K1(C(S¹, C(X))) :

Sabendo queK1(C(X)) =Z[l]1⊕Z[˜l]1,ent˜ao

s_∗(K₁(C(X))) =Z[x7→l]₁⊕Z[x7→˜l]₁. Vamos usar a aplica¸c˜ao de Bott para conhecerK₁(SC(X)).

β_C(X)([1]₀) = [x]₁, ondex´e a fun¸c˜ao identidadeS¹

Temos ent˜ao que

K₁(C(S¹, C(X))) = Z[x]₁⊕Z[l]₁⊕Z[˜l]₁. (3.19) Conhecendo os grupos dados em (3.18) e (3.19), podemos partir para a pr´oxima seq¨uˆencia exata cindida:

0 ^✲ SC(S¹, C(X)) ^✲i

C(S¹, C(S¹, C(X))) ^✲ p

C(S¹, C(X))

✛s

✲ 0, Da´ı,

Ki(C(S¹, C(S¹, C(X)))) =i∗(Ki(SC(S¹, C(X))))⊕s∗(Ki(C(S¹, C(X)))), i= 0,1.

ˆ K₀(C(S¹(C(S¹, C(X))))) :

Chamemos Y :=C(S¹, C(X)). Comecemos calculando s_∗(K₀(Y)) :

s_∗([1]₀) = [w7→1]₀ , s_∗([a+ib7→Q(l, a, b)]₀) = [w7→(a+ib7→Q(l, a, b))]₀, s_∗([a+ib7→Q(˜l, a, b)]₀) = [w7→(a+ib7→Q(˜l, a, b))]₀

Para calcular i_∗(K₀(SY)), usaremos novamente o isomorfismo descrito no teorema 3.2, θY :K1(Y)→K0(SY) :

θ_Y([l]₁) = [w=u+iv 7→Q(l, u, v)]₀ , θ_Y([˜l]₁) = [w=u+iv7→Q(˜l, u, v)]₀, θY([x]1) = [w=u+iv 7→Q(x, u, v)]0.

Fazendo m= (u+iv, x=a+ib,(t, e^iθ))∈S¹×S¹×X, temos

K0(C(S¹×S¹×X)) = Z[m7→1]0⊕Z[m7→Q(l(t, e^iθ), a, b)]0⊕Z[m7→Q(˜l(t, e^iθ), a, b)]0

⊕Z[m7→Q(l(t, e^iθ), u, v)]₀⊕Z[m7→Q(˜l(t, e^iθ), u, v)]₀

⊕Z[m7→Q(x, u, v)]₀ (3.20)

ˆ K₁(C(S¹(C(S¹, C(X)))))

Chamando ainda deY o conjuntoC(S¹, C(X)),conhecemos em (3.19) o grupoK₁(Y). Assim, podemos calcular facilmentes_∗(K₁(Y)).

s_∗(K₁(Y)) =Z[w7→x]₁⊕Z[w7→l]₁⊕Z[w7→˜l)]₁

Para conhecermos K1(SY), calcularemos a aplica¸c˜ao de Bott nos geradores do grupoK0(Y).

β_Y([1]₀) = [w]₁, com w(w) =w·1 + (1−1) =w

β_Y([a+ib7→Q(l, a, b)]₀) = [w7→1₂+ (w−1)(a+ib7→Q(l, a, b))]₁ βY([a+ib7→Q(˜l, a, b)]0) = [w7→12+ (w−1)(a+ib7→Q(˜l, a, b))]1

Temos ent˜ao, para m= (w=u+iv, x=a+ib,(t, e^iθ))∈S¹×S¹×X,

K₁(C(S¹×S¹×X)) = Z[m7→x]₁⊕Z[m7→l(t, e^iθ)]₁⊕Z[m7→˜l(t, e^iθ)]₁⊕Z[m7→w]₁

⊕Z[m7→1 + (w−1)Q(l(t, e^iθ), a, b)]₁ (3.21)

⊕Z[m7→1 + (w−1)Q(˜l(t, e^iθ), a, b)]₁ Como A/EA∼=C(M_A)∼=C(S¹×S¹×X),j´a sabemos que

K₀(A/EA)∼=Z⁶ e K₁(A/EA)∼=Z⁶.

Vamos agora determinar os geradores destes grupos usando oσ-s´ımbolo. Para cada fun¸c˜ao definida emC(S¹×S¹×X),acharemos a sua respectiva pr´e-imagem emA/EA.

σI = 1 , σ_l(Mt) =l , σ˜l(Mt)= ˜l,

onde I ´e o operador identidade el(M_t) e ˜l(M_t) s˜ao operadores de multiplica¸c˜ao pelas fun¸c˜oesl e

˜l, respectivamente. Lembrando que no teorema 1.7 a ordem das vari´aveis apresentada em M_A ´e (t, x, w, e^iθ)∈[−∞,+∞]×S¹×S¹×S¹,temos

i. σx(Mx)((t, x, w, e^iθ)) =x,onde (x(M_x)u)(t, x) =x·u(t, x);

ii. σa(Mx)((t, x = a+ib, w, e^iθ)) = a, onde (a(M_x)u)(t, x) = a·u(t, x), isto ´e, operador de multiplica¸c˜ao pela parte real de x;

iii. σb(Mx)((t, x = a+ib, w, e^iθ)) = b, onde (b(M_x)u)(t, x) = b·u(t, x), isto ´e, operador de multiplica¸c˜ao pela parte imagin´aria de x;

iv. σ_A5((t, x, w =u+iv, e^iθ)) =u;

v. σ_A6((t, x, w =u+iv, e^iθ)) =v.

Assim, os geradores de K₀(A/EA) eK₁(A/EA) s˜ao

K₀(A/EA) = Z[[I]_E]₀⊕Z[[Q(l(M_t),a(M_x),b(M_x))]_E]₀⊕Z[[Q(˜l(M_t),a(M_x),b(M_x))]_E]₀⊕ Z[[Q(x(Mx), A5, A6)]E]0⊕Z[[Q(l(Mt), A5, A6)]E]0⊕Z[[Q(˜l(Mt), A5, A6)]E]0

e

K₁(A/EA) = Z[[x(M_x)]_E]₁⊕Z[[l(M_t)]_E]₁⊕Z[[˜l(M_t)]_E]₁⊕Z[[A₅+iA₆]_E]₁⊕ Z[[Id+ (A₅+iA₆−1)Q(l(M_t),a(M_x),b(M_x))]_E]₁⊕

Z[[Id+ (A5+iA6−1)Q(˜l(Mt),a(Mx),b(Mx))]E]1

Da seq¨uˆencia exata curta (3.17), temos a correspondente seq¨uˆencia exata de seis termos em K-teoria:

Z²∼=K₀(EA/KΩ) −→^i∗ K₀(A/KΩ) −→^π∗ K₀(A/EA)∼=Z⁶

δ1 ↑ ↓ δ0

Z⁶∼=K₁(A/EA) ←−^π∗ K₁(A/KΩ) ←−^i∗ K₁(EA/KΩ)∼=Z²

(3.22)

Nossos esfor¸cos se concentram em descobrir K₀(A/KΩ) e K₁(A/KΩ). Para isto, devemos calcular a aplica¸c˜ao exponencial δ0 e a aplica¸c˜ao do ´ındiceδ1.

Novamente aqui, a descri¸c˜ao que temos do isomorfismoK₁(C(S¹,K^Z×S1))∼=Zn˜ao nos permite determinar exatamente a imagem deδ₀. Apesar disso, temos a seguinte proposi¸c˜ao que nos garante queδ₀ ´e diferente de zero.

Proposi¸c˜ao 3.12. A aplica¸c˜aoδ₀ em (3.22) ´e n˜ao nula. Al´em disso, via o isomorfismo

Assim, podemos escrever [[A]_E^⋄]₀ como sendo a soma

α₁[[I]_E^⋄]₀+α₂[[Q(e^iMt, a(M_x), b(M_x))]_E^⋄]₀+α₃[[Q(e^iMt, A₅, A₆)]_E^⋄]₀+α₄[[Q(x(M_x), A₅, A₆)]_E^⋄]₀, sabemos que estes induzem isomorfismosK₁(Ψ) e K₁(γ^′|E^⋄) nos grupos. Queremos mostrar que

K₁(Ψ)◦δ₀([[Q(l(M_t), A₅, A₆)]_EA]₀) = (0, K₁(γ^′|E^⋄)◦δ₀^⋄([[Q(e^iMt, A₅, A₆)]_E^⋄]₀))

−

para todoz∈S¹.

Como γ_A^′ ₅(z) =γ_A5(z,+1) e γ_A^′ ₆(z) =γ_A6(z,+1) pra todo z∈S¹, podemos concluir que K₁(Ψ)◦δ₀([[Q(l(M_t), A₅, A₆)]_EA]₀) =

"

I 0 0 I

!#

1

, K₁(γ^′)◦δ₀^⋄([[Q(e^iMt, A₅, A₆)]_E^⋄]₀)

!

= 0, K₁(γ^′)◦δ₀^⋄([[Q(e^iMt, A₅, A₆)]_E^⋄]₀) De forma an´aloga, podemos concluir que

K₁(Ψ)◦δ₀([[Q(˜l(M_t), A₅, A₆)]_EA]₀) = (K₁(γ^′|E^⋄)◦δ^⋄₀([[Q(e^iMt, A₅, A₆)]_E^⋄]₀),0).

Vamos calcular agora K₁(Ψ)◦δ₀ em [[Q(x(M_x), A₅, A₆)]_EA]₀. Comoγx(Mx)(z,±1) =γ_x^′_(M

x)(z), γ_A5(z,±1) = γ_A^′ ₅(z) e γ_A6(z,±1) = γ_A^′ ₆(z) para todo z ∈ S¹, e seguindo o mesmo racioc´ınio de c´alculos feito acima, temos

K₁(Ψ)◦δ₀([[Q(x(M_x), A₅, A₆)]_EA]₀) =

(K₁(γ^′)◦δ₀^⋄([[Q(x(M_x), A₅, A₆)]_E^⋄]₀), K₁(γ^′)◦δ₀^⋄([[Q(x(M_x), A₅, A₆)]_E^⋄]₀)).

Podemos ent˜ao concluir que, para

[[B]_EA]₀=α[[Q(l(M_t), A₅, A₆)]_EA]₀+α[[Q(˜l(M_t), A₅, A₆)]_EA]₀+β[[Q(x(M_x), A₅, A₆)]_EA]₀ temos

K₁(Ψ)◦δ₀([[B]_EA]₀) = (K₁(γ^′)◦δ₀^⋄([[A]_E^⋄]₀), K₁(γ^′)◦δ₀^⋄([[A]_E^⋄]₀)),

para [[A]_E^⋄]₀ = α[[Q(e^iMt, A₅, A₆)]_E^⋄]₀ +β[[Q(x(M_x), A₅, A₆)]_E^⋄]₀. Logo, o elemento δ₀([[B]_EA]₀) corresponde ao par (1,1) ∈Z².

Da proposi¸c˜ao anterior, podemos concluir tamb´em que seδ^⋄₀([[Q(e^iMt, A₅, A₆)]_E^⋄]₀) corresponde a um inteiroν, ent˜ao δ₀([[Q(l(M_t), A₅, A₆)]_EA]₀)↔(0, ν) e δ₀([[Q(˜l(M_t), A₅, A₆)]_EA]₀)↔(ν,0).

Partimos agora para o c´alculo de δ₁ :K₁(A/EA) → K₀(EA/KΩ). A proposi¸c˜ao 3 de [14] pode ser novamente reescrita a esta ´algebra, em que A ⊂ L(L²(R×S¹)).

Proposi¸c˜ao 3.13. SejaAemAtal que[A]_EA seja invers´ıvel emA/EA.Ent˜aoγ_A(z,−1)eγ_A(z,+1) s˜ao operadores de Fredholm emL^Z×S¹ para todo z∈S¹ e

δ₁([[A]_EA]₁) = (ind(γ_A(1,−1))[E]₀,ind(γ_A(1,+1))[E]₀)∈K₀(K^Z×S¹)⊕K₀(K^Z×S¹), onde ind denota o ´ındice de Fredholm e E ´e uma proje¸c˜ao de posto 1 em K^Z×S¹.

Demonstra¸c˜ao. A demonstra¸c˜ao desta proposi¸c˜ao ´e an´aloga `a feita em 3.7, j´a queEA/KΩ ∼=C(S¹× {−1,+1},K^Z×S1)∼=E^⋄⊕ E^⋄.

Teorema 3.14. A aplica¸c˜ao δ1 em (3.22) ´e sobrejetora.

Demonstra¸c˜ao. Calculemosδ₁ nos geradores deK₁(A/EA).E f´acil ver que os operadores de multi-´ plica¸c˜ao

x(M_x) , l(M_t) , ˜l(M_t) s˜ao unit´arios em A, e portanto unit´arios em A/KΩ.Logo,

δ₁([[x(M_x)]_E]₁) =δ₁([[l(M_t)]_E]₁) =δ₁([[˜l(M_t)]_E]₁) = (0,0).

Para calcular δ₁ nos outros geradores, usaremos o resultado da proposi¸c˜ao 3.13 . Calculando γ_A5+iA6(1,±1), obtemos o seguinte operador em L^Z×S¹ de multiplica¸c˜ao pela sequˆencia l(−∞, Y−1) =I.Pelos c´alculos anteriores podemos concluir que

ind(γ_{I+(A5+iA6−1)Q(l(Mt),}a(Mx),b(Mx))(1,−1)) = 0.

Ainda falta calcular o ´ındice deγ neste mesmo operador no ponto (1,+1):

γ_{I+(A5+iA6−1)Q(l(Mt),}a(Mx),b(Mx))(1,+1) = I+ (γ_A5+iA6(1,+1)−1)γ_Q(l(Mt),a(Mx),b(Mx))(1,+1)

De forma an´aloga,

δ₁([[I+ (A₅+iA₆−1)Q(˜l(M_t),a(M_x),b(M_x))]_E]₁) = ([E]₀,0).

Assim conclu´ımos queδ1 ´e sobrejetora.

Conhecendo a aplica¸c˜ao do ´ındice da seq¨uˆencia (3.22),temos as seguintes possibilidades para os K-grupos deA/KΩ:

1. Se δ₀ ´e sobrejetora, temos as seq¨uˆencias exatas a partir de (3.22)

0→K0(A/KΩ)→K0(A/EA)∼=Z⁶ →^δ0 K1(EA/KΩ)∼=Z² →0, 0→K₁(A/KΩ)→K₁(A/EA)∼=Z⁶ →^δ1 K₀(EA/KΩ)∼=Z² →0, o que implica que K₀(A/KΩ) eK₁(A/KΩ) s˜ao isomorfos aZ⁴.

2. Se Imδ₀∼=Z(1,1)⊕Z(ν,0),para ν6=±1 n˜ao nulo, temos

0→K0(A/KΩ)→K0(A/EA)∼=Z⁶ →^δ0 Imδ0 →0, 0→ K₁(EA/KΩ)

Imδ₀ ∼=Z_ν →K1(A/KΩ)→Kerδ1∼=Z⁴→0, ent˜ao K₀(A/KΩ)∼=Z⁴ eK₁(A/KΩ)∼=Z⁴⊕Z_ν.

3. Se Imδ₀∼=Z(1,1), temos as seq¨uˆencias

0→K₀(A/KΩ)→K₀(A/EA)∼=Z⁶ →^δ0 Imδ₀∼=Z→0, 0→ K₁(EA/KΩ)

Imδ₀ ∼=Z→K1(A/KΩ)→Kerδ1∼=Z⁴→0, ent˜ao K₀(A/KΩ)∼=Z⁵ eK₁(A/KΩ)∼=Z⁵.

Passamos agora, para outra seq¨uˆencia exata na tentativa de obter mais informa¸c˜oes sobre a K-teoria deA.Para a seq¨uˆencia abaixo

0 −→ EA i

−→ A −→^π A

EA −→ 0, considere a seq¨uˆencia exata de seis termos em K-teoria associada:

K₀(EA) −→^i∗ K₀(A) −→^π∗ K₀(A/EA)

δ₁ ↑ ↓ δ₀

K₁(A/EA) ←−^π∗ K₁(A) ←−^i∗ K₁(EA)

(3.24)

J´a determinamos K₀(A/EA) e K₁(A/EA) e temos argumentos suficientes para calcularmos K₀(EA) eK₁(EA).

Proposi¸c˜ao 3.15. K₀(EA)∼=Z² e K₁(EA)∼=Z.

Demonstra¸c˜ao. A proposi¸c˜ao 1.3 nos d´a o seguinte isomorfismo EA ∼=S ⊗ K^Z×S1.

Ao inv´es de calcularmos K0 e K1 de EA , vamos calcular os K-grupos deS, j´a que S ⊗ K^Z×S¹ ´e a estabiliza¸c˜ao da C*-´algebraS ([17], 6.4) e portanto

K₀(S ⊗ K^Z×S¹)∼=K₀(S) e K₁(S ⊗ K^Z×S¹)∼=K₁(S).

No cap´ıtulo 1, vimos queKS¹ est´a contido emS e queS/KS¹ ∼=C(S¹×(−1,+1)).A partir da seq¨uˆencia exata

0 −→ KS¹

−→ Si −→^π S

KS¹ −→ 0, temos a seq¨uˆencia exata em K-teoria

Z∼=K₀(KS¹) −→ K₀(S) −→ K₀(S/KS¹)

δ₁ ↑ ↓ δ₀

K₁(S/KS¹) ←− K₁(S) ←− K₁(KS¹) = 0 Sabemos queK₀(C(S¹)⊕C(S¹)) =Z[(0,1)]₀⊕Z[(1,0)]₀,ent˜ao

K₀(S/KS¹) =Z[[b(D_θ)]_KS1]₀⊕Z[[c(D_θ)]_KS1]₀

onde b(D_θ) = F_d⁻¹b(Mj)F_d, c(D_θ) = F_d⁻¹c(Mj)F_d e escolhemos b(Mj) de tal forma que, para um inteiron₀ fixo,

b(j) =

( 1, sej ≥n₀ 0, sej < n₀

e c(M_j) ´e tal quec(j) = 1−b(j).De fato, estas s˜ao boas escolhas deb(D_θ) ec(D_θ) pois (ρ_b(Dθ)(x,−1), ρ_b(Dθ)(x,+1) = (b(−∞), b(+∞)) = (0,1),

(ρ_c(Dθ)(x,−1), ρ_c(Dθ)(x,+1)) = (c(−∞), c(+∞)) = (1,0).

Para K₁(C(S¹)⊕C(S¹)) =Z[(x,1)]₁⊕Z[(1,x)]₁, ondex:x∈S¹7→x, temos K1(S/KS¹) =Z[[b(D_θ)x(Mx) +c(D_θ)]K_S1]1⊕Z[[b(D_θ) +x(Mx)c(D_θ)]K_S1]1.

O nosso trabalho se resume a calcular δ₁ :K₁(S/KS¹) → K₀(KS¹),que ´e dada pelo ´ındice de Fredholm. Como o operador b(D_θ)x(Mx) +c(D_θ) n˜ao ´e unit´ario emS, vamos calcular seu ´ındice.

b(D_θ)x(M_x) +c(D_θ) = F_d⁻¹b(M_j)F_dx(M_x) +F_d⁻¹c(M_j)F_d

= F_d⁻¹(b(M_j)F_dx(M_x) +c(M_j)F_d)

= F_d⁻¹(b(M_j)Y₋₁F_d+c(M_j)F_d)

= F_d⁻¹(b(M_j)Y₋₁+c(M_j))F_d

Com a igualdade acima, temos que a dimens˜ao do n´ucleo deb(D_θ)x(M_x)+c(D_θ) ´e igual a dimens˜ao do n´ucleo deb(Mj)Y−1+c(Mj).

(b(M_j)Y₋₁+c(M_j))(u_j)_j = 0⇐⇒u_j = 0 ∀j∈Z,

ent˜ao a dimens˜ao do n´ucleo deb(M_j)Y₋₁+c(M_j) ´e igual a 0. Vamos agora calcular a dimens˜ao do n´ucleo de seu adjunto:

x(M_x)b(D_θ) +c(D_θ) =F_d⁻¹(Y₁b(M_j) +c(M_j))F_d.

(Y₁b(M_j) +c(M_j))(u_j)_j = 0⇐⇒u_j = 0 ∀j 6=n₀−1, n₀ eu_n0−1+u_n0 = 0.

Isto acontece pois na posi¸c˜aon₀−1 da seq¨uˆencia vamos ter o elementou_n0−1+u_n0 eu_n0−1 eu_n0 s´o aparecem nesta posi¸c˜ao, e nas outras posi¸c˜oes todos os outros elementos aparecem sozinhos. Assim, dim ker(Y₁b(M_j) +c(M_j)) = 1. Logo,

ind(b(D_θ)x(M_x) +c(D_θ)) = 0−1 =−1, e portantoδ1 ´e sobrejetora.

Segue que,

K₀(EA)∼=K₀(S)∼=Z² e K₁(EA)∼=K₁(S)∼=Z como quer´ıamos.

Observa¸c˜ao 3.16. Com este resultado, podemos observar na seq¨uˆencia

Z∼=K₀(KΩ) −→ K₀(EA)∼=Z² −→ K₀(EA/KΩ)∼=Z²

δ₁ ↑ ↓ δ₀

Z² ∼=K₁(EA/KΩ) ←− K₁(EA)∼=Z ←− K₁(KΩ) = 0

que a aplica¸c˜ao do ´ındice δ₁ : K₁(EA/KΩ) → K₀(KΩ) ´e n˜ao nula (caso contr´ario, Z ∼= Z²). Se Imδ₁ ∼=nZ,para algum n inteiro n˜ao nulo. Ent˜ao ter´ıamos a seq¨uˆencia

0→ K₀(KΩ)

Imδ₁ ∼=Z_n→K₀(EA)∼=Z²→^ϑ K₀(EA/KΩ)∼=Z²→ 0,

onde Z_n∼=Z/nZ. Note que o n´ucleo da aplica¸c˜ao ϑ´e isomorfo a Z_n, mas Z_n n˜ao ´e um subgrupo de Z². Logo δ₁ ´e sobrejetora. Al´em disso, esta aplica¸c˜ao tamb´em ´e dada pelo ´ındice de Fredholm.

Portanto, sabemos que existe um operador de Fredholm T em Mn( ˜EA) que tem ´ındice igual a 1.

Vale ainda ressaltar que K₀(EA)∼=K₀(EA/KΩ).

Proposi¸c˜ao 3.17. A aplica¸c˜aoδ1 em (3.24) ´e sobrejetora.

Demonstra¸c˜ao. Pelo teorema 3.14, δ₁ :K₁(A/EA) → K₀(EA/KΩ) ´e sobrejetora e como K₀(EA)∼= K₀(EA/KΩ),temos o que quer´ıamos.

Assim, as possibilidades para K₀(A) e K₁(A) analisando a seq¨uˆencia (3.24) s˜ao:

1. Se δ₀ ≡0 ent˜ao K₀(A)∼=Z⁶ eK₁(A)∼=Z⁵.

2. Se δ₀ em algum elemento deK₀(A/EA) for relacionado a um inteiro n˜ao nuloζ pelo isomor-fismoK₁(EA)∼=Z, ent˜ao K₀(A)∼=Z⁵ e K₁(A)∼=Z⁴⊕Z_ζ.

Para finalizar, enunciamos o seguinte teorema que nos d´a a K-teoria das ´algebras A/KΩ eA. Teorema 3.18. Dada a seq¨uˆencia exata curta

0 −→ KΩ i

−→ A −→^π A

KΩ −→ 0, onde i´e a inclus˜ao e π a proje¸c˜ao canˆonica, podemos afirmar:

(i) a aplica¸c˜ao do ´ındice δ₁ da seq¨uˆencia exata de seis termos em K-teoria K₀(KΩ) −→^i∗ K₀(A) −→^π∗ K₀(A/KΩ)

δ₁ ↑ ↓ δ₀

K₁(A/KΩ) ←−^π∗ K₁(A) ←−^i∗ K₁(KΩ)

´e sobrejetora;

(ii) K0(A)∼=K0(A/KΩ)∼=Z⁵; (iii) K₁(A)∼=Z⁴ e K₁(A/KΩ)∼=Z⁵.

Demonstra¸c˜ao. Sabemos que existe um operador T em M_n( ˜EA) cujo ´ındice de Fredholm ´e 1 pela observa¸c˜ao 3.16. Portanto, existe um operador T em M_n( ˜A) com ´ındice de Fredholm igual a 1.

Logo,δ₁([[T]_KΩ]₁) =ind(T)[P]₀ondeP ∈ KΩ´e uma proje¸c˜ao de posto 1. Portantoδ₁´e sobrejetora.

Como o n´ucleo dei_∗ ´eK₀(KΩ) e δ₀ ´e nula, pois K₁(KΩ) = 0,ent˜ao K₀(A)∼=K₀(A/KΩ). Para que este isomorfismo aconte¸ca, as ´unicas possibilidades para K₀(A) e K₀(A/KΩ) (p´agina 46) s˜ao que ambos sejam isomorfos a Z⁵.

Como K0(A/KΩ) ∼= Z⁵, ent˜ao podemos concluir que K1(A/KΩ) ∼= Z⁵. O fato de K0(A) ser isomorfo a Z⁵, implica que K₁(A) ∼= Z⁴ ⊕Z_ζ. Como π_∗(K₁(A)) ´e o n´ucleo da aplica¸c˜ao δ₁, e portanto, um subgrupo deK₁(A/KΩ), ent˜ao ζ =±1 e conclu´ımos queK₀(A)∼=Z⁴.

Apˆ endice

Apresentamos aqui, os comandos usados no software Maple para calcular a integral dada em (3.15):

indT = (−1)³ (2πi)²

(2−1)!

(2·2−1)!

Z

S¹×S¹×S¹

T r(σ⁻¹dσ)³

= 1

24π² Z

S¹×S¹×S¹

T r(σ⁻¹dσ)³

onde o s´ımbolo principal do operador T coincide com o s´ımbolo que definimos no nosso trabalho:

σ_T((e^iα, e^iβ, e^iλ)) =I+ (−cosλ+isenλ−1)Q(e^iα,cosβ,senβ). (3.25) Obtemos ent˜ao que (σ⁻¹dσ)³= [A₁+A₂+A₃]dαdβdλ, para

A₁=σ⁻¹σ_ασ⁻¹(σ_βσ⁻¹σ_λ−σ_λσ⁻¹σ_β), A₂=σ⁻¹σ_βσ⁻¹(σ_λσ⁻¹σ_α−σ_ασ⁻¹σ_λ), A₃ =σ⁻¹σ_λσ⁻¹(σ_ασ⁻¹σ_β −σ_βσ⁻¹σ_α).

ondeσ_α = _∂α^∂ σ, σ_β = _∂β^∂ σ, σ_λ= _∂λ^∂ σ.

O objetivo ´e determinar A1, A2 eA3, para depois calcular a integral.

Seguem os comandos:

ˆ m:= 1−(1−cos(α))^∗(1−cos(β))/4; (entrada a₁₁ da matrizQ)

ˆ p:= ((exp(I^∗2^∗α)−1)/4)^∗((1−cos(β))/2)^∗∗(1/2)−sin(β)^∗(exp(I^∗x)−1)^∗∗2/8; (entrada a₁₂ da matriz Q)

ˆ q:= ((exp(−I^∗2^∗α)−1)/4)^∗((1−cos(β))/2)^∗∗(1/2)−sin(β)^∗(exp(−I^∗x)−1)^∗∗2/8; (entrada a₂₁da matriz Q)

ˆ n:= (1−cos(α))^∗(1−cos(β))/4; (entradaa₂₂ da matrizQ)

ˆ A:=<< m, q >|< p, n >>; (a matriz Q)

ˆ S := 1 +f(λ)^∗A; (3.25)

ˆ Z :=S^∗∗(−1); (inversa de S)

ˆ mdα:=dif f(m, α); (derivadas em rela¸c˜ao a α das entradas da matriz )

ˆ pdα:=dif f(p, α);

ˆ qdα:=dif f(q, α);

ˆ ndα:=dif f(n, α);

ˆ Sdx:=f(λ)^∗ << mdα, qdα >|< pdα, ndα >>; ( matriz da derivada parcial em rela¸c˜ao aα)

ˆ mdβ:=dif f(m, β); (derivadas em rela¸c˜ao a β das entradas da matriz )

ˆ pdβ:=dif f(p, β);

ˆ qdβ:=dif f(q, β);

ˆ ndβ:=dif f(n, β);

ˆ Sdβ:=f(λ)^∗ << mdβ, qdβ >|< pdβ, ndβ >>; ( matriz da derivada parcial em rela¸c˜ao aβ)

ˆ Sdλ:=g(λ)^∗A; (matriz onde g(λ) ´e a derivada em rela¸c˜ao a λ)

ˆ C1 :=Sdβ.Z.Sdλ−Sdλ.Z.Sdβ; (=σ_βσ⁻¹σ_λ−σ_λσ⁻¹σ_β)

ˆ C2 :=Sdλ.Z.Sdα−Sdα.Z.Sdλ; (=σ_λσ⁻¹σ_α−σ_ασ⁻¹σ_λ)

ˆ C3 :=Sdα.Z.Sdβ−Sdβ.Z.Sdα; (=σ_ασ⁻¹σ_β−σ_βσ⁻¹σ_α)

ˆ A1 :=Z.Sdα.Z.C1;

ˆ A2 :=Z.Sdβ.Z.C2;

ˆ A3 :=Z.Sdλ.Z.C3;

ˆ T1 :=T race(A1);

ˆ T2 :=T race(A2);

ˆ T3 :=T race(A3);

ˆ U :=simplif y(T1); (simplifica a express˜ao - opcional!)

ˆ V :=simplif y(T2);

ˆ X:=simplif y(T3);

ˆ u1 :=Int(U, α=−P i..P i); ( integra¸c˜ao na vari´avel α de −π aπ do tra¸co deA1 )

ˆ h1 :=value(u1); (mostra o valor da integral)

ˆ u2 :=Int(h1, β =−P i..P i); ( integra¸c˜ao na vari´avel β de −π a π deh1 )

ˆ h2 :=value(u2); (mostra o valor da integral que est´a em fun¸c˜ao de f(λ) e g(λ)) h2 := −2 I P i f(λ)² g(λ)

f(λ)² + 2 f(λ) + 1

ˆ r:= (−2^∗I^∗P i^∗(−cos(λ) +I^∗sinλ−1)^∗∗2^∗(sin(λ) +I^∗cos(λ))/

((−cos(λ) +I^∗sinλ−1)² + 2 (−cos(λ) +I^∗sinλ−1) + 1) (vamos substituirr em h2)

ˆ u3 :=Int(r, λ=−P i..P i);

ˆ h3 :=value(u3);

h3 := 8 P i²

ˆ v1 :=Int(V, α=−P i..P i); ( integra¸c˜ao na vari´avelα de −π a π do tra¸co de A2 )

ˆ l1 :=value(v1);

ˆ v2 :=Int(l1, β =−P i..P i);

ˆ l2 :=value(v2);

l2 := −2 I P i f(λ)² g(λ) f(λ)² + 2 f(λ) + 1 que ´e igual a h2, portanto a integral na vari´avel λser´a igual a h3.

l3 := 8P i²

ˆ x1 :=Int(X, α=−P i..P i); ( integra¸c˜ao na vari´avel α de−π a π do tra¸co deA3 )

ˆ t1 :=value(x1);

ˆ x2 :=Int(t1, β =−P i..P i);

ˆ t2 :=value(x2);

t2 := −2I P i f(λ)² g(λ) f(λ)² + 2f(λ) + 1 que ´e novamente igual al2 e ah2, portanto

t3 := 8P i² Logo

Z _π

−π

Z _π

−π

Z _π

−π

(T1 +T2 +T3)dαdβdλ = 24π².

Bibliografia

[1] H.O. Cordes. Elliptic pseudodifferential operators - an abstract theory. Lecture Notes in Mathematics 756, Springer, Berlin, 1979.

[2] H.O. Cordes. On the two-fold symbol chain of a C*-algebra of singular integral operators on a polycylinder. Revista Matem´atica Iberoamericana, 2(1 y 2):215–234, 1986.

[3] H.O. Cordes. Spectral Theory of Linear Differential Operators and Comparison Algebras.

London Mathematical Society, Lecture Note Series 76, Cambridge University Press, London, 1987.

[4] R.F. de Andrade. O Teorema do ´ındice para o c´ırculo, Tese, USP,

http://www.teses.usp.br/teses/disponiveis/45/45131/tde-16102008-174340/. 2008.

[5] J. Dixmier. C*-algebras. North Holland, New York, 1977.

[6] R. Exel. Circle actions on C*-algebras, partial automorphisms and a generalized Pimsner-Voiculescu exact sequence. J. Funct. Anal., 122(2):361–401, 1994.

[7] B.V. Fedosov. Index of an elliptic system on a Manifold. Funct. Anal. and its Application, 4(4):312–320, 1970.

[8] R. Lauter. Holomorphic functional calculus in several variables and Ψ-algebras of totally characteristic operators on manifolds with boundary, Thesis, Mainz. 1996.

[9] R. Lauter. Pseudodifferential analysis on conformally compact spaces. Mem. Amer. Math.

Soc., 163(777), 2003.

[10] S.T. Melo. A comparison algebra on a cylinder with semi-periodic multiplications. Pacific J.

Math., 142(2):281–304, 1990.

[11] S.T. Melo. Norm closure of classical pseudodifferential operators does not contain H¨ormander’s class. Contemporary Mathematics, 368:329–335, 2005.

[12] S.T. Melo, R. Nest, and E. Schrohe. C*-structure and K-theory of Boutet de Monvel’s algebra.

J. Reine Angew. Math., 561:145–175, 2003.

[13] S.T. Melo, T. Schick, and E. Schrohe. A K-theoretic proof of Boutet de Monvel’s index theo-rem. J. Reine Angew. Math., 599:217–233, 2006.

[14] S.T. Melo and C.C. Silva. K-theory of pseudodifferential operators with semi-periodic symbols.

K-theory, 37:235–248, 2006.

[15] S. Moroianu. K-theory of suspended pseudo-differential operators.K-theory, 28:167–181, 2003.

[16] M. Pimsner and D. Voiculescu. Exact sequences for K-groups and Ext-groups of certain cross-product C*-algebras. J. Operator Theory, 4(1):93–118, 1980.

[17] M. Rørdam, F. Larsen, and N. Laustsen. An introduction to K-theory for C*-algebras. Cam-bridge University Press, CamCam-bridge, 2000.

[18] Takesaki. Theory of Operator Algebras. Springer, New York, 1979.

[19] N.E. Wegge-Olsen. K-theory and C*-algebras. Oxford University Press, New York, 2004.

No documento arxiv: v1 [math.oa] 19 May 2009 (páginas 44-60)