Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 704

Preprint Number 704

Previous Next Preprint server

704. Isaac Goldbring and Thomas Sinclair
On Kirchberg's Embedding Problem

Submission date: 7 April 2014.


Kirchberg's Embedding Problem (KEP) asks whether every separable C^* algebra embeds into an ultrapower of the Cuntz algebra O_2. In this paper, we use model theory to show that this conjecture is equivalent to a local approximate nuclearity condition that we call the existence of good nuclear witnesses. In order to prove this result, we study general properties of existentially closed C^* algebras. The paper concludes with a discussion of the model theory of O_2. Several results in this last section are proven using some technical results concerning tubular embeddings, a notion first introduced by Jung for studying embeddings of tracial von Neumann algebras into the ultrapower of the hyperfinite II_1 factor.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1404.1861: pdf, ps.

Last updated: March 23 2021 10:22 Please send your corrections to: