Source author record

Efren Ruiz

Efren Ruiz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

26works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

26 published item(s)

preprint2022arXiv

Morita equivalence for graded rings

The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement (established later) involves an isomorphism between infinite matrix rings. In our main result, we establish the equivalence of analogous statements involving graded categorical equivalences, graded isomorphisms between corners of finite matrix rings, graded bimodule homomorphisms, and graded isomorphisms between infinite matrix rings.

preprint2021arXiv

Reconstruction of groupoids and C*-rigidity of dynamical systems

We show how to construct a graded locally compact Hausdorff étale groupoid from a C*-algebra carrying a coaction of a discrete group, together with a suitable abelian subalgebra. We call this groupoid the extended Weyl groupoid. When the coaction is trivial and the subalgebra is Cartan, our groupoid agrees with Renault's Weyl groupoid. We prove that if G is a second-countable locally compact étale groupoid carrying a grading of a discrete group, and if the interior of the trivially graded isotropy is abelian and torsion free, then the extended Weyl groupoid of its reduced C*-algebra is isomorphic as a graded groupoid to G. In particular, two such groupoids are isomorphic as graded groupoids if and only if there is an equivariant diagonal-preserving isomorphism of their reduced C*-algebras. We introduce graded equivalence of groupoids, and establish that two graded groupoids in which the trivially graded isotropy has torsion-free abelian interior are graded equivalent if and only if there is an equivariant diagonal-preserving Morita equivalence between their reduced C*-algebras. We use these results to establish rigidity results for a number of classes of dynamical systems, including all actions of the natural numbers by local homeomorphisms of locally compact Hausdorff spaces.

preprint2015arXiv

Absorbing representations with respect to closed operator convex cones

We initiate the study of absorbing representations of $C^\ast$-algebras with respect to closed operator convex cones. We completely determine when such absorbing representations exist, which leads to the question of characterising when a representation is absorbing, as in the classical Weyl-von Neumann type theorem of Voiculescu. In the classical case, this was proven by Elliott and Kucerovsky who proved that a representation is nuclearly absorbing if and only if it induces a purely large extension. By considering a related problem for extensions of $C^\ast$-algebras, which we call the purely large problem, we ask when a purely largeness condition similar to the one defined by Elliott and Kucerovsky, implies absorption with respect to some given closed operator convex cone. We solve this question for a special type of closed operator convex cone induced by actions of finite topological spaces on $C^\ast$-algebras. As an application of this result, we give $K$-theoretic classification for certain $C^\ast$-algebras containing a purely infinite, two-sided, closed ideal for which the quotient is an AF algebra. This generalises a similar result by the second author, S. Eilers and G. Restorff in which all extensions had to be full.

preprint2015arXiv

Geometric classification of unital graph C*-algebras of real rank zero

We generalize the classification result of Restorff on Cuntz-Krieger algebras to cover all unital graph C*-algebras with real rank zero, showing that Morita equivalence in this case is determined by ordered, filtered K-theory as conjectured by three of the authors. The classification result is geometric in the sense that it establishes that any Morita equivalence between C*(E) and C*(F) in this class can be realized by a sequence of moves leading from E to F in a way resembling the role of Reidemeister moves on knots. As a key technical step, we prove that the so-called Cuntz splice leaves unital graph C*-algebras invariant up to Morita equivalence. We note that we have recently found a way to generalize the results of the present paper to cover general unital graph C*-algebras. The improved methods needed render some parts of the present paper obsolete, and hence we do not intend to publish it. Instead, we will present a complete solution (drawing heavily on many of the methods presented here) in a forthcoming paper.

preprint2015arXiv

K-theory for Leavitt path algebras: computation and classification

We show that the long exact sequence for K-groups of Leavitt path algebras deduced by Ara, Brustenga, and Cortinas extends to Leavitt path algebras of countable graphs with infinite emitters in the obvious way. Using this long exact sequence, we compute explicit formulas for the higher algebraic K-groups of Leavitt path algebras over certain fields, including all finite fields and all algebraically closed fields. We also examine classification of Leavitt path algebras using K-theory. It is known that the K_0-group and K_1-group do not suffice to classify purely infinite simple unital Leavitt path algebras of infinite graphs up to Morita equivalence when the underlying field is the rational numbers. We prove for these Leavitt path algebras, if the underlying field is a number field (which includes the case when the field is the rational numbers), then the pair consisting of the K_0-group and the K_6-group does suffice to classify these Leavitt path algebras up to Morita equivalence.

preprint2015arXiv

Pictures of KK-theory for real C*-algebras and almost commuting matrices

We give a systematic account of the various pictures of KK-theory for real C*-algebras, proving natural isomorphisms between the groups that arise from each picture. As part of this project, we develop the universal properties of KK-theory, and we use CRT-structures to prove that a natural transformation from F(A) to G(A) between homotopy equivalent, stable, half-exact functors defined on real C*-algebras is an isomorphism provided it is an isomorphism on the smaller class of C*-algebras. Finally, we develop E-theory for real C*-algebras and use that to obtain new negative results regarding the problem of approximating almost commuting real matrices by exactly commuting real matrices.

preprint2015arXiv

UCT-Kirchberg algebras have nuclear dimension one

We prove that every Kirchberg algebra in the UCT class has nuclear dimension 1. We first show that Kirchberg 2-graph algebras with trivial $K_0$ and finite $K_1$ have nuclear dimension 1 by adapting a technique developed by Winter and Zacharias for Cuntz algebras. We then prove that every Kirchberg algebra in the UCT class is a direct limit of 2-graph algebras to obtain our main theorem.

preprint2014arXiv

The isomorphism problem for semigroup C*-algebras of right-angled Artin monoids

Semigroup C*-algebras for right-angled Artin monoids were introduced and studied by Crisp and Laca. In the paper at hand, we are able to present the complete answer to their question of when such C*-algebras are isomorphic. The answer to this question is presented both in terms of properties of the graph defining the Artin monoids as well as in terms of classification by K-theory, and is obtained using recent results from classification of non-simple C*-algebras. Moreover, we are able to answer another natural question: Which of these semigroup C*-algebras for right-angled Artin monoids are isomorphic to graph algebras? We give a complete answer, and note the consequence that many of the C*-algebras under study are semiprojective.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2013arXiv

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

preprint2013arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

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.