An idempotent completion functor in homotopy theory
HTML articles powered by AMS MathViewer
- by Harold M. Hastings PDF
- Trans. Amer. Math. Soc. 287 (1985), 387-402 Request permission
Abstract:
We observe that Artin-Mazur style $R$-completions ($R$ is a commutative ring with identity) induce analogous idempotent completions on the weak prohomotopy category pro-Ho(Top). Because Ho(Top) is a subcategory of pro-Ho(Top) and pro-Ho(Top) is closely related to the topologized homotopy category of J. F. Adams and D. Sullivan, our construction represents the Sullivan completions as homotopy limits of idempotent functors. In addition, we show that the Sullivan completion is idempotent on those spaces (in analogy with the Bousfield and Kan ${R_\infty }$-completion on $R$-good spaces) for which its cohomology with coefficients in $R$ agrees with that of our Artin-Mazur style completion. Finally, we rigidify the Artin-Mazur completion to obtain an idempotent Artin-Mazur completion on a category of generalized prospaces which preserves fibration and suitably defined cofibration sequences. (Our previous results on idempotency and factorization lift to the rigid completion.) Our results answer questions of Adams, Sullivan, and, later, A. Deleanu.References
- J. F. Adams, Idempotent functors in homotopy theory, Manifolds—Tokyo 1973 (Proc. Internat. Conf., Tokyo, 1973) Univ. Tokyo Press, Tokyo, 1975, pp. 247–253. MR 0375289
- J. F. Adams, Idempotent functors in homotopy theory, Manifolds—Tokyo 1973 (Proc. Internat. Conf., Tokyo, 1973) Univ. Tokyo Press, Tokyo, 1975, pp. 247–253. MR 0375289 —, Localization and completion, Lecture Notes in Math., Univ. of Chicago, 1975.
- David A. Edwards, The mathematical foundations of quantum mechanics, Synthese 42 (1979), no. 1, 1–70. MR 549604, DOI 10.1007/BF00413704
- M. Artin and B. Mazur, Etale homotopy, Lecture Notes in Mathematics, No. 100, Springer-Verlag, Berlin-New York, 1969. MR 0245577
- A. K. Bousfield, The localization of spaces with respect to homology, Topology 14 (1975), 133–150. MR 380779, DOI 10.1016/0040-9383(75)90023-3
- 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
- Ronald Brown and Philip R. Heath, Coglueing homotopy equivalences, Math. Z. 113 (1970), 313–325. MR 266213, DOI 10.1007/BF01110331
- Aristide Deleanu, Topologized objects in categories and the Sullivan profinite completion, J. Pure Appl. Algebra 25 (1982), no. 1, 21–24. MR 660387, DOI 10.1016/0022-4049(82)90092-5
- Aristide Deleanu and Peter Hilton, Generalized shape theory, General topology and its relations to modern analysis and algebra, IV (Proc. Fourth Prague Topological Sympos., Prague, 1976) Lecture Notes in Math., Vol. 609, Springer, Berlin, 1977, pp. 56–65. MR 0506660
- David A. Edwards and Ross Geoghegan, The stability problem in shape, and a Whitehead theorem in pro-homotopy, Trans. Amer. Math. Soc. 214 (1975), 261–277. MR 413095, DOI 10.1090/S0002-9947-1975-0413095-6
- David A. Edwards and Harold M. Hastings, Čech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics, Vol. 542, Springer-Verlag, Berlin-New York, 1976. MR 0428322
- David A. Edwards and Harold M. Hastings, Why the $R$-completion works, General Topology and Appl. 7 (1977), no. 2, 179–184. MR 454966
- Harold M. Hastings, Fibrations of compactly generated spaces, Michigan Math. J. 21 (1974), 243–251 (1975). MR 367985
- Harold M. Hastings, Steenrod homotopy theory, homotopy idempotents, and homotopy limits, Topology Proc. 2 (1977), no. 2, 461–477 (1978). MR 540623 Ju. T. Lisica and S. Mardešić, Coherent prohomotopy and strong shape, Zagreb, 1982, preprint.
- Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
- Sibe Mardešić, On the Whitehead theorem in shape theory. I, Fund. Math. 91 (1976), no. 1, 51–64. MR 407798, DOI 10.4064/fm-91-1-51-64
- M. Moszyńska, The Whitehead theorem in the theory of shapes, Fund. Math. 80 (1973), no. 3, 221–263. MR 339159, DOI 10.4064/fm-80-3-221-263
- Timothy Porter, Coherent prohomotopy theory, Cahiers Topologie Géom. Différentielle 19 (1978), no. 1, 3–46. MR 496541
- Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New York, 1967. MR 0223432
- Daniel G. Quillen, An application of simplicial profinite groups, Comment. Math. Helv. 44 (1969), 45–60. MR 242156, DOI 10.1007/BF02564511
- Dennis Sullivan, Geometric topology. Part I, Massachusetts Institute of Technology, Cambridge, Mass., 1971. Localization, periodicity, and Galois symmetry; Revised version. MR 0494074
- Dennis Sullivan, Genetics of homotopy theory and the Adams conjecture, Ann. of Math. (2) 100 (1974), 1–79. MR 442930, DOI 10.2307/1970841
- Rainer M. Vogt, Homotopy limits and colimits, Math. Z. 134 (1973), 11–52. MR 331376, DOI 10.1007/BF01219090
Additional Information
- © Copyright 1985 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 287 (1985), 387-402
- MSC: Primary 55P60; Secondary 55U35
- DOI: https://doi.org/10.1090/S0002-9947-1985-0766226-9
- MathSciNet review: 766226