Showing 1–50 of 55 results for author: Ruiz, E

Unital shift equivalence

Authors: Kevin Aguyar Brix, Efren Ruiz

Abstract: We introduce and study a unital version of shift equivalence for finite square matrices over the nonnegative integers. In contrast to the classical case, we show that unital shift equivalence does not coincide with one-sided eventual conjugacy. We also prove that unital shift equivalent matrices define one-sided shifts of finite type that are continuously orbit equivalent. Consequently, unitally s… ▽ More We introduce and study a unital version of shift equivalence for finite square matrices over the nonnegative integers. In contrast to the classical case, we show that unital shift equivalence does not coincide with one-sided eventual conjugacy. We also prove that unital shift equivalent matrices define one-sided shifts of finite type that are continuously orbit equivalent. Consequently, unitally shift equivalent matrices have isomorphic topological full groups and isomorphic Leavitt path algebras, the latter being related to Hazrat's graded classification conjecture in algebra. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 15 pages

Generalization of Binet's formula for Fibonacci-type numeric sequences through the use of arithmetic pseudo-operators

Authors: Victor Enrique Vizcarra Ruiz

Abstract: This paper presents an innovative approach to the study of recurrent sequences by introducing the concept of arithmetic pseudo-operators. Unlike conventional operators, these pseudo-operators are pure complex numbers with specific structural properties, allowing for unprecedented operational reformulations. Represented by the symbols ``$+$'', ``$/$'' (slash), ``$\setminus$'' (aslash), ``$\bot$'',… ▽ More This paper presents an innovative approach to the study of recurrent sequences by introducing the concept of arithmetic pseudo-operators. Unlike conventional operators, these pseudo-operators are pure complex numbers with specific structural properties, allowing for unprecedented operational reformulations. Represented by the symbols ``$+$'', ``$/$'' (slash), ``$\setminus$'' (aslash), ``$\bot$'', ``$\top$'', and ``$\dashv$'', these operators correspond to rotations in the unit circle of the complex plane and generalize fundamental operations, as seen in the identities ``$1 / 1 \setminus 1 = 0$'' and ``$1 \bot 1 \top 1 \dashv 1 = 0$'', which exhibit behavior analogous to conventional subtraction ``$1 - 1 = 0$''. Based on this structure, we reformulate Binet's equations for the Fibonacci and Tribonacci sequences and outline the path for their generalization to the Tetranacci sequence \cite{koshy}. This new perspective not only enhances the understanding of higher-order recurrences but also suggests potential applications in discrete mathematics and computational algebra, expanding the scope of classical algebraic operations. △ Less

Submitted 24 March, 2025; originally announced April 2025.

Comments: 9 pages

Norm upper-semicontinuity of functions supported on open abelian isotropy in étale groupoids (a corrigendum to "Reconstruction of groupoids and C*-rigidity of dynamical systems," Adv. Math 390 (2021), 107923)

Authors: Toke Meier Carlsen, Anna Duwenig, Efren Ruiz, Aidan Sims

Abstract: We consider étale Hausdorff groupoids in which the interior of the isotropy is abelian. We prove that the norms of the images under regular representations, of elements of the reduced groupoid $C^*$-algebra whose supports are contained in the interior of the isotropy vary upper semicontinuously. This corrects an error in [T.M. Carlsen, E. Ruiz, A. Sims and M. Tomforde, "Reconstruction of groupoids… ▽ More We consider étale Hausdorff groupoids in which the interior of the isotropy is abelian. We prove that the norms of the images under regular representations, of elements of the reduced groupoid $C^*$-algebra whose supports are contained in the interior of the isotropy vary upper semicontinuously. This corrects an error in [T.M. Carlsen, E. Ruiz, A. Sims and M. Tomforde, "Reconstruction of groupoids and C*-rigidity of dynamical systems," Adv. Math 390 (2021), 107923]. △ Less

Submitted 15 November, 2024; originally announced December 2024.

Comments: 12 pages

MSC Class: 46L05

Shift equivalence relations through the lens of C*-correspondences

Authors: Boris Bilich, Adam Dor-On, Efren Ruiz

Abstract: We continue the study of shift equivalence relations from the perspective of C*-bimodule theory. We study emerging shift equivalence relations following work of the second-named author with Carlsen and Eilers, both in terms of adjacency matrices and in terms of their C*-correspondences, and orient them when possible. In particular, we show that if two regular C*-correspondences are strong shift eq… ▽ More We continue the study of shift equivalence relations from the perspective of C*-bimodule theory. We study emerging shift equivalence relations following work of the second-named author with Carlsen and Eilers, both in terms of adjacency matrices and in terms of their C*-correspondences, and orient them when possible. In particular, we show that if two regular C*-correspondences are strong shift equivalent, then the intermediary C*-correspondences realizing the equivalence may be chosen to be regular. This result provides the final missing piece in answering a question of Muhly, Pask and Tomforde, and is used to confirm a conjecture of Kakariadis and Katsoulis on shift equivalence of C*-correspondences. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Comments: 25 pages

MSC Class: Primary: 46L08; 37B10. Secondary: 37A55; 46L55

Unital aligned shift equivalence and the graded classification conjecture for Leavitt path algebras

Authors: Kevin Aguyar Brix, Adam Dor-On, Roozbeh Hazrat, Efren Ruiz

Abstract: We prove that a unital shift equivalence induces a graded isomorphism of Leavitt path algebras when the shift equivalence satisfies an alignment condition. This yields another step towards confirming the Graded Classification Conjecture. Our proof uses the bridging bimodule developed by Abrams, the fourth-named author and Tomforde, as well as a general lifting result for graded rings that we estab… ▽ More We prove that a unital shift equivalence induces a graded isomorphism of Leavitt path algebras when the shift equivalence satisfies an alignment condition. This yields another step towards confirming the Graded Classification Conjecture. Our proof uses the bridging bimodule developed by Abrams, the fourth-named author and Tomforde, as well as a general lifting result for graded rings that we establish here. This general result also allows us to provide simplified proofs of two important recent results: one independently proven by Arnone and Va{\v s} through other means that the graded $K$-theory functor is full, and the other proven by Arnone and Cortiñas that there is no unital graded homomorphism between a Leavitt algebra and the path algebra of a Cuntz splice. △ Less

Submitted 13 September, 2024; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: v2. 14 pages, added Remark 5.3

MSC Class: Primary: 16S88; 16W50; 19A49. Secondary: 37B10; 46L35

Equivariant homotopy classification of graph C*-algebras

Authors: Boris Bilich, Adam Dor-On, Efren Ruiz

Abstract: We show that shift equivalence of essential adjacency matrices coincides with gauge-equivariant homotopy equivalence of their stabilized graph C*-algebras. This provide the first equivalent formulation of shift equivalence of essential matrices in terms of gauge actions on graph C*-algebras. Our proof uses bicategory theory for C*-bimodules developed by Meyer and Sehnem, allowing us to avoid the u… ▽ More We show that shift equivalence of essential adjacency matrices coincides with gauge-equivariant homotopy equivalence of their stabilized graph C*-algebras. This provide the first equivalent formulation of shift equivalence of essential matrices in terms of gauge actions on graph C*-algebras. Our proof uses bicategory theory for C*-bimodules developed by Meyer and Sehnem, allowing us to avoid the use of K-theory classification of C*-algebras. △ Less

Submitted 26 August, 2024; v1 submitted 19 August, 2024; originally announced August 2024.

Comments: 21 pages. Fixed some minor typos and updated MSC

MSC Class: Primary: 46L55; 46M15 Secondary: 37B10; 46L35; 18N10

The Algebraic Kirchberg-Phillips Question for Leavitt path algebras

Authors: Efren Ruiz

Abstract: The Algebraic Kirchberg-Phillips Question for Leavitt path algebras asks whether unital $K$-theory is a complete isomorphism invariant for unital, simple, purely infinite Leavitt path algebras over finite graphs. Most work on this problem has focused on determining whether (up to isomorphism) there is a unique unital, simple, Leavitt path algebra with trivial $K$-theory (often reformulated as the… ▽ More The Algebraic Kirchberg-Phillips Question for Leavitt path algebras asks whether unital $K$-theory is a complete isomorphism invariant for unital, simple, purely infinite Leavitt path algebras over finite graphs. Most work on this problem has focused on determining whether (up to isomorphism) there is a unique unital, simple, Leavitt path algebra with trivial $K$-theory (often reformulated as the question of whether the Leavitt path algebras $L_2$ and $L_{2_-}$ are isomorphic). However, it is unknown whether a positive answer to this special case implies a positive answer to the Algebraic Kirchberg-Phillips Question. In this note, we pose a different question that asks whether two particular non-simple Leavitt path algebras $L_k(\mathbf{F}_*)$ and $L_k(\mathbf{F}_{**})$ are isomorphic, and we prove that a positive answer to this question implies a positive answer to the Algebraic Kirchberg-Phillips Question. △ Less

Submitted 26 July, 2024; originally announced July 2024.

Comments: 17 oages

MSC Class: Primary: 16S88; Secondary: 46L35; 37B10

Recasting the Hazrat Conjecture: Relating Shift Equivalence to Graded Morita Equivalence

Authors: Gene Abrams, Efren Ruiz, Mark Tomforde

Abstract: Let $E$ and $F$ be finite graphs with no sinks, and $k$ any field. We show that shift equivalence of the adjacency matrices $A_E$ and $A_F$, together with an additional compatibility condition, implies that the Leavitt path algebras $L_k(E)$ and $L_k(F)$ are graded Morita equivalent. Along the way, we build a new type of $L_k(E)$--$L_k(F)$-bimodule (a bridging bimodule), which we use to establish… ▽ More Let $E$ and $F$ be finite graphs with no sinks, and $k$ any field. We show that shift equivalence of the adjacency matrices $A_E$ and $A_F$, together with an additional compatibility condition, implies that the Leavitt path algebras $L_k(E)$ and $L_k(F)$ are graded Morita equivalent. Along the way, we build a new type of $L_k(E)$--$L_k(F)$-bimodule (a bridging bimodule), which we use to establish the graded equivalence. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 36 pages

MSC Class: 16S88; 46L35; 37B10

Two-body Coulomb problem and $g^{(2)}$ algebra (once again about the Hydrogen atom)

Authors: Alexander V Turbiner, Adrian M Escobar Ruiz

Abstract: Taking the Hydrogen atom as an example it is shown that if the symmetry of a three-dimensional system is $O(2) \oplus Z_2$, the variables $(r, ρ, \varphi)$ allow a separation of the variable $\varphi$, and the eigenfunctions define a new family of orthogonal polynomials in two variables, $(r, ρ^2)$. These polynomials are related to the finite-dimensional representations of the algebra… ▽ More Taking the Hydrogen atom as an example it is shown that if the symmetry of a three-dimensional system is $O(2) \oplus Z_2$, the variables $(r, ρ, \varphi)$ allow a separation of the variable $\varphi$, and the eigenfunctions define a new family of orthogonal polynomials in two variables, $(r, ρ^2)$. These polynomials are related to the finite-dimensional representations of the algebra $gl(2) \ltimes {\it R}^3 \in g^{(2)}$ (discovered by S Lie around 1880 which went almost unnoticed), which occurs as the hidden algebra of the $G_2$ rational integrable system of 3 bodies on the line with 2- and 3-body interactions (the Wolfes model). Namely, those polynomials occur intrinsically in the study of the Zeeman effect on Hydrogen atom. It is shown that in the variables $(r, ρ, \varphi)$ in the quasi-exactly-solvable, generalized Coulomb problem new polynomial eigenfunctions in $(r, ρ^2)$-variables are found. △ Less

Submitted 30 January, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 13 pages, 3 figures (Fig.3 about Newton triangle redone), 7 extra references added; text profoundly edited, section about quasi-exactly-solvable, generalized Coulomb problem added (marked by blue)

Journal ref: Phys Lett A 468 (2023) 128738

Morita equivalence for graded rings

Authors: Gene Abrams, Efren Ruiz, Mark Tomforde

Abstract: 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… ▽ More 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. △ Less

Submitted 14 May, 2022; originally announced May 2022.

Comments: 23 pages

Amplified graph C*-algebras II: reconstruction

Authors: Søren Eilers, Efren Ruiz, Aidan Sims

Abstract: Let $E$ be a countable directed graph that is amplified in the sense that whenever there is an edge from $v$ to $w$, there are infinitely many edges from $v$ to $w$. We show that $E$ can be recovered from $C^*(E)$ together with its canonical gauge-action, and also from $L_K(E)$ together with its canonical grading. Let $E$ be a countable directed graph that is amplified in the sense that whenever there is an edge from $v$ to $w$, there are infinitely many edges from $v$ to $w$. We show that $E$ can be recovered from $C^*(E)$ together with its canonical gauge-action, and also from $L_K(E)$ together with its canonical grading. △ Less

Submitted 1 July, 2020; originally announced July 2020.

Comments: 17 pages

MSC Class: 46L35

Geometric classification of isomorphism of unital graph C*-algebras

Authors: Sara E. Arklint, Søren Eilers, Efren Ruiz

Abstract: We geometrically describe the relation induced on a set of graphs by isomorphism of their associated graph C*-algebras as the smallest equivalence relation generated by five types of moves. The graphs studied have finitely many vertices and finitely or countably infinitely many edges, corresponding to unital and separable C*-algebras. We geometrically describe the relation induced on a set of graphs by isomorphism of their associated graph C*-algebras as the smallest equivalence relation generated by five types of moves. The graphs studied have finitely many vertices and finitely or countably infinitely many edges, corresponding to unital and separable C*-algebras. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Report number: CPH-SYM-DNRF92

Refined moves for structure-preserving isomorphism of graph C*-algebras

Authors: Søren Eilers, Efren Ruiz

Abstract: We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we conjecture has the property that the collection of moves respecting one of six notions of isomorphism indeed generate that notion, in the sense that two graphs a… ▽ More We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we conjecture has the property that the collection of moves respecting one of six notions of isomorphism indeed generate that notion, in the sense that two graphs are equivalent in that sense if and only if one may transform one into another using only these kinds of moves. We carefully establish invariance properties of each move on our list, and prove a collection of generation results supporting our conjecture with an emphasis on the gauge simple case. In two of the six cases, we may prove the conjecture in full generality, and in two we can show it for all graphs defining gauge simple C*-algebras. In the two remaining cases we can show the conjecture for all graphs defining gauge simple C*-algebras provided that they are either finite or have at most one vertex allowing a path back to itself. △ Less

Submitted 28 February, 2025; v1 submitted 10 August, 2019; originally announced August 2019.

Comments: The second version is three times the length of the first and contains more evidence to support the conjectures, along with a full development of the two types of isomorphism not substantially considered in the first version. Tools for this analysis are presented. An error from the first version is located and its implications are discussed, see Proposition 7.1.5 and the footnote given there

Report number: CPH-SYM-DNRF92

The extension problem for graph $C^*$-algebras

Authors: Søren Eilers, James Gabe, Takeshi Katsura, Efren Ruiz, Mark Tomforde

Abstract: We give a complete $K$-theoretical description of when an extension of two simple graph $C^{*}$-algebras is again a graph $C^{*}$-algebra. We give a complete $K$-theoretical description of when an extension of two simple graph $C^{*}$-algebras is again a graph $C^{*}$-algebra. △ Less

Submitted 6 July, 2020; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: Accepted version, to appear in Annals of K-theory

Report number: CPH-SYM-DNRF92 MSC Class: 46L55

Journal ref: Ann. K-Th. 5 (2020) 295-315

The unital Ext-groups and classification of $C^\ast$-algebras

Authors: James Gabe, Efren Ruiz

Abstract: The semigroups of unital extensions of separable $C^\ast$-algebras come in two flavours: a strong and a weak version. By the unital $\mathrm{Ext}$-groups, we mean the groups of invertible elements in these semigroups. We use the unital $\mathrm{Ext}$-groups to obtain $K$-theoretic classification of both unital and non-unital extensions of $C^\ast$-algebras, and in particular we obtain a complete… ▽ More The semigroups of unital extensions of separable $C^\ast$-algebras come in two flavours: a strong and a weak version. By the unital $\mathrm{Ext}$-groups, we mean the groups of invertible elements in these semigroups. We use the unital $\mathrm{Ext}$-groups to obtain $K$-theoretic classification of both unital and non-unital extensions of $C^\ast$-algebras, and in particular we obtain a complete $K$-theoretic classification of full extensions of UCT Kirchberg algebras by stable AF algebras. △ Less

Submitted 13 March, 2019; v1 submitted 25 October, 2018; originally announced October 2018.

Comments: 31 pages. V2: Minor changes. To appear in Glasgow Math. J

Report number: CPH-SYM-DNRF92 MSC Class: 46L35

Reconstruction of groupoids and C*-rigidity of dynamical systems

Authors: Toke Meier Carlsen, Efren Ruiz, Aidan Sims, Mark Tomforde

Abstract: 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… ▽ More 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. △ Less

Submitted 4 July, 2021; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: v2: 45 pages; removed notion of "weakly Cartan subalgebra" as it is equivalent to a sigma-unital abelian subalgebra (see Lemma 4.1) and updated numerous statements accordingly. Thanks to R. Meyer and B. Kwasniewski for pointing this out. Numerous other minor corrections and improvements. This version to appear in Advances in Mathematics

MSC Class: 46L05 (primary); 20M20; 22A22; 37B05; 37B10; 46L55

Journal ref: Adv. Math., 390 (2021), 107923

The complete classification of unital graph $C^*$-algebras: Geometric and strong

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We provide a complete classification of the class of unital graph $C^*$-algebras - prominently containing the full family of Cuntz-Krieger algebras - showing that Morita equivalence in this case is determined by ordered, filtered $K$-theory. 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 realize… ▽ More We provide a complete classification of the class of unital graph $C^*$-algebras - prominently containing the full family of Cuntz-Krieger algebras - showing that Morita equivalence in this case is determined by ordered, filtered $K$-theory. 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 ingredient, we introduce a new class of such moves, establish that they leave the graph algebras invariant, and prove that after this augmentation, the list of moves becomes complete in the sense described above. Along the way, we prove that every ordered, reduced filtered $K$-theory isomorphism can be lifted to an isomorphism between the stabilized $C^*$-algebras - and, as a consequence, that every ordered, reduced filtered $K$-theory isomorphism preserving the class of the unit comes from a $*$-isomorphism between the unital graph $C^*$-algebras themselves. It follows that the question of Morita equivalence amongst unital graph $C^*$-algebras is a decidable one. As immediate examples of applications of our results we revisit the classification problem for quantum lens spaces and verify, in the unital case, the Abrams-Tomforde conjectures. △ Less

Submitted 25 August, 2019; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: This article draws heavily on results and notation developed in arXiv:1602.03709, arXiv:1604.05439 and arXiv:1605.06153, and together with these papers supersedes the results of arXiv:1505.06773, which will not be published. The second version adjusts the proof of decidability in Section 14.2 to the appeared version of [BS18], corrects the statement of Corollary 3.6, and updates references

Report number: CPH-SYM-DNRF92 and H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS MSC Class: 46L35; 46L80; 46L55; 37B10; 16B99; 46L05

Journal ref: Duke Math. J. Vol. 170 (2021), no. 11, pp. 2421-2517

Filtered K-theory for graph algebras

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We introduce filtered algebraic $K$-theory of a ring $R$ relative to a sublattice of ideals. This is done in such a way that filtered algebraic $K$-theory of a Leavitt path algebra relative to the graded ideals is parallel to the gauge invariant filtered $K$-theory for graph $C^*$-algebras. We apply this to verify the Abrams-Tomforde conjecture for a large class of finite graphs. We introduce filtered algebraic $K$-theory of a ring $R$ relative to a sublattice of ideals. This is done in such a way that filtered algebraic $K$-theory of a Leavitt path algebra relative to the graded ideals is parallel to the gauge invariant filtered $K$-theory for graph $C^*$-algebras. We apply this to verify the Abrams-Tomforde conjecture for a large class of finite graphs. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 16 pages

Report number: CPH-SYM-DNRF92 MSC Class: 16B99; 46L05; 46L55

Journal ref: 2016 MATRIX annals, pp. 229-249, MATRIX Book Ser., 1, Springer, Cham, 2018

Generalization of Numerical Series and its Relationship with the Polynomial Equations and Artithmetic Trapezoids

Authors: Victor Enrique Vizcarra Ruiz

Abstract: The close relationship among the polynomial functions and Fibonacci numerical sequences is shown in this paper. These numerical sequences are defined by the recurrence equation $x_{k + n} = \displaystyle\sum_{j = 0}^{n-1}α_j x_{k + j}$, where $n$ is the polynomial degree and $α$'s, the polynomial coefficients. The arithmetic trapezoid resulting from the recurrence equations is also shown. This tra… ▽ More The close relationship among the polynomial functions and Fibonacci numerical sequences is shown in this paper. These numerical sequences are defined by the recurrence equation $x_{k + n} = \displaystyle\sum_{j = 0}^{n-1}α_j x_{k + j}$, where $n$ is the polynomial degree and $α$'s, the polynomial coefficients. The arithmetic trapezoid resulting from the recurrence equations is also shown. This trapezoid is nothing but a generalization of Pascal's Triangle. Trapezoid is a convenient name because the form it appears does not have the `upper end` of a usual triangle. This study shows that each polynomial generates infinite sequences, and that each sequence generates only a single arithmetic trapezoid. △ Less

Submitted 21 September, 2016; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 8 pages

Strong classification of purely infinite Cuntz-Krieger algebras

Authors: Toke Meier Carlsen, Gunnar Restorff, Efren Ruiz

Abstract: In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two Cunt… ▽ More In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two Cuntz-Krieger algebras with finitely many ideals lifts to a *-isomorphism between the stabilized Cuntz-Krieger algebras. As a result, we also obtain strong unital classification. △ Less

Submitted 19 May, 2016; originally announced May 2016.

Comments: The current paper uses results and especially the notation developed in arXiv:1604.05439 and arXiv:1602.03709 (that supersede the paper arXiv:1505.06773)

Journal ref: Trans. Amer. Math. Soc. Ser. B 4 (2017), 1-30

A dynamical characterization of diagonal preserving $*$-isomorphisms of graph $C^*$-algebras

Authors: Sara E. Arklint, Søren Eilers, Efren Ruiz

Abstract: We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorph… ▽ More We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorphism between the graph $C^*$-algebras $C^*(E)$ and $C^*(F)$. △ Less

Submitted 4 May, 2016; originally announced May 2016.

Report number: CPH-SYM-DNRF92. This work is also part of the project supported by the grant H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS MSC Class: Primary: 46L55; Secondary: 46L35; 37B10

Geometric classification of graph $C^*$-algebras over finite graphs

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We address the classification problem for graph $C^*$-algebras of finite graphs (finitely many edges and vertices), containing the class of Cuntz-Krieger algebras as a prominent special case. Contrasting earlier work, we do not assume that the graphs satisfy the standard condition (K), so that the graph $C^*$-algebras may come with uncountable ideal structures. We find that in this generality, s… ▽ More We address the classification problem for graph $C^*$-algebras of finite graphs (finitely many edges and vertices), containing the class of Cuntz-Krieger algebras as a prominent special case. Contrasting earlier work, we do not assume that the graphs satisfy the standard condition (K), so that the graph $C^*$-algebras may come with uncountable ideal structures. We find that in this generality, stable isomorphism of graph $C^*$-algebras does not coincide with the geometric notion of Cuntz move equivalence. However, adding a modest condition on the graphs, the two notions are proved to be mutually equivalent and equivalent to the $C^*$-algebras having isomorphic $K$-theories. This proves in turn that under this condition, the graph $C^*$-algebras are in fact classifiable by $K$-theory, providing in particular complete classification when the $C^*$-algebras in question are either of real rank zero or type I/postliminal. The key ingredient in obtaining these results is a characterization of Cuntz move equivalence using the adjacency matrices of the graphs. Our results are applied to discuss the classification problem for the quantum lens spaces defined by Hong and Szymański, and to complete the classification of graph $C^*$-algebras associated to all simple graphs with four vertices or less. △ Less

Submitted 1 November, 2016; v1 submitted 19 April, 2016; originally announced April 2016.

Comments: Corrected typos, corrected minor errors in statements and proofs of some results, and added Lemma 6.6

Report number: CPH-SYM-DNRF92. This work is also part of the project supported by the grant H2020-MSCA-RISE-2015-691246-QUANTUM DYNAMICS MSC Class: 46L35; 46L80; 46L55; 37B10

Journal ref: Canad. J. Math. 70 (2018), no. 2, 294-353

Hereditary $C^*$-subalgebras of graph $C^*$-algebras

Authors: Sara E. Arklint, James Gabe, Efren Ruiz

Abstract: We show that a $C^*$-algebra $\mathfrak{A}$ which is stably isomorphic to a unital graph $C^*$-algebra, is isomorphic to a graph $C^*$-algebra if and only if it admits an approximate unit of projections. As a consequence, a hereditary $C^*$-subalgebra of a unital real rank zero graph $C^*$-algebra is isomorphic to a graph $C^*$-algebra. Furthermore, if a $C^*$-algebra $\mathfrak{A}$ admits an appr… ▽ More We show that a $C^*$-algebra $\mathfrak{A}$ which is stably isomorphic to a unital graph $C^*$-algebra, is isomorphic to a graph $C^*$-algebra if and only if it admits an approximate unit of projections. As a consequence, a hereditary $C^*$-subalgebra of a unital real rank zero graph $C^*$-algebra is isomorphic to a graph $C^*$-algebra. Furthermore, if a $C^*$-algebra $\mathfrak{A}$ admits an approximate unit of projections, then its minimal unitization is isomorphic to a graph $C^*$-algebra if and only if $\mathfrak{A}$ is stably isomorphic to a unital graph $C^*$-algebra. △ Less

Submitted 31 January, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 23 pages. Ver 2: 24 pages, minor changes to introduction, bibliography updated

Report number: CPH-SYM-DNRF92 MSC Class: 46L55

Invariance of the Cuntz splice

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: We show that the Cuntz splice induces stably isomorphic graph $C^*$-algebras. We show that the Cuntz splice induces stably isomorphic graph $C^*$-algebras. △ Less

Submitted 12 February, 2016; v1 submitted 11 February, 2016; originally announced February 2016.

Comments: Our arguments to prove invariance of the Cuntz splice for unital graph C*-algebras in arXiv:1505.06773 applied with only minor changes in the general case. Since most of the results of that preprint have since been superseded by other forthcoming work, we do not intend to publish it, whereas this work is intended for publication. arXiv admin note: substantial text overlap with arXiv:1505.06773

Report number: CPH-SYM-DNRF92 MSC Class: 46L35; 46L80; 46L55; 37B10

Journal ref: Math. Ann., Vol. 369 (2017), no. 3-4, pp. 1061-1080

Equivalence and stable isomorphism of groupoids, and diagonal-preserving stable isomorphisms of graph C*-algebras and Leavitt path algebras

Authors: Toke Meier Carlsen, Efren Ruiz, Aidan Sims

Abstract: We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs.… ▽ More We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs. We deduce that the Leavitt path algebras $L_Z(E_2)$ and $L_Z(E_{2-})$ are not stably *-isomorphic. △ Less

Submitted 14 September, 2016; v1 submitted 8 February, 2016; originally announced February 2016.

Comments: 12 pages. Minor corrections. This is the version that will be published

MSC Class: 46L05 (primary); 16S99 (secondary)

Journal ref: Proc. Amer. Math. Soc. 145 (2017), no. 4, 1581-1592

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

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz, Adam P. W. Sørensen

Abstract: 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 cl… ▽ More 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. △ Less

Submitted 8 July, 2015; v1 submitted 25 May, 2015; originally announced May 2015.

Comments: An inconsequential error concerning our "standard form" has been corrected

Report number: CPH-SYM-DNRF92 MSC Class: 46L35; 46L80; 46L55; 37B10

Corrigendum to "Classifying C*-algebras with both finite and infinite subquotients"

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: As recently pointed out by Gabe, a fundamental paper by Elliott and Kucerovsky concerning the absorption theory for C*-algebras contains an error, and as a consequence we must report that Lemma 4.5 in "Classifying C*-algebras with both finite and infinite subquotients" J. Funct. Anal. 265 (2013), no. 3, 449--468 is not true as stated. In this corrigendum, we prove an adjusted statement and explain… ▽ More As recently pointed out by Gabe, a fundamental paper by Elliott and Kucerovsky concerning the absorption theory for C*-algebras contains an error, and as a consequence we must report that Lemma 4.5 in "Classifying C*-algebras with both finite and infinite subquotients" J. Funct. Anal. 265 (2013), no. 3, 449--468 is not true as stated. In this corrigendum, we prove an adjusted statement and explain why the error has no consequences to the main results of that paper. In particular, it is noted that all the authors' claims concerning Morita equivalence or stable isomorphism of graph C*-algebras remain correct as stated. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Comments: 5 pages

Report number: CPH-SYM-DNRF92

Journal ref: J. Funct. Anal., Vol. 270 (2016), no. 2, pp. 854-859

Absorbing representations with respect to closed operator convex cones

Authors: James Gabe, Efren Ruiz

Abstract: 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… ▽ More 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. △ Less

Submitted 15 October, 2015; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: 71 pages. V2: minor general changes, changed definition of X-C*-algebras

Report number: CPH-SYM-DNRF92 MSC Class: 46L05; 46L35; 46L80

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

Authors: Søren Eilers, Xin Li, Efren Ruiz

Abstract: 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… ▽ More 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. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 32 pages, 2 figures

Report number: CPH-SYM-DNRF92

K-theory for Leavitt path algebras: computation and classification

Authors: James Gabe, Efren Ruiz, Mark Tomforde, Tristan Whalen

Abstract: 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 algebraicall… ▽ More 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. △ Less

Submitted 25 March, 2015; v1 submitted 18 July, 2014; originally announced July 2014.

Comments: 34 pages; Version II Comments: A few typos corrected. Version III Comments: Bibliography updated. This is the version to be published

Report number: CPH-SYM-DNRF92 MSC Class: 16D70; 19D50

UCT-Kirchberg algebras have nuclear dimension one

Authors: Efren Ruiz, Aidan Sims, Adam P. W. Sørensen

Abstract: 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. 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. △ Less

Submitted 10 April, 2015; v1 submitted 8 June, 2014; originally announced June 2014.

Comments: 21 pages. Version 2: reference [2] has been added, and the discussion in the introduction updated; a small but important typo has been corrected in the definition of the graph E_T. Version 3: Some typo's corrected and references updated; reference [2] corrected as we had accidentally omitted one of the authors' names in the previous version (sorry Aaron!); this version to appear in Adv. Math

MSC Class: Primary 46L05; Secondary 46L35; 46L85

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

Authors: Sara E. Arklint, Gunnar Restorff, Efren Ruiz

Abstract: 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 ha… ▽ More 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. △ Less

Submitted 4 May, 2014; originally announced May 2014.

Comments: 23 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L35; 46L80

Journal ref: J. Funct. Anal., Vol. 271 (2016), no. 7, pp. 1921-1947

The nuclear dimension of graph C*-algebras

Authors: Efren Ruiz, Aidan Sims, Mark Tomforde

Abstract: Consider a graph C*-algebra C*(E) with a purely infinite ideal I (possibly all of C*(E)) such that I has only finitely many ideals and C*(E)/I is approximately finite dimensional. We prove that the nuclear dimension of C*(E) is 1. If I has infinitely many ideals, then the nuclear dimension of C*(E) is either 1 or 2. Consider a graph C*-algebra C*(E) with a purely infinite ideal I (possibly all of C*(E)) such that I has only finitely many ideals and C*(E)/I is approximately finite dimensional. We prove that the nuclear dimension of C*(E) is 1. If I has infinitely many ideals, then the nuclear dimension of C*(E) is either 1 or 2. △ Less

Submitted 24 November, 2014; v1 submitted 2 December, 2013; originally announced December 2013.

Comments: 24 pages; this version to appear in Adv. Math

MSC Class: 46L35

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

Authors: James Gabe, Efren Ruiz

Abstract: 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… ▽ More 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. △ Less

Submitted 12 November, 2013; originally announced November 2013.

Comments: 25 pages

Report number: CPH-SYM-DNRF92 MSC Class: Primary: 46L35

Automorphisms of Cuntz-Krieger algebras

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: 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 exponenti… ▽ More 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. △ Less

Submitted 4 September, 2013; originally announced September 2013.

Comments: 26 pages

Report number: CPH-SYM-DNRF92 MSC Class: 46L40; 46L80

Journal ref: Journal of Noncommutative Geometry, Vol. 12, no. 1 (2018), pp. 217-254

Identifying AF-algebras that are graph C*-algebras

Authors: Soren Eilers, Takeshi Katsura, Efren Ruiz, Mark Tomforde

Abstract: 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 no… ▽ More 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. △ Less

Submitted 22 August, 2013; originally announced August 2013.

Comments: 24 pages

Report number: CPH-SYM-DNRF92

Strong classification of extensions of classifiable C*-algebras

Authors: Soren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: 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. 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. △ Less

Submitted 31 January, 2013; originally announced January 2013.

Comments: 29 pages

Report number: CPH-SYM-00 MSC Class: 46L35

Classification of graph C*-algebras with no more than four primitive ideals

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We describe the status quo of the classification problem of graph C*-algebras with four primitive ideals or less. We describe the status quo of the classification problem of graph C*-algebras with four primitive ideals or less. △ Less

Submitted 30 December, 2012; originally announced December 2012.

Report number: CPH-SYM-00

Journal ref: Operator algebra and dynamics, 89-129, Springer Proc. Math. Stat., Vol. 58, Springer, Heidelberg, 2013

Non-stable K-theory for Leavitt path algebras

Authors: Damon Hay, Marissa Loving, Martin Montgomery, Efren Ruiz, Katherine Todd

Abstract: 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. 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. △ Less

Submitted 5 November, 2012; originally announced November 2012.

Classification of unital simple Leavitt path algebras of infinite graphs

Authors: Efren Ruiz, Mark Tomforde

Abstract: 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 o… ▽ More 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. △ Less

Submitted 22 February, 2013; v1 submitted 22 October, 2012; originally announced October 2012.

Comments: Version IV Comments: We have made some substantial revisions, which include extending our classification results to Leavitt path algebras over arbitrary fields. This is the version that will be published. Version III Comments: Some typos and errors corrected. New section (Section 10) has been added. Some references added. Version II Comments: Some typos corrected

MSC Class: 16D70; 37B10 (Primary) 46L35 (Secondary)

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

Authors: Jeffrey L. Boersema, Terry A. Loring, Efren Ruiz

Abstract: 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*-… ▽ More 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. △ Less

Submitted 20 March, 2015; v1 submitted 11 October, 2012; originally announced October 2012.

Comments: Version 1: 31 pages. arXiv admin note: text overlap with arXiv:0909.0972 . Version 2: Shorten the paper to 21 pages. Added a section on unitary representations of KO-classes

MSC Class: 46L05; 46L80; 46L87

Journal ref: Banach J. Math. Anal. 10, no. 1 (2016), 27-47

Ideal related K-theory with coefficients

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: 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-coeffici… ▽ More 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. △ Less

Submitted 9 October, 2012; originally announced October 2012.

Report number: CPH-SYM-00 MSC Class: 46L35 (Primary) 46L80 (Secondary)

Journal ref: Houston J. Math. Vol. 43, No. 2 (2017), pp. 403-458

Corners of Cuntz-Krieger algebras

Authors: Sara E. Arklint, Efren Ruiz

Abstract: 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. 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. △ Less

Submitted 19 September, 2013; v1 submitted 19 September, 2012; originally announced September 2012.

Comments: Version 3: 20 pages. Corrected typos and added or clarified definitions. This is the version that will be published. Version 2: 18 pages, removed unnecessary assumptions in Theorem 3.5 and Corollary 3.6, and updated references

Report number: CPH-SYM-DNRF92 MSC Class: 46L55

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

Authors: Efren Ruiz, Mark Tomforde

Abstract: 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 conjectur… ▽ More 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. △ Less

Submitted 13 December, 2012; v1 submitted 23 July, 2012; originally announced July 2012.

Comments: Version II Comments: A few small typos corrected and some of the exposition was condensed. Version III Comments: Small typos corrected and Remark 3.6 added. This version was prepared for publication

MSC Class: 46L35; 16D70

Ideals in Graph Algebras

Authors: Efren Ruiz, Mark Tomforde

Abstract: 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-inva… ▽ More 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). △ Less

Submitted 14 April, 2013; v1 submitted 6 May, 2012; originally announced May 2012.

Comments: Version II Comments: The graphs displayed in Example 3.2 and Example 4.2 were incorrect and are now fixed. Some small typos corrected. Version III Comments: Some small typos corrected and additional references added. Version IV Comments: Minor changes to exposition, some typos corrected, some references added. To appear in Algebras and Representation Theory

MSC Class: 46L55; 16D25

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

Authors: Sara Arklint, Gunnar Restorff, Efren Ruiz

Abstract: 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 s… ▽ More 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. △ Less

Submitted 6 December, 2011; originally announced December 2011.

Comments: 17 pages

Report number: CPH-SYM-00 MSC Class: 46L80; 46L35

Journal ref: Internat. J. Math. 23 (2012), no. 8

Amplified graph C*-algebras

Authors: Søren Eilers, Efren Ruiz, Adam P. W. Sørensen

Abstract: 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 exten… ▽ More 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. △ Less

Submitted 12 October, 2011; originally announced October 2011.

Comments: 15 pages, 1 figure

Report number: CPH-SYM-00 MSC Class: 46L05

Journal ref: Münster J. of Math. 5 (2012), 121-150

The ordered K-theory of a full extension

Authors: Søren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if and only if the extension is stenotic and K-lexicographic. As an immediate application, we extend the classification result for graph C*-algebras obtained by Tomf… ▽ More Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if and only if the extension is stenotic and K-lexicographic. As an immediate application, we extend the classification result for graph C*-algebras obtained by Tomforde and the first named author to the general non-unital case. In combination with recent results by Katsura, Tomforde, West and the first author, our result may also be used to give a purely K-theoretical description of when an essential extension of two simple and stable graph C*-algebras is again a graph C*-algebra. △ Less

Submitted 26 May, 2015; v1 submitted 8 June, 2011; originally announced June 2011.

Comments: Version IV: No changes to the text. We only report that Theorem 4.9 is not correct as stated. See arXiv:1505.05951 for more details. Since Theorem 4.9 is an application to the main results of the paper, the main results of this paper are not affected by the error. Version III comments: Some typos and errors corrected. Some references added

Report number: CPH-SYM-DNRF92 MSC Class: 46L05

Journal ref: Canad. J. Math., Vol. 66 (2014), no. 3, pp. 596-625

Classifying $C^*$-algebras with both finite and infinite subquotients

Authors: Soren Eilers, Gunnar Restorff, Efren Ruiz

Abstract: We give a classification result for a certain class of $C^{*}$-algebras $\mathfrak{A}$ over a finite topological space $X$ in which there exists an open set $U$ of $X$ such that $U$ separates the finite and infinite subquotients of $\mathfrak{A}$. We will apply our results to $C^{*}$-algebras arising from graphs. We give a classification result for a certain class of $C^{*}$-algebras $\mathfrak{A}$ over a finite topological space $X$ in which there exists an open set $U$ of $X$ such that $U$ separates the finite and infinite subquotients of $\mathfrak{A}$. We will apply our results to $C^{*}$-algebras arising from graphs. △ Less

Submitted 26 May, 2015; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: Version III: No changes to the text. We only report that Lemma 4.5 is not correct as stated. See arXiv:1505.05951 for the corrected version of Lemma 4.5. As noted in arXiv:1505.05951, the main results of this paper are true verbatim. Version II: Improved some results in Section 3 and loosened the assumptions in Definition 4.1

Report number: CPH-SYM-00 MSC Class: 46L35; 37B10 (Primary); 46M15; 46M18 (Secondary)

Journal ref: Journal of Functional Analysis 265, no. 3, pp. 449-468, 2013

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

Authors: Ping Wong Ng, Efren Ruiz

Abstract: 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 \… ▽ More 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. △ Less

Submitted 5 November, 2011; v1 submitted 11 March, 2010; originally announced March 2010.

Comments: Improved the exposition of Section 3 and Section 4, added other references

MSC Class: 46L35