1
$\begingroup$

I am currently reading Dyer's Cohomology Theories and he in the very beginning makes the assumption to work in the category of finite CW complexes. This kills of many interesting objects ($K(G,n)$, $\mathbb{CP}^{\infty}$,$\Omega S^n$ etc...). A lot of interesting object also survive. I am wondering if there is any good reason to work in this category. Are there any theorems that only work for finite CW complexes and cannot be extended?

  • 2
    Please double check your typing: specially in titles!2011-09-20
  • 0
    At an introductory level, cohomology is often touted as being superior to homology because it carries the cup product. But in fact the real thing one ends up caring about is the fact that $E^*X$ is a module over the algebra $E^*E$ of cohomology operations, which (in many good cases) is dual to the coalgebra of "homology cooperations" $E_*E$ (over which $E_*X$ will be a comodule). This allows one to flip everything and work with homology, which totally sidesteps these finiteness issues since homology is better-behaved w/r/t infinite colimits. E.g. the Adams SS can be phrased either way.2011-09-27

1 Answers 1

1

A CW complex if finite if and only if it is compact. There are innumerable things that hold for compact spaces but which are false (or at least more subtle) for noncompact spaces. For example, noncompact manifolds are far more complicated than compact manifolds.

  • 0
    Ha, forgot about that. Still the things I care about are not necessarily compact. I don't think it is needed for much of the theory.2011-09-21
  • 0
    You would have to be more specific about the part of the theory that interests you if you want a more specific answer.2011-09-21
  • 0
    I know, it was kind of a dumb question. I am currently trying to learn about relationships between cohomology theories. Theorems like Riemann-Roch and the AHSS. I think the book assumes finiteness of CW structures as to not deal with limiting arguments.2011-09-21
  • 0
    Found a good reason: the axioms for cohomology are simpler with finite CW complexes.2011-09-26