Source author record

Huaxin Lin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

27works
2topics
4close collaborators

Published work

27 publications

preprint2023arXiv

Projective Hilbert Modules and Sequential Approximation

We show that, when AA is a separable C*-algebra, every countably generated Hilbert AA-module is projective (with bounded module maps as morphisms). We also study the approximate extensions of bounded module maps. In the case that AA is a σσ-unital simple C*-algebra with strict comparison and every strictly positive lower semicontinuous affine function on quasitraces can be realized as the rank of an element in Cuntz semigroup, we show that the Cuntz semigroup is the same as unitarily equivalent class of countably generated Hilbert AA-modules if and only if AA has stable rank one.

preprint2022arXiv

Hereditary uniform property ΓΓ

We study the uniform property ΓΓ for separable simple C∗C^*-algebras which have quasitraces and may not be exact. We show that a stably finite separable simple C∗C^*-algebra AA with strict comparison and uniform property ΓΓ has tracial approximate oscillation zero and stable rank one. Moreover in this case, its hereditary C∗C^*-subalgebras also have a version of uniform property Γ.Γ. If a separable non-elementary simple amenable C∗C^*-algebra AA with strict comparison has this hereditary uniform property Γ,Γ, then AA is Z{\cal Z}-stable.

preprint2021arXiv

Non-amenable simple C*-algebras with tracial approximation

We construct two types of unital separable simple C∗C^*-alebras AzC1A_z^{C_1} and AzC2,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, AzCiA_z^{C_i} has a unique tracial state, (K0(AzCi),K0(AzCi)+,[1AzCi])=(Z,Z+,1)(K_0(A_z^{C_i}), K_0(A_z^{C_i})_+, [1_{A_z^{C_i}} ])=(\mathbb Z, \mathbb Z_+,1) and K1(AzCi)={0}K_{1}(A_z^{C_i})=\{0\} (i=1,2i=1,2). We show that AzCiA_z^{C_i} (i=1,2i=1,2) is essentially tracially in the class of separable Z{\cal Z}-stable C∗C^*-alebras of nuclear dimension 1. AzCiA_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∗C^*-alebras which are essentially tracially in the class of simple separable nuclear Z{\cal Z}-stable C∗C^*-alebras and the models exhaust all possible weakly unperforated Elliott invariants. We also discuss some basic properties of essential tracial approximation.

preprint2021arXiv

On classification of non-unital amenable simple C*-algebras, III, the range and the reduction

Following Elliott's earlier work, we show that the Elliott invariant of any finite separable simple C∗C^*-algebra with finite nuclear dimension can always be described as a scaled simple ordered group pairing together with a countable abelian group which unifies the unital and nonunital, as well as stably projectionless cases. We also show that, for any given such invariant set, there is a finite separable simple C∗C^*-algebra, whose Elliott invariant is the given set, a refinement of the range theorem of Elliott in the stable case. In the stably projectionless case, modified model C∗C^*-algebras are constructed in such a way that they are of generalized tracial rank one and have other technical features. We also show that every stably projectionless separable simple amenable C∗C^*-algebra in the UCT class has rationally generalized tracial rank one.

preprint2020arXiv

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,1i=0,1) which satisfies the Universal Coefficient theorem (UCT), and AA 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.$

preprint2020arXiv

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 K0K_0 vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by Z0{\cal Z}_0 which has a unique tracial state and K0(Z0)=ZK_0({\cal Z}_0)=\mathbb{Z} and K1(Z0)={0}.K_1({\cal Z}_0)=\{0\}. Let AA and BB be two separable simple C∗C^*-algebras satisfying the UCT and have finite nuclear dimension. We show that A⊗Z0≅B⊗Z0A\otimes {\cal Z}_0\cong B\otimes {\cal Z}_0 if and only if Ell(B⊗Z0)=Ell(B⊗Z0).{\rm Ell}(B\otimes {\cal Z}_0)={\rm Ell}(B\otimes {\cal Z}_0). A class of simple separable C∗C^*-algebras which are approximately sub-homogeneous whose spectra having bounded dimension is shown to exhaust all possible Elliott invariant for C∗C^*-algebras of the form A⊗Z0,A\otimes {\cal Z}_0, where AA is any finite separable simple amenable C∗C^*-algebras. Suppose that AA and BB are two finite separable simple C∗C^*-algebras with finite nuclear dimension satisfying the UCT such that traces vanishe on K0(A)K_0(A) and K0(B)K_0(B) (but arbitrary K1K_1). One consequence of the main results in this situation is that A≅BA\cong B if and only if AA and BB have the isomorphic Elliott invariant.

preprint2015arXiv

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

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

preprint2015arXiv

Crossed products and minimal dynamical systems

Let XX be an infinite compact metric space with finite covering dimension and let α,β:X→Xα, β: X\to X be two minimal homeomorphisms. We prove that the crossed product C∗C^*-algebras C(X)⋊αZC(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 XX is an infinite compact metric space and if α:X→Xα: X\to X is a minimal homeomorphism such that (X,α)(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∗C^*-algebras.

preprint2015arXiv

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

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

preprint2015arXiv

Homomorphisms from AH-algebras

Let CC be a general unital AH-algebra and let AA be a unital simple C∗C^*-algebra with tracial rank at most one. Suppose that ϕ,ψ:C→Aϕ, ψ: 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)T(A) of AA to faithful tracial state space Tf(C)T_{\rm f}(C) of CC induced by ϕϕ and ψ,ψ, respectively, and ϕ‡ϕ^‡ and ψ‡ψ^‡ are induced homomorphisms from K1(C)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)T(A) and ρA(K0(A))ˉ\bar{ρ_A(K_0(A))} is the closure of the image of K0(A)K_0(A) in the affine space $\Aff(T(A)).$ In particular, the above holds for C=C(X),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 κ∈KLe(C,A)++,κ\in KL_e(C,A)^{++}, an affine map γ:T(C)→Tf(C)γ: 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→Aϕ: C\to A such that [h]=κ,[h]=κ, h♯=γh_{\sharp}=γ and $ϕ^†=\af.$

preprint2015arXiv

Tensor Products of Classifiable C*-algebras

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

preprint2014arXiv

Determinant Rank of C*-algebras

Let AA be a unital C∗C^*-algebra and let U0(A)U_0(A) be the group of unitaries of AA which are path connected to the identity. Denote by CU(A)CU(A) the closure of the commutator subgroup of U0(A).U_0(A). Let iA(1,n) ⁣:U0(A)/CU(A)→U0(Mn(A))/CU(Mn(A))i_A^{(1, n)}\colon U_0(A)/CU(A)\rightarrow U_0(\mathrm M_n(A))/CU(\mathrm M_n(A)) be the \hm\, defined by sending uu to diag(u,1n).{\rm diag}(u,1_n). We study the problem when the map iA(1,n)i_A^{(1,n)} is an isomorphism for all n.n. We show that it is always surjective and is injective when AA has stable rank one. It is also injective when AA is a unital C∗C^*-algebra of real rank zero, or AA has no tracial state. We prove that the map is an isomorphism when AA is the Villadsen's simple AH--algebra of stable rank k>1.k>1. We also prove that the map is an isomorphism for all Blackadar's unital projectionless separable simple C∗C^*-algebras. Let A=Mn(C(X)),A=\mathrm M_n(C(X)), where XX is any compact metric space. It is noted that the map iA(1,n)i_A^{(1, n)} is an isomorphism for all n.n. As a consequence, the map iA(1,n)i_A^{(1, n)} is always an isomorphism for any unital C∗C^*-algebra AA that is an inductive limit of finite direct sum of C∗C^*-algebras of the form Mn(C(X))\mathrm M_n(C(X)) as above. Nevertheless we show that there are unital C∗C^*-algebras AA such that iA(1,2)i_A^{(1,2)} is not an isomorphism.

preprint2014arXiv

Rotation algebras and Exel trace formula

We found that if uu and vv are any two unitaries in a unital C∗C^*-algebra with ∥uv−vu∥<2\|uv-vu\|<2 such that uvu∗v∗uvu^*v^* commutes with uu and v,v, then the \SCA\, Au,vA_{u,v} generated by uu and vv is isomorphic to a quotient of the rotation algebra AθA_θ provided that Au,vA_{u,v} has a unique tracial state. We also found that the Exel trace formula holds in any unital C∗C^*-algebra. Let θ∈(−1/2,1/2)θ\in (-1/2, 1/2) be a rational number. We prove the following: For any $\ep>0,$ there exists $\dt>0$ satisfying the following: if uu and vv are two unitary matrices such that $$ \|uv-e^{2πiθ}vu\|<\dt\andeqn {1\over{2πi}}τ(\log(uvu^*v^*))=θ, $$ then there exists a pair of unitary matrices u~\tilde{u} and v~\tilde{v} such that $$ \tilde{u}\tilde{v}=e^{2πiθ} \tilde{v}\tilde{u},\,\, \|u-\tilde{u}\|<\ep\andeqn \|v-\tilde{v}\|<\ep. $$ Furthermore, a generalization of this for all real θθ is obtained for unitaries in unital infinite dimensional simple C∗C^*-algebras of tracial rank zero.

preprint2013arXiv

Asymptotic unitary equivalence in C∗C^*-algebras

Let C=C(X)C=C(X) be the unital C∗C^*-algebra of all continuous functions on a finite CW complex XX and let AA be a unital simple C∗C^*-algebra with tracial rank at most one. We show that two unital monomorphisms ϕ,ψ:C→Aϕ, ψ: C\to A are asymptotically unitarily equivalent, i.e., there exists a continuous path of unitaries {ut:t∈[0,1)}⊂A\{u_t: t\in [0,1)\}\subset A such that lim⁡t→1ut∗ϕ(f)ut=ψ(f)forall∈C(X), \lim_{t\to 1} u_t^*ϕ(f)u_t=ψ(f) {\rm for all} \in C(X), if and only if \beq [ϕ]&=&[ψ] {\rm in} KK(C, A), τ\circ ϕ&=&τ\circ ψ{\rm for all} τ\in T(A), and ϕ^†&=&ψ^†, \eneq where T(A)T(A) is the simplex of tracial states of AA and ϕ†,ψ†:U(M∞(C))/DU(M∞(C))→ϕ^†, ψ^†: U(M_{\infty}(C))/DU(M_{\infty}(C))\to U(M∞(A))/DU(M∞(A))U(M_{\infty}(A))/DU(M_{\infty}(A)) are induced homomorphisms and where U(M∞(A))U(M_{\infty}(A)) and U(M∞(C))U(M_{\infty}(C)) are groups of union of unitary groups of Mk(A)M_k(A) and Mk(C)M_k(C) for all integer k≥1,k\ge 1, DU(M∞(A))DU(M_{\infty}(A)) and DU(M∞(C))DU(M_{\infty}(C)) are commutator subgroups of U(M∞(A))U(M_{\infty}(A)) and U(M∞(C)),U(M_{\infty}(C)), respectively. We actually prove a more general result for the case that CC is any general unital AH-algebra.

preprint2013arXiv

Exponential rank and exponential length for Z-stable simple C*-algebras

Let AA be a unital separable simple Z{\cal Z}-stable C*-algebra which has rational tracial rank at most one and let u∈U0(A),u\in U_0(A), the connected component of the unitary group of A.A. We show that, for any ε>0,ε>0, there exists a self-adjoint element h∈Ah\in A such that ∣u−exp⁡(ih)∣<ε. |u-\exp(ih)|<ε. The lower bound of ∣h∣|h| could be as large as one wants. If u∈CU(A),u\in CU(A), the closure of the commutator subgroup of the unitary group, we prove that there exists a self-adjoint element h∈Ah\in A such that ∣u−exp⁡(ih)∣<εand∣h∣≤2π. |u-\exp(ih)| <εand |h|\le 2π. Examples are given that the bound 2π2π for ∣h∣|h| is the optimal in general. For the Jiang-Su algebra Z,{\cal Z}, we show that, if u∈U0(Z)u\in U_0({\cal Z}) and ε>0,ε>0, there exists a real number −π<t≤π-π<t\le π and a self-adjoint element h∈Zh\in {\cal Z} with ∣h∣≤2π|h|\le 2π such that ∣eitu−exp⁡(ih)∣<ε. |e^{it}u-\exp(ih)|<ε.

preprint2013arXiv

Kishimoto's Conjugacy Theorems in simple C∗C^*-algebras of tracial rank one

Let AA be a unital separable simple amenable C∗C^*-algebra with finite tracial rank which satisfies the Universal Coefficient Theorem (UCT). Suppose $\af$ and $\bt$ are two automorphisms with the Rokhlin property that {induce the same action on the KK-theoretical data of AA.} We show that $\af$ and $\bt$ are strongly cocycle conjugate and uniformly approximately conjugate, that is, there exists a sequence of unitaries {un}⊂A\{u_n\}\subset A and a sequence of strongly asymptotically inner automorphisms σnσ_n such that $$ \af={\rm Ad}\, u_n\circ σ_n\circ \bt\circ σ_n^{-1}\andeqn \lim_{n\to\infty}\|u_n-1\|=0, $$ and that the converse holds. {We then give a KK-theoretic description as to exactly when $\af$ and $\bt$ are cocycle conjugate, at least under a mild restriction. Moreover, we show that given any KK-theoretical data, there exists an automorphism $\af$ with the Rokhlin property which has the same KK-theoretical data.

preprint2012arXiv

Homomorphisms into a simple Z-stable C*-Algebras

Let AA and BB be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} AA and BB are Z\mathcal Z-stable and are of rationally tracial rank no more than one. We prove the following: Suppose that ϕ,ψ:A→Bϕ, ψ: A\to B are unital {monomorphisms}. There exists a sequence of unitaries {un}⊂B\{u_n\}\subset B such that $$ \lim_{n\to\infty} u_n^*ϕ(a) u_n=ψ(a)\tforal a\in A, $$ if and only if $$ [ϕ]=[ψ]\,\,\,\text{in}\,\,\, KL(A,B), ϕ_{\sharp}=ψ_{\sharp}\andeqnϕ^‡=ψ^‡, $$ where $ϕ_{\sharp}, ψ_{\sharp}: \aff(T(A))\to \aff(T(B))$ and ϕ‡,ψ‡:U(A)/CU(A)→U(B)/CU(B)ϕ^‡, ψ^‡: U(A)/CU(A)\to U(B)/CU(B) are {the} induced maps and where T(A)T(A) and T(B)T(B) are tracial state spaces of AA and B,B, and CU(A)CU(A) and CU(B)CU(B) are closure of {commutator} subgroups of unitary groups of AA and B,B, respectively. We also show that this holds for some AH-algebras A.A. {Moreover, if κ∈KL(A,B)κ\in KL(A,B) preserves the order and the identity, $λ: \aff(\tr(A))\to \aff(\tr(B))$ is a continuous affine map and γ:U(A)/CU(A)→U(B)/CU(B)γ: U(A)/CU(A)\to U(B)/CU(B) is a \hm\, which are compatible, we also show that there is a unital \hm\, ϕ:A→Bϕ: A\to B so that ([ϕ],ϕ♯,ϕ‡)=(κ,λ,γ),([ϕ],ϕ_{\sharp},ϕ^‡)=(κ, λ, γ), at least in the case that K1(A)K_1(A) is a free group,

preprint2012arXiv

On generalized universal irrational rotation algebras and the operator u+vu+v

We introduce a class of generalized universal irrational rotation C∗C^*-algebras Aθ,γ=C∗(x,w)A_{θ,γ}=C^*(x,w) which is characterized by the relations w∗w=ww∗=1w^*w=ww^*=1, x∗x=γ(w)x^*x=γ(w), xx∗=γ(e−2πiθw)xx^*=γ(e^{-2πiθ}w), and xw=e−2πiθwxxw=e^{-2πiθ}wx, where θθ is an irrational number and γ(z)∈C(T)γ(z)\in C(\mathbb{T}) is a positive function. We characterize tracial linear functionals, simplicity, and KK-groups of Aθ,γA_{θ,γ} in terms of zero points of γ(z)γ(z). We show that if Aθ,γA_{θ,γ} is simple then Aθ,γA_{θ,γ} is an ATA{\mathbb T}-algebra of real rank zero. We classify Aθ,γA_{θ,γ} in terms of θθ and zero points of γ(z)γ(z). Let Aθ=C∗(u,v)A_θ=C^*(u,v) be the universal irrational rotation C∗C^*-algebra with vu=e2πiθuvvu=e^{2πiθ}uv. Then C∗(u+v)≅Aθ,∣1+z∣2C^*(u+v)\cong A_{θ,|1+z|^2}. As an application, we show that C∗(u+v)C^*(u+v) is a proper simple C∗C^*-subalgebra of AθA_θ which has a unique trace, K1(C∗(u+v))≅ZK_1(C^*(u+v))\cong \mathbb{Z}, and there is an order isomorphism of K0(C∗(u+v))K_0(C^*(u+v)) onto Z+Zθ\mathbb{Z}+\mathbb{Z}θ. {Moreover, C∗(u+v)C^*(u+v) is a unital simple ATA{\mathbb T}-algebra of real rank zero.} We also calculate the spectrum and the Brown measure of u+vu+v.

preprint2012arXiv

On Local AH algebras

We show that every unital amenable separable simple C∗C^*-algebra with finite tracial rank which satisfies the UCT has in fact tracial rank at most one. We also show that unital separable simple C∗C^*-algebrass which are "tracially" locally AH with slow dimension growth are Z{\cal Z}-stable. As a consequence, unital separable simple C∗C^*-algebras which are locally AH with no dimension growth are isomorphic to a unital simple AH-algebra with no dimension growth.

preprint2010arXiv

Approximate Unitary Equivalence in Simple C^*-algebras of Tracial Rank One

Let CC be a unital AH-algebra and let AA be a unital separable simple C*-algebra with tracial rank no more than one. Suppose that ϕ,ψ:C→Aϕ, ψ: C\to A are two unital monomorphisms. With some restriction on C,C, we show that ϕϕ and ψψ are approximately unitarily equivalent if and only if [ϕ]=[ψ] in KL(C,A) τ\circ ϕ=τ\circ ψfor all tracial states of A and ϕ^‡=ψ^‡, here ϕ^‡ and ψ^‡ are homomorphisms from $U(C)/CU(C)\to U(A)/CU(A) induced by ϕand ψ, respectively, and where CU(C) and CU(A) are closures of the subgroup generated by commutators of the unitary groups of C and B.

preprint2010arXiv

Cuntz semigroups of C*-algebras of stable rank one and projective Hilbert modules

Let AA be a simple C*-algebra of stable rank one and let pp and qq be two σσ-compact open projections. It is proved that there is a continuous path of unitaries in A~{\tilde A} which connects open sub-projections of pp which is compactly contained in pp to those in q.q. It is also shown that every Hilbert module is projective in the category whose morphisms are bounded module maps with adjoints. A discussion of projective Hilbert modules (whose morphisms are bounded module maps) is also given.

preprint2010arXiv

The Rohlin property for automorphisms on simple C*-algebras

We study a general Kishimoto's problem for automorphisms on simple C*-algebras with tracial rank zero. Let AA be a unital separable simple C*-algebra with tracial rank zero and let αα be an automorphism. Under the assumption that αα has certain Rokhlin property, we present a proof that A⋊αZA\rtimes_α\Z has tracial rank zero. We also show that if the induced map α∗0α_{*0} on K0(A)K_0(A) fixes a "dense" subgroup of K0(A)K_0(A) then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.

preprint2004arXiv

Minimal dynamical systems on the product of the Cantor set and the circle

We prove that a crossed product algebra arising from a minimal dynamical system on the product of the Cantor set and the circle has real rank zero if and only if that system is rigid. In the case that cocycles take values in the rotation group, it is also shown that rigidity implies tracial rank zero, and in particular, the crossed product algebra is isomorphic to a unital simple AT-algebra of real rank zero. Under the same assumption, we show that two systems are approximately KK-conjugate if and only if there exists a sequence of isomorphisms between two associated crossed products which approximately maps $C(X\times \T)$ onto $C(X\times \T)$.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.