A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The Kirchberg–Rørdam character criterion
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:infinite matrices Levels:1
Category:Operator algebras Lean version:YES! ✔
Rate this game! 4.4 out of 5 (3,875 votes)

>>> How to Play <<<
The Kirchberg–Rørdam character criterion and infinite tensor-power Jiang–Su stability. A nonzero unital separable complex C∗-algebra is Jiang–Su stable exactly when its norm central-sequence algebra has no characters, for every free ultrafilter. This answers the Kirchberg–Rørdam character question. Also, the infinite minimal tensor power of every such algebra without characters is Jiang–Su stable, answering the Dadarlat–Toms question.

>>> Level Select <<<
released 2026-09-25  |  2 theorems · 10 lemmas · 18 proofs · 8,271 words  |  PLAY LEVEL 1 »  (pdf)
We prove the Kirchberg–Rørdam character criterion: for every free ultrafilter on ℕ, a nonzero unital separable complex C∗-algebra absorbs the Jiang–Su algebra if and only if its norm central-sequence algebra has no characters. We also prove that the infinite minimal tensor power of every nonzero unital separable complex C∗-algebra without characters is $\mathcal Z$-stable and contains a unital copy of $\mathcal Z$.

More Operator algebras Games!
A counterexample to Kaplansky's quasitrace conjectureThe Kadison–Ringrose cohomology conjectureThe generator problem for finite factorsA ZFC counterexample to Naimark's problem
A counterexample to Voiculescu’s free-entropy equality conjectureThe Popa–Vaes quadratic strong-operator paving conjectureClassification by trace cones after Razak–Jacelon stabilizationThe Phillips–Toms formula for minimal integer actions

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