Related papers: Non-embeddable II$_1$ factors resembling the hyper…
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…
Gromov constructed uncountably many pairwise non-isomorphic discrete groups with Kazhdan's property (T). We will show that no separable II_1-factor can contain all these groups in its unitary group. In particular, no separable II_1-factor…
This is a continuation of our previous paper studying the structure of Cartan subalgebras of von Neumann factors of type II_1. We provide more examples of II_1 factors having either zero, one or several Cartan subalgebras. We also prove a…
We construct a group measure space II$_1$ factor that has two non-conjugate Cartan subalgebras. We show that the fundamental group of the II$_1$ factor is trivial, while the fundamental group of the equivalence relation associated with the…
We give sufficient conditions, in terms of the existence of unbounded derivations satisfying certain properties, which ensure that a II$_1$ factor $M$ is prime or has at most one Cartan subalgebra. For instance, we prove that if there…
Using an extension of techniques of Ozawa and Popa, we give an example of a non-amenable strongly solid $\rm{II}_1$ factor $M$ containing an "exotic" maximal abelian subalgebra $A$: as an $A$,$A$-bimodule, $L^2(M)$ is neither coarse nor…
We consider II$_1$ factors of the form $M=\bar{\bigotimes}_{G}N\rtimes G$, where either i) $N$ is a non-hyperfinite II$_1$ factor and $G$ is an ICC amenable group or ii) $N$ is a weakly rigid II$_1$ factor and $G$ is ICC group and where $G$…
For each sequence $\{c_n\}_n$ in $l_{1}(\N)$ we define an operator $A$ in the hyperfinite $\mathrm{II}_1$-factor $\mathcal{R}$. We prove that these operators are quasinilpotent and they generate the whole hyperfinite $\mathrm{II}_1$-factor.…
We introduce a framework allowing for key aspects of deformation/rigidity theory to be used in the study of continuous model theory of II$_1$ factors. Using this framework, we solve several well-known open problems in the area. For example,…
We begin this note with a von Neumann algebraic version of the elementary but extremely useful fact about being able to extend inner-product preserving maps from a total set of the domain Hilbert space to an isometry defined on the entire…
We observe how a classical model-theoretic fact proves the existence of many strong amalgamation bases for the class of R^\omega-embeddable von Neumann algebras, where R is the hyperfinite II_1 factor. In particular, we shows that R itself…
We show that finitely generated irreducible $\mathrm{II}_1$ subfactors are generic in the following sense. Given a separable $\mathrm{II}_1$ factor $M$ and an integer $n\geq 2$, equip the set of $n$-tuples of self-adjoint operators in $M$…
Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(\varphi_1,\varphi_2,\dots,\varphi_d)$ such that their product is $f$ times an identity…
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…
Given a pair of dynamical systems we consider a pair of commuting von Neumann factors of type 11_1. The construction is a generalization of classical von Neumann-Murrey and grouppoid construction. It gives a natural examples of factors with…
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…
Given a II$_1$ factor $M$, a W$^*$-subalgebra $Q\subset M$ is {\it compressible} if for any $\varepsilon>0$ there exists a finite set of unitary elements $\Cal U_0\subset \Cal U(M)$ such that $\| \frac{1}{|\Cal U_0|}\sum_{u\in \Cal U_0}…
We give a subfactor construction for a $II_{1}$ factor M which is not anti-isomorphic to itself. The $II_{1}$ factor we consider is essentially the same as the example previously given by Connes. However, our construction uses the recently…
For a compact quantum group $\mathbb G$ of Kac type, we study the existence of a Haar trace-preserving embedding of the von Neumann algebra $L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$-factor (the Connes embedding…
We provide a family of group measure space II_1 factors for which all finite index subfactors can be explicitly listed. In particular, the set of all indices of irreducible subfactors can be computed. Concrete examples show that this index…