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 ${\cal 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 \N$) as a subset.