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$.
Spectral morphisms between Banach algebras are useful for comparing their K-theory and their "noncommutative dimensions" as expressed by various notions of stable ranks. In practice, one often encounters situations where the spectral information is only known over a dense subalgebra. We investigate such relatively spectral morphisms. We prove a relative version of the Density Theorem regarding isomorphism in K-theory. We also solve Swan's problem for the connected stable rank, in fact for an entire hierarchy of higher connected stable ranks that we introduce.
We show that certain dense and spectral invariant subalgebras of a $C^*$-algebra have the same bilateral Bass stable rank. This is a partial answer for (a version of) an open problem raised by R.G. Swan. Then, for certain Banach algebras, we indicate when the homotopy groups $π_{i}(GL_{n}(A))$ stabilize for large $n$. This is an improvement of a result due to G. Corach and A. Larotonda. Using some results due to M. Karoubi, we show the isomorphism of the Witt group of a symmetric Banach algebra with the $K_0$-group of its enveloping $C^*$-algebra. The question if this is true for all involutiv…
Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$-theory coincides with $K$-theory of $C^*$-algebras. This article devoted to the noncommutative generalization of infinite covering projections. Infinite covering projections of spectral triples are also discussed. …
Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$-theory coincides with $K$-theory of $C^*$-algebras. This article is concerned with generalization of local systems. The classical construction of local system implies an existence of a path groupoid. However the no…
Gelfand - Naĭmark theorem supplies contravariant functor from a category of commutative $C^*-$ algebras to a category of locally compact Hausdorff spaces. Therefore any commutative $C^*-$ algebra is an alternative representation of a topological space. Similarly a category of (noncommutative) $C^*-$ algebras can be regarded as a category of generalized (noncommutative) locally compact Hausdorff spaces. Generalizations of topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$ - theory coincides with $K$ - theory of $C^*$ - …
We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or infinity, and rtsr(T(N)) = 2 occurs only when N is of ordinal type less than omega^2 and the dimensions of the atoms grows sufficiently quickly. We introduce general results on `partial matrix algebras' ov…
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.
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 consider the boundary-path groupoids of topological higher-rank graphs. We show that the all such groupoids are topologically amenable. We deduce that the C*-algebras of topological higher-rank graphs are nuclear and prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem. We then provide a necessary and sufficient condition for simplicity of a topological higher-rank graph C*-algebra, and a condition under which it is also purely infinite.
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…
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.
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 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.$
Let $1 \in A \subset B$ be an inclusion of C*-algebras of C*-index-finite type with depth 2. We try to compute topological stable rank of $B$ ($= \tsr(B)$) when $A$ has topological stable rank one. We show that $\tsr(B) \leq 2$ when $A$ is a tsr boundedly divisible algebra, in particular, $A$ is a C*-minimal tensor product $UHF \otimes D$ with $\tsr(D) = 1$. When $G$ is a finite group and $α$ is an action of $G$ on UHF, we know that a crossed product algebra $UHF \rtimes_αG$ has topological stable rank less than or equal to two. These results are affirmative datum to a generalization of a ques…
A Cantor minimal system is of finite topological rank if it has a Bratteli-Vershik representation whose number of vertices per level is uniformly bounded. We prove that if the topological rank of a minimal dynamical system on a Cantor set is finite then all its minimal Cantor factors have finite topological rank as well. This gives an affirmative answer to a question posed by Donoso, Durand, Maass, and Petite.
We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely gen…
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 ran…
We use product systems of $C^*$-correspondences to introduce twisted $C^*$-algebras of topological higher-rank graphs. We define the notion of a continuous $\mathbb{T}$-valued $2$-cocycle on a topological higher-rank graph, and present examples of such cocycles on large classes of topological higher-rank graphs. To every proper, source-free topological higher-rank graph $Λ$, and continuous $\mathbb{T}$-valued $2$-cocycle $c$ on $Λ$, we associate a product system $X$ of $C_0(Λ^0)$-correspondences built from finite paths in $Λ$. We define the twisted Cuntz--Krieger algebra $C^*(Λ,c)$ to be the C…
We give a classification theorem for unital separable nuclear simple \CA s with tracial rank no more than one. Let $A$ and $B$ be two unital separable simple nuclear \CA s with $TR(A), TR(B)\le 1$ which satisfy the universal coefficient theorem. We show that $A\cong B$ if and only if $$ (K_0(A), K_0(A)_+, [1_A], K_1(A), T(A)) \cong (K_0(B), K_0(B)_+, [1_B], K_1(B), T(B)). $$
We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if there is countable set $D\subset G$ such that $c(G^{u})D=Q$ for all $u\in G^{(0)}$. We show that our result is applicable to groupoids arising from partial semigroup actions. We explore these actions in detail and show that these groupoids include those arising from directed graphs, higher rank graphs and even topological higher rank graphs. We believe our metho…
We show that, if A is a separable simple unital C*-algebra which absorbs the Jiang-Su algebra Z tensorially and which has real rank zero and finite decomposition rank, then A is tracially AF in the sense of Lin, without any restriction on the tracial state space. As a consequence, the Elliott conjecture is true for the class of C*-algebras as above which, additionally, satisfy the Universal Coefficients Theorem. In particular, such algebras are completely determined by their ordered K-theory. They are approximately homogeneous of topological dimension less than or equal to 3, approximately sub…
Let $A$ be a unital separable simple \CA with $\tr(A)\le 1$ and $α$ be an automorphism. We show that if $α$ satisfies the tracially cyclic Rokhlin property then $\tr(A\rtimes_α\Z)\le 1.$ We also show that whenever $A$ has a unique tracial state and $α^m$ is uniformly outer for each $m (\not= 0)$ and $α^r$ is approximately inner for some $r>0,$ $α$ satisfies the tracial cyclic Rokhlin property. By applying the classification theory of nuclear \CA s, we use the above result to prove a conjecture of Kishimoto: if $A$ is a unital simple $A{\mathbb T}$-algebra of real rank zero and $α\in \Aut(A)$ w…
We show that, if a simple $C^{*}$-algebra $A$ is topologically finite-dimensional in a suitable sense, then not only $K_{0}(A)$ has certain good properties, but $A$ is even accessible to Elliott's classification program. More precisely, we prove the following results: If $A$ is simple, separable and unital with finite decomposition rank and real rank zero, then $K_{0}(A)$ is weakly unperforated. If $A$ has finite decomposition rank, real rank zero and the space of extremal tracial states is compact and zero-dimensional, then $A$ has stable rank one and tracial rank zero. As a consequence, if $…
While there is only one natural dimension concept for separable, metric spaces, the theory of dimension in noncommutative topology ramifies into different important concepts. To accommodate this, we introduce the abstract notion of a noncommutative dimension theory by proposing a natural set of axioms. These axioms are inspired by properties of commutative dimension theory, and they are for instance satisfied by the real and stable rank, the decomposition rank and the nuclear dimension. We add another theory to this list by showing that the topological dimension, as introduced by Brown and Ped…
We prove equality between the Topological Stable Rank and the Bass Stable Rank for finitely generated projective left modules over a unital C*-algebra. In order to do so, the concept of Stable Rank of a Hilbert module is introduced.
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 introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as described by Kaliszewski et al. We exhibit combinatorial versions of a number of standard topological constructions, and show that they are compatible, from a homological point of view, with their topological counterparts. We show how to twist the C*-algebra of a k-graph by a T-valued 2-cocycle and demonstrate that examples include all noncommutative tori. In t…
We calculate the real rank and stable rank of CCR algebras which either have only finite dimensional irreducible representations or have finite topological dimension. We show that either rank of A is determined in a good way by the ranks of an ideal I and the quotient A/I in four cases: When A is CCR; when I has only finite dimensional irreducible representations; when I is separable, of generalized continuous trace and finite topological dimension, and all irreducible representations of I are infinite dimensional; or when I is separable, stable, has an approximate identity consisting of proje…
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.
In the context of commutative $C^*$-algebras we solve a problem related to a question of M. Rieffel by showing that the all-units rank and the norm-one rank coincide with the topological stable rank. We also introduce the notion of unitary $M$-stable rank for an arbitrary commutative unital ring and compare it with the Bass stable rank. In case of uniform algebras, a sufficient condition for norm-one reducibility is given.
