A Compact Space Is Homotopy Equivalent to a CW-Complex If and Only If It Is an Absolute Neighborhood h-Retract

It is proved that a compact space is homotopy equivalent to a CW-complex if and only if it is an absolute neighborhood h-retract.     

Cellular Chain Complex of Small Covers with Integer Coefficients and Its Application

Let Pⁿ be a simple n-polytope with a Z²-characteristic function λ. And h is a Morse function over Pⁿ. Then the small cover Mⁿ(λ) corresponding to the pair (Pⁿ, λ) has a cell structure given by h. From this cell structure we can derive a cellular chain complex of Mⁿ(λ) with integer coefficients. In this paper, firstly, we discuss the highest dimensional boundary morphism ∂_n of this cellular chain complex and get that ∂_n=0 or 2 by a natural way. And then, from the well-known result that the submanifold corresponding to (F, λ_F) is naturally a small cover with dimension k, where F is any k-face of Pⁿ and λ_F is the restriction of λ on F, we get that ∂_k=0 or ±2 for 0 ≤ k < n. Finally, by using the definition of inherited characteristic function which is the restriction of λ on the faces of Pⁿ, we get a way to calculate the homology groups of Mⁿ(λ). Applying our result to a 3-small cover we have that the homology groups of any 3-small cover is torsion-free or has only 2-torsion.     

Resolutions for metrizable compacta in extension theory

We prove a -resolution theorem for simply connected CW- complexes in extension theory in the class of metrizable compacta . This means that if is a connected CW-complex, is an abelian group, , , for , and (in the sense of extension theory, that is, is an absolute extensor for ), then there exists a metrizable compactum and a surjective map such that:

(a) is -acyclic,

(b) , and

(c) .

This implies the -resolution theorem for arbitrary abelian groups for cohomological dimension when . Thus, in case is an Eilenberg-MacLane complex of type , then (c) becomes .

If in addition , then (a) can be replaced by the stronger statement,

(aa) is -acyclic.

To say that a map is -acyclic means that for each , every map of the fiber to is nullhomotopic.

     

On the Cohomology of Categories, Universal Toda Brackets and Homotopy Pairs

A category of homotopy pairs is characterised by a cohomology class which generalizes the notion of Toda bracket. Explicit computations of such cohomology classes are described.     

Extension Dimension and Refinable Maps

Extension dimension is characterized in terms of -maps. We apply this result to prove that extension dimension is preserved by refinable maps between metrizable spaces. It is also shown that refinable maps preserve some infinite-dimensional properties.     

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes