Source author record

Guihua Gong

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

5works
1topics
4close collaborators

Published work

5 publications

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

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.

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.

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.