MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is known that all metric compact ANR have the homotopy type of finite CW complexes. Which spaces are homotopy equivalent or finitely dominated by CW complexes of finite type?

share|cite|improve this question

Let $X$ be a space, which we may as well assume connected. If $X$ is an ANR, then Milnor gives that $X$ is homotopy equivalent to a countable CW-complex $X'$. The question of when $X'$ is homotopy equivalent to a complex of finite type is addressed in Theorem A of

Wall, C. T. C. Finiteness conditions for CW-complexes. Ann. of Math. (2) 81 1965 56–69.

and discussed further in

Wall, C. T. C. Finiteness conditions for CW complexes. II. Proc. Roy. Soc. Ser. A 295 1966 129–139.

Note the necessary condition that $\pi_1(X')$ be finitely presented. I suspect there are more modern references building on Wall's work, but I couldn't find any.

share|cite|improve this answer
Bestvina and Brady famously demonstrated the necessity of the finitely presented hypothesis. They constructed a group of type FP_2 which is not finitely presented. – HJRW Oct 11 '12 at 10:31
(Or have I got this mixed up with the D(2) problem, which is still open? Anyway, the Bestvina--Brady paper is a good modern reference.) – HJRW Oct 11 '12 at 10:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.