In the paper, we prove that reduced free products of unital AH algebras with respect to given faithful tracial states, in the sense of Voiculescu, are Blackadar and Kirhcberg's MF algebras. We also show that the reduced free products of unital AH algebras with respect to given faithful tracial states, under mild conditions, are not quasidiagonal. Therefore we conclude, for a large class of AH algebras, the Brown-Douglas-Fillmore extension semigroups of the reduced free products of these AH algebras with respect to given faithful tracial states are not groups. Our result is based on Haagerup and Thorbjørsen's work on the reduced C$^*$-algebras of free groups.
In the paper, we provide some examples of MF algebras by considering minimal or maximal tensor products of MF algebras and crossed products of MF algebras by finite groups or an integer group. We also present some examples of C$^*$-algebras, whose BDF extension semigroup is not group. These examples include, for example, $ C_r^*(F_n)\otimes_{max} C^*(F_n) $, $ C_r^*(F_n)\otimes_{min} C^*(F_n) $, $C_r^*(H_1\ast H_2)$ with $2\le |H_1|<\infty$ and $3\le |H_2|<\infty$ where $|H_1|$, $|H_2|$ are the orders of thr groups $H1$, or $H_2$ respectively, and many others.
We show that a Kirchberg algebra is semiprojective if and only if it is KK-semiprojective. In particular, this shows that a Kirchberg algebra in the UCT-class is semiprojective if and only if its K-theory is finitely generated, thereby giving a positive solution to a longstanding conjecture by Blackadar.
A well-known theorem of Blackadar and Handelman states that every unital stably finite C*-algebra has a bounded quasitrace. Rather strong generalizations of stable finiteness to the non-unital case can be obtained by either requiring the multiplier algebra to be stably finite, or alternatively requiring it to be at least stably not properly infinite. This paper deals with the question whether the Blackadar-Handelman result can be extended to the non-unital case with respect to these generalizations of stable finiteness. For suitably well-behaved C*-algebras there is a positive result, but none…
In this note we show that every Kirchberg algebra in the UCT class is the $C^{\ast}$-algebra of a Hausdorff, ample, amenable and locally contracting groupoid. The non-unital case follows from Spielberg's graph-based models for Kirchberg algebras. Our contribution is the unital case and our proof builds on Spielberg's construction.
We investigate symmetries on unital Kirchberg algebras with respect to the Rokhlin property and finite Rokhlin dimension. In stark contrast to the restrictiveness of the Rokhlin property, every such outer action has Rokhlin dimension at most 1. A consequence of these observations is a relationship between the nuclear dimension of an $\mathcal{O}_\infty$-absorbing C*-algebra and its $\mathcal{O}_2$-stabilization. A more direct and alternative approach to this is given as well. Several applications of this relationship are discussed to cover a fairly large class of $\mathcal{O}_\infty$-absorbing…
Toward the complete classification of poly-$\mathbb{Z}$ group actions on Kirchberg algebras, we prove several fundamental theorems that are used in the classification. In addition, as an application of them, we classify outer actions of poly-$\mathbb{Z}$ groups of Hirsch length not greater than three on unital Kirchberg algebras up to $KK$-trivial cocycle conjugacy.
A universal coefficient theorem is proved for C*-algebras over an arbitrary finite T_0-space X which have vanishing boundary maps. Under bootstrap assumptions, this leads to a complete classification of unital/stable real-rank-zero Kirchberg X-algebras with intermediate cancellation. Range results are obtained for (unital) purely infinite graph C*-algebras with intermediate cancellation and Cuntz-Krieger algebras with intermediate cancellation. Permanence results for extensions of these classes follow.
Let A be a separable unital nuclear purely infinite simple C*-algebra satisfying the Universal Coefficient Theorem, and such that the K_0-class of the identity is zero. We prove that every automorphism of order two of the K-theory of A is implemented by an automorphism of A of order two. As a consequence, we prove that every countable Z/2Z-graded module over the representation ring of Z/2Z is isomorphic to the equivariant K-theory for some action of Z/2Z on a separable unital nuclear purely infinite simple C*-algebra. Along the way, we prove that every not necessarily finitely generated module…
In the paper, we introduce a new concept of topological orbit dimension of $n$-tuples of elements in a unital C$^*$ algebra. Using this concept, we conclude that the Voiculescu's topological free entropy dimension of any family of self-adjoint generators of a nuclear C$^*$ algebra is less than or equal to 1. We also show that the topological free entropy dimension is additive in the full free products of unital C$^*$ algebras. In the appendix, we show that unital full free product of Blackadar and Kirchberg's unital MF algebras is also MF algebra.
We give a complete description of which unital graph C*-algebras are semiprojective, and use it to disprove two conjectures by Blackadar. To do so, we perform a detailed analysis of which projections are properly infinite in such C*-algebras.
For two unital Kirchberg algebras with finitely generated K-groups, we introduce a property, called reciprocality, which is proved to be closely related to the homotopy theory of Kirchberg algebras. We show the Spanier--Whitehead duality for bundles of separable nuclear UCT C*-algebras with finitely generated K-groups and conclude that two reciprocal Kirchberg algebras share the same structure of their bundles.
The semigroups of unital extensions of separable $C^\ast$-algebras come in two flavours: a strong and a weak version. By the unital $\mathrm{Ext}$-groups, we mean the groups of invertible elements in these semigroups. We use the unital $\mathrm{Ext}$-groups to obtain $K$-theoretic classification of both unital and non-unital extensions of $C^\ast$-algebras, and in particular we obtain a complete $K$-theoretic classification of full extensions of UCT Kirchberg algebras by stable AF algebras.
We study the validity of the Blackadar-Kirchberg conjecture for extensions of separable, nuclear, quasidiagonal $C^*$-algebras that satisfy the UCT. More specifically, we show that the conjecture for the extension has an affirmative answer if the ideal lies in a class of $C^*$-algebras that is closed under local approximations and contains all separable ASH algebras, as well as certain classes of simple, unital $C^*$-algebras and crossed products of unital $C^*$-algebras with the integers.
We show an equivariant Kirchberg-Phillips-type absorption theorem for pointwise outer actions of discrete amenable groups on Kirchberg algebras with respect to natural model actions on the Cuntz algebras $\mathcal{O}_\infty$ and $\mathcal{O}_2$. This generalizes results known for finite groups and poly-$\mathbb{Z}$ groups. The model actions are shown to be determined, up to strong cocycle conjugacy, by natural abstract properties, which are verified for some examples of actions arising from tensorial shifts. We also show the following homotopy rigidity result, which may be understood as a prec…
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…
It is shown that all 2-quasitraces on a unital exact C*-algebra are traces. As consequences one gets: (1) Every stably finite exact unital C*-algebra has a tracial state, and (2) if an AW*-factor of type II_1 is generated (as an AW*-algebra) by an exact C*-subalgebra, then it is a von Neumann II_1-factor. This is a partial solution to a well known problem of Kaplansky. The present result was used by Blackadar, Kumjian and Rørdam to prove that RR(A)=0 for every simple non-commutative torus of any dimension.
In this paper, we characterize $\ell$-open and $\ell$-closed $C^*$-algebras and deduce that $\ell$-open $C^*$-algebras are $\ell$-closed, as conjectured by Blackadar. Moreover, we show that a commutative unital $C^*$-algebra is $\ell$-open if and only if it is semiprojective.
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational K-theory groups satisfying the universal coefficient theorem. We provide a range result for fields in this class with finite-dimensional K-theory. There are versions of both results for unital continuous fields.
We prove the following theorem: let $A$ be a UCT Kirchberg algebra, and let $α$ be a prime-order automorphism of $K_*(A)$, with $α([1_A])=[1_A]$ in case $A$ is unital. Then $α$ is induced from an automorphism of $A$ having the same order as $α$. This result is extended to certain instances of an equivariant inclusion of Kirchberg algebras. As a crucial ingredient we prove the following result in representation theory: every module over the integral group ring of a cyclic group of prime order has a natural presentation by generalized lattices with no cyclotomic summands.
In this paper, we consider Blackadar and Kirchberg's MF algebras. We show that any inner quasidiagonal C-algebra is MF algebra and we generalize Voiculescu's Representation Theorem for a special version of MF algebras. Moreover, we define a weak version of MF algebras namely matrical amenable (AM) algebras, and prove some results related to this new notion. Finally, we consider real C-algebras and we show that a real C-algebra is MF if and only if its complexification is MF.
We extend in this paper the characterisation of a separable nuclear \cst-algebra given by Kirchberg proving that given a unital separable continuous field of nuclear C*-algebras A over a compact metrizable space X, the C(X)-algebra A is isomorphic to a unital C(X)-subalgebra of the trivial continuous field C(X;O_2), image of C(X;O_2) by a norm one projection.
In 1955 Dye proved that two von Neumann factors not of type I_2n are isomorphic (via a linear or a conjugate linear *-isomorphism) if and only if their unitary groups are isomorphic as abstract groups. We consider an analogue for C*-algebras. We show that the topological general linear group is a classifying invariant for simple, unital AH-algebras of slow dimension growth and of real rank zero, and the abstract general linear group is a classifying invariant for unital Kirchberg algebras in the UCT class.
We extend in this paper several results of E. Kirchberg, S. Wassermann and the author dealing with continuous fields of C*--algebras to the semi-continuous case. We provide a new characterisation of separable lower semi-continuity C*--bundles and we present exactness criteria for C(X)-algebras and unital bisimplifiable Hopf \cst-algebras.
Given a compact, metric space X, we show that the commutative C*-algebra C(X) is semiprojective if and only if X is an absolute neighborhood retract of dimension at most one. This confirms a conjecture of Blackadar. Generalizing to the non-unital setting, we derive a characterization of semiprojectivity for separable, commutative C*-algebras. As further application of our findings we verify two conjectures of Loring and Blackadar in the commutative case, and we give a partial answer to the question, when a commutative C*-algebra is weakly (semi-)projective.
We prove that an operator system $\mathcal S$ is nuclear in the category of operator systems if and only if there exist nets of unital completely positive maps $ϕ_λ: \cl S \to M_{n_λ}$ and $ψ_λ: M_{n_λ} \to \cl S$ such that $ψ_λ\circ ϕ_λ$ converges to ${\rm id}_{\cl S}$ in the point-norm topology. Our proof is independent of the Choi-Effros-Kirchberg characterization of nuclear $C^*$-algebras and yields this characterization as a corollary. We give an example of a nuclear operator system that is not completely order isomorphic to a unital $C^*$-algebra.
Building on an argument by Toms and Winter, we show that if $A$ is a simple, separable, unital, $\mathcal{Z}$-stable C*-algebra, then the crossed product of $C(X,A)$ by an automorphism is also Z-stable, provided that the automorphism induces a minimal homeomorphism on $X$. As a consequence, we observe that if $A$ is nuclear and purely infinite then the crossed product is a Kirchberg algebra.
We study the local operator space structure of nuclear $C^*$-algebras. It is shown that a $C^*$-algebra is nuclear if and only if it is an $\OL_{\infty, \la}$ space for some (and actually for every) $\la > 6$. The $\OL_\infty$ constant $λ$ provides an interesting invariant \[ \OL_\infty (\A) = \inf\{\la: ~ \A ~{\rm is ~ an} ~ {\OL}_{\infty, \la} ~ {\rm space}\} \] for nuclear $C^*$-algebras. Indeed, if $\A$ is a nuclear $C^*$-algebra, then we have $1\le \OL_\infty (\A) \le 6$, and if $\A$ is a unital nuclear $C^*$-algebra with $\OL_{\infty} (\A) \le (\frac {1+{\sqrt 5}}2)^{\frac 12}$, we show …
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 trac…
We study lifting properties for full product C*-algebras with amalgamation over ${\mathbb C}1$ and give new proofs for some results of Kirchberg and Pisier. We extend the result of Choi on the quasidiagonality of $C^*({\mathbb F}_n)$, proving that the free product with amalgamation over ${\mathbb C}1$ of a family of unital quasidiagonal C*-algebras is quasidiagonal.
Let $X$ be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of $C(X)$-algebras by $C(X)$-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over $X$ with fibers isomorphic to a fixed Cuntz algebra $\mathcal{O}_n$, $n\in\{2,3,...,\infty\}$ are locally trivial. They are trivial if $n=2$ or $n=\infty$. For $n\geq 3$ finite, such a field is trivial if and only if $(n-1)[1_A]=0$ in $K_0(A)$, where $A$ is the C*-algebra of continuous s…
We give examples of actions of Z/2Z on AF algebras and AT algebras which demonstrate the differences between the (strict) Rokhlin property and the tracial Rokhlin property, and between (strict) approximate representability and tracial approximate representability. Specific results include the following. We determine exactly when a product type action of Z/2Z on a UHF algebra has the tracial Rokhlin property; in particular, unlike for the strict Rokhlin property, every UHF algebra admits such an action. We prove that Blackadar's action of Z/2Z on the 2^{\infty} UHF algebra, whose crossed produc…
Let $A$ be a separable unital C*-algebra and let $π: A \ra \Lc(\Hf)$ be a faithful representation of $A$ on a separable Hilbert space $\Hf$ such that $π(A) \cap \Kc(\Hf) = \{0 \}$. We show that $\Oc_E$, the Cuntz-Pimsner algebra associated to the Hilbert $A$-bimodule $E = \Hf \ot_{\C} A$, is simple and purely infinite. If $A$ is nuclear and belongs to the bootstrap class to which the UCT applies, then the same applies to $\Oc_E$. Hence by the Kirchberg-Phillips Theorem the isomorphism class of $\Oc_E$ only depends on the $K$-theory of $A$ and the class of the unit.
We prove that the C*-algebra of a minimal diffeomorphism satisfies Blackadar's Fundamental Comparability Property for positive elements. This leads to the classification, in terms of K-theory and traces, of the isomorphism classes of countably generated Hilbert modules over such algebras, and to a similar classification for the closures of unitary orbits of self-adjoint elements. We also obtain a structure theorem for the Cuntz semigroup in this setting, and prove a conjecture of Blackadar and Handelman: the lower semicontinuous dimension functions are weakly dense in the space of all dimensio…
An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered. Some applications to operator algebra theory are given, including a new proof of Kirchberg's theorem on the tensor product of B(H) with the group C*-algebra of a countable free group. We also show that an affirmative solution to the Connes Embedding Problem is implied by various matrix-theoretic problems, and we give a new characterisation of unital C*-alge…
\noindent Let $A$ be an arbitrary $C^*$ algebra. In \cite{BH} Blackadar and Handelman conjectured the set of lower semicontinuous dimension functions on $A$ to be pointwise dense in the set $DF(A)$ of all dimension functions on $A$ and $DF(A)$ to be a Choquet simplex. We provide an equivalent condition for the first conjecture for unital $A$. Then by applying this condition we confirm the first Conjecture for all unital $A$ for which either the radius of comparison is finite or the semigroup $W(A)$ is almost unperforated. As far as we know the most general results on the first Conjecture up to…
Complexity rank for $C^*$-algebras was introduced by the second author and Yu for applications towards the UCT: very roughly, this rank is at most $n$ if you can repeatedly cut the $C^*$-algebra in half at most $n$ times, and end up with something finite dimensional. In this paper, we study complexity rank, and also a weak complexity rank that we introduce; having weak complexity rank at most one can be thought of as `two-colored local finite-dimensionality'. We first show that for separable, unital, and simple $C^*$-algebras, weak complexity rank one is equivalent to the conjunction of nuclea…
We study compact group actions with finite Rokhlin dimension, particularly in relation to crossed products. For example, we characterize the duals of such actions, generalizing previous partial results for the Rokhlin property. As an application, we determine the ideal structure of their crossed products. Under the assumption of so-called commuting towers, we show that taking crossed products by such actions preserves a number of relevant classes of C*-algebras, including: $D$-absorbing C*-algebras, where $D$ is a strongly self-absorbing C*-algebra, stable C*-algebras, C*-algebras with finite …
In this article I study a number of topological and algebraic dimension type properties of simple C*-algebras and their interplay. In particular, a simple C*-algebra is defined to be (tracially) (m,\bar{m})-pure, if it has (strong tracial) m-comparison and is (tracially) \bar{m}-almost divisible. These notions are related to each other, and to nuclear dimension. The main result says that if a separable, simple, nonelementary, unital C*-algebra A with locally finite nuclear dimension is (m,\bar{m})-pure, then it absorbs the Jiang-Su algebra Z tensorially. It follows that A is Z-stable if and on…
Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that KK-equivalence implies isomorphism for nonunital separable nuclear purely infinite simple C*-algebras. It follows that if A and B are unital separable nuclear purely infinite simple C*-algebras which satisfy the Universal Coefficient Theorem, and if there is a graded isomorphism from K_* (A) to K_* (B) which preserves the class of the identity, then A is isomorphic to B.…
We investigate the $K$-theory of unital UCT Kirchberg algebras $\mathcal{Q}_S$ arising from families $S$ of relatively prime numbers. It is shown that $K_*(\mathcal{Q}_S)$ is the direct sum of a free abelian group and a torsion group, each of which is realized by another distinct $C^*$-algebra naturally associated to $S$. The $C^*$-algebra representing the torsion part is identified with a natural subalgebra $\mathcal{A}_S$ of $\mathcal{Q}_S$. For the $K$-theory of $\mathcal{Q}_S$, the cardinality of $S$ determines the free part and is also relevant for the torsion part, for which the greatest…
