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.
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.
For a row-finite higher-rank graph Λ, we construct a higher-rank graph TΛ such that the Toeplitz algebra of Λ is isomorphic to the Cuntz-Krieger algebra of TΛ. We then prove that the higher-rank graph TΛ is always aperiodic and use this fact to give another proof of a uniqueness theorem for the Toeplitz algebras of higher-rank graphs.
We study the general and connected stable ranks for C*-algebras. We estimate these ranks for pullbacks of C*-algebras, and for tensor products by commutative C*-algebras. Finally, we apply these results to determine these ranks for certain commutative C*-algebras, and non-commutative CW-complexes.
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.
We study the general and connected stable ranks for $C^{\ast}$-algebras. We estimate these ranks for certain $C(X)$-algebras, and use that to do the same for certain group $C^{\ast}$-algebras. Furthermore, we also give estimates for the ranks of crossed product $C^{\ast}$-algebras by finite group actions with the Rokhlin property.
It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing that the class of all separable unital C*-algebras of real rank zero concides with the class of quotients of a certain separable unital C*-algebra of real-rank zero.
We introduce the notion of a topological higher-rank graph, a unified generalization of the higher-rank graph and the topological graph. Using groupoid techniques, we define the Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs, and show that the $C^*$-algebras defined are coherent with the existing theory.
Suppose that $A,B$ are nuclear, separable ${\rm C}^*$-algebras of stable rank one and real rank zero, $A$ is unital simple, $B$ is stable and $({\rm K}_0(B),{\rm K}_0^+(B))$ is weakly unperforated in the sense of Elliott \cite{Ell}. We show that any unital extension with trivial index maps of $A$ by $B$ is absorbing.
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.
In this paper, a classification is given of real rank zero $C^*$-algebras that can be expressed as inductive limits of a sequence of a subclass of Elliott-Thomsen algebras $\mathcal{C}$.
We introduce a class of recursive subhomogeneous algebras that we call diagonal subhomogeneous and we give a notion of diagonal maps between these algebras. We show that any simple limit of diagonal subhomogeneous algebras with diagonal maps has stable rank one. As an application we show that for any minimal homeomorphism of a compact Hausdorff space the associated crossed product has stable rank one.
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 introduce a concept of the bounded rank (with respect to a positive constant) for unital C*-algebras as a modification of the usual real rank and present a series of conditions insuring that bounded and real ranks coincide. These observations are then used to prove that for a given $n$ and $K > 0$ there exists a separable unital C*-algebra $Z_{n}^{K}$ such that every other separable unital C*-algebra of bounded rank with respect to $K$ at most $n$ is a quotient of $Z_{n}^{K}$.
Let $A$ be a separable, unital, simple C*-algebra with stable rank one. We show that every strictly positive, lower semicontinuous, affine function on the simplex of normalized quasitraces of $A$ is realized as the rank of an operator in the stabilization of $A$. Assuming moreover that $A$ has locally finite nuclear dimension, we deduce that $A$ is $\mathcal{Z}$-stable if and only if it has strict comparison of positive elements. In particular, the Toms-Winter conjecture holds for separable, unital, simple, approximately subhomogeneous C*-algebras with stable rank one.
We show that every separable C*-algebra of real rank zero that tensorially absorbs the Jiang-Su algebra contains a dense set of generators. It follows that in every classifiable, simple, nuclear C*-algebra, a generic element is a generator.
We consider a family of operator-algebraic dynamical systems involving the Toeplitz algebras of higher-rank graphs. We explicitly compute the KMS states (equilibrium states) of these systems built from small graphs with up to four connected components.
Let $A$ be a unital simple AH-algebra with stable rank one and real rank zero such that $kx=0$ for all $x\in {\rm ker}ρ_A,$ the subgroup of infinitesmal elements in $K_0(A),$ and for the same integer $k\ge 1.$ We show that $A$ has tracial rank zero and is isomorphic to a unital simple AH-algebra with no dimension growth.
We explore various limit constructions for C*-algebras, such as composition series and inverse limits, in relation to the notions of real rank, stable rank, and extremal richness. We also consider extensions and pullbacks. We identify some conditions under which the constructions preserve low rank for the C*-algebras or their multiplier algebras. We also discuss the version of topological dimension theory appropriate for primitive ideal spaces of C*-algebras and provide an analogue for rank of the countable sum theorem of dimension theory. As an illustration of how the main results can be appl…
We provide a negative solution to a question of M. Rieffel who asked if the right and left topological stable ranks of a Banach algebra must always agree. Our example is found amongst a class of nest algebras. We show that for many other nest algebras, both the left and right topological stable ranks are infinite. We extend this latter result to Popescu's non-commutative disc algebras and to free semigroup algebras as well.
The connected stable rank and the general stable rank are homotopy invariants for Banach algebras, whereas the Bass stable rank and the topological stable rank should be thought of as dimensional invariants. This paper studies the two homotopical stable ranks, viz. their general properties as well as specific examples and computations. The picture that emerges is that of a strong affinity between the homotopical stable ranks, and a marked contrast with the dimensional ones.
For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algebra is itself isomorphic to a graph algebra.
In this paper, we show that for unital, separable $C^*$-algebras of stable rank one and real rank zero, the unitary Cuntz semigroup functor and the functor ${\rm K}_*$ are naturallly equivalent. Then we introduce a refinement of the unitary Cuntz semigroup, say the total Cuntz semigroup, which is a new invariant for separable $C^*$-algebras of stable rank one, is a well-defined continuous functor from the category of $C^*$-algebras of stable rank one to the category ${\rm\underline{ Cu}}$. We prove that this new functor and the functor ${\rm \underline{K}}$ are naturallly equivalent for unital…
Let A be a unital maximal full algebra of operator fields with base space the k-cube [0,1]^k and fibre algebras, say, {A_t}_{t \in [0,1]^k}. Then the stable rank of A is bounded above by the supremum of the stable ranks sr(C([0,1]^k) \otimes A_t) for t \in [0,1]^k. Using this estimate, we compute the stable ranks of the universal C^*-algebras of the discrete Heisenberg groups.
Kumjian and Pask introduced an aperiodicity condition for higher rank graphs. We present a detailed analysis of when this occurs in certain rank 2 graphs. When the algebra is aperiodic, we give another proof of the simplicity of $\ca(\Fth)$. The periodic C*-algebras are characterized, and it is shown that $\ca(\Fth) \simeq \rC(\bT) \otimes \fA$ where $\fA$ is a simple C*-algebra.
We provide groupoid models for Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs. Extending the groupoid models used in the theory of graph algebras and topological dynamical systems to our setting, we prove results on essential freeness and amenability of the groupoids which capture the existing theory, and extend results involving group crossed products of graph algebras.
We define branching systems for finitely aligned higher-rank graphs. From these we construct concrete representations of higher-rank graph C*-algebras on Hilbert spaces. We prove a generalized Cuntz-Krieger uniqueness theorem for periodic single-vertex 2-graphs. We use this result to give a sufficient condition under which representations of periodic single-vertex 2-graph C*-algebras arising from branching systems are faithful.
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 i…
The main theorem provides a characterisation of the finite rank operators lying in a norm closed Lie ideal of a continuous nest algebra. These operators are charaterised as those finite rank operators in the nest algebra satisfying a condition determined by a left order continuous homomorphism on the nest. A crucial fact used in the proof of this theorem is the decomposability of the finite rank operators. One shows that a finite rank operator in a norm closed Lie ideal of a continuous nest algebra can be written as a finite sum of rank one operators lying in the ideal.
We compute the generator rank of a subhomgeneous C*-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every Z-stable ASH-algebra has generator rank one, which means that a generic element in such an algebra is a generator. This leads to a strong solution of the generator problem for classifiable, simple, nuclear C*-algebras: a generic element in each such algebra is a generator. Examples of Villadsen show that this is not the case for all separable, simple, nuclear C*-algebras.
To a higher rank directed graph $(Λ, d)$, in the sense of Kumjian and Pask, one can associate natural noncommutative analytic Toeplitz algebras, both weakly closed and norm closed. We introduce methods for the classification of these algebras in the case of single vertex graphs.
We provide inverse semigroup and groupoid models for the Toeplitz and Cuntz-Krieger algebras of finitely aligned higher-rank graphs. Using these models, we prove a uniqueness theorem for the Cuntz-Krieger algebra.
We study Sims-Yeend's product system C*-algebras and topological higher-rank graph C*-algebras by Yeend. We give a relation between Katsura's Cuntz-Pimsner covariance and Sims-Yeend's one by a direct approach and an explicit form of the core of product system C*-algebras. Finally, we prove Cuntz-Krieger type uniqueness theorem for topological higher-rank graph C*-algebras under certain aperiodic condition.
We give a description of a weakly continuous rank preserving map on a reflexive algebra on complex Hilbert space with commutative completely distributive subspace lattice. We show that the implementation of a rank preserving map can be described by the combination of two different types of maps. We also show that a rank preserving map can be implemented by only one type if the corresponding lattice is irreducible. We present some examples of both types of rank preserving map.
It is shown that every Jiang-Su stable approximately subhomogeneous C*-algebra has finite decomposition rank. Previously, it was not even known that such algebras have finite nuclear dimension. A key step in the proof is that subhomogeneous C*-algebra are locally approximated by a certain class of more tractable subhomogeneous algebras, namely, a non-commutative generalization of the class of cell complexes. The result is applied to show that Jiang-Su stable minimal Z-crossed products have finite decomposition rank.
Let G be a finitely generated, torsion-free, two-step nilpotent group. Let C^*(G) be the universal C^*-algebra of G. We show that acsr(C^*(G)) = acsr(C((\hat{G})_1)), where for a unital C^*-algebra A, acsr(A) is the absolute connected stable rank of A, and (\hat{G})_1 is the space of one-dimensional representations of G. For the case of stable rank, we have close results. In the process, we give a stable rank estimate for maximal full algebras of operator fields over a metric space.
A class of $C^*$-algebras, to be called those of generalized tracial rank one, is introduced, and classified by the Elliott invariant. A second class of unital simple separable amenable $C^*$-algebras, those whose tensor products with UHF-algebras of infinite type are in the first class, to be referred to as those of rational generalized tracial rank one, is proved to exhaust all possible values of the Elliott invariant for unital finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. An isomorphism theorem for a special sub-class of those $C^*$-algebras are presented. This provide…
We give a classification theorem for unital separable simple nuclear $C^*$-algebras with tracial topological rank zero which satisfy the Universal Coefficient Theorem. We prove that if $A$ and $B$ are two such $C^*$-algebras and $$ (K_0(A), K_0(A)_+, [1_A], K_1(A)) $$ $$ \cong (K_0(B), K_0(B)_+, [1_B], K_1(B)), $$ then $A\cong B.$
A classification is given of certain separable nuclear C*-algebras not necessarily of real rank zero, namely the class of simple C*-algebras which are inductive limits of continuous-trace C*-algebras whose building blocks have their spectrum homeomorphic to the interval [0,1] or to a finite disjoint union of closed intervals. In particular, a classification of those stably AI algebras which are inductive limits of hereditary sub-C*-algebras of interval algebras is obtained. Also, the range of the invariant is calculated.
We discuss when a unital homomorphism ϕ : C(X) \rightarrow A can be approximated by finite-dimensional homomorphisms, where X is a compact metric space and A is unital simple C*-algebra with tracial rank one. In this paper, we will give a necessary and sufficient condition.
In this paper we investigate the extremal richness of the multiplier algebra $M(A)$ and the corona algebra $M(A)/A$, for a simple C*-algebra $A$ with real rank zero and stable rank one. We show that the space of extremal quasitraces and the scale of $A$ contain enough information to determine whether $M(A)/A$ is extremally rich. In detail, if the scale is finite, then $M(A)/A$ is extremally rich. In important cases, and if the scale is not finite, extremal richness is characterized by a restrictive condition: the existence of only one infinite extremal quasitrace which is isolated in a convex …
Higher rank semigraph algebras are introduced by mixing concepts of ultragraph algebras and higher rank graph algebras. This yields a kind of higher rank generalisation of ultragraph algebras. We prove Cuntz--Krieger uniqueness theorems for cancelling semigraph algebras and aperiodic full semigraph algebras.
It is shown that, for a C*-algebra of stable rank one (i.e., in which the invertible elements are dense), two well-known isomorphism invariants, the Cuntz semigroup and the Thomsen semigroup, contain the same information. More precisely, these two invariants, viewed appropiately, determine each other in a natural way.
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.
Let A be a unital separable simple C*-algebra with a unique tracial state. We prove that if A is nuclear and quasidiagonal, then A tensored with the universal UHF-algebra has decomposition rank at most one. Then it is proved that A is nuclear, quasidiagonal and has strict comparison if and only if A has finite decomposition rank. For such A, we also give a direct proof that A tensored with a UHF-algebra has tracial rank zero. Applying this characterization, we obtain a counter-example to the Powers-Sakai conjecture.
We show that the class of C*-algebras with stable rank greater than a given positive integer is axiomatizable in logic of metric structures. As a consequence we show that the stable rank is continuous with respect to forming ultrapowers of C*-algebras, and that stable rank is Kadison--Kastler stable.
A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras. Moreover, it contains all unital simple separable amenable C*-algebras which satisfy the UCT and have finite rational tracial rank
We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where $Q$ is the universal UHF-algebra. Consequently, $A$ is classifiable in the sense of Elliott.
We give a formula for the stable rank of inclusions of unital Banach algebras in the sense of finite Watatani index. As an application we show that the stable rank of $\ell^1$-algebras of Disk algebras by any action of finite groups is 2.
We investigate the question: when is a higher-rank graph C*-algebra approximately finite dimensional? We prove that the absence of an appropriate higher-rank analogue of a cycle is necessary. We show that it is not in general sufficient, but that it is sufficient for higher-rank graphs with finitely many vertices. We give a detailed description of the structure of the C*-algebra of a row-finite locally convex higher-rank graph with finitely many vertices. Our results are also sufficient to establish that if the C*-algebra of a higher-rank graph is AF, then its every ideal must be gauge-invaria…
A necessary and sufficient condition for the simplicity of the C*-algebra reduced free product of finite dimensional abelian algebras is found, and it is proved that the stable rank of every such free product is 1. Related results about other reduced free products of C*-algebras are proved.
Various notions of stable ranks are studied for topological algebras. Some partial answers to R.G. Swan's problem (Have two Banach or good Fréchet algebras as in the density theorem in K-theory the same stable rank ?) are obtained. For example, a Fréchet dense $\ast$-subalgebra $A$ of a $C^\ast$-algebra $B$, closed under $C^\infty$-functional calculus of self-adjoint elements, has the same Bass stable rank as $B$.
We begin the study of a new class of operator algebras that arise from higher rank graphs. Every higher rank graph generates a Fock space Hilbert space and creation operators which are partial isometries acting on the space. We call the weak operator topology closed algebra generated by these operators a 'higher rank semigroupoid algebra'. A number of examples are discussed in detail, including the single vertex case and higher rank cycle graphs. In particular the cycle graph algebras are identified as matricial multivariable function algebras. We obtain reflexivity for a wide class of graphs …
