Searcharxiv⌕ Search

arXiv subjects

Efren Ruiz

Publications and source records attributed to Efren Ruiz.

At least 55 records · Page 3Linked to original sources
arXiv2014

Classification of real rank zero, purely infinite C*-algebras with at most four primitive ideals

Counterexamples to classification of purely infinite, nuclear, separable C*-algebras (in the ideal-related bootstrap class) and with primitive ideal space X using ideal-related K-theory occur for infinitely many finite primitive ideal spaces X, the smallest of which having four points. Ideal-related K-theory is known to be strongly complete for such C*-algebras if they have real rank zero and X has at most four points for all but two exceptional spaces: the pseudo-circle and the diamond space. In this article, we close these two remaining cases. We show that ideal-related K-theory is strongly complete for real rank zero, purely infinite, nuclear, separable C*-algebras that have the pseudo-circle as primitive ideal space. In the opposite direction, we construct a Cuntz-Krieger algebra with the diamond space as its primitive ideal space for which an automorphism on ideal-related K-theory does not lift.

math.OA↗
arXiv2013

Classification of tight $C^{*}$-algebras over the one-point compactification of $\mathbb{N}$

We prove a strong classification result for a certain class of $C^{*}$-algebras with primitive ideal space $\widetilde{\mathbb{N}}$, where $\widetilde{\mathbb{N}}$ is the one-point compactification of $\mathbb{N}$. This class contains the class of graph $C^{*}$-algebras with primitive ideal space $\widetilde{\mathbb{N}}$. Along the way, we prove a universal coefficient theorem with ideal-related $K$-theory for $C^{*}$-algebras over $\widetilde{\mathbb{N}}$ whose $\infty$ fiber has torsion-free $K$-theory.

math.OA↗
arXiv2013

Corners of Cuntz-Krieger algebras

We show that if $A$ is a unital $C^*$-algebra and $B$ is a Cuntz-Krieger algebra for which $A\otimes\mathbb{K} \cong B\otimes\mathbb{K}$, then $A$ is a Cuntz-Krieger algebra. Consequently, corners of Cuntz-Krieger algebras are Cuntz-Krieger algebras.

math.OA↗
arXiv2013

Automorphisms of Cuntz-Krieger algebras

We prove that the natural homomorphism from Kirchberg's ideal-related KK-theory, KKE(e, e'), with one specified ideal, into Hom_Λ (\underline{K}_{E} (e), \underline{K}_{E} (e')) is an isomorphism for all extensions e and e' of separable, nuclear C*-algebras in the bootstrap category N with the K-groups of the associated cyclic six term exact sequence being finitely generated, having zero exponential map and with the K_{1}-groups of the quotients being free abelian groups. This class includes all Cuntz-Krieger algebras with exactly one non-trivial ideal. Combining our results with the results of Kirchberg, we classify automorphisms of the stabilized purely infinite Cuntz-Krieger algebras with exactly one non-trivial ideal modulo asymptotically unitary equivalence. We also get a classification result modulo approximately unitary equivalence. The results in this paper also apply to certain graph algebras.

math.OA↗
arXiv2013

Identifying AF-algebras that are graph C*-algebras

We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows us to prove that a unital AF-algebra is isomorphic to a graph C*-algebra if and only if it is a Type I C*-algebra with finitely many ideals. We also consider nonunital AF-algebras that have a largest ideal with the property that the quotient by this ideal is the only unital quotient of the AF-algebra. We show that such an AF-algebra is isomorphic to a graph C*-algebra if and only if its unital quotient is Type I, which occurs if and only if its unital quotient is isomorphic to M_k for some natural number k. All of these results provide vast supporting evidence for the conjecture that an AF-algebra is isomorphic to a graph C*-algebra if and only if each unital quotient of the AF-algebra is Type I with finitely many ideals, and bear relevance for the intrigiung question of finding K-theoretical criteria for when an extension of two graph C*-algebras is again a graph C*-algebra.

math.OA↗
arXiv2013

Ideals in Graph Algebras

We show that the graph construction used to prove that a gauge-invariant ideal of a graph C*-algebra is isomorphic to a graph C*-algebra, and also used to prove that a graded ideal of a Leavitt path algebra is isomorphic to a Leavitt path algebra, is incorrect as stated in the literature. We give a new graph construction to remedy this problem, and prove that it can be used to realize a gauge-invariant ideal (respectively, a graded ideal) as a graph C*-algebra (respectively, a Leavitt path algebra).

math.OA↗
arXiv2013

Classification of unital simple Leavitt path algebras of infinite graphs

We prove that if E and F are graphs with a finite number of vertices and an infinite number of edges, if K is a field, and if L_K(E) and L_K(F) are simple Leavitt path algebras, then L_K(E) is Morita equivalent to L_K(F) if and only if K_0^\textnormal{alg} (L_K(E)) \cong K_0^\textnormal{alg} (L_K(F)) and the graphs $E$ and $F$ have the same number of singular vertices, and moreover, in this case one may transform the graph E into the graph F using basic moves that preserve the Morita equivalence class of the associated Leavitt path algebra. We also show that when K is a field with no free quotients, the condition that E and F have the same number of singular vertices may be replaced by K_1^\textnormal{alg} (L_K(E)) \cong K_1^\textnormal{alg} (L_K(F)), and we produce examples showing this cannot be done in general. We describe how we can combine our results with a classification result of Abrams, Louly, Pardo, and Smith to get a nearly complete classification of unital simple Leavitt path algebras - the only missing part is determining whether the "sign of the determinant condition" is necessary in the finite graph case. We also consider the Cuntz splice move on a graph and its effect on the associated Leavitt path algebra.

math.RA↗
arXiv2013

Strong classification of extensions of classifiable C*-algebras

We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient. We apply our result to give a complete classification of graph C*-algebras with exactly one ideal.

math.OA↗
arXiv2012

Ideal-related K-theory for Leavitt path algebras and graph C*-algebras

We introduce a notion of ideal-related K-theory for rings, and use it to prove that if two complex Leavitt path algebras are Morita equivalent (respectively, isomorphic), then the ideal-related K-theories (respectively, the unital ideal-related K-theories) of the corresponding graph C*-algebras are isomorphic. This has consequences for the "Morita equivalence conjecture" and "isomorphism conjecture" for graph algebras, and allows us to prove that when E and F belong to specific collections of graphs whose C*-algebras are classified by ideal-related K-theory, Morita equivalence (respectively, isomorphism) of the Leavitt path algebras implies strong Morita equivalence (respectively, isomorphism) of the graph C*-algebras. We state a number of corollaries that describe various classes of graphs where these implications hold. In addition, we conclude with a classification of Leavitt path algebras of amplified graphs similar to the existing classification for graph C*-algebras of amplified graphs.

math.OA↗
arXiv2012

Non-stable K-theory for Leavitt path algebras

We compute the monoid of isomorphism classes of finitely generated projective modules of a Leavitt path algebra over an arbitrary directed graph. Our result generalizes the result of Ara, Moreno, and Pardo in which they computed this monoid of a Leavitt path algebra over a countable row-finite directed graph.

math.RA↗
arXiv2012

Axiomatic $KK$-theory for Real C*-algebras

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and split exact, then $F$ factors through the category $KK$. Also, if $F$ is homotopy invariant, stable, half exact, continuous, and satisfies an appropriate dimension axiom, then there is a natural isomorphism $K(A) \to F(A)$ for a large class of separable real C*-algebras $A$. Furthermore, we prove that a natural transformation $F(A) \to G(A)$ of homotopy invariant, stable, half-exact functors which is an isomorphism when $A$ is complex is necessarily an isomorphism when $A$ is real.

math.OA↗
arXiv2012

Ideal related K-theory with coefficients

In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with coefficients are constructed. These diagrams will in most cases help to determine the new groups, and will in a companion paper be used to prove a universal multi-coefficient theorem for the one distinguished ideal case for a large class of algebras.

math.OA↗
arXiv2011

Filtrated K-theory for real rank zero C*-algebras

Using Kirchberg KK_X-classification of purely infinite, separable, stable, nuclear C*-algebras with finite primitive ideal space, Bentmann showed that filtrated K-theory classifies purely infinite, separable, stable, nuclear C*-algebras that satisfy that all simple subquotients are in the bootstrap class and that the primitive ideal space is finite and of a certain type, referred to as accordion spaces. This result generalizes the results of Meyer-Nest involving finite linearly ordered spaces. Examples have been provided, for any finite non-accordion space, that isomorphic filtrated K-theory does not imply KK_X-equivalence for this class of C*-algebras. As a consequence, for any non-accordion space, filtrated K-theory is not a complete invariant for purely infinite, separable, stable, nuclear C*-algebrass that satisfy that all simple subquotients are in the bootstrap class. In this paper, we investigate the case for real rank zero C*-algebras and four-point primitive ideal spaces, as this is the smallest size of non-accordion spaces. Up to homeomorphism, there are ten different connected T_0-spaces with exactly four points. We show that filtrated K-theory classifies purely infinite, real rank zero, separable, stable, nuclear C*-algebras that satisfy that all simple subquotients are in the bootstrap class for eight out of ten of these spaces.

math.OA↗
arXiv2011

The Automorphism group of a simple $\mathcal{Z}$-stable $C^{*}$-algebra

We study the automorphism group of a unital, simple, $\mathcal{Z}$-stable $C^{*}$-algebra. In this paper, we generalize the results by the authors in \cite{pr_auto} to $\mathcal{Z}$-stable $C^{*}$-algebras $\mathfrak{A}$ such that $\mathfrak{A} \otimes \mathfrak{B}$ is a separable, nuclear, simple, tracially AI algebras satisfying the Universal Coefficient Theorem (UCT) of Rosenberg and Schochet \cite{uct}. By the results of Lin in \cite{hl_asyunit} and Winter in \cite{ww_localelliott}, $C^{\ast}$-algebras that satisfies the above condition are classified via $K$-theory and traces.

math.OA↗
arXiv2011

Amplified graph C*-algebras

We provide a complete invariant for graph C*-algebras which are amplified in the sense that whenever there is an edge between two vertices, there are infinitely many. The invariant used is the standard primitive ideal space adorned with a map into {-1,0,1,2,...}, and we prove that the classification result is strong in the sense that isomorphisms at the level of the invariant always lift. We extend the classification result to cover more graphs, and give a range result for the invariant (in the vein of Effros-Handelman-Shen) which is further used to prove that extensions of graph C*-algebras associated to amplified graphs are again graph C*-algebras of amplified graphs.

math.OA↗
arXiv2010

Nonsplitting in Kirchberg's ideal-related KK-theory

A universal coefficient theorem in the setting of Kirchberg's ideal-related KK-theory was obtained in the fundamental case of a C*-algebra with one specified ideal by Bonkat and proved there to split, unnaturally, under certain conditions. Employing certain K-theoretical information derivable from the given operator algebras in a way introduced here, we shall demonstrate that Bonkat's UCT does not split in general. Related methods lead to information on the complexity of the K-theory which must be used to classify *-isomorphisms for purely infinite C*-algebras with one non-trivial ideal.

math.OA↗
arXiv2009

Classification of Extensions of Classifiable C*-algebras

We classify extensions of certain classifiable C*-algebras using the six term exact sequence in K-theory together with the positive cone of the K_0-groups of the distinguished ideal and quotient. We then apply our results to a class of C*-algebras arising from substitutional shift spaces.

math.OA↗