K-teoria e ciclos algébricos

A K-teoria semi-topológica (K_semi) é uma teoria de co-homologia para variedades algébricas complexas que interpola a K-teoria algébrica (K_alg) e a K-teoria topológica (K_top). Neste seminário começarei por recordar a definição de K_top e K_alg e tentarei explicar a construção de K_semi (que se deve a Friedlander/Walker e Lima-Filho/Cohen). Explicarei também a relação de K_semi com ciclos algébricos, esboçando a construção da aplicação de Chern de K_semi na teoria de co-homologia classificada pelo espaço de ciclos algébricos em CP infinito (co-homologia mórfica).