MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $E$ be a spectrum. For any CW complex $X$, define $h_*=\pi_i(E\wedge X)$. Then we know that $h_*$ form a homology theory. In other words, there functors satisfy the homotopy invariance, maps a cofiber sequence of spaces to a long exact sequence of abelian groups, also satisfy the wedge axiom in the definition of a homology theory. I want to know the converse case. Is every homology theory given by a spectrum in such way?

Thanks for all your comments. This is not really a problem. Anybody knows how to close it?

share|cite|improve this question
A reference is probably best: see Switzer 14.35-36 for homology representation, which relies on various cohomology representation results from chapter 9 --- say, 9.21 and onward. – Eric Peterson May 5 '11 at 6:42
@yeshengkui: There is no need to close questions that have been satisfactorily answered, as these are unlikely to attract new answers and hence keep bubbling up to the top of the front page. – Mark Grant May 6 '11 at 13:43
up vote 17 down vote accepted

For homology theories on CW-complexes or homology theories that map weak equivalences to isomorphisms, that's Brown's representability theorem, which you can find in any textbook on stable homotopy theory. You forgot the important axiom of excision, by the way. The short answer is yes.

share|cite|improve this answer
To fill in a step: Brown's theorem applies to cohomology theories. To pass from cohomology to homology you use duality, observing that $S$-duality sets up a one to one correspondence between homology theories and cohomology theories (for finite complexes) in which $\pi_*(-\wedge E)$ corresponds to $\pi_*Map(-,E)$. – Tom Goodwillie May 5 '11 at 15:05
I see. I thought the homological one also went by the name of Brown rep. thm. – Tilman May 5 '11 at 18:49
Well, I think some people call it that, but I believe that what Brown proved was a theorem about which contravariant functors from the homotopy category of spaces to sets are representable, which is used to show that cohomology theories are representable. – Tom Goodwillie May 6 '11 at 0:40

The answer is yes, if you replace the wedge axiom with the stronger direct limit axiom $h_{i}(X) = \mathrm{lim}\ h_{i}(X_{\alpha})$, where $X$ is the direct limit of subcomplexes $X_{\alpha}$.

As well as Switzer, this is discussed in Chapter 4.F of Hatcher's "Algebraic Topology", Adams' little blue book "Stable homotopy and generalised homology", and Adams' paper "A variant of E. H. Brown's representability theorem".

share|cite|improve this answer
So what is an example of a homology theory that satisfies Milnor's additivity axiom but not the direct limit axiom? – lentic catachresis Jan 29 at 11:11
I don't know, this might be a good MO question! An Exercise in Hatcher's 4.F is to show that the wedge axiom implies the direct limit axiom on the category of countable CW complexes, so to find such a thing we'd have to go to uncountable CW complexes. – Mark Grant Jan 29 at 11:30
Ok, I asked it here:… – lentic catachresis Jan 29 at 12:13

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.