Related papers: Computable $K$-theory for $\mathrm{C}^*$-algebras:…

We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of…

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where…

Let ${\cal A}_{0}(*)$ denote the direct sum of a certain set of UHF algebras and let ${\cal A}(*)\equiv {\bf C}\oplus {\cal A}_{0}(*)$. We introduce a non-cocommutative comultiplication $\Delta_{\phi}$ on ${\cal A}(*)$, and give an example…

We introduce and characterize a particularly tractable class of unital type 1 C*-algebras with bounded dimension of irreducible representations. Algebras in this class are called recursive subhomogeneous algebras, and they have an inductive…

Locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathcal{K}$ for a strongly self-absorbing $C^*$-algebra $D$ over a finite CW-complex $X$ form a group $E^1_D(X)$ that is the first group of a cohomology theory $E^*_D(X)$. In…

We prove that united K-theory is a surjective functor from the category of real simple purely infinite C*-algebras to the cateogry of countable acyclic CRT-modules.

Let ${\cal A}_1$ be the class of all unital separable simple $C^*$-algebras $A$ such that $A\otimes U$ has tracial rank at most one for all UHF-algebras of infinite type. It has been shown that amenable ${\cal Z}$-stable $C^*$-algebras in…

We show that, when $A$ is a separable C*-algebra, every countably generated Hilbert $A$-module is projective (with bounded module maps as morphisms). We also study the approximate extensions of bounded module maps. In the case that $A$ is a…

Let A and B be separable nuclear continuous C(X)-algebras over a finite dimensional compact metrizable space X. It is shown that an element $\sigma$ of the parametrized Kasparov group KK_X(A,B) is invertible if and only if all its fiberwise…

One of the main tools to classify \cst-algebras is the study of its projections and its unitaries. It was proved by Cuntz in \cite{Cu81} that if $A$ is a \textit{purely infinite} simple \cst-algebra, then the kernel of the natural map for…

In this paper we associate to every reduced C*-algebraic quantum group A a universal C*-algebraic quantum group. We fine tune a proof of Kirchberg to show that every *-representation of a modified L1-space is generated by a unitary…

We show that every strongly $\mathbb{Z}$-graded C*-algebra (equivalently, every C*-algebra carrying a strongly continuous $\mathbb{T}$-action with full spectral subspaces) is a Cuntz--Pimsner algebra, and describe subalgebras and subspaces…

We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

We prove that the Cuntz-Pimsner algebra O(E) of a vector bundle E over a compact metrizable space X is determined up to an isomorphism of C(X)-algebras by the ideal (1-[E])K(X) of the K-theory ring K(X). Moreover, if E and F are vector…

We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient. We apply our result to give…

In this paper we extend the approach of M. Cavaleri to effective amenability to the class of computably enumerable groups, i.e. in particular we do not assume that groups are finitely generated. In the case of computable groups we also…

A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…

We define united KK-theory for real C*-algebras A and B such that A is separable and B is sigma-unital, extending united K-theory in the sense that KK\crt(\R, B) = K\crt(B). United KK-theory contains real, complex, and self-conjugate…