Cyclic Hilbert spaces and Connes' embedding problem (Q371829)

Let \(M\) be a \(II_1\)-factor with a trace \(\tau\). It is clear that finite-dimensional subspaces of the Hilbert space \(L^2(M,\tau)\) are not just common Hilbert spaces, but they have an additional structure. The authors introduce the notion of a cyclic space as a real Hilbert space \(V\) with an additional pre-Hilbert space structure on the complexification of \(V\otimes V\) satisfying some of the above properties. They formulate the following problem: ``Does every separable cyclic space embed into \(L^2(M,\tau)\), for some \(II_1\)-factor \(M\) with a separable predual?'' An affirmative answer would imply the existence of an algorithm to check Connes' embedding conjecture. In the present paper, a first step is made towards answering this question.