On the simple inductive limits of splitting interval algebras with dimension drops (Q2888923)

A \(C^*\)-algebra \(\mathfrak A\) is said to be a splitting interval algebra with dimension drops if NEWLINE\[NEWLINE\mathfrak A=\{(a, f)\in F_1\oplus \mathrm{C}([0, 1], \mathrm{M}_m(\mathbb C))\;:\;f(0)=\varphi_0(a), f(1)=\varphi_1(a)\},NEWLINE\]NEWLINE where NEWLINE\[NEWLINEF_1=\bigoplus_{i=1}^{r_0} \mathrm{M}_{k_i}(\mathbb C) \oplus \bigoplus_{j=1}^{r_1} \mathrm{M}_{l_j}(\mathbb C),NEWLINE\]NEWLINE and \(\varphi_0, \varphi_1\) are unital homomorphisms from \(F_1\) to \(\mathrm{M}_m(\mathbb C)\) satisfying NEWLINE\[NEWLINE\varphi_0(\bigoplus_{j=1}^{r_1} \mathrm{M}_{l_j}(\mathbb C))=\{0\}\quad\mathrm{and}\quad \varphi_1(\bigoplus_{i=1}^{r_0} \mathrm{M}_{k_i}(\mathbb C))=\{0\}.NEWLINE\]NEWLINENEWLINENEWLINEThe author considers the class of unital simple inductive limits of finite direct sums of splitting interval algebras with dimension drops, and shows that this class of \(C^*\)-algebras can be classified by their K-theoretical invariants. More precisely, let \(A\) and \(B\) be two such simple inductive limits, then \(A\) is *-isomorphic to \(B\) if and only if NEWLINE\[NEWLINE((\mathrm{K}_0(A), \mathrm{K}_0(A)^+, [1_A]_0), \mathrm{K}_1(A), \mathrm{T}(A), r_A ) \cong (\mathrm{K}_0(B), \mathrm{K}_0(B)^+, [1_B]_0), \mathrm{K}_1(B), \mathrm{T}(B), r_B),NEWLINE\]NEWLINE where \(\mathrm{T}(A)\) (or \(\mathrm{T}(B)\)) is the trace simplex, and \(r_A\) (or \(r_B\)) is its canonical pairing to the order-unit group \((\mathrm{K}_0(A), \mathrm{K}_0(A)^+, [1_A]_0)\) (or \((\mathrm{K}_0(B), \mathrm{K}_0(B)^+, [1_B]_0)\)). Moreover, the *-isomorphism between the \(C^*\)-algebras can be chosen to induce the given isomorphism between the invariants.NEWLINENEWLINEThis classification theorem generalizes the result of [\textit{X.~Jiang} and \textit{H.~Su}, J.~Funct.~Anal. 151, No.~1, 50--76 (1997; Zbl 0921.46057)], where the class of unital simple inductive limits of splitting interval algebras (without dimension drops) were classified.