Dold spaces in homotopy theory

Schwamberger, Eugenia¹ ; Vogt, Rainer M²

¹An der Tentenburg 7, D-49074 Osnabrück, Germany
²Universität Osnabrück, Fachbereich Mathematik/Informatik, Albrechtstr 28a, 49069 Osnabrück, Germany

Algebraic and Geometric Topology, Tome 9 (2009) no. 3, pp. 1585-1622

Résumé

We study a class of spaces whose importance in homotopy theory was first highlighted by work of Dold in the 1960s, and that we accordingly call Dold spaces. These are the spaces that possess a partition of unity supported in sets that are contractible to a point within the ambient space. Dold spaces form a broader class than spaces homotopy equivalent to CW complexes, but share the feature that a number of well known weak equivalences are genuine ones if Dold spaces are involved. In this paper we give a first systematic investigation of Dold spaces. After listing their elementary properties, we study homotopy pullbacks involving Dold spaces and simplicial objects in the category of Dold spaces. In particular, we show that the homotopy colimit of a diagram of Dold spaces is a Dold space and that the topological realization functor preserves fibration sequences if the base is a path-connected Dold space in each dimension. It follows that the loop space functor commutes with realization up to homotopy for Dold spaces. Finally, we give simple conditions which assure that free algebras over a topological operad are Dold spaces.

Détail

DOI : 10.2140/agt.2009.9.1585

Keywords: free algebra over operad, homotopy pullback, homotopy pushout, James construction, numerable cover, simplicial spaces

Bibliographie

[1] G Allaud, De-looping homotopy equivalences, Arch. Math. $($Basel$)$ 23 (1972) 167

[2] J M Boardman, R M Vogt, Homotopy invariant algebraic structures on topological spaces, Lecture Notes in Math. 347, Springer (1973)

[3] T Tom Dieck, Topologie, de Gruyter Textbook, Walter de Gruyter Co. (2000)

[4] T Tom Dieck, K H Kamps, D Puppe, Homotopietheorie, Lecture Notes in Math. 157, Springer (1970)

[5] A Dold, Partitions of unity in the theory of fibrations, Ann. of Math. $(2)$ 78 (1963) 223

[6] E Dror Farjoun, Cellular spaces, null spaces and homotopy localization, Lecture Notes in Math. 1622, Springer (1996)

[7] E Dyer, S Eilenberg, An adjunction theorem for locally equiconnected spaces, Pacific J. Math. 41 (1972) 669

[8] E E Floyd, W J Floyd, Actions of classical small categories, Distributed manuscript (1990)

[9] M Mather, Pull-backs in homotopy theory, Canad. J. Math. 28 (1976) 225

[10] J P May, The geometry of iterated loop spaces, Lectures Notes in Math. 271, Springer (1972)

[11] J P May, $E_{\infty }$ spaces, group completions, and permutative categories, from: "New developments in topology (Proc. Sympos. Algebraic Topology, Oxford, 1972)" (editor G Segal), London Math. Soc. Lecture Note Ser. 11, Cambridge Univ. Press (1974) 61

[12] H D Meiwes, Approximation von $\Omega^n\Sigma^nX$ bis auf Homotopie, PhD thesis, University of Heidelberg (1981)

[13] H D Meiwes, Private communication (1983)

[14] D Puppe, Some well known weak homotopy equivalences are genuine homotopy equivalences, from: "Symposia Mathematica, Vol. V (INDAM, Rome, 1969/70)", Academic Press (1971) 363

[15] V Puppe, A remark on “homotopy fibrations”, Manuscripta Math. 12 (1974) 113

[16] G Segal, Categories and cohomology theories, Topology 13 (1974) 293

[17] J Smrekar, CW type of inverse limits and function spaces

[18] R W Thomason, Uniqueness of delooping machines, Duke Math. J. 46 (1979) 217

[19] R M Vogt, Commuting homotopy limits, Math. Z. 153 (1977) 59