Research Doctorate - Doctor of Philosophy (PhD) / There is a strong connection between directed graphs and the shifts of finite type which are an important family of dynamical systems. Higher-rank graphs (or k-graphs) and their C*-algebras were introduced by Kumjian and Pask to generalise directed graphs and their C*-algebras. Kumjian and Pask showed how higher-dimensional shifts of finite type can be associated to k-graphs, but did not discuss how one might associate k-graphs to k-dimensional shifts of finite type. In this thesis we construct a family of 2-graphs A arising from a certain type of algebraic two-dimensional shift of finite type studied by Schmidt, and analyse the structure of their C*-algebras. Graph algebras and k-graph algebras provide a rich source of examples for the classication of simple, purely infinite, nuclear C*-algebras. We give criteria which ensure that the C*-algebra C*(A) is simple, purely infinite, nuclear, and satisfies the hypotheses of the Kirchberg-Phillips Classification Theorem. We perform K-theory calculations for a wide range of our 2-graphs A using the Magma computational algebra system. The results of our calculations lead us to conjecture that the K-groups of C*(A) are finite cyclic groups of the same order. We are able to prove under mild hypotheses that the K-groups have the same order, but we have only numerical evidence to suggest that they are cyclic. In particular, we find several examples for which K1(C*(A)) is nonzero and has torsion, hence these are examples of 2-graph C*-algebras which do not arise as the C*-algebras of directed graphs. Finally, we consider a subfamily of 2-graphs with interesting combinatorial connections. We identify the nonsimple C*-algebras of these 2-graphs and calculate their K-theory.

Research Doctorate - Doctor of Philosophy (PhD) / Directed graphs are combinatorial objects used to model networks like fluid-flow systems in which the direction of movement through the network is important. In 1980, Enomoto and Watatani used finite directed graphs to provide an intuitive framework for the Cuntz-Krieger algebras introduced by Cuntz and Krieger earlier in the same year. The theory of the C*-algebras of directed graphs has since been extended to include infinite graphs, and there is an elegant relationship between connectivity and loops in a graph and the structure theory of the associated C*-algebra. Higher-rank graphs are a higher-dimensional analogue of directed graphs introduced by Kumjian and Pask in 2000 as a model for the higher-rank Cuntz-Krieger algebras introduced by Robertson and Steger in 1999. The theory of the Cuntz-Krieger algebras of higher-rank graphs is relatively new, and a number of questions which have been answered for directed graphs remain open in the higher-rank setting. In particular, for a large class of higher-rank graphs, the gauge-invariant ideal structure of the associated C*-algebra has not yet been identified. This thesis addresses the question of the gauge-invariant ideal structure of the Cuntz-Krieger algebras of higher-rank graphs. To do so, we introduce and analyse the collections of relative Cuntz-Krieger algebras associated to higher-rank graphs. The first two main results of the thesis are versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem which apply to relative Cuntz-Krieger algebras. Using these theorems, we are able to achieve our main goal, producing a classification of the gauge-invariant ideals in the Cuntz-Krieger algebra of a higher-rank graph analogous to that developed for directed graphs by Bates, Hong, Raeburn and Szymañski in 2002. We also demonstrate that relative Cuntz-Krieger algebras associated to higher-rank graphs are always nuclear, and produce conditions on a higher-rank graph under which the associated Cuntz-Krieger algebra is simple and purely infinite.

abstract: Higher-rank graphs, or k-graphs, are higher-dimensional analogues of directed graphs, and as with ordinary directed graphs, there are various C*-algebraic objects that can be associated with them. This thesis adopts a functorial approach to study the relationship between k-graphs and their associated C*-algebras. In particular, two functors are given between appropriate categories of higher-rank graphs and the category of C*-algebras, one for Toeplitz algebras and one for Cuntz-Krieger algebras. Additionally, the Cayley graphs of finitely generated groups are used to define a class of k-graphs, and a functor is then given from a category of finitely generated groups to the category of C*-algebras. Finally, functoriality is investigated for product systems of C*-correspondences associated to k-graphs. Additional results concerning the structural consequences of functoriality, properties of the functors, and combinatorial aspects of k-graphs are also included throughout. / Dissertation/Thesis / Masters Thesis Mathematics 2016

abstract: C*-algebras of categories of paths were introduced by Spielberg in 2014 and generalize C*-algebras of higher rank graphs. An approximately finite dimensional (AF) C*-algebra is one which is isomorphic to an inductive limit of finite dimensional C*-algebras. In 2012, D.G. Evans and A. Sims proposed an analogue of a cycle for higher rank graphs and show that the lack of such an object is necessary for the associated C*-algebra to be AF. Here, I give a class of examples of categories of paths whose associated C*-algebras are Morita equivalent to a large number of periodic continued fraction AF algebras, first described by Effros and Shen in 1980. I then provide two examples which show that the analogue of cycles proposed by Evans and Sims is neither a necessary nor a sufficient condition for the C*-algebra of a category of paths to be AF. / Dissertation/Thesis / Doctoral Dissertation Mathematics 2020