arXiv subjects

Huaxin Lin

Publications and source records attributed to Huaxin Lin.

82 records · Page 5Linked to original sources

arXiv2004

Unitary equivalences for essential extensions of $C^*$-algebras

Let $A$ be a unital separable \CA and $B=C\otimes {\cal K},$ where $C$ is a unital \CA. Let $τ: A\to M(B)/B$ be a weakly unital full essential extensions of $A$ by $B.$ We show that there is a bijection between a quotient group of $K_0(B)$ onto the set of strong unitary equivalence classes of weakly unital full essential extensions $σ$ such that $[σ]=[τ]$ in $KK^1(A, B).$ Consequently, when this group is zero, unitarily equivalent full essential extensions are strongly unitarily equivalent. When $B$ is a non-unital but $σ$-unital simple \CA with continuous scale, we also study the problem when two approximately unitarily equivalent essential extensions are strongly approximately unitarily equivalent. A group is used to compute the strongly approximate unitary equivalence classes in the same approximate unitary equivalent class of essential

math.OA↗

arXiv2004

The Rokhlin property and the tracial topological rank

Let $A$ be a unital separable simple \CA with $\tr(A)\le 1$ and $α$ be an automorphism. We show that if $α$ satisfies the tracially cyclic Rokhlin property then $\tr(A\rtimes_α\Z)\le 1.$ We also show that whenever $A$ has a unique tracial state and $α^m$ is uniformly outer for each $m (\not= 0)$ and $α^r$ is approximately inner for some $r>0,$ $α$ satisfies the tracial cyclic Rokhlin property. By applying the classification theory of nuclear \CA s, we use the above result to prove a conjecture of Kishimoto: if $A$ is a unital simple $A{\mathbb T}$-algebra of real rank zero and $α\in \Aut(A)$ which is approximately inner and if $α$ satisfies some Rokhlin property, then the crossed product $A\rtimes_α\Z$ is again an $A{\mathbb T}$ -algebra of real rank zero. As a by-product, we find that one can construct a large class of simple \CA s with tracial rank one (and zero) from crossed products.

math.OA↗

arXiv2004

Minimal Dynamical Systems and Approximate Conjugacy

Several versions of approximate conjugacy for minimal dynamical systems are introduced. Relation between approximate conjugacy and corresponding crossed product $C^*$-algebras is discussed. For the Cantor minimal systems, a complete description is given for these relations via $K$-theory and $C^*$-algebras. For example, it is shown that two Cantor minimal systems are approximately $τ$-conjugate if and only if they are orbit equivalent and have the same periodic spectrum. It is also shown that two such systems are approximately $K$-conjugate if and only if the corresponding crossed product $C^*$-algebras have the same scaled ordered $K$-theory. Consequently, two Cantor minimal systems are approximately $K$-conjugate if and only if the associated transformation $C^*$-algebras are isomorphic. Incidentally, this approximate $K$-conjugacy coincides with Giordano, Putnam and Skau's strong orbit equivalence for the Cantor minimal systems.

math.OA↗

arXiv2004

Extensions by simple $C^*$-algebras -- Quasidiagonal extensions

Let $A$ be an amenable separable \CA and $B$ be a non-unital but $σ$-unital simple \CA with continuous scale. We show that two essential extensions $τ_1$ and $τ_2$ of $A$ by $B$ are approximately unitarily equivalent if and only if $$ [τ_1]=[τ_2] {\rm 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.

math.OA↗

arXiv2004

Full extensions and approximate unitary equivalences

Let $A$ be a unital separable amenable \CA and $C$ be a unital \CA with certain infinite property. We show that two full monomorphisms $h_1, h_2: A\to C$ are approximately unitarily equivalent if and only if $[h_1]=[h_2]$ in $KL(A,C).$ Let $B$ be a non-unital but $σ$-unital \CA for which $M(B)/B$ has the certain infinite property. We prove that two full essential extensions are approximately unitarily equivalent if and only if they induce the same element in $KL(A, M(B)/B).$ The set of approximately unitarily equivalence classes of full essential extensions forms a group. If $A$ satisfies the Universal Coefficient Theorem, it is can be identified with $KL(A, M(B)/B).$

math.OA↗

arXiv2003

Classification of simple C*-algebras and higher dimensional noncommutative tori

We show that unital simple C*-algebras with tracial topological rank zero which are locally approximated by subhomogeneous C^-algebras can be classified by their ordered $K$-theory. We apply this classification result to show that certain simple crossed products are isomorphic if they have the same ordered $K$-theory. In particular, irrational higher dimensional non-commutative tori of the form $C({\mathbb T}^k)\times_θ{\mathbb Z}$ are in fact inductive limits of circle algebras.

math.OA↗

arXiv2000

Classification of simple $C^*$-algebras of tracial topological rank zero

We give a classification theorem for unital separable simple nuclear $C^*$-algebras with tracial topological rank zero which satisfy the Universal Coefficient Theorem. We prove that if $A$ and $B$ are two such $C^*$-algebras and $$ (K_0(A), K_0(A)_+, [1_A], K_1(A)) $$ $$ \cong (K_0(B), K_0(B)_+, [1_B], K_1(B)), $$ then $A\cong B.$

math.OA↗

arXiv1995

Classification of direct limits of even Cuntz-circle algebras

We prove a classification theorem for purely infinte simple C*-algebras that is strong enough to show that the tensor products of two different irrational rotation algebras with the same even Cuntz algebra are isomorphic. In more detail, let C be be the class of simple C*-algebras A which are direct limits A = lim A_k, in which each A_k is a finite direct sum of algebras of the form C(X) \otimes M_n \otimes O_m, where m is even, O_m is the Cuntz algebra, X is either a point, a compact interval, or the circle S^1, and each map A_k ---> A is approximately absorbing. ("Approximately absorbing" is defined in Section 1 of the paper.) We show that two unital C*-algebras A and B in the class C are isomorphic if and only if (K_0 (A), [1_A], K_1 (A)) is isomorphic to (K_0 (B), [1_B], K_1 (B)). This class is large enough to exhaust all possible K-groups: if G_0 and G_1 are countable odd torsion groups and g is in G_0, then there is a C*-algebra A in C with (K_0 (A), [1_A], K_1 (A)) isomorphic to (G_0, g, G_1). The class C contains the tensor products of irrational rotation algebras with even Cuntz algebras. It is also closed under several natural operations.

funct-an↗

arXiv1995

Approximate Unitary Equivalence of Homomorphisms from O_infinity

We prove that if two nonzero homomorphisms from the Cuntz algebra O_infinity to a purely infinite simple C*-algebra have the same class in KK-theory, and if either both are unital or both are nonunital, then they are approximately unitarily equivalent. It follows that O_infinity is classifiable in the sense of Rordam. In particular, Rordam's classification theorem for direct limits of matrix algebras over even Cuntz algebras extends to direct limits involving both matrix algebras over even Cuntz algebras and corners of O_infinity for which the K_0 group can be an arbitrary countable abelian group with no even torsion.

funct-an↗

arXiv1994

Approximate unitary equivalence of homomorphisms from O_{\infty}

We prove that if two homomorphisms from O_{\infty} to a purely infinite simple C*-algebra have the same class in KK-theory, and if either both are unital or both are nonunital, then they are approximately unitarily equivalent. It follows that O_{\infty} is classifiable in the sense of Rordam. In particular, Rordam's classification theorem for direct limits of matrix algebras over even Cuntz algebras extends to direct limits involving both matrix algebras over even Cuntz algebras and corners of O_{\infty}, for which the K_0-group can be an arbitrary countable abelian group with no even torsion.

funct-an↗