20.08.2015 Views

process

K-theory and Noncommutative Geometry.pdf

K-theory and Noncommutative Geometry.pdf

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Duality for topological abelian group stacks and T -duality 313An inspection of the formulas 4.2.7 for the differential of the complex U shows thatd 1 W E q;01! E qC1;01vanishes for even q, and is the identity for odd q. In other wordsthis complex is isomorphic to0 ! Z ! 0 Z ! id Z ! 0 Z ! id Z ! 0 :This implies that E q;02D 0 for q 1 and therefore the assertion of the lemma.We now turn to 2. We calculateH 1 .G q I Z/ Š Œ.ƒ yG/˝Zq 1 D yG ˚˚ yG :„ ƒ‚ …q summandsBy (42) we getE q;11Š yG q :We see that .E ;11 ;d 1/ is the sheafification of the complex of discrete groupsyG W 0 ! yG ! yG 2 ! yG 3 ! ; (43)where the differential is the dual of the differential of the complex0 G G 2 G 3 induced by the maps given in 4.2.7. Let us describe the differential more explicitly. If 2 yG, and W G G ! G is the multiplication map, then we have D .; / 22G G Š yG yG. We can write @W yG q ! yG qC1 asqC1X@ D . 1/ i @ i :Using the formulas of 4.2.7 we getfor i D 1;:::;q. FurthermoreiD0@ i . 1 ;:::; q / D . 1 ;:::; i ; i ;:::; q /@ 0 . 1 ;:::; q / D .0; 1 ;:::; q /and@ qC1 . 1 ;:::; q / D . 1 ;:::; q ; 0/:Note that 0 D @W yG 0 ! yG 1 . We see that we can write the higher ( 1) degree part ofthe complex (43) in the formK ˝ZyG;where K q D Z q for q 1 and @W Z q ! Z qC1 is given by the same formulas as above.One now shows 12 that´H q Z; q D 1;.K / D0; q 2:12 We leave this as an exercise in combinatorics to the interested reader.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!