Let $\mathfrak{A}$ be a $C^{*}$-algebra with real rank zero which has the stable weak cancellation property. Let $\mathfrak{I}$ be an ideal of $\mathfrak{A}$ such that $\mathfrak{I}$ is stable and satisfies the corona factorization property. We prove that $ 0 \to \mathfrak{I} \to \mathfrak{A} \to \mathfrak{A} / \mathfrak{I} \to 0 $ is a full extension if and only if the extension is stenotic and $K$-lexicographic. {As an immediate application, we extend the classification result for graph $C^*$-algebras obtained by Tomforde and the first named author to the general non-unital case. In combination with recent results by Katsura, Tomforde, West and the first author, our result may also be used to give a purely $K$-theoretical description of when an essential extension of two simple and stable graph $C^*$-algebras is again a graph $C^*$-algebra.}

A K-theoretic classification is given of the simple inductive limits of finite direct sums of the type I $C^*$-algebras known as splitting interval algebras with dimension drops. (These are the subhomogeneous $C^*$-algebras, each having spectrum a finite union of points and an open interval, and torsion $\textrm{K}_1$-group.)

We introduce the fundamental group ${\mathcal F}(A)$ of a simple $\sigma$-unital $C^*$-algebra $A$ with unique (up to scalar multiple) densely defined lower semicontinuous trace. This is a generalization of ``Fundamental Group of Simple $C^*$-algebras with Unique Trace I and II'' by Nawata and Watatani. Our definition in this paper makes sense for stably projectionless $C^*$-algebras. We show that there exist separable stably projectionless $C^*$-algebras such that their fundamental groups are equal to $\mathbb{R}_+^\times$ by using the classification theorem of Razak and Tsang. This is a contrast to the unital case in Nawata and Watatani. This study is motivated by the work of Kishimoto and Kumjian.

Let $A$ be an AI algebra; that is, $A$ is the $\mbox{C}^{*}$-algebra inductive limit of a sequence $$ A_{1}\stackrel{\phi_{1,2}}{\longrightarrow}A_{2}\stackrel{\phi_{2,3}}{\longrightarrow}A_{3} \longrightarrow\cdots\longrightarrow A_{n}\longrightarrow\cdots, $$ where $A_{n}=\bigoplus_{i=1}^{k_n}M_{[n,i]}(C(X^{i}_n))$, $X^{i}_n$ are $[0,1]$, $k_n$, and $[n,i]$ are positive integers. Suppose that $A$ has the ideal property: each closed two-sided ideal of $A$ is generated by the projections inside the ideal, as a closed two-sided ideal. In this article, we give a complete classification of AI algebras with the ideal property.

Parallel to the first two authors' earlier classification of separable, unita one-parameter, continuous fields of Kirchberg algebras with torsion free $\mathrm{K}$-groups supported in one dimension, one-parameter, separable, uni continuous fields of AF-algebras are classified by their ordered $\mathrm{K}_0$-sheaves. Effros-Handelman-Shen type theorems are pr separable unital one-parameter continuous fields of AF-algebras and Kirchberg algebras.

The Jiang--Su algebra $\mathcal{Z}$ has come to prominence in the classification program for nuclear $C^*$-algebras of late, due primarily to the fact that Elliott's classification conjecture in its strongest form predicts that all simple, separable, and nuclear $C^*$-algebras with unperforated $\mathrm{K}$-theory will absorb $\mathcal{Z}$ tensorially, i.e., will be $\mathcal{Z}$-stable. There exist counterexamples which suggest that the conjecture will only hold for simple, nuclear, separable and $\mathcal{Z}$-stable $C^*$-algebras. We prove that virtually all classes of nuclear $C^*$-algebras for which the Elliott conjecture has been confirmed so far consist of $\mathcal{Z}$-stable $C^*$-algebras. This follows in large part from the following result, also proved herein: separable and approximately divisible $C^*$-algebras are $\mathcal{Z}$-stable.

Let $\alpha$ and $\beta$ be two Furstenberg transformations on $2$-torus associated with irrational numbers $\theta_1,$ $\theta_2,$ integers $d_1, d_2$ and Lipschitz functions $f_1$ and $f_2$. It is shown that $\alpha$ and $\beta$ are approximately conjugate in a measure theoretical sense if (and only if) $\overline{\theta_1\pm \theta_2}=0$ in $\R/\Z.$ Closely related to the classification of simple amenable \CAs, it is shown that $\af$ and $\bt$ are approximately $K$-conjugate if (and only if) $\overline{\theta_1\pm \theta_2}=0$ in $\R/\Z$ and $|d_1|=|d_2|.$ This is also shown to be equivalent to the condition that the associated crossed product \CAs are isomorphic.

Let $A$ be an amenable separable $C^*$-algebra and $B$ be a non-unital but $\sigma$-unital simple $C^*$-algebra with continuous scale. We show that two essential extensions $\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately unitarily equivalent if and only if $$ [\tau_1]=[\tau_2] \text{ in } KL(A, M(B)/B). $$ If $A$ is assumed to satisfy the Universal Coefficient Theorem, there is a bijection from approximate unitary equivalence classes of the above mentioned extensions to $KL(A, M(B)/B)$. Using $KL(A, M(B)/B)$, we compute exactly when an essential extension is quasidiagonal. We show that quasidiagonal extensions may not be approximately trivial. We also study the approximately trivial extensions.

It is shown that simple stably projectionless $\C^S*$-algebras which are inductive limits of certain specified building blocks with trivial $\K$-theory are classified by their cone of positive traces with distinguished subset. This is the first example of an isomorphism theorem verifying the conjecture of Elliott for a subclass of the stably projectionless algebras.

We prove that pre-classifiable (see 3.1) simple nuclear tracially AF \CA s (TAF) are classified by their $K$-theory. As a consequence all simple, locally AH and TAF \CA s are in fact AH algebras (it is known that there are locally AH algebras that are not AH). We also prove the following Rationalization Theorem. Let $A$ and $B$ be two unital separable nuclear simple TAF \CA s with unique normalized traces satisfying the Universal Coefficient Theorem. If $A$ and $B$ have the same (ordered and scaled) $K$-theory and $K_0 (A)_+$ is locally finitely generated, then $A \otimes Q \cong B \otimes Q$, where $Q$ is the UHF-algebra with the rational $K_0$. Classification results (with restriction on $K_0$-theory) for the above \CA s are also obtained. For example, we show that, if $A$ and $B$ are unital nuclear separable simple TAF \CA s with the unique normalized trace satisfying the UCT and with $K_1(A) = K_1(B)$, and $A$ and $B$ have the same rational (scaled ordered) $K_0$, then $A \cong B$. Similar results are also obtained for some cases in which $K_0$ is non-divisible such as $K_0(A) = \mathbf{Z} [1/2]$.

We use some results about stable relations to show that some of the simple, stable, projectionless crossed products of $O_2$ by $\bR$ considered by Kishimoto and Kumjian are inductive limits of type I $C^*$-algebras. The type I $C^*$-algebras that arise are pullbacks of finite direct sums of matrix algebras over the continuous functions on the unit interval by finite dimensional $C^*$-algebras.

A simple $\C^*$-algebra is constructed for which the Murray-von Neumann equivalence classes of projections, with the usual addition---induced by addition of orthogonal projections---form the additive semi-group $$ \{0,2,3,\dots\}. $$ (This is a particularly simple instance of the phenomenon of perforation of the ordered $\K_0$-group, which has long been known in the commutative case---for instance, in the case of the four-sphere---and was recently observed by the second author in the case of a simple $\C^*$-algebra.)

Let $A$ be a simple $C^*$-algebra with real rank zero, stable rank one and weakly unperforated $K_0(A)$ of countable rank. We show that a monomorphism $\phi\colon C(S^2) \to A$ can be approximated pointwise by homomorphisms from $C(S^2)$ into $A$ with finite dimensional range if and only if certain index vanishes. In particular, we show that every homomorphism $\phi$ from $C(S^2)$ into a UHF-algebra can be approximated pointwise by homomorphisms from $C(S^2)$ into the UHF-algebra with finite dimensional range. As an application, we show that if $A$ is a simple $C^*$-algebra of real rank zero and is an inductive limit of matrices over $C(S^2)$ then $A$ is an AF-algebra. Similar results for tori are also obtained. Classification of ${\bf Hom}\bigl(C(X),A\bigr)$ for lower dimensional spaces is also studied.