Existential closedness and the structure of bimodules of II₁ 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

e x t L^{2} (M)

and, equivalently, every normal completely positive map on

M

is a pointwise limit of maps of the form

x m a p s t o s u m_{i = 1}^{k} a_{i}^{*} x a_{i}

, for some

k i n m a t h b b N

and

(a_{i})_{i = 1}^{k} s u b s e t 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.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Existential closedness and the structure of bimodules of \(\mathrm{II}_1\) factors