Table of Contents
Fetching ...

The higher structure of unstable homotopy groups

Samik Basu, David Blanc, Debasis Sen

TL;DR

This work develops unstable higher order homotopy operations indexed by finite subcategories of $\Delta$ and shows that the unstable homotopy groups of wedges of spheres are generated, under these operations, by Whitehead products and the group structure, providing an unstable analogue of Cohen's stable decomposition. A key device is a framework of sequential simplicial-space approximations and the notion of atomic maps, yielding that for the $k$-connected cover of $S^k$ the atomic maps are lifts of $\eta_k$, $\nu_k$, $\sigma_k$ and $\alpha_1(p)$ and that $\pi_*(\mathbf X)$ is generated by these atoms under higher order operations. The paper then analyzes spheres and complex projective spaces, showing transgression properties of indecomposables in Serre spectral sequences and giving a rational description of Hopf fibrations for $\mathbb{C}\mathbf P^n$, thereby illustrating how unstable higher operations organize the entire unstable homotopy algebra in these settings. Overall, the results illuminate the structure of unstable homotopy groups through a combinatorial and spectral-sequence–driven operadic lens, with potential implications for explicit decompositions and computations.

Abstract

We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $Δ^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by Whitehead products and the group structure. This provides a stronger unstable analogue of Cohen's theorem on the decomposition of stable homotopy.

The higher structure of unstable homotopy groups

TL;DR

This work develops unstable higher order homotopy operations indexed by finite subcategories of and shows that the unstable homotopy groups of wedges of spheres are generated, under these operations, by Whitehead products and the group structure, providing an unstable analogue of Cohen's stable decomposition. A key device is a framework of sequential simplicial-space approximations and the notion of atomic maps, yielding that for the -connected cover of the atomic maps are lifts of , , and and that is generated by these atoms under higher order operations. The paper then analyzes spheres and complex projective spaces, showing transgression properties of indecomposables in Serre spectral sequences and giving a rational description of Hopf fibrations for , thereby illustrating how unstable higher operations organize the entire unstable homotopy algebra in these settings. Overall, the results illuminate the structure of unstable homotopy groups through a combinatorial and spectral-sequence–driven operadic lens, with potential implications for explicit decompositions and computations.

Abstract

We construct certain unstable higher-order homotopy operations indexed by the simplex categories of for and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by Whitehead products and the group structure. This provides a stronger unstable analogue of Cohen's theorem on the decomposition of stable homotopy.

Paper Structure

This paper contains 7 sections, 9 theorems, 62 equations, 2 figures.

Key Result

Proposition 1.13

An element $\gamma\in \pi\sb{N}\|{\mathbf W}\!\sb{\bullet}\|$ is in filtration $n$ of the homotopy spectral sequence for ${\mathbf W}\!\sb{\bullet}$ if and only if it is a canonical value for the $(n+1)$-st order simplicial operation associated to (eqfulldata), for $N=n+k$.

Figures (2)

  • Figure 4.8: Spectral sequence for the fibration sequence $\mathcal{F}\sp{1}$.
  • Figure 4.9: Spectral sequence for the fibration sequence $\mathcal{F}\sp{2}$

Theorems & Definitions (36)

  • Definition 1
  • Definition 2
  • Definition 3
  • Remark 4
  • Definition 1.8
  • Remark 1.10
  • Proposition 1.13
  • Proposition 2.3
  • proof
  • Proposition 2.4
  • ...and 26 more