3
$\begingroup$

Reading about Steenrod squares and a result regarding the Hopf invariant the following homeomorphism is used in a proof without being proved $$\Sigma^k(C_f) = C_{\Sigma^kf}.$$ Here $\Sigma$ is the reduced suspension and $C_f$ the mapping cone. I have written down a "proof" of this but it is hand-wavy to say the least.

So, assume $k=1$ (rest follows by induction). I argue that $\Sigma C X = C\Sigma X$, where $CX$ is the reduced cone, i.e. $CX = X\times I / \{x_0\}\times I\cup X \times\{1\}$.

By writing out the definitions I find $$C\Sigma X = X\times I \times I \big/ \{x_0\}\times I\times I \cup X\times \{0\}\times I\cup X\times\{1\}\times I\cup X\times I \times \{1\}$$ and $$\Sigma C X = X\times I \times I \big/ \{x_0\}\times I\times I\cup X\times I\times\{0\}\cup X\times I\times\{1\}\cup X\times\{1\}\times I.$$ Then $[x, t_1, t_2] \rightarrow [x, t_2, t_1]$ should be a homemorphism.

Continuing with $\Sigma C_f$ and writing out relations: $$\Sigma C_f = \Sigma Y \amalg \Sigma C X \big/ \left([x,0,t]\sim[f(x), t]\right) = C_{\Sigma f}$$ where the last equality follows from the homeomorphism above. Is this OK?

1 Answers 1

7

I think once you have established $\Sigma C(X) \cong C(\Sigma X)$ there is a more general argument you can follow to obtain the result. This goes as follows:

A mapping cone of a morphism is obtained by forming the pushout diagram:

$$\begin{array} =X & \stackrel{f}{\longrightarrow} & Y \\ \downarrow && \downarrow \\ C(X) & \longrightarrow & C(f) \end{array} $$

Then since the functor $\Sigma$ is left adjoint to the loop space functor it follows that $\Sigma$ commutes with pushouts, i.e., applying $\Sigma$ to the above diagram again yields a pushout diagram

$$\begin{array} 0\Sigma X & \stackrel{\Sigma f}{\longrightarrow} & \Sigma Y \\ \downarrow && \downarrow \\ \Sigma C(X) & \longrightarrow & \Sigma C(f) \end{array} $$

Now using the homeomorphism $\Sigma C(X) \cong C(\Sigma X)$ you can see that $\Sigma C(f)$ is a model for the Cone of the morphism $\Sigma(f)$.

  • 0
    Do you have a reference to prove $\Sigma C(X)\simeq C(\Sigma X)$?2012-10-12
  • 0
    Homeomorphism which you are asking for is written down in the question.2015-01-03