A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Classification by trace cones after Razak–Jacelon stabilization
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

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.1 out of 5 (6,915 votes)

>>> How to Play <<<
Trace cones and Razak–Jacelon stabilization. Classifies separable nuclear complex C∗-algebras after tensoring with the Razak–Jacelon algebra and the compact operators, using their full topological cones of extended lower-semicontinuous tracial weights. This answers Robert’s trace-cone question, including algebras with arbitrary ideal structure and both finite and infinite subquotients.

>>> Level Select <<<
released 2026-09-25  |  8 theorems · 24 lemmas · 43 proofs · 28,354 words  |  PLAY LEVEL 1 »  (pdf)
We prove that the canonical topological cone of all extended lower-semicontinuous tracial weights determines a separable nuclear C∗-algebra after tensoring with the Razak–Jacelon algebra and the compact operators, answering Robert's trace-cone classification question positively. The isomorphism realizes the prescribed cone map, with arbitrary ideal structure and without a density assumption on the finite domains of the weights.

More Operator algebras Games!
The Kirchberg–Rørdam character criterionThe Popa–Vaes quadratic strong-operator paving conjectureThe Phillips–Toms formula for minimal integer actionsFrom ordinary to strong pure infiniteness
Counterexamples to Baum–Connes and Kadison–KaplanskyArithmetic rigidity of lattice von Neumann algebrasAll nonabelian free group factors are isomorphic HOT!Kadison's similarity conjecture

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