# Spaces homotopy equivalent to finite CW complexes

I'm doing a project about Topological Complexity (it doesn't matter what it is for the questions I will ask) and I have proofs for a few results about the bounds of the topological complexity of spaces which are homotopy equivalent to finite CW complexes.

Now I would like to empathize the importance of the spaces which are homotopy equivalent to finite CW complexes, i.e, I try to show that there are a lot of spaces we care about that satisfy this property. Therefore i shoot my questions:

1) Are any sufficient conditions on Topological Manifolds to be homotopy equivalent to finite CW complexes.

2) Are any sufficient conditions on Smooth Manifolds to be homotopy equivalent to finite CW complexes.

3) Do you know sufficient conditions on other spaces to be homotopy equivalent to finite CW complexes.

Note that I only care about finite CW complexes.

Please I need references to papers or books since I will cite them. I won't prove any of the results since I will use this information only as an informal motivation to show that the results presented in that section of the essay are amazing and broadly useful.

I have found some questions such as:

https://mathoverflow.net/questions/44021/which-manifolds-are-homeomorphic-to-simplicial-complexes?rq=1

https://mathoverflow.net/questions/201944/topological-n-manifolds-have-the-homotopy-type-of-n-dimensional-cw-complexes

But they don't satisfy my curiosity.

And I also have seen the Corollary A.12 in Hatcher:

A compact manifold is homotopy equivalent to a CW complex.

But it doesn't say that the CW complex is finite so that doesn't work for me.

Maybe I should ask this at mathoverflow?

Thanks in advance and any help would be appreciated.

1) Every compact topological manifold is homotopy equivalent to a finite CW complex; see here. As a (very sketchy) sketch: You know via Hatcher that they're dominated by a finite CW complex, hence you can apply Wall's obstruction theory to being homotopy equivalent to a finite CW complex: see here. This immediately implies that every simply connected compact manifold is homotopy equivalent to a finite CW complex, and with more difficulty, that this is true for manifolds with eg fundamental group $\Bbb Z^n$. The general case is incredibly hard; the reference given in the MathOverflow post is as far as I know essentially the only proof of this fact. I would only suggest reading if you've got sufficient spunk. (For reference: I don't.)