Related papers: On Popa's factorial commutant embedding problem

We introduce the notion of a generalized Jung factor: a II$_1$ factor $M$ for which any two embeddings of $M$ into its ultrapower $M^{\mathcal U}$ are equivalent by an automorphism of $M^{\mathcal U}$. We show that $\mathcal R$ is not the…

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 introduce and study the family of uniformly super McDuff II$_1$ factors. This family is shown to be closed under elementary equivalence and also coincides with the family of II$_1$ factors with the Brown property introduced in…

We show that the unitary group of any SOT-separable $\mathrm{II}_1$ factor $M$, with the strong operator topology, is contractible. Combined with several old results, this implies that the same is true for any SOT-separable von Neumann…

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…

For an inclusion of the form $\Bbb C\subseteq M_n(\Bbb C)$, where $M_n(\Bbb C)$ is endowed with a state with diagonal weights $\lambda=(\lambda_1, ..., \lambda_n)$, we use Popa's construction, for non-tracial states, to obtain an…

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…

On page 43 in \cite{Po83} Sorin Popa asked whether the following property holds: \emph{If $\omega$ is a free ultrafilter on $\mathbb N$ and $\mathcal R_1\subseteq \mathcal R$ is an irreducible inclusion of hyperfinite II$_1$ factors such…

Using various finite dimensional approximation properties, four convex subsets of the tracial space of a unital C*-algebra are defined. Applications of these tracial invariants include: (1) An analogue of Szego's limit theorem for arbitrary…

We prove that a finite index regular inclusion of $II_1$-factors with commutative first relative commutant is always a crossed product subfactor with respect to a minimal action of a biconnected weak Kac algebra. Prior to this, we prove…

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…

We define the notion of self-tracial stability for tracial von Neumann algebras and show that a tracial von Neumann algebra satisfying the Connes Embedding Problem is self-tracially stable if and only if it is amenable. We then generalize a…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

We show that any depth 2 subfactor with a simple first relative commutant has a unitary orthonormal basis. As a pleasant consequence, we produce new elements in the set of Popa's relative dimension of projections for such subfactors. We…

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 literature contains interesting examples of inclusions of simple C$^*$-algebras with the property that all intermediate C$^*$-algebras likewise are simple. In this article we take up a systematic study of such inclusions, which we refer…

This is a continuation of the paper [FJS] with a similar title. Several results from there are strengthened, in particular: 1. If T is a "natural" embedding of l_2^n into L_1 then, for any well-bounded factorization of T through an L_1…

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…

For a normal measurable operator $a$ affiliated with a von Neumann factor $\mathcal{M}$ we show: If $\mathcal{M}$ is infinite, then there is $\lambda_0\in \mathbb{C}$ so that for $\varepsilon>0$ there are…

Suppose $M$ is a tracial von Neumann algebra embeddable into $\mathcal R^{\omega}$ (the ultraproduct of the hyperfinite $II_1$-factor) and $X$ is an $n$-tuple of selfadjoint generators for $M$. Denote by $\Gamma(X;m,k,\gamma)$ the…