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

In this paper, we apply quantitative operator K-theory to develop an algorithm for computing K-theory for the class of filtered C *-algebras with asymptotic finite nuclear decomposition. As a consequence, we prove the K{\"u}nneth formula…

This is an expository note focused upon one example, the irrational rotation $C^*$-algebra. We discuss how this algebra arises in nature - in quantum mechanics, group actions, and foliations, and we explain how $K$-theory is used to get…

We exhibit a unital simple nuclear non-type-I C*-algebra into which the Jiang-Su algebra does not embed unitally. This answers a question of M. R{\o}rdam.

We define united K-theory for real C*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors -- real K-theory, complex K-theory, and self-conjugate K-theory -- and the natural…

Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using…

We compute K-theory for ring C*-algebras in the case of higher roots of unity and thereby completely determine the K-theory for ring C*-algebras attached to rings of integers in arbitrary number fields.

We present a stable uniqueness theorem for non-unital C*-algebras. Generalized tracial rank one is defined for stably projectionless simple C*-algebras. Let $A$ and $B$ be two stably projectionless separable simple amenable C*-algebras with…

We show that unital simple C*-algebras with tracial topological rank zero which are locally approximated by subhomogeneous C^-algebras can be classified by their ordered $K$-theory. We apply this classification result to show that certain…

Let $H$ be a separable Hilbert space with a fixed orthonormal basis. Let $\mathbb B^{(k)}(H)$ denote the set of operators, whose matrices have no more than $k$ non-zero entries in each line and in each column. The closure of the union (over…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective…

K-theory and Ext are computed for the C*-algebra C*(E) of any countable directed graph E. The results generalize the K-theory computations of Raeburn and Szymanski and the Ext computations of Tomforde for row-finite graphs. As a…

It is determined exactly which classifiable C*-algebras have approximately inner flip. The answer includes a number of C*-algebras with torsion in their K-theory, and a number of C*-algebras that are self-absorbing but not strongly…

Let a compact group G act on real or complex C*-algebras A and B, with A separable and B sigma-unital. We express the G-equivariant Kasparov groups KK_n(A,B) by algebraic K-groups of a certain additive category.

Let X be a path connected, compact metric space and let A be a unital separable simple nuclear Z-stable real rank zero C*-algebra. We classify all the unital *-embeddings (up to approximate unitary equivalence) of C(X) into A. Specifically,…

We construct a non-separable C*-algebra that is prime but not primitive.

It was recently shown that each C*-algebra generated by a faithful irreducible representation of a finitely generated, torsion free nilpotent group is classified by its ordered K-theory. For the three step nilpotent group $UT(4,\mathbb{Z})$…

It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing…

Given a connected and locally compact Hausdorff space X with a good base K we assign, in a functorial way, a C(X)-algebra to any precosheaf of C*-algebras A defined over K. Afterwards we consider the representation theory and the Kasparov…

It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite…