homotopy groups of spheres (changes) in nLab

Showing changes from revision #59 to #60: Added | Removed | Changed

Homotopy groups of spheres

---

My initial inclination was to call this book The Music of the Spheres, but I was dissuaded from doing so by my diligent publisher, who is ever mindful of the sensibilities of librarians. (D. Ravenel 86, preface)

With all due respect to anyone interested in them, the stable homotopy groups of spheres are a mess. (J. F. Adams 74, p 204)

---

Idea

The homotopy groups of spheres π n+k(S n)\pi_{n+k}(S^n) are the homotopy classes of maps S n+k⟶S nS^{n+k} \longrightarrow S^n

π n+k(S n)≔[S n+k,S n]. \pi_{n+k}(S^n) \coloneqq [S^{n+k}, S^n] \,.

For fixed kk, the colimit over nn with respect to the suspension homomorphism

π n+k(S n)⟶π n+k+1(S n+1) \pi_{n+k}(S^n) \longrightarrow \pi_{n+k+1}(S^{n+1})

over all π n+k(S n)\pi_{n+k}(S^n) (called the kk-stem) is called the stable homotopy groups of spheres (also: the “stable kk-stem”)

π k S=≔lim⟶ nπ n+k(S n). \pi_k^S = \coloneqq \underset{\longrightarrow}{\lim}_n \pi_{n+k}(S^n) \,.

In fact, by the Freudenthal suspension theorem, the value of the π n+k(S n)\pi_{n+k}(S^n) stabilizes for n>k+1n \gt k+1 (depend only on kk in this range), whence the name.

The stable homotopy groups of sphere are equivalently the homotopy groups of a spectrum for the sphere spectrum 𝕊\mathbb{S}

π k S=π k(𝕊). \pi_k^S = \pi_k(\mathbb{S}) \,.

The stable homotopy groups of spheres are notorious for their immense computational richness. Many of the tools of algebraic topology and stable homotopy theory were devised to compute more and more of the stable stems. This notably include the Adams spectral sequence, the Adams-Novikov spectral sequence.

Tables

The first few stable homotopy groups of the sphere spectrum 𝕊\mathbb{S} are

k=k =	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	⋯\cdots
π k(𝕊)=\pi_k(\mathbb{S}) =	ℤ\mathbb{Z}	ℤ/2\mathbb{Z}/2	ℤ/2\mathbb{Z}/2	ℤ/24\mathbb{Z}/{24}	00	00	ℤ/2\mathbb{Z}/2	ℤ/240\mathbb{Z}/{240}	(ℤ/2) 2(\mathbb{Z}/2)^2	(ℤ/2) 3(\mathbb{Z}/2)^3	ℤ/6\mathbb{Z}/6	ℤ/504\mathbb{Z}/{504}	00	ℤ/3\mathbb{Z}/3	(ℤ/2) 2(\mathbb{Z}/2)^2	ℤ/480⊕ℤ/2\mathbb{Z}/{480} \oplus \mathbb{Z}/2	⋯\cdots

The following tables show the p-primary decomposition of these and the following stable homotopy groups.

The horizontal index is the degree nn of the stable homotopy group π n\pi_n. The appearance of a string of kk connected dots vertically above index nn means that there is a direct summand primary group of order p kp^k. The bottom rows in each case are given by the image of the J-homomorphism.

See at fundamental theorem of finitely generated abelian grouops – Graphical representation for details on the notation used in these table, and see example 1 below for illustration.

(the following graphics are taken from Hatcher, based on (Ravenel 86)

p=2p = 2-primary component

p=3p = 3-primary component

p=5p = 5-primary component

Examples

0th stem

See at Hopf degree theorem.

1st stem

The first stable homotopy group of spheres (the first stable stem) is the cyclic group of order 2:

(1)π 1 s ≃ ℤ/2 [h ℂ] ↔ [1] \array{ \pi_1^s &\simeq& \mathbb{Z}/2 \\ [h_{\mathbb{C}}] &\leftrightarrow& [1] }

where the generator [1]∈ℤ/2[1] \in \mathbb{Z}/2 is represented by the complex Hopf fibration S 3⟶h ℂS 2S^3 \overset{h_{\mathbb{C}}}{\longrightarrow} S^2.

\begin{imagefromfile} “file_name”: “PuncturedSphereBordismBetweenTwoCircles.jpg”, “web”: “nlab”, “width”: 200, “unit”: “px”, “float”: “right”, “margin”: { “top”: -40, “right”: 0, “bottom”: 20, “left”: 20, “unit”: “px” }, “caption”: “from SS21” \end{imagefromfile}

Under the Pontrjagin-Thom isomorphism, identifying the stable homotopy groups of spheres with the bordism ring Ω • fr\Omega^{fr}_\bullet of stably framed manifolds (see at MFr), the generator (1) is represented by the 1-sphere (with its left-invariant framing induced from the identification with the Lie group U(1))

π 1 s ≃ Ω 1 fr [h ℂ] ↔ [S fr=1 1]. \array{ \pi_1^s & \simeq & \Omega_1^{fr} \\ [h_{\mathbb{C}}] & \leftrightarrow & [S^1_{fr=1}] \,. }

Moreover, the relation 2⋅[S Lie 1]≃02 \cdot [S^1_{Lie}] \,\simeq\, 0 is represented by the bordism which is the complement of 2 open balls inside the 2-sphere.

2nd stem

The second stable homotopy group of spheres…

3rd stem

The third stable homotopy group of spheres (the third stable stem) is the cyclic group of order 24:

(2)π 3 s ≃ ℤ/24 [h ℍ] ↔ [1] \array{ \pi_3^s &\simeq& \mathbb{Z}/24 \\ [h_{\mathbb{H}}] &\leftrightarrow& [1] }

where the generator [1]∈ℤ/24[1] \in \mathbb{Z}/24 is represented by the quaternionic Hopf fibration S 7⟶h ℍS 4S^7 \overset{h_{\mathbb{H}}}{\longrightarrow} S^4.

\begin{imagefromfile} “file_name”: “K3CobordismBetween24ThreeSpheres.jpg”, “web”: “nlab”, “width”: 260, “unit”: “px”, “float”: “right”, “margin”: { “top”: -40, “right”: 0, “bottom”: 20, “left”: 20, “unit”: “px” }, “caption”: “from SS21” \end{imagefromfile}

Under the Pontrjagin-Thom isomorphism, identifying the stable homotopy groups of spheres with the bordism ring Ω • fr\Omega^{fr}_\bullet of stably framed manifolds (see at MFr), the generator (2) is represented by the 3-sphere (with its left-invariant framing induced from the identification with the Lie group SU(2) ≃\simeq Sp(1) )

π 3 s ≃ Ω 3 fr [h ℍ] ↔ [S fr=1 3]. \array{ \pi_3^s & \simeq & \Omega_3^{fr} \\ [h_{\mathbb{H}}] & \leftrightarrow & [S^3_{fr=1}] \,. }

Moreover, the relation 24⋅[S Lie 3]≃024 \cdot [S^3_{Lie}] \,\simeq\, 0 is represented by the bordism which is the complement of 24 open balls inside the K3-manifold (e.g. Wang-Xu 10, Sec. 2.6, Bauer 10, SP 17).

Equivalently, the elements of π 3 s≃Ω 3 fr\pi_3^s \,\simeq\, \Omega^{fr}_3 are detected by half the Todd classes of cobounding manifolds with special unitary group-tangential structure on their stable tangent bundle (elements of the MSUFr-bordism ring):

We have the following short exact sequence of the MSU-, MSUFr- and MFr-bordism rings (Conner-Floyd 66, p. 104)

(3)0→ Ω 8•+4 SU ⟶i Ω 8•+4 SU,fr ⟶∂ Ω 8•+3 fr ≃ π 8•+3 s ↓ 12Td ↓ 12Td ↓ ↓ e ℝ 0→ ℤ ↪ ℚ ⟶ ℚ/ℤ = ℚ/ℤ \array{ 0 \to & \Omega^{SU}_{8\bullet+4} & \overset{i}{\longrightarrow} & \Omega^{SU,fr}_{8\bullet+4} & \overset{\partial}{ \longrightarrow } & \Omega^{fr}_{8\bullet + 3} & \simeq & \pi^s_{8\bullet+3} \\ & \big\downarrow{}^{\tfrac{1}{2}\mathrlap{Td}} && \big\downarrow{}^{\tfrac{1}{2}\mathrlap{Td}} && \big\downarrow{}^{} && \big\downarrow{}^{e_{\mathbb{R}}} \\ 0 \to & \mathbb{Z} &\overset{\;\;\;\;\;}{\hookrightarrow}& \mathbb{Q} &\overset{\;\;\;\;}{\longrightarrow}& \mathbb{Q}/\mathbb{Z} &=& \mathbb{Q}/\mathbb{Z} }

which produces from half the Todd class of cobounding (SU,fr)(SU,fr)-manifolds the KO-theoretic Adams e-invariant e ℝe_{\mathbb{R}} (Adams 66, p. 39) of the boundary manifold in Ω 8k+3 fr≃π 8k+3 s\Omega^{fr}_{8k + 3} \simeq \pi^s_{8k+3}. For k=0k = 0 this detects the third stable homotopy group of spheres, by the following:

Properties

Serre finiteness theorem

(Serre 53, see Ravenel 86, Chapter I, Lemma 1.1.8)

Nishida nilpotence theorem

The Nishida nilpotence theorem…

Relation to the framed bordism ring

By Thom's theorem, for any (B,f)-structure ℬ\mathcal{B}, there is an isomorphism (of commutative rings)

Ω • ℬ⟶≃π •(Mℬ) \Omega^{\mathcal{B}}_\bullet \overset{\simeq}{\longrightarrow} \pi_\bullet(M\mathcal{B})

from the cobordism ring of manifolds with stable normal ℬ\mathcal{B}-structure to the homotopy groups of the universal ℬ\mathcal{B}-Thom spectrum.

Now for ℬ=Fr\mathcal{B} = Fr framing structure, then

MFr≃𝕊 M Fr \simeq \mathbb{S}

is equivalently the sphere spectrum. Hence in this case Thom's theorem states that there is an isomorphism

Ω • fr⟶≃π •(𝕊) \Omega^{fr}_\bullet \overset{\simeq}{\longrightarrow} \pi_\bullet(\mathbb{S})

between the framed cobordism ring and the stable homotopy groups of spheres.

For discussion of computation of π •(𝕊)\pi_\bullet(\mathbb{S}) this way, see for instance (Wang-Xu 10, section 2) and (Putnam).

For instance

• Ω 0 fr=ℤ\Omega^{fr}_0 = \mathbb{Z} because there are two kk-framings on a single point, corresponding to π 0(O(k))≃ℤ 2\pi_0(O(k)) \simeq \mathbb{Z}_2, the negative of a point with one framing is the point with the other framing, and so under disjoint union, the framed points form the group of integers;

• Ω 1 fr=ℤ 2\Omega^{fr}_1 = \mathbb{Z}_2 because the only compact connected 1-manifold is the circle, there are two framings on the circle, corresponding to π 1(O(k))≃ℤ 2\pi_1(O(k)) \simeq \mathbb{Z}_2 and they are their own negatives.

J-homomorphism and Adams e-invariant

The following characterizes the image of the J-homomorphism

J:π •(O)⟶π •(𝕊) J \;\colon\; \pi_\bullet(O) \longrightarrow \pi_\bullet(\mathbb{S})

from the homotopy groups of the stable orthogonal group to the stable homotopy groups of spheres. This was first conjectured in (Adams 66) (since called the Adams conjecture) and then proven in (Quillen 71).

	nn	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
Whitehead tower of orthogonal group		orientation	spin group		string group				fivebrane group				ninebrane group
higher versions		special orthogonal group	spin group		string 2-group				fivebrane 6-group				ninebrane 10-group
homotopy groups of stable orthogonal group	π n(O)\pi_n(O)	ℤ 2\mathbb{Z}_2	ℤ 2\mathbb{Z}_2	0	ℤ\mathbb{Z}	0	0	0	ℤ\mathbb{Z}	ℤ 2\mathbb{Z}_2	ℤ 2\mathbb{Z}_2	0	ℤ\mathbb{Z}	0	0	0	ℤ\mathbb{Z}	ℤ 2\mathbb{Z}_2
stable homotopy groups of spheres	π n(𝕊)\pi_n(\mathbb{S})	ℤ\mathbb{Z}	ℤ 2\mathbb{Z}_2	ℤ 2\mathbb{Z}_2	ℤ 24\mathbb{Z}_{24}	0	0	ℤ 2\mathbb{Z}_2	ℤ 240\mathbb{Z}_{240}	ℤ 2⊕ℤ 2\mathbb{Z}_2 \oplus \mathbb{Z}_2	ℤ 2⊕ℤ 2⊕ℤ 2\mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2	ℤ 6\mathbb{Z}_6	ℤ 504\mathbb{Z}_{504}	0	ℤ 3\mathbb{Z}_3	ℤ 2⊕ℤ 2\mathbb{Z}_2 \oplus \mathbb{Z}_2	ℤ 480⊕ℤ 2\mathbb{Z}_{480} \oplus \mathbb{Z}_2	ℤ 2⊕ℤ 2\mathbb{Z}_2 \oplus \mathbb{Z}_2
image of J-homomorphism	im(π n(J))im(\pi_n(J))	0	ℤ 2\mathbb{Z}_2	0	ℤ 24\mathbb{Z}_{24}	0	0	0	ℤ 240\mathbb{Z}_{240}	ℤ 2\mathbb{Z}_2	ℤ 2\mathbb{Z}_2	0	ℤ 504\mathbb{Z}_{504}	0	0	0	ℤ 480\mathbb{Z}_{480}	ℤ 2\mathbb{Z}_2

• formalization of the homotopy groups of spheres in homotopy type theory

• EHP spectral sequence

• Adams–Novikov spectral sequence

• Music of the Spheres

References

General

Introductions and surveys:

• Alex Wright, Homotopy groups of spheres: A very basic introduction (pdf)

• Guozhen Wang, Zhouli Xu, A survey of computations of homotopy groups of Spheres and Cobordisms, 2010 (pdf, pdf)

• Andrew Putman, Homotopy groups of spheres and low-dimensional topology ([pdf]https://www3.nd.edu/~andyp/notes/HomotopySpheresLowDimTop.pdf), pdf)

• Allen Hatcher, Pictures of stable homotopy groups of spheres (html)

• Mark Mahowald, Doug Ravenel, Towards a Global Understanding of the Homotopy Groups of Spheres, in: Samuel Gitler (ed.): The Lefschetz Centennial Conference: Proceedings on Algebraic Topology II, Contemporary Mathematics volume 58, AMS 1987 (pdf, pdf, ISBN:978-0-8218-5063-3)

  (chromatic homotopy theory)

• Haynes Miller, Doug Ravenel, Mark Mahowald’s work on the homotopy groups of spheres (pdf)

• Doug Ravenel, Complex cobordism and stable homotopy groups of spheres, since 1986 (web)

• Stanley Kochmann, Stable Homotopy Groups of Spheres – A Computer-Assisted Approach, Lecture Notes in Mathematics, 1990

• Doug Ravenel, Nilpotence and Periodicity in Stable Homotopy Theory, Annals of Mathematics Studies 128, Princeton University Press (1992) [[ISBN:9780691025728](https://press.princeton.edu/books/paperback/9780691025728/nilpotence-and-periodicity-in-stable-homotopy-theory-am-128-volume), pdf, webpage]

• Stanley Kochmann, section 5 of of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996

• Daniel Isaksen, Guozhen Wang, Zhouli Xu, Stable homotopy groups of spheres, PNAS October 6, 2020 117 (40) 24757-2476 (arXiv:2001.04247, doi:10.1073/pnas.2012335117)

• Daniel Isaksen, Guozhen Wang, Zhouli Xu, More stable stems (arXiv:2001.04511)

A tabulation of stable homotopy groups of spheres is in

• Doug Ravenel, Appendix 3 of Complex cobordism and stable homotopy groups of spheres (pdf)

Original articles on basic properties:

• Jean-Pierre Serre, Groupes d’homotopie et classes de groupes abelien, Ann. of Math. 58 (1953), 258–294 (jstor:1969789)

Early computation of unstable homotopy groups of spheres π n+k(S k)\pi_{n+k}(S^k) up to n≤19n\leq 19:

• Hirosi Toda, Composition Methods in Homotopy Groups of Spheres, Annals of Mathematics Studies Vol. 49, Princeton University Press (1962) (jstor:j.ctt1bgzb5t)

See also:

• Wikipedia, Homotopy groups of spheres

• eom, Spheres, homotopy groups of the

• MathOverflow: Computational complexity of computing homotopy groups of spheres [[MO:q/31004](https://mathoverflow.net/q/31004/381)]

• Prasit Bhattacharya, Irina Bobkova, J.D. Quigley.J. D. Quigley: New infinite families in the stable homotopy groups of spheres (2024). (2024) ( [[arXiv:2404.10062](https://arxiv.org/abs/2404.10062)]arXiv:2404.10062).

Expressing the homotopy groups of the 2-sphere in terms of Brunnian braid groups:

• A. J. Berrick, Frederick R. Cohen, Y. L. Wong and J. Wu: Configurations, braids, and homotopy groups, J. Amer. Math. Soc. 19 (2006) 265-326 [[doi:10.1090/S0894-0347-05-00507-2](https://doi.org/10.1090/S0894-0347-05-00507-2), pdf]

On presentation of homotopy groups of the 2-sphere as centers of certain groups with finite presentations:

• Roman Mikhailov, Jie Wu. A combinatorial description of homotopy groups of spheres (2011). (arXiv:1108.3055).

On nontriviality of homotopy groups of the 2-sphere:

• Roman Mikhailov, Sergey Ivanov. On nontriviality of homotopy groups of spheres (2015). (arXiv:1506.00952).

Image of the J-homomorphism

Discussion of the image of the J-homomorphism is due to

• John Adams, On the groups J(X)J(X) IV, Topology 5: 21,(1966) Correction, Topology 7 (3): 331 (1968)

• Daniel Quillen, The Adams conjecture, Topology. an International Journal of Mathematics 10: 67–80 (1971)

Formalization in homotopy type theory

For formalization in homotopy type theory see

• formalization of the homotopy groups of spheres in homotopy type theory

• UF-IAS-2012, HomotopyGroupsOfSpheres

• Guillaume Brunerie, On the homotopy groups of spheres in homotopy type theory (arXiv:1606.05916)