Trace cones and Razak–Jacelon stabilization

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

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.

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

The original paper