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. (Lean)
Manuscripts (4)
Equivariant Jiang–Su Stability for Amenable Actions in the Unital Stably Finite Case
October 5, 2026 · source · cite as \cite{OAI:Equivariant-Jiang-Su-Stability-for-Amenable-Actions-in-the-Unital-Stably-Finite-Case-October-5-2026}
Every action of a countable discrete amenable group on a simple, separable, unital, infinite-dimensional, nuclear, stably finite complex C∗-algebra that is already Jiang–Su stable absorbs the trivial action on the Jiang–Su algebra up to cocycle conjugacy. No restriction is imposed on the action on the tracial-state simplex. This proves the unital, stably finite case of Szabó's Conjecture A on automatic equivariant Jiang–Su stability.
Cuntz comparison and Jiang–Su absorption
September 23, 2026 · source · cite as \cite{OAI:Cuntz-comparison-and-Jiang-Su-absorption-September-23-2026}
We prove that strict comparison in the extended-functional sense implies Jiang–Su absorption for separable simple nuclear non-elementary C∗-algebras. This resolves the corresponding implication of the Toms–Winter regularity problem, including nonunital algebras and allowing unbounded traces. More generally, every separable nuclear C∗-algebra whose Cuntz semigroup is almost unperforated and fully almost divisible absorbs the Jiang–Su algebra.
Nuclear dimension and Jiang–Su stability without elementary subquotients
September 23, 2026 · source · cite as \cite{OAI:Nuclear-dimension-and-Jiang-Su-stability-without-elementary-subquotients-September-23-2026}
For separable nuclear C∗-algebras with no nonzero elementary ideal subquotients, finite nuclear dimension is equivalent to Jiang–Su stability. More generally, \dim_{\mathrm{nuc}}(A_0\otimes\mathcal Z)\le1 for every separable nuclear A0. This proves Robert and Tikuisis's Conjecture (C1) and the nuclear-dimension equivalence in the nonsimple Toms–Winter regularity question.
Tracial projection methods and uniform property Gamma
September 23, 2026 · source · Lean formalization available · cite as \cite{OAI:Tracial-projection-methods-and-uniform-property-Gamma-September-23-2026}
For a simple, separable, unital, infinite-dimensional, nuclear, stably finite C∗-algebra with traces, real rank zero of the uniform tracial ultrapower of its uniform tracial completion implies uniform property Γ. This answers Problem XXI of Schafhauser, Tikuisis and White affirmatively. Independently, strict comparison implies Jiang–Su absorption for simple, separable, unital, infinite-dimensional nuclear algebras, resolving the unital Toms–Winter conjecture. Under comparison tested on traces of finite target rank, we also obtain uniform property Γ and absorption for simple, separable, nuclear, stably projectionless algebras whose densely finite traces are all bounded and have a nonempty compact normalized base.
Result 291 · Operator algebras. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md