Saturday, 11 August 2007

at.algebraic topology - Properties of the class of topological spaces possessing a CW-structure

Let mathcalC be the class of topological spaces which carry a CW-structure (note that I do not want to fix some particular CW-structure).



Is it true that for a covering map EstackrelftoB with EinmathcalC we have BinmathcalC, too?



It is true that the total space of a covering lies in mathcalC if the base space does, but the reverse implication is not clear to me.



Edit



As Algori pointed out, the quotient space is not even Hausdorff in general. What about finite regular coverings, i.e. those which come from a free action of a finite group on the total space? Is it true then that the quotient space carries a CW-structure, too?



I'm interested in that because this would imply that given a free group action of a finite group on a "nice" space like a CW-complex, one can always choose a CW-structure with respect to which G just permutes cells. Then the corresponding cellular complex would be a (possibly nice) complex of mathbbZG-modules (for example, if the space was a sphere, then this procedures can be used to construct a periodic mathbbZG-resolution of the trivial module mathbbZ, showing that the group has to have periodic invariants like homology and cohomology; in this particular case, however, things behave well as the quotient space mathbbSn/G is still a compact manifold).



Thank you.

No comments:

Post a Comment