Comparisons of benchmark equivalence relations

Abstract

We determine the Borel-reducibility comparison of each pair of $\mathbfΠ^0_3$ benchmark equivalence relations in Gao's monograph. The additional comparisons we prove are $E_\infty\leq_B c_0$, $E_\infty\nleq_B\ell_p$ for $2<p<\infty$, $\ell_p\nleq_B{\equiv_m}$ for $2<p<\infty$, $c_0\nleq_B{\equiv_m}$, $c_0\nleq_B\ell_\infty^+$ and $\equiv_m\nleq_B\ell_\infty^+$. Together with the previous positive direction, these give $\ell_p\leq_B{\equiv_m}$ if and only if $p\leq2$. These answer several questions in Gao's monograph and Kanovei' monograph. We also prove that unitary equivalence of all bounded linear operators is not Borel reducible to $\equiv_m$. This answers a question of Ding and Gao. Equivalently, unitary equivalence of arbitrary representations of $F_\infty$ is strictly more complicated than that of arbitrary representations of $\mathbb Z$. This answers a question of Thomas.