Algebra · Oct 6, 2026

Kirchberg's O2\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 O2\mathcal O_2 answers Kirchberg's norm-ultrapower embedding problem negatively.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources