Abstract
We obtain a simplicial group model for localization of (not necessarily nilpotent) spaces at sets of primes by applying a suitable functor dimensionwise, as in earlier work of Quillen and Bousfield-Kan. For a set of primesP and any groupG, letG→L PG be a universal homomorphism fromG into a group which is uniquely divisible by primes not inP, and denote also byL P the prolongation of this functor to simplicial groups. We prove that, ifX is any connected simplicial set andJ is any free simplicial group which is a model for the loop space ΩX, then the classifying space\(\overline W LpJ\) is homotopy equivalent to the localization ofX atP. Thus, there is a map\(X \to \overline W LpJ\) which is universal among maps fromX into spacesY for which the semidirect products πκ(Y)⋊ π1(Y) are uniquely divisible by primes not inP. This approach also yields a neat construction of fibrewise localization.
Similar content being viewed by others
References
G. Baumslag,Some aspects of groups with unique roots, Acta Mathematica104 (1960), 217–303.
A. K. Bousfield,The localization of spaces with respect to homology, Topology14 (1975), 133–150.
A. K. Bousfield and D. M. Kan,Homotopy Limits, Completions and Localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-Heidelberg-New York, 1972.
C. Casacuberta,Recent advances in unstable localization, inThe Hilton Symposium 1993: Topics in Topology and Group Theory, CRM Proceedings & Lecture Notes 6, American Mathematical Society, 1994, pp. 1–22.
C. Casacuberta and M. Castellet,Localization methods in the study of the homology of virtually nilpotent groups, Mathematical Proceedings of the Cambridge Philosophical Society112 (1992), 551–564.
C. Casacuberta and G. Peschke,Localizing with respect to self-maps of the circle, Transactions of the American Mathematical Society339 (1993), 117–140.
E. B. Curtis,Simplicial homotopy theory, Advances in Mathematics6 (1971), 107–209.
A. Dold,Homology of symmetric products and other functors of complexes, Annals of Mathematics68 (1958), 54–80.
A. Dold and R. Thom,Quasifaserungen und unendliche symmetrische Produkte, Annals of Mathematics67 (1958), 239–281.
E. Dror Farjoun,Cellular Spaces, Null Spaces and Homotopy Localization, Lecture Notes in Mathematics, Vol. 1622, Springer-Verlag, Berlin-Heidelberg-New York, 1996.
E. Dror and W. G. Dwyer,A stable range for homology localization, Illinois Journal of Mathematics21 (1977), 675–684.
W. G. Dwyer and D. M. Kan,Homotopy theory and simplicial groupoids, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A, Mathematical Sciences87 (1984), 379–385.
P. J. Freyd and G. M. Kelly,Categories of continuous functors (I), Journal of Pure and Applied Algebra2 (1972), 169–191.
P. G. Goerss and J. F. Jardine,Simplicial Homotopy Theory, Progress in Mathematics, Birkhäuser, Boston, to appear.
P. Hilton, G. Mislin and J. Roitberg,Localization of Nilpotent Groups and Spaces, North-Holland Mathematics Studies Vol. 15, North-Holland, Amsterdam, 1975.
D. M. Kan,A combinatorial definition of homotopy groups, Annals of Mathematics67 (1958), 282–312.
D. M. Kan,On homotopy theory and c.s.s. groups, Annals of Mathematics68 (1958), 38–53.
D. M. Kan,A relation between CW-complexes and free c.s.s. groups, American Journal of Mathematics81 (1959), 512–528.
I. Llerena,Localization of fibrations with nilpotent fibre, Mathematische Zeitschrift188 (1985), 397–410.
S. Mac Lane,Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York, 1975.
J. P. May,Simplicial Objects in Algebraic Topology, Van Nostrand Mathematics Studies, Vol. 11, Van Nostrand, Princeton, 1967.
J. P. May,Fibrewise localization and completion, Transactions of the American Mathematical Society258 (1980), 127–146.
G. Mislin,Localization with respect to K-theory, Journal of Pure and Applied Algebra10 (1977), 201–213.
G. Peschke,Localizing groups with action, Publicacions Matemàtiques33 (1989), 227–234.
D. G. Quillen,Homotopical Algebra, Lecture Notes in Mathematics, Vol. 43, Springer-Verlag, Berlin-Heidelberg-New York, 1967.
D. G. Quillen,An application of simplicial profinite groups, Commentarii Mathematici Helvetici44 (1969), 45–60.
P. Ribenboim,Torsion et localisation de groupes arbitraires, inSéminaire d’Algèbre Paul Dubreil, Paris, 1977, Lecture Notes in Mathematics, Vol. 740, Springer-Verlag, Berlin-Heidelberg-New York, 1978, pp. 444–456.
D. Sullivan,Genetics of homotopy theory and the Adams conjecture, Annals of Mathematics100 (1974), 1–79.
C. W. Wilkerson,Applications of minimal simplicial groups, Topology15 (1976), 111–130.
Author information
Authors and Affiliations
Corresponding author
Additional information
Both authors are supported by DGES under grant PB97-0202, and the first-named author has a DGR fellowship with reference code 1997FI 00467.
Rights and permissions
About this article
Cite this article
Bastardas, G., Casacuberta, C. A homotopy idempotent construction by means of simplicial groups. Isr. J. Math. 121, 333–349 (2001). https://doi.org/10.1007/BF02802510
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02802510