Covering dimension of Cuntz semigroups II

We show that the dimension of the Cuntz semigroup of a [Formula: see text]-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-[Formula: see text]-algebras. This allows us to remove separability assumptions from previous results on the dimension of Cuntz semigroups. To obtain these results, we introduce a notion of approximation for abstract Cuntz semigroups that is compatible with the approximation of a [Formula: see text]-algebra by sub-[Formula: see text]-algebras. We show that many properties for Cuntz semigroups are preserved by approximation and satisfy a Löwenheim–Skolem condition.

The Cuntz semigroup and the radius of comparison of the crossed product by a finite group

Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let $\alpha \colon G \to {\text{Aut}} (A)$ be an action of G on A which has the weak tracial Rokhlin property. Let $A^{\alpha}$ be the fixed point algebra. Then the radius of comparison satisfies ${\text{rc}} (A^{\alpha }) \leq {\text{rc}} (A)$ and ${\text{rc}} ( C^* (G, A, \alpha ) ) \leq ({1}/{\text{card} (G))} \cdot {\text{rc}} (A)$ . The inclusion of $A^{\alpha }$ in A induces an isomorphism from the purely positive part of the Cuntz semigroup ${\text{Cu}} (A^{\alpha })$ to the fixed points of the purely positive part of ${\text{Cu}} (A)$ , and the purely positive part of ${\text{Cu}} ( C^* (G, A, \alpha ) )$ is isomorphic to this semigroup. We construct an example in which $G \,{=}\, {\mathbb {Z}} / 2 {\mathbb {Z}}$ , A is a simple unital AH algebra, $\alpha $ has the Rokhlin property, ${\text{rc}} (A)> 0$ , ${\text{rc}} (A^{\alpha }) = {\text{rc}} (A)$ , and ${\text{rc}} (C^* (G, A, \alpha ) = ( {1}/{2}) {\text{rc}} (A)$ .

A revised augmented Cuntz semigroup

We revise the construction of the augmented Cuntz semigroup functor used by the first author to classify inductive limits of $1$-dimensional noncommutative CW complexes. The original construction has good functorial properties when restricted to the class of C*-algebras of stable rank one. The construction proposed here has good properties for all C*-algebras: we show that the augmented Cuntz semigroup is a stable, continuous, split exact functor, from the category of C*-algebras to the category of Cu-semigroups.

Co-actions, Isometries, and isomorphism classes of Hilbert modules

We show that a A-linear map of Hilbert A-modules is induced by a unitary Hilbert module operator if and only if it extends to an ordinary unitary on appropriately defined enveloping Hilbert spaces. Applications to the theory of multiplicative unitaries let us to compute the equivalence classes of Hilbert modules over a class of C*-algebraic quantum groups. We, thus, develop a theory that, for example, could be used to show non-existence of certain co-actions. In particular, we show that the Cuntz semigroup functor takes a co-action to a multiplicative action.

Edwards' condition for quasitraces on C*-algebras

We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitraces.