32 pages; extended introduction, added details on inductive limits and elements with thin boundary, rearranged order of results in Section 4; to appear in Adv. Math
We introduce a notion of covering dimension for Cuntz semigroups of C*-algebras. This dimension is always bounded by the nuclear dimension of the C*-algebra, and for subhomogeneous C*-algebras both dimensions agree.
Cuntz semigroups of Z-stable C*-algebras have dimension at most one. Further, the Cuntz semigroup of a simple, Z-stable C*-algebra is zero-dimensional if and only if the C*-algebra has real rank zero or is stably projectionless.
We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-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 C*-algebra by sub-C*-algebras. We show that many properties for Cuntz semigroups are preserved by approximation and satisfy a Löwenheim-Skolem condition.
Cuntz semigroups of ideals and quotients and a generalized Kasparov Stabilization Theorem
设A是C* 代数，I是A的闭双边理想.利用Cuntz半群的Hilbert C ~*-模图研究了I，A和A/I的Cuntz半群之间的关系。得到了A的Cuntz半群中两个元素的一个关系，刻画了它们在A/I的Cuntz半群中相等的条件.作为推论，我们证明了Cuntz半群函子是正合的。用Hilbert模的同构代替Hilbert模的Cuntz等价关系，得到了Kasparov稳定性定理的一个推广.
We provide an abstract characterization for the Cuntz semigroup of unital commutative AI-algebras, as well as a characterization for abstract Cuntz semigroups of the form $\text{Lsc} (X,\overline{\mathbb{N}})$ for some $T_1$-space $X$. In our investigations, we also uncover new properties that the Cuntz semigroup of all AI-algebras satisfies.
We give a local characterization for the Cuntz semigroup of AI-algebras building upon Shen's characterization of dimension groups. Using this result, we provide an abstract characterization for the Cuntz semigroup of AI-algebras.
We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras $A$ and $B$, the semigroup $[[\mathrm{Cu}(A),\mathrm{Cu}(B)]]$ should be considered as the target in analogues of the UCT for bivariant theories of Cuntz semigroups. Abstract bivariant Cuntz semigroups are computable in a number of interesting cases. We also show that order-zero maps between C$^*$-algebras naturally define elements in the respective bivarian…
This paper argues that the unitary Cuntz semigroup, introduced in [10] and termed Cu$_1$, contains crucial information regarding the classification of non-simple C$^*$-algebras. We exhibit two (non-simple) C$^*$-algebras that agree on their Cuntz semigroups, termed Cu, and their K$_1$-groups and yet disagree at level of their unitary Cuntz semigroups. In the process, we establish that the unitary Cuntz semigroup contains rigorously more information about non-simple C$^*$-algebras than Cu and K$_1$ alone.
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.
We calculate the Cuntz semigroup of the tensor product A with A. We restrict our attention to C*-algebras A which are unital, simple, nuclear, stably finite, have stable rank one, absorbs the Jiang-Su algebra tensorially and satisfy the UCT.
We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees with the (ultra)product of the scaled Cuntz semigroups of the involved C*-algebras. As applications of our results, we compute the non-stable K-Theory of general (ultra)products of C*-algebras and we characterize when ultraproducts are simple. We also give criteria that determine order properties of these objects, such as almost unperforation.
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…
This paper is a contribution to the theory of what might be termed $0$-dimensional non-commutative spaces. We prove that associated with each inverse semigroup $S$ is a Boolean inverse semigroup presented by the abstract versions of the Cuntz-Krieger relations. We call this Boolean inverse semigroup the Exel completion of $S$ and show that it arises from Exel's tight groupoid under non-commutative Stone duality.
We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove that for any C$^*$-algebra of stable rank one $A$, the assignment $I\longmapsto$Cu$_1(I)$ defines a complete lattice isomorphism between the set of ideals of $A$ and the set of ideals of its unitary Cuntz semigroup Cu$_1(A)$. Further, we introduce a notion of quotients and exactness for the (non abelian) category Cu$^\sim$. We show that Cu$_1(A)/$Cu$_1(I)\s…
We study topological aspects of the category of abstract Cuntz semigroups, termed Cu. We provide a suitable setting in which we are able to uniformly control how to approach an element of a Cu-semigroup by a rapidly increasing sequence. This approximation induces a semimetric on the set of Cu-morphisms, generalizing Cu-metrics that had been constructed in the past for some particular cases. Further, we develop an approximate intertwining theory for the category Cu. Finally, we give several applications such as the classification of unitary elements of any unital AF-algebra by means of the func…
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…
We introduce a new invariant for C*-algebras of stable rank one that merges the Cuntz semigroup information together with the K$_1$-group information. This semigroup, termed the Cu$_1$-semigroup, is constructed as equivalence classes of pairs consisting of a positive element in the stabilization of the given C*-algebra together with a unitary element of the unitization of the hereditary subalgebra generated by the given positive element. We show that the Cu$_1$-semigroup is a well-defined continuous functor from the category of C*-algebras of stable rank one to a suitable codomain category tha…
We study comparison properties in the category Cu aiming to lift results to the C*-algebraic setting. We introduce a new comparison property and relate it to both the CFP and $ω$-comparison. We show differences of all properties by providing examples, which suggest that the corona factorization property for C*-algebras might allow for both finite and infinite projections. In addition, we show that Rørdam's simple, nuclear C*-algebra with a finite and an infinite projection does not have the CFP.
We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We establish basic properties, like additivity, stability and continuity, and study categorical aspects in the setting of local C*-algebras. We determine the bivariant Cuntz semigroup for numerous examples such as when the second algebra is a Kirchberg algebra, and Cuntz homology for compact Hausdorff spaces which provides a complete invariant. Moreover, we est…
A trace $τ$ on a separable C*-algebra $A$ is called matricial field (MF) if there is a trace-preserving morphism from $A$ to $Q_ω$, where $Q_ω$ denotes the norm ultrapower of the universal UHF-algebra $Q$. In general, the trace $τ$ induces a state on the Cuntz semigroup $Cu(A)$. We show there is always a state-preserving morphism from $Cu(A)$ to $Cu(Q_ω)$. As an application, if $A$ is an AI-algebra and $F$ is a free group acting on $A$, then every trace on the reduced crossed product $A \rtimes F$ is MF. This further implies the same result when $A$ is an AH-algebra with the ideal property suc…
The classical Cuntz semigroup has an important role in the study of C*-algebras, being one of the main invariants used to classify recalcitrant C*-algebras up to isomorphism. We consider C*-algebras that have Hopf algebra structure, and find additional structure in their Cuntz semigroups, thus generalizing the equivariant Cuntz semigroup. We develop various aspects of the theory of such semigroups, and in particular, we give general results allowing classification results of the Elliott classification program to be extended to classification results for C*-algebraic quantum groups.
We provide an equivariant extension of the bivariant Cuntz semigroup introduced in previous work for the case of compact group actions over C*-algebras. Its functoriality properties are explored and some well-known classification results are retrieved. Connections with crossed products are investigated, and a concrete presentation of equivariant Cuntz homology is provided. The theory that is here developed can be used to define the equivariant Cuntz semigroup. We show that the object thus obtained coincides with the recently proposed one by Gardella and Santiago, and we complement their work b…
Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let α\colon G \to Aut (A) be an action of G on A which has the weak tracial Rokhlin property. Let A^α be the fixed point algebra. Then the radius of comparison satisfies rc (A^α) \leq rc (A) and rc ( C* (G, A, α) ) \leq ( 1 / card (G) ) rc (A). The inclusion of A^α in A induces an isomorphism from the purely positive part of the Cuntz semigroup Cu (A^α) to the fixed points of the purely positive part of Cu (A), and the purely positive part of Cu ( C* (G, A, α) ) is isomorphic to this semigroup…
We provide a new and concise proof of the existence of suprema in the Cuntz semigroup using the open projection picture of the Cuntz semigroup initiated by Ortega, Rordam and Thiel. Our argument is based on the observation that the supremum of a countable set of open projections in the bidual of a C*-algebra A is again open and corresponds to the generated hereditary sub-C*-algebra of A.
We introduce an equivariant version of the Cuntz semigroup, that takes an action of a compact group into account. The equivariant Cuntz semigroup is naturally a semimodule over the representation semiring of the given group. Moreover, this semimodule satisfies a number of additional structural properties. We show that the equivariant Cuntz semigroup, as a functor, is continuous and stable. Moreover, cocycle conjugate actions have isomorphic associated equivariant Cuntz semigroups. One of our main results is an analog of Julg's theorem: the equivariant Cuntz semigroup is canonically isomorphic …
Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of approximating ideal objects by their relatively finite or, more generally, relatively compact parts. The development of domain theory in recent years was mainly motivated by question in denotational semantics and the theory of computation. But since 2008, domain theoretical notions and methods are used in the theory of C*-algebras in connection with the Cuntz semigroup. This paper is largely expository. It presents t…
We give a detailed introduction to the theory of Cuntz semigroups for C*-algebras. Beginning with the most basic definitions and technical lemmas, we present several results of historical importance, such as Cuntz's theorem on the existence of quasitraces, Rørdam's proof that $\mathcal{Z}$-stability implies strict comparison, and Toms' example of a non $\mathcal{Z}$-stable simple, nuclear C*-algebra. We also give the reader an extensive overview of the state of the art and the modern approach to the theory, including the recent results for C*-algebras of stable rank one (for example, the Black…
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 e…
