Resumen de Cellular approximations of infinite loop spaces and classifying spaces
Alberto Gavira Romero
Dado un espacio topológico punteado A, E. Dror-Farjoun introduce en 1995 la noción de A-homotopía, donde A y sus suspensiones juegan el mismo papel que las esferas en homotopía clásica. Por tanto se definen los grupos de A-homotopía de un espacio punteado X como las clases de homotopía de aplicaciones definidas desde las suspensiones de A a X. La idea de CW-complejo es sustituida por la de espacio A-celular, i.e., un espacio construido mediante ciertos colímites homotópicos punteados de A de manera iterada. El concepto de aproximación celular es remplazada por la de aproximación A-celular, esto es, un espacio A-celular CWAX junto con una aplicación natural CWAX ? X que induce una equivalencia entre los espacios de aplicaciones punteadas map*(A, CWAX) y map*(A, X), y por tanto un isomorfismo en grupos de A-homotopía. Sea p un número primo. En este trabajo estudiamos la A-celularización, donde A es un espacio clasificador del tipo BZ/pm, BZ/p? o un producto de estos, de dos familias de espacios: los espacios ?BZ/p-acíclios salvo p-completación, y los espacios clasificadores de grupos p-locales compactos. En el primer caso vemos que la A-celularización de un espacio ?BZ/p-acíclio salvo p-completación 1-conexo X es equivalente a la fibra homotópica de la racionalización X^p ? (X^p)Q. Como ejemplos tenemos los espacios de lazos infinitos y las torres de Postnikov 1-conexos con segundo grupo de homotopía de torsión. En el segundo caso, dado un grupo p-local compacto (S, F , L ), para el estudio de la celularización de |L |^p definimos el núcleo de una aplicación f : |L |^p ? Y^p como el subgrupo de S formado por los elementos x tales que la restricción de f al espacio clasificador del grupo generado por x es homotópicamente trivial. Demostramos que, bajo ciertas hipótesis sobre |L |^p, si el núcleo de cierta aplicación determinante en el cálculo de la celularización es todo el p-grupo S, entonces la A-celularización de |L |^p es equivalente a la fibra homotópica de la racionalización |L |^p ? (|L |^p)Q . En el caso finito somos un más precisos, demostrando que si (S, F , L ) es un grupo p-local finito entonces |L |^p es BZ/pm -celular si y solamente si dicho núcleo es igual al mínimo subgrupo de S fuertemente cerrado que contiene toda la pi-torsión para i ? m. En el caso de un grupo de Lie compacto y conexo probamos que existe un entero no negativo m0 tal que para todo m ? m0 la (BZ/p? x BZ/pm)-celularización de BG^p es equivalente a la fibra homotópica de la racionalización BG^p ? (BG^p)Q.
