Abstract.
For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology with coefficients in all R-modules (or equivalently by pro-homology with coefficients in R). In the second model structure, fibrant replacement is essentially just the Bousfield-Kan R-tower. When the first homotopy category is equivalent to a homotopy theory defined by Morel but has some convenient categorical advantages.
Similar content being viewed by others
References
Adams, J.F., Haeberly, J.-P., Jackowski, S., May, J.P.: A generalization of the Segal conjecture. Topology 27, 7–21 (1988)
Artin, M., Grothendieck, A., Verdier, J.L.: Theorie des topos et cohomologie étale des schémas (SGA 4). Lecture Notes in Mathematics, Vol. 269, Springer Verlag, 1972
Artin, M., Mazur, B.: Etale homotopy. Lecture Notes in Mathematics, Vol. 100, Springer Verlag, 1969
Bousfield, A.K., Kan, D.M.: Homotopy limits, completions, and localizations. Lecture Notes in Mathematics, Vol. 304, Springer Verlag, 1972
Chorny, B.: A generalization of Quillen’s small object argument. Preprint
Christensen, J.D., Isaksen, D.C.: Duality and pro-spectra. Algebraic and Geometric Topology (to appear)
Dror, E.: Pro-nilpotent representation of homology types. Proc. Am. Math. Soc. 38, 657–660 (1973)
Dwyer, W.G., Spaliński, J.: Homotopy theories and model categories. Handbook of algebraic topology, North-Holland, 1995, pp. 73–126
Edwards, D.A., Hastings, H.M.: Cech and Steenrod homotopy theories with applications to geometric topology. Lecture Notes in Mathematics, Vol. 542, Springer Verlag, 1976
Friedlander, E.M.: Etale homotopy of simplicial schemes. Ann. Math. Studies 104, 1982
Goerss, P.: Comparing completions of a space at a prime. In: Homotopy Theory via Algebraic Geometry and Group Representations (Evanston, IL, 1997), Contemp. Math. Vol. 220, American Mathematical Society, 1998, 65–102
Hirschhorn, P.S.: Model categories and their localizations. Mathematical Surveys and Monographs, Vol. 99, American Mathematical Society, 2003
Hovey, M.: Model categories. Mathematical Surveys and Monographs, Vol. 63, American Mathematical Society, 1999
Isaksen, D.C.: Calculating limits and colimits in pro-categories. Fund. Math. 175, 175–194 (2002)
Isaksen, D.C.: A model structure for the category of pro-simplicial sets. Trans. Am. Math. Soc. 353, 2805–2841 (2001)
Isaksen, D.C.: Strict model structures for pro-categories. In: Algebraic Topology: Categorical Decomposition Techniques (Skye, 2001), Progress in Mathematics, Vol. 215, Birkhauser, 2003, 179–198
Isaksen, D.C.: Etale realization on the -homotopy theory of schemes. Adv. Math. 184, 37–63 (2004)
May, J.P.: Simplicial Objects in Algebraic Topology. Van Nostrand Mathematical Studies, Vol. 11, 1967
Meyer, C.V.: Approximation filtrante de diagrammes finis par Pro-C. Ann. Sci. Math. Québec 4, 35–57 (1980)
Morel, F.: Ensembles profinis simpliciaux et interprétation géométrique du foncteur T. Bull. Soc. Math. France 124, 347–373 (1996)
Quillen, D.G.: Homotopical algebra. Lecture Notes in Mathematics, Vol. 43, Springer Verlag, 1967
Rector, D.L.: Homotopy theory of rigid profinite spaces, I. Pacific J. Math. 85, 413–445 (1979)
Serre, J.-P.: Cohomologie galoisienne. Lecture Notes in Mathematics 5, Springer Verlag, 1962
Zdravkovska, S.: On injective and projective objects in pro-abelian categories. Glas. Mat. Ser. III 14 (34), 223–226 (1979)
Author information
Authors and Affiliations
Additional information
Mathematical Subject Classification (1991): 55P60, 55N10 18G55, 55U35
This work was partially supported by a National Science Foundation Postdoctoral Research Fellowship. The author acknowledges useful conversations with Bill Dwyer and Daniel Biss. The author thanks the referee for several corrections and excellent suggestions.
Rights and permissions
About this article
Cite this article
Isaksen, D. Completions of pro-spaces. Math. Z. 250, 113–143 (2005). https://doi.org/10.1007/s00209-004-0745-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-004-0745-x