Related papers: Model theory and the QWEP conjecture

We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent.…

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…

In this paper we construct and study the representation theory of a Hopf C^*-algebra with approximate unit, which constitutes quantum analogue of a compact group C^*-algebra. The construction is done by first introducing a…

We give a new, somewhat simpler, presentation of the author's recent construction of a non-nuclear $C^*$-algebra which has both the local lifting property (LLP) and the weak expectation property (WEP).

We introduce a method to define $C^*$-algebras from $C^*$-correspondences. Our construction generalizes Cuntz-Pimsner algebras, crossed products by Hilbert $C^*$-modules, and graph algebras.

We survey the model theory of operator systems and C$^*$-algebras.

Topological quivers generalize the notion of directed graphs in which the sets of vertices and edges are locally compact (second countable) Hausdorff spaces. Associated to a topological quiver $Q$ is a $C^*$-correspondence, and in turn, a…

We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.

For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra…

We establish a formula for the L-theory spectrum of real $C^*$-algebras from which we deduce a presentation of the L-groups in terms of the topological K-groups, extending all previously known results of this kind. Along the way, we extend…

Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf…

For special universal $C^*$-algebras associated to $k$-semigraphs we present the universal representations of these algebras, prove a Cuntz--Krieger uniqueness theorem, and compute the $K$-theory. These $C^*$-algebras seem to be the most…

We revisit a well-known "surjectivity onto quotient" type lemma of Kirchberg on the central sequence algebra of a separable unital ${\rm C}^*$-algebra, and use it to prove a "surjectivity onto quotient" result on approximately inner…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

We study the class of simple C*-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott's…

The notion of almost elementariness for a locally compact Hausdorff \'{e}tale groupoid $\mathcal{G}$ with a compact unit space was introduced by the authors as a sufficient condition ensuring the reduced groupoid $C^*$-algebra…

If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference…

This is the final one in the series of papers where we introduce and study the $C^*$-algebras associated with topological graphs. In this paper, we get a sufficient condition on topological graphs so that the associated $C^*$-algebras are…

We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor product of the pair and the space of quantum strategies…

We give a framework to produce C*-algebra inclusions with extreme properties. This gives the first constructive nuclear minimal ambient C*-algebras. We further obtain a purely infinite analogue of Dadarlat's modeling theorem on AF-algebras:…