8
$\begingroup$

Write $M_n = S^n \cup_2 D^{n+1}$. I know, as a matter of folklore, that the identity map $\mathrm{id}_M$, considered as an element of the group $[M_n, M_n]$, has order $4$ (for $n > 3$, let's say).

What is a reference for this? And is there a simple and pretty argument?

$\endgroup$

3 Answers 3

5
$\begingroup$

Alternatively: if the order were $2$ then $M_n\wedge M_n$ would be $M_{2n}\vee M_{2n+1}$. The mod $2$ cohomology of $M_n$ has a generator $a$ in degree $n$ and a generator $b=Sq^1(a)$ in degree $n+1$ and nothing else. It follows that the cohomology of $M_n\wedge M_n$ has generators $a\otimes a$, $a\otimes b$, $b\otimes a$ and $b\otimes b$ and we find using the Cartan formula that $Sq^2(a\otimes a)=b\otimes b$. However, $Sq^2$ is zero on the cohomology of $M_{2n}\vee M_{2n+1}$.

$\endgroup$
1
  • 2
    $\begingroup$ A textbook reference for this argument is Example 4L.7 on page 495 of my Algebraic Topology book. $\endgroup$ Nov 19, 2010 at 11:24
8
$\begingroup$

If the identity map from $X$ to itself, considered as a stable map, is killed by $m$, then for any generalized cohomology theory $E$ every reduced cohomology group $E^nX$ is killed by $m$. But when $X=\mathbb RP^2$ and $E$ is real $K$-theory there is a class not killed by $2$: if $L$ is the nontrivial rank $1$ vector bundle then $L\oplus L$ is not stably trivial because its second Stiefel-Whitney class is not $0$.

$\endgroup$
6
$\begingroup$

I don't know who first proved this fact, but a standard reference would be this paper of Toda's. It is stated as Theorem 4.1. Toda's proof is essentially the same as Tom's answer.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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