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

The classical Brown representability theorem is for set valued functors. Is there a version for abelian group valued functors, and ring valued functors?

In other words say we have an abelian group valued functor F on the category of CW top. spaces, satisfying the necessery condition that F maps colimits to limits. What extra conditions on F do we need to ensure that the classifying object is an H-space. Actually Brown doesn't state this, but at a brief glance his paper seems to prove that F just needs to satisfy excision that is we have exact sequences $$0 \to F (V \cap W) \to F(V) \oplus F (W) \to F (V \cup W) \to 0,$$ for V,W open sets in X. Is this right? What about the case of ring valued functors, when are they representable by (E_\infty? whatever that is)-ring space.

share|cite|improve this question
Compose with the forgetful functor to Set, which preserves limits in both cases as it has left adjoints. Brown representability gives you a representing object, and by the Yoneda lemma it acquires a group (resp. ring) structure in the homotopy category. I don't know anything about how these structures lift to actual spaces, though. – Qiaochu Yuan Aug 1 '11 at 18:17
I am pretty sure you can not get $E_\infty$ structures this way. A lot of work was done to rigidify spectra produced by Brown Representability in order to get $E_\infty$ structures by Goerss-Hopkins. – Sean Tilson Aug 3 '11 at 1:34
up vote 4 down vote accepted

For the group case, this is an exercise in Chapter 9 of Switzer's "Algebraic Topology: Homotopy and Homology" (bottom of page 157).

I think the rough idea is as follows. Suppose your functor $F$ on pointed CW complexes is representable as $F(-)=[-,Y\;]$, and takes values in the category of groups. You wish to show that $Y$ is a group-up-to-homotopy. To get a multiplication on $Y$ use the naturality part of Brown's theorem (Theorem 9.13 in Switzer). The functor $F\times F$ is represented by $Y\times Y$, and the group multiplication is a natural transformation $F\times F\to F$, which is therefore represented by a map $m\colon\thinspace Y\times Y\to Y$, unique up to homotopy.

Now check that the group axioms for $F(-)$ yield the desired properties of $m$ (associative, unital, with inverses up to homotopy).

share|cite|improve this answer

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.