# Geometric meaning of torsion in homotopy groups

It is not too hard to understand the geometric meaning of torsion in homology groups of CW complexes. However, I thought it would be interesting to hear how people describe/think of the geometric meaning of torsion in the homotopy groups of a CW-complex.

-
Incidentally, what is the geometric meaning of torsion in homology groups? – S. Carnahan Apr 7 '11 at 3:07
Scott: take a look at mathoverflow.net/questions/25865/… – KConrad Apr 7 '11 at 3:19
@S. Carnahan: Since the OP restricts his question to CW complexes, I suspect he has cellular homology in mind, whence torsion in homology is (reasonably) geometric, I guess. – Daniel Litt Apr 7 '11 at 3:20

Well, the silly answer is that $f:\mathbb{S}^k\to X$ represents a torsion element of order $p$ if $p \cdot f:\mathbb{S}^k\to X$ extends along $\mathbb{S}^k \hookrightarrow D^{k+1}$ to a map $\varphi: D^{k+1}\to X$.

The slightly less silly answer --- the slightly deeper answer, that is --- is that, equivalently, $f$ itself extends to a map $\tilde f: P^{k+1}(p)\to X$. Here $P^{k+1}(p)$ is the CW complex built of a point, a $k$-cell and a $(k+1)$-cell, where the $(k+1)$-cell is attached by a degree-$p$ map ${"p}$; and it's called the $(k+1)$th (cyclic) Moore space of order $p$.

For any $p$ the Moore spaces form a suspension spectrum $P^{k+1}(p) \simeq \mathbb{S}^1\wedge P^k(p)$, and there is in fact a long cofibration sequence $$\mathbb{S}^1 \overset{"p}{\to} \mathbb{S}^1 \to P^2(p) \to \mathbb{S}^2 \overset{"p}{\to} \dots$$ which gives rise to a long exact sequence of generalized homotopy groups $$\pi_1(X) \leftarrow \pi_2(X,p) \leftarrow \pi_2(X) \overset{p}{\leftarrow} \pi_2(X) \leftarrow \pi_3(X,p)\leftarrow \cdots$$ which in turn, for $n$ large enough, breaks up into the homotopy Universal Coefficient Theorem $$0\leftarrow \mathrm{Tor}(\pi_n(X),\mathbb{Z}/(p)) \leftarrow \pi_{n+1}(X,p) \leftarrow \pi_{n+1}(X)\otimes \mathbb{Z}/(p) \leftarrow 0.$$

The letter $P$ is used here because, at least because they have also been called Peterson spaces, and maybe because $P^2(2)\simeq \mathbb{RP}^2$ is the real projective plane.

Note that I'm using the letter $p$ because when I worry about these things $p$ is usually prime, but that's not necessary in the above.

We give up continuing the sequence at the first $\pi_1(X)$ because, without more information, it's not clear that $({"p})_\sharp$ should be a group homomorphism. Someone else can remind me what we can still say about the underlying sets.

-
I was told that the letter $P$ is used because these used to be called Peterson spaces. – John Palmieri Apr 7 '11 at 6:11
Oh, that could be, too... mathematician often have poetic hearts, as well... – some guy on the street Apr 7 '11 at 12:48
Funny fact: the univ coeff sequence does not always split. See mathoverflow.net/questions/46576/… – Tom Goodwillie Apr 7 '11 at 14:43
@Tom, yes, that's a fun one. Recalling recent posts at the $n$-Cafe, this feels like further emphasis that the splitting is not natural. See particularly golem.ph.utexas.edu/category/2011/03/… – some guy on the street Apr 15 '11 at 16:45