Related papers: Non-computability of $K$-theory for computably pre…

We define the filtrated K-theory of a C*-algebra over a finite topological space X and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over X in terms of filtrated K-theory. For finite spaces with…

We prolonge the list of C*-algebras for which all extensions by any stable separable C*-algebra are semi-invertible. In particular, we handle certain amalgamations, both of C*-algebras and of groups. Concerning groups we consider both…

We study the noncommutative topology of the $C^*$-algebras $C(\mathbb{C}P_q^{n})$ of the quantum projective spaces within the framework of Kasparov's bivariant K-theory. In particular, we construct an explicit KK-equivalence with the…

This survey article on relative homological algebra in bivariant K-thoery is mainly intended for readers with a background knowledge in triangulated categories. We briefly recall the general theory of relative homological algebra in…

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 give a spectral theorem for unital representations of Hermitian commutative unital *-algebras by possibly unbounded operators in a pre-Hilbert space. A better result is known for the case in which the *-algebra is countably generated.

We give a classification result for a certain class of $C^{*}$-algebras $\mathfrak{A}$ over a finite topological space $X$ in which there exists an open set $U$ of $X$ such that $U$ separates the finite and infinite subquotients of…

This paper argues that the unitary Cuntz semigroup, introduced in [10] and termed Cu$_1$, contains crucial information regarding the classification of non-simple C$^*$-algebras. We exhibit two (non-simple) C$^*$-algebras that agree on their…

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 prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and…

Given a graph of C*-algebras, we prove a long exact sequence in KK-theory for both the maximal and the vertex-reduced fundamental C*-algebras in the presence of possibly non GNS-faithful conditional expectations. We deduce from it the…

Let A be a C*-algebra with real rank zero which has the stable weak cancellation property. Let I be an ideal of A such that I is stable and satisfies the corona factorization property. We prove that 0->I->A->A/I->0 is a full extension if…

We define KK-theory spectra associated to C*-categories and look at certain instances of the Kasparov product at this level. This machinery is used to give a description of the analytic assembly map as a natural map of spectra.

Let A be a commutative unital C*-algebra and let S denote its Gelfand spectrum. We give some necessary and sufficient conditions for a nondegenerate representation of A to be unitarily equivalent to a multiplicative representation on a…

In this paper, we introduce a class of non-unital tracial approximation ${\rm C^*}$-algebras. Consider the class of ${\rm C^*}$-algebras which are tracially $\mathcal{Z}$-absorbing (in the sense of Amint, Golestani, Jamali, Phillips's…

We compute the K-theory of a collection of C*-algebras, which we refer to as boundary C*-algebras, arising as the crossed product C*-algebras of lattice actions on the maximal Furstenberg boundaries of symmetric spaces of noncompact type.…

We consider a class of C*-algebras C(X) associated with quantum spaces such as spheres, projective spaces, and lens spaces. We introduce a non-self-adjoint operator algebra A together with an explicit functor from the category of…

The reduced C*-algebra of a countable linear group G is shown to be simple if and only if G has no nontrivial normal amenable subgroups. Moreover, these conditions are shown to be equivalent to the uniqueness of tracial state on the…

The noncommutative Fourier transform of the irrational rotation C*-algebra is shown to have a K-inductive structure (at least for a large concrete class of irrational parameters, containing dense $G_\delta$'s). This is a structure for…

We discuss the existence of (injectively) universal C*-algebras and prove that all C*-algebras of density character $\aleph_1$ embed into the Calkin algebra, $Q(H)$. Together with other results, this shows that each of the following…