Model theory of operator algebras I: stability

@article{Farah2013ModelTO,
  title={Model theory of operator algebras I: stability},
  author={Ilijas Farah and Bradd Hart and David Sherman},
  journal={Bulletin of the London Mathematical Society},
  year={2013},
  volume={45}
}
Several authors have considered whether the ultrapower and the relative commutant of a C*‐algebra or II1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge–Hadwin and the first author. 

FORKING AND STABILITY IN THE REPRESENTATIONS OF A C*-ALGEBRA

It is shown that the theory of a nondegenerate representation of a C*-algebra over a Hilbert space H is superstable and forking, orthogonality and domination of types are characterized.

II1 FACTORS WITH EXOTIC CENTRAL SEQUENCE ALGEBRAS

Abstract We provide a class of separable II1 factors $M$ whose central sequence algebra is not the ‘tail’ algebra associated with any decreasing sequence of von Neumann subalgebras of $M$ . This

Logic for metric structures and the number of universal sofic and hyperlinear groups

Using the model theory of metric structures, I give an alternative proof of the following result by Thomas: If the Continuum Hypothesis fails then there are 22 א0 universal sofic groups up to

SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C*-ALGEBRAS

Basics of Elliott’s classification program are outlined and juxtaposed with the abstract classification theory from descriptive set theory. Some preliminary estimates on the complexity of the

The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion

It is shown that the theory of tracial von Neumann algebras does not have a model companion, and how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II1 factors.

On the commutant of $B(H)$ in its ultrapower

Let B(H) be the algebra of bounded linear operators on a separable infinitedimesional Hilbert space H . We study the commutant of B(H) in its ultrapower. We characterize the class of non-principal

Model theory of operator algebras III: elementary equivalence and II1 factors

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II1 factors and their ultrapowers. Among other things, we show that for any II1 factor M ,

AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS

  • M. Lupini
  • Mathematics
    The Bulletin of Symbolic Logic
  • 2019
An introductory survey to first order logic for metric structures and its applications to C*-algebras is presented.

II_1 factors with non-isomorphic ultrapowers

We prove that there exist uncountably many separable II1 factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic

Between reduced powers and ultrapowers

  • I. Farah
  • Mathematics
    Journal of the European Mathematical Society
  • 2022
. We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric)
...

References

SHOWING 1-10 OF 53 REFERENCES

Model theory of operator algebras II: model theory

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the

The commutant of L(H) in its ultrapower may or may not be trivial

Kirchberg asked in 2004 whether the commutant of L(H) in its (norm) ultrapower is trivial. Assuming the Continuum Hypothesis, we prove that the answer depends on the choice of the ultrafilter.

Ultraproducts of C*-algebras

We initiate a general study of ultraproducts of C*-algebras, including topics on representations, homomorphisms, isomorphisms, positive linear maps and their ultraproducts. We partially settle a

On ultraproducts of operator algebras

Some basic questions on ultraproducts of C * -algebras and von Neumann algebras, including the relation to K -theory of C * -algebras are considered. More specifically, we prove that under certain

A Dichotomy for the number of Ultrapowers

It is shown that the C*-algebra B(H) always has nonisomorphic relative commutants in its ultrapowers associated with nonprincipal ultrafilters on N, and the analogous result for metric structures is proved.

STABLE BANACH SPACES AND BANACH SPACE STRUCTURES, II: FORKING AND COMPACT TOPOLOGIES

We study model theoretical stability for structures from functional analysis. We prove a functional-analytic version of the Finite Equivalence Relation Theorem. We also the Stability Spectrum Theorem

CONTINUOUS FIRST ORDER LOGIC AND LOCAL STABILITY

We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff

ALL AUTOMORPHISMS OF THE CALKIN ALGEBRA ARE INNER

We prove that it is relatively consistent with the usual ax- ioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips{Weaver construction of an outer
...