An idempotent completion functor in homotopy theory

Hastings, Harold M.

doi:10.1090/S0002-9947-1985-0766226-9

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

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

Coherent prohomotopy and strong shape

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