How Big are the Stable Homotopy Groups of Spheres?

TL;DR

This paper establishes subexponential bounds on the size of stable and unstable homotopy groups of spheres, linking these bounds to the telescope conjecture and advancing understanding of their growth rates.

Contribution

It provides the first subexponential bounds on the size of stable and unstable homotopy groups of spheres and relates these bounds to the telescope conjecture.

Findings

p-torsion exponent of stable stems grows sublinearly in n

p-rank of the E2-page of Adams spectral sequence grows as exp(Θ(log(n)^3))

First subexponential bounds on stable and unstable homotopy groups of spheres

Abstract

In this article we show that the $p$-torsion exponent of the stable stems grows sublinearly in $n$ and the $p$-rank of the $E_2$-page of the Adams spectral sequence grows as $\exp(\Theta( \log(n)^3))$. Together these bounds provide the first subexponential bound on the size of the stable stems. Conversely, we prove that a certain, precise, version of the failure of the telescope conjecture would imply that the upper bound provided by the Adams $E_2$-page is essentially sharp -- answering the titular question: As big as the fate of the telescope conjecture demands. In an appendix joint with Andrew Senger we consider the unstable analog of this question. Bootstrapping from the stable bounds we prove that the size of the $p$-local homotopy groups of spheres grows like $\exp(O(\log(n)^3))$, providing the first subexponential bound on the size of the unstable stems.