A local characterization for the Cuntz semigroup of AI-algebras (Q2236045): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 06:24, 5 March 2024

scientific article
Language Label Description Also known as
English
A local characterization for the Cuntz semigroup of AI-algebras
scientific article

    Statements

    A local characterization for the Cuntz semigroup of AI-algebras (English)
    0 references
    0 references
    22 October 2021
    0 references
    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.
    0 references
    C*-algebra
    0 references
    Cuntz semigroup
    0 references
    AI-algebra
    0 references

    Identifiers