09-01-2026, 09:07 PM
Homotopy Groups of Spheres — Summary
The homotopy groups of spheres are among the central objects of algebraic topology. They describe, algebraically, the different ways one sphere can be continuously mapped or “wrapped” around another. The group $\pi_i(S^n)$ consists of homotopy classes of continuous maps from the $i$-sphere $S^i$ to the $n$-sphere $S^n$, where maps that can be continuously deformed into one another are considered equivalent. The easiest cases follow a clean pattern: if $0<i<n$, then $\pi_i(S^n)=0$, because every such map can be contracted to a constant map; while when $i=n$, $\pi_n(S^n)\cong\mathbb Z$, with the integer corresponding to the degree of the map—roughly, how many times the sphere wraps around itself.
The situation becomes dramatically harder when $i>n$. The first famous example is
$\pi_3(S^2)\cong\mathbb Z$, generated by the Hopf fibration $S^3\to S^2$. In general the higher groups $\pi_i(S^n)$ display complicated combinations of finite cyclic groups and torsion and have resisted complete calculation for almost a century. A major simplification comes from the Freudenthal suspension theorem: for fixed $k$, the groups $\pi_{n+k}(S^n)$ eventually stop depending on $n$ when $n\geq k+2$. These limiting objects are the stable homotopy groups of spheres, one of the main subjects of stable homotopy theory. The article reports stable groups as known through $k=90$, while the unstable groups remain substantially more difficult.
Historically, the subject developed through work by Poincaré, Čech, Hurewicz, Freudenthal, Hopf, Serre, Adams and many others. Serre proved a particularly striking result: almost all homotopy groups of spheres are finite; the principal exceptions occur in families such as $\pi_n(S^n)$. The search for these groups led to powerful machinery including spectral sequences, fibrations, cobordism, the $J$-homomorphism, Bott periodicity, and stable homotopy theory. Thus, despite the apparently simple geometry of spheres, their higher homotopy groups contain extraordinarily intricate algebraic information and remain one of topology's deepest computational problems.
Key takeaways
Wikipedia — Homotopy groups of spheres
The homotopy groups of spheres are among the central objects of algebraic topology. They describe, algebraically, the different ways one sphere can be continuously mapped or “wrapped” around another. The group $\pi_i(S^n)$ consists of homotopy classes of continuous maps from the $i$-sphere $S^i$ to the $n$-sphere $S^n$, where maps that can be continuously deformed into one another are considered equivalent. The easiest cases follow a clean pattern: if $0<i<n$, then $\pi_i(S^n)=0$, because every such map can be contracted to a constant map; while when $i=n$, $\pi_n(S^n)\cong\mathbb Z$, with the integer corresponding to the degree of the map—roughly, how many times the sphere wraps around itself.
The situation becomes dramatically harder when $i>n$. The first famous example is
$\pi_3(S^2)\cong\mathbb Z$, generated by the Hopf fibration $S^3\to S^2$. In general the higher groups $\pi_i(S^n)$ display complicated combinations of finite cyclic groups and torsion and have resisted complete calculation for almost a century. A major simplification comes from the Freudenthal suspension theorem: for fixed $k$, the groups $\pi_{n+k}(S^n)$ eventually stop depending on $n$ when $n\geq k+2$. These limiting objects are the stable homotopy groups of spheres, one of the main subjects of stable homotopy theory. The article reports stable groups as known through $k=90$, while the unstable groups remain substantially more difficult.
Historically, the subject developed through work by Poincaré, Čech, Hurewicz, Freudenthal, Hopf, Serre, Adams and many others. Serre proved a particularly striking result: almost all homotopy groups of spheres are finite; the principal exceptions occur in families such as $\pi_n(S^n)$. The search for these groups led to powerful machinery including spectral sequences, fibrations, cobordism, the $J$-homomorphism, Bott periodicity, and stable homotopy theory. Thus, despite the apparently simple geometry of spheres, their higher homotopy groups contain extraordinarily intricate algebraic information and remain one of topology's deepest computational problems.
Key takeaways
- $\pi_i(S^n)=0$ for $0<i<n$.
- $\pi_n(S^n)=\mathbb Z$ for every $n>0$.
- The first remarkable higher example is $\pi_3(S^2)=\mathbb Z$, generated by the Hopf fibration.
- For $i>n$, the groups become extremely complicated; their computation helped drive much of modern algebraic and stable homotopy theory.
Wikipedia — Homotopy groups of spheres
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘