Weak pure infiniteness and Cuntz-algebra absorption

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

Resolves the ordinary-to-strong pure-infiniteness question of Kirchberg and Rørdam for complex C∗-algebras. For exact algebras, proper infiniteness of one fixed finite amplification of every positive element also suffices. Consequently, every separable nuclear algebra with this property absorbs O∞\mathcal O_\infty, without unitality or simplicity assumptions.

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

The original paper