A finite chain of building rules for local stable homotopy

← All digests

Family 311 · Topology
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-22

1. The question

Suppose we have a collection of geometric objects and a few ways to construct new ones: take sums, form mapping cones, extract direct summands, and multiply by other objects. Which collections are closed under these operations? A classification would describe the possible building rules, even when individual objects remain difficult to compute.

In stable homotopy theory, the objects are spectra, and chromatic localization isolates one layer of their arithmetic complexity. Family 311 asks this classification question for the dualizable objects at a fixed prime and chromatic height. The manuscript claims that every permitted collection lies in one finite, strictly ordered chain.

Its route passes through an apparently different problem: which algebraic subsets of a formal-group deformation space can be preserved by all sufficiently small symmetries? The claimed answer is that only the familiar height conditions survive. A previously established bridge turns that orbit statement into the topological classification.

2. Background and essential definitions

A spectrum packages spaces and suspension maps so that suspension becomes invertible. Stable homotopy groups measure maps from suspended spheres into a spectrum. The smash product, written $X\wedge Y$, plays the role of multiplication, while a cofiber sequence is the stable analogue of attaching cells.

Fix a prime $p$. Morava $K$-theory $K(n)$ detects chromatic height $n$, with $n\geq1$. The localization $L_{K(n)}X$ retains the information in $X$ visible to that theory. In the local category, multiplication means localizing the smash product again.

An object is dualizable when it has a dual with evaluation and coevaluation maps satisfying the usual identities, as a finite-dimensional vector space does. Dualizable local spectra form a category denoted here by $\mathcal D$. They are not simply the compact objects of the local category, and they do not include every local spectrum.

A thick tensor ideal in $\mathcal D$ is a collection closed under finite sums, suspension and desuspension, cofibers, direct summands, and multiplication by any object of $\mathcal D$. No closure under arbitrary infinite sums is imposed.

The algebraic side uses a formal group: a power series describing addition near an identity, subject to associativity and commutativity identities. Lubin–Tate theory organizes deformations of a height-$n$ formal group through the ring

$$E_0=W(\mathbb F_{p^n})[[u_1,\ldots,u_{n-1}]].$$

Here $\mathbb F_{p^n}$ is the finite field with $p^n$ elements. Its Witt-vector ring $W(\mathbb F_{p^n})$ is a complete unramified extension of the $p$-adic integers, with that residue field. The variables $u_i$ are deformation parameters. The standard ideals are

$$I_0=(0),\qquad I_h=(p,u_1,\ldots,u_{h-1})\quad(1\leq h\leq n).$$

Their vanishing loci describe successive height conditions. The Morava stabilizer group consists of symmetries of the original formal group and acts on its deformations. An open subgroup contains a neighborhood of the identity; invariance under such a subgroup is already a substantial symmetry requirement.

3. Development history and previous partial results

Hopkins and Smith classified thick subcategories of finite spectra using chromatic type. This established the basic expectation that a complicated world of constructions might have a short list of possible supports. Hovey and Strickland subsequently proposed an analogue for dualizable objects after fixing one Morava height.

The local problem is different from the finite-spectrum theorem. Localization introduces additional dualizable objects, and the coefficient ring retains deformation directions. Those directions could, in principle, support extra invariant subvarieties and hence extra tensor ideals.

Chai’s rigidity work on formal groups supplied an algebraic direction, often called Chai’s Hope in this setting. The relevant question concerns radical ideals invariant under stabilizer symmetries. A radical ideal records a closed set without its nilpotent thickening: if a power of an element belongs to the ideal, the element itself does too.

Barthel, Heard, and Naumann proved the height-two case and established the implication from the appropriate invariant-ideal classification to the Hovey–Strickland conjecture. Their 2022 paper provides the crucial bridge used here. Consequently, the new manuscript does not claim to invent that passage from algebra to topology.

The remaining task described in M1 is the orbit calculation at arbitrary height and prime. Its characteristic-zero argument develops a Lie-theoretic approach credited to Chai. Its positive-characteristic argument addresses the intermediate height strata, where ordinary tangent-space calculations alone do not capture all the necessary information.

4. What the new manuscripts claim

M1, dated 24 September 2026, states that for every prime and positive height, the proper prime ideals invariant under any open subgroup of the nonextended stabilizer are exactly

$$I_0,I_1,\ldots,I_n.$$

The invariant radical ideals are those ideals together with the unit ideal $E_0$. The same radical-ideal list holds for the canonical extended stabilizer, which also includes the finite-field Galois symmetries. This is the standard finite-residue-field formulation used in the paper.

For the topological conclusion, choose a finite spectrum $F(k)$ of type $k$: its lower Morava theories vanish, while $K(k)_*F(k)\neq0$. Put $K(0)=H\mathbb Q$, ordinary rational homology. Let $\mathcal D_k$ be the thick tensor ideal generated by $L_{K(n)}F(k)$, and set $\mathcal D_{n+1}=0$.

M1 claims that the complete list is

$$\mathcal D=\mathcal D_0\supsetneq\mathcal D_1\supsetneq\cdots \supsetneq\mathcal D_n\supsetneq\mathcal D_{n+1}=0.$$

Thus there are exactly $n+2$ ideals, independently of the choices of the finite type-$k$ spectra. At height one, for example, there are three: the whole category, one nonzero proper ideal, and zero.

The associated Balmer spectrum records prime tensor ideals, where a product belonging to an ideal forces at least one factor to belong. Its points are precisely $\mathcal D_1,\ldots,\mathcal D_{n+1}$. It has $n+1$ points, with

$$\overline{\{\mathcal D_j\}}=\{\mathcal D_\ell:j\leq\ell\leq n+1\}.$$

In particular, the zero ideal is the unique closed point. This topology packages which kinds of support can specialize into others.

5. Why the advance matters

Importance: 5/5, provisionally. If correct, the result completes a central classification problem in local chromatic homotopy theory at every prime and height. It also resolves the associated invariant-radical-ideal problem in the stated coefficient setting.

The conclusion replaces an open-ended search for possible construction classes by a finite chain. Given two dualizable objects, their supports determine whether one can be built from the other through the allowed finite operations. That is a structural gain even without an explicit description of either object’s homotopy groups.

The connection is also unusually informative: the allowed topological constructions are controlled by the orbit geometry of formal groups. Symmetry rules out hidden supports. The finite answer therefore expresses a rigidity property, rather than a claim that local spectra themselves are easy to enumerate.

6. The main idea

Orbits must fill their height stratum

The geometric objective is to show that an invariant equation cannot carve out an unexpected subset within a fixed height stratum. In characteristic $p$, the paper studies deformations with connected height $h$, together with an étale part of rank $n-h$. Compatible systems of division points provide coordinates for the latter information.

Small stabilizer elements move a point by increasingly tiny amounts. These movements involve repeated Frobenius powers, the characteristic-$p$ operation $x\mapsto x^p$. A usual first derivative can miss such motion: a power series can have zero derivative without being constant. The manuscript therefore keeps finite jets and rescales the Frobenius behavior, rather than relying on tangent directions alone.

If a nonzero equation vanished along the entire small orbit, this analysis would produce a formal relation among certain division-point vectors. The next step translates that relation into the geometry of vector bundles on the Fargues–Fontaine curve, an arithmetic curve designed to organize $p$-adic period information.

There, the manuscript uses a degree-one determinant comparison to promote independence of the original vectors to independence at the generic point. The stabilizer’s endomorphism algebra becomes sufficiently large at that point to contradict the proposed relation. This is the mechanism claimed to force orbit density.

From invariant equations to construction classes

Characteristic zero is handled separately through the Gross–Hopkins period map and projective tangent directions. Together, the two arguments rule out additional invariant prime ideals. Passing through the finitely many minimal primes of a radical ideal supplies the radical classification.

For a dualizable spectrum $X$, completed Morava $E$-homology gives a finite module whose support is a closed subset of the prime spectrum of $E_0$. Stabilizer symmetry makes this support invariant. The algebraic classification therefore forces it to be a standard height locus, or empty.

The support theorem supplied by Barthel–Heard–Naumann identifies finite construction from $Y$ with containment in the support of $Y$. Since the possible supports form a finite chain, any nonzero thick tensor ideal has a greatest support among those it contains. That produces the asserted complete list; one need not assume in advance that every ideal has a single generator.

7. Scope, limitations, and open questions

The classification concerns dualizable local spectra and thick tensor ideals. It does not classify all local spectra, all subcategories, or the individual objects inside each ideal. It does not compute all homotopy groups or all maps between spectra.

On the algebraic side, the assertion concerns invariant prime and radical ideals. Nonradical ideals can retain multiplicities and nilpotent information, so the displayed list is not a classification of every invariant ideal.

The finite residue field and canonical stabilizer actions are part of the formulation. The statement should not be transferred without explanation to every possible enlargement of the coefficient field. Likewise, a large-prime restriction appearing in the converse direction of earlier comparison results is not imposed on the forward implication used here.

The finite type-$k$ objects required for the construction chain come from established periodicity theory. The argument does not require the first-power Smith–Toda constructions discussed in family 308. Questions about explicit representatives, individual computations, and more refined module structures remain beyond this classification.

8. Sources and further reading

The theorem statements and orbit strategy above follow M1, especially its introduction and final support classification. For the historical bridge, see Barthel–Heard–Naumann, On conjectures of Hovey–Strickland and Chai. Hovey–Strickland’s Morava K-theories and localisation develops the local category and its original problems. Lubin–Tate’s formal-moduli paper supplies the deformation-theoretic starting point.

Source manuscripts

• M1. OpenAI, Stabilizer orbits and thick tensor ideals of dualizable K(n)-local spectra (September 24, 2026).

Sources consulted on 22 October 2026 at repository revision 1581d4c. Download the manuscript citations.