Search

We consider \'etale 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]., Comment: 12 pages

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., Comment: 25 pages

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\~nas that there is no unital graded homomorphism between a Leavitt algebra and the path algebra of a Cuntz splice., Comment: v2. 14 pages, added Remark 5.3

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., Comment: 21 pages. Fixed some minor typos and updated MSC

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., Comment: 17 oages

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., Comment: 36 pages

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., Comment: 23 pages

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., Comment: 17 pages

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

We give a complete $K$-theoretical description of when an extension of two simple graph $C^{*}$-algebras is again a graph $C^{*}$-algebra., Comment: Accepted version, to appear in Annals of K-theory

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., Comment: 31 pages. V2: Minor changes. To appear in Glasgow Math. J

We show how to construct a graded locally compact Hausdorff \'etale 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 \'etale 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., Comment: 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

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., Comment: 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

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., Comment: 16 pages

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., Comment: 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)

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

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\'nski, and to complete the classification of graph $C^*$-algebras associated to all simple graphs with four vertices or less., Comment: Corrected typos, corrected minor errors in statements and proofs of some results, and added Lemma 6.6

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., Comment: 23 pages. Ver 2: 24 pages, minor changes to introduction, bibliography updated

We show that the Cuntz splice induces stably isomorphic graph $C^*$-algebras., Comment: 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

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., Comment: 12 pages. Minor corrections. This is the version that will be published

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., Comment: An inconsequential error concerning our "standard form" has been corrected

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., Comment: 5 pages

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., Comment: 71 pages. V2: minor general changes, changed definition of X-C*-algebras

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., Comment: 32 pages, 2 figures

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., Comment: 34 pages; Version II Comments: A few typos corrected. Version III Comments: Bibliography updated. This is the version to be published

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., Comment: 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

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., Comment: 23 pages

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., Comment: 24 pages; this version to appear in Adv. Math

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., Comment: 25 pages

We prove that the natural homomorphism from Kirchberg's ideal-related KK-theory, KKE(e, e'), with one specified ideal, into Hom_{\Lambda} (\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., Comment: 26 pages

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., Comment: 24 pages

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., Comment: 29 pages

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

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 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., Comment: 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

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., Comment: 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

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.

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., Comment: 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

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., Comment: 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

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)., Comment: 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

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., Comment: 17 pages

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., Comment: 15 pages, 1 figure

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., Comment: 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

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., Comment: 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