BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Iain Raeburn appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
Published work
We show the reduced $C^*$-algebra of a graded ample groupoid is a strongly graded $C^*$-algebra if and only if the corresponding Steinberg algebra is a strongly graded ring. We apply this result to get a theorem about the Leavitt path algebra and $C^*$-algebra of an arbitrary graph.
We consider Fell bundles over discrete groups, and the C*-algebra which is universal for representations of the bundle. We define deformations of Fell bundles, which are new Fell bundles with the same underlying Banach bundle but with the multiplication deformed by a two-cocycle on the group. Every graph algebra can be viewed as the C*-algebra of a Fell bundle, and there are are many cocycles of interest with which to deform them. We thus obtain many of the twisted graph algebras of Kumjian, Pask and Sims. We demonstate the utility of our approach to these twisted graph algebras by proving that the deformations associated to different cocycles can be assembled as the fibres of a C*-bundle.
We consider operator-algebraic dynamical systems given by actions of the real line on unital $C^*$-algebras, and especially the equilibrium states (or KMS states) of such systems. We are particularly interested in systems built from the gauge action on the Toeplitz algebra and graph algebra of a finite directed graph, and we describe a complete classification of the KMS states obtained in joint work with Laca and Sims. We then discuss applications of these results to Cuntz-Pimsner algebras associated to local homeomorphisms, obtained in collaboration with Afsar. Thomsen has given bounds on the range of inverse temperatures at which KMS states may exist. We show that Thomsen's bounds are sharp.
We study the equilibrium or KMS states of the Toeplitz C*-algebra of a finite higher-rank graph which is reducible. The Toeplitz algebra carries a gauge action of a higher-dimensional torus, and a dynamics arises by choosing an embedding of the real numbers in the torus. Here we use an embedding which leads to a dynamics which has previously been identified as "preferred", and we scale the dynamics so that 1 is a critical inverse temperature. As with 1-graphs, we study the strongly connected components of the vertices of the graph. The behaviour of the KMS states depends on both the graphical relationships between the components and the relative size of the spectral radii of the vertex matrices of the components. We test our theorems on graphs with two connected components. We find that our techniques give a complete analysis of the KMS states with inverse temperatures down to a second critical temperature beta_c<1.
Spielberg has recently shown that Baumslag-Solitar groups associated to pairs of positive integers are quasi-lattice ordered in the sense of Nica. Thus they have tractable Toeplitz algebras. Each of these algebras carries a natural dynamics. Here we construct the equilibrium states (the KMS states) for these dynamics. For inverse temperatures larger than a critical value, there is a large simplex of KMS states parametrised by probability measures on the unit circle. At the critical value, and under a mild hypothesis, there is a phase transition in which this simplex collapses to a singleton. There is a further phase transition at infinity, in the sense that there are many ground states which cannot be realised as limits of KMS states with finite inverse temperatures.
We consider a family of Cuntz-Pimsner algebras associated to self-similar group actions, and their Toeplitz analogues. Both families carry natural dynamics implemented by automorphic actions of the real line, and we investigate the equilibrium states (the KMS states) for these dynamical systems. We find that for all inverse temperatures above a critical value, the KMS states on the Toeplitz algebra are given, in a very concrete way, by traces on the full group algebra of the group. At the critical inverse temperature, the KMS states factor through states of the Cuntz-Pimsner algebra; if the self-similar group is contracting, then the Cuntz-Pimsner algebra has only one KMS state. We apply these results to a number of examples, including the self-similar group actions associated to integer dilation matrices, and the canonical self-similar actions of the basilica group and the Grigorchuk group.
For every Hilbert bimodule over a C*-algebra, there are natural gauge actions of the circle on the associated Toeplitz algebra and Cuntz-Pimsner algebra, and hence natural dynamics obtained by lifting these gauge actions to actions of the real line. We study the KMS states of these dynamics for a family of bimodules associated to local homeomorphisms on compact spaces. For inverse temperatures larger than a certain critical value, we find a large simplex of KMS states on the Toeplitz algebra, and we show that all KMS states on the Cuntz-Pimsner algebra have inverse temperature at most this critical value. We illustrate our results by considering the backward shift on the one-sided path space of a finite graph, where we can use recent results about KMS states on graph algebras to see what happens below the critical value. Our results about KMS states on the Cuntz-Pimsner algebra of the shift show that recent constraints on the range of inverse temperatures obtained by Thomsen are sharp.
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.
Several authors have recently been studying the equilibrium or KMS states on the Toeplitz algebras of finite higher-rank graphs. For graphs of rank one (that is, for ordinary directed graphs), there is a natural dynamics obtained by lifting the gauge action of the circle to an action of the real line. The algebras of higher-rank graphs carry a gauge action of a higher-dimensional torus, and there are many potential dynamics arising from different embeddings of the real line in the torus. Previous results show that there is nonetheless a "preferred dynamics" for which the system exhibits a particularly satisfactory phase transition, and that the unique KMS state at the critical inverse temperature can then be implemented by intregrating vector states against a measure on the infinite path space of the graph. Here we obtain a similar description of the KMS state at the critical inverse temperature for other dynamics. Our spatial implementation is given by integrating against a measure on a space of paths which are infinite in some directions but finite in others. Our results are sharpest for the algebras of rank-two graphs.
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.
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 study the groupoid C*-algebras associated to the equivalence relation induced by a quotient map on a locally compact Hausdorff space. This C*-algebra is always a Fell algebra, and if the quotient space is Hausdorff, it is a continuous-trace algebra. We show that the C*-algebra of a locally compact, Hausdorff and principal groupoid is a Fell algebra if and only if the groupoid is one of these relations, extending a theorem of Archbold and Somerset about etale groupoids. The C*-algebras of these relations are, up to Morita equivalence, precisely the Fell algebras with trivial Dixmier-Douady invariant as recently defined by an Huef, Kumjian and Sims. We use twisted groupoid algebras to provide examples of Fell algebras with non-trivial Dixmier-Douady invariant.
Larsen has recently extended Exel's construction of crossed products from single endomorphisms to abelian semigroups of endomorphisms, and here we study two families of her crossed products. First, we look at the natural action of the multiplicative semigroup $\mathbb{N}^\times$ on a compact abelian group $Γ$, and the induced action on $C(Γ)$. We prove a uniqueness theorem for the crossed product, and we find a class of connected compact abelian groups $Γ$ for which the crossed product is purely infinite simple. Second, we consider some natural actions of the additive semigroup $\mathbb{N}^2$ on the UHF cores in 2-graph algebras, as introduced by Yang, and confirm that these actions have properties similar to those of single endomorphisms of the core in Cuntz algebras.
There are many different crossed products by an endomorphism of a C*-algebra, and constructions by Exel and Stacey have proved particularly useful. Here we show that every Exel crossed product is isomorphic to a Stacey crossed product (though by a different endomorphism of a different C*-algebra), that every Stacey crossed product is an Exel crossed product, and answer some questions raised by Ionescu and Muhly. While this manuscript is not yet in its final form(s) several people have already used our results, so we are posting it now.
We introduce higher-rank analogues of the Leavitt path algebras, which we call the Kumjian-Pask algebras. We prove graded and Cuntz-Krieger uniqueness theorems for these algebras, and analyze their ideal structure.
The first imprimitivity theorems identified the representations of groups or dynamical systems which are induced from representations of a subgroup. Symmetric imprimitivity theorems identify pairs of crossed products by different groups which are Morita equivalent, and hence have the same representation theory. Here we consider commuting actions of groups $H$ and $K$ on a $C^*$-algebra which are saturated and proper as defined by Rieffel in 1990. Our main result says that the resulting Morita equivalence of crossed products is natural in the sense that it is compatible with homomorphisms and induction processes.
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.
An integer matrix $A\in M_d(\Z)$ induces a covering $σ_A$ of $\T^d$ and an endomorphism $α_A:f\mapsto f\circ σ_A$ of $C(\T^d)$ for which there is a natural transfer operator $L$. In this paper, we compute the KMS states on the Exel crossed product $C(\T^d)\rtimes_{α_A,L}\N$ and its Toeplitz extension. We find that $C(\T^d)\rtimes_{α_A,L}\N$ has a unique KMS state, which has inverse temperature $β=\log|\det A|$. Its Toeplitz extension, on the other hand, exhibits a phase transition at $β=\log|\det A|$, and for larger $β$ the simplex of KMS$_β$ states is isomorphic to the simplex of probability measures on $\T^d$.
There are many different crossed products by an endomorphism of a C*-algebra, and constructions by Exel and Stacey have proved particularly useful. Here we show that every Exel crossed product is isomorphic to a Stacey crossed product, though by a different endomorphism of a different C*-algebra. We apply this result to a variety of Exel systems, including those associated to shifts on the path spaces of directed graphs.
We study the Toeplitz algebra $\TT(\N\rtimes\N^\times)$ and three quotients of this algebra: the $C^*$-algebra $\qn$ recntly introduced by Cuntz, and two new ones, which we call the additive and multiplicative boundary quotients. These quotients are universal for Nica-covariant representations of $\N\rtimes\N^\times$ satisfying extra relations, and can be realised as partial crossed products. We use the structure theory for partial crossed products to prove a uniqueness theorem for the additive boundary quotient, and use the recent analysis of KMS states on $\TT(\nxnx)$ to describe the KMS states on the two quotients. We then show that $\TT(\nxnx)$, $\qn$ and our new quotients are all interesting new examples for Larsen's theory of Exel crossed products by semigroups.
We survey the results required to pass between full and reduced coactions of locally compact groups on C*-algebras, which say, roughly speaking, that one can always do so without changing the crossed-product C*-algebra. Wherever possible we use definitions and constructions that are well-documented and accessible to non-experts, and otherwise we provide full details. We then give a series of applications to illustrate the use of these techniques. We obtain in particular a new version of Mansfield's imprimitivity theorem for full coactions, and prove that it gives a natural isomorphism between crossed-product functors defined on appropriate categories.
Given an n x n integer matrix A whose eigenvalues are strictly greater than 1 in absolute value, let σ_A be the transformation of the n-torus T^n=R^n/Z^n defined by σ_A(e^{2πix})=e^{2πiAx} for x\in R^n. We study the associated crossed-product C*-algebra, which is defined using a certain transfer operator for σ_A, proving it to be simple and purely infinite and computing its K-theory groups.
We consider a family of dynamical systems (A,alpha,L) in which alpha is an endomorphism of a C*-algebra A and L is a transfer operator for α. We extend Exel's construction of a crossed product to cover non-unital algebras A, and show that the C*-algebra of a locally finite graph can be realised as one of these crossed products. When A is commutative, we find criteria for the simplicity of the crossed product, and analyse the ideal structure of the 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 $\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)$.