Skip to main content
2 of 3
Maclane --> MacLane
skd
  • 5.8k
  • 1
  • 24
  • 44

Here are two ways of thinking about it. The first comes from the way one proves the final statement you cited: if $X$ has finitely many nonzero homotopy groups which are all finitely generated, then it is an extension of Eilenberg-MacLane spectra, which necessarily have infinitely many cells to kill most of their homotopy groups. This necessitates $X$ having huge (i.e., not finitely generated) homology, etc. Using this observation, one can also prove your first statement that any nonzero finite spectrum must have infinitely many nonzero homotopy groups: every finite spectrum is harmonic (i.e., $\bigvee_{n\geq 0} K(n)$-local, where $K(n)$ is the $n$th Morava $K$-theory), but torsion Eilenberg-MacLane spectra are all dissonant. One now concludes using the observation that $\pi_\ast X\otimes\mathbf{Q} = \mathrm{H}_i(X;\mathbf{Q})$ must be bounded. One can similarly prove the second statement you made. This shows where the duality between Postnikov and cellular decompositions of spectra comes from.

The second way of thinking about this comes from Brown-Comenetz duality. Let $I_{\mathbf{Q/Z}}$ denote the Brown-Comenetz dualizing spectrum, defined so that $\pi_\ast F(X, I_{\mathbf{Q/Z}}) = \mathrm{Hom}(\pi_{-\ast} X, \mathbf{Q/Z})$. In his answer to my question at https://mathoverflow.net/a/301928/102390, Strickland argues that if $X$ is a spectrum, then $X$ is $I_{\mathbf{Q/Z}}$-acyclic if and only if $F(X, S^0)$ is contractible. If $X$ is finite, then this happens if and only if $X$ is itself contractible. In other words, nontrivial finite spectra are never $I_{\mathbf{Q/Z}}$-acyclic. However, almost every non-finite spectrum you can concoct (e.g., any spectrum with unbounded cohomology) will be $I_{\mathbf{Q/Z}}$-acyclic; see Strickland's answer for more. (One interesting non-example is the infinite stunted projective space $P^\infty_{-\infty}$, which doesn't look like a finite spectrum, but is in fact equivalent to the $2$-complete sphere by Lin's theorem.) In fact, Drew's answer to my question discusses the dichotomy conjecture, which states that if $E$ is any spectrum which is not $I_{\mathbf{Q/Z}}$-acyclic, then there is a finite spectrum $X$ such that $\langle E \rangle \geq \langle F \rangle$. (One interesting example of a non-finite spectrum $E$ which satisfies this is $\mathbf{C}P^\infty$; an unpublished theorem of Hopkins says that it satisfies $\langle \mathbf{C}P^\infty\rangle = \langle S^0 \rangle$.)

By the way, note that most of your claims are also true unstably. For example, the claim that any nonzero finite complex must have infinitely many nonzero homotopy groups is also true unstably: this is the McGibbon-Neisendorfer theorem. Also note that the distinction you talk about disappears rationally: in the stable world, the rational sphere is just the Eilenberg-MacLane spectrum $\mathbf{Q}$, and unstably, I'm pretty sure that the only spaces whose Hurewicz map is an isomorphism are given by the $K(\mathbf{Q},n) \simeq S^n_\mathbf{Q}$ for odd $n$. Finally, you should also look up Eckmann-Hilton duality (and, in particular, Fuks duality).

skd
  • 5.8k
  • 1
  • 24
  • 44