Title:On existentially closed II_1 factors

Abstract:We prove that if a 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 limit of maps of the form $x\mapsto\sum_{i=1}^ka_i^*xa_i$, for some $k\in\mathbb N$ and $(a_i)_{i=1}^k\subset M$. We also provide an operator algebraic presentation of the proof of the existence of existentially closed II$_1$ factors. While existentially closed II$_1$ factors have property Gamma, by adapting this proof we are able to provide examples of non-Gamma II$_1$ factors which are existentially closed in a large class of extensions.