Tensor products and regularity properties of Cuntz semigroups

Abstract

The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice and category theoretic aspects of Cuntz semigroups. Given a C*-algebra $A$, its (concrete) Cuntz semigroup $Cu(A)$ is an object in the category $Cu$ of (abstract) Cuntz semigroups, as introduced by Coward, Elliott and Ivanescu. To clarify the distinction between concrete and abstract Cuntz semigroups, we will call the latter $Cu$-semigroups. We establish the existence of tensor products in the category $Cu$ and study the basic properties of this construction. We show that $Cu$ is a symmetric, monoidal category and relate $Cu(A\otimes B)$ with $Cu(A){\otimes }_{Cu}Cu(B)$ for certain classes of C*-algebras. As a main tool for our approach we introduce the category $W$ of pre-completed Cuntz semigroups. We show that $Cu$ is a full, reflective subcategory of $W$. One can then easily deduce properties of $Cu$ from respective properties of $W$, e.g. the existence of tensor products and inductive limits. The advantage is that constructions in $W$ are much easier since the objects are purely algebraic. We also develop a theory of $Cu$-semirings and their semimodules. The Cuntz semigroup of a strongly self-absorbing C*-algebra has a natural product giving it the structure of a $Cu$-semiring. We give explicit characterizations of $Cu$-semimodules over such $Cu$-semirings. For instance, we show that a $Cu$-semigroup $S$ tensorially absorbs the $Cu$-semiring of the Jiang-Su algebra if and only if $S$ is almost unperforated and almost divisible, thus establishing a semigroup version of the Toms-Winter conjecture.

195 pages; revised version; several proofs streamlined; some results corrected, in particular added 5.2.3-5.2.6

References in corpus (11)

• Completely positive maps of order zero
• Nuclear dimension and Z-stability
• Classification of finite simple amenable $\mathcal{Z}$-stable $C^{\ast }$-algebras
• Strongly self-absorbing C*-algebras are Z-stable
• Quasitraces on exact C*-algebras are traces
• Trace spaces of simple nuclear C*-algebras with finite-dimensional extreme boundary
• On the classification problem for nuclear C*-algebras
• K-Theory for operator algebras. Classification of C${}^{\ast }$-algebras
• The Cuntz semigroup, the Elliott conjecture, and dimension functions on C*-algebras
• Pullbacks, $C(X)$-algebras, and their Cuntz semigroup
• The equivariant Cuntz semigroup

Cited by in corpus (7)

• Abstract bivariant Cuntz semigroups
• Cuntz semigroups of ultraproduct C*-algebras
• A unitary Cuntz semigroup for C*-algebras of stable rank one
• Nowhere scattered multiplier algebras
• The radius of comparison of the crossed product by a tracially strictly approximately inner action
• On tracial $\mathcal{Z}$-stability of simple non-unital C*-algebras
• Some Permanence properties for crossed products by compact group actions with the tracial Rokhlin property