arXiv subjects

Huaxin Lin

Publications and source records attributed to Huaxin Lin.

At least 37 records · Page 2Linked to original sources

arXiv2021

A classification of finite simple amenable Z-stable C-algebras, II, --C-algebras with rational generalized tracial rank one

A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras. Moreover, it contains all unital simple separable amenable C*-algebras which satisfy the UCT and have finite rational tracial rank

math.OA↗

arXiv2021

Unitary groups and augmented Cuntz semigroups of separable simple Z-stable C*-algebras

Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${\tilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $\tilde A$ has the strict comparison property and a weak cancellation property. Let $C$ be a 1-dimensional non-commutative CW complex with $K_1(C)=\{0\}.$ Suppose that $λ: {\rm Cu}^\sim(C)\to {\rm Cu}^\sim(A)$ is a morphism in Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms $ϕ_n: C\to A$ such that $\lim_{n\to\infty}{\rm Cu}^\sim(ϕ_n)=λ.$ This result leads to the proof that every separable amenable simple $C^*$-algebra in the UCT class has rationally generalized tracial rank at most one.

math.OA↗

arXiv2021

Non-amenable simple C*-algebras with tracial approximation

We construct two types of unital separable simple $C^*$-alebras $A_z^{C_1}$ and $A_z^{C_2},$ one is exact but not amenable, and the other is non-exact. Both have the same Elliott invariant as the Jiang-Su algebra, namely, $A_z^{C_i}$ has a unique tracial state, $$(K_0(A_z^{C_i}), K_0(A_z^{C_i})_+, [1_{A_z^{C_i}} ])=(\mathbb Z, \mathbb Z_+,1)$$ and $K_{1}(A_z^{C_i})=\{0\}$ ($i=1,2$). We show that $A_z^{C_i}$ ($i=1,2$) is essentially tracially in the class of separable ${\cal Z}$-stable $C^*$-alebras of nuclear dimension 1. $A_z^{C_i}$ has stable rank one, strict comparison for positive elements and no 2-quasitrace other than the unique tracial state. We also produce models of unital separable simple non-exact $C^*$-alebras which are essentially tracially in the class of simple separable nuclear ${\cal Z}$-stable $C^*$-alebras and the models exhaust all possible weakly unperforated Elliott invariants. We also discuss some basic properties of essential tracial approximation.

math.OA↗

arXiv2020

The classification of simple separable KK-contractible C*-algebras with finite nuclear dimension

The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to be classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $\mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.

math.OA↗

arXiv2020

A classification of finite simple amenable ${\cal Z}$-stable $C^$-algebras, I: $C^$-algebras with generalized tracial rank one

A class of $C^*$-algebras, to be called those of generalized tracial rank one, is introduced, and classified by the Elliott invariant. A second class of unital simple separable amenable $C^*$-algebras, those whose tensor products with UHF-algebras of infinite type are in the first class, to be referred to as those of rational generalized tracial rank one, is proved to exhaust all possible values of the Elliott invariant for unital finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. An isomorphism theorem for a special sub-class of those $C^*$-algebras are presented. This provides the basis for the classification of $C^*$-algebras with rational generalized tracial rank one in Part II.

math.OA↗

arXiv2020

Extensions of C*-algebas by a small ideal

We classify all essential extensions of the form $$0 \rightarrow \W \rightarrow \D \rightarrow A \rightarrow 0$$ where $\W$ is the unique separable simple C*-algebra with a unique tracial state, with finite nuclear dimension and with $K_i(\W)=\{0\}$ ($i=0,1$) which satisfies the Universal Coefficient theorem (UCT), and $A$ is a separable amenable $\W$-embeddable C*-algebra which satisfies the UCT. We actually prove more general results. We also classify a class of amenable \CA s which have only one proper closed ideal $\W.$

math.OA↗

arXiv2020

On classification of simple non-unital amenable C*-algebras, II

We present a classification theorem for amenable simple stably projectionless C*-algebras with generalized tracial rank one whose $K_0$ vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by ${\cal Z}_0$ which has a unique tracial state and $K_0({\cal Z}_0)=\mathbb{Z}$ and $K_1({\cal Z}_0)=\{0\}.$ Let $A$ and $B$ be two separable simple $C^*$-algebras satisfying the UCT and have finite nuclear dimension. We show that $A\otimes {\cal Z}_0\cong B\otimes {\cal Z}_0$ if and only if ${\rm Ell}(B\otimes {\cal Z}_0)={\rm Ell}(B\otimes {\cal Z}_0).$ A class of simple separable $C^*$-algebras which are approximately sub-homogeneous whose spectra having bounded dimension is shown to exhaust all possible Elliott invariant for $C^*$-algebras of the form $A\otimes {\cal Z}_0,$ where $A$ is any finite separable simple amenable $C^*$-algebras. Suppose that $A$ and $B$ are two finite separable simple $C^*$-algebras with finite nuclear dimension satisfying the UCT such that traces vanishe on $K_0(A)$ and $K_0(B)$ (but arbitrary $K_1$). One consequence of the main results in this situation is that $A\cong B$ if and only if $A$ and $B$ have the isomorphic Elliott invariant.

math.OA↗

arXiv2020

Tracial approximation in simple C*-algebras

We revisit the notion of tracial approximation for unital simple C*-algebras. We show that a unital simple separable C*-algebra A is asymptotically tracially in the class of C*-algebras with finite nuclear dimension if and only if A is asymptotically tracially in the class of simple nuclear Z-stable C*-algebras.

math.OA↗

arXiv2018

Simple stably projectionless C*-algebras with generalized tracial rank one

We study a class of stably projectionless simple C*-algebras which may be viewed as having generalized tracial rank one in analogy with the unital case. Some structural question concerning these simple C*-algebras are studied. The paper also serves as a technical support for the classification of separable stably projectionless simple amenable Jiang-Su stable C*-algebras.

math.OA↗

arXiv2018

Convex hulls of unitary orbits of normal elements in $C^*$-algebras with tracial rank zero

Let $A$ be a unital separable simple $C^*$-algebra with tracial rank zero and let $x, \, y\in A$ be two normal elements. We show that $x$ is in the closure of the convex full of the unitary obit of $y$ if and only if there exists a sequence of unital completely positive linear maps $ϕ_n$ from $A$ to $A$ such that the sequence $ϕ_n(y)$ convergent to $x$ in norm and also approximately preserves the trace values. A purely measure theoretical description for normal elements in the closure of convex hull of unitary orbit of $y$ is also given. In the case that $A$ has a unique tracial state some classical results about the closure of the convex hull of the unitary orbits in von Neumann algebras are proved to be hold in $C^*$-algebras setting.

math.OA↗

arXiv2017

On classification of non-unital simple amenable C*-algebras, I

We present a stable uniqueness theorem for non-unital C*-algebras. Generalized tracial rank one is defined for stably projectionless simple C*-algebras. Let $A$ and $B$ be two stably projectionless separable simple amenable C*-algebras with $gTR(A)\le 1$and $gTR(B)\le 1.$ Suppose also that $KK(A, D)=KK(B,D)=\{0\}$ for all C*-algebras $D.$ Then $A\cong B$ if and only if they have the same tracial cones with scales. We also show that every separable simple C*-algebra, $A$ with finite nuclear dimension which satisfies the UCT with non-zero traces must have $gTR(A)\le 1$ if $K_0(A)$ is torsion. In the next part of this research, we show similar results without the restriction on $K$-theory.

math.OA↗

arXiv2015

Classification of finite simple amenable ${\cal Z}$-stable $C^*$-algebras

We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. Moreover, it contains all unital simple separable amenable $C^*$-alegbras which satisfy the UCT and have finite rational tracial rank.

math.OA↗

arXiv2015

Homomorphisms from AH-algebras

Let $C$ be a general unital AH-algebra and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. Suppose that $ϕ, ψ: C\to A$ are two unital monomorphisms. We show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if \beq[ϕ]&=&[ψ] {\rm in} KL(C,A), ϕ_{\sharp}&=&ψ_{\sharp}\tand ϕ^†&=&ψ^†, \eneq where $ϕ_{\sharp}$ and $ψ_{\sharp}$ are continuous affine maps from tracial state space $T(A)$ of $A$ to faithful tracial state space $T_{\rm f}(C)$ of $C$ induced by $ϕ$ and $ψ,$ respectively, and $ϕ^‡$ and $ψ^‡$ are induced homomorphisms from $K_1(C)$ into $\Aff(T(A))/\bar{ρ_A(K_0(A))},$ where $\Aff(T(A))$ is the space of all real affine continuous functions on $T(A)$ and $\bar{ρ_A(K_0(A))}$ is the closure of the image of $K_0(A)$ in the affine space $\Aff(T(A)).$ In particular, the above holds for $C=C(X),$ 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 $κ\in KL_e(C,A)^{++},$ an affine map $γ: T(C)\to T_{\rm f}(C)$ and a \hm $\af: K_1(C)\to \Aff(T(A))/\bar{ρ_A(K_0(A))},$ there exists a unital monomorphism $ϕ: C\to A$ such that $[h]=κ,$ $h_{\sharp}=γ$ and $ϕ^†=\af.$

math.OA↗

arXiv2015

Crossed products and minimal dynamical systems

Let $X$ be an infinite compact metric space with finite covering dimension and let $α, β: X\to X$ be two minimal homeomorphisms. We prove that the crossed product $C^*$-algebras $C(X)\rtimes_α\Z$ and $C(X)\rtimes_\belta\Z$ are isomorphic if and only if they have isomorphic Elliott invariant. In a more general setting, we show that if $X$ is an infinite compact metric space and if $α: X\to X$ is a minimal homeomorphism such that $(X, α)$ 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 $C^*$-algebras.

math.OA↗

arXiv2015

The classification of simple separable unital locally ASH algebras

Let $A$ be a simple separable unital locally approximately subhomogeneous C*-algebra (locally ASH algebra). It is shown that $A\otimes Q$ can be tracially approximated by unital Elliott-Thomsen algebras with trivial $\textrm{K}_1$-group, where $Q$ is the universal UHF algebra. In particular, it follows that $A$ is classifiable by the Elliott invariant if $A$ is Jiang-Su stable.

math.OA↗

arXiv2015

The corona algebra of stablized Jiang-Su algebra

Let ${\cal Z}$ be the Jiang-Su algebra and ${\cal K}$ the C*-algebra of compact operators on an infinite dimensional separable Hilbert space. We prove that the corona algebra $M({\cal Z}\otimes {\cal K})/{\cal Z}\otimes {\cal K}$ has real rank zero. We actually prove a more general result.

math.OA↗

arXiv2015

Tensor Products of Classifiable C*-algebras

Let ${\cal A}_1$ be the class of all unital separable simple $C^*$-algebras $A$ such that $A\otimes U$ has tracial rank at most one for all UHF-algebras of infinite type. It has been shown that amenable ${\cal Z}$-stable $C^*$-algebras in ${\cal A}_1$ which satisfy the Universal Coefficient Theorem can be classified up to isomorphism by the Elliott invariant. We show that $A\in {\cal A}_1$ if and only if $A\otimes B$ has tracial rank at most one for one of unital simple infinite dimensional AF-algebra $B.$ In fact, we show that $A\in {\cal A}_1$ if and only if $A\otimes B\in {\cal A}_1$ for some unital simple AH-algebra $B.$ Other results regarding the tensor products of $C^*$-algebras in ${\cal A}_1$ are also obtained

math.OA↗

arXiv2015

Distance between unitary orbits of normal elements in simple C*-algebras of real rank zero

Let $x, y$ be two normal elements in a unital simple C*-algebra $A.$ We introduce a function $D_c(x, y)$ and show that in a unital simple AF-algebra there is a constant $1>C>0$ such that $$ C\cdot D_c(x, y)\le {\rm dist}({\cal U}(x),{\cal U}(y))\le D_c(x,y), $$ where ${\cal U}(x)$ and ${\cal U}(y)$ are the closures of the unitary orbits of $x$ and of $y,$ respectively. We also generalize this to unital simple C*-algebras with real rank zero, stable rank one and weakly unperforated $K_0$-group. More complicated estimates are given in the presence of non-trivial $K_1$-information.

math.OA↗