In this paper we show that every non-cycle finite transitive directed graph has a Cuntz–Krieger family whose WOT-closed algebra is $B(\mathcal {H})$. This is accomplished through a new construction that reduces this problem to in-degree 2-regular graphs, which is then treated by applying the periodic Road Colouring Theorem of Béal and Perrin. As a consequence we show that finite disjoint unions of finite transitive directed graphs are exactly those finite graphs which admit self-adjoint free semigroupoid algebras.

Many fundamental properties of graph C*-algebras may be determined directly from the structure of the underlying graph, and because of this, they have been celebrated as C*-algebras that can be seen. This paper shows how permutative endomorphisms of graph C*-algebras can be represented by labelled directed multigraphs that give visual representations of the endomorphisms and facilitate computations. This formalism provides a useful calculus for permutative automorphisms and allows efficient exhaustive construction of such automorphisms.

We show that every topological grading of a $C^{\ast }$-algebra by a discrete abelian group is implemented by an action of the compact dual group.

We show that every subset of vertices of a directed graph $E$ gives a Morita equivalence between a subalgebra and an ideal of the associated Leavitt path algebra. We use this observation to prove an algebraic version of a theorem of Crisp and Gow: certain subgraphs of $E$ can be contracted to a new graph $G$ such that the Leavitt path algebras of $E$ and $G$ are Morita equivalent. We provide examples to illustrate how desingularising a graph, and in- or out-delaying of a graph, all fit into this setting.

We continue to investigate branching systems of directed graphs and their connections with graph algebras. We give a sufficient condition under which the representation induced from a branching system of a directed graph is faithful and construct a large class of branching systems that satisfy this condition. We finish the paper by providing a proof of the converse of the Cuntz–Krieger uniqueness theorem for graph algebras by means of branching systems.

Higher-rank graphs were introduced by Kumjian and Pask to provide models for higher-rank Cuntz–Krieger algebras. In a previous paper, we constructed 2-graphs whose path spaces are rank-two subshifts of finite type, and showed that this construction yields aperiodic 2-graphs whoseC*-algebras are simple and are not ordinary graph algebras. Here we show that the construction also gives a family of periodic 2-graphs which we call domino graphs. We investigate the combinatorial structure of domino graphs, finding interesting points of contact with the existing combinatorial literature, and prove a structure theorem for the C*-algebras of domino graphs.

Consider a projective limit G of finite groups Gn. Fix a compatible family δn of coactions of the Gn on a C*-algebra A. From this data we obtain a coaction δ of G on A. We show that the coaction crossed product of A by δ is isomorphic to a direct limit of the coaction crossed products of A by the δn. If A=C*(Λ) for some k-graph Λ, and if the coactions δn correspond to skew-products of Λ, then we can say more. We prove that the coaction crossed product of C*(Λ) by δ may be realized as a full corner of the C*-algebra of a (k+1)-graph. We then explore connections with Yeend’s topological higher-rank graphs and their C*-algebras.

Let be a higher rank Exel–Laca algebra generated by an alphabet . If contains d commuting isometries corresponding to rank d and the transition matrices do not have finite rows, then is trivial and is isomorphic to K0 of the abelian subalgebra of generated by the source projections of .

This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful traces. We characterise the existence of a faithful semifinite lower-semicontinuous gauge-invariant trace on C* (Λ) in terms of the existence of a faithful graph trace on Λ.

Second, for k-graphs with faithful gauge invariant trace, we construct a smooth (k,∞)-summable semifinite spectral triple. We use the semifinite local index theorem to compute the pairing with K-theory. This numerical pairing can be obtained by applying the trace to a KK-pairing with values in the K-theory of the fixed point algebra of the Tk action. As with graph algebras, the index pairing is an invariant for a finer structure than the isomorphism class of the algebra.

We produce a complete description of the lattice of gauge-invariant ideals in ${{C}^{*}}(\Lambda )$ for a finitely aligned $k$-graph $\Lambda $. We provide a condition on $\Lambda $ under which every ideal is gauge-invariant. We give conditions on $\Lambda $ under which ${{C}^{*}}(\Lambda )$ satisfies the hypotheses of the Kirchberg–Phillips classification theorem.

We consider the higher-rank graphs introduced by Kumjian and Pask as models for higher-rank Cuntz–Krieger algebras. Wedescribe a variant of the Cuntz–Krieger relations which applies to graphs with sources, and describe a local convexitycondition which characterizes the higher-rank graphs that admit a non-trivial Cuntz–Krieger family. We then proveversions of the uniqueness theorems and classifications of ideals for the $C^*$-algebras generated by Cuntz–Krieger families.

AMS 2000 Mathematics subject classification: Primary 46L05