Tracially AF 𝐶*-algebras (Q4517459)

A unital \(C^*\)-algebra \(M\) is called tracially approximately finite-dimensional (TAF) if it satisfies the following: for any \(\varepsilon> 0\), \(n>0\), any finite subset \({\mathcal F}\) of \(M\) which contains a non-zero element \(y\), and any full \(a\in M_+\) there exists a finite-dimensional \(C^*\)-subalgebra \(F\subset M\) with \(p= 1_F\) such that (1) \(\|[p, x]\|< \varepsilon\), for all \(x\in{\mathcal F}\), (2) \(pxp\in F\) for all \(x\in{\mathcal F}\) and \(\|pyp\|\geq\|y\|- \varepsilon\), (3) \(n[1-p]\leq [p]\) in \(D(M)\) and \(1- p\preceq a\), where \(D(M)\) are the equivalence classes of projections in \(M\), and \(p\preceq q\) means that \(p\) is equivalent to a projection in \(qMq\). In this work it is shown that if a unital simple \(C^*\)-algebra is TAF then it is quasidiagonal, and has real rank zero, stable rank one and weakly unperforated \(K_0\)-group. All nuclear simple \(C^*\)-algebras of real rank zero, stable rank one, with weakly unperforated \(K_0\)-group classified so far by their \(K\)-theoretical data are TAF. Examples of nonnuclear simple TAF \(C^*\)-algebras are given. A sufficient condition for unital nuclear separable quasidiagonal \(C^*\)-algebras to be TAF is given. A characterization of simple rational AF-algebras is obtained. It is shown that a separable nuclear simple TAF \(C^*\)-algebra \(A\) satisfying the universal coefficient theorem and having \(K_1(A)= 0\) and \(K_0(A)=\mathbb{Q}\) is isomorphic to a simple AF-algebra with the same \(K\)-theory.