Related papers: The Cuntz semigroup and domain theory
This paper contains computations of the Cuntz semigroup of separable C*-algebras of the form C_0(X,A), where A is a unital, simple, Z-stable ASH algebra. The computations describe the Cuntz semigroup in terms of Murray-von Neumann…
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.…
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…
The Corona Factorization Property, originally invented to study extensions of C*-algebras, conveys essential information about the intrinsic structure of the C*-algebras. We show that the Corona Factorization Property of a \sigma-unital…
We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…
In this paper we study structural properties of the Cuntz semigroup and its functionals for continuous fields of C*-algebras over finite dimensional spaces. In a variety of cases, this leads to an answer to a conjecture posed by Blackadar…
The C*-algebra qC is the smallest of the C*-algebras qA introduced by Cuntz in the context of KK-theory. An important property of qC is the natural isomorphism of K0 of D with classes of homomorphism from qC to matrix algebras over D. Our…
In domain theory every finite computable object can be represented by a single mathematical object instead of a set of objects, using the notion of finitary-basis. In this article we report on our effort to formalize domain theory in Coq in…
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science: - Domain Theory, the mathematical theory of computation introduced by Scott as a foundation for…
The class of separable C*-algebras which can be written as inductive limits of continuous-trace C*-algebras with spectrum homeomorphic to a disjoint union of trees and trees with a point removed is classified by the Cuntz semigroup.
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…
Motivated by algebraic quantum field theory and our previous work we study properties of inductive systems of \ $C^*$-algebras over arbitrary partially ordered sets. A partially ordered set can be represented as the union of the family of…
We study semigroup C*-algebras of semigroups associated with number fields and initial data arising naturally from class field theory. Using K-theoretic invariants, we investigate how much information about the initial number-theoretic data…
We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive…
Graph inverse semigroups generalize the polycyclic inverse monoids and play an important role in the theory of C*-algebras. This paper has two main goals: first, to provide an abstract characterization of graph inverse semigroups; and…
In this paper we analyse the structure of the Cuntz semigroup of certain $C(X)$-algebras, for compact spaces of low dimension, that have no $\mathrm{K}_1$-obstruction in their fibres in a strong sense. The techniques developed yield…
Using the Baum-Connes conjecture with coefficients, we develop a K-theory formula for reduced C*-algebras of strongly $0$-$E$-unitary inverse semigroups, or equivalently, for certain reduced partial crossed products. In the case of…
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 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…
We investigate $C^*$-algebras associated with row-finite topological higher-rank graphs with no source, which are based on product system $C^*$-algebras. We prove the Cuntz-Krieger uniqueness theorem, and provide the condition of simplicity…