Result 311, Topology

The Hovey–Strickland and Chai conjectures

Proves Chai's invariant-ideal conjecture for Lubin–Tate deformation rings over finite residue fields, at every prime and positive height n. Through the implication of Barthel–Heard–Naumann, this proves the Hovey–Strickland conjecture: dualizable K(n)K(n)-local spectra have exactly n+2n+2 thick tensor ideals, and their Balmer spectrum is a chain of n+1n+1 points.

Proof

The bigger picture

Why it matters

The manuscript reports a rigid classification of certain finite-like objects in topology. It links an algebraic symmetry problem to an exact count of the ways these topological objects can form families compatible with tensor products.

What changes?

For every prime and positive height n, the manuscript classifies prime and radical ideals invariant under an open Morava stabilizer subgroup in Lubin-Tate deformation rings, which encode variations of formal group laws. This proves Chai's conjecture in its finite-residue-field formulation. Through an implication of Barthel-Heard-Naumann, it obtains exactly n+2 thick tensor ideals among dualizable K(n)-local spectra: finite-like topological objects viewed at chromatic height n. These ideals are families closed under gluing constructions, taking direct summands and tensoring with other objects.

What does that help mathematicians do?

The reported classification gives researchers a complete list of these tensor-compatible families, rather than merely examples. Its Balmer spectrum, the space of prime tensor ideals, is a chain of n+1 points. Thus the prime ideals are nested, with no branching or additional incomparable cases. This sharply constrains how objects can be distinguished using prime tensor ideals, within this specific category and at each positive height.

Are there practical applications?

The immediate value is foundational: the result connects symmetry-invariant algebraic ideals with the organization of objects in chromatic topology. Researchers studying dualizable K(n)-local spectra can use the classification to check whether a proposed thick tensor ideal is genuinely new or must coincide with an existing one. No practical deployment or computational speedup is claimed.

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

Stabilizer orbits and thick tensor ideals of dualizable K(n)-local spectra

September 24, 2026 34 pages

We classify the prime and radical ideals of the Lubin–Tate deformation ring invariant under an open Morava stabilizer subgroup, at every prime and positive height. This proves Chai's invariant-ideal conjecture in the standard finite-residue-field formulation. It also proves the Hovey–Strickland conjecture: the dualizable K(n)K(n)-local category has exactly n+2n+2 thick tensor ideals, and its Balmer spectrum is a chain of n+1n+1 points.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Stabilizer-Orbits-and-Thick-Tensor-Ideals-of-Dualizable-Kn-Local-Spectra-September-24-2026,
  author = {{OpenAI}},
  title = {{Stabilizer orbits and thick tensor ideals of dualizable $K(n)$-local spectra}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Stabilizer-Orbits-and-Thick-Tensor-Ideals-of-Dualizable-Kn-Local-Spectra-September-24-2026/paper.pdf}{OAI:Stabilizer-Orbits-and-Thick-Tensor-Ideals-of-Dualizable-Kn-Local-Spectra-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 10 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.