Tracial oscillation zero and Z-stability

Abstract

Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is $\mathcal{Z}$-stable if and only if $A$ has strict comparison for positive elements. Extremal boundaries of simplexes which satisfy condition (C) may contain countable disjoint unions of $n$-dimensional cubes ($n\in \mathbb{N}$) as a subset.

The paper will appear Adv. Math