BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

David Pask

David Pask appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OAmath.FAmath.ATmath.DSmath.CO

Catalog footprint

What is connected

19works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2020arXiv

Computing the fundamental group of a higher-rank graph

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Moves on $k$-graphs preserving Morita equivalence

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Real rank and topological dimension of higher rank graph algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Topological spaces associated to higher-rank graphs

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Crossed products and twisted $k$-graph algebras

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

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Twisted k-graph algebras associated to Bratteli diagrams

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On twisted higher-rank graph C*-algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Generalised morphisms of k-graphs: k-morphs

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Simplicity of 2-graph algebras associated to Dynamical Systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Reducibility of Covers of AFT shifts

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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Flow equivalence of graph algebras

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.

0 citations0 reviewsNo code linkedOpen access