A model structure on the category of pro-simplicial sets

Isaksen, Daniel

doi:10.1090/S0002-9947-01-02722-2

A model structure on the category of pro-simplicial sets
HTML articles powered by AMS MathViewer

by Daniel C. Isaksen

Trans. Amer. Math. Soc. 353 (2001), 2805-2841

DOI: https://doi.org/10.1090/S0002-9947-01-02722-2

Published electronically: January 29, 2001

PDF | Request permission

Abstract:

We study the category pro-$\mathcal {SS}$ of pro-simplicial sets, which arises in étale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-$\mathcal {SS}$ so that it is possible to do homotopy theory in this category. This model structure is closely related to the strict structure of Edwards and Hastings. In order to understand the notion of homotopy groups for pro-spaces we use local systems on pro-spaces. We also give several alternative descriptions of weak equivalences, including a cohomological characterization. We outline dual constructions for ind-spaces.

References

Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos, Lecture Notes in Mathematics, Vol. 269, Springer-Verlag, Berlin-New York, 1972 (French). Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4); Dirigé par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat. MR 0354652
M. Artin and B. Mazur, Etale homotopy, Lecture Notes in Mathematics, No. 100, Springer-Verlag, Berlin-New York, 1969. MR 0245577, DOI 10.1007/BFb0080957
A. K. Bousfield and E. M. Friedlander, Homotopy theory of $\Gamma$-spaces, spectra, and bisimplicial sets, Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977) Lecture Notes in Math., vol. 658, Springer, Berlin, 1978, pp. 80–130. MR 513569
A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972. MR 0365573, DOI 10.1007/978-3-540-38117-4
William G. Dwyer and Eric M. Friedlander, Algebraic and etale $K$-theory, Trans. Amer. Math. Soc. 292 (1985), no. 1, 247–280. MR 805962, DOI 10.1090/S0002-9947-1985-0805962-2
J. L. Walsh, On interpolation by functions analytic and bounded in a given region, Trans. Amer. Math. Soc. 46 (1939), 46–65. MR 55, DOI 10.1090/S0002-9947-1939-0000055-0
Eric M. Friedlander, Étale $K$-theory. I. Connections with etale cohomology and algebraic vector bundles, Invent. Math. 60 (1980), no. 2, 105–134. MR 586424, DOI 10.1007/BF01405150
Eric M. Friedlander, Étale homotopy of simplicial schemes, Annals of Mathematics Studies, No. 104, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1982. MR 676809
Jerrold W. Grossman, A homotopy theory of pro-spaces, Trans. Amer. Math. Soc. 201 (1975), 161–176. MR 356039, DOI 10.1090/S0002-9947-1975-0356039-8
P. Hirschhorn, Localization of Model Categories, preprint.
M. A. Mandell, $E_\infty$ algebras and $p$-adic homotopy theory, Topology (to appear).
J. Peter May, Simplicial objects in algebraic topology, Van Nostrand Mathematical Studies, No. 11, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1967. MR 0222892
Fabien Morel, Ensembles profinis simpliciaux et interprétation géométrique du foncteur $T$, Bull. Soc. Math. France 124 (1996), no. 2, 347–373 (French, with English and French summaries). MR 1414543, DOI 10.24033/bsmf.2284
Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New York, 1967. MR 0223432, DOI 10.1007/BFb0097438
Dennis Sullivan, Genetics of homotopy theory and the Adams conjecture, Ann. of Math. (2) 100 (1974), 1–79. MR 442930, DOI 10.2307/1970841
George W. Whitehead, Elements of homotopy theory, Graduate Texts in Mathematics, vol. 61, Springer-Verlag, New York-Berlin, 1978. MR 516508, DOI 10.1007/978-1-4612-6318-0