A counterexample to Kirchberg's norm-ultrapower embedding problem at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

A counterexample to Kirchberg's norm-ultrapower embedding problem

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

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.8 out of 5 (2,363 votes)

>>> How to Play <<<

Kirchberg's $\mathcal O_2$ norm-ultrapower embedding problem. Constructs an explicit separable unital full group C^∗-algebra that cannot embed unitally into the norm ultrapower of any fixed nonzero unital nuclear C^∗-algebra, for any free ultrafilter on the natural numbers. Taking the target to be $\mathcal O_2$ answers Kirchberg's norm-ultrapower embedding problem negatively.

>>> Level Select <<<

LEVEL 1 An explicit obstruction to nuclear norm-ultrapower embeddings

released 2026-09-23 | 1 theorem · 9 lemmas · 10 proofs · 5,633 words | PLAY LEVEL 1 » (pdf)

We give a negative answer to Kirchberg's norm-ultrapower embedding problem. We construct an explicit separable unital full group C^∗-algebra that admits no unital embedding into B^ω, for any nonzero unital nuclear C^∗-algebra B and any free ultrafilter ω on ℕ. In particular, it does not embed unitally into $\mathcal O_2^\omega$.

More Operator algebras Games!
Classification by trace cones after Razak–Jacelon stabilization	The Phillips–Toms formula for minimal integer actions	From ordinary to strong pure infiniteness	Counterexamples to Baum–Connes and Kadison–Kaplansky
Arithmetic rigidity of lattice von Neumann algebras	All nonabelian free group factors are isomorphic HOT!	Kadison's similarity conjecture	The strong Kadison–Kastler conjecture

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600