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

Aidan Sims

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

ResearcherUnclaimed source record
math.OAmath.RAmath.ATmath.COmath.DSmath.FAmath.KT

Catalog footprint

What is connected

50works
7topics
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

50 published item(s)

preprint2022arXiv

The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Reconstruction of groupoids and C*-rigidity of dynamical systems

We show how to construct a graded locally compact Hausdorff étale groupoid from a C*-algebra carrying a coaction of a discrete group, together with a suitable abelian subalgebra. We call this groupoid the extended Weyl groupoid. When the coaction is trivial and the subalgebra is Cartan, our groupoid agrees with Renault's Weyl groupoid. We prove that if G is a second-countable locally compact étale groupoid carrying a grading of a discrete group, and if the interior of the trivially graded isotropy is abelian and torsion free, then the extended Weyl groupoid of its reduced C*-algebra is isomorphic as a graded groupoid to G. In particular, two such groupoids are isomorphic as graded groupoids if and only if there is an equivariant diagonal-preserving isomorphism of their reduced C*-algebras. We introduce graded equivalence of groupoids, and establish that two graded groupoids in which the trivially graded isotropy has torsion-free abelian interior are graded equivalent if and only if there is an equivariant diagonal-preserving Morita equivalence between their reduced C*-algebras. We use these results to establish rigidity results for a number of classes of dynamical systems, including all actions of the natural numbers by local homeomorphisms of locally compact Hausdorff spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Reconstruction of twisted Steinberg algebras

We show how to recover a discrete twist over an ample Hausdorff groupoid from a pair consisting of an algebra and what we call a quasi-Cartan subalgebra. We identify precisely which twists arise in this way (namely, those that satisfy the local bisection hypothesis), and we prove that the assignment of twisted Steinberg algebras to such twists and our construction of a twist from a quasi-Cartan pair are mutually inverse. We identify the algebraic pairs that correspond to effective groupoids and to principal groupoids. We also indicate the scope of our results by identifying large classes of twists for which the local bisection hypothesis holds automatically.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The groupoids of adaptable separated graphs and their type semigroup

Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an $E^*$-unitary inverse semigroup. As a consequence, the tight groupoid of this semigroup is a Hausdorff étale groupoid. We show that this groupoid is always amenable, and that the type semigroups of groupoids obtained from adaptable separated graphs in this way include all finitely generated conical refinement monoids. The first three named authors will utilize this construction in forthcoming work to solve the Realization Problem for von Neumann regular rings, in the finitely generated case.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Stabilization Theorem for Fell Bundles over groupoids

We study the $C^*$-algebras associated to upper-semicontinuous Fell bundles over second-countable Hausdorff groupoids. Based on ideas going back to the Packer--Raeburn "Stabilization Trick," we construct from each such bundle a groupoid dynamical system whose associated Fell bundle is equivalent to the original bundle. The upshot is that the full and reduced $C^*$-algebras of any saturated upper-semicontinuous Fell bundle are stably isomorphic to the full and reduced crossed products of an associated dynamical system. We apply our results to describe the lattice of ideals of the $C^*$-algebra of a continuous Fell-bundle by applying Renault's results about the ideals of the $C^*$-algebras of groupoid crossed products. In particular, we discuss simplicity of the Fell-bundle $C^*$-algebra of a bundle over $G$ in terms of an action, described by the first and last named authors, of $G$ on the primitive-ideal space of the $C^*$-algebra of the part of the bundle sitting over the unit space. We finish with some applications to twisted $k$-graph algebras, where the components of our results become more concrete.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

AF-embeddability of $2$-graph algebras and quasidiagonality of $k$-graph algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Cartan subalgebras in C*-algebras of Hausdorff etale groupoids

The reduced $C^*$-algebra of the interior of the isotropy in any Hausdorff étale groupoid $G$ embeds as a $C^*$-subalgebra $M$ of the reduced $C^*$-algebra of $G$. We prove that the set of pure states of $M$ with unique extension is dense, and deduce that any representation of the reduced $C^*$-algebra of $G$ that is injective on $M$ is faithful. We prove that there is a conditional expectation from the reduced $C^*$-algebra of $G$ onto $M$ if and only if the interior of the isotropy in $G$ is closed. Using this, we prove that when the interior of the isotropy is abelian and closed, $M$ is a Cartan subalgebra. We prove that for a large class of groupoids $G$ with abelian isotropy---including all Deaconu--Renault groupoids associated to discrete abelian groups---$M$ is a maximal abelian subalgebra. In the specific case of $k$-graph groupoids, we deduce that $M$ is always maximal abelian, but show by example that it is not always Cartan.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Ideals of Steinberg algebras of strongly effective groupoids, with applications to Leavitt path algebras

We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all effective. For such a groupoid, we completely describe the ideal lattice of the associated Steinberg algebra over any commutative ring with identity. Our results are new even for the special case of Leavitt path algebras; so we describe explicitly what they say in this context, and give two concrete examples.

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

Reconstruction of graded groupoids from graded Steinberg algebras

We show how to reconstruct a graded ample Hausdorff groupoid with topologically principal neutrally graded component from the ring structure of its graded Steinberg algebra over any commutative integral domain with 1, together with the embedding of the canonical abelian subring of functions supported on the unit space. We deduce that diagonal-preserving ring isomorphism of Leavitt path algebras implies $C^*$-isomorphism of $C^*$-algebras for graphs $E$ and $F$ in which every cycle has an exit.

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

The extension class and KMS states for Cuntz--Pimsner algebras of some bi-Hilbertian bimodules

For bi-Hilbertian $A$-bimodules, in the sense of Kajiwara--Pinzari--Watatani, we construct a Kasparov module representing the extension class defining the Cuntz--Pimsner algebra. The construction utilises a singular expectation which is defined using the $C^*$-module version of the Jones index for bi-Hilbertian bimodules. The Jones index data also determines a novel quasi-free dynamics and KMS states on these Cuntz--Pimsner algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Toeplitz noncommutative solenoid and its KMS states

We use Katsura's topological graphs to define Toeplitz extensions of Latrémolière and Packer's noncommutative-solenoid C*-algebras. We identify a natural dynamics on each Toeplitz noncommutative solenoid and study the associated KMS states. Our main result shows that the space of extreme points of the KMS simplex of the Toeplitz noncommutative torus at a strictly positive inverse temperature is homeomorphic to a solenoid; indeed, there is an action of the solenoid group on the Toeplitz noncommutative solenoid that induces a free and transitive action on the extreme boundary of the KMS simplex. With the exception of the degenerate case of trivial rotations, at inverse temperature zero there is a unique KMS state, and only this one factors through Latrémolière and Packer's noncommutative solenoid.

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
preprint2015arXiv

Groupoid Fell bundles for product systems over quasi-lattice ordered groups

Consider a product system over the positive cone of a quasi-lattice ordered group. We construct a Fell bundle over an associated groupoid so that the cross-sectional algebra of the bundle is isomorphic to the Nica-Toeplitz algebra of the product system. Under the additional hypothesis that the left actions in the product system are implemented by injective homomorphisms, we show that the cross-sectional algebra of the restriction of the bundle to a natural boundary subgroupoid coincides with the Cuntz-Nica-Pimsner algebra of the product system. We apply these results to improve on existing sufficient conditions for nuclearity of the Nica-Toeplitz algebra and the Cuntz-Nica-Pimsner algebra, and for the Cuntz-Nica-Pimsner algebra to coincide with its co-universal quotient.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

KMS states on generalised Bunce-Deddens algebras and their Toeplitz extensions

We study the generalised Bunce-Deddens algebras and their Toeplitz extensions constructed by Kribs and Solel from a directed graph and a sequence $ω$ of positive integers. We describe both of these $C^*$-algebras in terms of novel universal properties, and prove uniqueness theorems for them; if $ω$ determines an infinite supernatural number, then no aperiodicity hypothesis is needed in our uniqueness theorem for the generalised Bunce-Deddens algebra. We calculate the KMS states for the gauge action in the Toeplitz algebra when the underlying graph is finite. We deduce that the generalised Bunce-Deddens algebra is simple if and only if it supports exactly one KMS state, and this is equivalent to the terms in the sequence $ω$ all being coprime with the period of the underlying graph.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

UCT-Kirchberg algebras have nuclear dimension one

We prove that every Kirchberg algebra in the UCT class has nuclear dimension 1. We first show that Kirchberg 2-graph algebras with trivial $K_0$ and finite $K_1$ have nuclear dimension 1 by adapting a technique developed by Winter and Zacharias for Cuntz algebras. We then prove that every Kirchberg algebra in the UCT class is a direct limit of 2-graph algebras to obtain our main theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

KMS states on the C*-algebra of a higher-rank graph and periodicity in the path space

We study the KMS states of the C*-algebra of a strongly connected finite k-graph. We find that there is only one 1-parameter subgroup of the gauge action that can admit a KMS state. The extreme KMS states for this preferred dynamics are parameterised by the characters of an abelian group that captures the periodicity in the infinite-path space of the graph. We deduce that there is a unique KMS state if and only if the k-graph C*-algebra is simple, giving a complete answer to a question of Yang. When the k-graph C*-algebra is not simple, our results reveal a phase change of an unexpected nature in its Toeplitz extension.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

KMS states on the C*-algebras of reducible graphs

We consider the dynamics on the C*-algebras of finite graphs obtained by lifting the gauge action to an action of the real line. Enomoto, Fujii and Watatani proved that if the vertex matrix of the graph is irreducible, then the dynamics on the graph algebra admits a single KMS state. We have previously studied the dynamics on the Toeplitz algebra, and explicitly described a finite-dimensional simplex of KMS states for inverse temperatures above a critical value. Here we study the KMS states for graphs with reducible vertex matrix, and for inverse temperatures at and below the critical value. We prove a general result which describes all the KMS states at a fixed inverse temperature, and then apply this theorem to a variety of examples. We find that there can be many patterns of phase transition, depending on the behaviour of paths in the underlying graph.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Twisted C*-algebras associated to finitely aligned higher-rank graphs

We introduce twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs and give a comprehensive treatment of their fundamental structural properties. We establish versions of the usual uniqueness theorems and the classification of gauge-invariant ideals. We show that all twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs are nuclear and satisfy the UCT, and that for twists that lift to real-valued cocycles, the K-theory of a twisted relative Cuntz-Krieger algebra is independent of the twist. In the final section, we identify a sufficient condition for simplicity of twisted Cuntz-Krieger algebras associated to higher-rank graphs which are not aperiodic. Our results indicate that this question is significantly more complicated than in the untwisted setting.

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

Equivalent groupoids have Morita equivalent Steinberg algebras

Let $G$ and $H$ be Hausdorff ample groupoids and let $R$ be a commutative unital ring. We show that if $G$ and $H$ are equivalent in the sense of Muhly-Renault-Williams, then the associated Steinberg algebras of locally constant $R$-valued functions with compact support are Morita equivalent. We deduce that collapsing a ``collapsible subgraph" of a directed graph in the sense of Crisp and Gow does not change the Morita-equivalence class of the associated Leavitt path $R$-algebra, and therefore a number of graphical constructions which yield Morita equivalent $C^*$-algebras also yield Morita equivalent Leavitt path algebras.

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

Simplicity of algebras associated to étale groupoids

We prove that the C*-algebra of a second-countable, étale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated complex *-algebra introduced by Steinberg is simple if and only if the interior of the isotropy subgroupoid of G is equal to the unit space and G is minimal.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The primitive ideals of the Cuntz-Krieger algebra of a row-finite higher-rank graph with no sources

We catalogue the primitive ideals of the Cuntz-Krieger algebra of a row-finite higher-rank graph with no sources. Each maximal tail in the vertex set has an abelian periodicity group of finite rank at most that of the graph; the primitive ideals in the Cuntz-Krieger algebra are indexed by pairs consisting of a maximal tail and a character of its periodicity group. The Cuntz-Krieger algebra is primitive if and only if the whole vertex set is a maximal tail and the graph is aperiodic.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A groupoid generalization of Leavitt path algebras

Let G be a locally compact, Hausdorff groupoid in which s is a local homeomorphism and the unit space is totally disconnected. Assume there is a continuous cocycle c from G into a discrete group $Γ$. We show that the collection A(G) of locally-constant, compactly supported functions on G is a dense *-subalgebra of C_c(G) and that it is universal for algebraic representations of the collection of compact open bisections of G. We also show that if G is the groupoid associated to a row-finite graph or k-graph with no sources, then A(G) is isomorphic to the associated Leavitt path algebra or Kumjian-Pask algebra. We prove versions of the Cuntz-Krieger and graded uniqueness theorems for A(G).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Amenability for Fell bundles over groupoids

We establish conditions under which the universal and reduced norms coincide for a Fell bundle over a groupoid. Specifically, we prove that the full and reduced C*-algebras of any Fell bundle over a measurewise amenable groupoid coincide, and also that for a groupoid G whose orbit space is T_0, the full and reduced algebras of a Fell bundle over G coincide if the full and reduced algebras of the restriction of the bundle to each isotropy group coincide.

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

KMS states on $C^*$-algebras associated to higher-rank graphs

Consider a higher-rank graph of rank k. Both the Cuntz-Krieger algebra and the Toeplitz-Cuntz-Krieger algebra of the graph carry natural gauge actions of the torus T^k, and restricting these gauge actions to one-parameter subgroups of T^k gives dynamical systems involving actions of the real line. We study the KMS states of these dynamical systems. We find that for large inverse temperatures β, the simplex of KMS_βstates on the Toeplitz-Cuntz-Krieger algebra has dimension d one less than the number of vertices in the graph. We also show that there is a preferred dynamics for which there is a critical inverse temperature β_c: for βlarger than β_c, there is a d-dimensional simplex of KMS states; when β=β_c and the one-parameter subgroup is dense, there is a unique KMS state, and this state factors through the Cuntz-Krieger algebra. As in previous studies for k=1, our main tool is the Perron-Frobenius theory for irreducible nonnegative matrices, though here we need a version of the theory for commuting families of matrices.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

KMS states on the C*-algebras of finite graphs

We consider a finite directed graph E, and the gauge action on its Toeplitz-Cuntz-Krieger algebra, viewed as an action of R. For inverse temperatures larger than a critical value β_c, we give an explicit construction of all the KMS_β states. If the graph is strongly connected, then there is a unique KMS_{β_c} state, and this state factors through the quotient map onto the C*-algebra C*(E) of the graph. Our approach is direct and relatively elementary.

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
preprint2012arXiv

Topological realizations and fundamental groups of higher-rank graphs

We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Uniqueness theorems for topological higher-rank graph C*-algebras

We consider the boundary-path groupoids of topological higher-rank graphs. We show that the all such groupoids are topologically amenable. We deduce that the C*-algebras of topological higher-rank graphs are nuclear and prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem. We then provide a necessary and sufficient condition for simplicity of a topological higher-rank graph C*-algebra, and a condition under which it is also purely infinite.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Dixmier-Douady classification for Fell algebras

We generalise the Dixmier-Douady classification of continuous-trace C*-algebras to Fell algebras. To do so, we show that C*-diagonals in Fell algebras are precisely abelian subalgebras with the extension property, and use this to prove that every Fell algebra is Morita equivalent to one containing a diagonal subalgebra. We then use the machinery of twisted groupoid C*-algebras and equivariant sheaf cohomology to define the Dixmier-Douady invariant of a Fell algebra A, and to prove our classification theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

An equivalence theorem for reduced Fell bundle C*-algebras

We show that if E is an equivalence of upper semicontinuous Fell bundles B and C over groupoids, then there is a linking bundle L(E) over the linking groupoid L such that the full cross-sectional algebra of L(E) contains those of B and C as complementary full corners, and likewise for reduced cross-sectional algebras. We show how our results generalise to groupoid crossed-products the fact, proved by Quigg and Spielberg, that Raeburn's symmetric imprimitivity theorem passes through the quotient map to reduced crossed products.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Co-universal C*-algebras associated to aperiodic k-graphs

We construct a representation of each finitely aligned aperiodic k-graph Λ on the Hilbert space H^{ap} with basis indexed by aperiodic boundary paths in Λ. We show that the canonical expectation on B(H^{ap}) restricts to an expectation of the image of this representation onto the subalgebra spanned by the final projections of the generating partial isometries. We then show that every quotient of the Toeplitz algebra of the k-graph admits an expectation compatible with this one. Using this, we prove that the image of our representation, which is canonically isomorphic to the Cuntz-Krieger algebra, is co-universal for Toeplitz-Cuntz-Krieger families consisting of nonzero partial isometries.

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
preprint2011arXiv

On some fundamental results about higher-rank graphs and their C*-algebras

Results of Fowler and Sims show that every k-graph is completely determined by its k-coloured skeleton and collection of commuting squares. Here we give an explicit description of the k-graph associated to a given skeleton and collection of squares and show that two k-graphs are isomorphic if and only if there is an isomorphism of their skeletons which preserves commuting squares. We use this to prove directly that each k-graph Λ is isomorphic to the quotient of the path category of its skeleton by the equivalence relation determined by the commuting squares, and show that this extends to a homeomorphism of infinite-path spaces when the k-graph is row finite with no sources. We conclude with a short direct proof of the characterisation, originally due to Robertson and Sims, of simplicity of the C*-algebra of a row-finite k-graph with no sources.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Co-universal C*-algebras associated to generalised graphs

We introduce P-graphs, which are generalisations of directed graphs in which paths have a degree in a semigroup P rather than a length in N. We focus on semigroups P arising as part of a quasi-lattice ordered group (G,P) in the sense of Nica, and on P-graphs which are finitely aligned in the sense of Raeburn and Sims. We show that each finitely aligned P-graph admits a C*-algebra C*_{min}(Lambda) which is co-universal for partial-isometric representations of Lambda which admit a coaction of G compatible with the P-valued length function. We also characterise when a homomorphism induced by the co-universal property is injective. Our results combined with those of Spielberg show that every Kirchberg algebra is Morita equivalent C*_{min}(Lambda) for some (N^2 * N)-graph Lambda.

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 C*-algebras associated to row-finite locally convex higher-rank graphs

In previous work, the authors showed that the C*-algebra C*(Λ) of a row-finite higher-rank graph Λwith no sources is simple if and only if Λis both cofinal and aperiodic. In this paper, we generalise this result to row-finite higher-rank graphs which are locally convex (but may contain sources). Our main tool is Farthing's "removing sources" construction which embeds a row-finite locally convex higher-rank graph in a row-finite higher-rank graph with no sources in such a way that the associated C*-algebras are Morita equivalent.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Aperiodicity and cofinality for finitely aligned higher-rank graphs

We introduce new formulations of aperiodicity and cofinality for finitely aligned higher-rank graphs Λ, and prove that C*(Λ) is simple if and only if Λis aperiodic and cofinal. The main advantage of our versions of aperiodicity and cofinality over existing ones is that ours are stated in terms of finite paths. To prove our main result, we first characterise each of aperiodicity and cofinality of Λin terms of the ideal structure of C*(Λ). In an appendix we show how our new cofinality condition simplifies in a number of special cases which have been treated previously in the literature; even in these settings, our results are new.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems

Let X be a product system over a quasi-lattice ordered group. Under mild hypotheses, we associate to X a C*-algebra which is co-universal for injective Nica covariant Toeplitz representations of X which preserve the gauge coaction. Under appropriate amenability criteria, this co-universal C*-algebra coincides with the Cuntz-Nica-Pimsner algebra introduced by Sims and Yeend. We prove two key uniqueness theorems, and indicate how to use our theorems to realise a number of reduced crossed products as instances of our co-universal algebras. In each case, it is an easy corollary that the Cuntz-Nica-Pimsner algebra is isomorphic to the corresponding full crossed product.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Product systems of graphs and the Toeplitz algebras of higher-rank graphs

There has recently been much interest in the $C^*$-algebras of directed graphs. Here we consider product systems $E$ of directed graphs over semigroups and associated $C^*$-algebras $C^*(E)$ and $\mathcal{T}C^*(E)$ which generalise the higher-rank graph algebras of Kumjian-Pask and their Toeplitz analogues. We study these algebras by constructing from $E$ a product system $X(E)$ of Hilbert bimodules, and applying recent results of Fowler about the Toeplitz algebras of such systems. Fowler's hypotheses turn out to be very interesting graph-theoretically, and indicate new relations which will have to be added to the usual Cuntz-Krieger relations to obtain a satisfactory theory of Cuntz-Krieger algebras for product systems of graphs; our algebras $C^*(E)$ and $\mathcal{T}C^*(E)$ are universal for families of partial isometries satisfying these relations. Our main result is a uniqueness theorem for $\mathcal{T}C^*(E)$ which has particularly interesting implications for the $C^*$-algebras of non-row-finite higher-rank graphs. This theorem is apparently beyond the reach of Fowler's theory, and our proof requires a detailed analysis of the expectation onto the diagonal in $\mathcal{T}C^*(E)$.

0 citations0 reviewsNo code linkedOpen access