Let $Ho(Spc)$ be the homotopy category of spaces. There is an adjoint pair $$ \Sigma^k \colon Ho(Spc) \leftrightarrows Ho(Spc)\colon \Omega^k, $$ where $\Sigma^k$ is the $k$-th supension functor and $\Omega^k$ is the $k$-fold loop space functor ($k\ge 1)$. This adjunction has as associated monad the functor $\Omega^k\Sigma^k$. My question is what are the algebras over this monad (a precise reference to this fact would be welcome).

If we denote by $Ho^s$ the homotopy category of spectra, then there is another adjunction $$ \Sigma^{\infty} \colon Ho(Spc) \leftrightarrows Ho^s\colon \Omega^{\infty}, $$ where $\Sigma^{\infty}$ is the suspension spectrum functor. My question is again what are the algebras over the monad $\Omega^{\infty}\Sigma^{\infty}$.


I know interesting answers to two questions that are not the same as the one asked, but are related.

  1. Consider the monad $T=\Omega^\infty L_{K(n)}\Sigma^\infty$ on the homotopy category of spaces. It is straightforward to construct a functor $$\Omega^\infty:Ho(\{K(n)-\text{local spectra}\})\to \{T-\text{algebras}\}.$$ One can show using the Bousfield-Kuhn functor and related ideas that this is actually an equivalence.

  2. Consider the monad $Q=\Omega^\infty\Sigma^\infty$ on the category of based spaces (not up to homotopy). If we use spectra in the sense of Lewis and May, there is an evident functor $\Omega^\infty:\{\text{spectra}\}\to\{Q-\text{algebras}\}$. This is actually full and faithful (even on spectra whose homotopy groups are concentrated in negative degrees), which means that the point-set level $Q$-action carries a lot more information than you might naively guess. The key point in the proof is that we can use a trick with the Hopf map and space-filling curves to express $S^2$ as the coequaliser of two based maps from $S^3$ to $S^3$. This gives a natural way to express $\Omega^2X$ as the equaliser of two maps from $\Omega^3X$ to $\Omega^3X$, which allows us to do a bunch of things by induction.

  • $\begingroup$ I didn't know about this space-filling trick. Has it been written down? $\endgroup$ Mar 2 '11 at 20:22
  • 1
    $\begingroup$ I could send you a scruffy document that contains it. $\endgroup$ Mar 2 '11 at 20:40

(Everything I say here is up to homotopy equivalence.)

Algebras over $\Omega^k \Sigma^k$ are spaces $X$ equivalent to a $k$-fold loop space $\Omega^k Y$. Algebras over $\Omega^\infty \Sigma^\infty$ are infinite loop spaces; this is a little harder to say, but it is essentially that there is a sequence of spaces $Y_n$ with $Y_0 = X$ and equivalences $Y_n \simeq \Omega Y_{n+1}$.

The original and still canonical reference, which covers all of this in detail, is J.P. May's book "The geometry of iterated loop spaces," Lectures Notes in Mathematics 271.

EDIT: As Neil points out, I've misread the question. The statements above are for spaces, not for objects in the homotopy category of spaces.

  • 7
    $\begingroup$ This is certainly morally correct, but I don't think it is accurate as an answer to the question as posed. May constructs a monad $C_k$ on $Spc$ with a map $C_k\to\Omega^k\Sigma^k$. Connected algebras over $C_k$ in $Spc$ are weakly equivalent to $k$-fold loop spaces. However, algebras over the induced monad in $Ho(Spc)$ are more subtle. IIRC, the negative resolution of the 'transfer conjecture' (probably in the 1970s) showed that such algebras need not be infinite loop spaces. $\endgroup$ Mar 2 '11 at 19:05
  • $\begingroup$ @Neil: Thanks. I missed that he was taking about "H-infinity" rather than "E-infinity". $\endgroup$ Mar 2 '11 at 19:15
  • $\begingroup$ Thank you very much for your comments. Neil is right, the monads are to be considered in the homotopy category. $\endgroup$ Mar 3 '11 at 0:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.