Researcher profile

Huaxin Lin

Huaxin Lin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 published item(s)

preprint2023arXiv

Projective Hilbert Modules and Sequential Approximation

We show that, when $A$ is a separable C*-algebra, every countably generated Hilbert $A$-module is projective (with bounded module maps as morphisms). We also study the approximate extensions of bounded module maps. In the case that $A$ 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 $A$-modules if and only if $A$ has stable rank one.

preprint2022arXiv

Hereditary uniform property $Γ$

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

preprint2021arXiv

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.

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^*$-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^*$-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^*$-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^*$-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,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.$

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 $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.

preprint2013arXiv

Asymptotic unitary equivalence in $C^*$-algebras

Let $C=C(X)$ be the unital $C^*$-algebra of all continuous functions on a finite CW complex $X$ and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. We show that two unital monomorphisms $ϕ, ψ: C\to A$ are asymptotically unitarily equivalent, i.e., there exists a continuous path of unitaries $\{u_t: t\in [0,1)\}\subset A$ such that $$ \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)$ is the simplex of tracial states of $A$ and $ϕ^†, ψ^†: U(M_{\infty}(C))/DU(M_{\infty}(C))\to$ $U(M_{\infty}(A))/DU(M_{\infty}(A))$ are induced homomorphisms and where $U(M_{\infty}(A))$ and $U(M_{\infty}(C))$ are groups of union of unitary groups of $M_k(A)$ and $M_k(C)$ for all integer $k\ge 1,$ $DU(M_{\infty}(A))$ and $DU(M_{\infty}(C))$ are commutator subgroups of $U(M_{\infty}(A))$ and $U(M_{\infty}(C)),$ respectively. We actually prove a more general result for the case that $C$ is any general unital AH-algebra.

preprint2013arXiv

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

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

preprint2013arXiv

Kishimoto&#39;s Conjugacy Theorems in simple $C^*$-algebras of tracial rank one

Let $A$ be a unital separable simple amenable $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 $K$-theoretical data of $A$.} We show that $\af$ and $\bt$ are strongly cocycle conjugate and uniformly approximately conjugate, that is, there exists a sequence of unitaries $\{u_n\}\subset A$ and a sequence of strongly asymptotically inner automorphisms $σ_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 $K$-theoretic description as to exactly when $\af$ and $\bt$ are cocycle conjugate, at least under a mild restriction. Moreover, we show that given any $K$-theoretical data, there exists an automorphism $\af$ with the Rokhlin property which has the same $K$-theoretical data.

preprint2012arXiv

Homomorphisms into a simple Z-stable C*-Algebras

Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following: Suppose that $ϕ, ψ: A\to B$ are unital {monomorphisms}. There exists a sequence of unitaries $\{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)\to U(B)/CU(B)$ are {the} induced maps and where $T(A)$ and $T(B)$ are tracial state spaces of $A$ and $B,$ and $CU(A)$ and $CU(B)$ are closure of {commutator} subgroups of unitary groups of $A$ and $B,$ respectively. We also show that this holds for some AH-algebras $A.$ {Moreover, if $κ\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)\to U(B)/CU(B)$ is a \hm\, which are compatible, we also show that there is a unital \hm\, $ϕ: A\to B$ so that $([ϕ],ϕ_{\sharp},ϕ^‡)=(κ, λ, γ),$ at least in the case that $K_1(A)$ is a free group,

preprint2012arXiv

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

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

preprint2012arXiv

On Local AH algebras

We show that every unital amenable separable simple $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^*$-algebrass which are &#34;tracially&#34; locally AH with slow dimension growth are ${\cal Z}$-stable. As a consequence, unital separable simple $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 $C$ be a unital AH-algebra and let $A$ be a unital separable simple C*-algebra with tracial rank no more than one. Suppose that $ϕ, ψ: C\to A$ are two unital monomorphisms. With some restriction on $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 $A$ be a simple C*-algebra of stable rank one and let $p$ and $q$ be two $σ$-compact open projections. It is proved that there is a continuous path of unitaries in ${\tilde A}$ which connects open sub-projections of $p$ which is compactly contained in $p$ to those in $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&#39;s problem for automorphisms on simple C*-algebras with tracial rank zero. Let $A$ 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\rtimes_α\Z$ has tracial rank zero. We also show that if the induced map $α_{*0}$ on $K_0(A)$ fixes a &#34;dense&#34; subgroup of $K_0(A)$ then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.