Every AF-algebra arises as a graph algebra in the sense of Kumjian, Pask, Raeburn, and Renault. For AF-algebras, the diagonal subalgebra defined by Stratila and Voiculescu is consistent with Kumjian's notion of diagonal, and the groupoid arising from a well-chosen Bratteli diagram for A coincides with Kumjian's twist groupoid constructed from a diagonal of A.
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.
For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algebra is itself isomorphic to a graph algebra.
We characterise quasidiagonality of the $C^*$-algebra of a cofinal $k$-graph in terms of an algebraic condition involving the coordinate matrices of the graph. This result covers all simple $k$-graph $C^*$-algebras. In the special case of cofinal $2$-graphs we further prove that AF-embeddability, quasidiagonality and stable finiteness of the $2$-graph algebra are all equivalent.
This is the final one in the series of papers where we introduce and study the $C^*$-algebras associated with topological graphs. In this paper, we get a sufficient condition on topological graphs so that the associated $C^*$-algebras are simple and purely infinite. Using this result, we give one method to construct all Kirchberg algebras as $C^*$-algebras associated with topological graphs.
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.
In this paper, two sufficient and necessary conditions are given. The first one characterizes when the boundary path groupoid of a topological graph without singular vertices has closed interior of its isotropy group bundle, and the second one characterizes when the path groupoid of a row-finite k-graph without sources has closed interior of its isotropy group bundle. It follows that the associated topological graph algebra and the associated k-graph C*-algebra have Cartan subalgebras due to a result of Brown-Nagy-Reznikoff-Sims-Williams.
For a row-finite higher-rank graph Λ, we construct a higher-rank graph TΛ such that the Toeplitz algebra of Λ is isomorphic to the Cuntz-Krieger algebra of TΛ. We then prove that the higher-rank graph TΛ is always aperiodic and use this fact to give another proof of a uniqueness theorem for the Toeplitz algebras of higher-rank graphs.
Given a directed graph, there exists a universal operator algebra and universal C*-algebra associated to the directed graph. In this paper we give intrinsic constructions of these objects. We provide an explicit construction for the maximal C*-algebra of an operator algebra. We also discuss uniqueness of the universal algebras for finite graphs, showing that for finite graphs the graph is an isomorphism invariant for the universal operator algebra of a directed graph. We show that the underlying undirected graph is a Banach algebra isomorphism invariant for the universal C*-algebra of a direct…
We show that the method to construct C^*-algebras from topological graphs, introduced in our previous paper, generalizes many known constructions. We give many ways to make new topological graphs from old ones, and study the relation of C^*-algebras constructed from them. We also prove that our C^*-algebras have a certain characterization. This gives us another definition of our C^*-algebras.
In this paper we verify that the graph forms a complete invariant for Banach algebra isomorphisms of tensor algebras of graphs. For tensor algebras associated with countable directed graphs having no sinks the graph forms an invariant for algebraic isomorphisms as well. The graph also forms a complete invariant for w*-bicontinuous isomorphisms of free semigroupoid algebras. For free semigroupoid algebras associated with countable directed locally finite graphs with no sinks, the graph also forms an invariant for algebraic isomorphisms.
We introduce the notion of a topological higher-rank graph, a unified generalization of the higher-rank graph and the topological graph. Using groupoid techniques, we define the Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs, and show that the $C^*$-algebras defined are coherent with the existing theory.
We show how to modify any Bratteli diagram $E$ for an AF-algebra $A$ to obtain a Bratteli diagram $KE$ for $A$ whose graph algebra $C^*(KE)$ contains both $A$ and $C^*(E)$ as full corners.
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.
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.
In previous papers, we constructed smooth (1,\infty)-summable semfinite spectral triples for graph algebras with a faithful trace, and (k,\infty)-summable semifinite spectral triples for k-graph algebras. In this paper we identify classes of graphs and k-graphs which satisfy a version of Connes' conditions for noncommutative manifolds.
We give a construction of Kirchberg algebras from graphs. By using product graphs in the construction we are able to provide models for general (UCT) Kirchberg algebras while maintaining the explicit generators and relations of the underlying graphs.
We show that if two tensor algebras of topological graphs are algebraically isomorphic, then the graphs are locally conjugate. Conversely, if the base space is at most one dimensional and the edge space is compact, then locally conjugate topological graphs yield completely isometrically isomorphic tensor algebras.
We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows us to prove that a unital AF-algebra is isomorphic to a graph C*-algebra if and only if it is a Type I C*-algebra with finitely many ideals. We also consider nonunital AF-algebras that have a largest ideal with the property that the quotient by this ideal is the only unital quotient of the AF-algebra. We show that such an AF-algebra is isomorphic to a graph …
An action of Z^l by automorphisms of a k-graph induces an action of Z^l by automorphisms of the corresponding k-graph C*-algebra. We show how to construct a (k+l)-graph whose C*-algebra coincides with the crossed product of the original k-graph algebra by Z^l. We then investigate the structure of the crossed-product C*-algebra.
Many interesting examples of operator algebras, both self-adjoint and non-self-adjoint, can be constructed from directed graphs. In this survey, we overview the construction of $C^*$-algebras from directed graphs and from two generalizations of graphs: higher rank graphs and categories of paths. We also look at free semigroupoid algebras generated from graphs and higher rank graphs, with an emphasis on the left regular free semigroupoid algebra. We give examples of specific graphs and the algebras they generate, and we discuss properties such as semisimplicity and reflexivity. Finally, we prop…
We classify the gauge-invariant ideals in the C*-algebras of infinite directed graphs, and describe the quotients as graph algebras. We then use these results to identify the gauge-invariant primitive ideals in terms of the structural properties of the graph, and describe the K-theory of the C*-algebras of arbitrary infinite graphs.
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.
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.
We introduce a new class of C^*-algebras, which is a generalization of both graph algebras and homeomorphism C^*-algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem, and compute the K-groups of our algebras.
In this note we generalize a result from a recent paper of Hajac, Reznikoff and Tobolski (2020). In that paper they give conditions they call admissibility on a pushout diagram in the category of directed graphs implying that the $C^*$-algebras of the graphs form a pullback diagram. We consider a larger category of relative graphs that correspond to relative Toeplitz graph algebras. In this setting we give necessary and sufficient conditions on the pushout to get a pullback of $C^*$-algebras.
We develop notions of a representation of a topological graph E and of a covariant representation of a topological graph E which do not require the machinery of C*-correspondences and Cuntz-Pimsner algebras. We show that the C*-algebra generated by a universal representation of E coincides with the Toeplitz algebra of Katsura's topological-graph bimodule, and that the C*-algebra generated by a universal covariant representation of E coincides with Katsura's topological graph C*-algebra. We exhibit our results by constructing the isomorphism between the C*-algebra of a row-finite directed graph…
We generalise the theory of Cuntz-Krieger families and graph algebras to the class of finitely aligned $k$-graphs. This class contains in particular all row-finite $k$-graphs. The Cuntz-Krieger relations for non-row-finite $k$-graphs look significantly different from the usual ones, and this substantially complicates the analysis of the graph algebra. We prove a gauge-invariant uniqueness theorem and a Cuntz-Krieger uniqueness theorem for the $C^*$-algebras of finitely aligned $k$-graphs.
We provide groupoid models for Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs. Extending the groupoid models used in the theory of graph algebras and topological dynamical systems to our setting, we prove results on essential freeness and amenability of the groupoids which capture the existing theory, and extend results involving group crossed products of graph algebras.
A characterization is given for directed graphs that yield graph $C^*$-algebras with continuous trace. This is established for row-finite graphs with no sources first using a groupoid approach, and extended to the general case via the Drinen-Tomforde desingularization. Partial results are given to characterize higher-rank graphs that yield $C^*$-algebras with continuous trace.
Pure infiniteness (in sense of E.Kirchberg and M.Rørdam) is considered for C*-algebras arising from singly generated dynamical systems. In particular, Cuntz-Krieger algebras and their generalizations, i.e., graph-algebras and O_A of an infinite matrix A, admit characterizations of pure infiniteness. As a consequence, these generalized Cuntz-Krieger algebras are traceless if and only if they are purely infinite. Also, a characterization of AF-algebras among these C*-algebras is given. In the case of graph-algebras of locally finite graphs, characterizations of stability are obtained.
We consider a family of operator-algebraic dynamical systems involving the Toeplitz algebras of higher-rank graphs. We explicitly compute the KMS states (equilibrium states) of these systems built from small graphs with up to four connected components.
We define a notion of quantum automorphism group of Graph C*-algebras for finite, connected graphs. Under the assumption that the underlying graph does not have any multiple edge or loop, the quantum automorphism group of underlying directed graph in the sense of T. banica is shown to be a quantum subgroup of quantum automorphism group in our sense. Quantum symmetries for some concrete graph C*-algebras have been computed.
A systematic theory of product and diagonal states is developed for tensor products of $\mathbb Z_2$-graded $*$-algebras, as well as $\mathbb Z_2$-graded $C^*$-algebras. As a preliminary step to achieve this goal, we provide the construction of a {\it fermionic $C^*$-tensor product} of $\mathbb Z_2$-graded $C^*$-algebras. Twisted duals of positive linear maps between von Neumann algebras are then studied, and applied to solve a positivity problem on the infinite Fermi lattice. Lastly, these results are used to define fermionic detailed balance (which includes the definition for the usual tenso…
We prove simplicity and pure infiniteness results for a certain class of labelled graph $C^*$-algebras. We show, by example, that this class of unital labelled graph $C^*$-algebras is strictly larger than the class of unital graph $C^*$-algebras.
We investigate the ideal structures of the C^*-algebras arising from topological graphs. We give the complete description of ideals of such C^*-algebras which are invariant under the so-called gauge action, and give the condition on topological graphs so that all ideals are invariant under the gauge action. We get conditions for our C^*-algebras to be simple, prime or primitive. We completely determine the prime ideals, and show that most of them are primitive. Finally, we construct a discrete graph such that the associated C^*-algebra is prime but not primitive.
In this paper we generalize the notion of a $k$-graph into (countable) infinite rank. We then define our $C^*$-algebra in a similar way as in $k$-graph $C^*$-algebras. With this construction we are able to find analogues to the Gauge Invariant Uniqueness and Cuntz-Krieger Uniqueness Theorems. We also show that the $\mathbb{N}$-graph $C^*$-algebras can be viewed as the inductive limit of $k$-graph $C^*$-algebras. This gives a nice way to describe the gauge-invariant ideal structure. Additionally, we describe the vertex-set for regular gauge-invariant ideals of our $N$-graph $C^*$-algebras. We t…
Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a trimmable graph is graded-isomorphic to a pullback algebra of simpler Leavitt path algebras and their tensor products.
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, i…
Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that these conditions are all equivalent for $C^*$-algebras of compact topological graphs, and similar results were established by Clark, an Huef, and Sims for $k$-graph algebras. If $C^*(E,\mathcal L)$ is a labeled graph $C^*$-algebra over finite alphabet, it can be viewed as a $C^*$-algebra of a compact topological graph. For these labeled graph $C^*$-algebras, we …
I introduce yet another way to associate a C*-algebra to a graph and construct a simple nuclear C*-algebra that has irreducible representations both on a separable and a nonseparable Hilbert space.
We introduce a graph theoretic property called Condition (N) for finitely separated graphs and prove that it is equivalent to both nuclearity and exactness of the associated universal tame graph C*-algebra.