Showing 1–50 of 50 results for author: Pask, D

Higher-rank trees: Finite higher-rank planar trees arising from polyhedral graphs. Differences from one-trees

Authors: David Pask

Abstract: We introduce a new family of higher-rank graphs, whose construction was inspired by the graphical techniques of Lambek \cite{Lambek} and Johnstone \cite{Johnstone} used for monoid and category emedding results. We show that they are planar $k$-trees for $2 \le k \le 4$. We also show that higher-rank trees differ from $1$-trees by giving examples of higher-rank trees having properties which are imp… ▽ More We introduce a new family of higher-rank graphs, whose construction was inspired by the graphical techniques of Lambek \cite{Lambek} and Johnstone \cite{Johnstone} used for monoid and category emedding results. We show that they are planar $k$-trees for $2 \le k \le 4$. We also show that higher-rank trees differ from $1$-trees by giving examples of higher-rank trees having properties which are impossible for $1$-trees. Finally, we collect more examples of higher-rank planar trees which are not in our family. △ Less

Submitted 19 July, 2024; originally announced July 2024.

MSC Class: 05C20 (Primary) 57M50; 18D99 (Secondary)

Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras

Authors: Nathan Brownlowe, Alex Kumjian, David Pask, Aidan Sims

Abstract: We show that the C*-algebra of a row-finite source-free k-graph is Rieffel-Morita equivalent to a crossed product of an AF algebra by the fundamental group of the k-graph. When the k-graph embeds in its fundamental groupoid, this AF algebra is a Fell algebra; and simple-connectedness of a certain sub-1-graph characterises when this Fell algebra is Rieffel--Morita equivalent to a commutative C*-alg… ▽ More We show that the C*-algebra of a row-finite source-free k-graph is Rieffel-Morita equivalent to a crossed product of an AF algebra by the fundamental group of the k-graph. When the k-graph embeds in its fundamental groupoid, this AF algebra is a Fell algebra; and simple-connectedness of a certain sub-1-graph characterises when this Fell algebra is Rieffel--Morita equivalent to a commutative C*-algebra. We provide a substantial suite of results for determining if a given k-graph embeds in its fundamental groupoid, and provide a large class of examples, arising via work of Cartwright, Robertson, Steger et al. from the theory of $\tilde{A_2}$-groups, that do embed. △ Less

Submitted 2 March, 2024; originally announced March 2024.

Comments: 26 pages, figures in TikZ

MSC Class: 46L05 (primary); 18D99 (secondary)

Structure theory and stable rank for C*-algebras of finite higher-rank graphs

Authors: David Pask, Adam Sierakowski, Aidan Sims

Abstract: We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also determine exactly which finite, locally convex k-graphs yield unital stably finite C*-algebras. We give several examples to illustrate our results. We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also determine exactly which finite, locally convex k-graphs yield unital stably finite C*-algebras. We give several examples to illustrate our results. △ Less

Submitted 7 September, 2021; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 24 pages; v2: This version to appear in Proc. Edinb. Math. Soc

MSC Class: 46L05

Moves on $k$-graphs preserving Morita equivalence

Authors: Caleb Eckhardt, Kit Fieldhouse, Daniel Gent, Elizabeth Gillaspy, Ian Gonzales, David Pask

Abstract: We initiate the program of extending to higher-rank graphs ($k$-graphs) the geometric classification of directed graph $C^*$-algebras, as completed in the 2016 paper of Eilers, Restorff, Ruiz, and Sorensen [ERRS16]. To be precise, we identify four "moves," or modifications, one can perform on a $k$-graph $Λ$, which leave invariant the Morita equivalence class of its $C^*$-algebra $C^*(Λ)$. These m… ▽ More We initiate the program of extending to higher-rank graphs ($k$-graphs) the geometric classification of directed graph $C^*$-algebras, as completed in the 2016 paper of Eilers, Restorff, Ruiz, and Sorensen [ERRS16]. To be precise, we identify four "moves," or modifications, one can perform on a $k$-graph $Λ$, which leave invariant the Morita equivalence class of its $C^*$-algebra $C^*(Λ)$. These moves -- insplitting, delay, sink deletion, and reduction -- are inspired by the moves for directed graphs described by Sorensen [S\o13] and Bates-Pask [BP04]. Because of this, our perspective on $k$-graphs focuses on the underlying directed graph. We consequently include two new results, Theorem 2.3 and Lemma 2.9, about the relationship between a $k$-graph and its underlying directed graph. △ Less

Submitted 23 June, 2020; originally announced June 2020.

MSC Class: 46L05; 46L55; 46L35; 37B51

An algebraic analogue of Exel-Pardo C*-algebras

Authors: Roozbeh Hazrat, David Pask, Adam Sierakowski, Aidan Sims

Abstract: We introduce an algebraic version of the Katsura $C^*$-algebra of a pair $A,B$ of integer matrices and an algebraic version of the Exel-Pardo $C^*$-algebra of a self-similar action on a graph. We prove a Graded Uniqueness Theorem for such algebras and construct a homomorphism of the latter into a Steinberg algebra that, under mild conditions, is an isomorphism. Working with Steinberg algebras over… ▽ More We introduce an algebraic version of the Katsura $C^*$-algebra of a pair $A,B$ of integer matrices and an algebraic version of the Exel-Pardo $C^*$-algebra of a self-similar action on a graph. We prove a Graded Uniqueness Theorem for such algebras and construct a homomorphism of the latter into a Steinberg algebra that, under mild conditions, is an isomorphism. Working with Steinberg algebras over non-Hausdorff groupoids we prove that in the unital case, our algebraic version of Katsura $C^*$-algebras are all isomorphic to Steinberg algebras. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: 38 pages, 3 figures

MSC Class: 16D70; 16W50

Ample groupoids: equivalence, homology, and Matui's HK conjecture

Authors: Carla Farsi, Alex Kumjian, David Pask, Aidan Sims

Abstract: We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Mat… ▽ More We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Matui's HK conjecture holds for such a groupoid when k is one or two. We specialise to k-graph groupoids, and show that their homology can be computed in terms of the adjacency matrices, using a chain complex developed by Evans. We show that Matui's HK conjecture holds for the groupoids of single vertex k-graphs which satisfy a mild joint-coprimality condition. We also prove that there is a natural homomorphism from the categorical homology of a k-graph to the homology of its groupoid. △ Less

Submitted 23 August, 2018; originally announced August 2018.

Comments: 34 pages

MSC Class: 46L80; 46L89; 46L55

Graded C*-algebras, graded K-theory, and twisted P-graph C*-algebras

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: We develop methods for computing graded K-theory of C*-algebras as defined in terms of Kasparov theory. We establish graded versions of Pimsner's six-term sequences for graded Hilbert bimodules whose left action is injective and by compacts, and a graded Pimsner-Voiculescu sequence. We introduce the notion of a twisted P-graph C*-algebra and establish connections with graded C*-algebras. Specifica… ▽ More We develop methods for computing graded K-theory of C*-algebras as defined in terms of Kasparov theory. We establish graded versions of Pimsner's six-term sequences for graded Hilbert bimodules whose left action is injective and by compacts, and a graded Pimsner-Voiculescu sequence. We introduce the notion of a twisted P-graph C*-algebra and establish connections with graded C*-algebras. Specifically, we show how a functor from a P-graph into the group of order two determines a grading of the associated C*-algebra. We apply our graded version of Pimsner's exact sequence to compute the graded K-theory of a graph C*-algebra carrying such a grading. △ Less

Submitted 2 June, 2017; originally announced June 2017.

Comments: 39 pages, pictures prepared in TikZ

MSC Class: 46L05; 19K35

Unbounded quasitraces, stable finiteness and pure infiniteness

Authors: David Pask, Adam Sierakowski, Aidan Sims

Abstract: We prove that if A is a σ-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is… ▽ More We prove that if A is a σ-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is unital and simple, either every twisted C*-algebra associated to that k-graph is stably finite, or every twisted C*-algebra associated to that k-graph is purely infinite. Finally we provide sufficient and necessary conditions for a unital simple k-graph algebra to be purely infinite in terms of the underlying k-graph. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: 38 pages

MSC Class: 46L05

C*-algebras associated to graphs of groups

Authors: Nathan Brownlowe, Alexander Mundey, David Pask, Jack Spielberg, Anne Thomas

Abstract: To a large class of graphs of groups we associate a C*-algebra universal for generators and relations. We show that this C*-algebra is stably isomorphic to the crossed product induced from the action of the fundamental group of the graph of groups on the boundary of its Bass-Serre tree. We characterise when this action is minimal, and find a sufficient condition under which it is locally contracti… ▽ More To a large class of graphs of groups we associate a C*-algebra universal for generators and relations. We show that this C*-algebra is stably isomorphic to the crossed product induced from the action of the fundamental group of the graph of groups on the boundary of its Bass-Serre tree. We characterise when this action is minimal, and find a sufficient condition under which it is locally contractive. In the case of generalised Baumslag-Solitar graphs of groups (graphs of groups in which every group is infinite cyclic) we also characterise topological freeness of this action. We are then able to establish a dichotomy for simple C*-algebras associated to generalised Baumslag-Solitar graphs of groups: they are either a Kirchberg algebra, or a stable Bunce-Deddens algebra. △ Less

Submitted 4 February, 2016; originally announced February 2016.

Comments: 59 pages

MSC Class: 46L05 (Primary); 20E08 (Secondary)

The K-theory of twisted multipullback quantum odd spheres and complex projective spaces

Authors: Piotr M. Hajac, Ryszard Nest, David Pask, Aidan Sims, Bartosz Zieliński

Abstract: We find multipullback quantum odd-dimensional spheres equipped with natural $U(1)$-actions that yield the multipullback quantum complex projective spaces constructed from Toeplitz cubes as noncommutative quotients. We prove that the noncommutative line bundles associated to multipullback quantum odd spheres are pairwise stably non-isomorphic, and that the $K$-groups of multipullback quantum comple… ▽ More We find multipullback quantum odd-dimensional spheres equipped with natural $U(1)$-actions that yield the multipullback quantum complex projective spaces constructed from Toeplitz cubes as noncommutative quotients. We prove that the noncommutative line bundles associated to multipullback quantum odd spheres are pairwise stably non-isomorphic, and that the $K$-groups of multipullback quantum complex projective spaces and odd spheres coincide with their classical counterparts. We show that these $K$-groups remain the same for more general twisted versions of our quantum odd spheres and complex projective spaces. △ Less

Submitted 31 December, 2017; v1 submitted 29 December, 2015; originally announced December 2015.

Comments: The proof of Theorem 0.1(3) corrected, 35 pages. To appear in Journal of Noncommutative Geometry

Zappa-Szép product groupoids and C*-blends

Authors: Nathan Brownlowe, David Pask, Jacqui Ramagge, David Robertson, Michael F. Whittaker

Abstract: We study the external and internal Zappa-Szép product of topological groupoids. We show that under natural continuity assumptions the Zappa-Szép product groupoid is étale if and only if the individual groupoids are étale. In our main result we show that the C*-algebra of a locally compact Hausdorff étale Zappa-Szép product groupoid is a C*-blend, in the sense of Exel, of the individual groupoid C*… ▽ More We study the external and internal Zappa-Szép product of topological groupoids. We show that under natural continuity assumptions the Zappa-Szép product groupoid is étale if and only if the individual groupoids are étale. In our main result we show that the C*-algebra of a locally compact Hausdorff étale Zappa-Szép product groupoid is a C*-blend, in the sense of Exel, of the individual groupoid C*-algebras. We finish with some examples, including groupoids built from *-commuting endomorphisms, and skew product groupoids. △ Less

Submitted 14 June, 2017; v1 submitted 13 July, 2015; originally announced July 2015.

Comments: Updated to agree with published version

Report number: SOAR-GMJT-01 MSC Class: 46L05

Journal ref: Semigroup Forum 94 (2017), 500-519

Real rank and topological dimension of higher rank graph algebras

Authors: David Pask, Adam Sierakowski, Aidan Sims

Abstract: We study dimension theory for the $C^*$-algebras of row-finite $k$-graphs with no sources. We establish that strong aperiodicity - the higher-rank analogue of condition (K) - for a $k$-graph is necessary and sufficient for the associated $C^*$-algebra to have topological dimension zero. We prove that a purely infinite $2$-graph algebra has real-rank zero if and only if it has topological dimension… ▽ More We study dimension theory for the $C^*$-algebras of row-finite $k$-graphs with no sources. We establish that strong aperiodicity - the higher-rank analogue of condition (K) - for a $k$-graph is necessary and sufficient for the associated $C^*$-algebra to have topological dimension zero. We prove that a purely infinite $2$-graph algebra has real-rank zero if and only if it has topological dimension zero and satisfies a homological condition that can be characterised in terms of the adjacency matrices of the $2$-graph. We also show that a $k$-graph $C^*$-algebra with topological dimension zero is purely infinite if and only if all the vertex projections are properly infinite. We show by example that there are strongly purely infinite $2$-graphs algebras, both with and without topological dimension zero, that fail to have real-rank zero. △ Less

Submitted 2 March, 2016; v1 submitted 29 March, 2015; originally announced March 2015.

Comments: 25 pages, pictures prepared using tikz. V2: minor corrections and typos fixed; this version to appear in Indiana University Math. J

MSC Class: 46L05

Simplicity of twisted C*-algebras of higher-rank graphs and crossed products by quasifree actions

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: We characterise simplicity of twisted C*-algebras of row-finite k-graphs with no sources. We show that each 2-cocycle on a cofinal k-graph determines a canonical second-cohomology class for the periodicity group of the graph. The groupoid of the k-graph then acts on the cartesian product of the infinite-path space of the graph with the dual group of the centre of any bicharacter representing this… ▽ More We characterise simplicity of twisted C*-algebras of row-finite k-graphs with no sources. We show that each 2-cocycle on a cofinal k-graph determines a canonical second-cohomology class for the periodicity group of the graph. The groupoid of the k-graph then acts on the cartesian product of the infinite-path space of the graph with the dual group of the centre of any bicharacter representing this second-cohomology class. The twisted k-graph algebra is simple if and only if this action is minimal. We apply this result to characterise simplicity for many twisted crossed products of k-graph algebras by quasifree actions of free abelian groups. △ Less

Submitted 25 June, 2016; v1 submitted 14 November, 2014; originally announced November 2014.

Comments: 26 pages; diagrams prepared using TikZ. V2: numerous typographical errors corrected. Example 6.4 expanded and improved, on the suggestion of a helpful referee. Thanks to both the referee and to Becky Armstrong for their comments and corrections. This version matches the version that will appear in J. Noncommutative Geometry

MSC Class: 46L05

Crossed products and twisted $k$-graph algebras

Authors: Nathan Brownlowe, Valentin Deaconu, Alex Kumjian, David Pask

Abstract: An automorphism $β$ of a $k$-graph $Λ$ induces a crossed product $C^* ( Λ) \rtimes_β\mathbb{Z}$ which is isomorphic to a $(k+1)$-graph algebra $C^* ( Λ\times_β\mathbb{Z})$. In this paper we show how this process interacts with $k$-graph $C^*$-algebras which have been twisted by an element of their second cohomology group. This analysis is done using a long exact sequence in cohomology associated t… ▽ More An automorphism $β$ of a $k$-graph $Λ$ induces a crossed product $C^* ( Λ) \rtimes_β\mathbb{Z}$ which is isomorphic to a $(k+1)$-graph algebra $C^* ( Λ\times_β\mathbb{Z})$. In this paper we show how this process interacts with $k$-graph $C^*$-algebras which have been twisted by an element of their second cohomology group. This analysis is done using a long exact sequence in cohomology associated to this data. We conclude with some examples △ Less

Submitted 23 July, 2014; originally announced July 2014.

Comments: 15 pages, 2 figures

MSC Class: 46L05; 55N35

Twisted k-graph algebras associated to Bratteli diagrams

Authors: David Pask, Adam Sierakowski, Aidan Sims

Abstract: Given a system of coverings of k-graphs, we show that the cohomology of the resulting (k+1)-graph is isomorphic to that of any one of the k-graphs in the system. We then consider Bratteli diagrams of 2-graphs whose twisted C*-algebras are matrix algebras over noncommutative tori. For such systems we calculate the ordered K-theory and the gauge-invariant semifinite traces of the resulting 3-graph C… ▽ More Given a system of coverings of k-graphs, we show that the cohomology of the resulting (k+1)-graph is isomorphic to that of any one of the k-graphs in the system. We then consider Bratteli diagrams of 2-graphs whose twisted C*-algebras are matrix algebras over noncommutative tori. For such systems we calculate the ordered K-theory and the gauge-invariant semifinite traces of the resulting 3-graph C*-algebras. We deduce that every simple C*-algebra of this form is Morita equivalent to the C*-algebra of a rank-2 Bratteli diagram in the sense of Pask-Raeburn-Rørdam-Sims. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: 28 pages, pictures prepared using tikz

MSC Class: 46L05

Computing the fundamental group of a higher-rank graph

Authors: Sooran Kang, David Pask, Samuel B. G. Webster

Abstract: We compute a presentation of the fundamental group of a higher-rank graph using a coloured graph description of higher-rank graphs developed by the third author. We compute the fundamental groups of several examples from the literature. Our results fit naturally into the suite of known geometrical results about $k$-graphs when we show that the abelianisation of fundamental group is the homology gr… ▽ More We compute a presentation of the fundamental group of a higher-rank graph using a coloured graph description of higher-rank graphs developed by the third author. We compute the fundamental groups of several examples from the literature. Our results fit naturally into the suite of known geometrical results about $k$-graphs when we show that the abelianisation of fundamental group is the homology group. We end with a calculation which gives a non-standard presentation of the fundamental group of the Klein bottle to the one normally found in the literature. △ Less

Submitted 9 September, 2020; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: Dynamical content from 1310.7651 removed. Content on fundamental group revised, and improved with new examples and error in example at end of recent submission

MSC Class: 14F35

Topological spaces associated to higher-rank graphs

Authors: Alex Kumjian, David Pask, Aidan Sims, Michael F. Whittaker

Abstract: We investigate which topological spaces can be constructed as topological realisations of higher-rank graphs. We describe equivalence relations on higher-rank graphs for which the quotient is again a higher-rank graph, and show that identifying isomorphic co-hereditary subgraphs in a disjoint union of two rank-$k$ graphs gives rise to pullbacks of the associated $C^*$-algebras. We describe a combi… ▽ More We investigate which topological spaces can be constructed as topological realisations of higher-rank graphs. We describe equivalence relations on higher-rank graphs for which the quotient is again a higher-rank graph, and show that identifying isomorphic co-hereditary subgraphs in a disjoint union of two rank-$k$ graphs gives rise to pullbacks of the associated $C^*$-algebras. We describe a combinatorial version of the connected-sum operation and apply it to the rank-2-graph realisations of the four basic surfaces to deduce that every compact 2-manifold is the topological realisation of a rank-2 graph. We also show how to construct $k$-spheres and wedges of $k$-spheres as topological realisations of rank-$k$ graphs. △ Less

Submitted 8 June, 2016; v1 submitted 22 October, 2013; originally announced October 2013.

Comments: Updated to agree with published version

Journal ref: J. Comb. Th., Series A, 143 (2016), 19-41

Simplicity of the C*-algebras of skew product k-graphs

Authors: Ben Maloney, David Pask

Abstract: We consider conditions on a $k$-graph $Λ$, a semigroup $S$ and a functor $η: Λ\to S$ which ensure that the $C^*$-algebra of the skew-product graph $Λ\times_ηS$ is simple. Our results allow give some necessary and sufficient conditions for the AF-core of a $k$-graph $C^{*}$-algebra to be simple. We consider conditions on a $k$-graph $Λ$, a semigroup $S$ and a functor $η: Λ\to S$ which ensure that the $C^*$-algebra of the skew-product graph $Λ\times_ηS$ is simple. Our results allow give some necessary and sufficient conditions for the AF-core of a $k$-graph $C^{*}$-algebra to be simple. △ Less

Submitted 25 June, 2013; originally announced June 2013.

Comments: 15 pages

MSC Class: 46L55; 47L55

On the K-theory of twisted higher-rank-graph C*-algebras

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: We investigate the K-theory of twisted higher-rank-graph algebras by adapting parts of Elliott's computation of the K-theory of the rotation algebras. We show that each 2-cocycle on a higher-rank graph taking values in an abelian group determines a continuous bundle of twisted higher-rank graph algebras over the dual group. We use this to show that for a circle-valued 2-cocycle on a higher-rank gr… ▽ More We investigate the K-theory of twisted higher-rank-graph algebras by adapting parts of Elliott's computation of the K-theory of the rotation algebras. We show that each 2-cocycle on a higher-rank graph taking values in an abelian group determines a continuous bundle of twisted higher-rank graph algebras over the dual group. We use this to show that for a circle-valued 2-cocycle on a higher-rank graph obtained by exponentiating a real-valued cocycle, the K-theory of the twisted higher-rank graph algebra coincides with that of the untwisted one. △ Less

Submitted 6 November, 2012; originally announced November 2012.

Comments: 15 pages; four diagrams prepared in TikZ

MSC Class: 46L05 (Primary) 46L80 (Secondary)

An elementary approach to C*-algebras associated to topological graphs

Authors: Hui Li, David Pask, Aidan Sims

Abstract: 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 uni… ▽ More 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 E with no sources and the C*-algebra of the topological graph arising from the shift map acting on infinite path space E^\infty. △ Less

Submitted 15 May, 2012; originally announced May 2012.

Comments: 18 pages, no figures

MSC Class: 46L05

Skew-products of higher-rank graphs and crossed products by semigroups

Authors: Ben Maloney, David Pask, Iain Raeburn

Abstract: We consider a free action of an Ore semigroup on a higher-rank graph, and the induced action by endomorphisms of the $C^*$-algebra of the graph. We show that the crossed product by this action is stably isomorphic to the $C^*$-algebra of a quotient graph. Our main tool is Laca's dilation theory for endomorphic actions of Ore semigroups on $C^*$-algebras, which embeds such an action in an automorph… ▽ More We consider a free action of an Ore semigroup on a higher-rank graph, and the induced action by endomorphisms of the $C^*$-algebra of the graph. We show that the crossed product by this action is stably isomorphic to the $C^*$-algebra of a quotient graph. Our main tool is Laca's dilation theory for endomorphic actions of Ore semigroups on $C^*$-algebras, which embeds such an action in an automorphic action of the enveloping group on a larger $C^*$-algebra. △ Less

Submitted 16 May, 2013; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 14 pages. Accepted by Semigroup Forum

MSC Class: 46L55; 20M20;

$C^*$-algebras of labelled graphs III - $K$-theory computations

Authors: Teresa Bates, Toke Meier Carlsen, David Pask

Abstract: In this paper we give a formula for the $K$-theory of the $C^*$-algebra of a weakly left-resolving labelled space. This is done by realising the $C^*$-algebra of a weakly left-resolving labelled space as the Cuntz-Pimsner algebra of a $C^*$-correspondence. As a corollary we get a gauge invariant uniqueness theorem for the $C^*$-algebra of any weakly left-resolving labelled space. In order to achie… ▽ More In this paper we give a formula for the $K$-theory of the $C^*$-algebra of a weakly left-resolving labelled space. This is done by realising the $C^*$-algebra of a weakly left-resolving labelled space as the Cuntz-Pimsner algebra of a $C^*$-correspondence. As a corollary we get a gauge invariant uniqueness theorem for the $C^*$-algebra of any weakly left-resolving labelled space. In order to achieve this we must modify the definition of the $C^*$-algebra of a weakly left-resolving labelled space. We also establish strong connections between the various classes of $C^*$-algebras which are associated with shift spaces and labelled graph algebras. Hence, by computing the $K$-theory of a labelled graph algebra we are providing a common framework for computing the $K$-theory of graph algebras, ultragraph algebras, Exel-Laca algebras, Matsumoto algebras and the $C^*$-algebras of Carlsen. We provide an inductive limit approach for computing the $K$-groups of an important class of labelled graph algebras, and give examples. △ Less

Submitted 20 January, 2015; v1 submitted 14 March, 2012; originally announced March 2012.

Comments: 27 pages. We have made substantial changes in version 2 in order to avoid been affected by a mistake in the paper "$C^*$-algebras of labelled graphs I"

MSC Class: 46L05 (Primary); 46L55; 46L80; 37B10; 19K99 (Secondary)

Journal ref: Ergodic Theory Dynam. Systems 37 (2017), no. 2, 337-368

On twisted higher-rank graph C*-algebras

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: We define the categorical cohomology of a k-graph Λ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative characterisation of the twisted k-graph C*-algebras introduced there. We prove a gauge-invariant uniqueness theorem and use it to show that every twisted k-graph C*-algebra… ▽ More We define the categorical cohomology of a k-graph Λ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative characterisation of the twisted k-graph C*-algebras introduced there. We prove a gauge-invariant uniqueness theorem and use it to show that every twisted k-graph C*-algebra is isomorphic to a twisted groupoid C*-algebra. We deduce criteria for simplicity, prove a Cuntz-Krieger uniqueness theorem and establish that all twisted k-graph C*-algebras are nuclear and belong to the bootstrap class. △ Less

Submitted 14 August, 2013; v1 submitted 29 December, 2011; originally announced December 2011.

Comments: v2: 40 pages (font and margins changed) - this version to appear in Transactions of the American Mathematical Society. v3: minor correction to the statement of Lemma 6.3. No other statements are affected

MSC Class: Primary 46L05; Secondary 18G60; 55N10

Homology for higher-rank graphs and twisted C*-algebras

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: We introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as described by Kaliszewski et al. We exhibit combinatorial versions of a number of standard topological constructions, and show that they are compatible, from a homo… ▽ More We introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as described by Kaliszewski et al. We exhibit combinatorial versions of a number of standard topological constructions, and show that they are compatible, from a homological point of view, with their topological counterparts. We show how to twist the C*-algebra of a k-graph by a T-valued 2-cocycle and demonstrate that examples include all noncommutative tori. In the appendices, we construct a cubical set \tilde{Q}(Λ) from a k-graph Λ and demonstrate that the homology and topological realisation of Λ coincide with those of \tilde{Q}(Λ) as defined by Grandis. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Comments: 33 pages, 9 pictures and one diagram prepared in TiKZ

MSC Class: Primary 46L05; Secondary 18G60; 55N10

Group actions on labeled graphs and their C*-algebras

Authors: Teresa Bates, David Pask, Paulette Willis

Abstract: We introduce the notion of the action of a group on a labeled graph and the quotient object, also a labeled graph. We define a skew product labeled graph and use it to prove a version of the Gross-Tucker theorem for labeled graphs. We then apply these results to the $C^*$-algebra associated to a labeled graph and provide some applications in nonabelian duality. We introduce the notion of the action of a group on a labeled graph and the quotient object, also a labeled graph. We define a skew product labeled graph and use it to prove a version of the Gross-Tucker theorem for labeled graphs. We then apply these results to the $C^*$-algebra associated to a labeled graph and provide some applications in nonabelian duality. △ Less

Submitted 16 May, 2013; v1 submitted 7 June, 2011; originally announced June 2011.

Comments: 18 pages, updated version

MSC Class: 46L05 (Primary); 37B10 (Secondary)

Aperiodicity and the primitive ideal space of a row-finite $k$-graph $C^*$-algebra

Authors: Sooran Kang, David Pask

Abstract: We describe the primitive ideal space of the $C^{\ast}$-algebra of a row-finite $k$-graph with no sources when every ideal is gauge invariant. We characterize which spectral spaces can occur, and compute the primitive ideal space of two examples. In order to do this we prove some new results on aperiodicity. Our computations indicate that when every ideal is gauge invariant, the primitive ideal sp… ▽ More We describe the primitive ideal space of the $C^{\ast}$-algebra of a row-finite $k$-graph with no sources when every ideal is gauge invariant. We characterize which spectral spaces can occur, and compute the primitive ideal space of two examples. In order to do this we prove some new results on aperiodicity. Our computations indicate that when every ideal is gauge invariant, the primitive ideal space only depends on the 1-skeleton of the $k$-graph in question. △ Less

Submitted 30 July, 2012; v1 submitted 5 May, 2011; originally announced May 2011.

Comments: 23 pages. Updated 30th June, 2012

MSC Class: 46L05; 46L55

Periodic 2-graphs arising from subshifts

Authors: David Pask, Iain Raeburn, Natasha Weaver

Abstract: 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 whose $C^*$-algebras are simple and are not ordinary graph algebras. Here we show that the construction also gives a family… ▽ More 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 whose $C^*$-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 \emph{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. △ Less

Submitted 3 November, 2009; originally announced November 2009.

Comments: 17 pages

MSC Class: 46L05; 37B10

Simplicity of 2-graph algebras associated to Dynamical Systems

Authors: Peter Lewin, David Pask

Abstract: We give a combinatorial description of a family of 2-graphs which subsumes those described by Pask, Raeburn and Weaver. Each 2-graph $Λ$ we consider has an associated $C^*$-algebra, denoted $C^*(Λ)$, which is simple and purely infinite when $Λ$ is aperiodic. We give new, straightforward conditions which ensure that $Λ$ is aperiodic. These conditions are highly tractable as we only need to consid… ▽ More We give a combinatorial description of a family of 2-graphs which subsumes those described by Pask, Raeburn and Weaver. Each 2-graph $Λ$ we consider has an associated $C^*$-algebra, denoted $C^*(Λ)$, which is simple and purely infinite when $Λ$ is aperiodic. We give new, straightforward conditions which ensure that $Λ$ is aperiodic. These conditions are highly tractable as we only need to consider the finite set of vertices of $Λ$ in order to identify aperiodicity. In addition, the path space of each 2-graph can be realised as a two-dimensional dynamical system which we show must have zero entropy. △ Less

Submitted 31 January, 2010; v1 submitted 25 October, 2009; originally announced October 2009.

Comments: 19 pages

MSC Class: 46L05; 37B10

Graphs of $C^*$-correspondences and Fell bundles

Authors: Valentin Deaconu, Alex Kumjian, David Pask, Aidan Sims

Abstract: We define the notion of a $Λ$-system of $C^*$-correspondences associated to a higher-rank graph $Λ$. Roughly speaking, such a system assigns to each vertex of $Λ$ a $C^*$-algebra, and to each path in $Λ$ a $C^*$-correspondence in a way which carries compositions of paths to balanced tensor products of $C^*$-correspondences. Under some simplifying assumptions, we use Fowler's technology of Cuntz-… ▽ More We define the notion of a $Λ$-system of $C^*$-correspondences associated to a higher-rank graph $Λ$. Roughly speaking, such a system assigns to each vertex of $Λ$ a $C^*$-algebra, and to each path in $Λ$ a $C^*$-correspondence in a way which carries compositions of paths to balanced tensor products of $C^*$-correspondences. Under some simplifying assumptions, we use Fowler's technology of Cuntz-Pimsner algebras for product systems of $C^*$-correspondences to associate a $C^*$-algebra to each $Λ$-system. We then construct a Fell bundle over the path groupoid $\Gg_Λ$ and show that the $C^*$-algebra of the $Λ$-system coincides with the reduced cross-sectional algebra of the Fell bundle. We conclude by discussing several examples of our construction arising in the literature. △ Less

Submitted 17 February, 2009; v1 submitted 30 December, 2008; originally announced January 2009.

Comments: To appear in Indiana Univ. Math. J

MSC Class: 46L05

Reducibility of Covers of AFT shifts

Authors: Teresa Bates, Soren Eilers, David Pask

Abstract: In this paper we show that the reducibility structure of several covers of sofic shifts is a flow invariant. In addition, we prove that for an irreducible subshift of almost finite type the left Krieger cover and the past set cover are reducible. We provide an example which shows that there are non almost finite type shifts which have reducible left Krieger covers. As an application we show that… ▽ More In this paper we show that the reducibility structure of several covers of sofic shifts is a flow invariant. In addition, we prove that for an irreducible subshift of almost finite type the left Krieger cover and the past set cover are reducible. We provide an example which shows that there are non almost finite type shifts which have reducible left Krieger covers. As an application we show that the Matsumoto algebra of an irreducible, strictly sofic shift of almost finite type is not simple. △ Less

Submitted 7 December, 2008; originally announced December 2008.

Comments: 16 pages, 5 figures

Report number: CPH-SYM-00 MSC Class: 37B10; 46L05

Journal ref: Israel Journal of Mathematics 185 (2011), 207-234

A family of 2-graphs arising from two-dimensional subshifts

Authors: David Pask, Iain Raeburn, Natasha A. Weaver

Abstract: Higher-rank graphs (or $k$-graphs) were introduced by Kumjian and Pask to provide combinatorial models for the higher-rank Cuntz-Krieger $C^*$-algebras of Robertson and Steger. Here we consider a family of finite 2-graphs whose path spaces are dynamical systems of algebraic origin, as studied by Schmidt and others. We analyse the $C^*$-algebras of these 2-graphs, find criteria under which they a… ▽ More Higher-rank graphs (or $k$-graphs) were introduced by Kumjian and Pask to provide combinatorial models for the higher-rank Cuntz-Krieger $C^*$-algebras of Robertson and Steger. Here we consider a family of finite 2-graphs whose path spaces are dynamical systems of algebraic origin, as studied by Schmidt and others. We analyse the $C^*$-algebras of these 2-graphs, find criteria under which they are simple and purely infinite, and compute their $K$-theory. We find examples whose $C^*$-algebras satisfy the hypotheses of the classification theorem of Kirchberg and Phillips, but are not isomorphic to the $C^*$-algebras of ordinary directed graphs. △ Less

Submitted 22 April, 2008; originally announced April 2008.

Comments: 28 pages, 3 figures, 1 table

MSC Class: 46L05; 37B50

C*-algebras of labelled graphs II - Simplicity results

Authors: T. Bates, D. A. Pask

Abstract: 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 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. △ Less

Submitted 13 January, 2008; originally announced January 2008.

Comments: 18 pages, 4 figures

MSC Class: 46L05; 37B10

Generalised morphisms of k-graphs: k-morphs

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: In a number of recent papers, (k+l)-graphs have been constructed from k-graphs by inserting new edges in the last l dimensions. These constructions have been motivated by C*-algebraic considerations, so they have not been treated systematically at the level of higher-rank graphs themselves. Here we introduce k-morphs, which provide a systematic unifying framework for these various constructions. W… ▽ More In a number of recent papers, (k+l)-graphs have been constructed from k-graphs by inserting new edges in the last l dimensions. These constructions have been motivated by C*-algebraic considerations, so they have not been treated systematically at the level of higher-rank graphs themselves. Here we introduce k-morphs, which provide a systematic unifying framework for these various constructions. We think of k-morphs as the analogue, at the level of k-graphs, of C*-correspondences between C*-algebras. To make this analogy explicit, we introduce a category whose objects are k-graphs and whose morphisms are isomorphism classes of k-morphs. We show how to extend the assignment Λ\mapsto C*(Λ) to a functor from this category to the category whose objects are C*-algebras and whose morphisms are isomorphism classes of C*-correspondences. △ Less

Submitted 9 June, 2010; v1 submitted 6 December, 2007; originally announced December 2007.

Comments: 27 pages, four pictures drawn with Tikz. Version 2: title changed and numerous minor corrections and improvements. This version to appear in Trans. Amer. Math. Soc

MSC Class: 46L05

Crossed products of k-graph C*-algebras by Z^l

Authors: Cynthia Farthing, David Pask, Aidan Sims

Abstract: 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. 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. △ Less

Submitted 24 June, 2007; originally announced June 2007.

Comments: 27 pages. Pictures drawn using pgf

MSC Class: 46L05

Coverings of skew-products and crossed products by coactions

Authors: David Pask, John Quigg, Aidan Sims

Abstract: Consider a projective limit G of finite groups G_n. Fix a compatible family δ^n of coactions of the G_n 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 Λ,… ▽ More Consider a projective limit G of finite groups G_n. Fix a compatible family δ^n of coactions of the G_n 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 realised 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. △ Less

Submitted 13 May, 2008; v1 submitted 4 June, 2007; originally announced June 2007.

Comments: 19 pages, laTeX. v2: Minor modifications to version 1. This version to appear in the Journal of the Australian Mathematical Society v3: some potentially confusing typos corrected in the proof of Theorem~3.1, as well as a few others. References updated

MSC Class: 46L05 (Primary); 46L55 (Secondary)

Noncommutative manifolds from graph and $k$-graph $C^*$-algebras

Authors: David Pask, Adam Rennie, Aidan Sims

Abstract: 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. 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. △ Less

Submitted 18 January, 2007; originally announced January 2007.

Comments: 29 pages, 1 figure, uses picTeX

MSC Class: 46L87

C*-algebras associated to coverings of k-graphs

Authors: Alex Kumjian, David Pask, Aidan Sims

Abstract: A covering of k-graphs (in the sense of Pask-Quigg-Raeburn) induces an embedding of universal C*-algebras. We show how to build a (k+1)-graph whose universal algebra encodes this embedding. More generally we show how to realise a direct limit of k-graph algebras under embeddings induced from coverings as the universal algebra of a (k+1)-graph. Our main focus is on computing the K-theory of the (… ▽ More A covering of k-graphs (in the sense of Pask-Quigg-Raeburn) induces an embedding of universal C*-algebras. We show how to build a (k+1)-graph whose universal algebra encodes this embedding. More generally we show how to realise a direct limit of k-graph algebras under embeddings induced from coverings as the universal algebra of a (k+1)-graph. Our main focus is on computing the K-theory of the (k+1)-graph algebra from that of the component k-graph algebras. Examples of our construction include a realisation of the Kirchberg algebra \mathcal{P}_n whose K-theory is opposite to that of \mathcal{O}_n, and a class of AT-algebras that can naturally be regarded as higher-rank Bunce-Deddens algebras. △ Less

Submitted 29 May, 2008; v1 submitted 7 December, 2006; originally announced December 2006.

Comments: 44 pages, 2 figures, some diagrams drawn using picTeX. v2. A number of typos corrected, some references updated. The statements of Theorem 6.7(2) and Corollary 6.8 slightly reworded for clarity. v3. Some references updated; in particular, theorem numbering of references to Evans updated to match published version

MSC Class: 46L05

The Noncommutative Geometry of k-graph C*-Algebras

Authors: David Pask, Adam Rennie, Aidan Sims

Abstract: This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful gauge invariant traces, where the gauge action of $\T^k$ is the canonical one. We give a sufficient condition for the existence of such a trace, identify the C*-algebras of k-graphs satisfying this condition up to Morita equivalence, and compute their K-theory. For k-graphs with faithful gauge i… ▽ More This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful gauge invariant traces, where the gauge action of $\T^k$ is the canonical one. We give a sufficient condition for the existence of such a trace, identify the C*-algebras of k-graphs satisfying this condition up to Morita equivalence, and compute their K-theory. For k-graphs with faithful gauge invariant trace, we construct a smooth $(k,\infty)$-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 $\T^k$ action. As with graph algebras, the index pairing is an invariant for a finer structure than the isomorphism class of the algebra. △ Less

Submitted 16 January, 2007; v1 submitted 19 December, 2005; originally announced December 2005.

Comments: 38 pages, some pictures drawn in picTeX Some minor technical revisions. Material has been reorganised with detailed discussion of k-graphs admitting graph traces shortened and moved to an appendix. This version to appear in K-theory

MSC Class: 46L05

Rank-two graphs whose C^*-algebras are direct limits of circle algebras

Authors: David Pask, Iain Raeburn, Mikael Rordam, Aidan Sims

Abstract: We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as f… ▽ More We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as full corners the irrational rotation algebras and the Bunce-Deddens algebras. △ Less

Submitted 12 December, 2005; originally announced December 2005.

Comments: 41 pages, uses pictex for figures

MSC Class: 46L05

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

The Noncommutative Geometry of Graph $C^*$-Algebras I: The Index Theorem

Authors: David Pask, Adam Rennie

Abstract: We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite spectral triple. The local index theorem allows us to compute the pairing with $K$-theory. This produces invariants in the $K$-theory of the fixed point algebr… ▽ More We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite spectral triple. The local index theorem allows us to compute the pairing with $K$-theory. This produces invariants in the $K$-theory of the fixed point algebra, and these are invariants for a finer structure than the isomorphism class of $C^*(E)$. △ Less

Submitted 31 July, 2005; originally announced August 2005.

Comments: 33 pages

MSC Class: 46L80; 58B34

C*-algebras of labelled graphs

Authors: Teresa Bates, David Pask

Abstract: We describe a class of $C^*$-algebras which simultaneously generalise the ultragraph algebras of Tomforde and the shift space $C^*$-algebras of Matsumoto. In doing so we shed some new light on the different $C^*$-algebras that may be associated to a shift space. Finally, we show how to associate a simple $C^*$-algebra to an irreducible sofic shift. We describe a class of $C^*$-algebras which simultaneously generalise the ultragraph algebras of Tomforde and the shift space $C^*$-algebras of Matsumoto. In doing so we shed some new light on the different $C^*$-algebras that may be associated to a shift space. Finally, we show how to associate a simple $C^*$-algebra to an irreducible sofic shift. △ Less

Submitted 18 March, 2005; originally announced March 2005.

MSC Class: 46L05; 37B10

A dual graph construction for higher-rank graphs, and $K$-theory for finite 2-graphs

Authors: Stephen Allen, David Pask, Aidan Sims

Abstract: Given a $k$-graph $Λ$ and an element $p$ of $\NN^k$, we define the dual $k$-graph, $pΛ$. We show that when $Λ$ is row-finite and has no sources, the $C^*$-algebras $C^*(Λ)$ and $C^*(pΛ)$ coincide. We use this isomorphism to apply Robertson and Steger's results to calculate the $K$-theory of $C^*(Λ)$ when $Λ$ is finite and strongly connected and satisfies the aperiodicity condition. Given a $k$-graph $Λ$ and an element $p$ of $\NN^k$, we define the dual $k$-graph, $pΛ$. We show that when $Λ$ is row-finite and has no sources, the $C^*$-algebras $C^*(Λ)$ and $C^*(pΛ)$ coincide. We use this isomorphism to apply Robertson and Steger's results to calculate the $K$-theory of $C^*(Λ)$ when $Λ$ is finite and strongly connected and satisfies the aperiodicity condition. △ Less

Submitted 8 February, 2004; originally announced February 2004.

Comments: 9 pages

MSC Class: 46L05

Coverings of k-graphs

Authors: David Pask, John Quigg, Iain Raeburn

Abstract: k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a satisfactory version of the usual topological classification in terms of subgroups of a fundamental group. We then use this classification to describe the C*-algebras o… ▽ More k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a satisfactory version of the usual topological classification in terms of subgroups of a fundamental group. We then use this classification to describe the C*-algebras of covering k-graphs as crossed products by coactions of homogeneous spaces, generalizing recent results on the C*-algebras of graphs. △ Less

Submitted 23 May, 2008; v1 submitted 3 January, 2004; originally announced January 2004.

Comments: Corrected a minor error in the proof of Theorem 7.1

MSC Class: 46L55 (Primary); 05C20; 14H30; 18D99 (Secondary)

Journal ref: J. Algebra 289 (2005), 161-191

Fundamental groupoids of k-graphs

Authors: David Pask, John Quigg, Iain Raeburn

Abstract: k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their f… ▽ More k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids. △ Less

Submitted 3 January, 2004; originally announced January 2004.

Comments: 12 pages

MSC Class: 05C20 (Primary); 18D99 (Secondary)

Some intrinsic properties of simple graph $C^*$-algebras

Authors: David Pask, Seung-Jai Rho

Abstract: To a directed graph $E$ is associated a $C^*$-algebra $C^* (E)$ called a graph $C^*$-algebra. There is a canonical action $γ$ of ${\bf T}$ on $C^* (E)$, called the gauge action. In this paper we present necessary and sufficient conditions for the fixed point algebra $C^* (E)^γ$ to be simple. Our results also yield some structure theorems for simple graph algebras. To a directed graph $E$ is associated a $C^*$-algebra $C^* (E)$ called a graph $C^*$-algebra. There is a canonical action $γ$ of ${\bf T}$ on $C^* (E)$, called the gauge action. In this paper we present necessary and sufficient conditions for the fixed point algebra $C^* (E)^γ$ to be simple. Our results also yield some structure theorems for simple graph algebras. △ Less

Submitted 18 December, 2002; originally announced December 2002.

Comments: 15 pages with one embedded diagram. To appear, Proc. OAMP conference, Constanta, 2001

MSC Class: 46L55

Flow equivalence of graph algebras

Authors: Teresa Bates, David Pask

Abstract: This paper explores the effect of various graphical constructions upon the associated graph $C^*$-algebras. The graphical constructions in question arise naturally in the study of flow equivalence for topological Markov chains. We prove that out-splittings give rise to isomorphic graph algebras, and in-splittings give rise to strongly Morita equivalent $C^*$-algebras. We generalise the notion o… ▽ More This paper explores the effect of various graphical constructions upon the associated graph $C^*$-algebras. The graphical constructions in question arise naturally in the study of flow equivalence for topological Markov chains. We prove that out-splittings give rise to isomorphic graph algebras, and in-splittings give rise to strongly Morita equivalent $C^*$-algebras. We generalise the notion of a delay as defined by Drinen to form in-delays and out-delays. We prove that these constructions give rise to Morita equivalent graph $C^*$-algebras. We provide examples which suggest that our results are the most general possible in the setting of the $C^*$-algebras of arbitrary directed graphs. △ Less

Submitted 18 August, 2003; v1 submitted 18 December, 2002; originally announced December 2002.

Comments: 14 pages with various embedded pictures. Updated version now to appear in Ergodic Theory and Dynamical systems

MSC Class: 46L55

Coverings of Directed Graphs and Crossed Products of C*-algebras by Coactions of Homogeneous Spaces

Authors: Klaus Deicke, David Pask, Iain Raeburn

Abstract: The graph C*-algebra of a directed graph E is the universal C*-algebra generated by a family of partial isometries satisfying relations which reflect the path structure of E. In the first part of this paper we consider coverings of directed graphs: morphisms p:F->E which are local isomorphisms. We show that the graph algebra C*(F) can be recovered from C*(E) as a crossed product by a coaction of… ▽ More The graph C*-algebra of a directed graph E is the universal C*-algebra generated by a family of partial isometries satisfying relations which reflect the path structure of E. In the first part of this paper we consider coverings of directed graphs: morphisms p:F->E which are local isomorphisms. We show that the graph algebra C*(F) can be recovered from C*(E) as a crossed product by a coaction of a homogeneous space associated to the fundamental group π_1 (E). These crossed products provide a good model for a general theory of crossed products by homogeneous spaces. The second part of the paper is devoted to building a framework for studying crossed products by homogeneous spaces using Rieffel's theory of proper actions. △ Less

Submitted 6 January, 2002; originally announced January 2002.

Comments: 15 pages with no figures

MSC Class: 46L55

Actions of ${\mathbb Z}^k$ associated to higher rnak graphs

Authors: Alex Kumjian, David Pask

Abstract: An action of ${\mathbb Z}^k$ is associated to a higher rank graph $Λ$ satisfying a mild assumption. This generalises the construction of a topological Markov shift arising from a nonnegative integer matrix. We show that the stable Ruelle algebra of $Λ$ is strongly Morita equivalent to $C^*(Λ)$. Hence, if $Λ$ satisfies the aperiodicity condition, the stable Ruelle algebra is simple, stable and pu… ▽ More An action of ${\mathbb Z}^k$ is associated to a higher rank graph $Λ$ satisfying a mild assumption. This generalises the construction of a topological Markov shift arising from a nonnegative integer matrix. We show that the stable Ruelle algebra of $Λ$ is strongly Morita equivalent to $C^*(Λ)$. Hence, if $Λ$ satisfies the aperiodicity condition, the stable Ruelle algebra is simple, stable and purely infinite. △ Less

Submitted 18 December, 2002; v1 submitted 5 December, 2001; originally announced December 2001.

Comments: Sixteen pages with no figures. To appear Ergodic Theory and Dynamical Systems

MSC Class: 46L05; 46L55

Higher rank graph C*-algebras

Authors: Alex Kumjian, David Pask

Abstract: Building on recent work of Robertson and Steger, we associate a C*-algebra to a combinatorial object which may be thought of as a higher rank graph. This C*-algebra is shown to be isomorphic to that of the associated path groupoid. Sufficient conditions on the higher rank graph are found for the associated C*-algebra to be simple, purely infinite and AF. Results concerning the structure of cross… ▽ More Building on recent work of Robertson and Steger, we associate a C*-algebra to a combinatorial object which may be thought of as a higher rank graph. This C*-algebra is shown to be isomorphic to that of the associated path groupoid. Sufficient conditions on the higher rank graph are found for the associated C*-algebra to be simple, purely infinite and AF. Results concerning the structure of crossed products by certain natural actions of discrete groups are obtained; a technique for constructing rank 2 graphs from ``commuting'' rank 1 graphs is given. △ Less

Submitted 5 July, 2000; originally announced July 2000.

Comments: 14 pages, see also http://nyjm.albany.edu:8000/j/2000/6-1nf.htm

Report number: UNR Preprint No. 46 MSC Class: 46L05 (primary); 46L55 (secondary)

Journal ref: New York J. Math. 6 (2000), 1-20