Model-theoretic aspects of the Gurarij operator system

DOI10.1007/S11856-018-1691-3MaRDI QIDQ1670336zbMATH OpenOpenAlexWikidataFDO

Authors Isaac Goldbring, Martino Lupini

Publication date 5 September 2018

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.04332, https://authors.library.caltech.edu/86361/

zbMATH Keywords

continuous model theoryGurarij spaceoperator system

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Applications of model theory (03C98) Isometric theory of Banach spaces (46B04)

Abstract: We establish some of the basic model theoretic facts about the Gurarij operator system $mathbbGS$ recently constructed by the second-named author. In particular, we show: (1) $mathbbGS$ is the unique separable 1-exact existentially closed operator system; (2) $mathbbGS$ is the unique separable nuclear model of its theory; (3) every embedding of $mathbbGS$ into its ultrapower is elementary; (4) $mathbbGS$ is the prime model of its theory; and (5) $mathbbGS$ does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any $qinmathbbN$, the theories of $M_q$-spaces and $M_q$-systems do have a model companion, namely the Fra"{i}ss'{e} limit of the class of finite-dimensional $M_q$-spaces and $M_q$-systems respectively; moreover we show that the model companion is separably categorical. We conclude the paper by showing that no C${}^{\ast }$ algebra can be existentially closed as an operator system.

Review text

This paper is in continuous model theory, a variant of classical model theory able to treat metric structures. The authors study the model theory of the Gurarij operator system \(\mathbb{GS}\), the operator system (i.e., a unital self-adjoint Banach subspace of \(\mathcal B(H)\), the algebra bounded linear operators on a complex Hilbert space \(H\)) variant of the Banach space \(\mathbb G\), constructed by \textit{V. I. Gurarij} [Sib. Mat. Zh. 7, 1002--1013 (1966; Zbl 0166.39303)]. The Banach space \(\mathbb G\) was later shown to be a peculiar generic object in the work of \textit{W. Lusky} [Arch. Math. 27, 627--635 (1976; Zbl 0338.46023)] and \textit{W. Kubiś} and \textit{S. Solecki} [Isr. J. Math. 195, Part A, 449--456 (2013; Zbl 1290.46010)]. The model-theoretical properties of the Gurarij space \(\mathbb G\) were studied by \textit{I. Ben Yaacov} [J. Symb. Log. 80, No. 1, 100--115 (2015; Zbl 1372.03070)] and \textit{I. Ben Yaacov} and \textit{C. W. Henson} [Fundam. Math. 237, No. 1, 47--82 (2017; Zbl 1378.46013)] among others. The noncommutative Gurarij space \(\mathbb{GS}\) is an operator system that can be viewed as the Fraïssé limit of all finite dimensional 1-exact operator systems, being therefore a generic object. In this paper, the authors analyze the model theoretic features of \(\mathbb{GS}\). In particular, they prove that \(\mathbb{GS}\) is existentially closed, and in fact the unique separable existentially closed 1-exact operator system, that is the prime model of its theory, and that it is the only nuclear model of its theory. Moreover, they show it has quantifier elimination. All of this work refers to the continuous model theory setting for metric structure (and in this particular case for operator systems). These results do not have yet a correspondence for the operator space version of \(\mathbb{GS}\) (an operator space is a non-necessarily unital self-adjoint subspace of \(\mathcal B(H)\)).

Recommendations

• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• Operator space and operator system analogs of Kirchberg's nuclear embedding theorem
• \(C^*\)-algebras generated by operator systems
• The Kirchberg-Wassermann operator system is unique

Cites work

• C^*-algebras and finite-dimensional approximations
• A new application of random matrices: \(\operatorname{Ext} (C_{\text{red}}^*(F_2))\) is not a group
• A proof of uniqueness of the Gurariĭ space
• About the Connes embedding conjecture
• An approximation theorem for nuclear operator systems
• Bilinear forms on exact operator spaces and B(H) B(H)
• Completely Bounded Maps between C^∗ -Algebras
• Completely positive linear maps on complex matrices
• Continuous first order logic and local stability
• FRAÏSSÉ LIMITS OF METRIC STRUCTURES
• Generic orbits and type isolation in the Gurarij space
• scientific article; zbMATH DE number 4050294 (Why is no real title available?)
• scientific article; zbMATH DE number 1993745 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 2117180 (Why is no real title available?)
• scientific article; zbMATH DE number 854206 (Why is no real title available?)
• scientific article; zbMATH DE number 3267048 (Why is no real title available?)
• Metric characterizations of isometries and of unital operator spaces and systems
• Model theory for metric structures
• Omitting types in operator systems
• On Gromov-Hausdorff convergence for operators metric spaces
• On Kirchberg's embedding problem
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Operator space and operator system analogs of Kirchberg's nuclear embedding theorem
• Quantifier elimination in C^-algebras
• Subspaces of \(C^ *\)-algebras
• The Gurarij spaces are unique
• The non-commutative Gurarii space
• The super operator system structures and their applications in quantum entanglement theory
• The theory of tracial von Neumann algebras does not have a model companion
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups

Cited in

(11)

• Fraïssé limits in functional analysis
• The Ramsey property for operator spaces and noncommutative Choquet simplices
• Oracle computability of conditional expectations onto subfactors
• The Ramsey property for Banach spaces and Choquet simplices
• On Kirchberg's embedding problem
• Uniqueness, universality, and homogeneity of the noncommutative Gurarij space
• scientific article; zbMATH DE number 1563658 (Why is no real title available?)
• Omitting types in logic of metric structures
• Enforceable operator algebras
• scientific article; zbMATH DE number 7406818 (Why is no real title available?)
• ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS

This page was built for publication: Model-theoretic aspects of the Gurarij operator system

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