Homogeneity of the pure state space of a separable C*-algebra

Separable $C^{\ast}$-Algebras and weak$^{\ast}$-fixed point property

It is shown that the dual $\hat{A}$ of a separable $C^{\ast}$-algebra $A$ is discrete if and only if its Banach space dual has the weak$^{\ast}$-fixed point property. We prove further that these properties are equivalent to the uniform weak$^{\ast}$ Kadec-Klee property of $A^{\ast}$ and to the coincidence of the weak$^{\ast}$ topology with the norm topology on the pure states of $A$.

Weak semiprojectivity for purely infinite C*-algebras

We prove that a simple, separable, nuclear, purely infinite classifiable $C^*$-algebra is weakly semiprojective if and only if its $K$-groups are direct sums of cyclic groups.

Semiprojectivity for certain purely infinite C*-algebras

It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite directed graphs.

Filtrated K-theory for real rank zero C*-algebras

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…

关于纯无限冠代数和扩展的注记

A note on purely infinite corona algebras and extensions

本文研究了纯无限冠代数和扩展的分类问题，针对不同情况提出了分类方法和结果。

Purely infinite C*-algebras of real rank zero

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).

Boundary representations and pure completely positive maps

In 2006, Arveson resolved a long-standing problem by showing that for any element $x$ of a separable self-adjoint unital subspace $S\subseteq B(H)$, $\|x\|=\sup\|π(x)\|$, where $π$ runs over the boundary representations for $S$. Here we show that "sup" can be replaced by "max". This implies that the Choquet boundary for a separable operator system is a boundary in the classical sense; a similar result is obtained in terms of pure matrix states when $S$ is not assumed to be separable. For matrix convex sets associated to operator systems in matrix algebras, we apply the above results to improve…

Purely infinite C*-algebras: ideal-preserving zero homotopies

We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)), where G is a finite graph (and C_0(G,v) is the algebra of continuous functions on G that vanish at a distinguished point v in G). We show further that any separable, nuclear, stable, O_2-absorbing C*-algebra is isomorphic to a crossed product of a C*-algebra D with the integers by an action alpha, where D is an inductive limit of C*-algebras of the form M_k(C_0…

Linear maps preserving separability of pure states

Linear maps preserving pure states of a quantum system of any dimension are characterized. This is then used to establish a structure theorem for linear maps that preserve separable pure states in multipartite systems. As an application, a characterization of separable pure state preserving affine maps is obtained.

Classification of real rank zero, purely infinite C*-algebras with at most four primitive ideals

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 …

On the nuclear dimension of strongly purely infinite C*-algebras

We show that separable, nuclear and strongly purely infinite C*-algebras have finite nuclear dimension. In fact, the value is at most three. This exploits a deep structural result of Kirchberg and Rørdam on strongly purely infinite C*-algebras that are homotopic to zero in an ideal-system preserving way.

Separable representations of higher-rank graphs

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…

A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

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.…

纯$C^*$-代数中常Cuntz类的同伦

Homotopies of constant Cuntz classes in pure $C^*$-algebras

该研究针对纯$C^*$-代数，证明了与任意正元同Cuntz类的正元集合道路连通，推广了投影类同伦理论，扩展了相关拓扑结果的适用范围。

A total Cuntz semigroup for $C^*$-algebras of stable rank one

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…

Symmetries of Kirchberg algebras

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…

Unique decompositions, faces, and automorphisms of separable states

Let S_k be the set of separable states on B(C^m \otimes C^n) admitting a representation as a convex combination of k pure product states, or fewer. If m>1, n> 1, and k \le max(m,n), we show that S_k admits a subset V_k such that V_k is dense and open in S_k, and such that each state in V_k has a unique decomposition as a convex combination of pure product states, and we describe all possible convex decompositions for a set of separable states that properly contains V_k. In both cases we describe the associated faces of the space of separable states, which in the first case are simplexes, and i…

Simple purely infinite C*-algebras and n-filling actions

Let $n$ be a positive integer. We introduce a concept, which we call the $n$-filling property, for an action of a group on a separable unital $C^*$-algebra $A$. If $A=C(Ω)$ is a commutative unital $C^*$-algebra and the action is induced by a group of homeomorphisms of $Ω$ then the $n$-filling property reduces to a weak version of hyperbolicity. The $n$-filling property is used to prove that certain crossed product $C^*$-algebras are purely infinite and simple. A variety of group actions on boundaries of symmetric spaces and buildings have the $n$-filling property. An explicit example is the ac…

On the Stone-Weierstrass theorem

This paper extends a version of the Stone-Weierstrass theorem to more general C*-algebras. Namely, assume that A is a unital, not necessarily separable, C*-algebra, and B is a C*-subalgebra containing the unit element. Then, I prove that: If B separates the factorial states of A, then B=A. This generalizes a result of Popa and Longo for the case when A is separable. A true Stone-Weierstrass theorem would state that, if B separates the pure states of A, then B=A. This problem is open even in the separable case. The present paper relies on the more technical, foundational results in the companio…

Continuous C*-algebras over topological spaces

We define continuous C*-algebras over a topological space X and establish some basic results. If X is a locally compact Hausdorff space, continuous C*-algebras over X are equivalent to ordinary continuous C_0(X)-algebras. The main purpose of our study is to prove that every continuous, full, separable, nuclear C*-algebra over X is KK(X)-equivalent to a stable Kirchberg algebra over X. (Here a Kirchberg algebra over X is a separable, nuclear, and strongly purely infinite C*-algebra over X with primitive ideal space homeomorphic to X.) In the case that X is a one-point space, this result is know…

Lifting theorems for completely positive maps

We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space, $\mathfrak A$ and $\mathfrak B$ are separable, nuclear $C^\ast$-algebras over $\mathsf X$, and the action of $\mathsf X$ on $\mathfrak A$ is continuous, then $E(\mathsf X; \mathfrak A, \mathfrak B) \cong KK(\mathsf X; \mathfrak A, \mathfrak B)$ naturally. As an application, we show that a separable, nuclear, strongly purely infinite $C^\ast$-algebra $\mathfrak…

Definable $\mathrm{K}$-homology of separable C*-algebras

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal Coefficient Theorem, we prove that the corresponding definable $\mathrm{K}$-homology is a finer invariant than the purely algebraic one, even when restricted to the class of UHF C*-algebras, or to the class of unital commutative C*-algebras whose spectrum is a $1$-dimensional connected subspace of $\mathbb{R}^{3}$.

Universal AF-algebras

We study the approximately finite-dimensional (AF) $C^*$-algebras that appear as inductive limits of sequences of finite-dimensional $C^*$-algebras and left-invertible embeddings. We show that there is such a separable AF-algebra $\mathcal A_\mathfrak{F}$ with the property that any separable AF-algebra is isomorphic to a quotient of $\mathcal A_\mathfrak{F}$. Equivalently, by Elliott's classification of separable AF-algebras, there are surjectively universal countable scaled (or with order-unit) dimension groups. This universality is a consequence of our result stating that $\mathcal A_\mathfr…

On certain Cuntz-Pimsner algebras

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.

Tracial approximate divisibility and stable rank one

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.

Nuclear dimension and Z-stability of pure C*-algebras

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…

Crossed product decompositions of a purely infinite von Neumann algebra with faithful, almost periodic weight

For $\MvN$ a separable, purely infinite von Neumann algebra with almost periodic weight $ϕ$, a decomposition of $\MvN$ as a crossed product of a semifinite von Neumann algebra by a trace--scaling action of a countable abelian group is given. Then Takasaki's continuous decomposition of the same algebra is related to the above discrete decomposition via Takesaki's notion of induced action, but here one induces up from a dense subgroup. The above results are used to give a model for the one--parameter trace--scaling action of $\Real_+$ on the injective II$_\infty$ factor. Finally, another model o…