5
$\begingroup$

Let $X$ and $Y$ be topological spaces. Let $\langle X,Y\rangle$ denote the homotopy classes of maps from $X$ and $Y$. The reduced suspension $\Sigma(-)$ has the adjoint $\Omega(-)$. In other words, we have $$ \langle \Sigma X, Y \rangle\cong \langle X,\Omega Y\rangle $$ for all $X$ and $Y$.

I am always confused with on which side I should put $\Sigma$. What is the easiest or intuitive way to think of this isomorphism? Are there a good way to memorize this this formula?

  • 0
    I think of the suspension as being made-up of a bunch of "loops" that crash through $X$. So a map out of $\Sigma X$ to $Y$ is a map from $X$ to $\Omega Y$.2012-09-24
  • 0
    I agree with Ryan. Given a map $f:\Sigma X \rightarrow Y$, one can get a loop $f_{x}:\{x\}\times I\rightarrow Y$ for each $x\in X$, where $I$ is the unit interval appearing in the definition of reduced suspension.2012-09-24

1 Answers 1

5

The easiest way is to think about the adjunctions you do know. I like to think about the Hom-Tensor adjunction. That is all the above is (in the category of pointed spaces). Let me know if you need me to elaborate.

  • 0
    I would like to see how tensor appears in this context.2012-09-24
  • 3
    @M.K. the monoidal product is the smash product, which is adjoint to the function space. Smashing with $S^1$ gives you suspension and 'hom'-ing out of $S^1$ gives you the loop-space. See http://en.wikipedia.org/wiki/Smash_product#Adjoint_relationship2012-09-24
  • 0
    My problem is why the smash product plays the role of the tensor product in the category of pointed spaces.2012-09-25
  • 1
    @M. K. - I'm not sure what you would consider an appropriate answer here. It is the (symmetric) monoidal product in the category of pointed sets (in the same way the tensor product is the monoidal product in the category of (commutative) $R$-modules. It even satisfies a similar universal property - see Rune's answer: http://mathoverflow.net/questions/105753/universal-property-of-the-smash-product-of-pointed-spaces/105833#1058332012-09-25
  • 0
    Thanks, Juan. I will think about it more.2012-09-26