Kirchberg's O2\mathcal O_2 norm-ultrapower embedding problem

Formal proof listed 1 paper September 23, 2026
What the paper claims, in its own words

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.

The plain-language explainer for this entry is still coming.

The original paper