BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show that every nuclear O∞-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, O∞-stable C*-algebras have nuclear dimension 1. We also characterise when O∞-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full O2-stable *-homomorphisms have nuclear dimension 0.
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.
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.
Let E be a countable directed graph that is amplified in the sense that whenever there is an edge from v to w, there are infinitely many edges from v to w. We show that E can be recovered from C∗(E) together with its canonical gauge-action, and also from LK(E) together with its canonical grading.
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.
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.
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.
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.
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.
From a suitable groupoid G, we show how to construct an amenable principal groupoid whose C*-algebra is a Kirchberg algebra which is KK-equivalent to C*(G). Using this construction, we show by example that many UCT Kirchberg algebras can be realised as the C*-algebras of amenable principal groupoids.
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.
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.
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.
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.
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.
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.
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.
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.
Consider the Deaconu-Renault groupoid of an action of a finitely generated free abelian monoid by local homeomorphisms of a locally compact Hausdorff space. We catalogue the primitive ideals of the associated groupoid C*-algebra. For a special class of actions we describe the Jacobson topology.
We prove that every Kirchberg algebra in the UCT class has nuclear dimension 1. We first show that Kirchberg 2-graph algebras with trivial K0 and finite K1 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.
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.
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.
Consider a graph C*-algebra C*(E) with a purely infinite ideal I (possibly all of C*(E)) such that I has only finitely many ideals and C*(E)/I is approximately finite dimensional. We prove that the nuclear dimension of C*(E) is 1. If I has infinitely many ideals, then the nuclear dimension of C*(E) is either 1 or 2.
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.
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.
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.
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.
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.
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.
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).
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
We prove directly that if E is a directed graph in which every cycle has an entrance, then there exists a C*-algebra which is co-universal for Toeplitz-Cuntz-Krieger E-families. In particular, our proof does not invoke ideal-structure theory for graph algebras, nor does it involve use of the gauge action or its fixed point algebra.
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.
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.
We use the technology of linking groupoids to show that equivalent groupoids have Morita equivalent reduced C*-algebras. This equivalence is compatible in a natural way in with the Equivalence Theorem for full groupoid C*-algebras.
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.
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.
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.
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 TC∗(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 TC∗(E) are universal for families of partial isometries satisfying these relations. Our main result is a uniqueness theorem for TC∗(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 TC∗(E).
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.