Stability of certain relations of three unitaries in C∗-algebras

We show that if [Formula: see text] is an irrational number in [Formula: see text], [Formula: see text] and [Formula: see text] are in [Formula: see text] [Formula: see text] is a matrix of infinite order in SL[Formula: see text], either tr[Formula: see text] or tr[Formula: see text] and the greatest common divisor of the entries in [Formula: see text] is one, then for any [Formula: see text] there exists [Formula: see text] satisfying the following: For any unital simple separable [Formula: see text]-algebra [Formula: see text] with tracial rank at most one, any three unitaries [Formula: see text] in [Formula: see text], if [Formula: see text] satisfy certain trace conditions and [Formula: see text] then there exists a triple of unitaries [Formula: see text] in [Formula: see text] such that [Formula: see text] [Formula: see text]

Stability of rotation relations in -algebras

Let $\Theta =(\theta _{j,k})_{3\times 3}$ be a nondegenerate real skew-symmetric $3\times 3$ matrix, where $\theta _{j,k}\in [0,1).$ For any $\varepsilon>0$ , we prove that there exists $\delta>0$ satisfying the following: if $v_1,v_2,v_3$ are three unitaries in any unital simple separable $C^*$ -algebra A with tracial rank at most one, such that $\begin{align*}\|v_kv_j-e^{2\pi i \theta_{j,k}}v_jv_k\|<\delta \,\,\,\, \mbox{and}\,\,\,\, \frac{1}{2\pi i}\tau(\log_{\theta}(v_kv_jv_k^*v_j^*))=\theta_{j,k}\end{align*}$ for all $\tau \in T(A)$ and $j,k=1,2,3,$ where $\log _{\theta }$ is a continuous branch of logarithm (see Definition 4.13) for some real number $\theta \in [0, 1)$ , then there exists a triple of unitaries $\tilde {v}_1,\tilde {v}_2,\tilde {v}_3\in A$ such that $\begin{align*}\tilde{v}_k\tilde{v}_j=e^{2\pi i\theta_{j,k} }\tilde{v}_j\tilde{v}_k\,\,\,\,\mbox{and}\,\,\,\,\|\tilde{v}_j-v_j\|<\varepsilon,\,\,j,k=1,2,3.\end{align*}$ The same conclusion holds if $\Theta $ is rational or nondegenerate and A is a nuclear purely infinite simple $C^*$ -algebra (where the trace condition is vacuous). If $\Theta $ is degenerate and A has tracial rank at most one or is nuclear purely infinite simple, we provide some additional injectivity conditions to get the above conclusion.

Inductive limit of direct sums of simple TAI algebras

An ATAI (or ATAF, respectively) algebra, introduced in [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404] (or in [X. C. Fang, The classification of certain non-simple C*-algebras of tracial rank zero, J. Funct. Anal. 256 (2009) 3861–3891], respectively) is an inductive limit [Formula: see text], where each [Formula: see text] is a simple separable nuclear TAI (or TAF) C*-algebra with UCT property. In [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404], the second author classified all ATAI algebras by an invariant consisting orderd total [Formula: see text]-theory and tracial state spaces of cut down algebras under an extra restriction that all element in [Formula: see text] are torsion. In this paper, we remove this restriction, and obtained the classification for all ATAI algebras with the Hausdorffized algebraic [Formula: see text]-group as an addition to the invariant used in [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404]. The theorem is proved by reducing the class to the classification theorem of [Formula: see text] algebras with ideal property which is done in [G. Gong, C. Jiang and L. Li, A classification of inductive limit C*-algebras with ideal property, preprint (2016), arXiv:1607.07681]. Our theorem generalizes the main theorem of [X. C. Fang, The classification of certain non-simple C*-algebras of tracial rank zero, J. Funct. Anal. 256 (2009) 3861–3891], [C. Jiang, A classification of non simple C*-algebras of tracial rank one: Inductive limit of finite direct sums of simple TAI C*-algebras, J. Topol. Anal. 3 (2011) 385–404] (see Corollary 4.3).

Crossed products and minimal dynamical systems

Let [Formula: see text] be an infinite compact metric space with finite covering dimension and let [Formula: see text] be two minimal homeomorphisms. We prove that the crossed product [Formula: see text]-algebras [Formula: see text] and [Formula: see text] are isomorphic if and only if they have isomorphic Elliott invariant. In a more general setting, we show that if [Formula: see text] is an infinite compact metric space and if [Formula: see text] is a minimal homeomorphism such that [Formula: see text] has mean dimension zero, then the tensor product of the crossed product with a UHF-algebra of infinite type has generalized tracial rank at most one. This implies that the crossed product is in a classifiable class of amenable simple [Formula: see text]-algebras.

Homomorphisms from AH-algebras

Let [Formula: see text] be a general unital AH-algebra and let [Formula: see text] be a unital simple [Formula: see text]-algebra with tracial rank at most one. Suppose that [Formula: see text] are two unital monomorphisms. We show that [Formula: see text] and [Formula: see text] are approximately unitarily equivalent if and only if [Formula: see text] [Formula: see text] [Formula: see text] where [Formula: see text] and [Formula: see text] are continuous affine maps from tracial state space [Formula: see text] of [Formula: see text] to faithful tracial state space [Formula: see text] of [Formula: see text] induced by [Formula: see text] and [Formula: see text], respectively, and [Formula: see text] and [Formula: see text] are induced homomorphisms s from [Formula: see text] into [Formula: see text], where [Formula: see text] is the space of all real affine continuous functions on [Formula: see text] and [Formula: see text] is the closure of the image of [Formula: see text] in the affine space [Formula: see text]. In particular, the above holds for [Formula: see text], the algebra of continuous functions on a compact metric space. An approximate version of this is also obtained. We also show that, given a triple of compatible elements [Formula: see text], an affine map [Formula: see text] and a homomorphisms [Formula: see text], there exists a unital monomorphism [Formula: see text] such that [Formula: see text] and [Formula: see text].

Tensor products of classifiable C∗-algebras

Let [Formula: see text] be the class of all unital separable simple [Formula: see text]-algebras [Formula: see text] such that [Formula: see text] has tracial rank no more than one for all UHF-algebra [Formula: see text] of infinite type. It has been shown that all amenable [Formula: see text]-stable [Formula: see text]-algebras in [Formula: see text] which satisfy the Universal Coefficient Theorem can be classified up to isomorphism by the Elliott invariant. In this note, we show that [Formula: see text] if and only if [Formula: see text] has tracial rank no more than one for some unital simple infinite dimensional AF-algebra [Formula: see text] In fact, we show that [Formula: see text] if and only if [Formula: see text] for some unital simple AH-algebra [Formula: see text] We actually prove a more general result. Other results regarding the tensor products of [Formula: see text]-algebras in [Formula: see text] are also obtained.