Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stability

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

Proves equivariant Jiang–Su stability for every countable discrete amenable group action on a simple separable unital infinite-dimensional nuclear stably finite Jiang–Su-stable C∗-algebra, resolving this case of Szabó's conjecture without restrictions on trace dynamics. The family also proves the unital Toms–Winter conjecture, equating strict comparison, finite nuclear dimension and Jiang–Su stability in the simple separable unital infinite-dimensional nuclear setting.

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

The original papers (4)