Related papers: Existentially closed II_1 factors

We prove that if a separable II$_1$ factor $M$ is existentially closed, then every $M$-bimodule is weakly contained in the trivial $M$-bimodule, $\text{L}^2(M)$, and, equivalently, every normal completely positive map on $M$ is a pointwise…

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…

We study several model-theoretic aspects of W$^*$-probability spaces, that is, $\sigma$-finite von Neumann algebras equipped with a faithful normal state. We first study the existentially closed W$^*$-spaces and prove several structural…

In the first part of the paper we survey several results from Popa's deformation/rigidity theory on the classification of tensor product decompositions of large natural classes of II$_1$ factors. Using a m\'elange of techniques from…

We call a subfactor trivial if it is isomorphic with the obvious inclusion of N into matrices over N. We prove the existence of type II_1 factors M without non-trivial finite index subfactors. Equivalently, every M-M-bimodule with finite…

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…

The notion of an existentially closed model is generalised to a property of geometric morphisms between toposes. We show that important properties of existentially closed models extend to existentially closed geometric morphisms, such as…

We show that a number of key structural properties transfer between sufficiently close II$_1$ factors, including solidity, strong solidity, uniqueness of Cartan masas and property $\Gamma$. We also examine II$_1$ factors close to tensor…

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…

If $N \subset \R$ is a separable II$_1$-factor, the space $\Hom(N,\R)$ of unitary equivalence classes of unital *-homomorphisms $N \to \R$ is shown to have a surprisingly rich structure. If $N$ is not hyperfinite, $\Hom(N,\R)$ is an…

We show that a factor $M$ is full if and only if the $C^*$-algebra generated by its left and right regular representations contains the compact operators. We prove that the bicentralizer flow of a type $\mathrm{III}_1$ factor is always…

For any finite dimensional C*-algebra A with any trace vector {\vec s} whose components are rational numbers, we give an endomorphism {\Phi} of the hyperfinite II_1 factor R such that: forall k in {\mathbb N} {\Phi}^k (R)' \cap R= \otimes^k…

For any finite dimensional C^*-algebra A with a trace vector \vec s whose entries are rational numbers, we give an endomorphism \Phi of the hyperfinite II_1 factor R such that: for all k \in \mathbb {N}, \Phi^k (R)' \cap R= \otimes^k A. The…

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…

We show that any II$_1$ factor that has the same 4-quantifier theory as the hyperfinite II$_1$ factor $\mathcal{R}$ satisfies the conclusion of the Popa Factorial Commutant Embedding Problem (FCEP) and has the Brown property. These results…

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…

We prove that a large class of nonamenable almost periodic type ${\rm III_1}$ factors $M$, including all McDuff factors that tensorially absorb $R_\infty$ and all free Araki-Woods factors, satisfy Haagerup-Stormer's conjecture (1988): any…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that…

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…

We develop a model-theoretic framework for the study of distal factors of strongly ergodic, measure-preserving dynamical systems of countable groups. Our main result is that all such factors are contained in the (existential) algebraic…