skip to main content


Title: Unitary groups and augmented Cuntz semigroups of separable simple Z-Stable C∗-algebras
Let A be a separable simple exact Z-stable C∗-algebra. We show that the unitary group of \tilde{A} has the cancellation property. If A has continuous scale then the Cuntz semigroup of A has strict comparison property and a weak cancellation property. Let C be a 1-dimensional noncommutative CW complex with K1(C) = {0}. Suppose that λ : Cu∼(C) → Cu∼(A) is a morphism in the augmented Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms φn : C → A such that limn→∞ Cu∼(φn) = λ. This result leads to the proof that every separable amenable simple C∗-algebra in the UCT class has rationally generalized tracial rank at most one.  more » « less
Award ID(s):
1954600
NSF-PAR ID:
10321032
Author(s) / Creator(s):
Date Published:
Journal Name:
International journal of mathematics
Volume:
33
Issue:
02
ISSN:
2223-0483
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. For each odd integern≥<#comment/>3n \geq 3, we construct a rank-3 graphΛ<#comment/>n\Lambda _nwith involutionγ<#comment/>n\gamma _nwhose realC∗<#comment/>C^*-algebraCR∗<#comment/>(Λ<#comment/>n,γ<#comment/>n)C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda _n, \gamma _n)is stably isomorphic to the exotic Cuntz algebraEn\mathcal E_n. This construction is optimal, as we prove that a rank-2 graph with involution(Λ<#comment/>,γ<#comment/>)(\Lambda ,\gamma )can never satisfyCR∗<#comment/>(Λ<#comment/>,γ<#comment/>)∼<#comment/>MEEnC^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )\sim _{ME} \mathcal E_n, and Boersema reached the same conclusion for rank-1 graphs (directed graphs) in [Münster J. Math.10(2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank-1 graph with involution(Λ<#comment/>,γ<#comment/>)(\Lambda , \gamma )whose realC∗<#comment/>C^*-algebraCR∗<#comment/>(Λ<#comment/>,γ<#comment/>)C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )is stably isomorphic to the suspensionSRS \mathbb {R}. In the Appendix, we show that theii-fold suspensionSiRS^i \mathbb {R}is stably isomorphic to a graph algebra iff−<#comment/>2≤<#comment/>i≤<#comment/>1-2 \leq i \leq 1.

     
    more » « less
  2. Motivated by the theory of Cuntz-Krieger algebras we define and study C ∗ C^\ast -algebras associated to directed quantum graphs. For classical graphs the C ∗ C^\ast -algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to K K KK -equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum Cuntz-Krieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these C ∗ C^\ast -algebras are all pairwise non-isomorphic for complete quantum graphs of different dimensions, even on the level of K K KK -theory. We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation. We also discuss quantum symmetries of quantum Cuntz-Krieger algebras in general. 
    more » « less
  3. null (Ed.)
    We present a classification theorem for separable amenable simple stably projectionless C -algebras with finite nuclear dimension whose K0 vanish on traces which satisfy the Universal Coefficient Theorem. One of C -algebras in the class is denoted by Z0 which has a unique tracial state, K_0(Z_0) = Z and K1(Z_0) = {0}. Let A and B be two separable amenable simple C -algebras satisfying the UCT. We show that A ⊗ Z_0 = B ⊗ Z_0 if and only if Ell(A ⊗ Z_0 ) = Ell(B ⊗ Z_0 ). A class of simple separable C -algebras which are approximately sub-homogeneous whose spectra having bounded dimension is shown to exhaust all possible Elliott invariant for C -algebras of the form A ⊗ Z_0 , where A is any finite separable simple amenable C -algebras. 
    more » « less
  4. We study embeddings of tracial $\mathrm{W}^*$-algebras into a ultraproduct of matrix algebras through an amalgamation of free probabilistic and model-theoretic techniques.  Jung implicitly and Hayes explicitly defined \emph{$1$-bounded entropy} through the asymptotic covering numbers of Voiculescu's microstate spaces, that is, spaces of matrix tuples $(X_1^{(N)},X_2^{(N)},\dots)$ having approximately the same $*$-moments as the generators $(X_1,X_2,\dots)$ of a given tracial $\mathrm{W}^*$-algebra.  We study the analogous covering entropy for microstate spaces defined through formulas that use suprema and infima, not only $*$-algebra operations and the trace | formulas such as arise in the model theory of tracial $\mathrm{W}^*$-algebras initiated by Farah, Hart, and Sherman.  By relating the new theory with the original $1$-bounded entropy, we show that if $\mathcal{M}$ is a separable tracial $\mathrm{W}^*$-algebra with $h(\cN:\cM) \geq 0$, then there exists an embedding of $\cM$ into a matrix ultraproduct $\cQ = \prod_{n \to \cU} M_n(\C)$ such that $h(\cN:\cQ)$ is arbitrarily close to $h(\cN:\cM)$.  We deduce that if all embeddings of $\cM$ into $\cQ$ are automorphically equivalent, then $\cM$ is strongly $1$-bounded and in fact has $h(\cM) \leq 0$. 
    more » « less
  5. Abstract We classify all essential extensions of the form $$ \begin{align*} &0 \rightarrow {\mathcal{W}} \rightarrow {D} \rightarrow A \rightarrow 0,\end{align*}$$where ${\mathcal {W}}$ is the unique separable simple C*-algebra with a unique tracial state, which is $KK$-contractible and has finite nuclear dimension, and $A$ is a separable amenable ${\mathcal {W}}$-embeddable C*-algebra, which satisfies the Universal Coefficient Theorem (UCT). We actually prove more general results. We also classify a class of amenable $C^*$-algebras, which have only one proper closed ideal ${\mathcal {W}}.$ 
    more » « less