Numerably Contractible Spaces

E. Schwamberger,R. Vogt

DOI: https://doi.org/10.2140/agt.2009.9.1585

2008-10-30

Abstract:Numerably contractible spaces play an important role in the theory of homotopy pushouts and pullbacks. The corresponding results imply that a number of well known weak homotopy equivalences are genuine ones if numerably contractible spaces are involved. In this paper we give a first systematic investigation of numerably contractible spaces. We list the elementary properties of the category of these spaces. We then study simplicial objects in this category. In particular, we show that the topological realization functor preserves fibration sequences if the base is path-connected and numerably contractible in each dimension. Consequently, the loop space functor commutes with realization up to homotopy. We give simple conditions which assure that free algebras over a topological operad are numerably contractible.

Algebraic Topology

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on in - depth research on the properties of "numerably contractible spaces" (also known as Dold spaces) and their applications in homotopy theory. Specifically:

1. **Definition and basic properties**: The paper first systematically defines numerably contractible spaces and lists some basic properties of these spaces. For example, it explores the relationships between Dold spaces and concepts such as path - connectivity and CW - complexes.

2. **Homotopy pull - back**: The authors show that when it comes to Dold spaces, some known weak homotopy equivalences actually become strict homotopy equivalences. In particular, they prove that if the base space is path - connected and is a Dold space, then the topological realization functor preserves fiber sequences.

3. **James construction and small cube algebras**: It is mentioned in the paper that for h - well - pointed, path - connected Dold spaces \(X\), the James construction \(JX\) is homotopy - equivalent to \(\Omega\Sigma X\). Moreover, for path - connected spaces \(X\), the map from the small cube algebra \(C^*_n(X)\) constructed by P. May to \(\Omega^n\Sigma^n X\) is a true homotopy equivalence when \(X\) is a Dold space.

4. **Applications of Dold coverings**: The paper also discusses how to use Dold coverings to prove certain fibration results, such as some improved version theorems regarding homotopy pull - backs and push - outs.

5. **Dold properties of free algebras**: Finally, the authors give simple conditions to ensure that the free algebras generated by topological operads are Dold spaces.

Through these studies, the paper deepens the understanding of Dold spaces and reveals their important roles in homotopy theory. This not only helps to deal with certain homotopy problems more precisely, but also provides a new perspective to understand the nature of homotopy equivalence.