10
$\begingroup$

Let $R$ be the hyperfinite $II_1$-factor. We know that $R$ is isomorphic to $R\otimes R$. So, $L_\infty(0,1) \otimes R$ is a von Neumann subalgebra of $R$.

I am not sure whether it is sure for any type $II_1$ von Neumann algebra $M$, i.e., is $L_\infty(0,1) \otimes M$ a von Neumann subalgebra of $M$?

$\endgroup$

1 Answer 1

11
$\begingroup$

If $\mathbb F_I$ denotes the free group on $I$ generators with $\lvert I \rvert > 1$, then $L^\infty(0, 1) \overline \otimes L \mathbb F_I$ is not isomorphic to a von Neumann subalgebra of $L \mathbb F_I$. For $\lvert I \rvert > \aleph_0$ this is Corollary 6.4 in [S. Popa: Orthogonal pairs of subalgebras in finite von Neumann algebras, J. Op. Th. 9(1983), 253-268]. The general case $\lvert I \rvert > 1$ is Theorem 1 in [N. Ozawa: Solid von Neumann algebras, Acta Math. 192 (2004), 111-117].

$\endgroup$
1
  • $\begingroup$ MANY THX! Jesse and LSpice $\endgroup$
    – user92646
    Commented Dec 17, 2021 at 19:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .