Asymptotic orthogonalization of subalgebras in \(\mathrm{II}_1\) factors (Q2279514)

Summary: Let \(M\) be a \(\mathrm{II}_1\) factor with a von Neumann subalgebra \(Q\subset M\) that has infinite index under any projection in \(Q^\prime\cap M\) (e.g., if \(Q^\prime\cap M\) is diffuse, or if \(Q\) is an irreducible subfactor with infinite Jones index). We prove that given any separable subalgebra \(B\) of the ultrapower \(\mathrm{II}_1\) factor \(M^\omega \), for a nonprincipal ultrafilter \(\omega\) on \(\mathbb{N} \), there exists a unitary element \(u\in M^\omega\) such that \(uBu^*\) is orthogonal to \(Q^\omega \).