Searcharxiv⌕ Search

arXiv subjects

Aidan Sims

Publications and source records attributed to Aidan Sims.

At least 73 records · Page 4Linked to original sources

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.

math.OA↗

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.

math.OA↗

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.

math.OA↗

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.

math.OA↗

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.

math.OA↗

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.

math.OA↗

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.

math.KT↗

Purely infinite simple C*-algebras that are principal groupoid C*-algebras

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.

math.OA↗

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.

math.RA↗

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.

math.OA↗

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.

math.OA↗

von Neuman algebras of strongly connected higher-rank graphs

We investigate the factor types of the extremal KMS states for the preferred dynamics on the Toeplitz algebra and the Cuntz--Krieger algebra of a strongly connected finite $k$-graph. For inverse temperatures above 1, all of the extremal KMS states are of type I$_\infty$. At inverse temperature 1, there is a dichotomy: if the $k$-graph is a simple $k$-dimensional cycle, we obtain a finite type I factor; otherwise we obtain a type III factor, whose Connes invariant we compute in terms of the spectral radii of the coordinate matrices and the degrees of cycles in the graph.

math.OA↗

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.

math.OA↗

The primitive ideals of some étale groupoid C*-algebras

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.

math.OA↗

The nuclear dimension of graph C*-algebras

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.

math.OA↗

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.

math.OA↗

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.

math.OA↗

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.

math.OA↗