Showing 1–49 of 49 results for author: Tomforde, M

Naimark's Problem for graph C*-algebras and Leavitt path algebras

Authors: Kulumani M. Rangaswamy, Mark Tomforde

Abstract: We describe how boundary paths in a graph can be used to construct irreducible representations of the associated graph C*-algebra and the associated Leavitt path algebra. We use this construction to establish two sets of results: First, we prove that Naimark's Problem has an affirmative answer for graph C*-algebras, we prove that the algebraic analogue of Naimark's Problem has an affirmative answe… ▽ More We describe how boundary paths in a graph can be used to construct irreducible representations of the associated graph C*-algebra and the associated Leavitt path algebra. We use this construction to establish two sets of results: First, we prove that Naimark's Problem has an affirmative answer for graph C*-algebras, we prove that the algebraic analogue of Naimark's Problem has an affirmative answer for Leavitt path algebras, and we give necessary and sufficient conditions on the graphs for the hypotheses of Naimark's Problem to be satisfied. Second, we characterize when a graph C*-algebra has a countable (i.e., finite or countably infinite) spectrum, and prove that in this case the unitary equivalence classes of irreducible representations are in one-to-one correspondence with the shift-tail equivalence classes of the boundary paths of the graph. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Comments: 34 pages

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

A Cuntz-Krieger Uniqueness Theorem for Cuntz-Pimsner Algebras

Authors: Menevşe Eryüzlü, Mark Tomforde

Abstract: We introduce a property of C*-correspondences, which we call Condition (S), to serve as an analogue of Condition (L) of graphs. We use Condition (S) to prove a Cuntz-Krieger Uniqueness Theorem for Cuntz-Pimsner algebras and obtain sufficient conditions for simplicity of Cuntz-Pimsner algebras. We also prove that if Q is a topological quiver with no sinks and X(Q) is the associated C*-correspondenc… ▽ More We introduce a property of C*-correspondences, which we call Condition (S), to serve as an analogue of Condition (L) of graphs. We use Condition (S) to prove a Cuntz-Krieger Uniqueness Theorem for Cuntz-Pimsner algebras and obtain sufficient conditions for simplicity of Cuntz-Pimsner algebras. We also prove that if Q is a topological quiver with no sinks and X(Q) is the associated C*-correspondence, then X(Q) satisfies Condition (S) if and only if Q satisfies Condition(L). Finally, we consider several examples to compare and contrast Condition (S) with Schweizer's nonperiodic condition. △ Less

Submitted 5 February, 2025; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: 26 pages, Version II Comments: Title changed to better reflect the main results of the paper. Exposition reworked to provide more motivation and more effectively compare our simplicity result to Schweizer's simplicity theorem. Version IV Comments: Exposition has be improved to include references and comparison to the results of [2]. Version V Comments: Subsection 4.1 and Theorem 4.8 added

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

Matricial Archimedean order unit spaces and quantum correlations

Authors: Roy Araiza, Travis Russell, Mark Tomforde

Abstract: We introduce a matricial analogue of an Archimedean order unit space, which we call a $k$-AOU space. We develop the category of $k$-AOU spaces and $k$-positive maps and exhibit functors from this category to the category of operator systems and completely positive maps. We also demonstrate the existence of injective envelopes and C*-envelopes in the category of $k$-AOU spaces. Finally, we show tha… ▽ More We introduce a matricial analogue of an Archimedean order unit space, which we call a $k$-AOU space. We develop the category of $k$-AOU spaces and $k$-positive maps and exhibit functors from this category to the category of operator systems and completely positive maps. We also demonstrate the existence of injective envelopes and C*-envelopes in the category of $k$-AOU spaces. Finally, we show that finite-dimensional quantum correlations can be characterized in terms of states on finite-dimensional $k$-AOU spaces. Combined with previous work, this yields a reformulation of Tsirelson's conjecture in terms of operator systems and $k$-AOU spaces. △ Less

Submitted 2 May, 2022; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: Final version. To appear in Indiana University Mathematics Journal

MSC Class: 46L07

A Universal Representation for Quantum Commuting Correlations

Authors: Roy Araiza, Travis Russell, Mark Tomforde

Abstract: We explicitly construct an Archimedean order unit space whose state space is affinely isomorphic to the set of quantum commuting correlations. Our construction only requires fundamental techniques from the theory of order unit spaces and operator systems. Our main results are achieved by characterizing when a finite set of positive contractions in an Archimedean order unit space can be realized as… ▽ More We explicitly construct an Archimedean order unit space whose state space is affinely isomorphic to the set of quantum commuting correlations. Our construction only requires fundamental techniques from the theory of order unit spaces and operator systems. Our main results are achieved by characterizing when a finite set of positive contractions in an Archimedean order unit space can be realized as a set of projections on a Hilbert space. △ Less

Submitted 17 June, 2022; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: Comments to the authors are welcome! v2: Final version as appears in Annales Henri Poincaré (2022)

MSC Class: 81P40 (Primary); 46L07 (Secondary)

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

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

Naimark's problem for graph C*-algebras

Authors: Nishant Suri, Mark Tomforde

Abstract: Naimark's problem asks whether a C*-algebra that has only one irreducible *-representation up to unitary equivalence is isomorphic to the C*-algebra of compact operators on some (not necessarily separable) Hilbert space. This problem has been solved in special cases, including separable C*-algebras and Type I C*-algebras. However, in 2004 Akemann and Weaver used the diamond principle to construct… ▽ More Naimark's problem asks whether a C*-algebra that has only one irreducible *-representation up to unitary equivalence is isomorphic to the C*-algebra of compact operators on some (not necessarily separable) Hilbert space. This problem has been solved in special cases, including separable C*-algebras and Type I C*-algebras. However, in 2004 Akemann and Weaver used the diamond principle to construct a C*-algebra with $\aleph_1$ generators that is a counterexample to Naimark's Problem. More precisely, they showed that the statement "There exists a counterexample to Naimark's Problem that is generated by $\aleph_1$ elements." is independent of the axioms of ZFC. Whether Naimark's problem itself is independent of ZFC remains unknown. In this paper we examine Naimark's problem in the setting of graph C*-algebras, and show that it has an affirmative answer for (not necessarily separable) AF graph C*-algebras as well as for C*-algebras of graphs in which each vertex emits a countable number of edges. △ Less

Submitted 31 March, 2018; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: Version II Comments: Minor changes. Small typos corrected

Classification of graph algebras: A selective survey

Authors: Mark Tomforde

Abstract: This survey reports on current progress of programs to classify graph C*-algebras and Leavitt path algebras up to Morita equivalence using K-theory. Beginning with an overview and some history, we trace the development of the classification of simple and nonsimple graph C*-algebras and state theorems summarizing the current status of these efforts. We then discuss the much more nascent efforts to… ▽ More This survey reports on current progress of programs to classify graph C*-algebras and Leavitt path algebras up to Morita equivalence using K-theory. Beginning with an overview and some history, we trace the development of the classification of simple and nonsimple graph C*-algebras and state theorems summarizing the current status of these efforts. We then discuss the much more nascent efforts to classify Leavitt path algebras, and we describe the current status of these efforts as well as outline current impediments that must be solved for this classification program to progress. In particular, we give two specific open problems that must be addressed in order to identify the correct K-theoretic invariant for classification of simple Leavitt path algebras, and we discuss the significance of various possible outcomes to these open problems. △ Less

Submitted 19 March, 2016; originally announced March 2016.

Comments: To appear in the Proceedings of the 2015 Abel Symposium

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

The prime spectrum and primitive ideal space of a graph C*-algebra

Authors: Gene Abrams, Mark Tomforde

Abstract: We describe primitive and prime ideals in the C*-algebra C*(E) of a graph E satisfying Condition (K), together with the topologies on each of these spaces. In particular, we find that primitive ideals correspond to the set of maximal tails disjoint union the set of finite-return vertices, and that prime ideals correspond to the set of clusters of maximal tails disjoint union the set of finite-retu… ▽ More We describe primitive and prime ideals in the C*-algebra C*(E) of a graph E satisfying Condition (K), together with the topologies on each of these spaces. In particular, we find that primitive ideals correspond to the set of maximal tails disjoint union the set of finite-return vertices, and that prime ideals correspond to the set of clusters of maximal tails disjoint union the set of finite-return vertices. △ Less

Submitted 15 June, 2014; v1 submitted 24 February, 2014; originally announced February 2014.

Comments: Version II Comments: Some small typos corrected, and two references added. This is the version that will be published

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

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

A class of C*-algebras that are prime but not primitive

Authors: Gene Abrams, Mark Tomforde

Abstract: We establish necessary and sufficient conditions on a (not necessarily countable) graph E for the graph C*-algebra C*(E) to be primitive. Along with a known characterization of the graphs E for which C*(E) is prime, our main result provides us with a systematic method for easily producing large classes of (necessarily nonseparable) C*-algebras that are prime but not primitive. We also compare and… ▽ More We establish necessary and sufficient conditions on a (not necessarily countable) graph E for the graph C*-algebra C*(E) to be primitive. Along with a known characterization of the graphs E for which C*(E) is prime, our main result provides us with a systematic method for easily producing large classes of (necessarily nonseparable) C*-algebras that are prime but not primitive. We also compare and contrast our results with similar results for Leavitt path algebras. △ Less

Submitted 22 August, 2013; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: Version II Comments: A few typos corrected. This is the version that will be published

MSC Class: 46L55

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)

One-sided shift spaces over infinite alphabets

Authors: William Ott, Mark Tomforde, Paulette Willis

Abstract: We define a notion of (one-sided) shift spaces over infinite alphabets. Unlike many previous approaches to shift spaces over countable alphabets, our shift spaces are compact Hausdorff spaces. We examine shift morphisms between these shift spaces, and identify three distinct classes that generalize the shifts of finite type. We show that when our shift spaces satisfy a property that we call "row-f… ▽ More We define a notion of (one-sided) shift spaces over infinite alphabets. Unlike many previous approaches to shift spaces over countable alphabets, our shift spaces are compact Hausdorff spaces. We examine shift morphisms between these shift spaces, and identify three distinct classes that generalize the shifts of finite type. We show that when our shift spaces satisfy a property that we call "row-finite", then shift morphisms on them may be identified with sliding block codes. As applications, we show that if two (possibly infinite) directed graphs have edge shifts that are conjugate, then the groupoids of the graphs are isomorphic, and the C*-algebras of the graphs are isomorphic. △ Less

Submitted 2 July, 2013; v1 submitted 8 September, 2012; originally announced September 2012.

Comments: 50 pages, Version 3 Comments: Some minor typos fixed. Version 2 Comments: Some typos were fixed, some references were added, and an error in Proposition 2.25 was corrected

MSC Class: 37B10; 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

The Ranges of K-theoretic Invariants for Nonsimple Graph Algebras

Authors: Søren Eilers, Takeshi Katsura, Mark Tomforde, James West

Abstract: There are many classes of nonsimple graph C*-algebras that are classified by the six-term exact sequence in K-theory. In this paper we consider the range of this invariant and determine which cyclic six-term exact sequences can be obtained by various classes of graph C*-algebras. To accomplish this, we establish a general method that allows us to form a graph with a given six-term exact sequence o… ▽ More There are many classes of nonsimple graph C*-algebras that are classified by the six-term exact sequence in K-theory. In this paper we consider the range of this invariant and determine which cyclic six-term exact sequences can be obtained by various classes of graph C*-algebras. To accomplish this, we establish a general method that allows us to form a graph with a given six-term exact sequence of K-groups by splicing together smaller graphs whose C*-algebras realize portions of the six-term exact sequence. As rather immediate consequences, we obtain the first permanence results for extensions of graph C*-algebras. We are hopeful that the results and methods presented here will also prove useful in more general cases, such as situations where the C*-algebras under investigations have more than one ideal and where there are currently no relevant classification theories available. △ Less

Submitted 9 February, 2012; originally announced February 2012.

Comments: 40 pages

Report number: CPH-SYM-00

A groupoid generalization of Leavitt path algebras

Authors: Lisa Orloff Clark, Cynthia Farthing, Aidan Sims, Mark Tomforde

Abstract: Let G be a locally compact, Hausdorff groupoid in which s is a local homeomorphism and the unit space is totally disconnected. Assume there is a continuous cocycle c from G into a discrete group $Γ$. We show that the collection A(G) of locally-constant, compactly supported functions on G is a dense *-subalgebra of C_c(G) and that it is universal for algebraic representations of the collection of c… ▽ More Let G be a locally compact, Hausdorff groupoid in which s is a local homeomorphism and the unit space is totally disconnected. Assume there is a continuous cocycle c from G into a discrete group $Γ$. We show that the collection A(G) of locally-constant, compactly supported functions on G is a dense *-subalgebra of C_c(G) and that it is universal for algebraic representations of the collection of compact open bisections of G. We also show that if G is the groupoid associated to a row-finite graph or k-graph with no sources, then A(G) is isomorphic to the associated Leavitt path algebra or Kumjian-Pask algebra. We prove versions of the Cuntz-Krieger and graded uniqueness theorems for A(G). △ Less

Submitted 6 February, 2012; v1 submitted 27 October, 2011; originally announced October 2011.

MSC Class: 16S99 (Primary) 16S10; 22A22 (Secondary)

Index maps in the K-theory of graph algebras

Authors: Toke M. Carlsen, Søren Eilers, Mark Tomforde

Abstract: Let $C^*(E)$ be the graph $C^*$-algebra associated to a graph E and let J be a gauge invariant ideal in $C^*(E)$. We compute the cyclic six-term exact sequence in $K$-theory of the associated extension in terms of the adjacency matrix associated to $E$. The ordered six-term exact sequence is a complete stable isomorphism invariant for several classes of graph $C^*$-algebras, for instance those con… ▽ More Let $C^*(E)$ be the graph $C^*$-algebra associated to a graph E and let J be a gauge invariant ideal in $C^*(E)$. We compute the cyclic six-term exact sequence in $K$-theory of the associated extension in terms of the adjacency matrix associated to $E$. The ordered six-term exact sequence is a complete stable isomorphism invariant for several classes of graph $C^*$-algebras, for instance those containing a unique proper nontrivial ideal. Further, in many other cases, infinite collections of such sequences comprise complete invariants. Our results allow for explicit computation of the invariant, giving an exact sequence in terms of kernels and cokernels of matrices determined by the vertex matrix of $E$. △ Less

Submitted 18 November, 2010; originally announced November 2010.

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

Journal ref: Journal of K-theory 9 (2012), 385-406

Quotients, exactness, and nuclearity in the operator system category

Authors: Ali S. Kavruk, Vern I. Paulsen, Ivan G. Todorov, Mark Tomforde

Abstract: We continue our study of tensor products in the operator system category. We define operator system quotients and exactness in this setting and refine the notion of nuclearity by studying operator systems that preserve various pairs of tensor products. One of our main goals is to relate these refinements of nuclearity to the Kirchberg conjecture. In particular, we prove that the Kirchberg conjectu… ▽ More We continue our study of tensor products in the operator system category. We define operator system quotients and exactness in this setting and refine the notion of nuclearity by studying operator systems that preserve various pairs of tensor products. One of our main goals is to relate these refinements of nuclearity to the Kirchberg conjecture. In particular, we prove that the Kirchberg conjecture is equivalent to the statement that every operator system that is (min,er)-nuclear is also (el,c)-nuclear. We show that operator system quotients are not always equal to the corresponding operator space quotients and then study exactness of various operator system tensor products for the operator system quotient. We prove that an operator system is exact for the min tensor product if and only if it is (min,el)-nuclear. We give many characterizations of operator systems that are (min,er)-nulcear, (el,c)-nuclear, (min,el)-nulcear and (el,max)-nuclear. These characterizations involve operator system analogues of various properties from the theory of C*-algebras and operator spaces, including the WEP and LLP. △ Less

Submitted 18 August, 2010; v1 submitted 17 August, 2010; originally announced August 2010.

Tensor Products of Operator Systems

Authors: Ali S. Kavruk, Vern I. Paulsen, Ivan G. Todorov, Mark Tomforde

Abstract: The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular examples of tensor products, including a minimal, maximal, maximal commuting, maximal injective and some asymmetric tensor products. We characterize these tensor pr… ▽ More The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular examples of tensor products, including a minimal, maximal, maximal commuting, maximal injective and some asymmetric tensor products. We characterize these tensor products in terms of their universal properties and give descriptions of their positive cones. We also characterize the corresponding tensor products of operator spaces induced by a certain canonical inclusion of an operator space into an operator system. We examine notions of nuclearity for our tensor products which, on the category of C*-algebras, reduce to the classical notion. We exhibit an operator system S which is not completely order isomorphic to a C*-algebra yet has the property that for every C*-algebra A, the minimal and maximal tensor product of S and A are equal. △ Less

Submitted 23 February, 2011; v1 submitted 12 October, 2009; originally announced October 2009.

Comments: 41 pages Version III Journal of Functional Analysis (to appear)

MSC Class: 47L25; 46L05

Frame theory for binary vector spaces

Authors: Bernhard G. Bodmann, My Le, Letty Reza, Matthew Tobin, Mark Tomforde

Abstract: We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the discussion of conceptual differences caused by the lack of a proper inner product on binary vector spaces. We also define switching equivalence for binary frame… ▽ More We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the discussion of conceptual differences caused by the lack of a proper inner product on binary vector spaces. We also define switching equivalence for binary frames, and list all equivalence classes of binary Parseval frames in lowest dimensions, excluding cases of trivial redundancy. △ Less

Submitted 18 June, 2009; originally announced June 2009.

Comments: 14 pages, LaTeX with AMS macros

MSC Class: 15A03; 12E20

Leavitt path algebras with coefficients in a commutative ring

Authors: Mark Tomforde

Abstract: Given a directed graph E we describe a method for constructing a Leavitt path algebra $L_R(E)$ whose coefficients are in a commutative unital ring R. We prove versions of the Graded Uniqueness Theorem and Cuntz-Krieger Uniqueness Theorem for these Leavitt path algebras, giving proofs that both generalize and simplify the classical results for Leavitt path algebras over fields. We also analyze th… ▽ More Given a directed graph E we describe a method for constructing a Leavitt path algebra $L_R(E)$ whose coefficients are in a commutative unital ring R. We prove versions of the Graded Uniqueness Theorem and Cuntz-Krieger Uniqueness Theorem for these Leavitt path algebras, giving proofs that both generalize and simplify the classical results for Leavitt path algebras over fields. We also analyze the ideal structure of $L_R(E)$, and we prove that if $K$ is a field, then $L_K(E) \cong K \otimes_\Z L_\Z(E)$. △ Less

Submitted 2 April, 2010; v1 submitted 4 May, 2009; originally announced May 2009.

Comments: 26 pages, Version II comments: numerous typos corrected, changes made to exposition, an error in Lemma 6.1 corrected, the statement of Theorem 8.1 modified; Version III comments: typos corrected, more references added, this is the version to be published

MSC Class: 16W50; 46L55

Operator system structures on ordered spaces

Authors: Vern Paulsen, Ivan Todorov, Mark Tomforde

Abstract: Given an Archimedean order unit space (V,V^+,e), we construct a minimal operator system OMIN(V) and a maximal operator system OMAX(V), which are the analogues of the minimal and maximal operator spaces of a normed space. We develop some of the key properties of these operator systems and make some progress on characterizing when an operator system S is completely boundedly isomorphic to either O… ▽ More Given an Archimedean order unit space (V,V^+,e), we construct a minimal operator system OMIN(V) and a maximal operator system OMAX(V), which are the analogues of the minimal and maximal operator spaces of a normed space. We develop some of the key properties of these operator systems and make some progress on characterizing when an operator system S is completely boundedly isomorphic to either OMIN(S) or to OMAX(S). We then apply these concepts to the study of entanglement breaking maps. We prove that for matrix algebras a linear map is completely positive from OMIN(M_n) to OMAX(M_m) if and only if it is entanglement breaking. △ Less

Submitted 16 December, 2009; v1 submitted 23 April, 2009; originally announced April 2009.

Comments: 30 pages; Version II Comments: A couple references added, some small changes made in Section 6

MSC Class: 46L07

On the classification of nonsimple graph C*-algebras

Authors: Soren Eilers, Mark Tomforde

Abstract: We prove that a graph C*-algebra with exactly one proper nontrivial ideal is classified up to stable isomorphism by its associated six-term exact sequence in K-theory. We prove that a similar classification also holds for a graph C*-algebra with a largest proper ideal that is an AF-algebra. Our results are based on a general method developed by the first named author with Restorff and Ruiz. As a… ▽ More We prove that a graph C*-algebra with exactly one proper nontrivial ideal is classified up to stable isomorphism by its associated six-term exact sequence in K-theory. We prove that a similar classification also holds for a graph C*-algebra with a largest proper ideal that is an AF-algebra. Our results are based on a general method developed by the first named author with Restorff and Ruiz. As a key step in the argument, we show how to produce stability for certain full hereditary subalgebras associated to such graph C*-algebras. We further prove that, except under trivial circumstances, a unique proper nontrivial ideal in a graph C*-algebra is stable. △ Less

Submitted 26 June, 2009; v1 submitted 22 January, 2009; originally announced January 2009.

Comments: 27 pages, uses XY-pic; Version II comments: A few minor typos corrected

MSC Class: 46L55

Realizations of AF-algebras as graph algebras, Exel-Laca algebras, and ultragraph algebras

Authors: Takeshi Katsura, Aidan Sims, Mark Tomforde

Abstract: We give various necessary and sufficient conditions for an AF-algebra to be isomorphic to a graph C*-algebra, an Exel-Laca algebra, and an ultragraph C*-algebra. We also explore consequences of these results. In particular, we show that all stable AF-algebras are both graph C*-algebras and Exel-Laca algebras, and that all simple AF-algebras are either graph C*-algebras or Exel-Laca algebras. In… ▽ More We give various necessary and sufficient conditions for an AF-algebra to be isomorphic to a graph C*-algebra, an Exel-Laca algebra, and an ultragraph C*-algebra. We also explore consequences of these results. In particular, we show that all stable AF-algebras are both graph C*-algebras and Exel-Laca algebras, and that all simple AF-algebras are either graph C*-algebras or Exel-Laca algebras. In addition, we obtain a characterization of AF-algebras that are isomorphic to the C*-algebra of a row-finite graph with no sinks. △ Less

Submitted 24 May, 2009; v1 submitted 22 October, 2008; originally announced October 2008.

Comments: 34 pages, Version 2 comments: Some minor typos corrected; Version 3 comments: Some typos corrected. This is the version to appear

MSC Class: 46L55

Isomorphism and Morita equivalence of graph algebras

Authors: Gene Abrams, Mark Tomforde

Abstract: For any countable graph $E$, we investigate the relationship between the Leavitt path algebra $L_{\C}(E)$ and the graph C*-algebra $C^*(E)$. For graphs $E$ and $F$, we examine ring homomorphisms, ring *-homomorphisms, algebra homomorphisms, and algebra *-homomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$. We prove that in certain situations isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ yield *… ▽ More For any countable graph $E$, we investigate the relationship between the Leavitt path algebra $L_{\C}(E)$ and the graph C*-algebra $C^*(E)$. For graphs $E$ and $F$, we examine ring homomorphisms, ring *-homomorphisms, algebra homomorphisms, and algebra *-homomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$. We prove that in certain situations isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ yield *-isomorphisms between the corresponding C*-algebras $C^*(E)$ and $C^*(F)$. Conversely, we show that *-isomorphisms between $C^*(E)$ and $C^*(F)$ produce isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ in specific cases. The relationship between Leavitt path algebras and graph C*-algebras is also explored in the context of Morita equivalence. △ Less

Submitted 8 December, 2009; v1 submitted 14 October, 2008; originally announced October 2008.

Comments: 40 pages, Version II comments: Section 10 updated, typos corrected, and a few proofs rewritten

MSC Class: 46L55; 16D70

Continuity of ring *-homomorphisms between C*-algebras

Authors: Mark Tomforde

Abstract: The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $φ: A \to B$ is a unital *-preserving ring homomorphism, then $φ$ is contractive; i.e., $\| φ(a) \| \leq \| a \|$ for all $a \in A$. (Note that we do not assume $φ$ is linear.) We use this result to deduce a number of corollaries as well as characterize the form of such unital *-preserving ring homomorphism… ▽ More The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $φ: A \to B$ is a unital *-preserving ring homomorphism, then $φ$ is contractive; i.e., $\| φ(a) \| \leq \| a \|$ for all $a \in A$. (Note that we do not assume $φ$ is linear.) We use this result to deduce a number of corollaries as well as characterize the form of such unital *-preserving ring homomorphisms. (This note may be of interest to C*-algebraists as well as algebraists who study noncommutative rings and algebras. It is meant to be accessible to a general mathematician and does not require any prior knowledge of C*-algebras.) △ Less

Submitted 5 May, 2009; v1 submitted 2 October, 2008; originally announced October 2008.

Comments: 7 pages, Version IV changes: Some small typos corrected. This is the final version, to appear. Version III changes: Proposition 3.9 is strengthened, and an alternate proof of Theorem 3.6 is described in the Acknowledgements. Version II changes: A few comments added

MSC Class: 46L05; 16W10

Graph algebras, Exel-Laca algebras, and ultragraph algebras coincide up to Morita equivalence

Authors: Takeshi Katsura, Paul S. Muhly, Aidan Sims, Mark Tomforde

Abstract: We prove that the classes of graph algebras, Exel-Laca algebras, and ultragraph algebras coincide up to Morita equivalence. This result answers the long-standing open question of whether every Exel-Laca algebra is Morita equivalent to a graph algebra. Given an ultragraph G we construct a directed graph E such that C*(G) is isomorphic to a full corner of C*(E). As applications, we characterize re… ▽ More We prove that the classes of graph algebras, Exel-Laca algebras, and ultragraph algebras coincide up to Morita equivalence. This result answers the long-standing open question of whether every Exel-Laca algebra is Morita equivalent to a graph algebra. Given an ultragraph G we construct a directed graph E such that C*(G) is isomorphic to a full corner of C*(E). As applications, we characterize real rank zero for ultragraph algebras and describe quotients of ultragraph algebras by gauge-invariant ideals. △ Less

Submitted 9 December, 2008; v1 submitted 31 August, 2008; originally announced September 2008.

Comments: 29 pages, 1 figure; Version 2 Comments: Minor changes and a few small typos corrected

MSC Class: 46L55

Equiangular tight frames from complex Seidel matrices containing cube roots of unity

Authors: Bernhard G. Bodmann, Vern I. Paulsen, Mark Tomforde

Abstract: We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these e… ▽ More We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these equiangular tight frames, complex Seidel matrices, and highly regular, directed graphs. We construct examples of such frames with arbitrarily many vectors. △ Less

Submitted 31 August, 2008; v1 submitted 14 May, 2008; originally announced May 2008.

Comments: New version comments: A few minor typos corrected. Accepted for publication in Linear Algebra Appl

MSC Class: 42C15; 52C17

Vector spaces with an order unit

Authors: Vern Paulsen, Mark Tomforde

Abstract: We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple extensions to an order (semi)norm on the entire space. We single out three of these (semi)norms for further study and discuss their significance for operator a… ▽ More We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple extensions to an order (semi)norm on the entire space. We single out three of these (semi)norms for further study and discuss their significance for operator algebras and operator systems. In addition, we introduce a functorial method for taking an ordered space with an order unit and forming an Archimedean ordered space. We then use this process to describe an appropriate notion of quotients in the category of Archimedean ordered spaces. △ Less

Submitted 10 June, 2009; v1 submitted 16 December, 2007; originally announced December 2007.

Comments: 38 pages, uses XY-pic, Version 2 comments: minor typos corrected.; Version 3 Comments: minor typos corrected; Version 4 Comments: minor typos corrected, hypothesis of Archimedean added to Theorem 4.22, To appear in Indiana Univ. Math. J

MSC Class: 46B40; 46L07

Uniqueness Theorems and Ideal Structure for Leavitt Path Algebras

Authors: Mark Tomforde

Abstract: We prove Leavitt path algebra versions of the two uniqueness theorems of graph C*-algebras. We use these uniqueness theorems to analyze the ideal structure of Leavitt path algebras and give necessary and sufficient conditions for their simplicity. We also use these results to give a proof of the fact that for any graph E the Leavitt path algebra $L_\mathbb{C}(E)$ embeds as a dense *-subalgebra o… ▽ More We prove Leavitt path algebra versions of the two uniqueness theorems of graph C*-algebras. We use these uniqueness theorems to analyze the ideal structure of Leavitt path algebras and give necessary and sufficient conditions for their simplicity. We also use these results to give a proof of the fact that for any graph E the Leavitt path algebra $L_\mathbb{C}(E)$ embeds as a dense *-subalgebra of the graph C*-algebra C*(E). This embedding has consequences for graph C*-algebras, and we discuss how we obtain new information concerning the construction of C*(E). △ Less

Submitted 26 February, 2007; v1 submitted 20 December, 2006; originally announced December 2006.

Comments: 34 pages, uses XY-pic. New version comments: Some small typos corrected. This is the final version to appear in the Journal of Algebra

MSC Class: 16W50; 46L55

Ultragraph C*-algebras via topological quivers

Authors: Takeshi Katsura, Paul S. Muhly, Aidan Sims, Mark Tomforde

Abstract: Given an ultragraph in the sense of Tomforde, we construct a topological quiver in the sense of Muhly and Tomforde in such a way that the universal C*-algebras associated to the two objects coincide. We apply results of Muhly and Tomforde for topological quiver algebras and of Katsura for topological graph C*-algebras to study the K-theory and gauge-invariant ideal structure of ultragraph C*-alg… ▽ More Given an ultragraph in the sense of Tomforde, we construct a topological quiver in the sense of Muhly and Tomforde in such a way that the universal C*-algebras associated to the two objects coincide. We apply results of Muhly and Tomforde for topological quiver algebras and of Katsura for topological graph C*-algebras to study the K-theory and gauge-invariant ideal structure of ultragraph C*-algebras. △ Less

Submitted 25 April, 2008; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 20 pages, Version 2 Comments: final version to appear in Studia Math

MSC Class: 46L05

Strong Shift Equivalence in the C*-algebraic setting: Graphs and C*-correspondences

Authors: Mark Tomforde

Abstract: We discuss strong shift equivalence, which has been used to characterize conjugacy of edge shifts, and its application to C*-algebras of graphs and Cuntz-Pimsner algebras. We discuss strong shift equivalence, which has been used to characterize conjugacy of edge shifts, and its application to C*-algebras of graphs and Cuntz-Pimsner algebras. △ Less

Submitted 7 August, 2005; originally announced August 2005.

Comments: 11 pages, Written for the Proceedings of the 25th Meeting of the Great Plains Operator Theory Symposium

MSC Class: 46L55

Strong Shift Equivalence of $C^*$-correspondences

Authors: Paul Muhly, David Pask, Mark Tomforde

Abstract: We define a notion of strong shift equivalence for $C^*$-correspondences and show that strong shift equivalent $C^*$-correspondences have strongly Morita equivalent Cuntz-Pimsner algebras. Our analysis extends the fact that strong shift equivalent square matrices with non-negative integer entries give stably isomorphic Cuntz-Krieger algebras. We define a notion of strong shift equivalence for $C^*$-correspondences and show that strong shift equivalent $C^*$-correspondences have strongly Morita equivalent Cuntz-Pimsner algebras. Our analysis extends the fact that strong shift equivalent square matrices with non-negative integer entries give stably isomorphic Cuntz-Krieger algebras. △ Less

Submitted 21 March, 2007; v1 submitted 2 August, 2005; originally announced August 2005.

Comments: 26 pages. Final version to appear in Israel Journal of Mathematics

MSC Class: 46L55; 46L08

Topological Quivers

Authors: Paul S. Muhly, Mark Tomforde

Abstract: Topological quivers are generalizations of directed graphs in which the sets of vertices and edges are locally compact Hausdorff spaces. Associated to such a topological quiver Q is a C*-correspondence, and from this correspondence one may construct a Cuntz-Pimsner algebra C*(Q). In this paper we develop the general theory of topological quiver C*-algebras and show how certain C*-algebras found… ▽ More Topological quivers are generalizations of directed graphs in which the sets of vertices and edges are locally compact Hausdorff spaces. Associated to such a topological quiver Q is a C*-correspondence, and from this correspondence one may construct a Cuntz-Pimsner algebra C*(Q). In this paper we develop the general theory of topological quiver C*-algebras and show how certain C*-algebras found in the literature may be viewed from this general perspective. In particular, we show that C*-algebras of topological quivers generalize the well-studied class of graph C*-algebras and in analogy with that theory much of the operator algebra structure of C*(Q) can be determined from Q. We also show that many fundamental results from the theory of graph C*-algebras have natural analogues in the context of topological quivers (often with more involved proofs). These include the Gauge-Invariant Uniqueness theorem, the Cuntz-Krieger Uniqueness theorem, descriptions of the ideal structure, and conditions for simplicity. △ Less

Submitted 28 February, 2005; v1 submitted 4 December, 2003; originally announced December 2003.

Comments: 55 pages, uses XY-pic. A few typos corrected. This is the version that will be published

MSC Class: 46L55; 46L08

Adding tails to C*-correspondences

Authors: Paul S. Muhly, Mark Tomforde

Abstract: We describe a method of adding tails to C*-correspondences which generalizes the process used in the study of graph C*-algebras. We show how this technique can be used to extend results for augmented Cuntz-Pimsner algebras to C*-algebras associated to general C*-correspondences, and as an application we prove a gauge-invariant uniqueness theorem for these algebras. We also define a notion of rel… ▽ More We describe a method of adding tails to C*-correspondences which generalizes the process used in the study of graph C*-algebras. We show how this technique can be used to extend results for augmented Cuntz-Pimsner algebras to C*-algebras associated to general C*-correspondences, and as an application we prove a gauge-invariant uniqueness theorem for these algebras. We also define a notion of relative graph C*-algebras and show that properties of these C*-algebras can provide insight and motivation for results about relative Cuntz-Pimsner algebras. △ Less

Submitted 18 March, 2004; v1 submitted 19 December, 2002; originally announced December 2002.

Comments: 24 pages, uses XY-pic. A few typos corrected, final version for publication

MSC Class: 46L08; 46L55

Stability of C*-algebras associated to graphs

Authors: Mark Tomforde

Abstract: We characterize stability of graph C*-algebras by giving five conditions equivalent to their stability. We also show that if G is a graph with no sources, then C*(G) is stable if and only if each vertex in G can be reached by an infinite number of vertices. We use this characterization to realize the stabilization of a graph C*-algebra. Specifically, if G is a graph and F is the graph formed by… ▽ More We characterize stability of graph C*-algebras by giving five conditions equivalent to their stability. We also show that if G is a graph with no sources, then C*(G) is stable if and only if each vertex in G can be reached by an infinite number of vertices. We use this characterization to realize the stabilization of a graph C*-algebra. Specifically, if G is a graph and F is the graph formed by adding a head to each vertex of G, then C*(F) is the stabilization of C*(G). △ Less

Submitted 2 March, 2003; v1 submitted 14 May, 2002; originally announced May 2002.

Comments: 9 pages

MSC Class: 46L55

The ordered K_0-group of a graph C*-algebra

Authors: Mark Tomforde

Abstract: We calculate the ordered K_0-group of a graph C*-algebra and mention applications of this result to AF-algebras, states on the K_0-group of a graph algebra, and tracial states of graph algebras. We calculate the ordered K_0-group of a graph C*-algebra and mention applications of this result to AF-algebras, states on the K_0-group of a graph algebra, and tracial states of graph algebras. △ Less

Submitted 30 October, 2002; v1 submitted 8 April, 2002; originally announced April 2002.

Comments: 6 pages, uses XY-pic. An error in Theorem 2.2 was corrected. At the referee's suggestion the paper was shortened and the title changed

MSC Class: 46L55

Journal ref: C. R. Math. Acad. Sci. Soc. R. Can. 25 (2003), 19--25

Simplicity of ultragraph algebras

Authors: Mark Tomforde

Abstract: In this paper we analyze the structure of C*-algebras associated to ultragraphs, which are generalizations of directed graphs. We characterize the simple ultragraph algebras as well as deduce necessary and sufficient conditions for an ultragraph algebra to be purely infinite and to be AF. Using these techniques we also produce an example of an ultragraph algebra which is neither a graph algebra… ▽ More In this paper we analyze the structure of C*-algebras associated to ultragraphs, which are generalizations of directed graphs. We characterize the simple ultragraph algebras as well as deduce necessary and sufficient conditions for an ultragraph algebra to be purely infinite and to be AF. Using these techniques we also produce an example of an ultragraph algebra which is neither a graph algebra nor an Exel-Laca algebra. We conclude by proving that the C*-algebras of ultragraphs with no sinks are Cuntz-Pimsner algebras. △ Less

Submitted 5 August, 2003; v1 submitted 19 June, 2001; originally announced June 2001.

Comments: 21 pages, uses XY-pic, Version 2 comments: terminology change -- "labeled graph" was replaced by "ultragraph". Version 3 comments: some small typos corrected. Accepted for publication in the Indiana University Mathematics Journal

MSC Class: 46L55

Journal ref: Indiana Univ. Math. J. 52 (2003), 901--926

A unified approach to Exel-Laca algebras and C*-algebras associated to graphs

Authors: Mark Tomforde

Abstract: We define an ultragraph, which is a generalization of a directed graph, and describe how to associate a C*-algebra to it. We show that the class of ultragraph algebras contains the C*-algebras of graphs as well as the Exel-Laca algebras. We also show that many of the techniques used for graph algebras can be applied to ultragraph algebras and that the ultragraph provides a useful tool for analyz… ▽ More We define an ultragraph, which is a generalization of a directed graph, and describe how to associate a C*-algebra to it. We show that the class of ultragraph algebras contains the C*-algebras of graphs as well as the Exel-Laca algebras. We also show that many of the techniques used for graph algebras can be applied to ultragraph algebras and that the ultragraph provides a useful tool for analyzing Exel-Laca algebras. Our results include versions of the Cuntz-Krieger Uniqueness Theorem and the Gauge-Invariant Uniqueness Theorem for ultragraph algebras. △ Less

Submitted 19 October, 2001; v1 submitted 19 June, 2001; originally announced June 2001.

Comments: 22 pages, uses XY-pic, New version comments: terminology change - "labeled graph" was replaced by "ultragraph", to appear in JOT

MSC Class: 46L55

Ext classes and embeddings for C*-algebras of graphs with sinks

Authors: Mark Tomforde

Abstract: We consider directed graphs E which have been obtained by adding a sink to a fixed graph G. We associate an element of Ext(C*(G)) to each such E, and show that the classes of two such graphs are equal in Ext(C*(G)) if and only if the associated C*-algebra of one can be embedded as a full corner in the C*-algebra of the other in a particular way. If every loop in G has an exit, then we are able t… ▽ More We consider directed graphs E which have been obtained by adding a sink to a fixed graph G. We associate an element of Ext(C*(G)) to each such E, and show that the classes of two such graphs are equal in Ext(C*(G)) if and only if the associated C*-algebra of one can be embedded as a full corner in the C*-algebra of the other in a particular way. If every loop in G has an exit, then we are able to use this result to generalize some of the classification theorems of Raeburn, Tomforde, and Williams for C*-algebras of graphs with sinks. △ Less

Submitted 6 November, 2001; v1 submitted 8 March, 2001; originally announced March 2001.

Comments: 24 pages, uses XY-pic, New version comments: small typos fixed, to appear in New York J. Math

MSC Class: 46L55

Journal ref: New York J. Math. 7 (2001), 233--256

Computing Ext for graph algebras

Authors: Mark Tomforde

Abstract: For a row-finite graph G with no sinks and in which every loop has an exit, we construct an isomorphism between Ext(C*(G)) and coker(A-I), where A is the vertex matrix of G. If c is the class in Ext(C*(G)) associated to a graph obtained by attaching a sink to G, then this isomorphism maps c to the class of a vector which describes how the sink was added. We conclude with an application in which… ▽ More For a row-finite graph G with no sinks and in which every loop has an exit, we construct an isomorphism between Ext(C*(G)) and coker(A-I), where A is the vertex matrix of G. If c is the class in Ext(C*(G)) associated to a graph obtained by attaching a sink to G, then this isomorphism maps c to the class of a vector which describes how the sink was added. We conclude with an application in which we use this isomorphism to produce an example of a row-finite transitive graph with no sinks whose associated C*-algebra is not semiprojective. △ Less

Submitted 12 June, 2003; v1 submitted 7 March, 2001; originally announced March 2001.

Comments: 23 pages, uses XY-pic, to appear in the Journal of Operator Theory, some small typos corrected

MSC Class: 19K33; 46L55

Journal ref: J. Operator Theory 49 (2003), 363--387

Classification theorems for the C*-algebras of graphs with sinks

Authors: Iain Raeburn, Mark Tomforde, Dana P. Williams

Abstract: We consider graphs E which have been obtained by adding one or more sinks to a fixed directed graph G. We classify the C*-algebra of E up to a very strong equivalence relation, which insists, loosely speaking, that C*(G) is kept fixed. The main invariants are vectors W_E : G^0 -> N which describe how the sinks are attached to G; more precisely, the invariants are the classes of the W_E in the co… ▽ More We consider graphs E which have been obtained by adding one or more sinks to a fixed directed graph G. We classify the C*-algebra of E up to a very strong equivalence relation, which insists, loosely speaking, that C*(G) is kept fixed. The main invariants are vectors W_E : G^0 -> N which describe how the sinks are attached to G; more precisely, the invariants are the classes of the W_E in the cokernel of the map A-I, where A is the adjacency matrix of the graph G. △ Less

Submitted 11 February, 2004; v1 submitted 6 March, 2001; originally announced March 2001.

Comments: 16 pages, uses XY-pic

MSC Class: 46L55

Computing K-theory and Ext for graph C*-algebras

Authors: D. Drinen, M. Tomforde

Abstract: K-theory and Ext are computed for the C*-algebra C*(E) of any countable directed graph E. The results generalize the K-theory computations of Raeburn and Szymanski and the Ext computations of Tomforde for row-finite graphs. As a consequence, it is shown that if A is a countable {0,1} matrix and E_A is the graph obtained by viewing A as a vertex matrix, then C*(E_A) is not necessarily Morita equi… ▽ More K-theory and Ext are computed for the C*-algebra C*(E) of any countable directed graph E. The results generalize the K-theory computations of Raeburn and Szymanski and the Ext computations of Tomforde for row-finite graphs. As a consequence, it is shown that if A is a countable {0,1} matrix and E_A is the graph obtained by viewing A as a vertex matrix, then C*(E_A) is not necessarily Morita equivalent to the Exel-Laca algebra O_A. △ Less

Submitted 6 March, 2001; originally announced March 2001.

MSC Class: 46L55

The C*-algebras of arbitrary graphs

Authors: D. Drinen, M. Tomforde

Abstract: To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to C*-algebras of arbitrary graphs: the uniqueness theorem, simplicity criteria, descriptions of the ideals and primitive ideal space, and conditions under which a graph a… ▽ More To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to C*-algebras of arbitrary graphs: the uniqueness theorem, simplicity criteria, descriptions of the ideals and primitive ideal space, and conditions under which a graph algebra is AF and purely infinite. Our proofs require only standard Cuntz-Krieger techniques and do not rely on powerful constructs such as groupoids, Exel-Laca algebras, or Cuntz-Pimsner algebras. △ Less

Submitted 21 March, 2007; v1 submitted 26 September, 2000; originally announced September 2000.

Comments: 19 pages, uses XY-pic. New version comments: This is the published version. A few small typos from the previous version are corrected

MSC Class: 46L55

Journal ref: Rocky Mountain J. Math. 35 (2005), 105-135