We answer a question of E. Kirchberg (personal communication): does the relative commutant of a separable C*-algebra in its ultrapower depend on the choice of the ultrafilter?
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 give an example of a simple separable C*-algebra which is not isomorphic to its opposite algebra. Our example is nonnuclear and stably finite, has real rank zero and stable rank one, and has a unique tracial state. It has trivial K_1, and its K_0-group is order isomorphic to a countable subgroup of the real numbers.
Higher-rank graph generalisations of the Popescu-Poisson transform are constructed, allowing us to develop a dilation theory for higher rank operator tuples. These dilations are joint dilations of the families of operators satisfying relations encoded by the graph structure which we call $Λ$-contractions or $Λ$-coisometries. Besides commutant lifting results and characterisations of pure states on higher rank graph algebras several applications to the structure theory of non-selfadjoint graph operator algebras are presented generalising recent results in special cases.
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…
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
In this monograph we undertake a comprehensive study of separable representations (as well as their unitary equivalence classes) of $C^*$-algebras associated to strongly connected finite $k$-graphs $Λ$. We begin with the representations associated to the $Λ$-semibranching function systems introduced by Farsi, Gillaspy, Kang, and Packer in \cite{FGKP}, by giving an alternative characterization of these systems which is more easily verified in examples. We present a variety of such examples, one of which we use to construct a new faithful separable representation of any row-finite source-free $k…
Let $Λ$ be a strongly connected, finite higher-rank graph. In this paper, we construct representations of $C^*(Λ)$ on certain separable Hilbert spaces of the form $L^2(X,μ)$, by introducing the notion of a $Λ$-semibranching function system (a generalization of the semibranching function systems studied by Marcolli and Paolucci). In particular, when $Λ$ is aperiodic, we obtain a faithful representation of $C^*(Λ)$ on $L^2(Λ^\infty, M)$, where $M$ is the Perron-Frobenius probability measure on the infinite path space $Λ^\infty$ recently studied by an Huef, Laca, Raeburn, and Sims. We also show h…
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 construct a simple, separable, unital, and nuclear C*-algebra with weakly unperforated K_0-group which does not absorb the Jiang-Su algebra Z tensorially. As a result, we obtain a stably finite counter-example to Elliott's classification conjecture for simple, separable, and nuclear C*-algebras.
We analyze $\mathrm{C}^\ast$-algebras, particularly AF-algebras, and their $K_0$-groups in the context of the infinitary logic $\mathcal{L}_{ω_1 ω}$. Given two separable unital AF-algebras $A$ and $B$, and considering their $K_0$-groups as ordered unital groups, we prove that $K_0(A) \equiv_{ω\cdot α} K_0(B)$ implies $A \equiv_αB$, where $M \equiv_βN$ means that $M$ and $N$ agree on all sentences of quantifier rank at most $β$. This implication is proved using techniques from Elliott's classification of separable AF-algebras, together with an adaptation of the Ehrenfeucht-Fraïssé game to the m…
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 classify unital monomorphisms into certain simple Z-stable C^*-algebras up to approximate unitary equivalence. The domain algebra C is allowed to be any unital separable commutative C^*-algebra, or any unital simple separable nuclear Z-stable C^*-algebra satisfying the UCT such that C\otimes B is of tracial rank zero for a UHF algebra B. The target algebra A is allowed to be any unital simple separable Z-stable C^*-algebra such that A\otimes B has tracial rank zero for a UHF algebra B, or any unital simple separable exact Z-stable C^*-algebra whose projections separate traces and whose extr…
Using Kirchberg KK_X-classification of purely infinite, separable, stable, nuclear C*-algebras with finite primitive ideal space, Bentmann showed that filtrated K-theory classifies purely infinite, separable, stable, nuclear C*-algebras that satisfy that all simple subquotients are in the bootstrap class and that the primitive ideal space is finite and of a certain type, referred to as accordion spaces. This result generalizes the results of Meyer-Nest involving finite linearly ordered spaces. Examples have been provided, for any finite non-accordion space, that isomorphic filtrated K-theory d…
We give an example of an exact, stably finite, simple. separable C*-algebra D which is not isomorphic to its opposite algebra. Moreover, D has the following additional properties. It is stably finite, approximately divisible, has real rank zero and stable rank one, has a unique tracial state, and the order on projections over D is determined by traces. It also absorbs the Jiang-Su algebra Z, and in fact absorbs the 3^{\infty} UHF algebra. We can also explicitly compute the K-theory of D, namely K_0 (D) = Z[1/3] with the standard order, and K_1 (D) = 0, as well as the Cuntz semigroup of D.
We show that every unital amenable separable simple $C^*$-algebra with finite tracial rank which satisfies the UCT has in fact tracial rank at most one. We also show that unital separable simple $C^*$-algebrass which are "tracially" locally AH with slow dimension growth are ${\cal Z}$-stable. As a consequence, unital separable simple $C^*$-algebras which are locally AH with no dimension growth are isomorphic to a unital simple AH-algebra with no dimension growth.
We construct faces of the convex set of all $2\otimes 4$ bipartite separable states, which are affinely isomorphic to the simplex $Δ_{9}$ with ten extreme points. Every interior point of these faces is a separable state which has a unique decomposition into 10 product states, even though ranks of the state and its partial transpose are 5 and 7, respectively. We also note that the number 10 is greater than $2\times 4$, to disprove a conjecture on the lengths of qubit-qudit separable states. This face is inscribed in the corresponding face of the convex set of all PPT states so that sub-simplice…
We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable $C^*$-algebra has stable rank one.
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…
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 show that a separable purely infinite C*-algebra is of real rank zero if and only if its primitive ideal space has a basis consisting of compact-open sets and the natural map K_0(I) -> K_0(I/J) is surjective for all closed two-sided ideals J contained in I in the C*-algebra. It follows in particular that if A is any separable C*-algebra, then A tensor O_2 is of real rank zero if and only if the primitive ideal space of A has a basis of compact-open sets, which again happens if and only if A tensor O_2 has the ideal property, also known as property (IP).
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…
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.
Let $P \subset A$ be an inclusion of $σ$-unital C*-algebras with a finite index in the sense of Izumi. Then we introduce the Rokhlin property for a conditional expectation $E$ from $A$ onto $P$ and show that if $A$ is simple and satisfies any of the property $(1) \sim (12)$ listed in the below, and $E$ has the Rokhlin property, then so does $P$. (1) Simplicity;(2) Nuclearity;(3) C*-algebras that absorb a given strongly self-absorbing C*-algebra $\mathcal{D}$; (4)C*-algebras of stable rank one; (5) C*-algebras of real rank zero;(6) C*-algebras of nuclear dimension at most $n$, where $n \in Z^+$…
Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex numbers. We show that: (i) The Cuntz semigroup W(A) of equivalence classes of positive elements in matrix algebras over A is weakly unperforated. (ii) If A is exact, then A is purely infinite if and only if A is traceless. (iii) If A is separable and nuclear, then A is isomorphic to A tensor O_infty if and only if A is traceless. (iv) If A is simple and unital,…
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.$
We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. Moreover, it contains all unital simple separable amenable $C^*$-alegbras which satisfy the UCT and have finite rational tracial rank.
Counterexamples to classification of purely infinite, nuclear, separable C*-algebras (in the ideal-related bootstrap class) and with primitive ideal space X using ideal-related K-theory occur for infinitely many finite primitive ideal spaces X, the smallest of which having four points. Ideal-related K-theory is known to be strongly complete for such C*-algebras if they have real rank zero and X has at most four points for all but two exceptional spaces: the pseudo-circle and the diamond space. In this article, we close these two remaining cases. We show that ideal-related K-theory is strongly …
We study the uniform property $Γ$ for separable simple $C^*$-algebras which have quasitraces and may not be exact. We show that a stably finite separable simple $C^*$-algebra $A$ with strict comparison and uniform property $Γ$ has tracial approximate oscillation zero and stable rank one. Moreover in this case, its hereditary $C^*$-subalgebras also have a version of uniform property $Γ.$ If a separable non-elementary simple amenable $C^*$-algebra $A$ with strict comparison has this hereditary uniform property $Γ,$ then $A$ is ${\cal Z}$-stable.
Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${\tilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $\tilde A$ has the strict comparison property and a weak cancellation property. Let $C$ be a 1-dimensional non-commutative CW complex with $K_1(C)=\{0\}.$ Suppose that $λ: {\rm Cu}^\sim(C)\to {\rm Cu}^\sim(A)$ is a morphism in Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms $ϕ_n: C\to A$ such that $\lim_{n\to\infty}{\rm Cu}^\sim(ϕ_n)=λ.$ This result leads t…
For any unital separable simple infinite-dimensional nuclear C*-algebra with finitely many extremal traces, we prove that Z-absorption, strict comparison, and property (SI) are equivalent. We also show that any unital separable simple nuclear C*-algebra with tracial rank zero is approximately divisible, and hence is Z-absorbing.
Let X be a path connected, compact metric space and let A be a unital separable simple nuclear Z-stable real rank zero C*-algebra. We classify all the unital *-embeddings (up to approximate unitary equivalence) of C(X) into A. Specifically, we provide an existence and a uniqueness theorem for unital *-embeddings from C(X) into A.
We report on recent progress in the program to classify separable amenable C*-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict comparison of positive elements, and Z-stability, and on the importance of the Cuntz semigroup. We include a brief history of the program's successes since 1989, a more detailed look at the Villadsen-type algebras which have so dramatically changed the landscape, and a collection of announcements on the structure and properties of the Cuntz semigroup.
We observe that a recent theorem of Sato, Toms-White-Winter and Kirchberg-Rordam also holds for certain nonunital C*-algebras. Namely, we show that an algebraically simple, separable, nuclear, nonelementary C*-algebra with strict comparison, whose cone of densely finite traces has as a base a Choquet simplex with compact, finite dimensional extreme boundary, and which admits a continuous rank function, tensorially absorbs the Jiang-Su algebra Z.
Let $A$ be a unital simple separable C*-algebra satisfying the UCT. Assume that $\mathrm{dr}(A)<+\infty$, $A$ is Jiang-Su stable, and $\mathrm{K}_0(A)\otimes \mathbb{Q}\cong \mathbb{Q}$. Then $A$ is an ASH algebra (indeed, $A$ is a rationally AH algebra).
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 consider 2-positive almost order zero (disjointness preserving) maps on C*-algebras. Generalizing the argument of M. Choi for multiplicative domains, we give an internal characterization of almost order zero for 2-positive maps. It is also shown that complete positivity can be reduced to 2-positivity in the definition of decomposition rank for unital separable C*-algebras.
We show that separable, simple, unital C*-algebras with finite decomposition rank absorb the Jiang-Su algebra Z tensorially. This has a number of consequences for Elliott's program to classify nuclear C*-algebras by their K-theory data. In particular, it completes the classification of C*-algebras associated to uniquely ergodic, smooth, minimal dynamical systems by their ordered K-groups.
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 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.
For a separable complex Hilbert space $H$, we say that a bounded linear operator $T$ acting on $H$ is $C$-normal, where $C$ is a conjugation on $H$, if it satisfies $CT^*TC=TT^*$. For a normal operator, we give geometric conditions which guarantee that its rank-one perturbation is a $C$-normal for some conjugation $C$.
In this paper, we discuss a method of constructing separable representations of the $C^*$-algebras associated to strongly connected row-finite $k$-graphs $Λ$. We begin by giving an alternative characterization of the $Λ$-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 li…
In this paper, we characterize the closures of convex hulls of unitary orbits of self-adjoint operators in unital, separable, simple C$^*$-algebras with non-trivial tracial simplex, real rank zero, stable rank one, and strict comparison of projections with respect to tracial states. In addition, an upper bound for the number of unitary conjugates in a convex combination needed to approximate a self-adjoint are obtained.
Separable neighbourhood of identity in C$^{\ast}$-algebras
Wallenberg Centre for Quantum Technology, Chalmers University of Technology(查尔姆斯理工大学华伦堡量子技术中心);Department of Mathematical Sciences, Chalmers University of Technology(查尔姆斯理工大学数学科学系);Institute of Mathematics of the Polish Academy of Sciences(波兰科学院数学研究所)
We present the first range result for the total K-theory of C*-algebras. This invariant has been used successfully to classify certain separable, nuclear C*-algebras of real rank zero. Our results complete the classification of the so-called AD algebras of real rank zero.