Abstract. We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen’s small object argument). The necessity of such a generalization arose with appearance of several important examples of model categories which were proven to be non-cofibrantly generated [2, 6, 8, 20]. Our current approach allows for construction of functorial factorizations and localizations in the equivariant model structures on diagrams of spaces [10] and diagrams of chain complexes. We also formulate a non-functorial version of the argument, which applies in two different model structures on the category of pro-spaces [11, 20]. The examples above suggest a natural extension of the framework of cofibrantly generated model categories. We introduce the concept of a classcofibrantly

Abstract. We compare Friedlander’s definition of étale homotopy for simplicial schemes to another definition involving homotopy colimits of pro-simplicial sets. This can be expressed as a notion of hypercover descent for étale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the étale site of schemes over S to the category of pro-spaces. After completing away from the characteristics of the

Abstract Cofiltered diagrams of spectra, also called pro-spectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of pro-spectra and to study its relation to the usual homotopy theory of spectra, as a foundation for future applications. The surprising result we find is that our homotopy theory of pro-spectra is Quillen equivalent to the opposite of the homotopy theory of spectra. This provides a convenient duality theory for all spectra, extending the classical notion of Spanier-Whitehead duality which works well only for finite spectra. Roughly speaking, the new duality functor takes a spectrum to the cofiltered diagram of the Spanier-Whitehead duals of its finite subcomplexes. In the other direction, the duality functor takes a cofiltered diagram of spectra to the filtered colimit of the Spanier-Whitehead duals of the spectra in the diagram. We prove the equivalence of homotopy theories by showing that both are equivalent to the category of ind-spectra (filtered diagrams of spectra). To construct our new homotopy theories, we prove a general existence theorem for colocalization model structures generalizing known results for cofibrantly generated model categories.

In the early 1970’s was introduced a notion of homotopy-coherent diagram (Segal [64], Leitch [52], Vogt [78] and Mather [54]). This is a way of using cubical homotopies to deal at once with all of the higher homotopies of coherence involved in a diagram of spaces which “commutes up to homotopy”. This notion was subsequently studied by Vogt [78]

J.-L. Loday has used w-cubes of fibrations, where n is a non-negative integer, in his study of spaces with finitely many non-trivial homotopy groups [4]. His main result is the construction of an algebraic category equivalent to the weak homotopy category of path-connected spaces Z with TI^Z = 0 for /> w+1 [4, 1.7]. One step in

This paper describes model structures for the category of pro objects in simplicial presheaves on an arbitrary small Grothendieck site, all based on the injective model structure for simplicial presheaves. The most fundamental of these structures is an analogue of the Edwards-

Abstract. In this work, the assembly map in L-theory for the family of finite subgroups is proven to be a split injection for a class of groups. Groups in this class, including virtually polycyclic groups, have universal spaces that satisfy certain geometric conditions. The proof follows the method developed by Carlsson-Pedersen to split the assembly map in the case of torsion free groups. Here, the continuously controlled techniques and results are extended to handle groups with torsion. 1.

Abstract. We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. Also, we show that cofiltered limits in pro-categories commute with finite colimits.

Abstract not found

Abstract not found