1 · The essentials
The manuscript connects two questions about how complicated mathematical structures can be organized. One asks which collections of elements in a particular algebraic system remain unchanged under specified symmetries. The other asks how certain objects studied in topology can be grouped while respecting the operations available on them. For every prime number and every positive whole-number height , the manuscript claims a complete classification under its stated assumptions. On the topology side, it gives exactly permitted groupings and a related arrangement of points in a single chain. The algebraic statement concerns the standard version with a finite residue field, so that assumption is part of the result. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine sorting a collection of items into boxes while requiring every allowed rearrangement to preserve the contents of each box. The manuscript identifies the permitted algebraic “boxes,” and a stated connection carries that classification to a different sorting problem in topology.
Why it matters
The manuscript claims to settle both Chai’s invariant-ideal conjecture in its standard finite-residue-field formulation and the Hovey–Strickland conjecture. Its significance is the connection between a classification governed by algebraic symmetries and an exact classification of thick tensor ideals in a category of topological objects. The resulting counts describe the whole classification, rather than merely giving examples.
2 · Going further
The algebraic problem concerns the Lubin–Tate deformation ring and the action of an open Morava stabilizer subgroup. The main abstract claims a classification of the prime and radical ideals invariant under such a subgroup, at every prime and every positive height . It identifies this as a resolution of Chai’s invariant-ideal conjecture in the standard finite-residue-field formulation.
The topological conclusion concerns the category of dualizable -local spectra. The manuscript states that this category has exactly thick tensor ideals and that its Balmer spectrum is a chain of points. These are related descriptions: one classifies the thick tensor ideals, while the other describes the associated spectrum.
The repository summary attributes the passage from Chai’s conjecture to the Hovey–Strickland conjecture to an implication of Barthel–Heard–Naumann. Thus, the supplied material describes a route from the invariant-ideal classification to the topological classification. It does not give the argument establishing the invariant-ideal classification, so no more detailed mechanism can be extracted from the abstract. Only one manuscript is supplied; no companion-manuscript relationship is described.
Useful notions
- Rings and ideals
- Prime and radical ideals
- Group actions and invariant subsets
- Spectra and K(n)-localization
- Tensor categories and thick tensor ideals
What was known before / what is new
Before
The source presents Chai’s invariant-ideal conjecture and the Hovey–Strickland conjecture as the two problems addressed. It also identifies an implication of Barthel–Heard–Naumann connecting the algebraic conjecture to the topological one. No further history or earlier partial classifications are supplied.
New
The manuscript claims a classification of prime and radical ideals in the Lubin–Tate deformation ring that are invariant under an open Morava stabilizer subgroup, at every prime and positive height. In the standard finite-residue-field formulation, it identifies this with Chai’s conjecture. Through the stated implication, it obtains exactly thick tensor ideals of dualizable -local spectra and a Balmer spectrum consisting of a chain of points.
Limits and assumptions
The algebraic claim is stated in the standard finite-residue-field formulation and concerns prime and radical ideals invariant under an open Morava stabilizer subgroup. The height is positive, and the topological classification is specifically for dualizable K(n)-local spectra. The supplied abstract does not describe the detailed argument or identify questions remaining open outside this scope. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Invariant ideal —
- An ideal preserved by the specified group of symmetries acting on a ring.
- Prime ideal —
- A proper ideal such that a product belongs to it only if at least one of its factors belongs to it.
- Radical ideal —
- An ideal containing any element whose positive integer power belongs to the ideal.
- Thick tensor ideal —
- A collection of objects closed under the category’s triangulated operations, direct summands, and tensoring with objects of the category.
- Balmer spectrum —
- The space of prime thick tensor ideals associated with a tensor triangulated category.
Keywords : Chai conjecture · Hovey–Strickland conjecture · Invariant ideals
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)
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 -local spectra have exactly thick tensor ideals, and their Balmer spectrum is a chain of points.
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
Stabilizer orbits and thick tensor ideals of dualizable K(n)-local spectra
24/09/2026We 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 -local category has exactly thick tensor ideals, and its Balmer spectrum is a chain of points.