Group and Lie algebra filtrations and homotopy groups of spheres

Abstract

We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary $s,d$ the torsion of the homotopy group ${\pi }_s(S^d)$ into a dimension quotient, via a result of Wu. In particular, this invalidates some long-standing results in the literature, since for every prime $p$, there is some $p$-torsion in ${\pi }_{2p}(S^2)$ by a result of Serre. We explain in this manner Rips's famous counterexample to the dimension conjecture in terms of the homotopy group ${\pi }_4(S^2)=\mathbb{Z}/2\mathbb{Z}$. We finally obtain analogous results in the context of Lie rings: for every prime $p$ there exists a Lie ring with $p$-torsion in some dimension quotient.

arXiv commentReplacement for previous articles arXiv:1803.09428: "An odd order group without the dimension property" and arXiv:1805.10894: "Homotopy groups of spheres and dimension quotients"