Of course it isn't really that hard - nowhere near as hard as $\pi_k(S^n)$ for $k>n$, for instance. The hardness that I'm referring to is based on the observation that apparently nobody knows how to do the calculation within the homotopy category of topological spaces. Approaches that I'm aware of include:

-Homology theory (the Hurewicz theorem)

-Degree theory

-The divergence theorem

and each of these reduces to a calculation within some other category (PL or Diff). My question is: is there something "wrong" with hTop that precludes a computation of $\pi_n(S^n)$ within that category?

Certainly if my assumption that such a proof does not exist is wrong, I would be very interested to know it.

I have been thinking and reading further about this question for the past couple days, and I wanted to summarize some of the main points in the answers and questions:

- Some techniques - e.g. the Freudenthal Suspension Theorem via the James construction or the Hurewicz Theorem with singular homology - might actually lead to proofs without any approximation arguments. But so far I'm not sure we quite have it: the proof of the Freudenthal Suspension Theorem uses the fact that $J(X)$ is homotopy equivalent to the loop space of the suspension of $X$, but the only proofs I can find of this fact use a CW structure on $X$, and similarly for the proofs of the Hurewicz theorem. Can these results be proved for the sphere without PL or smooth approximation?
- Perhaps this question is entirely wrong-headed: the techniques of PL and smooth approximation are very well adapted to homotopy theory, so why try to replace them with a language which may end up adding more complications with little additional insight? Fair enough. But the goal of this question is not to disparage or seek alternatives to existing techniques, it is to understand exactly what role they play in the theory. The statement "The identity map $S^n \to S^n$ is homotopically nontrivial and freely generates $\pi_n(S^n)$" makes no mention of CW complexes or smooth structures, yet apparently the statement is difficult or impossible to prove without that sort of language (except in the case $n=1$!) To seek an understanding of this observation is different from lamenting it.

definitionof hTop is in terms of such homotopies. Without some of these basic tools under our control, we have almost no way to distinguish hTop from an arbitrary category. $\endgroup$ – Tyler Lawson Oct 21 '14 at 14:4718more comments