On Kirchberg's embedding problem

DOI10.1016/J.JFA.2015.02.016MaRDI QIDQ2344853zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring, Thomas Sinclair

Publication date 18 May 2015

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.1861

zbMATH Keywords

continuous logic of metric structuresexactnessmodel theoretic forcingnuclearity

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic forcing (03C25) Applications of model theory (03C98) General theory of (C^*)-algebras (46L05)

Abstract: Kirchberg's Embedding Problem (KEP) asks whether every separable C${}^{\ast }$ algebra embeds into an ultrapower of the Cuntz algebra $mathcal{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${}^{\ast }$ algebras. Along the way, we establish a connection between existentially closed C${}^{\ast }$ algebras, the weak expectation property of Lance, and the local lifting property of Kirchberg. The paper concludes with a discussion of the model theory of $mathcal{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.

Recommendations

• scientific article; zbMATH DE number 2207653
• The Connes embedding problem: a guided tour
• About the Connes embedding conjecture
• Model theory and the QWEP conjecture
• Computability and the Connes embedding problem

Cites work

• C^*-algebras and finite-dimensional approximations
• C^*-algebras with the weak expectation property and a multivariable analogue of Ando's theorem on the numerical radius
• A note on quasi-diagonal \(C^*\)-algebras and homotopy
• Amenability, tubularity, and embeddings into \(\mathcal{R}^{\omega}\)
• Bilinear forms on exact operator spaces and B(H) B(H)
• Embedding of exact C* -algebras in the Cuntz algebra 𝒪2
• Existentially closed \(\mathrm{ II}_1\) factors
• Generic separable metric structures
• scientific article; zbMATH DE number 1671334 (Why is no real title available?)
• scientific article; zbMATH DE number 1808204 (Why is no real title available?)
• Hyperlinear and Sofic Groups: A Brief Guide
• Injectivity and operator spaces
• Lifting problems and local reflexivity for C^ *-algebras
• Model theoretic forcing in analysis
• Model theory for metric structures
• Model theory of operator algebras. II: Model theory
• Model theory of operator algebras. III: Elementary equivalence and \({\mathrm {II}}_{1}\) factors
• Model-theoretic aspects of the Gurarij operator system
• Omitting types and AF algebras
• On non-semisplit extensions, tensor products and exactness of group C^*-algebras
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Some model-theoretic correspondences between dimension groups and AF algebras
• Strongly self-absorbing $C^{*}$-algebras
• Structure and classification of C^*-algebras
• The theory of tracial von Neumann algebras does not have a model companion
• Topological entropy in exact \(C^*\)-algebras
• Topological methods for C*-algebras. II: Geometric resolutions and the Kuenneth formula
• Ultraproducts of finite sets

Cited in

(30)

• Applications of model theory to C^*-dynamics
• Model-theoretic aspects of the Gurarij operator system
• The Ramsey property for operator spaces and noncommutative Choquet simplices
• An intrinsic order-theoretic characterization of the weak expectation property
• Factorial relative commutants and the generalized Jung property for \(\mathrm{II}_1\) factors
• The Ramsey property for Banach spaces and Choquet simplices
• The Calkin algebra is _1-universal
• Continuous model theories for von Neumann algebras
• Model theory and Rokhlin dimension for compact quantum group actions
• Operator space and operator system analogs of Kirchberg's nuclear embedding theorem
• The pseudoarc is a co-existentially closed continuum
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• Robinson forcing and the quasidiagonality problem
• scientific article; zbMATH DE number 7039366 (Why is no real title available?)
• Model theory and the QWEP conjecture
• Model theory of \(C^*\)-algebras
• scientific article; zbMATH DE number 28548 (Why is no real title available?)
• Embedding of exact C* -algebras in the Cuntz algebra 𝒪2
• Omitting types in logic of metric structures
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Omitting types in operator systems
• Obstructions to countable saturation in corona algebras
• Enforceable operator algebras
• A non-commutative unitary analogue of Kirchberg's conjecture
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• scientific article; zbMATH DE number 2207653 (Why is no real title available?)
• Model theory and ultrapower embedding problems in operator algebras
• Lipschitz geometry of operator spaces and Lipschitz-free operator spaces
• Locally universal C*-algebras with computable presentations
• Undecidability and incompleteness in quantum information theory and operator algebras

This page was built for publication: On Kirchberg's embedding problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344853)