相关论文: Model theory of operator algebras III: Elementary …

The Connes Embedding Problem (CEP) asks whether every separable II_1 factor embeds into an ultrapower of the hyperfinite II_1 factor. We show that the CEP is equivalent to the computability of the universal theory of every type II_1 von…

We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite…

We prove that there exist uncountably many separable II$_1$ factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic II$_1$ factors originally introduced by…

We show that Connes' embedding problem for II_1-factors is equivalent to a statement about distributions of sums of self-adjoint operators with matrix coefficients. This is an application of a linearization result for finite von Neumann…

A II_1 factor embeds into the ultraproduct of the hyperfinite II_1 factor if and only if it satisfies the W*-analogue of Lance's weak expectation property. This note gives a self contained proof of this fact.

We prove that every separable tracial von Neumann algebra embeds into a II$_1$ factor with property (T) which can be taken to have trivial outer automorphism and fundamental groups. We also establish an analogous result for the trivial…

In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately…

We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$…

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

We survey the model theoretic approach to a variety of ultrapower embedding problems in operator algebras.

Let M be a factor of type III with separable predual and with normal states phi_1,...,phi_k, omega with omega faithful. Let A be a finite dimensional C*-subalgebra of M. Then it is shown that there is a unitary operator u in M such that…

The Connes Embedding Problem (CEP) is a problem in the theory of tracial von Neumann algebras and asks whether or not every tracial von Neumann algebra embeds into an ultrapower of the hyperfinite II$_1$ factor. The CEP has had interactions…

We give a new proof of a theorem due to Alain Connes, that an injective factor $N$ of type III$_1$ with separable predual and with trivial bicentralizer is isomorphic to the Araki--Woods type III$_1$ factor $R_{\infty}$. This, combined with…

We consider various statements that characterize the hyperfinite II$_1$ factors amongst embeddable II$_1$ factors in the non-embeddable situation. In particular, we show that "generically" a II$_1$ factor has the Jung property (which states…

The canonical modular homomorphism provides an embedding of $\mathbb{R}$ into the outer automorphism group Out($M$) of any type III$_{1}$ factor $M$. We provide an explicit construction of a full factor of type III$_{1}$ with separable…

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 theory of a separable metric structure is…

This paper addresses a conjecture of Kadison and Kastler that a von Neumann algebra M on a Hilbert space H should be unitarily equivalent to each sufficiently close von Neumann algebra N and, moreover, the implementing unitary can be chosen…

We show that whenever $m \geq 1$ and $M_1, \dots, M_m$ are nonamenable factors in a large class of von Neumann algebras that we call $\mathcal C_{(\text{AO})}$ and which contains all free Araki-Woods factors, the tensor product factor $M_1…

We construct a class of II_1 factors M that admit unclassifiably many Cartan subalgebras in the sense that the equivalence relation of being conjugate by an automorphism of M is complete analytic, in particular non Borel. We also construct…

We show that there are $\mathrm{II}_1$ factors $M$ and elementary embeddings $M \to M^{\mathcal{U}}$ which do not lift to sequences of UCP maps, and in fact $M$ can be chosen from any given elementary equivalence class. Furthermore, under…