Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Revisiting Pontryagin's Proof of Stable Stems 1 and 2

Trishan Mondal

TL;DR

The paper revisits Pontryagin's geometric proof of the first two stable stems using framed cobordism and the Pontryagin–Thom construction, connecting maps $M\to S^p$ to framed cobordism classes of Pontryagin submanifolds via residues and degrees. It provides expository, notation-refreshing proofs that incorporate modern machinery (Eilenberg–MacLane spaces, suspension, Hurewicz) and introduces the Arf invariant to distinguish nontrivial Pontryagin manifolds, including a correction to Pont2 regarding $\pi_2^S$. Through the Hopf fibration and Freudenthal suspension, the authors establish $\pi_1^S\cong \mathbb{Z}/2\mathbb{Z}$ and $\pi_2^S\cong \mathbb{Z}/2\mathbb{Z}$, giving a concrete geometric realization of these early stable stems. The work situates these calculations in the broader stable-homotopy framework, illustrating how framed cobordism and degree-type invariants encode essential information about maps into spheres and their homotopy classes. It also discusses limitations and potential extensions to higher stems, highlighting the enduring value of Pontryagin's viewpoint in modern homotopy theory.

Abstract

In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the Pontryagin-Thom construction. Using this framework, we compute the stable stems in dimensions $0$, $1$, and $2$. This work is primarily expository, revisiting proofs from \cite{Pont1} with slight modifications incorporating modern notation. Furthermore, in the final section, we discuss 2-dimensional framed manifolds with Arf invariant one and examine why the result of \cite{Pont2} regarding $π_2^S$ is incorrect.

Revisiting Pontryagin's Proof of Stable Stems 1 and 2

TL;DR

The paper revisits Pontryagin's geometric proof of the first two stable stems using framed cobordism and the Pontryagin–Thom construction, connecting maps to framed cobordism classes of Pontryagin submanifolds via residues and degrees. It provides expository, notation-refreshing proofs that incorporate modern machinery (Eilenberg–MacLane spaces, suspension, Hurewicz) and introduces the Arf invariant to distinguish nontrivial Pontryagin manifolds, including a correction to Pont2 regarding . Through the Hopf fibration and Freudenthal suspension, the authors establish and , giving a concrete geometric realization of these early stable stems. The work situates these calculations in the broader stable-homotopy framework, illustrating how framed cobordism and degree-type invariants encode essential information about maps into spheres and their homotopy classes. It also discusses limitations and potential extensions to higher stems, highlighting the enduring value of Pontryagin's viewpoint in modern homotopy theory.

Abstract

In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the Pontryagin-Thom construction. Using this framework, we compute the stable stems in dimensions , , and . This work is primarily expository, revisiting proofs from \cite{Pont1} with slight modifications incorporating modern notation. Furthermore, in the final section, we discuss 2-dimensional framed manifolds with Arf invariant one and examine why the result of \cite{Pont2} regarding is incorrect.

Paper Structure

This paper contains 15 sections, 20 theorems, 71 equations, 2 figures.

Table of Contents

  1. Introduction to Homotopy theory
  2. Relative Homotopy groups.
  3. Cofiber sequence
  4. Some Results
  5. CW approximations
  6. Eilenberg-MacLane Spaces
  7. Homotopy Excision Theorem
  8. Freudenthal Suspension Theorem
  9. Hurewicz Theorem
  10. Stability
  11. Framed Cobordism-The Pontryagin Construction
  12. Hopf's Theorem and $\pi_n(\mathbb{S}^n)$ or $\pi^{S}_0$
  13. The first stem: $\pi^S_1$
  14. The second stem : $\pi_2^S$
  15. Conclusion

Key Result

Theorem 1.1

For any space $S \in \mathbf{Top}_{\ast}$ the above fiber sequence induces the following long exact sequence,

Figures (2)

  • Figure 1: Possible framings of $\mathbb{S}^1\hookrightarrow \mathbb{R}^3$
  • Figure 2: Example of Handlebody decomposition of a morse function

Theorems & Definitions (22)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Lemma 1
  • Lemma 2
  • Theorem 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Theorem 1.8
  • ...and 12 more