A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Chai's invariant-ideal conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:donuts, coffee cups Levels:1
Category:Topology Lean version:not yet
Rate this game! 4.5 out of 5 (8,952 votes)

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

>>> Level Select <<<
released 2026-09-24  |  6 theorems · 13 lemmas · 27 proofs · 15,665 words  |  PLAY LEVEL 1 »  (pdf)
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.

More Topology Games!
Quillen's conjecture in rational homologyThe Grothendieck homotopy hypothesis HOT!Finite generation for the $K(n)$-local sphereThe chromatic Smith fixed-point problem for finite $p$-groups
The four-dimensional Singer conjectureCurtis’s conjectureThomason model structures in every strict higher dimensionChromatic splitting: counterexamples and filtrations

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games