7
$\begingroup$

Let $X$ be a CW-spectrum. It is well-known that $[\_ ,X]$ is a generalized cohomology theory and, by Brown's representability theorem, every generalized theory is $H$ represented by a spectrum (namely, $H$ has this form).

What about $[X, \_]$? Is it a homology theory? (I do not claim every homology is corepresented by a spectrum.)

Improve this question
$\endgroup$
2
  • 1
    $\begingroup$ @LSpice thank you. $\endgroup$
    – Victor TC
    Commented May 21, 2020 at 23:36
  • $\begingroup$ No worries. You can also rollback an edit, rather than making the opposite edit. $\endgroup$
    – LSpice
    Commented May 21, 2020 at 23:39

1 Answer 1

Reset to default
22
$\begingroup$

This holds only for compact objects (i.e. finite CW spectra), since it is easy to see that additivity fails otherwise (the other axioms of homology theories are satisfied). The usual way to obtain a homology theory from a spectrum $X$ is to consider $\pi_*(X\otimes -)$, note that for compact $X$ your $[X,-]$ is of this form as well, since $$ [X,-] = \pi_*(DX\otimes -) $$ by Spanier-Whitehead duality.

Improve this answer
$\endgroup$
1
  • $\begingroup$ I also suspected that some conditions on X were necessary, but these notes left me puzzled (see page 4), thank you!. $\endgroup$
    – Victor TC
    Commented May 22, 2020 at 14:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .