Homotopy categories for simply connected torsion spaces

Resumen

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups ℤ/s with s ∈ S, or in the abelian group ℂ[S-1] = ℤ[S-1]/ℤ where ℤ[S -1] is the group of fractions of the form z/s with s ∈ S. In the first case, for n > 1 the localized category Ho(TnS-Top*) is equivalent to the ordinary homotopy category of (n-1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n>1 we obtain that the localized category Ho(TDnS-Top*) is equivalent to the ordinary homotopy category of (n-1)-cannected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations XTnS→X, X TnS→X obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map XTnS→X is final (in the homotopy category) among all the maps of the form Y→ with Y an (n-1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces XTnS, XTDnS are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S p is generated by a prime p ∈ P one has that for n > 1 the category Ho(T nS-Top*) is equivalent to the product category ∏p∈PHo(TnSp-Top*). If the multiplicative system S is generated by a finite set of primes, then localized category Ho(TDnS-Top*) is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for Ho(TnS-Top*). © Springer 2005.