Finite generation for the K(n)-local sphere

1 · The essentials

The manuscript studies a basic mathematical object called the sphere, viewed through a particular mathematical filter. This filter depends on a prime number and a positive whole-number setting called its height. The question is whether the information obtained at each integer degree can be generated from a finite list using the allowed number system. The manuscript shows that it can, for every prime, every positive height, and every integer degree. This does not mean that there are only finitely many possible values: it means that a finite list suffices to generate them. The manuscript also states the equivalent conclusion for a broader class of finite objects viewed through the same filter. The main result has not been formalized in Lean or formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine a collection of designs that can all be assembled from a finite set of reusable pieces. The collection itself need not be finite, and different collections may require different sets of pieces; likewise, the result concerns finite generation separately in each degree.

Why it matters

The manuscript answers the degreewise finiteness question attributed in the source to Hovey and Hovey–Strickland. Its scope includes every prime and every positive height, rather than only selected cases. The equivalent statement extends the conclusion from the localized sphere to the localization of any finite $p$ -local spectrum.

2 · Going further

Fix a prime $p$ and a positive height $n$ . The precise question concerns the homotopy groups of the $K (n)$ -local sphere: for every integer $k$ , is $π_{k} (L_{K (n)} S)$ a finitely generated $Z_{p}$ -module? Here $L_{K (n)} S$ denotes the $K (n)$ -local sphere and $Z_{p}$ is the ring of $p$ -adic integers. Finite generation means that finitely many elements generate the module using coefficients in that ring; it does not mean that the underlying group is a finite set.

The main manuscript shows this finite-generation statement for every prime $p$ , every positive height $n$ , and every integer degree $k$ . The abstract states an equivalent formulation: if $X$ is any finite $p$ -local spectrum, then $π_{k} (L_{K (n)} X)$ is a finitely generated $Z_{p}$ -module in every integer degree. The conclusion is degreewise: the supplied statement gives no uniform bound on the number of generators as the degree, prime, height, or spectrum varies.

The source identifies this as an answer to the degreewise finiteness question of Hovey and Hovey–Strickland. However, the supplied abstract states the result without describing the argument, so no method of establishing it can be explained from this material alone. Only the main manuscript is supplied; no companion manuscripts or relationships between them are described.

Useful notions

Prime numbers and positive integer heights
Spectra and their homotopy groups
$K (n)$ -localization
$p$ -adic integers
Finite generation of modules

What was known before / what is new

Before

The source identifies a degreewise finiteness question of Hovey and Hovey–Strickland. It provides no account of earlier partial results, methods, or restrictions under which the question had previously been settled.

New

The manuscript shows that every integer-degree homotopy group of the $K (n)$ -local sphere is finitely generated over $Z_{p}$ , for every prime $p$ and positive height $n$ . It also states the equivalent conclusion after $K (n)$ -localizing any finite $p$ -local spectrum.

Limits and assumptions

The hypotheses require a prime $p$ and a positive height $n$ ; the broader formulation applies to finite $p$ -local spectra, not arbitrary spectra. The conclusion is finite generation over $Z_{p}$ separately in each integer degree, not finiteness of the underlying groups or a stated uniform bound on generators. The main result is not formalized in Lean and has not been formally verified. The supplied abstract gives no argument and identifies no remaining open questions.

Mini glossary

Finite generation: A module is finitely generated when every element can be expressed as a linear combination of a fixed finite list of elements, with coefficients in its coefficient ring.
$Z_{p}$: The ring of $p$ -adic integers, which supplies the coefficients for the finite-generation statement.
Degreewise: A property holds degreewise when it holds separately at each integer degree.
$K (n)$ -local sphere: The object obtained by applying $K (n)$ -localization to the sphere.

Keywords : $K(n)$-local sphere · Finite generation · Homotopy groups

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Answers the degreewise finiteness question of Hovey and Hovey–Strickland: every homotopy group of the $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)$ -localizing any finite p-local spectrum.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

Finite generation for the K(n)-local sphere

24/09/2026

To be verified

We prove that the homotopy groups of the $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)$ -localizing any finite p-local spectrum. This answers the degreewise finiteness question of Hovey and Hovey–Strickland.

PDF GitHub folder