No Arabic abstract
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 study purely atomic representations of C*-algebras associated to row-finite and source-free higher-rank graphs. We describe when purely atomic representations are unitarily equivalent and we give necessary and sufficient conditions for a purely atomic representation to be irreducible in terms of the associated projection valued measure. We also investigate the relationship between purely atomic representations, monic representations and permutative representations, and we describe when a purely atomic representation admits a decomposition consisting of permutative representations.
A higher rank numerical semigroup is a positive cone whose seminormalization is isomorphic to the free abelian semigroup. The corresponding nonselfadjoint semigroup algebras are known to provide examples that answer Arvesons Dilation Problem to the negative. Here we show that these algebras share the polydisc as the character space in a canonical way. We subsequently use this feature in order to identify higher rank numerical semigroups from the corresponding nonselfadjoint algebras.
We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also determine exactly which finite, locally convex k-graphs yield unital stably finite C*-algebras. We give several examples to illustrate our results.
In this paper, we discuss a method of constructing separable representations of the $C^*$-algebras associated to strongly connected row-finite $k$-graphs $Lambda$. We begin by giving an alternative characterization of the $Lambda$-semibranching function systems introduced in an earlier paper, with an eye towards constructing such representations that are faithful. Our new characterization allows us to more easily check that examples satisfy certain necessary and sufficient conditions. We present a variety of new examples relying on this characterization. We then use some of these methods and a direct limit procedure to construct a faithful separable representation for any row-finite source-free $k$-graph.
Let $A$ be a unital $C^*$-algebra and let $U_0(A)$ be the group of unitaries of $A$ which are path connected to the identity. Denote by $CU(A)$ the closure of the commutator subgroup of $U_0(A).$ Let $i_A^{(1, n)}colon U_0(A)/CU(A)rightarrow U_0(mathrm M_n(A))/CU(mathrm M_n(A))$ be the hm, defined by sending $u$ to ${rm diag}(u,1_n).$ We study the problem when the map $i_A^{(1,n)}$ is an isomorphism for all $n.$ We show that it is always surjective and is injective when $A$ has stable rank one. It is also injective when $A$ is a unital $C^*$-algebra of real rank zero, or $A$ has no tracial state. We prove that the map is an isomorphism when $A$ is the Villadsens simple AH--algebra of stable rank $k>1.$ We also prove that the map is an isomorphism for all Blackadars unital projectionless separable simple $C^*$-algebras. Let $A=mathrm M_n(C(X)),$ where $X$ is any compact metric space. It is noted that the map $i_A^{(1, n)}$ is an isomorphism for all $n.$ As a consequence, the map $i_A^{(1, n)}$ is always an isomorphism for any unital $C^*$-algebra $A$ that is an inductive limit of finite direct sum of $C^*$-algebras of the form $mathrm M_n(C(X))$ as above. Nevertheless we show that there are unital $C^*$-algebras $A$ such that $i_A^{(1,2)}$ is not an isomorphism.