Math 2.0

Algebraic topology Definition

Stable homotopy groups of spheres

Builds on Homotopy groups of spheresHomotopy groupSuspension

Definition

Let k≥0k \ge 0 be an integer. For n≥1n \ge 1, let E ⁣:πn+k(Sn)→πn+k+1(Sn+1)E \colon \pi_{n+k}(S^n) \to \pi_{n+k+1}(S^{n+1}) be the suspension homomorphism, which sends the class of ff to the class of its suspension Σf\Sigma f. The kk-th stable homotopy group of spheres is the colimit πks=colim⁡nπn+k(Sn)\pi_k^s = \operatorname{colim}_{n} \pi_{n+k}(S^n) of the sequence of homotopy groups of spheres πk+1(S1)→πk+2(S2)→πk+3(S3)→⋯\pi_{k+1}(S^1) \to \pi_{k+2}(S^2) \to \pi_{k+3}(S^3) \to \cdots along the maps EE.

Remarks

By the Freudenthal suspension theorem, E ⁣:πn+k(Sn)→πn+k+1(Sn+1)E \colon \pi_{n+k}(S^n) \to \pi_{n+k+1}(S^{n+1}) is an isomorphism for n≥k+2n \ge k + 2. So πks≅πn+k(Sn)\pi_k^s \cong \pi_{n+k}(S^n) for every n≥k+2n \ge k + 2.

Example: π0s≅ℤ\pi_0^s \cong \Z, because πn(Sn)≅ℤ\pi_n(S^n) \cong \Z for all nn and EE preserves the degree.

Example: π1s≅ℤ/2\pi_1^s \cong \Z/2, generated by the suspensions of the Hopf map S3→S2S^3 \to S^2; the group π3(S2)≅ℤ\pi_3(S^2) \cong \Z itself is not yet in the stable range, since n=2<k+2=3n = 2 < k + 2 = 3.

The next values are π2s≅ℤ/2\pi_2^s \cong \Z/2, π3s≅ℤ/24\pi_3^s \cong \Z/24, π4s=π5s=0\pi_4^s = \pi_5^s = 0, π6s≅ℤ/2\pi_6^s \cong \Z/2 and π7s≅ℤ/240\pi_7^s \cong \Z/240. Composition of maps makes π∗s=⨁kπks\pi_*^s = \bigoplus_k \pi_k^s a graded commutative ring. For k≥1k \ge 1, the group πks\pi_k^s is finite.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Homotopy group concept
  2. Homotopy groups of spheres concept
  3. Suspension concept
  4. Stable homotopy groups of spheres definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres
About this page
Tag5SY318V6S3
URIm2://5SY318V6S3
Kinddefinition
WritingW0 stub
MSC55Q45, 55Q10
DefinesStable homotopy groups of spheres
UsesHomotopy groups of spheres, Homotopy group, Suspension
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.