Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

An idempotent completion functor in homotopy theory


Author: Harold M. Hastings
Journal: Trans. Amer. Math. Soc. 287 (1985), 387-402
MSC: Primary 55P60; Secondary 55U35
MathSciNet review: 766226
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 55P60, 55U35

Retrieve articles in all journals with MSC: 55P60, 55U35


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1985-0766226-9
PII: S 0002-9947(1985)0766226-9
Article copyright: © Copyright 1985 American Mathematical Society