Result 313, Topology

Finite generation for the K(n)K(n)-local sphere

Answers the degreewise finiteness question of Hovey and Hovey–Strickland: every homotopy group of the K(n)K(n)-local sphere is a finitely generated ℤp-module, for every prime, positive height and integer degree. The same conclusion holds after K(n)K(n)-localizing any finite p-local spectrum.

Proof

The bigger picture

Why it matters

The sphere spectrum is a basic building block for stable topology. The manuscript claims that its information, filtered by a prime and a height, has a controlled algebraic form in every degree.

What changes?

The manuscript reports that, for every prime p, positive height n and integer degree, the K(n)-local sphere's homotopy group is finitely generated over the p-adic integers. Homotopy groups record stable topological information degree by degree. K(n)-localization keeps information detected by Morava K-theory at p and n. Finite generation means finitely many elements suffice with p-adic integer coefficients. This also holds after K(n)-localizing any finite p-local spectrum, a finite-cell stable object with primes other than p inverted.

What does that help mathematicians do?

The claimed finiteness sharply restricts what these groups can look like: each is a finite-rank p-adic part plus a finite group of elements killed by powers of p. Researchers can therefore rule out infinitely many independent generators in any single degree. This does not make the groups finite sets, calculate their generators, or supply a uniform bound across primes, heights or degrees.

Are there practical applications?

The immediate value is foundational: the result constrains invariants used to study stable topological objects one prime and height at a time. It supplies a degreewise finiteness guarantee for localized finite spectra, rather than an explicit computational method. Using that guarantee in calculations would still require ways to identify the generators and their relations.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

Finite generation for the K(n)-local sphere

September 24, 2026 103 pages

We prove that the homotopy groups of the K(n)K(n)-local sphere are finitely generated ℤp-modules in every integer degree, for every prime p and positive height n. Equivalently, the same conclusion holds after K(n)K(n)-localizing any finite p-local spectrum. This answers the degreewise finiteness question of Hovey and Hovey–Strickland.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Finite-generation-for-the-Kn-local-sphere-September-24-2026,
  author = {{OpenAI}},
  title = {{Finite generation for the $K(n)$-local sphere}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Finite-generation-for-the-Kn-local-sphere-September-24-2026/Finite-generation-for-the-Kn-local-sphere-September-24-2026.pdf}{OAI:Finite-generation-for-the-Kn-local-sphere-September-24-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.