∑math20

Topology · Result 311

The Hovey–Strickland and Chai conjectures

1 paper

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)\)-local spectra have exactly \(n+2\) thick tensor ideals, and their Balmer spectrum is a chain of \(n+1\) points.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

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

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

OpenAI · September 24, 2026

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)\)-local category has exactly \(n+2\) thick tensor ideals, and its Balmer spectrum is a chain of \(n+1\) points.

Read PDF Download Source

Cite
@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}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.