Related papers: The Cuntz semigroup and domain theory

A category is described to which the Cuntz semigroup belongs and as a functor into which it preserves inductive limits.

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…

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…

Certain $*$-semigroups are associated with the universal $C^*$-algebra generated by a partial isometry, which is itself the universal $C^*$-algebra of a $*$-semigroup. A fundamental role for a $*$-structure on a semigroup is emphasized, and…

Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable…

We study C*-algebras associated with subsemigroups of groups. For a large class of such semigroups including positive cones in quasi-lattice ordered groups and left Ore semigroups, we describe the corresponding semigroup C*-algebras as…

We prove stability theorems in the Cuntz semigroup of a commutative C*-algebra which are analogues of classical stability theorems for topological vector bundles over compact Hausdorff spaces. Several applications to simple unital AH…

We study semigroup C*-algebras of $ax+b$-semigroups over integral domains. The goal is to generalize several results about C*-algebras of $ax+b$-semigroups over rings of algebraic integers. We prove results concerning K-theory and…

We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…

The aim of this paper is to establish a theory of random variables on domains. Domain theory is a fundamental component of theoretical computer science, providing mathematical models of computational processes. Random variables are the…

We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be…

In this paper we study the structure of the $C^*$-algebra, generated by the representation of the paths semigroup on a partially ordered set (poset) and get the net of isomorphic $C^*$-algebras over this poset. We construct the extensions…

Building on work of Elliott and coworkers, we present three applications of the Cuntz semigroup: (i) for many simple C$^*$-algebras, the Thomsen semigroup is recovered functorially from the Elliott invariant, and this yields a new proof of…

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…

We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility…

Let A be a C*-algebra and I a closed two-sided ideal of A. We use the Hilbert C*-modules picture of the Cuntz semigroup to investigate the relations between the Cuntz semigroups of I, A and A/I. We obtain a relation on two elements of the…

In this paper, we apply the theory of inverse semigroups to the $C^{*}$-algebra $U[\mathbb{Z}]$ considered in \cite{Cuntz}. We show that the $C^{*}$-algebra $U[\mathbb{Z}]$ is generated by an inverse semigroup of partial isometries. We…

In [5] the author conjectures and partially shows that the Cuntz semigroup classifies unitary elements of unital AF-algebras. We provide a complete proof by addressing the existence part of the conjecture, under a mild adjustment of both…

In this paper we show that the universal C*-algebra satisfying the Cuntz-Li relations is generated by an inverse semigroup of partial isometries. We apply Exel's theory of tight representations to this inverse semigroup. We identify the…

We introduce and analyse the structure of C*-algebras arising from ideals in right tensor C*-precategories, which naturally generalize both relative Cuntz-Pimsner and Doplicher-Roberts algebras. We establish an explicit intrinsic…