Showing 101–119 of 119 results for author: Sims, A

C*-algebras associated to product systems of Hilbert bimodules

Authors: Aidan Sims, Trent Yeend

Abstract: Let (G,P) be a quasi-lattice ordered group and let X be a compactly aligned product system over P of Hilbert bimodules. Under mild hypotheses we associate to X a C*-algebra which we call the Cuntz-Nica-Pimsner algebra of X. Our construction generalises a number of others: a sub-class of Fowler's Cuntz-Pimsner algebras for product systems of Hilbert bimodules; Katsura's formulation of Cuntz-Pimsn… ▽ More Let (G,P) be a quasi-lattice ordered group and let X be a compactly aligned product system over P of Hilbert bimodules. Under mild hypotheses we associate to X a C*-algebra which we call the Cuntz-Nica-Pimsner algebra of X. Our construction generalises a number of others: a sub-class of Fowler's Cuntz-Pimsner algebras for product systems of Hilbert bimodules; Katsura's formulation of Cuntz-Pimsner algebras of Hilbert bimodules; the C*-algebras of finitely aligned higher-rank graphs; and Crisp and Laca's boundary quotients of Toeplitz algebras. We show that for a large class of product systems X, the universal representation of X in its Cuntz-Nica-Pimsner algebra is isometric. △ Less

Submitted 7 January, 2009; v1 submitted 18 December, 2007; originally announced December 2007.

Comments: 24 pages. v2: material has been rearranged so that the algebra NO_X is defined only under hypotheses which ensure that the universal representation is injective. The substance of the results is unchanged. v3: minor revisions; this version to appear in J. Operator Theory

MSC Class: 46L05

Generalised morphisms of k-graphs: k-morphs

Authors: Alex Kumjian, David Pask, Aidan Sims

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

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

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

MSC Class: 46L05

Simplicity of C*-algebras associated to row-finite locally convex higher-rank graphs

Authors: David I. Robertson, Aidan Sims

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

Submitted 12 January, 2010; v1 submitted 1 August, 2007; originally announced August 2007.

Comments: 18 pages, 1 figure, figure drawn using Tikz/PGF. Version 2: the hypothesis "with no sources" has been removed from Theorem 3.4; it appeared there in error since the main point of the theorem is that it applies in the absence of this hypothesis (cf Theorem 3.1 of arXiv:math/0602120)

MSC Class: 46L05 (Primary); 05C99 (Secondary)

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

Authors: Cynthia Farthing, David Pask, Aidan Sims

Abstract: An action of Z^l by automorphisms of a k-graph induces an action of Z^l by automorphisms of the corresponding k-graph C*-algebra. We show how to construct a (k+l)-graph whose C*-algebra coincides with the crossed product of the original k-graph algebra by Z^l. We then investigate the structure of the crossed-product C*-algebra. An action of Z^l by automorphisms of a k-graph induces an action of Z^l by automorphisms of the corresponding k-graph C*-algebra. We show how to construct a (k+l)-graph whose C*-algebra coincides with the crossed product of the original k-graph algebra by Z^l. We then investigate the structure of the crossed-product C*-algebra. △ Less

Submitted 24 June, 2007; originally announced June 2007.

Comments: 27 pages. Pictures drawn using pgf

MSC Class: 46L05

Coverings of skew-products and crossed products by coactions

Authors: David Pask, John Quigg, Aidan Sims

Abstract: Consider a projective limit G of finite groups G_n. Fix a compatible family δ^n of coactions of the G_n on a C*-algebra A. From this data we obtain a coaction δof G on A. We show that the coaction crossed product of A by δis isomorphic to a direct limit of the coaction crossed products of A by the δ^n. If A = C*(Λ) for some k-graph Λ, and if the coactions δ^n correspond to skew-products of Λ,… ▽ More Consider a projective limit G of finite groups G_n. Fix a compatible family δ^n of coactions of the G_n on a C*-algebra A. From this data we obtain a coaction δof G on A. We show that the coaction crossed product of A by δis isomorphic to a direct limit of the coaction crossed products of A by the δ^n. If A = C*(Λ) for some k-graph Λ, and if the coactions δ^n correspond to skew-products of Λ, then we can say more. We prove that the coaction crossed-product of C*(Λ) by δmay be realised as a full corner of the C*-algebra of a (k+1)-graph. We then explore connections with Yeend's topological higher-rank graphs and their C*-algebras. △ Less

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

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

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

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

Authors: David Pask, Adam Rennie, Aidan Sims

Abstract: In previous papers, we constructed smooth (1,\infty)-summable semfinite spectral triples for graph algebras with a faithful trace, and (k,\infty)-summable semifinite spectral triples for k-graph algebras. In this paper we identify classes of graphs and k-graphs which satisfy a version of Connes' conditions for noncommutative manifolds. In previous papers, we constructed smooth (1,\infty)-summable semfinite spectral triples for graph algebras with a faithful trace, and (k,\infty)-summable semifinite spectral triples for k-graph algebras. In this paper we identify classes of graphs and k-graphs which satisfy a version of Connes' conditions for noncommutative manifolds. △ Less

Submitted 18 January, 2007; originally announced January 2007.

Comments: 29 pages, 1 figure, uses picTeX

MSC Class: 46L87

C*-algebras associated to coverings of k-graphs

Authors: Alex Kumjian, David Pask, Aidan Sims

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

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

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

MSC Class: 46L05

Ultragraph C*-algebras via topological quivers

Authors: Takeshi Katsura, Paul S. Muhly, Aidan Sims, Mark Tomforde

Abstract: Given an ultragraph in the sense of Tomforde, we construct a topological quiver in the sense of Muhly and Tomforde in such a way that the universal C*-algebras associated to the two objects coincide. We apply results of Muhly and Tomforde for topological quiver algebras and of Katsura for topological graph C*-algebras to study the K-theory and gauge-invariant ideal structure of ultragraph C*-alg… ▽ More Given an ultragraph in the sense of Tomforde, we construct a topological quiver in the sense of Muhly and Tomforde in such a way that the universal C*-algebras associated to the two objects coincide. We apply results of Muhly and Tomforde for topological quiver algebras and of Katsura for topological graph C*-algebras to study the K-theory and gauge-invariant ideal structure of ultragraph C*-algebras. △ Less

Submitted 25 April, 2008; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 20 pages, Version 2 Comments: final version to appear in Studia Math

MSC Class: 46L05

Simplicity of C*-algebras associated to higher-rank graphs

Authors: David I. Robertson, Aidan Sims

Abstract: We prove that if Λis a row-finite k-graph with no sources, then the associated C^*-algebra is simple if and only if Λis cofinal and satisfies Kumjian and Pask's Condition (A). We prove that Condition (A) is equivalent to a suitably modified version of Robertson and Steger's original nonperiodicity condition (H3) which in particular involves only finite paths. We also characterise both cofinality… ▽ More We prove that if Λis a row-finite k-graph with no sources, then the associated C^*-algebra is simple if and only if Λis cofinal and satisfies Kumjian and Pask's Condition (A). We prove that Condition (A) is equivalent to a suitably modified version of Robertson and Steger's original nonperiodicity condition (H3) which in particular involves only finite paths. We also characterise both cofinality and aperiodicity of Λin terms of ideals in C^*(Λ). △ Less

Submitted 12 December, 2007; v1 submitted 7 February, 2006; originally announced February 2006.

Comments: 9 pages, 1 figure. Numbering of environments and enumeration style changed to match published version. Author contact details updated

MSC Class: 46L05

Journal ref: D.I. Robertson and A. Sims, 'Simplicity of C*-algebras associated to higher-rank graphs,' Bull. London Math. Soc., 39 (2007), no. 2, 337--344

The Noncommutative Geometry of k-graph C*-Algebras

Authors: David Pask, Adam Rennie, Aidan Sims

Abstract: This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful gauge invariant traces, where the gauge action of $\T^k$ is the canonical one. We give a sufficient condition for the existence of such a trace, identify the C*-algebras of k-graphs satisfying this condition up to Morita equivalence, and compute their K-theory. For k-graphs with faithful gauge i… ▽ More This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful gauge invariant traces, where the gauge action of $\T^k$ is the canonical one. We give a sufficient condition for the existence of such a trace, identify the C*-algebras of k-graphs satisfying this condition up to Morita equivalence, and compute their K-theory. For k-graphs with faithful gauge invariant trace, we construct a smooth $(k,\infty)$-summable semifinite spectral triple. We use the semifinite local index theorem to compute the pairing with K-theory. This numerical pairing can be obtained by applying the trace to a KK-pairing with values in the K-theory of the fixed point algebra of the $\T^k$ action. As with graph algebras, the index pairing is an invariant for a finer structure than the isomorphism class of the algebra. △ Less

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

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

MSC Class: 46L05

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

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

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

Submitted 12 December, 2005; originally announced December 2005.

Comments: 41 pages, uses pictex for figures

MSC Class: 46L05

Gauge-invariant ideals in the C*-algebras of finitely aligned higher-rank graphs

Authors: Aidan Sims

Abstract: We produce a complete descrption of the lattice of gauge-invariant ideals in $C^*(Λ)$ for a finitely aligned $k$-graph $Λ$. We provide a condition on $Λ$ under which every ideal is gauge-invariant. We give conditions on $Λ$ under which $C^*(Λ)$ satisfies the hypotheses of the Kirchberg-Phillips classification theorem. We produce a complete descrption of the lattice of gauge-invariant ideals in $C^*(Λ)$ for a finitely aligned $k$-graph $Λ$. We provide a condition on $Λ$ under which every ideal is gauge-invariant. We give conditions on $Λ$ under which $C^*(Λ)$ satisfies the hypotheses of the Kirchberg-Phillips classification theorem. △ Less

Submitted 15 August, 2004; v1 submitted 29 June, 2004; originally announced June 2004.

Comments: 19 pages. Additional references added in Section 8. Title of Section 6 changed from "The lattice structure" to "The lattice order"

MSC Class: 46L05

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

Authors: Stephen Allen, David Pask, Aidan Sims

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

Submitted 8 February, 2004; originally announced February 2004.

Comments: 9 pages

MSC Class: 46L05

Relative Cuntz-Krieger algebras of finitely aligned higher-rank graphs

Authors: Aidan Sims

Abstract: We define the relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs. We prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for relative Cuntz-Krieger algebras. We define the relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs. We prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for relative Cuntz-Krieger algebras. △ Less

Submitted 8 December, 2003; originally announced December 2003.

Comments: 16 pages

MSC Class: 46L05 (Primary)

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

Authors: Iain Raeburn, Aidan Sims

Abstract: 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 bimod… ▽ More 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)$. △ Less

Submitted 26 May, 2003; originally announced May 2003.

MSC Class: 46L05

The $C^*$-algebras of finitely aligned higher-rank graphs

Authors: Iain Raeburn, Aidan Sims, Trent Yeend

Abstract: We generalise the theory of Cuntz-Krieger families and graph algebras to the class of finitely aligned $k$-graphs. This class contains in particular all row-finite $k$-graphs. The Cuntz-Krieger relations for non-row-finite $k$-graphs look significantly different from the usual ones, and this substantially complicates the analysis of the graph algebra. We prove a gauge-invariant uniqueness theore… ▽ More We generalise the theory of Cuntz-Krieger families and graph algebras to the class of finitely aligned $k$-graphs. This class contains in particular all row-finite $k$-graphs. The Cuntz-Krieger relations for non-row-finite $k$-graphs look significantly different from the usual ones, and this substantially complicates the analysis of the graph algebra. We prove a gauge-invariant uniqueness theorem and a Cuntz-Krieger uniqueness theorem for the $C^*$-algebras of finitely aligned $k$-graphs. △ Less

Submitted 26 May, 2003; originally announced May 2003.

Comments: 27 pages

MSC Class: 46L05

Compton Scattering from the Deuteron and Extracted Neutron Polarizabilities

Authors: M. Lundin, J. -O. Adler, M. Boland, K. Fissum, T. Glebe, K. Hansen, L. Isaksson, O. Kaltschmidt, M. Karlsson, K. Kossert, M. I. Levchuk, P. Lilja, B. Lindner, A. I. L'vov, B. Nilsson, D. E. Oner, C. Poech, S. Proff, A. Sandell, B. Schröder, M. Schumacher, D. A. Sims

Abstract: Differential cross sections for Compton scattering from the deuteron were measured at MAX-lab for incident photon energies of 55 MeV and 66 MeV at nominal laboratory angles of $45^\circ$, $125^\circ$, and $135^\circ$. Tagged photons were scattered from liquid deuterium and detected in three NaI spectrometers. By comparing the data with theoretical calculations in the framework of a one-boson-exc… ▽ More Differential cross sections for Compton scattering from the deuteron were measured at MAX-lab for incident photon energies of 55 MeV and 66 MeV at nominal laboratory angles of $45^\circ$, $125^\circ$, and $135^\circ$. Tagged photons were scattered from liquid deuterium and detected in three NaI spectrometers. By comparing the data with theoretical calculations in the framework of a one-boson-exchange potential model, the sum and difference of the isospin-averaged nucleon polarizabilities, $α_N + β_N = 17.4 \pm 3.7$ and $α_N - β_N = 6.4 \pm 2.4$ (in units of $10^{-4}$ fm$^3$), have been determined. By combining the latter with the global-averaged value for $α_p - β_p$ and using the predictions of the Baldin sum rule for the sum of the nucleon polarizabilities, we have obtained values for the neutron electric and magnetic polarizabilities of $α_n= 8.8 \pm 2.4$(total) $\pm 3.0$(model) and $β_n = 6.5 \mp 2.4$(total) $\mp 3.0$(model), respectively. △ Less

Submitted 13 June, 2003; v1 submitted 27 April, 2002; originally announced April 2002.

Comments: 4 pages, 2 figures, revtex. The text is substantially revised. The cross sections are slightly different due to improvements in the analysis

Journal ref: Phys.Rev.Lett.90:192501,2003

Higher-rank graphs and their C*-algebras

Authors: Iain Raeburn, Aidan Sims, Trent Yeend

Abstract: We consider the higher-rank graphs introduced by Kumjian and Pask as models for higher-rank Cuntz-Krieger algebras. We describe a variant of the Cuntz-Krieger relations which applies to graphs with sources, and describe a local convexity condition which characterises the higher-rank graphs that admit a nontrivial Cuntz-Krieger family. We then prove versions of the uniqueness theorems and classif… ▽ More We consider the higher-rank graphs introduced by Kumjian and Pask as models for higher-rank Cuntz-Krieger algebras. We describe a variant of the Cuntz-Krieger relations which applies to graphs with sources, and describe a local convexity condition which characterises the higher-rank graphs that admit a nontrivial Cuntz-Krieger family. We then prove versions of the uniqueness theorems and classifications of ideals for the C*-algebras generated by Cuntz-Krieger families. △ Less

Submitted 30 July, 2001; originally announced July 2001.

MSC Class: 46L05

SATEN: An Object-Oriented Web-Based Revision and Extraction Engine

Authors: Mary-Anne Williams, Aidan Sims

Abstract: SATEN is an object-oriented web-based extraction and belief revision engine. It runs on any computer via a Java 1.1 enabled browser such as Netscape 4. SATEN performs belief revision based on the AGM approach. The extraction and belief revision reasoning engines operate on a user specified ranking of information. One of the features of SATEN is that it can be used to integrate mutually inconsist… ▽ More SATEN is an object-oriented web-based extraction and belief revision engine. It runs on any computer via a Java 1.1 enabled browser such as Netscape 4. SATEN performs belief revision based on the AGM approach. The extraction and belief revision reasoning engines operate on a user specified ranking of information. One of the features of SATEN is that it can be used to integrate mutually inconsistent commensuate rankings into a consistent ranking. △ Less

Submitted 13 March, 2000; originally announced March 2000.

Comments: The implementation of SATEN can be found at http://cafe.newcastle.edu.au/saten

ACM Class: I.2.3