Schafhauser-Tikuisis-White Problem XXI: tracial real rank zero implies uniform property Gamma

Lineage and corrections

Lean proof (OAI.ComparatorModel.CurrentMain.main) evidence for this event

This event attributed to Unreleased internal OpenAI model

Companion: Tracial projection methods and uniform property Gamma (unital route) evidence for this event

VibeMathed record: Schafhauser-Tikuisis-White Problem XXI: tracial real rank zero implies uniform property Gamma evidence for this event

Theorem 1.1: for $A$ unital, separable, simple, infinite-dimensional, nuclear and stably finite with $T(A)\neq\emptyset$, if $B^\omega$ has real rank zero then there is a projection $p\in B^\omega\cap B'$ with $\lambda(px)=\lambda(x)/2$ for all $x\in B$ and all limit traces $\lambda$, so $A$ has uniform property $\Gamma$; it also identifies all traces on $B$. It does not show that real rank zero of $B^\omega$ holds in general, and Toms (2026) has shown nuclearity alone does not give uniform property $\Gamma$. parent of this event

Schafhauser-Tikuisis-White Problem XXI: tracial real rank zero implies uniform property Gamma parent of this event

Comparator statement: UniformGamma.lean evidence for this event

Schafhauser-Tikuisis-White, Nuclear C*-algebras: 99 problems (Problem XXXVI) evidence for this event