A local characterization for the Cuntz semigroup of AI-algebras (Q2236045)

A Cu-semigroup is a is positively ordered, abelian monoid \((S,+,\le)\) with certain natural properties with respect to suprema and the compact containment relation \(\ll \) on \(S\), which means that \(x \ll y\) if for every sequence in \(S\) which has a supremum and exceeds \(y\), one element of the sequence is bigger than or equal to \(x\). An AI-algebra is a \(C^*\)-algebra which is isomorphic to a countable inductive limit of \(C^*\)-algebras of the form \(C[0,1] \otimes F\), where \(F\) is a finite dimensional \(C^*\)-algebra. The Cuntz semigroup of a \(C^*\)-algebra \(A\) is the abelian monoid \((A \otimes \mathcal{K})_+/{\sim}\), where \(a \precsim b\) means \(a = \lim r_n b r_n^*\) for some sequence \((r_n)\) and positive elements \(a\) and \(b\) within the \(C^*\)-algebra \(A \otimes \mathcal{K}\). It is essentially known that the set of Cuntz semigroups of AI-algebras is exactly the set of Cu-semigroups which are expressible as inductive limits of finite direct sums of the Cu-semigroup of the lower semicontinuous functions \([0,1] \rightarrow \overline {\mathbb{N}}\). The author builds up on such findings to arrive at the following result: Let \(S\) be a Cu-semigroup. Then \(S\) is isomorphic to the Cuntz semigroup of an AI-algebra if and only if \(S\) is countably based, compactly bounded and satisfies (O5), (O6), weak cancellation and property~I. Weak cancellation is the \(\ll\)-analogy to \(\le\)-cancellation, (O5) and (O6) are short and natural properties every Cuntz semigroup of a \(C^*\)-algebra satisfies, compactly bounded means that every compactly contained element is bounded by a compact element (i.e., self-compactly contained element), and property~I is quite technical.